후르비츠-크로네커 유수

수학노트
둘러보기로 이동 검색으로 이동

개요

  • <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>의 집합
  • 모듈라군 <math>\Gamma=PSL(2,\mathbb{Z})</math>은 <math>\mathcal{Q}_d</math>에 작용
  • 각각의 <math>Q</math>에 대하여, 자기동형군 <math>\Gamma_{Q}</math>을 생각, <math>w_{Q}=|\Gamma_{Q}|</math>
    • <math>w_Q=2</math> if <math>Q\sim [a,0,a]</math>
    • <math>w_Q=3</math> if <math>Q\sim [a,a,a]</math>
    • 다른 경우 <math>w_Q=1</math>
  • 후르비츠-크로네커 수를 다음과 같이 정의
<math>H(d):=\sum_{Q\in \mathcal{Q}_d/\Gamma} \frac{1}{w_Q}</math>

예

<math>d=3</math>

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

<math>d=4</math>

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

<math>d=12</math>

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

<math>d=15</math>

  • <math>Q=x^2+xy+4y^2</math>, <math>w_Q=1</math>
  • <math>Q=2x^2+xy+2y^2</math>, <math>w_Q=1</math>
  • <math>H(15)=2</math>

생성함수

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

\mathcal{H}_1(\tau):=\sum_{n=0}^{\infty}H(n)q^n,\, q=e^{2\pi i n} </math>

  • <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>\displaystyle \beta(t) = \int_t^\infty u^{-3/2} e^{-ut} \,du=t^{1/2}\int_t^\infty v^{-3/2} e^{-v} \,dv</math>
  • 이는 유사 모듈라 형식(mock modular form)의 이론에서 <math>\Gamma_0(4)</math>에 대한 weight 3/2 harmonic weak Maass 형식의 예이다
정리 (Zagier, 1975)

<math> \left( \begin{array}{cc} a & b \\ c & d \\ \end{array} \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) </math>

테이블

\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"