[논문 리뷰] On the stable reduction of modular curves

Jared Weinstein|arXiv (Cornell University)|2010. 10. 20.

Algebraic Geometry and Number Theory인용 수 1

한 줄 요약

이 논문은 브랜치된 확장 $\mathbf{Z}_p$ 위에서 모듈라 곡선 $X(Np^m)$에 대한 준안정 정수 모델을 구축하며, Lubin-Tate 곡선을 통한 초특이점의 준안정 커버링을 사용한다. 주요 기여는 무한수준의 Lubin-Tate 공간이 페르펙토이드 공간임을 보이고, 이는 유한수준의 대응체에 비해 그 구조를 단순화시키며, 비아벨리안 Lubin-Tate 이론과 Bushnell-Kutzko 유형 간의 연결을 맺는 것이다.

ABSTRACT

We produce an integral model for the modular curve $X(Np^m)$ over the ring of integers of a sufficiently ramified extension of $\mathbf{Z}_p$ whose special fiber is a {\em semistable curve} in the sense that its only singularities are normal crossings. This is done by constructing a semistable covering (in the sense of Coleman) of the supersingular part of $X(Np^m)$, which is a union of copies of a Lubin-Tate curve. In doing so we tie together nonabelian Lubin-Tate theory to the representation-theoretic point of view afforded by Bushnell-Kutzko types. For our analysis it was essential to work with the Lubin-Tate curve not at level $p^m$ but rather at infinite level. We show that the infinite-level Lubin-Tate space (in arbitrary dimension, over an arbitrary nonarchimedean local field) has the structure of a perfectoid space, which is in many ways simpler than the Lubin-Tate spaces of finite level.

연구 동기 및 목표

• 충분히 브랜치된 $\mathbf{Z}_p$의 확장 위에서 모듈라 곡선 $X(Np^m)$에 대한 안정 정수 모델을 구축하는 것.
• 이 모델의 특수 섹션(특수 곡선)이 정규 교차 특이점만을 가지는 준안정임을 보장하는 것.
• 준안정 커버링을 통한 비아벨리안 Lubin-Tate 이론과 Bushnell-Kutzko 유형의 표현론적 프레임워크를 통합하는 것.
• 무한수준의 Lubin-Tate 공간을 분석하고, 임의의 비아르키메데스 현지체 위에서 임의의 차원에서 그 구조가 페르펙토이드 공간임을 증명하는 것.

제안 방법

• Lubin-Tate 곡선의 복수를 사용하여 $X(Np^m)$의 초특이점의 준안정 커버링을 구성하는 것.
• 기하학적 및 산술적 구조를 단순화하기 위해 유한수준 근사치가 아닌 무한수준의 Lubin-Tate 공간을 사용하는 것.
• 페르펙토이드 공간 이론을 활용하여 무한수준의 Lubin-Tate 공간이 페르펙토이드 구조를 가짐을 보이는 것.
• 무한수준 공간에서의 작용을 분석함으로써 비아벨리안 Lubin-Tate 이론과 Bushnell-Kutzko 유형 간의 연결을 수립하는 것.
• Coleman의 준안정 커버링 개념을 사용하여 모듈라 곡선의 특수 섹션의 특이점을 제어하는 것.
• 무한수준에서의 Lubin-Tate 곡선의 기하학을 활용하여 초특이점 근처에서 모듈라 곡선의 국소 구조를 모델링하는 것.

실험 결과

연구 질문

• RQ1 어떻게 브랜치된 확장 $\mathbf{Z}_p$ 위에서 모듈라 곡선 $X(Np^m)$에 대한 준안정 정수 모델을 구축할 수 있는가?
• RQ2 비아르키메데스 현지체 위에서 임의의 차원에서 무한수준의 Lubin-Tate 공간의 기하학적 및 산술적 구조는 어떻게 되는가?
• RQ3 무한수준의 Lubin-Tate 공간은 표현론적 프레임워크인 Bushnell-Kutzko 유형과 어떻게 관련이 있는가?
• RQ4 무한수준의 Lubin-Tate 공간은 페르펙토이드 구조를 지닐 수 있으며, 이는 어떻게 기존의 유한수준 버전과 비교해 분석을 단순화하는가?
• RQ5 초특이점의 준안정 커버링은 $X(Np^m)$의 특수 섹션을 준안정으로 만드는 데 어떤 역할을 하는가?

주요 결과

• 모듈라 곡선 $X(Np^m)$는 충분히 브랜치된 $\mathbf{Z}_p$의 확장 위에 존재하는 정수 모델을 가지며, 그 특수 섹션은 정규 교차 특이점만을 가지는 준안정이다.
• $X(Np^m)$의 초특이점의 국소는 Lubin-Tate 곡선의 복수로 커버되며, 이는 Coleman의 의미에서 준안정 커버링을 이룬다.
• 임의의 비아르키메데스 현지체 위에서 임의의 차원에서 무한수준의 Lubin-Tate 공간은 페르펙토이드 공간이다.
• 무한수준의 Lubin-Tate 공간의 페르펙토이드 구조는 기존의 유한수준 Lubin-Tate 공간에 비해 그 기하학적 및 산술적 구조를 단순화시킨다.
• 무한수준 공간의 분석을 통해 비아벨리안 Lubin-Tate 이론과 Bushnell-Kutzko 유형 사이에 깊은 연결이 수립된다.
• 이 구축 과정은 무한수준의 Lubin-Tate 공간이 모듈라 곡선의 안정 환원을 연구하는 데 자연스럽고 간단한 프레임워크를 제공함을 드러낸다.