[논문 리뷰] EKOR strata for Shimura varieties with parahoric level structure

Xu Shen, Chia‐Fu Yu외 1명|arXiv (Cornell University)|2019. 10. 17.

Advanced Algebra and Geometry참고 문헌 59인용 수 8

한 줄 요약

이 논문은 $G$-지프와 국소 $\sigma$-층을 통해 정방형 수준 구조를 갖는 슈뮈라 다양체 위의 EKOR 계층에 대한 기하적 구성법을 제시하며, 그들의 미분 가능성, 차원 공식 및 폐쇄 관계를 확립한다. 이는 히-라포포르트 공리계가 Kisin-Pappas 정수 모델에 대해 성립함을 확인하며, EKOR 계층이 KR 계층을 더 세밀하게 분할하고 뉴턴 및 중심 계층과 관련이 있음을 보여주며, 이전에 군론적 방법으로만 구성된 것을 직접적인 기하적 실현으로 제공한다.

ABSTRACT

In this paper we study the geometry of reduction modulo $p$ of the Kisin-Pappas integral models for certain Shimura varieties of abelian type with parahoric level structure. We give some direct and geometric constructions for the EKOR strata on these Shimura varieties, using the theories of $G$-zips and mixed characteristic local $\mathcal{G}$-Shtukas. We establish several basic properties of these strata, including the smoothness, dimension formula, and closure relation. Moreover, we apply our results to the study of Newton strata and central leaves on these Shimura varieties.

연구 동기 및 목표

• 정방형 수준 구조를 갖는 슈뮈라 다양체 위의 EKOR 계층에 대해 순수 군론적 정의를 넘어서 직접적인 기하적 구성법을 제공하는 것.
• 정방형 수준 구조를 갖는 아벨 유형 슈뮈라 다양체의 Kisin-Pappas 정수 모델에 대해 히-라포포르트 공리계를 검증하는 것.
• EKOR 계층의 기하적 성질, 즉 미분 가능성, 차원 공식 및 폐쇄 관계를 확립하는 것.
• EKOR 계층이 뉴턴 계층 및 중심 계층과 어떻게 관련되어 있는지 밝혀내어, 슈뮈라 다양체의 mod $p$ 기하학에서의 역할을 명확히 하는 것.
• 혼합 특성수에서의 $G$-지프와 국소 $\sigma$-층 이론을 확장하여 정방형 수준 구조에서 EKOR 계층을 구성하고 분석하는 것.

제안 방법

• 혼합 특성수에서의 $G$-지프와 국소 $\sigma$-층 이론을 활용하여 슈뮈라 다양체의 특수 섬유 위에서 EKOR 계층을 기하적으로 구성하는 것.
• 정방형 수준 구조를 갖는 아벨 유형 슈뮈라 다양체의 Kisin-Pappas 정수 모델을 적용하며, 그들의 국소 모델 다이어그램을 활용하는 것.
• 정수환의 완비화 위에서의 $p$-나누어지는 군의 변형 이론과 크리스탈린 텐서를 활용하여 특수 섬유 위의 점들이 완비 DVR 위로의 올림과 관련지어지는 방법을 제시하는 것.
• 세르-테이트 정리를 활용하여 아벨 다양체의 올림이 $p$-나누어지는 군의 올림과 관련지어 모듈리 공간의 점을 구성하는 것.
• 맵 $\Upsilon_{\mathsf{K}}$와 $\Upsilon_{\mathsf{K}^\prime}$를 연결하는 교환도형을 구성하여 히-라포포르트 공리계의 공리 4(c)를 확인하는 것.
• 모듈리 공간 사이의 사상 $\pi_{\mathsf{K}^\prime,\mathsf{K}}$를 분석하여 유한한 섬유와 전성함을 입증함으로써, 계층화의 유한성과 기저 변경에 대한 호환성을 확립하는 것.

실험 결과

연구 질문

• RQ1 정방형 수준 구조를 갖는 슈뮈라 다양체 위의 EKOR 계층은 순수 군론적 방법을 넘어서 어떻게 기하적으로 구성할 수 있는가?
• RQ2 모듈로 $p$ 축소에서의 슈뮈라 다양체에서 EKOR 계층, 뉴턴 계층, 중심 계층 사이의 관계는 무엇인가?
• RQ3 Kisin-Pappas 정수 모델의 EKOR 계층은 히-라포포르트 공리계를 충족하는가, 특히 공리 4(c)는 성립하는가?
• RQ4 정방형 경우에서 EKOR 계층의 기하적 성질—예를 들어, 미분 가능성, 차원, 폐쇄 관계—는 무엇인가?
• RQ5 정방형 수준 구조의 맥락에서 EKOR 계층은 KR 계층을 어떻게 세밀하게 분할하는가?

주요 결과

• Kisin-Pappas 정수 모델의 특수 섬유 위의 EKOR 계층은 $G$-지프와 국소 $\sigma$-층을 활용한 기하적 방법을 통해 미분 가능하다는 것이 입증되었다.
• EKOR 계층의 차원 공식은 명시적으로 계산되었으며, 이는 기존의 EO 및 KR 계층 결과를 일반화한다.
• EKOR 계층의 폐쇄 관계는 브라우트-티츠 건물과 이와하라-베일 군의 작용을 통해 규명되었다.
• 모듈리 공간 사이의 사상 $\pi_{\mathsf{K}^\prime,\mathsf{K}}$는 유한한 섬유를 가지며 전사적임을 입증하여, 계층화의 유한성과 기저 변경에 대한 호환성을 확인하였다.
• 일반적인 정방형 수준 구조에서 EKOR 계층화는 KR 계층화를 더 세밀하게 분할하며, 특수 섬유의 더 세밀한 분해를 제공한다.
• 조건 $p > 2$, $K^\prime = K^{\prime\circ}$, $K = K^{\circ}$ 하에서, 캐논칼 라포포르트-지크 모델에 대해 히-라포포르트의 공리 4(c)가 확인되었으며, 이는 EKOR 이론의 기초 프레임워크를 검증하는 데 기여한다.