El ascensor de Miyawaki o ascensor de Ikeda–Miyawaki o ascensor de Miyawaki–Ikeda , es un ascensor matemático que lleva dos formas modulares de Siegel a otra forma modular de Siegel. Miyawaki [1] conjeturó la existencia de este ascensor para el caso de formas modulares de Siegel de grado 3, e Ikeda [2] demostró su existencia en algunos casos utilizando el ascensor de Ikeda .
La construcción de Ikeda comienza con una forma modular de Siegel de grado 1 y peso 2 k , y una forma de cúspide de Siegel de grado r y peso k + n + r y construye una forma de 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 , k y r son números enteros no negativos cuya suma es par.