[論文レビュー] Kato's conductor and generic residual perfection

James Borger|ArXiv.org|Dec 29, 2001

Advanced Topics in Algebra参考文献 5被引用数 3

ひとこと要約

本稿は、不完全な残渣体をもつ完備離散付値環上のランク1のガロア表現の非対数的 Kato-Artin の導分が、環の一般的残渣完全化への引き戻しにおいても変わらぬことを確立する。主な結果は、この底変換の下で導分が不変であることを示しており、一般化された Kato の導分理論を非アーベル的状況へと拡張する。

ABSTRACT

Let A be a complete discrete valuation ring with possibly imperfect residue field, and let $χ$ be a one-dimensional Galois representation over A. I show that the non-logarithmic variant of Kato's Swan conductor is the same for $χ$ and the pullback of $χ$ to the generic residual perfection of A. This implies the conductor from "Conductors and the moduli of residual perfection" (math.NT/0112305) extends the non-logarithmic variant of Kato's.

研究の動機と目的

• 完備離散付値環に倣う不完全な残渣体を持つガロア表現における Kato の導分理論を拡張すること。
• 非対数的 Kato-Artin 導分が、環の一般的残渣完全化への引き戻しにおいても保存されることを示すこと。
• 1次元の場合における一般アーベル導分と Kato の導分との整合性を確立すること。
• Kato の精密スワン導分と一般的残渣完全化構成との間の基礎的リンクを提供すること。

提案手法

• 底変換におけるコホロジー的性質を分析するために、Kato の精密スワン導分理論と K-理論的記号を用いる。
• 等値特徴の場合に、Matsuda による Kato の精密スワン導分の改良を基礎的分析に適用する。
• 一般的残渣完全化への引き戻しにおける K-理論的記号の振る舞いを記述する可換図式を用いる。
• 一般的残渣完全化からのガロア群の写像が全射であることに依存する。
• ヘンゼル化および局所化の普遍性を利用して、関連する環とその完備化の間の写像を構成する。
• 混合特徴の場合に、フィルトレーション技法を用いて特定のコホロジー類の非消滅性を分析する。

実験結果

リサーチクエスチョン

• RQ1 非対数的 Kato-Artin 導分は、離散付値環の一般的残渣完全化への底変換においても不変であるか？
• RQ2 Kato の精密スワン導分の振る舞いは、一般的残渣完全化構成とどのように関係するか？
• RQ3 不完全な残渣体の設定において、1次元表現の一般アーベル導分が Kato の非対数的導分と一致することを示せるか？
• RQ4 K-理論的記号は、一般的残渣完全化の下での導分不変性を制御する役割を果たすか？

主な発見

• 非対数的 Kato-Artin 導分は、一般的残渣完全化への引き戻しにおいても保存され、すなわち $\mathrm{ar_{\scriptscriptstyle K}}(\chi) = \mathrm{ar_{\scriptscriptstyle K}}(\chi')$ が成り立つ（$\chi'$ は $\chi$ の引き戻し）。
• 等値特徴の場合、この結果は Matsuda による Kato の精密スワン導分の改良および底変換における微分形式の振る舞いに基づく。
• 混合特徴の場合、K-理論的記号とフィルトレーション構造を用いてコホロジー類の非消滅性を分析することで不変性が証明される。
• 導分 $\mathrm{ar_{\scriptscriptstyle K}}(\chi)$ は $n$ または $n+1$ であり、ここで $n = \mathrm{sw_{\scriptscriptstyle K}}(\chi)$ であり、この値は $A^\mathrm{g}$ への底変換においても保存される。
• 1次元表現における一般アーベル導分 $\mathrm{ar}(\rho)$ は $\mathrm{ar_{\scriptscriptstyle K}}(\chi)$ と一致し、両者の導分理論の整合性が確認される。