"코헨 함수"의 두 판 사이의 차이
Pythagoras0 (토론 | 기여) |
Pythagoras0 (토론 | 기여) |
||
| (같은 사용자의 중간 판 11개는 보이지 않습니다) | |||
| 1번째 줄: | 1번째 줄: | ||
==개요== | ==개요== | ||
| − | * 이차 수체에 대한 후르비츠 유수 | + | * 이차 수체에 대한 [[후르비츠-크로네커 유수]] <math>H(n)=H(1,n)</math>의 일반화 <math>H(r,n),\,r,n\in \mathbb{N}</math> |
| − | * | + | * <math>r\geq 1</math>에 대하여 다음 생성함수를 생각하자 |
| − | + | :<math> | |
\mathcal{H}_r(\tau):=\sum_{n=0}^{\infty}H(r,n)q^n,\, q=e^{2\pi i n} | \mathcal{H}_r(\tau):=\sum_{n=0}^{\infty}H(r,n)q^n,\, q=e^{2\pi i n} | ||
| − | + | </math> | |
| − | * | + | * <math>r\geq 2</math>이면 <math>\mathcal{H}_r</math>는 weight <math>r+1/2</math>인 모듈라 형식이 된다 |
| − | * | + | * <math>\mathcal{H}_1</math>는 weight <math>3/2</math>인 유사 모듈라 형식(mock modular form)이 된다. [[후르비츠-크로네커 유수]]항목 참조. |
| + | |||
| + | |||
| + | ==정의== | ||
| + | * <math>r\ge 2</math>는 정수 | ||
| + | * <math>(-1)^r N \not\equiv 0,1 \pmod 4</math>이면, <math>H(r,N):=0</math> | ||
| + | * <math>N=0</math>이면 <math>H(r,0):=\zeta(1-2r)=-\frac{B_{2r}}{2r}</math> | ||
| + | * <math>N</math>이 양수이고, <math>Dn^2=(-1)^rN</math>, <math>D</math>는 <math>\mathbb{Q}(\sqrt{D})</math>의 판별식일때, | ||
| + | :<math> | ||
| + | H(r,N):=L(1-r,\chi_{D})\sum_{d|n}\mu(d)\chi_{D}(d)d^{r-1}\sigma_{2r-1}(n/d) | ||
| + | </math> | ||
| + | 여기서 <math>\chi_D=\left(\frac{D}{\cdot}\right)</math>이고, <math>L(s,\chi_D)</math>는 [[디리클레 L-함수]] | ||
==테이블== | ==테이블== | ||
| − | * | + | * <math>r=1,2,3,4,5</math>에 대한 <math>H(r,n)</math>의 값 |
\begin{array}{c|ccc} | \begin{array}{c|ccc} | ||
| 76번째 줄: | 87번째 줄: | ||
==관련된 항목들== | ==관련된 항목들== | ||
| + | * [[이차 수체 (quadratic number field)의 정수론]] | ||
* [[지겔-아이젠슈타인 급수]] | * [[지겔-아이젠슈타인 급수]] | ||
| − | |||
==관련논문== | ==관련논문== | ||
| − | * 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. | + | * 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:[http://doi.org/10.1007/BF01436180 10.1007/BF01436180]. | |
| + | * Zagier, Don. 1975. “Nombres de Classes et Formes Modulaires de Poids <math>3/2</math>.” 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 | ||
==매스매티카 파일 및 계산리소스== | ==매스매티카 파일 및 계산리소스== | ||
* https://docs.google.com/file/d/0B8XXo8Tve1cxd0NhaTdMTTZtVTA/edit | * https://docs.google.com/file/d/0B8XXo8Tve1cxd0NhaTdMTTZtVTA/edit | ||
2020년 11월 16일 (월) 05:21 기준 최신판
개요
- 이차 수체에 대한 후르비츠-크로네커 유수 \(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