[论文解读] 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

一句话总结

本文通过相对版本的佩特里定理与贝尔廷-梅扎尔模型，为混合特征值离散赋值环上的阿廷-施莱尔-库默-威特曲线族的相对 canonical 理想建立了显式生成集。关键贡献在于提出了一套适用于满足佩特里条件的曲线的组合生成准则，该准则通过格罗布纳基技术证明，并验证了其在特殊纤维（特征 p）与一般纤维（特征 0）下的相容性。

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.

研究动机与目标

• 将佩特里的经典定理推广到混合特征值离散赋值环上的相对情形。
• 为阿廷-施莱尔-库默-威特曲线族的相对 canonical 理想构造显式生成集。
• 为满足佩特里定理假设的曲线提供适用的组合生成准则。
• 通过约化与基变换，验证生成集在特殊纤维（特征 p）与一般纤维（特征 0）下的相容性。

提出的方法

• 证明关于混合特征值离散赋值环上曲线的相对佩特里定理。
• 利用贝尔廷-梅扎尔模型定义曲线及其相对微分的显式仿射表示。
• 基于单项式次数与指数上的组合条件，构造两组多项式 $ G_1^{ extbf{c}} $ 与 $ G_2^{ extbf{c}} $。
• 应用类似中岛的准则，验证理想由 $ G_1^{ extbf{c}} igcup G_2^{ extbf{c}} $ 生成。
• 使用格罗布纳基技术与单项序分析初始理想，并比较一般纤维与特殊纤维上的维数。
• 通过模最大理想约化验证生成集在特殊纤维上的相容性，通过基变换到分式域验证其在一般纤维上的相容性。

实验结果

研究问题

• RQ1 佩特里定理能否推广到混合特征值离散赋值环上的相对情形？
• RQ2 阿廷-施莱尔-库默-威特曲线族的相对 canonical 理想是否存在显式生成集？
• RQ3 贝尔廷-梅扎尔模型如何用于在相对情形下构造此类生成集？
• RQ4 何种组合条件可确保一组多项式在此背景下生成 canonical 理想？
• RQ5 该生成集在基变换到一般纤维与约化到特殊纤维后是否仍保持有效性？

主要发现

• 如定理 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 eq 3(g-1) $，确认维数匹配。
• 该生成集与特殊纤维及一般纤维均相容，确保理想在基变换与约化下行为良好。
• 提出了一套新的组合生成准则：若一组多项式满足由 $ A+A $ 与 $ C(0) $ 结构导出的次数与单项式支撑条件，则其可生成 canonical 理想。
• 该方法为满足佩特里条件的曲线在相对情形下计算 canonical 理想提供了构造性、算法化的方法。