[논문 리뷰] Cohomologie d'intersection des variétés modulaires de Siegel, suite

Sophie Morel|arXiv (Cornell University)|2018. 06. 26.

Advanced Algebra and Geometry인용 수 3

한 줄 요약

이 논문은 쿠티지의 방법과 기본 레미마를 사용하여 고정점 공식을 안정화시킴으로써 시겔 모듈러 다양체의 교차 코hom로지에 대한 안정된 트레이스 공식을 수립한다. 이는 쿠티지(1990)의 추측을 증명하며, GSp_{2n}의 내세적 군 위의 안정된 분포들의 합으로 교차 코호몰로지 위에 히크 연산자와 프로베누스의 거듭제곱의 트레이스를 표현한다. 이 결과는 GSp_4와 GSp_6에 대해 조건 없이 적용 가능하다.

ABSTRACT

In this work, we study the intersection cohomology of Siegel modular varieties. The goal is to express the trace of a Hecke operator composed with a power of the Frobenius endomorphism (at a good place) on this cohomology in terms of the geometric side of Arthur's invariant trace formula for well-chosen test functions. Our main tools are the results of Kottwitz about the contribution of the cohomology with compact support and about the stabilization of the trace formula, Arthur's $L^2$ trace formula and the fixed point formula of the author. We "stabilize" this last formula, ie express it as a sum of stable distributions on the general symplectic groups and its endoscopic groups, and obtain the formula conjectured by Kottwitz. Applications of the results of this article have already been given by Kottwitz, assuming Arthur's conjectures. Here, we give weaker unconditional applications in the cases of the groups $\mathrm{GSp}_4$ and $\mathrm{GSp}_6$.

연구 동기 및 목표

• 시겔 모듈러 다양체의 교차 코호몰로지 위에 작용하는 히크 연산자와 프로베누스의 거듭제곱의 트레이스를 안정된 분포의 형태로 표현하기.
• GSp_{2n}에 관련된 비콤팩트 쇤마 다양체의 코호몰로지에 대한 고정점 공식을 내세적 전이를 통해 안정화하기.
• 아서의 추측에 의존하지 않고 쿠티지의 추측을 GSp_4와 GSp_6의 경우에 대해 조건 없이 적용하기.
• 쿠티지의 트레이스 공식의 기하 측면을 타원형이 아닌 항목까지 레비 부분군과 내세적 군을 통해 확장하여 안정화하기.
• 안정화 과정에서 아르키메데스 기여를 다루는 데 있어, 콤팩트 경우를 넘어서 주요 기술적 과제를 해결하기

제안 방법

• 그로텐디크-레프셰츠의 고정점 공식을 사용하여 교차 코호몰로지 위의 트레이스를 기하 데이터와 연결하기.
• 아서의 L^2 트레이스 공식과 쿠티지의 컴acts지지 코호몰로지 결과를 적용하여 트레이스를 분해하기.
• GSp_{2n}과 그 내세적 군 위의 안정된 분포들의 합으로 표현함으로써 고정점 공식을 안정화하기.
• 기본 레미마와 왜곡된 기본 레미마(Laumon-Ngo 및 Waldspurger를 통한)를 활용하여 궤도 적분의 전이 보장하기.
• 정밀한 정규화와 특성의 전이를 통해 아르키메데스 부분을 다루며, 쿠티지의 방법을 단순 연결되지 않은 내세적 군으로 확장하기.
• 내세적 자료(삼중체 (H,s,η₀))를 사용하여 안정된 분포를 매개변수화하고, f^∞에서 f_H^{(j)}를 정의하는 전이 함수를 설정하기.

실험 결과

연구 질문

• RQ1 시겔 모듈러 다양체의 교차 코호몰로지 위에 작용하는 히크 연산자와 프로베누스의 거듭제곱의 트레이스는 어떻게 기하적으로 표현될 수 있는가?
• RQ2 이 맥락에서 GSp_{2n}과 그 내세적 군에 대한 안정된 트레이스 공식의 정확한 형태는 무엇인가?
• RQ3 트레이스 공식의 기하 측면에 대한 쿠티지의 추측은 GSp_4와 GSp_6에 대해 조건 없이 증명될 수 있는가?
• RQ4 고정점 공식의 안정화가 타원형의 경우를 넘어서 비타원형 항목까지 어떻게 확장되는가?
• RQ5 레비 부분군과 그 내세적 군은 아르키메데스 자리에서의 안정화 과정에서 어떤 역할을 하는가?

주요 결과

• 논문은 쿠티지(1990)의 추측을 증명하며, 교차 코호몰로지 위의 트레이스를 내세적 군 위의 안정된 분포들의 합으로 표현한다.
• GSp_4와 GSp_6의 경우 결과는 조건 없이 성립하며, 아서의 추측에 의존하지 않는 명시적 공식을 제공한다.
• 궤도 적분의 전이를 기본 레미마와 그 왜곡된 변형을 통해 사용함으로써 고정점 공식의 안정화가 달성된다.
• 아르키메데스 기여는 레비 부분군과 그 내세적 자료의 세밀한 분석을 통해 안정화되며, 쿠티지의 방법이 확장된다.
• 공식은 Tr(Frob_p^j × f^∞, IH^*(S^K, V))를 내세적 삼중체 (H,s,η₀)에 대한 안정된 궤도 적분 ST^H(f_H^{(j)})의 합으로 표현한다.
• 전이 함수 f_H^{(j)}는 f^∞, j, 그리고 표현 V로부터 명시적으로 구성되며, 트레이스 공식과의 호환성을 보장한다.