지겔-베유 공식

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

개요

  • 지겔-베유 공식은 지겔의 결과(1951, 1952)에 대한 베유의 확장(1964, 1965)
  • 같은 genus에 속하는 격자의 세타함수에 대한 가중치평균을 아이젠슈타인 급수로 표현함
  • rank가 <math>n</math>인 격자 <math>L</math>과 정수 <math>g\leq n</math>를 고정
  • 격자의 지겔 세타 급수는 지겔 상반 공간 <math>\mathbb{H}_g=\{Z\in M_g(\C)\mid Z=Z^t,\ {\rm Im}(Z)>0\}</math> 정의된 함수로
<math>\Theta^{(g)}_L(Z)=\sum_{v_1,\,\ldots,\,v_g\in L}e^{2\pi i\,{\rm tr}
   ((v_1,\ldots,v_g)(v_1,\ldots,v_g)^tZ) }.</math>
  • <math>{\rm Sp}(g,\Z)</math>의 합동부분군 <math>\Gamma</math>에 대해 weight이 <math>n/2</math>인 지겔 모듈라 형식
  • 랭크가 <math>g\leq n</math>인 격자들을 <math>L</math>에 매장하는 방법의 개수에 대한 정보를 담고 있다
정리
<math>\left( \sum_{M\in {\rm gen}(L)}\frac{\Theta_M^{(g)}(Z)}{|{\rm Aut}(M)|}\right)\,\cdot\,

\left(\sum_{M\in {\rm gen}(L)}\frac{1}{|{\rm Aut}(M)|}\right)^{-1}= E^{(g)}(Z),</math> 여기서 <math>E^{(g)}(Z)</math>는 <math>\Gamma</math>에 대한 아이젠슈타인 급수이며 <math>L</math>의 genus에만 의존

  • 타마가와는 질량 공식이 직교군의 타마가와 수가 2라는 것과 동치임을 보임

예

8차원

<math>\theta_{E_8}(\tau)=E_4(\tau)=1+240 q+2160 q^2+6720 q^3+17520 q^4+30240 q^5+\cdots</math>

16차원

  • <math>g=1</math>의 경우
  • <math>E_8\oplus E_8</math>격자와 <math>D_{16}^{+}</math>격자의 세타함수는 아이젠슈타인 급수(Eisenstein series) <math>E_4^2=E_8</math>와 같으며 따라서 가중치평균도 이와 같다
<math>

\theta_{E_8\oplus E_8}(\tau)=\theta_{D_{16}^{+}}(\tau)=E_8(\tau)\\ E_8(\tau)=1+480 q+61920 q^2+1050240 q^3+7926240 q^4+\cdots </math>

24차원

<math>\left( \sum_{M\in {\rm gen}(L)}\frac{\Theta_M(\tau)}{|{\rm Aut}(M)|}\right)\,\cdot\,

\left(\sum_{M\in {\rm gen}(L)}\frac{1}{|{\rm Aut}(M)|}\right)^{-1}=E_{12}(\tau)</math>

<math>

E_{12}(\tau)=1+\frac{65520 q}{691}+\frac{134250480 q^2}{691}+\frac{11606736960 q^3}{691}+\frac{274945048560 q^4}{691}+\frac{3199218815520 q^5}{691}+\cdots </math>


질문과 답변


메모

리뷰, 에세이, 강의노트

관련논문

  • Weil, André. “Sur la formule de Siegel dans la théorie des groupes classiques.” Acta Mathematica 113, no. 1 (July 1, 1965): 1–87. doi:10.1007/BF02391774.
  • Weil, André. “Sur certains groupes d’opérateurs unitaires.” Acta Mathematica 111, no. 1 (July 1, 1964): 143–211. doi:10.1007/BF02391012.
  • Siegel, Carl Ludwig. “Uber Die Analytische Theorie Der Quadratischen Formen.” The Annals of Mathematics 36, no. 3 (July 1935): 527. doi:10.2307/1968644.
원본 주소 "https://wiki.mathnt.net/index.php?title=지겔-베유_공식&oldid=39214"