[논문 리뷰] Siegel modular forms (mod p) and algebraic modular forms

Alexandru Ghitza|ArXiv.org|2003. 06. 13.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 4

한 줄 요약

이 논문은 p에 대한 모듈라 형식과 허미트형 양자수체에서의 자동형식 사이의 세르의 대응을 고계수 시엘라 모듈라 형식으로 일반화한다. 이를 통해 고계수 g에 대한 시엘라 모듈라 형식(모듈로 p)의 히케 고유값 체계가, p와 ∞에서 분할된 허미트형 양자수체 B에 대한 유니타리 스미리티군 GU_g(B) 위에서 정의된 대수적 자동형식을 통해, 아벨 다양체의 모듈리 공간의 초특수 위치로 제한함으로써 유도됨을 밝힌다.

ABSTRACT

In a letter to Tate, Serre proves that the systems of Hecke eigenvalues given by modular forms (mod p) are the same as the ones given by locally constant functions on an adelic double coset space constructed from the endomorphism algebra of a supersingular elliptic curve. We generalize this result to Siegel modular forms (mod p), proving that the systems of Hecke eigenvalues obtained from them are the same as the ones given by algebraic modular forms (mod p) on a quaternionic unitary group, as defined by Gross. The correspondence is obtained by restricting to the superspecial locus of the moduli space of abelian varieties.

연구 동기 및 목표

• 타원 모듈라 형식(모듈로 p)에 대한 세르의 결과를 고계수 시엘라 모듈라 형식(모듈로 p)으로 확장하여, 재구성군 위에서의 모듈라 형식과 자동형식 사이의 관계를 일반화한다.
• 시엘라 모듈라 형식(모듈로 p)의 히케 고유값과 유니타리 스미리티군 GU_g(B) 위에서의 대수적 자동형식의 고유값 사이의 대응을 확립한다.
• 초특수 위치의 기하적 프레임워크를 사용하여 시엘라 모듈라 형식과 대수적 자동형식 사이의 다리를 놓는다.
• 고스의 대수적 자동형식 이론(모듈로 p)을 고차원 재구성군, 특히 GU_g(B)로 일반화하고, 히케 작용과의 호환성을 검증한다.
• 시엘라 모듈라 형식(모듈로 p)의 히케 고유값 체계가 초특수 위치로의 환원과 디외도네 모듈러리 이론을 통해 GU_g(B) 위에서의 대수적 자동형식에서 유도된 것임을 증명한다.

제안 방법

• 문제를 GU_g(B)와 관련된 이중 코셋 공간과 시엘라 모듈라 다양체의 초특수 점 사이의 유한집합 간의 히케-불변 이분사 사상으로 환원한다.
• 하세 불변량을 사용하여 시엘라 모듈라 형식의 초특수 위치로의 제한이 히케 작용과 호환됨을 보인다.
• 코다이라-스펜서 등식과 미분형식의 타이팅을 통해 아벨 다양체의 미분형식을 자동형식 데이터와 연결한다.
• 초특수 아벨 다양체의 p-분할군에 대한 디외도네 모듈러리 이론을 적용하여 국소 구조와 심플렉틱 형식을 분석한다.
• 허미트형 양자수 공간과 스미리티군 이론을 활용하여 유한체 위에서 GU_g(B) 위에서의 대수적 자동형식을 정의한다.
• 갈루아 수축과 기저 변경 기법을 사용하여 𝔽_q에서 정의된 고유값이 𝔽_p에서 고유형식으로 올라감을 보이며, 갈루아 작용이 고유공간에 미치는 영향을 다루는 보조정리에 의존한다.

실험 결과

연구 질문

• RQ1 타원 모듈라 형식(모듈로 p)과 허미트형 양자수체 위에서의 자동형식 사이의 세르의 대응을 고계수 시엘라 모듈라 형식으로 어떻게 일반화할 수 있는가?
• RQ2 시엘라 모듈라 형식(모듈로 p)의 히케 고유값 체계와 GU_g(B) 위에서의 대수적 자동형식의 고유값 체계 사이의 정확한 관계는 무엇인가?
• RQ3 아벨 다양체의 모듈리 공간의 초특수 위치가 고계수 g에 대한 시엘라 모듈라 형식(모듈로 p)에 해당하는 관련 자동형식 데이터를 어느 정도 파라미터화하는가?
• RQ4 시엘라 모듈라 형식(모듈로 p)의 히케 연산자와 GU_g(B) 위에서의 대수적 자동형식의 히케 연산자 사이의 대응은 어떻게 되는가?
• RQ5 시엘라 모듈라 형식(모듈로 p)의 고유값 체계는 𝔽_p 위에서 GU_g(B)의 유한차원 표현으로서 실현될 수 있는가?

주요 결과

• 고계수 g에 대한 시엘라 모듈라 형식(모듈로 p)의 히케 고유값 체계는 [Gro99] 및 [Gro98]에서 정의한 바와 같이 GU_g(B) 위에서의 대수적 자동형식에서 유도된 것들과 이분사적 대응 관계를 이룬다.
• 이 대응은 아벨 다양체의 모듈리 공간의 초특수 위치로의 시엘라 모듈라 형식의 제한을 통해 실현되며, 여기서 기하학적 구조가 단순화되고 자동형식 데이터가 접근 가능해진다.
• 시엘라 모듈라 형식(모듈로 p)에서 이중 코셋 공간 GU_g(B)(𝔸_f)/GU_g(B)(ℚ) 위의 함수로의 제한 사상은 히케--equivariant이며, 고유값 체계에 대해 이분사적이다.
• 시엘라 모듈라 형식(모듈로 p)의 고유값 체계는 갈루아 수축을 통해 𝔽_p 위의 고유형식으로 올라감을 보이며, 이는 그것들이 GU_g(B)의 유한차원 표현에서 유래됨을 확인한다.
• 이 증명은 하세 불변량이 히케 작용과 호환됨과 함께, 디외도네 모듈러리 이론을 통해 초특수 아벨 다양체의 p- torsion 구조를 분석하는 데 의존한다.
• 이 결과는 고계수 1에 대한 세르의 원래 정리에서 고계수 g > 1로 일반화되어, mod p 모듈라 형식에 대한 랑글랜즈 유형 대응의 고차원 해석을 제공한다.