[논문 리뷰] On integral models of Shimura varieties

G. Pappas|arXiv (Cornell University)|2020. 03. 29.

Advanced Algebra and Geometry참고 문헌 35인용 수 4

한 줄 요약

이 논문은 수준 부분군이 파라호릭일 때 쇤마 다양체에 대한 표준 적분 모델을 정의하기 위해, 파라호릭 구조를 갖는 ${\mathcal{G}}$-디스플레이의 존재를 통해 '표준적' 모델을 정의함으로써, 파라호릭 수준에서의 쇤마 다양체에 대한 표준 적분 모델을 제안한다. 비록 조건 하에서 허용되는 경우, 파파스와 키신이 구성한 적분 모델이 표준적이고 선택에 의존하지 않음을 증명하며, 이는 ${\mathcal{G}}$-구조를 갖는 새로운 디스플레이 이론을 통해 이루어진다.

ABSTRACT

We show how to characterize integral models of Shimura varieties over places of the reflex field where the level subgroup is parahoric by formulating a definition of a "canonical" integral model. We then prove that in Hodge type cases and under a tameness hypothesis, the integral models constructed by the author and Kisin in previous work are canonical and, in particular, independent of choices. A main tool is a theory of displays with parahoric structure that we develop in this paper.

연구 동기 및 목표

• 수준 부분군이 파라호릭일 때, 쇤마 다양체에 대한 표준 적분 모델을 정의하는 것.
• 오랜 기간 동안의 문제인 적분 모델의 전반적 특성화 및 그 구성 선택에 대한 독립성 증명.
• 초특수 수준에서의 부드러운 경우에 한해 적용되던 '표준적' 모델 개념을 특이적이고 파라호릭인 경우로 확장하는 것.
• 비록 조건 하에서의 허용되는 경우, 허용되는 파라호릭 소수에서 허용되는 Hodge 유형 쇤마 다양체에 대해 파파스와 키신이 구성한 적분 모델이 표준적이고 선택에 의존하지 않음을 증명하는 것.
• 이러한 특성화를 위한 기초 도구로, $\mathbb{Z}_p$ 위의 재수성 군에 대해 ${\mathcal{G}}$-구조를 포함하는 디스플레이 이론을 개발하는 것.

제안 방법

• 수준 부분군에 대응하는 파라호릭 군 스킴 ${\mathcal{G}}$를 갖는 필터링된 프로베니우스 모듈, 즉 ${\mathcal{G}}$-디스플레이의 존재를 통해 표준 적분 모델을 정의한다.
• 적분 모델 위의 보편적 $p$-나누어지는 군을 구성하고, 그 딜란도 캐리스털을 사용하여 ${\rm GL}$-디스플레이를 정의한다.
• 딜란도 모듈의 프로베니우스 불변 텐서를 사용하여 특별한 섹션에서의 ${\mathcal{G}}$-터솔러스 구조를 $p$-진 완비화로 올린다.
• 딜란도 모듈과 고정된 격자 사이의 텐서의 동형사상들을 사용하여 쇤마 다양체의 형식 완비화 위에 ${\mathcal{G}}$-터솔러스를 구성한다.
• 국소 모델 다이어그램과 ${\mathcal{G}}$-등변성 조건을 사용하여, 적분 모델 위에서 ${\mathcal{G}}$-디스플레이의 구조를 정의한다.
• 딜란도 이론과 ${\mathcal{G}}$-디스플레이 사이의 사전을 적용하여 프로베니우스 구조를 올리고, 디스플레이 공리계를 검증한다.

실험 결과

연구 질문

• RQ1 파라호릭 수준에서, 부드러운 감소가 실패할 때, 쇤마 다양체에 대해 표준 적분 모델을 유일하게 특성화할 수 있는가?
• RQ2 파파스와 키신이 구성한 Hodge 유형 쇤마 다양체에 대해, 파라호릭 수준 구조를 갖는 적분 모델이 그 구성 과정에서의 선택에 의존하는가?
• RQ3 초특수 수준에서의 부드러운 경우에 한해 적용되던 '표준적' 모델 개념을 특이적이고 파라호릭인 경우로 확장할 수 있는가?
• RQ4 파라호릭 구조를 갖는 ${\mathcal{G}}$-디스플레이의 존재가 쇤마 다양체의 적분 모델을 유일하게 특성화하는가?
• RQ5 ${\mathcal{G}}$-구조를 포함하는 디스플레이 이론을 $\mathbb{Z}_p$ 위의 재수성 군으로 일반화할 수 있는가?

주요 결과

• 파파스와 키신이 파라호릭 수준 구조를 갖는 쇤마 다양체에 대해 구성한 적분 모델은 정의 7.1.3의 의미에서 표준적이다. 즉, 유일한 관련 $({\mathcal{G}},{\rm M}^{{\rm loc}})$-디스플레이를 지닌다.
• 이 모델들은 구성 과정에서의 선택에 독립적이다. 표준적 구조는 ${\mathcal{G}}$-디스플레이의 존재에 의해 유일하게 결정되기 때문이다.
• 모델의 형식 완비화 위에 국소적으로 보편적인 관련 체계가 존재함을 의미하며, 이는 $({\mathcal{G}},{\rm M}^{{\rm loc}})$-디스플레이의 존재를 암시한다.
• 모델 위의 보편적 $p$-나누어지는 군의 딜란도 캐리스털은 ${\rm GL}$-디스플레이를 유도하며, 텐서의 호환성에 의해 ${\mathcal{G}}$-디스플레이로 올라간다.
• ${\mathcal{G}}$-터솔러스 구조는 딜란도 모듈과 고정 격자 사이의 텐서의 동형사상들을 통해 형성되며, 국소 모델과의 호환성을 보장한다.
• 딜란도 모듈의 프로베니우스 구조는 잘 정의된 ${\mathcal{G}}$-등변 동형사상을 유도하며, 이는 디스플레이 구조를 완성하고 표준성 조건을 검증한다.