[논문 리뷰] A toroidal resolution for the bad reduction of some Shimura varieties

Alain Genestier|ArXiv.org|1999. 12. 07.

Advanced Algebra and Geometry인용 수 5

한 줄 요약

이 논문은 unitary 및 symplectic 유형의 슈비라 다양체에서 소수 p에서의 악성 균형에 대해 Lafforgue의 PGL_r^{N+1}/PGL_r에 대한 콪팩티피케이션과 Faltings의 행렬 특이점에 대한 감소 원리를 사용하여 표준적인 로그-매끄러운 토리컬 해석을 구성한다. 주요 기여는 로그-매끄러움을 보장하고 Z_p[p^{1/ν}] 위에서 비표준적인 준안정 해석을 구성할 수 있도록 보장하는 체계적인 해석 방법이다.

ABSTRACT

Borrowing a reduction principle to a recent preprint of G. Faltings (toroidal resolution of some matrix singularities, 1999), we use Lafforgue's compactification of PGL_r^{N+1}/PGL_r to construct a canonical log-smooth toroidal resolution for the bad reduction in a prime p of Shimura varieties of unitary and symplectic type with parahoric level structures at p. Using this result, non-canonical semi-stable resolutions over Z_p[p^{1/ν}] can be derived.

연구 동기 및 목표

• 단순한 보행 구조를 가진 unitary 및 symplectic 유형의 슈비라 다양체에서 소수 p에서의 악성 균형을 해결하기.
• 고급 기하 기법을 사용하여 이러한 악성 균형에 대해 표준적인 로그-매끄러운 토리컬 해석을 구성하기.
• Faltings의 최신 행렬 특이점의 토리컬 해석 작업을 슈비라 다양체의 산술적 설정에 적용하기.
• 표준 해석에서 유도된 비표준 준안정 해석을 Z_p[p^{1/ν}] 위에서 유도하기.
• 이러한 다양체의 p-진 균형화에서 발생하는 특이점들을 이해하기 위한 체계적인 프레임워크 제공하기.

제안 방법

• Schwartz의 PGL_r^{N+1}/PGL_r에 대한 Lafforgue의 콱팩티피케이션을 활용하여 슈비라 다양체의 전역 기하 모델을 구성한다.
• G. Faltings의 행렬 특이점의 토리컬 해석에 대한 감소 원리를 산술적 설정에 적용한다.
• 로그-매끄러움 이론과 토리컬 임bedding 이론을 사용하여 형식 스킴 수준에서 해석이 표준적이고 잘 행동함을 보장한다.
• 원래 슈비라 다양체가 p에서의 열화 유형을 분석하여 해석에 로그-매끄러운 구조를 구성한다.
• Z_p[p^{1/ν}]로의 기본 변경을 통해 비표준 준안정 해석을 도출하여 표준 해석을 더 민첩한 설정으로 확장한다.
• 대부분의 스택 이론과 파라호리 레벨 구조를 활용하여 해석 과정에서 군 이론적 자료를 제어한다.

실험 결과

연구 질문

• RQ1 소수 p에서 unitary 및 symplectic 유형의 슈비라 다양체의 악성 균형에 대해 표준적인 로그-매끄러운 토리컬 해석을 구성할 수 있는가?
• RQ2 Faltings의 행렬 특이점 해석 방법을 산술적 슈비라 다양체의 맥락에 어떻게 적응시킬 수 있는가?
• RQ3 이러한 슈비라 다양체의 p에서의 특이 섬유의 구조는 어떠한가? 그리고 체계적으로 해소할 수 있는가?
• RQ4 표준 해석은 Z_p[p^{1/ν}] 위에서 비표준 준안정 모델로 얼마나 넓게 확장될 수 있는가?
• RQ5 Lafforgue의 콱팩티피케이션은 악성 균형의 전역 해석을 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• parahoric 레벨 구조를 가진 unitary 및 symplectic 유형의 슈비라 다양체에서 소수 p에서의 악성 균형에 대해 표준적인 로그-매끄러운 토리컬 해석이 존재한다.
• 이 해석은 Lafforgue의 PGL_r^{N+1}/PGL_r에 대한 콱팩티피케이션과 Faltings의 행렬 특이점에 대한 감소 원리를 통해 구성된다.
• 해석은 로그-매끄럽기 때문에 p-진 설정에서 양호한 기하학적 및 산술적 성질을 보장한다.
• 비표준 준안정 해석은 Z_p[p^{1/ν}] 위에서 표준 해석에서 도출되며, 그 적용 범위를 확장한다.
• 이 방법은 산술적 슈비라 다양체의 최소 모델 프로그램에서 특이점을 해소하기 위한 체계적인 프레임워크를 제공한다.
• 이러한 구성은 unitary 및 symplectic 유형의 슈비라 다양체 모두에 대해 유효하며, 나쁜 소수에서의 해석 이론을 통합한다.