[논문 리뷰] Lefschetz trace formula and l-adic cohomology of Rapoport-Zink tower for GSp(4)

Yoichi Mieda|arXiv (Cornell University)|2012. 12. 20.

Advanced Algebra and Geometry참고 문헌 28인용 수 5

한 줄 요약

이 논문은 GSp(4)에 대한 Rapoport-Zink tower에 Lefschetz 추적 공식을 적용하여, GSp(4)의 L-패킷과 그 내부형의 사이의 국소 Jacquet-Langlands 대응이 ℓ-adic cohomology에 나타남을 보여준다. L-패킷과 안정성에 대한 가정 하에, cohomology의 교대 합은 대응을 인자 -4로 실현하며, 이는 tower의 cohomology에서 국소 Langlands 대응을 확인한다.

ABSTRACT

We investigate the alternating sum of the l-adic cohomology of the Rapoport-Zink tower for GSp(4) by the Lefschetz trace formula. Under some assumptions on L-packets of GSp(4) and its inner form, we observe that the local Jacquet-Langlands correspondence appears in the cohomology.

연구 동기 및 목표

• Rapoport-Zink tower의 ℓ-adic cohomology를 Lefschetz 추적 공식을 사용하여 조사하기.
• GSp(4)와 그 내부형에 대한 국소 Langlands 대응이 tower의 cohomology에서 확인되는지 검증하기.
• 국소 Jacquet-Langlands 대응이 cohomology 군의 교대 합에 나타남을 확립하기.
• G(Qp) × J(Qp)의 cohomology에서의 작용을 분석하고, 추적 공식을 통해 L-패킷과 연관짓기.

제안 방법

• 광역 공간에 대한 Lefschetz 추적 공식을 적용하여 Rapoport-Zink tower의 cohomology에서의 추적을 계산하기.
• 주기 지도와 p-진 Hodge 이론을 사용하여 G(Qp) × J(Qp)의 원소 (g,h)가 Rapoport-Zink 공간에서 고정점을 세기.
• 안정적 Weyl 적분 공식을 통해 G와 J에서의 안정적 궤도 적분을 연결하기.
• L-패킷의 특성 관계를 사용하고, L-패킷의 안정성을 가정하여 추적을 비교하기.
• 부드러운 표현의 범주에서의 Ext-군을 사용하여 가상 표현 H_RZ[ρ]를 정의하기.
• 콤팩트 열린 부분군의 특성 함수가 정칙 타원 원소에만 지지됨을 이용하여 추적 계산을 단순화하기.

실험 결과

연구 질문

• RQ1 GSp(4)와 그 내부형 사이의 국소 Jacquet-Langlands 대응이 Rapoport-Zink tower의 ℓ-adic cohomology에 나타나는가?
• RQ2 GSp(4)의 비준비콤팩트 Rapoport-Zink 공간에 대해 Lefschetz 추적 공식을 적용하여 cohomological 추적을 계산할 수 있는가?
• RQ3 G(Qp) × J(Qp)의 작용 하에서 GSp(4)와 그 내부형의 L-패킷은 tower의 cohomology와 어떻게 관련되는가?
• RQ4 cohomology 표현의 추적과 L-패킷 표현의 추적 사이의 정확한 승수 요소는 무엇인가?
• RQ5 cohomology 표현이 유한 길이를 가지는 조건은 무엇이며, 이를 통해 특성 이론적 분석이 가능한가?

주요 결과

• cohomology의 교대 합 H_RZ[ρ]는 국소 Jacquet-Langlands 대응을 인자 -4로 실현한다: ∑ρ∈ΠϕJ Tr(f; H_RZ[ρ]) = -4∑π∈ΠϕG Tr(f; π) (정칙 타원 f에 대해).
• 정칙 타원 g ∈ G(Qp)에 대해, 분포 특성 함수는 ∑ρ∈ΠϕJ θH_RZ[ρ](g) = -4∑π∈ΠϕG θπ(g)를 만족하며, 이는 특성 형태로 대응을 확인한다.
• Ext-군이 유한 길이를 가진다면, 가상 표현 H_RZ[ρ]는 잘 정의된 특성을 가지며, 모든 정칙 타원 원소에 대해 특성 관계가 성립한다.
• 3차 cohomology에서의 초초급 부분은 φ가 SL2(C)에서 자명하고离산일 때, 각 π ∈ ΠϕG의 쌍대 표현을 포함한다.
• 결과는 GSp(4)와 그 내부형에 대한 국소 Langlands 대응이 Rapoport-Zink tower의 cohomology에 실현된다는 기대와 일치한다.
• 이 방법은 Faltings와 Strauch의 접근을 비콤팩트이자 EL-형이 아닌 Rapoport-Zink 공간으로 확장하여, 비콤팩트성과 비단사적 Langlands 대응으로 인한 곤경을 극복한다.