[논문 리뷰] A guide to the reduction modulo p of Shimura varieties

Michael Rapoport|ArXiv.org|2002. 05. 02.

Advanced Algebra and Geometry참고 문헌 17인용 수 157

한 줄 요약

이 논문은 파라호로닉 수준 구조를 가진 슈뮈라 다양체의 소수 모듈로 축소에 대해 군론적 지침을 제공하며, 국소적 및 전역적 기하학적 구조, 아핀 덜레인-루스트지 다양체, 갈루아 제브와 히크 대수 간의 상호작용을 중심으로 다룬다. 휘어진 궤도 적분을 통한 준단순 제타 함수에 대한 추측을 수립하고, GL_n 및 GSp_{2n}의 경우 핵심 결과를 확립하며, 히크 대수 사상에 대한 코트비츠의 추측을 통해 수론 기하학과 자동형 양식을 연결한다.

ABSTRACT

This is a report on results and methods in the reduction modulo p of Shimura varieties with parahoric level structure. In the first part, the local theory, we explain the concepts of parahoric subgroups, of the mu-admissible and mu-permissible subsets of the Iwahori-Weyl group, of the corresponding union of affine Deligne-Lusztig varieties and of local models. In the second part, the global theory, we use these concepts to formulate conjectures on the points in the reduction modulo p of Shimura varieties with parahoric level structure.

연구 동기 및 목표

• 파라호로닉 수준 구조를 가진 슈뮈라 다양체의 소수 모듈로 축소를 이해하기 위한 군론적 프레임워크를 개발하는 것.
• 국소 모델과 아핀 덜레인-루스트지 다양체를 통해 슈뮈라 다양체의 특수 섬유의 기하학을 명확히 하는 것.
• 편향된 궤도 적분을 통한 슈뮈라 다양체의 준단순 제타 함수에 대한 추측을 수립하고 조사하는 것.
• 클래식한 슈뮈라 다양체(예: 힐버트-블룸נטל, 시겔)의 알려진 결과를 히지 타입의 일반적인 경우로 확장하는 것, 특히 Hodge 타입의 경우에 중점을 두는 것.
• 히크 대수와 갈루아 제브를 통한 점 수와 추적 공식 간의 관계를 통해 수론 기하학과 자동형 양식을 연결하는 것.

제안 방법

• 파라호로닉 부분군의 국소 이론과 μ-가능/허용 집합을 활용하여 아핀 덜레인-루스트지 다양체 X(μ,b)_K의 구조를 분석한다.
• 국소 모델과 갈루아 제브 이론을 적용하여 유한체 위에서 슈뮈라 다양체의 축소에서의 점 집합을 묘사한다.
• 준단순 제타 함수와 추적 공식 기법을 활용하여 점 수를 궤도 적분과 연결한다.
• 공轭류와 프로베니우스 작용을 통해 히프레스키의 고정점 공식에 대한 허용 호모모르피즘의 기여를 군론적 표현으로 유도한다.
• 히크 대수와 버너스타인 함수를 활용하여 p-진 히크 연산자 φ_p^n을 z_μ와 이와하라-히크 대수 사상으로 표현하는 추측을 수립한다.
• 프로베니우스 작용에 의한 고정점 분석을 통해 전역 추적 공식을 국소 기여로 환원하며, 이를 편향된 궤도 적분과 연결한다.

실험 결과

연구 질문

• RQ1 파라호로닉 수준 구조를 가진 슈뮈라 다양체의 소수 모듈로 축소는 μ-허용 집합과 아핀 덜레인-루스트지 다양체와 같은 군론적 불변량을 통해 어떻게 묘사될 수 있는가?
• RQ2 준단순 제타 함수의 군론적 의미는 휘어진 궤도 적분과 히크 대수의 관계를 통해 어떻게 정의되는가?
• RQ3 코트비츠의 히크 대수 사상 추측은 GL_n과 GSp_{2n}를 초월하여 일반적인 히지 타입의 슈뮈라 다양체로 어떻게 확장될 수 있는가?
• RQ4 히프레스키 추적 공식에 대한 허용 호모모르피즘의 기여는 공轭류와 프로베니우스 작용을 포함하는 국소 항으로 어떻게 분해되는가?
• RQ5 나쁜 분해가 존재할 경우 추측에 어떤 수정이 필요하며, 이를 통해 전역 추적 공식을 안정화시키기 위해 어떻게 조정할 수 있는가?

주요 결과

• 소수 모듈로 축소된 슈뮈라 다양체의 점 집합은 이소지 유형에 따라 분리된 합집합으로 묘사되며, 구성요소는 X(φ)_{K_p} × X^p/K^p와 I_φ(Q)의 군 작용에 의해 색인화된다.
• 초특수 및 이와하라 수준 구조의 경우, 집합 X(φ)_{K_p}는 타원곡선의 디외드니 모듈로에서 pΛ ⊂ FΛ ⊂ Λ를 만족하는 격자 Λ의 집합으로 기술된다.
• 각 허용 호모모르피즘 φ에 대한 준단순 제타 함수의 기여는 궤도 적분 O_h(φ^p)와 휘어진 궤도 적분 TO_δ(φ_p^n)의 곱에 체적 인자 v를 곱한 것으로 표현된다.
• 코트비츠의 추측은 하인즈와 누오의 작업을 통해 GL_n 및 GSp_{2n}의 경우에 증명되었으며, φ_p^n 이 히크 대수 사상의 이미지로부터 유도됨을 보여준다.
• 추측은 φ_p^n 이 p^{n'⟨ρ,μ⟩} 곱하기 이와하라-히크 대수에서의 버너스타인 함수 z_μ에 비례하며, n' = n·r 이고 r = [κ_E : F_p] 임을 예측한다.
• 이 프레임워크는 전역 추적 공식이 모든 φ에 대해 합을 구함으로써, 적절한 G(Q_p) 위의 함수를 통해 휘어진 궤도 적분을 표준 궤도 적분으로 대체함으로써 복원될 수 있음을 시사하지만, 경계 항과 L-불변성 문제 등은 여전히 과제로 남아 있다.