[논문 리뷰] Finite flat commutative group schemes over complete discrete valuation rings III: classification, tangent spaces, and semistable reduction of Abelian varieties

Mikhail V. Bondarko|ArXiv.org|2004. 12. 29.

Algebraic Geometry and Number Theory인용 수 3

한 줄 요약

이 논문은 카르티에 모듈을 사용하여 혼합 특성표수 완비 이산 평가환수 위의 유한 평탄 가환 군 스킴을 완전히 분류하고, 아벨 다양체의 준안정 및 일반적 근원에 대한 유한 $p$-진 기준을 수립한다. 이는 $K$ 위에서 준안정 근원임과, $ \mathfrak{O}_K$ 위의 군 스킴 $H$가 존재하여 $H_K$ 가 $\operatorname{Ker}[p^l]_{V,K}$ 에 임베딩되고 $T H_{\mathfrak{O}_L}$ 가 $(\mathfrak{O}_L/p^l \mathfrak{O}_L)^m$ 을 포함하는 것과 동치임을 증명한다. 일반적 근원에 대해서도 유사한 기준이 성립한다.

ABSTRACT

We classify group schemes in terms of their Cartier modules. We also prove the equivalence of different definitions of the tangent space and the dimension for these group schemes; in particular, the minimal dimension of a formal group law that contains $S$ as a closed subgroup is equal to the minimal number of generators for the affine algebra of $S$. As an application the following reduction criteria for Abelian varieties are proved. Let $K$ be a mixed characteristic local field, let its residue field have characteristic $p$, $L$ be a finite extension of $K$, let $\mathfrak{O}_K\subset\mathfrak{O}_L$ be their rings of integers. Let $e$ be the absolute ramification index of $L$, $s=[\log_p(pe/(p-1))]$, $e_0$ be the ramification index of $L/K$, $l=2s+v_p(e_0)+1$. For a finite flat commutative $\mathfrak{O}_L$-group scheme $H$ we denote the $\mathfrak{O}_L$-dual of the module $J/J^2$ by $TH$. Here $J$ is the augmentation ideal of the affine algebra of $H$. Let $V$ be an $m$-dimensional Abelian variety over $K$. Suppose that $V$ has semistable reduction over $L$. \begin{theor} $V$ has semistable reduction over $K$ if and only if for some group scheme $H$ over $\mathfrak{O}_K$ there exist embeddings of $H_K$ into $\operatorname{Ker}[p^{l}]_{V,K}$, and of $(\mathfrak{O}_L/p^l\mathfrak{O}_L)^m$ into $TH_\ol$. \end{theor} This criterion has a very nice-looking version in the ordinary reduction case. \begin{theor} $V$ has ordinary reduction over $K$ if and only if for some $H_K\subset \operatorname{Ker}[p^{l}]_{V,K}$ and $M$ unramified over $K$ we have $H_M\cong (μ_{p^{l},M})^m$. Here $μ$ denotes the group scheme of roots of unity.\end{theor}

연구 동기 및 목표

• 혼합 특성표수 완비 이산 평가환수 위의 유한 국소 평탄 가환 군 스킴을 카르티에 모듈을 사용하여 완전히 분류하는 것.
• 그러한 군 스킴에 대해 접선 공간과 차원의 다양한 정의 간의 동치성을 확립하는 것.
• 국소 체 위의 아벨 다양체에 대한 준안정 및 일반적 근원에 대한 유한 $p$-진 기준을 도출하는 것.
• 이전 결과를 일반화하여 잔여체가 완전한 경우나 군 스킴의 평탄성 조건에 대한 제약 없이 일반화하는 것.
• 카르티에 모듈 분류가 갈루아-안정적임을 보여, 내림내림 증명을 가능하게 하는 것.

제안 방법

• 군 스킴를 그 카르티에 모듈로 보내는 오르트 함자( functor )를 통해 분류를 달성하며, 임의의 국소 군 스킴에 대해 그 상의 명시적 기술을 제공한다.
• 접선 공간 $TH$ 는 군 스킴 $H$ 의 좌표환의 증강 이상 $J$ 에 대해 $J/J^2$ 의 $\mathfrak{O}_L$-쌍대이며, 이는 다른 표준 정의들(차원 및 접선 공간)과 일치함을 보인다.
• 논문은 아벨 다양체의 $p$- torsion 부분군과 그 네론 모델의 구조를 이용하여 군 스킴의 임베딩과 근원 유형 간의 관계를 규명한다.
• 핵심 불변량으로서 분비 지수 $e$, 정수 $s = [\log_p(pe/(p-1))$, 그리고 $l = 2s + v_p(e_0) + 1$ 이 사용되며, 이는 기준에 필요한 $p^l$- torsion 수준을 정의한다.
• 증명은 형식군의 성질, 쌍대성, 이산 평가환수 위의 $p$-분해 가능 군의 구조에 기반한다.
• 기준은 일반화된 섬유의 $p$-torsion 부분군 스킴과 그 접선 공간을 분석함으로써, 내림내림 및 기본 변경 기법을 사용하여 도출된다.

실험 결과

연구 질문

• RQ1 혼합 특성표수 완비 이산 평가환수 위의 유한 평탄 가환 군 스킴는 어떻게 카르티에 모듈을 통해 완전히 분류할 수 있는가?
• RQ2 유한 평탄 군 스킴의 접선 공간과 그 차원, 최소 형식군법칙에 의한 포함관계 사이의 정확한 관계는 무엇인가?
• RQ3 국소 체 $K$ 의 유한 확대 $L$ 에서 준안정 근원을 갖는 아벨 다양체가 $K$ 에서도 준안정 근원을 갖는 조건은 무엇인가?
• RQ4 국소 체 $K$ 위의 아벨 다양체에 대해, $p^l$- torsion 부분군과 그 접선 공간에 대한 어떤 유한 $p$-진 조건이 일반적 근원을 암시하는가?
• RQ5 카르티에 모듈 분류가 기존 분류(예: 브뤼엘의 분류)와 비교할 때 일반성과 갈루아-안정성 측면에서 어떻게 다른가?

주요 결과

• 논문은 카르티에 모듈을 통해 혼합 특성표수 완비 이산 평가환수 위의 유한 국소 평탄 가환 군 스킴를 완전히 분류하며, 추가적인 평탄성 가정 없이도 모든 군 스킴에 대해 성립한다.
• 주어진 국소 군 스킴 $S$ 를 닫힌 부분군으로 포함하는 형식군의 최소 차원은 $S$ 의 좌표환의 생성자 수의 최소값과 일치하며, 이는 군 스킴의 구조와 형식군 이론 사이의 핵심 연결 고리를 확립한다.
• 차원이 $m$ 인 아벨 다양체 $V$ 가 $K$ 위에서 준안정 근원을 갖는 것은, $ \mathfrak{O}_K$ 위의 유한 평탄 군 스킴 $H$ 가 존재하여 $H_K$ 가 $\operatorname{Ker}[p^l]_{V,K}$ 에 임베딩되고 $T H_{\mathfrak{O}_L}$ 가 $(\mathfrak{O}_L/p^l \mathfrak{O}_L)^m$ 을 포함하는 것과 동치이다. 여기서 $l = 2s + v_p(e_0) + 1$, $s = [\log_p(pe/(p-1))]$ 이다.
• 일반적 근원의 경우, $V$ 가 $K$ 에서 좋은 일반적 근원을 갖는 것, $ \mathfrak{O}_K$ 위의 곱형 군 스킴 $H$ 가 존재하여 $T H_{\mathfrak{O}_L} \cong (\mathfrak{O}_L/p^{l'} \mathfrak{O}_L)^m$ 이고 $H_K \subset \operatorname{Ker}[p^{l'}]_{V,K}$ 를 만족하며, 어떤 분비가 없는 확대 $M$ 에 대해 $H_M \cong (\mu_{p^{l'},M})^m$ 이 되는 것, 이 세 조건이 서로 동치임을 보인다. 여기서 $l' = s + v_p(e_0) + 1$ 이다.
• 카르티에 모듈 접근법은 갈루아-안정적이며, 내림내림 증명을 가능하게 하며, 이전 분류에서 볼 수 있었던 잔여체가 완전한 경우에 국한되는 제약을 피한다.
• 기준은 유한한 성격을 지닌다: $p^l$- torsion 부분군 스킴과 그 접선 공간에만 의존하며, 그로테인드의 기준을 일반화하여 전체 $p$- torsion 이 아닌 유한한 정보만 요구한다.