[論文レビュー] The Relative Canonical Ideal of the Artin-Schreier-Kummer-Witt family of curves

Hara Charalambous, Kostas Karagiannis+1 more|arXiv (Cornell University)|May 14, 2019

Algebraic Geometry and Number Theory参考文献 20被引用数 5

ひとこと要約

本稿は、混合特徴値の離散付値環上におけるArtin-Schreier-Kummer-Witt曲線族の相対 canonical 理想の明示的生成集合を、相対版 Petri の定理と Bertin-Mézard モデルを用いて確立する。主な貢献は、Petri の条件を満たす曲線に適用可能な、生成のための組合せ的基準であり、Gröbner 基底技法と特異・一般特異化の両方のファイバーとの整合性を用いて証明される。

ABSTRACT

We study the canonical model of the Artin-Schreier-Kummer-Witt flat family of curves over a ring of mixed characteristic. We first prove the relative version of a classical theorem by Petri, then use the model proposed by Bertin-Mézard to construct an explicit generating set for the relative canonical ideal. As a byproduct, we obtain a combinatorial criterion for a set to generate the canonical ideal, applicable to any curve satisfying the assumptions of Petri's theorem.

研究の動機と目的

• 混合特徴値の離散付値環上での相対的設定における Petri の古典的定理の拡張。
• Artin-Schreier-Kummer-Witt 曲線族の相対 canonical 理想の明示的生成集合の構成。
• Petri の定理の仮定を満たす曲線に適用可能な、理想生成のための組合せ的基準の提供。
• 還元と基底変換を用いて、生成集合が特異化ファイバー（特徴値 p）および一般ファイバー（特徴値 0）の両方と整合することの検証。

提案手法

• 混合特徴値の離散付値環上の曲線に対して、相対版 Petri の定理を証明する。
• Bertin-Mézard モデルを用いて、曲線およびその相対微分形式の明示的アフィン表現を定義する。
• 単項式の次数および指数に関する組合せ的条件に基づき、二つの二項式集合 $ G_1^{ extbf{c}} $ と $ G_2^{ extbf{c}} $ を構成する。
• Nakayama 型の基準を適用して、理想が $ G_1^{ extbf{c}} igcup G_2^{ extbf{c}} $ で生成されることを確認する。
• 単項式順序を用いた Gröbナ基底技法を適用し、初期理想を分析し、一般ファイバーおよび特異ファイバーにおける次元を比較する。
• 還元 modulo $ rak{p} $ を通じて特異ファイバー（特徴値 p）および分数体への基底変換を通じて一般ファイバー（特徴値 0）との整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 Petri の定理は、混合特徴値の離散付値環上の相対的設定に一般化可能か？
• RQ2 Artin-Schreier-Kummer-Witt 曲線族の相対 canonical 理想に対して、明示的な生成集合は存在するか？
• RQ3 Bertin-Mézard モデルは、相対的状況でのこのような生成集合の構成にどのように利用可能か？
• RQ4 どのような組合せ的条件が、この文脈における二項式の集合が canonical 理想を生成することを保証するか？
• RQ5 生成集合は、一般ファイバーへの基底変換および特異ファイバーへの還元においても有効であるか？

主な発見

• Theorem 31 で示されるように、相対 canonical 理想 $ I_{ extsc{X}} $ は、$ G_1^{ extbf{c}} igcup G_2^{ extbf{c}} $ の和集合によって生成される。
• 集合 $ G_2^{ extbf{c}} $ は最大イデアルを法として特異ファイバーの canonical 理想に還元され、すなわち $ G_2^{ extbf{c}} igotimes_R k = G_2^{ar{ extbf{c}}} $ である。
• 一般ファイバーにおける $ G_1^{ extbf{c}} igcup G_2^{ extbf{c}} $ の初期理想は、$ ext{dim}_L(S / ext{in}_ ext{prec}(G_1^{ extbf{c}} igcup G_2^{ extbf{c}}))_2 igotimes_R L \neq 3(g-1) $ を満たし、次元の一致が確認される。
• 生成集合は特異ファイバーおよび一般ファイバーの両方と整合しており、基底変換および還元の下でも理想が良好に振る舞うことが保証される。
• A+A および C(0) の構造から導かれる次数および単項式の台の条件を満たす集合が、canonical 理想を生成するための新しい組合せ的基準が確立された。
• 本手法により、Petri の条件を満たす曲線に適用可能な、構成的でアルゴリズム的な相対的設定における canonical 理想の計算法が得られる。