코헨 함수
개요
- 이차 수체에 대한 후르비츠-크로네커 유수 \(H(n)=H(1,n)\)의 일반화 \(H(r,n),\,r,n\in \mathbb{N}\)
- \(r\geq 1\)에 대하여 다음 생성함수를 생각하자
\[ \mathcal{H}_r(\tau):=\sum_{n=0}^{\infty}H(r,n)q^n,\, q=e^{2\pi i n} \]
- \(r\geq 2\)이면 \(\mathcal{H}_r\)는 weight \(r+1/2\)인 모듈라 형식이 된다
- \(\mathcal{H}_1\)는 weight \(3/2\)인 유사 모듈라 형식(mock modular form)이 된다. 후르비츠-크로네커 유수항목 참조.
정의
- \(r\ge 2\)는 정수
- \((-1)^r N \not\equiv 0,1 \pmod 4\)이면, \(H(r,N):=0\)
- \(N=0\)이면 \(H(r,0):=\zeta(1-2r)=-\frac{B_{2r}}{2r}\)
- \(N\)이 양수이고, \(Dn^2=(-1)^rN\), \(D\)는 \(\mathbb{Q}(\sqrt{D})\)의 판별식일때,
\[ H(r,N):=L(1-r,\chi_{D})\sum_{d|n}\mu(d)\chi_{D}(d)d^{r-1}\sigma_{2r-1}(n/d) \] 여기서 \(\chi_D=\left(\frac{D}{\cdot}\right)\)이고, \(L(s,\chi_D)\)는 디리클레 L-함수
테이블
- \(r=1,2,3,4,5\)에 대한 \(H(r,n)\)의 값
\begin{array}{c|ccc} n & 12 H(1,n) & -252 H(3,n) & 132 H(5,n) \\ \hline 0 & -1 & 1 & -1 \\ 3 & 4 & 56 & 88 \\ 4 & 6 & 126 & 330 \\ 7 & 12 & 576 & 4224 \\ 8 & 12 & 756 & 7524 \\ 11 & 12 & 1512 & 30600 \\ 12 & 16 & 2072 & 46552 \\ 15 & 24 & 4032 & 130944 \\ 16 & 18 & 4158 & 169290 \\ 19 & 12 & 5544 & 355080 \\ 20 & 24 & 7560 & 464904 \\ 23 & 36 & 12096 & 899712 \\ 24 & 24 & 11592 & 1052040 \\ 27 & 16 & 13664 & 1732192 \\ 28 & 24 & 16704 & 2099328 \\ 31 & 36 & 24192 & 3421440 \\ 32 & 36 & 24948 & 3859812 \\ 35 & 24 & 27216 & 5593104 \\ 36 & 30 & 31878 & 6522450 \\ 39 & 48 & 44352 & 9651840 \\ 40 & 24 & 39816 & 10433544 \\ 43 & 12 & 41832 & 14002824 \\ 44 & 48 & 55944 & 16187400 \\ 47 & 60 & 72576 & 22429440 \\ 48 & 40 & 66584 & 23836120 \\ \end{array}
\begin{array}{c|cc}
n & -120 H(2,n) & 240 H(4,n) \\
\hline
0 & -1 & 1 \\
1 & 10 & 2 \\
4 & 70 & 242 \\
5 & 48 & 480 \\
8 & 120 & 2640 \\
9 & 250 & 4322 \\
12 & 240 & 11040 \\
13 & 240 & 13920 \\
16 & 550 & 30962 \\
17 & 480 & 39360 \\
20 & 528 & 65760 \\
21 & 480 & 73920 \\
24 & 720 & 125280 \\
25 & 1210 & 156002 \\
28 & 960 & 216960 \\
29 & 720 & 226080 \\
32 & 1080 & 340560 \\
33 & 1440 & 406080 \\
36 & 1750 & 522962 \\
37 & 1200 & 541920 \\
40 & 1680 & 756960 \\
41 & 1920 & 860160 \\
44 & 1680 & 1033440 \\
45 & 1488 & 1063200 \\
48 & 2160 & 1424160 \\
49 & 3370 & 1646402 \\
\end{array}
관련된 항목들
관련논문
- Srilakshmi Krishnamoorthy, A note on the Fourier coefficients of a Cohen-Eisenstein series, arXiv:1504.03971[math.NT], April 15 2015, http://arxiv.org/abs/1504.03971v2, 10.1142/S1793042116500706, http://dx.doi.org/10.1142/S1793042116500706
- Cohen, Henri. 1975. “Sums Involving the Values at Negative Integers of L-Functions of Quadratic Characters.” Mathematische Annalen 217 (3): 271–85. doi:10.1007/BF01436180.
- Zagier, Don. 1975. “Nombres de Classes et Formes Modulaires de Poids \(3/2\).” C. R. Acad. Sci. Paris Sér. A-B 281 (21): Ai, A883–A886. http://people.mpim-bonn.mpg.de/zagier/files/scanned/NombresDeClassesEtFormesModulaires/fulltext.pdf