Miyawaki (1992) conjectured the existence of this lift for the case of degree 3 Siegel modular forms, and Ikeda (2006) proved its existence in some cases using the Ikeda lift.
Miyawaki (1992) förmodade dess existens i fallet för Siegel-modulära former av grad 3, och Ikeda (2006) bevisade dess existens i vissa fall genom att använda Ikedalyftet.