"후르비츠-크로네커 유수"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
 
(같은 사용자의 중간 판 하나는 보이지 않습니다)
1번째 줄: 1번째 줄:
 
==개요==
 
==개요==
−
* $\mathcal{Q}_d$는 $-d=b^2-4ac$를 만족하는 [[정수계수 이변수 이차형식(binary integral quadratic forms)]] $Q=[a,b,c]=ax^2+bxy+cy^2$의 집합
+
* <math>\mathcal{Q}_d</math>는 <math>-d=b^2-4ac</math>를 만족하는 [[정수계수 이변수 이차형식(binary integral quadratic forms)]] <math>Q=[a,b,c]=ax^2+bxy+cy^2</math>의 집합
−
* 모듈라군 $\Gamma=PSL(2,\mathbb{Z})$은 $\mathcal{Q}_d$에 작용
+
* 모듈라군 <math>\Gamma=PSL(2,\mathbb{Z})</math>은 <math>\mathcal{Q}_d</math>에 작용
−
* 각각의 $Q$에 대하여, 자기동형군 $\Gamma_{Q}$을 생각, $w_{Q}=|\Gamma_{Q}|$
+
* 각각의 <math>Q</math>에 대하여, 자기동형군 <math>\Gamma_{Q}</math>을 생각, <math>w_{Q}=|\Gamma_{Q}|</math>
−
** $w_Q=2$ if $Q\sim [a,0,a]$
+
** <math>w_Q=2</math> if <math>Q\sim [a,0,a]</math>
−
** $w_Q=3$ if $Q\sim [a,a,a]$
+
** <math>w_Q=3</math> if <math>Q\sim [a,a,a]</math>
−
** 다른 경우 $w_Q=1$
+
** 다른 경우 <math>w_Q=1</math>
 
* 후르비츠-크로네커 수를 다음과 같이 정의
 
* 후르비츠-크로네커 수를 다음과 같이 정의
 
:<math>H(d):=\sum_{Q\in \mathcal{Q}_d/\Gamma} \frac{1}{w_Q}</math>
 
:<math>H(d):=\sum_{Q\in \mathcal{Q}_d/\Gamma} \frac{1}{w_Q}</math>
11번째 줄: 11번째 줄:
 
==예==
 
==예==
 
*  [[판별식이 작은 경우의 이차형식 목록]]
 
*  [[판별식이 작은 경우의 이차형식 목록]]
−
===$d=3$===
+
===<math>d=3</math>===
−
* $Q=x^2+xy+y^2$, $w_Q=3$
+
* <math>Q=x^2+xy+y^2</math>, <math>w_Q=3</math>
−
* $H(3)=\frac{1}{3}$
+
* <math>H(3)=\frac{1}{3}</math>
−
===$d=4$===
+
===<math>d=4</math>===
−
* $Q=x^2+y^2$, $w_Q=2$
+
* <math>Q=x^2+y^2</math>, <math>w_Q=2</math>
−
* $H(4)=\frac{1}{2}$
+
* <math>H(4)=\frac{1}{2}</math>
−
===$d=12$===
+
===<math>d=12</math>===
−
* <math>Q=3x^2+y^2</math>,$w_Q=1$
+
* <math>Q=3x^2+y^2</math>,<math>w_Q=1</math>
−
* <math>Q=2x^2+2xy+2y^2</math>, $w_Q=3$
+
* <math>Q=2x^2+2xy+2y^2</math>, <math>w_Q=3</math>
−
* $H(12)=1+\frac{1}{3}=\frac{4}{3}$
+
* <math>H(12)=1+\frac{1}{3}=\frac{4}{3}</math>
−
===$d=15$===
+
===<math>d=15</math>===
−
* <math>Q=x^2+xy+4y^2</math>, $w_Q=1$
+
* <math>Q=x^2+xy+4y^2</math>, <math>w_Q=1</math>
−
* <math>Q=2x^2+xy+2y^2</math>, $w_Q=1$
+
* <math>Q=2x^2+xy+2y^2</math>, <math>w_Q=1</math>
−
* $H(15)=2$
+
* <math>H(15)=2</math>
  
 
==생성함수==
 
==생성함수==
 
* 다음과 같이 생성함수를 정의하자
 
* 다음과 같이 생성함수를 정의하자
−
$$
+
:<math>
 
\mathcal{H}_1(\tau):=\sum_{n=0}^{\infty}H(n)q^n,\, q=e^{2\pi i n}
 
\mathcal{H}_1(\tau):=\sum_{n=0}^{\infty}H(n)q^n,\, q=e^{2\pi i n}
−
$$
+
</math>
−
* $\mathcal{H}_1$에 적당한 항을 더하여, weight $3/2$인 비해석적 모듈라 형식(non-holomorphic modular form) $F$를 얻을 수 있다
+
* <math>\mathcal{H}_1</math>에 적당한 항을 더하여, weight <math>3/2</math>인 비해석적 모듈라 형식(non-holomorphic modular form) <math>F</math>를 얻을 수 있다
 
:<math>F(\tau): = \mathcal{H}_1(\tau) + \frac{1}{16\pi\sqrt{y}}\sum_{n\in Z}\beta(4\pi n^2y)q^{-n^2}</math>
 
:<math>F(\tau): = \mathcal{H}_1(\tau) + \frac{1}{16\pi\sqrt{y}}\sum_{n\in Z}\beta(4\pi n^2y)q^{-n^2}</math>
 
여기서
 
여기서
37번째 줄: 37번째 줄:
 
* 이는 유사 모듈라 형식(mock modular form)의 이론에서 <math>\Gamma_0(4)</math>에 대한 weight 3/2 harmonic weak Maass 형식의 예이다
 
* 이는 유사 모듈라 형식(mock modular form)의 이론에서 <math>\Gamma_0(4)</math>에 대한 weight 3/2 harmonic weak Maass 형식의 예이다
 
;정리 (Zagier, 1975)
 
;정리 (Zagier, 1975)
−
$
+
<math>
 
\left(
 
\left(
 
\begin{array}{cc}
 
\begin{array}{cc}
43번째 줄: 43번째 줄:
 
  c & d \\
 
  c & d \\
 
\end{array}
 
\end{array}
−
\right)\in \Gamma_0(4)$, $\tau\in \mathbb{H}$에 대하여, 다음이 성립한다
+
\right)\in \Gamma_0(4)</math>, <math>\tau\in \mathbb{H}</math>에 대하여, 다음이 성립한다
−
$$
+
:<math>
 
F \left( \frac{ a\tau +b}{ c\tau + d} \right) = \left(\frac{c}{d}\right) \left(\frac{-1}{d}\right)^{1/2}(c\tau +d)^{3/2} F(\tau)
 
F \left( \frac{ a\tau +b}{ c\tau + d} \right) = \left(\frac{c}{d}\right) \left(\frac{-1}{d}\right)^{1/2}(c\tau +d)^{3/2} F(\tau)
−
$$
+
</math>
  
 
==테이블==
 
==테이블==
66번째 줄: 66번째 줄:
  
 
==관련논문==
 
==관련논문==
 +
* Alexandru A. Popa, Don Zagier, A combinatorial refinement of the Kronecker-Hurwitz class number relation, arXiv:1604.02822 [math.NT], April 11 2016, http://arxiv.org/abs/1604.02822
 
* 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].
 
* 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 $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
+
* 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
  
  
 
[[분류:정수론]]
 
[[분류:정수론]]

2020년 11월 13일 (금) 10:08 기준 최신판

개요

  • \(\mathcal{Q}_d\)는 \(-d=b^2-4ac\)를 만족하는 정수계수 이변수 이차형식(binary integral quadratic forms) \(Q=[a,b,c]=ax^2+bxy+cy^2\)의 집합
  • 모듈라군 \(\Gamma=PSL(2,\mathbb{Z})\)은 \(\mathcal{Q}_d\)에 작용
  • 각각의 \(Q\)에 대하여, 자기동형군 \(\Gamma_{Q}\)을 생각, \(w_{Q}=|\Gamma_{Q}|\)
    • \(w_Q=2\) if \(Q\sim [a,0,a]\)
    • \(w_Q=3\) if \(Q\sim [a,a,a]\)
    • 다른 경우 \(w_Q=1\)
  • 후르비츠-크로네커 수를 다음과 같이 정의

\[H(d):=\sum_{Q\in \mathcal{Q}_d/\Gamma} \frac{1}{w_Q}\]

예

\(d=3\)

  • \(Q=x^2+xy+y^2\), \(w_Q=3\)
  • \(H(3)=\frac{1}{3}\)

\(d=4\)

  • \(Q=x^2+y^2\), \(w_Q=2\)
  • \(H(4)=\frac{1}{2}\)

\(d=12\)

  • \(Q=3x^2+y^2\),\(w_Q=1\)
  • \(Q=2x^2+2xy+2y^2\), \(w_Q=3\)
  • \(H(12)=1+\frac{1}{3}=\frac{4}{3}\)

\(d=15\)

  • \(Q=x^2+xy+4y^2\), \(w_Q=1\)
  • \(Q=2x^2+xy+2y^2\), \(w_Q=1\)
  • \(H(15)=2\)

생성함수

  • 다음과 같이 생성함수를 정의하자

\[ \mathcal{H}_1(\tau):=\sum_{n=0}^{\infty}H(n)q^n,\, q=e^{2\pi i n} \]

  • \(\mathcal{H}_1\)에 적당한 항을 더하여, weight \(3/2\)인 비해석적 모듈라 형식(non-holomorphic modular form) \(F\)를 얻을 수 있다

\[F(\tau): = \mathcal{H}_1(\tau) + \frac{1}{16\pi\sqrt{y}}\sum_{n\in Z}\beta(4\pi n^2y)q^{-n^2}\] 여기서 \[\displaystyle \beta(t) = \int_t^\infty u^{-3/2} e^{-ut} \,du=t^{1/2}\int_t^\infty v^{-3/2} e^{-v} \,dv\]

  • 이는 유사 모듈라 형식(mock modular form)의 이론에서 \(\Gamma_0(4)\)에 대한 weight 3/2 harmonic weak Maass 형식의 예이다
정리 (Zagier, 1975)

\( \left( \begin{array}{cc} a & b \\ c & d \\ \end{array} \right)\in \Gamma_0(4)\), \(\tau\in \mathbb{H}\)에 대하여, 다음이 성립한다 \[ F \left( \frac{ a\tau +b}{ c\tau + d} \right) = \left(\frac{c}{d}\right) \left(\frac{-1}{d}\right)^{1/2}(c\tau +d)^{3/2} F(\tau) \]

테이블

\begin{array}{c|ccccccccccccccccccccccccc} d & 0 & 3 & 4 & 7 & 8 & 11 & 12 & 15 & 16 & 19 & 20 & 23 & 24 & 27 & 28 & 31 & 32 & 35 & 36 & 39 & 40 & 43 & 44 & 47 & 48 \\ \hline 12 H(d) & -1 & 4 & 6 & 12 & 12 & 12 & 16 & 24 & 18 & 12 & 24 & 36 & 24 & 16 & 24 & 36 & 36 & 24 & 30 & 48 & 24 & 12 & 48 & 60 & 40 \\ \end{array}


관련된 항목들

매스매티카 파일 및 계산 리소스


관련논문

원본 주소 "https://wiki.mathnt.net/index.php?title=후르비츠-크로네커_유수&oldid=41246"