종수 2인 지겔 모듈라 형식

지겔-아이젠슈타인 급수

• 지겔-아이젠슈타인 급수

테이블

\begin{array}{cccccc} (a,b,c) & E_4 & E_6 & E_8 & E_{10} & E_{12} \\ \hline \{0,0,0\} & 1 & 1 & 1 & 1 & 1 \\ \{0,0,1\} & 240 & -504 & 480 & -264 & \frac{65520}{691} \\ \{1,0,0\} & 240 & -504 & 480 & -264 & \frac{65520}{691} \\ \{0,0,2\} & 2160 & -16632 & 61920 & -135432 & \frac{134250480}{691} \\ \{1,-2,1\} & 240 & -504 & 480 & -264 & \frac{65520}{691} \\ \{1,-1,1\} & 13440 & 44352 & 26880 & \frac{227244864}{43867} & \frac{22266840960}{53678953} \\ \{1,0,1\} & 30240 & 166320 & 175680 & \frac{2626026480}{43867} & \frac{456798756960}{53678953} \\ \{1,1,1\} & 13440 & 44352 & 26880 & \frac{227244864}{43867} & \frac{22266840960}{53678953} \\ \{1,2,1\} & 240 & -504 & 480 & -264 & \frac{65520}{691} \\ \{2,0,0\} & 2160 & -16632 & 61920 & -135432 & \frac{134250480}{691} \\ \{1,-3,2\} & 0 & 0 & 0 & 0 & 0 \\ \{1,-2,2\} & 30240 & 166320 & 175680 & \frac{2626026480}{43867} & \frac{456798756960}{53678953} \\ \{1,-1,2\} & 138240 & 2128896 & 6727680 & \frac{306175997952}{43867} & \frac{162868282536960}{53678953} \\ \{1,0,2\} & 181440 & 3792096 & 15914880 & \frac{950818774752}{43867} & \frac{661522702800960}{53678953} \\ \{1,1,2\} & 138240 & 2128896 & 6727680 & \frac{306175997952}{43867} & \frac{162868282536960}{53678953} \\ \{1,2,2\} & 30240 & 166320 & 175680 & \frac{2626026480}{43867} & \frac{456798756960}{53678953} \\ \{1,3,2\} & 0 & 0 & 0 & 0 & 0 \\ \{2,-3,1\} & 0 & 0 & 0 & 0 & 0 \\ \{2,-2,1\} & 30240 & 166320 & 175680 & \frac{2626026480}{43867} & \frac{456798756960}{53678953} \\ \{2,-1,1\} & 138240 & 2128896 & 6727680 & \frac{306175997952}{43867} & \frac{162868282536960}{53678953} \\ \{2,0,1\} & 181440 & 3792096 & 15914880 & \frac{950818774752}{43867} & \frac{661522702800960}{53678953} \\ \{2,1,1\} & 138240 & 2128896 & 6727680 & \frac{306175997952}{43867} & \frac{162868282536960}{53678953} \\ \{2,2,1\} & 30240 & 166320 & 175680 & \frac{2626026480}{43867} & \frac{456798756960}{53678953} \\ \{2,3,1\} & 0 & 0 & 0 & 0 & 0 \\ \{2,-4,2\} & 2160 & -16632 & 61920 & -135432 & \frac{134250480}{691} \\ \{2,-3,2\} & 138240 & 2128896 & 6727680 & \frac{306175997952}{43867} & \frac{162868282536960}{53678953} \\ \{2,-2,2\} & 604800 & 24881472 & 225388800 & \frac{29960190114624}{43867} & \frac{46765376055216000}{53678953} \\ \{2,-1,2\} & 967680 & 65995776 & 953948160 & \frac{199267181955072}{43867} & \frac{486707206711864320}{53678953} \\ \{2,0,2\} & 1239840 & 90644400 & 1461833280 & \frac{345545694370800}{43867} & \frac{958912407409188960}{53678953} \\ \{2,1,2\} & 967680 & 65995776 & 953948160 & \frac{199267181955072}{43867} & \frac{486707206711864320}{53678953} \\ \{2,2,2\} & 604800 & 24881472 & 225388800 & \frac{29960190114624}{43867} & \frac{46765376055216000}{53678953} \\ \{2,3,2\} & 138240 & 2128896 & 6727680 & \frac{306175997952}{43867} & \frac{162868282536960}{53678953} \\ \{2,4,2\} & 2160 & -16632 & 61920 & -135432 & \frac{134250480}{691} \\ \end{array}

메모

• There exists a weight 35 cusp form $X_{35}$;we normalize $X_{35}$ so that $a((2,-1,3),X_{35})=1$
• $E_4, E_6, X_{10},X_{12}, X_{35}$ generate $M(\Gamma_2)$ as a $\mathbb{C}$-algebra
• $E_4, E_6, X_{10},X_{12}$ are algebraically independent over $\mathbb{C}$
• $E_4, E_6, X_{10},X_{12}, X_{35}$ have integral Fourier coefficients
• Heim, Bernhard, and Atsushi Murase. "Borcherds lifts on Sp2 (Z)." Geometry and Analysis of Automorphic Forms of Several Variables, Proceedings of the International Symposium in Honor of Takayuki Oda on the Occasion of his 60th Birthday. 2011. http://webdoc.sub.gwdg.de/ebook/serien/e/mpi_mathematik/2010/2010_074.pdf
• http://math.shinshu-u.ac.jp/~nu/html/sage/days/201310/doc/takemori/sagedays_slide.pdf

관련논문

• McCarthy, Dermot. ‘Multiplicative Relations for Fourier Coefficients of Degree 2 Siegel Eigenforms’. arXiv:1505.07049 [math], 26 May 2015. http://arxiv.org/abs/1505.07049.
• Nagaoka, Shoyu, and Sho Takemori. ‘On Theta Series Attached to the Leech Lattice’. arXiv:1412.7606 [math], 24 December 2014. http://arxiv.org/abs/1412.7606.
• Pollack, Aaron, and Shrenik Shah. ‘On the Rankin-Selberg Integral of Kohnen and Skoruppa’. arXiv:1410.7870 [math], 28 October 2014. http://arxiv.org/abs/1410.7870.
• Vinberg, E. 2013 “On the Algebra of Siegel Modular Forms of Genus 2.” Transactions of the Moscow Mathematical Society 74: 1–13. doi:10.1090/S0077-1554-2014-00217-X.
• Ryan, Nathan, Nils-Peter Skoruppa, and Fredrik Strömberg. ‘Numerical Computation of a Certain Dirichlet Series Attached to Siegel Modular Forms of Degree Two’. Mathematics of Computation 81, no. 280 (2012): 2361–76. doi:10.1090/S0025-5718-2012-02584-1.
• Skoruppa, Nils-Peter. ‘Computations of Siegel Modular Forms of Genus Two’. Mathematics of Computation 58, no. 197 (1992): 381–98. doi:10.1090/S0025-5718-1992-1106982-0.
• Kohnen, W., and N.-P. Skoruppa. ‘A Certain Dirichlet Series Attached to Siegel Modular Forms of Degree Two’. Inventiones Mathematicae 95, no. 3 (1 October 1989): 541–58. doi:10.1007/BF01393889.
• Igusa, Jun-Ichi. 1962. “On Siegel Modular Forms of Genus Two.” American Journal of Mathematics 84 (1): 175. doi:10.2307/2372812.