[논문 리뷰] Moduli of abelian varieties and p-divisible groups

Ching-Li Chai, Frans J. Oort|ArXiv.org|2007. 01. 17.

Algebraic Geometry and Number Theory참고 문헌 67인용 수 11

한 줄 요약

이 논문은 유한체 위의 분할된 아벨 다양체의 모듈리 공간에서 일반적인 헤크 오비트의 밀도를 확립하고, $p$-나누어지지 않는 군의 변형에 관한 그로텐디크의 추측을 증명한다. 세르-테이트 이론, 디외드뇌 모듈러 이론, 뉴턴 다각형 분할을 사용하여, 헤크 오비트가 그 뉴턴 다각형 분할 내에서 밀도가 있음을 보이며, 주요 도구로 $p$-진 호지 이론과 양의 특성에서의 변형 이론을 활용한다.

ABSTRACT

Lecture notes at a conference on Arithmetic Geometry, Goettingen, July/August 2006: Density of ordinary Hecke orbits and a conjecture by Grothendieck on deformations of p-divisible groups.

연구 동기 및 목표

• 모듈리 공간 $\mathcal{A}_{g,1,n} \otimes \mathbb{F}_p$ 에서 일반적인 헤크 오비트의 밀도를 확립하여, 양의 특성에서 아벨 다양체의 산술기하학에서 핵심적인 질문을 해결한다.
• 모듈리 공간의 국소적 구조에 대한 기초적인 통찰을 제공하는, $p$-나누어지지 않는 군의 변형 함자의 프로표현 가능성에 관한 그로텐디크의 추측을 증명한다.
• 특히 $p$-진 및 $\ell$-진 모노드로미, 디외드뇌 모듈러, 카르티에 모듈러 등의 기법이, 분석적 방법이 실패할 때조차도 모듈리 공간을 연구하는 데 강력한 도구가 됨을 보여준다.
• 헤크 오비트, 중심 리브, 이소지 리브 간의 관계를 뉴턴 다각형 분할 안에서 명확히 하여, 헤크-$\alpha$ 작용이 초특이 다양체의 기하적 연결 성분 위에서 추이적으로 작용함을 보인다.
• 특수점에서의 형식적 완비화의 좌표에 대한 기하학적 해석을 제공하며, 형식 스킴 $\mathop{\mathrm{Spf}}(B_{\xi})$ 와 $B_{(\xi;\xi^*)}$ 를 구성함으로써 이를 실현한다.

제안 방법

• 세르-테이트 이론을 활용하여 아벨 다양체의 변형과 그 $p$-나누어지지 않는 군의 변형을 연결함으로써, 산술기하학과 $p$-진 기하학 사이의 다리를 놓는다.
• 디외드뇌 모듈러 이론과 카르티에 모듈러 이론을 적용하여 $p$-나누어지지 않는 군을 분석하고, 그 변형 함자와 뉴턴 다각형 분할을 연구할 수 있도록 한다.
• 카일리-헤밀턴 추측과 약한 그로텐디크 추측을 사용하여, 엔도모르피즘 대수의 구조와 그가 $p$-나누어지지 않는 군 위에 작용하는 방식을 분석한다.
• 히르베르트 모듈러 다양체를 중심 예로 삼아, 헤크 오비트의 행동과 뉴턴 다각형 분할 내에서의 밀도를 설명한다.
• GAGA 유형 정리(쇼-그로텐디크)를 적용하여 형식적 변형을 대수화하고, 변형 함자의 프로표현성을 증명한다.
• 형식 스킴 $\mathop{\mathrm{Spf}}(B_{\xi})$ 와 $B_{(\xi;\xi^*)}$ 를 도입하여, 뉴턴 다각형 분할의 형식적 완비화 내 국소 좌표를 매개화하며, $B_{(\xi;\xi^*)}$ 는 $k$ 위의 변수들에 대한 멱급수환으로 정의된다. 이 변수들은 $\triangle(\xi;\xi^*)$ 에 의해 색인된다.

실험 결과

연구 질문

• RQ1 모듈리 공간 $\mathcal{A}_{g,1,n} \otimes \mathbb{F}_p$ 에서 $\mathbb{Q}$-이소지에 의한 작용 하에 일반적인 헤크 오비트는 밀도가 있는가?
• RQ2 $p$-나누어지지 않는 군의 변형 함자가 그로텐디크의 추측처럼 프로표현 가능성을 갖는가?
• RQ3 헤크 오비트의 클로처는 뉴턴 다각형 분할의 합집합으로 기술될 수 있으며, 중심 리브와 이소지 리브는 이와 어떻게 관련되는가?
• RQ4 특수점에서의 형식적 완비화 $({\cal W}_{\xi}({\cal A}_{g,1,n}))^{\wedge x}$ 의 좌표에 기하학적 의미는 무엇이며, 특히 부분환 $B_{(\xi;\xi^*)}$ 와의 관계는 무엇인가?
• RQ5 $\triangle(\xi;\xi^*) \subset \triangle(\xi)$ 의 포함관계가 $({\cal C}(x))^{\wedge x} \subset ({\cal W}_{\xi}({\cal A}_{g,1,n}))^{\wedge x}$ 를 유도하는가? 이는 중심 리브의 구조에 대해 어떤 의미를 갖는가?

주요 결과

• 일반적인 헤크 오비트는 그 뉴턴 다각형 분할 내에서 밀도가 있으며, 오비트의 클로처는 전체 분할과 일치한다. 이는 초특이 다양체에서의 헤크-$\alpha$ 작용의 추이성에 의해 보여진다.
• 그로텐디크의 $p$-나누어지지 않는 군의 변형 함자의 프로표현 가능성에 관한 추측은 증명되었으며, 대수화를 통해 균형 잡힌 아벨 스킴이 $\mathrm{Spec}(R)$ 위에서 유일한 변형으로 실현된다.
• $\mathcal{A}_{g,1,n} \otimes K$ 는 임의의 양의 특성 $p > 0$ 을 갖는 체 $K$ 에 대해 기하학적으로 기약이다. 이 결과는 $p$-진 방법을 통해 확립되었으며, 팔링스와 차이에 의해 확인되었다.
• 특수점 $x$ 에서의 모듈리 공간의 형식적 완비화는 $\mathop{\mathrm{Spf}}(B_{\xi})$ 로 주어진 좌표계를 갖는다. 여기서 $B_{\xi} = k[[Z_{x,y} \mid (x,y) \in \triangle(\xi)]]$ 이며, $B_{(\xi;\xi^*)}$ 는 중심 리브의 부분다양체에 대응한다.
• $\triangle(\xi;\xi^*) \subset \triangle(\xi)$ 의 포함관계는 닫힌 매립사상 $\mathop{\mathrm{Spf}}(B_{(\xi;\xi^*)}) \to \mathop{\mathrm{Spf}}(B_{\xi})$ 를 유도하며, 이는 뉴턴 다각형 분할 내 좌표의 기하학적 해석을 시사한다.
• 일반적인 점의 중심 리브는 전체 열린 뉴턴 다각형 분할이며, 초특이 점의 경우 중심 리브는 유한하며, 이소지 리브는 전체 초특이 다양체이다. 이는 헤크 오비트의 밀도를 설명하는 데 기여한다.