[논문 리뷰] The trace of Hecke operators on the space of classical holomorphic Siegel modular forms of genus two

Rainer Weissauer|ArXiv.org|2009. 09. 09.

Advanced Algebra and Geometry참고 문헌 9인용 수 16

한 줄 요약

이 논문은 풀 Siegel 모듈라 군에 대한 고전적 헬름홀로모르피크 시겔 모듈라 촉성형의 Hecke 연산자의 트레이스를 추적 공식과 자동형 표현 이론을 사용하여 계산한다. 핵심 결과는 Frobenius 추적, 에탈 코homology, 타원 촉성형에 관련된 Galois 표현을 통해 트레이스를 기술하며, 정규 무게에 대해 [FG]의 추측을 확인한다.

ABSTRACT

We prove multiplicity one for vector valued holomorphic Siegel modular forms of weights greater or equal to 3 and the full Siegel modular group and give a trace formula for the action of the Hecke operators T(p) in the regular cases.

연구 동기 및 목표

• 풀 Siegel 모듈라 군에 대한 2차 시겔 촉성형의 헬름홀로모르피크 Hecke 연산자 트레이스를 계산하는 것.
• 추적 공식을 통해 시무라 다양체의 코homology와 Galois 표현을 연결하여 이 트레이스를 기술하는 것.
• 정규 무게에 대해 자동형 코homology의 오일러 특성에 대한 [FG]의 추측 4.1을 확인하는 것.
• 모듈리 공간 A₂의 코homology를 아이젠슈타인, CAP, 엔도스코픽, 비-CAP 촉성형에 관련된 성분들로 분해하는 것.

제안 방법

• GSp(4,𝔸)에서 [W1]–[W3]의 추적 공식을 적용하여 시겔 촉성형에서 Hecke 연산자 트레이스를 분석한다.
• H₆c(A₂, V_λ)의 코homology를 아이젠슈타인, CAP, 엔도스코픽, 비-CAP (00) 성분으로 분해한다.
• 에이처러-시무라 동형을 사용하여 A₁의 코homology를 무게 r₂의 타원 모듈라 형식과 연결한다.
• 코hom로지컬 촉성형 자동형 표현을 무게 (k₁,k₂)에 대한 헬름홀로모르피크离散계열로 식별한다 (k₁ ≥ k₂ ≥ 3).
• 약한 엔도스코픽 리프트 이론과 CAP 표현을 사용하여 비-CAP 형식의 기여를 분리한다.
• 추적 공식을 사용하여 T(p)의 트레이스를 코homology와 Galois 표현의 Frobenius 추적의 조합으로 표현한다.

실험 결과

연구 질문

• RQ1 어떻게 자동형 및 Galois 이론적 방법을 사용하여 2차 시겔 촉성형에서 Hecke 연산자 트레이스를 계산할 수 있는가?
• RQ2 모듈리 공간 A₂의 코homology는 아이젠슈타인, CAP, 엔도스코픽, 비-CAP 성분으로 어떻게 정확히 분해되는가?
• RQ3 추적 공식은 정규 무게에서 자동형 코homology의 오일러 특성에 대한 [FG]의 추측 4.1을 확인하는가?
• RQ4 타원 촉성형에 관련된 Galois 표현은 2차 시겔 촉성형에서 Hecke 연산자 트레이스에 어떤 역할을 하는가?
• RQ5 정규 무게에서 GSp(4,𝔸_f)의 작용 하에 시무라 다양체 M의 코homology는 어떻게 분해되는가?

주요 결과

• k₁ > k₂ > 3인 무게 (k₁,k₂)의 시겔 촉성형에서 Hecke 연산자 T(p)의 트레이스는 코homology, Galois 표현, 아이젠슈타인 기여의 Frobenius 추적을 포함하는 공식으로 주어진다.
• 정규 무게 k₁ > k₂ > 3에 대해 아이젠슈타인 코homology H_E^•(M,V_λ)는 0이 되며, 이는 트레이스 공식을 단순화시킨다.
• 비-CAP 촉성형 코homology 성분 H_00^•(M,V_λ)는 랭크 4·dim_ℂ([Γ₂,ρ]_00)의 모티프를 기여하며, 이는 [FG]가 예측한 모티프적 구조를 확인한다.
• T(p)의 트레이스 공식은 Galois 표현 ρ₂와 특성 ν_l^{k₂−2}의 텐서곱에서의 Frobenius 추적을 포함하는 항을 포함하며, 이는 타원 촉성형의 무게 r₁에 대한 공간의 차원으로 가중된다.
• 오일러 특성 e_c(A₂, V_λ)는 e_Eis, e_E, e_endo, e_00 성분으로 분해되며, e_00은 비-CAP 촉성형에 대응한다.
• 결과적으로 정규 무게에서 추측 4.1이 추적 공식이 예측한 L-함수 행동과 일치함을 보여, [FG]의 추측을 확인한다.