Exact critical values of symmetric fourth $L$ function of the Ramanujan Delta function $\Delta$ were conjectured by Don Zagier in 1977. They are given as products of explicit rational numbers, powers of $\pi$, and the cube of the inner product of $\Delta$. In this paper, we prove that the ratio of these critical values are as conjectured by showing that the critical values are products of the same explicit rational numbers, powers of $\pi$, and the inner product of some vector valued Siegel modular form of degree two. Our method is based on the Kim-Ramakrishnan-Shahidi lifting, the pullback formulas, and differential operators which preserve automorphy under restriction of domains. We also show a congruence between a lift and a non-lift. Furthermore, we show the algebraicity of the critical values of the symmetric fourth $L$ function of any elliptic modular form and give some conjectures in general case.
References
T. Arakawa, Vector-valued Siegel's modular forms of degree two and the associated Andrianov $L$-functions, Manuscripta Math., 44 (1983), 155–185. MR709851 10.1007/BF01166080 T. Arakawa, Vector-valued Siegel's modular forms of degree two and the associated Andrianov $L$-functions, Manuscripta Math., 44 (1983), 155–185. MR709851 10.1007/BF01166080
S. Böcherer, Über die Fourier-Jacobi-Entwicklung Siegelscher Eisensteinreihen. I, Math. Z., 183 (1983), 21–46; II, Math. Z., 189 (1985), 81–110. MR701357 10.1007/BF01187213 S. Böcherer, Über die Fourier-Jacobi-Entwicklung Siegelscher Eisensteinreihen. I, Math. Z., 183 (1983), 21–46; II, Math. Z., 189 (1985), 81–110. MR701357 10.1007/BF01187213
S. Böcherer, T. Satoh and T. Yamazaki, On the pullback of a differential operator and its application to vector valued Eisenstein series, Comment. Math. Univ. St. Paul., 42 (1992), 1–22. MR1166221 S. Böcherer, T. Satoh and T. Yamazaki, On the pullback of a differential operator and its application to vector valued Eisenstein series, Comment. Math. Univ. St. Paul., 42 (1992), 1–22. MR1166221
S. Böcherer and C.-G. Schmidt, $p$-adic measures attached to Siegel modular forms, Ann. Inst. Fourier (Grenoble), 50 (2000), 1375–1443. MR1800123 10.5802/aif.1796 S. Böcherer and C.-G. Schmidt, $p$-adic measures attached to Siegel modular forms, Ann. Inst. Fourier (Grenoble), 50 (2000), 1375–1443. MR1800123 10.5802/aif.1796
P. Deligne, Valeurs de fonctions $L$ et périodes d'intègrales, (eds. A. Borel and W. Gasselman), Proc. Sympos. Pure Math., 33 (1979), In: Automorphic Farms, Representations, and $L$-functions. part 2, pp.,313–346. MR546622 P. Deligne, Valeurs de fonctions $L$ et périodes d'intègrales, (eds. A. Borel and W. Gasselman), Proc. Sympos. Pure Math., 33 (1979), In: Automorphic Farms, Representations, and $L$-functions. part 2, pp.,313–346. MR546622
N. Dummigan, T. Ibukiyama and H. Katsurada, Some Siegel modular standard $L$-values, and Shafarevich-Tate groups, J. Number Theory, 131 (2011), 1296–1330. MR2782843 10.1016/j.jnt.2011.01.012 N. Dummigan, T. Ibukiyama and H. Katsurada, Some Siegel modular standard $L$-values, and Shafarevich-Tate groups, J. Number Theory, 131 (2011), 1296–1330. MR2782843 10.1016/j.jnt.2011.01.012
T. Ibukiyama, On differential operators on automorphic forms and invariant pluri-harmonic polynomials, Comment. Math. Univ. St. Paul., 48 (1999), 103–118. MR1684769 T. Ibukiyama, On differential operators on automorphic forms and invariant pluri-harmonic polynomials, Comment. Math. Univ. St. Paul., 48 (1999), 103–118. MR1684769
T. Ibukiyama, A conjecture on a Shimura type correspondence for Siegel modular forms, and Harder's conjecture on congruences, In: Modular Forms on Schiermonnikoog (ed. Bas Edixhoven, Gerard van der Geer and Ben Moonen), Cambridge University Press, 2008, pp.,107–144. MR2512360 10.1017/CBO9780511543371.010 T. Ibukiyama, A conjecture on a Shimura type correspondence for Siegel modular forms, and Harder's conjecture on congruences, In: Modular Forms on Schiermonnikoog (ed. Bas Edixhoven, Gerard van der Geer and Ben Moonen), Cambridge University Press, 2008, pp.,107–144. MR2512360 10.1017/CBO9780511543371.010
H. Katsurada, An explicit formula for Siegel series, Amer. J. Math., 121 (1999), 415–452. MR1680317 10.1353/ajm.1999.0013 H. Katsurada, An explicit formula for Siegel series, Amer. J. Math., 121 (1999), 415–452. MR1680317 10.1353/ajm.1999.0013
H. Katsurada, Congruence of Siegel modular forms and special values of their standard zeta functions, Math. Z., 259 (2008), 97–111. MR2375617 10.1007/s00209-007-0213-5 H. Katsurada, Congruence of Siegel modular forms and special values of their standard zeta functions, Math. Z., 259 (2008), 97–111. MR2375617 10.1007/s00209-007-0213-5
H. Katsurada, Exact standard zeta values of Siegel modular forms, Experiment. Math., 19 (2010), 65–77. MR2649985 10.1080/10586458.2010.10129062 euclid.em/1268404803
H. Katsurada, Exact standard zeta values of Siegel modular forms, Experiment. Math., 19 (2010), 65–77. MR2649985 10.1080/10586458.2010.10129062 euclid.em/1268404803
H. H. Kim and F. Shahidi, Functorial products for ${\rm GL}_{2} \times {\rm GL}_{3}$ and the symmetric cube for ${\rm GL}_{2}$, With an appendix by Colin J. Bushnell and Guy Henniart, Ann. of Math. (2), 155 (2002), 837–893. MR1923967 10.2307/3062134 H. H. Kim and F. Shahidi, Functorial products for ${\rm GL}_{2} \times {\rm GL}_{3}$ and the symmetric cube for ${\rm GL}_{2}$, With an appendix by Colin J. Bushnell and Guy Henniart, Ann. of Math. (2), 155 (2002), 837–893. MR1923967 10.2307/3062134
S. Mizumoto, Special values of triple product $L$-functions and nearly holomorphic Eisenstein series, Abh. Math. Sem. Univ. Hamburg, 70 (2000), 191–210. MR1809545 S. Mizumoto, Special values of triple product $L$-functions and nearly holomorphic Eisenstein series, Abh. Math. Sem. Univ. Hamburg, 70 (2000), 191–210. MR1809545
N. Kozima, On special values of standard $L$-functions attached to vector valued Siegel modular forms, Kodai Math. J., 23 (2000), 255–265. MR1768185 10.2996/kmj/1138044215 euclid.kmj/1138044215
N. Kozima, On special values of standard $L$-functions attached to vector valued Siegel modular forms, Kodai Math. J., 23 (2000), 255–265. MR1768185 10.2996/kmj/1138044215 euclid.kmj/1138044215
T. Orloff, Special values and mixed weight triple products (with an appendix by Don Blasius), Invent. Math., 90 (1987), 169–188. MR906584 10.1007/BF01389036 T. Orloff, Special values and mixed weight triple products (with an appendix by Don Blasius), Invent. Math., 90 (1987), 169–188. MR906584 10.1007/BF01389036
D. Ramakrishnan and F. Shahidi, Siegel modular forms of genus 2 attached to elliptic curves, Math. Res. Lett., 14 (2007), 315–332. MR2318628 10.4310/MRL.2007.v14.n2.a13 D. Ramakrishnan and F. Shahidi, Siegel modular forms of genus 2 attached to elliptic curves, Math. Res. Lett., 14 (2007), 315–332. MR2318628 10.4310/MRL.2007.v14.n2.a13
T. Satoh, Some remarks on triple $L$-functions, Math. Ann., 276 (1987), 687–698. MR879546 10.1007/BF01456996 T. Satoh, Some remarks on triple $L$-functions, Math. Ann., 276 (1987), 687–698. MR879546 10.1007/BF01456996
G. Shimura, On the periods of modular forms, Math. Ann., 229 (1977), 211–221. MR463119 10.1007/BF01391466 G. Shimura, On the periods of modular forms, Math. Ann., 229 (1977), 211–221. MR463119 10.1007/BF01391466
G. Shimura, On Eisenstein series, Duke Math. J., 50 (1983), 417–476. MR705034 10.1215/S0012-7094-83-05019-6 euclid.dmj/1077303203
G. Shimura, On Eisenstein series, Duke Math. J., 50 (1983), 417–476. MR705034 10.1215/S0012-7094-83-05019-6 euclid.dmj/1077303203
J. Sturm, Special values of zeta functions, and Eisenstein series of half integral weight, Amer. J. Math., 102 (1980), 219–240. MR564472 10.2307/2374237 J. Sturm, Special values of zeta functions, and Eisenstein series of half integral weight, Amer. J. Math., 102 (1980), 219–240. MR564472 10.2307/2374237
Y. Takei, On algebraicity of vector valued Siegel modular forms, Kodai Math. J., 15 (1992), 445–457. MR1189969 10.2996/kmj/1138039659 euclid.kmj/1138039659
Y. Takei, On algebraicity of vector valued Siegel modular forms, Kodai Math. J., 15 (1992), 445–457. MR1189969 10.2996/kmj/1138039659 euclid.kmj/1138039659
T. Barnet-Lamb, D. Geraghty, M. Harris and R. Taylor, A family of Calabi-Yau varieties and potential automorphy II, Publ. Res. Inst. Math. Sci., 47 (2011), 29–98. MR2827723 10.2977/PRIMS/31 T. Barnet-Lamb, D. Geraghty, M. Harris and R. Taylor, A family of Calabi-Yau varieties and potential automorphy II, Publ. Res. Inst. Math. Sci., 47 (2011), 29–98. MR2827723 10.2977/PRIMS/31
R. Tsushima, An explicit dimension formula for the spaces of generalized automorphic forms with respect to ${\rm Sp}(2,\bm{Z})$, Proc. Japan Acad. Ser. A Math. Sci., 59 (1983), 139–142. MR711319 10.3792/pjaa.59.139 euclid.pja/1195515635
R. Tsushima, An explicit dimension formula for the spaces of generalized automorphic forms with respect to ${\rm Sp}(2,\bm{Z})$, Proc. Japan Acad. Ser. A Math. Sci., 59 (1983), 139–142. MR711319 10.3792/pjaa.59.139 euclid.pja/1195515635
D. Zagier, Modular forms whose Fourier coefficients involve zeta-functions of quadratic fields, In: Modular Functions of One Variable, VI, The university of Bonn, 1976, (eds. J.-P. Serre and D. B. Zagier), Springer Lecture Notes in Math., 627, Springer-Verlag, 1977, pp.,105–169. MR485703 10.1007/BFb0065299 D. Zagier, Modular forms whose Fourier coefficients involve zeta-functions of quadratic fields, In: Modular Functions of One Variable, VI, The university of Bonn, 1976, (eds. J.-P. Serre and D. B. Zagier), Springer Lecture Notes in Math., 627, Springer-Verlag, 1977, pp.,105–169. MR485703 10.1007/BFb0065299
