지겔 모듈러 다양체

지겔 모듈러 다양체(영어: Siegel modular variety) 또는 지겔 모듈라이 공간(영어: Siegel moduli space)은 고정된 차원의 특정 유형의 아벨 다양체를 매개변수화하는 대수다양체이다. 보다 정확하게는 지겔 모듈러 다양체는 고정 차원의 주 극성화 아벨 다양체의 모듈라이 공간이다. 이 이름은 1943년에 이 다양체를 정의한 20세기 독일 정수론자 카를 루드비히 지겔의 이름을 따서 명명되었다. 지겔 모듈러 다양체는 시무라 다양체의 가장 기본적인 예이다. 지겔 모듈러 다양체는 타원 곡선의 모듈라이 공간을 더 높은 차원으로 일반화하고 고전적인 모듈러 형식을 더 높은 차원으로 일반화하는 지겔 모듈러 형식 이론에서 중심 역할을 한다. 그들은 또한 블랙홀 엔트로피와 등각장 이론에 적용된다. g {\displaystyle g} 차원 주 극화 아벨 다양체를 매개변수화하는 지겔 모듈러 다양체 A g {\displaystyle A_{g}} 는 대칭 군 작용에 의해 g {\displaystyle g} 차 지겔 상반 공간의 몫으로 구성된 복소 해석 공간으로 구성될 수 있다. 복소 해석 공간은 세르의 GAGA에 따라 자연스럽게 연관된 대수 다양체를 갖다. 레벨 n 구조를 사용하여 g {\displaystyle g} 차원 주 극화 아벨 다양체를 매개변수화하는 지겔 모듈러 다양체 A g ( n ) {\displaystyle A_{g}(n)} 은 심플렉틱 군의 레벨 n 주 합동 부분 군의 작용에 의해 지겔 상반 공간의 몫으로 발생한다. 지겔 모듈형 다양체는 심플렉틱 벡터 공간과 연관된 시무라 데이텀에 의해 정의된 시무라 다양체로 구성될 수도 있다. 지겔 모듈러 다양체 A g {\displaystyle A_{g}} 는 g ( g + 1 ) / 2 {\displaystyle g(g+1)/2} 차원 다양체이다. 게다가 Yung-Sheng Tai, 에버하르트 프라이타그 및 데이비드 멈퍼드는 A g {\displaystyle A_{g}} 가 A g {\displaystyle A_{g}} 일 때 일반 유형임을 보여주었다. 지겔 모듈형 다양체는 사영 다양체를 얻기 위해 콤팩트화될 수 있다. 특히, A 2 ( 2 ) {\displaystyle A_{2}(2)} 의 콤팩트화는 유리 다양체인 세그레 삼차 삼중체와 쌍유리적으로 동일한다. 유사하게, A 2 ( 3 ) {\displaystyle A_{2}(3)} 의 콤팩트화는 역시 유리 다양체인 Burkhardt 사차 삼중체와 쌍유리적으로 동일하다. A 1 , 3 ( 2 ) {\displaystyle A_{1,3}(2)} 로 표시된 또 다른 지겔 모듈러 다양체는 고다이라 차원이 0인 모듈러 칼라비-야우 다양체와 쌍유리적으로 동형인 바르토-니에로 오차 삼중체와 쌍유리적으로 동형인 콤팩트화를 갖는다. 지겔 모듈러 형식은 지겔 모듈러 다양체에서 벡터 값 미분 형식으로 발생한다. 지겔 모듈러 다양체는 지겔 모듈러 형식 이론을 통해 등각장 이론에 응용되었다. 지겔 모듈러 형식은 끈 이론에서 초대칭 블랙홀의 D1D5P 계에서 블랙홀 엔트로피의 미시 상태를 자연스럽게 포착한다. 1968년에 알렉세이 파신은 파신의 트릭을 도입하여 샤파레비치 유한성 추측이 참이라면 모델 추측(현재 팔팅스의 정리로 알려짐)이 성립함을 보여주었다. 1983년과 1984년에 게르트 팔팅스는 샤파레비치 유한성 추측을 증명하여 모델 추측의 증명을 완성했다. 팔팅스 증명의 주요 아이디어는 지겔 모듈러 다양체를 통해 팔팅스 높이와 순진한 높이를 비교하는 것이다. 힐베르트 모듈러 곡면 힐베르트 스킴 야코비 다양체 Hulek, Klaus; Sankaran, G. K. (2002). 〈The Geometry of Siegel Modular Varieties〉. 《Higher Dimensional Birational Geometry》. Advanced Studies in Pure Mathematics 35. 89–156쪽. arXiv:math/9810153. doi:10.2969/aspm/03510089. ISBN 978-4-931469-85-3.  Oda, Takayuki (2014). 〈Intersections of Two Walls of the Gottschling Fundamental Domain of the Siegel Modular Group of Genus Two〉. Heim, Bernhard; Al-Baali, Mehiddin; Rupp, Florian. 《Automorphic Forms, Research in Number Theory from Oman》. Springer Proceedings in Mathematics & Statistics 115. Springer. 193–221쪽. doi:10.1007/978-3-319-11352-4_15. ISBN 978-3-319-11352-4.  Siegel, Carl Ludwig (1943). “Symplectic Geometry”. 《American Journal of Mathematics》 (The Johns Hopkins University Press) 65 (1): 1–86. doi:10.2307/2371774. JSTOR 2371774.  Milne, James S. (2005). 〈Introduction to Shimura Varieties〉. Arthur, James; Ellwood, David; Kottwitz, Robert. 《Harmonic Analysis, the Trace Formula, and Shimura Varieties》. Clay Mathematics Proceedings 4. American mathematical Society and Clay Mathematics Institute. 265–378쪽. ISBN 978-0-8218-3844-0.  Belin, Alexandre; Castro, Alejandra; Gomes, João; Keller, Christoph A. (2017년 4월 11일). “Siegel modular forms and black hole entropy” (PDF). 《Journal of High Energy Physics》 2017 (4): 57. arXiv:1611.04588. Bibcode:2017JHEP...04..057B. doi:10.1007/JHEP04(2017)057.  See Section 1 of the paper. van der Geer, Gerard (2013). 〈The cohomology of the moduli space of Abelian varieties〉. Farkas, Gavril; Morrison, Ian. 《The Handbook of Moduli, Volume 1》 24. Somerville, Mass.: International Press. arXiv:1112.2294. ISBN 9781571462572.  Tai, Yung-Sheng (1982). “On the Kodaira dimension of the moduli space of abelian varieties”. 《Inventiones Mathematicae》 68 (3): 425–439. Bibcode:1982InMat..68..425T. doi:10.1007/BF01389411.  Freitag, Eberhard (1983). 《Siegelsche Modulfunktionen》. Grundlehren der mathematischen Wissenschaften (독일어) 254. Springer-Verlag. doi:10.1007/978-3-642-68649-8. ISBN 978-3-642-68650-4.  Mumford, David (1983). 〈On the Kodaira dimension of the Siegel modular variety〉. Ciliberto, C.; Ghione, F.; Orecchia, F. 《Algebraic Geometry - Open Problems, Proceedings of the Conference held in Ravello, May 31 - June 5, 1982》. Lecture Notes in Mathematics 997. Springer. 348–375쪽. doi:10.1007/BFb0061652. ISBN 978-3-540-12320-0.  Belin, Alexandre; Castro, Alejandra; Gomes, João; Keller, Christoph A. (2018년 11월 7일). “Siegel paramodular forms and sparseness in AdS3/CFT2”. 《Journal of High Energy Physics》 2018 (11): 37. arXiv:1805.09336. Bibcode:2018JHEP...11..037B. doi:10.1007/JHEP11(2018)037.  Parshin, A. N. (1968). “Algebraic curves over function fields I” (PDF). 《Izv. Akad. Nauk. SSSR Ser. Math.》 32 (5): 1191–1219. Bibcode:1968IzMat...2.1145P. doi:10.1070/IM1968v002n05ABEH000723.  Cornell, Gary; Silverman, Joseph H., 편집. (1986). 《Arithmetic geometry. Papers from the conference held at the University of Connecticut, Storrs, Connecticut, July 30 – August 10, 1984》. New York: Springer-Verlag. doi:10.1007/978-1-4613-8655-1. ISBN 0-387-96311-1. MR 861969.  Faltings, Gerd (1983). “Endlichkeitssätze für abelsche Varietäten über Zahlkörpern” [Finiteness theorems for abelian varieties over number fields]. 《Inventiones Mathematicae》 (독일어) 73 (3): 349–366. Bibcode:1983InMat..73..349F. doi:10.1007/BF01388432. MR 0718935.  Faltings, Gerd (1984). “Erratum: Endlichkeitssätze für abelsche Varietäten über Zahlkörpern”. 《Inventiones Mathematicae》 (독일어) 75 (2): 381. doi:10.1007/BF01388572. MR 0732554.  "Faltings relates the two notions of height by means of the Siegel moduli space.... It is the main idea of the proof." Bloch, Spencer (1984). “The Proof of the Mordell Conjecture” (PDF). 《The Mathematical Intelligencer》 6 (2): 44. doi:10.1007/BF03024155. 2019년 3월 3일에 원본 문서 (PDF)에서 보존된 문서.