El ascensor Miyawaki o el ascensor Ikeda-Miyawaki o el ascensor Miyawaki-Ikeda , es un ascensor matemático que lleva dos formas modulares Siegel a otra forma modular Siegel. Miyawaki (1992) conjeturó la existencia de este ascensor para el caso de formas modulares Siegel de grado 3, e Ikeda (2006) probó su existencia en algunos casos utilizando el ascensor Ikeda .
La construcción de Ikeda comienza con una forma modular Siegel de grado 1 y peso 2 k , y una forma de cúspide Siegel de grado r y peso k + n + r y construye una forma Siegel de grado 2 n + r y peso k + n + r . El caso en el que n = r = 1 fue conjeturado por Miyawaki. Aquí n , kyr son números enteros no negativos cuya suma es par.