[論文レビュー] Sekiguchi-Suwa theory revisited

Matthieu Romagny, Dajano Tossici|arXiv (Cornell University)|Jan 1, 2013

Algebraic Geometry and Number Theory参考文献 8被引用数 2

ひとこと要約

本稿は、p- torsion 群スキームの Kummer 理論と Artin-Schreier-Witt 理論を統一する Sekiguchi-Suwa 理論を再考し、一般化する。Z(p)-代数上での切り捨てられた変形された Artin-Hasse の指数関数とウィットベクトル理論を用いて、任意の Z(p)-代数上でのフレーム付き・フィルター付き群スキームの族を構成し、それらが μ_{p^n} のすべてのモデルをパラメトライズすることを証明する。これにより、その同型写像と核の幾何的・関手的枠組みが得られる。主な貢献は定理 5.2.7 であり、パrameter に対する明示的な代数的条件によって、有限平坦 Kummer 群スキームを分類する。

ABSTRACT

We present an account of the construction by S. Sekiguchi and N. Suwa of a cyclic isogeny of affine smooth group schemes unifying the Kummer and Artin-Schreier-Witt isogenies. We complete the construction over an arbitrary base ring. We extend the statements of some results in a form adapted to a further investigation of the models of the group schemes of roots of unity.

研究の動機と目的

• 離散付値環に限らない任意の Z(p)-代数へ Sekiguchi-Suwa 理論を一般化し、その構成の幾何的・関手的取り扱いを可能にする。
• [SS2] の未発表の基礎的結果を、詳細な証明と誤植訂正を加えて完成・検証する。
• 定理 4.3.8 で確立されたように、Z(p) 上の有限型のパラメータ空間を構成することで、群スキーム μ_{p^n} のすべてのモデルを分類する。
• フレーム付き群スキーム、基本的準同型、Kummer部分群といった重要な概念を導入・形式化し、より明確な解説とさらなる研究を可能にする。
• 複雑な帰納的構成をアルゴリズム的かつ計算可能に提示し、冗長な計算よりも構造に焦点を当てる。

提案手法

• ウィットベクトル上のべき級数を用いて、変形された Artin-Hasse の指数関数によって定義される普遍的対象を通じて、フレーム付き形式群を構成する。
• 形式群対象をレベル n で切り捨てることで、基底環上の有限生成構造を保つ代数群スキームを得る。
• アフィン直線上のウィットベクトル理論およびその形式的近似を用いて、群スキームの変形パラメータをモデル化する。
• 切り捨てられたべき級数からの明示的な多項式上昇を用いて、普遍的性質を通じてフレーム付き群スキームを定義・分析する。
• 各段階がウィット多項式とフロベニウス作用の再帰的関係によって定義される計算可能な帰納的アルゴリズムを適用し、群スキームを段階的に構築する。
• 定義される準同型のヤコビアンを分析し、形式群理論を用いて、得られた群スキームの平坦性と滑らかさを検証する。

実験結果

リサーチクエスチョン

• RQ1 Sekiguchi-Suwa 同型写像の構成を、離散付値環に限らず任意の Z(p)-代数へ一般化する方法は何か？
• RQ2 この統一的枠組みにおいて、循環的同型写像の核として実現可能な μ_{p^n} の完全なモデル族は何か？
• RQ3 形式群の構成をどのように切り捨てれば、滑らかさと平坦性を保ちつつ代数群スキームが得られるか？
• RQ4 これらのフレーム付き群スキームを分類するパラメータ空間の幾何的構造は何か？ また、Z(p) 上の有限型スキームとどのように関係しているか？
• RQ5 フレーム付き群スキームが有限平坦 Kummer 群スキームであるための正確な代数的条件は何か？

主な発見

• 切り捨てられた変形された Artin-Hasse の指数関数によるフレーム付き群スキームの構成は、任意の Z(p)-代数上での滑らかでアフィンな群スキームの族を生じ、元の Sekiguchi-Suwa の設定を一般化する。
• これらのフレーム付き群スキームのパラメータ空間は、定理 4.3.8 で示されるように、Z(p) 上の有限型スキームの可算個の合併である。
• 理論により、μ_{p^n} のすべてのモデルが循環的同型写像の核として完全に分類され、定理 5.2.7 がパラメータに対する明示的な代数的条件を提供する。
• 本稿は、未発表のプレプリント [SS2] の修正・詳細化されたバージョンを提供し、誤植 39 件と表記・定義に関する明確化を含む。
• 形式群の構成がアルゴリズム的かつ計算可能であることが示され、各ステップがウィット多項式とフロベニウス写像を含む再帰的関係によって定義される。
• 幾何的・関手的枠組みにより、同型写像の核が有限平坦群スキームであることは、変形パラメータに関する特定の多項式的条件が満たされる場合に限り成り立つことが明らかになる。