[論文レビュー] A Jacobian criterion for nonsingularity in mixed characteristic

Melvin Hochster, Jack Jeffries|arXiv (Cornell University)|Jun 3, 2021

Advanced Differential Equations and Dynamical Systems参考文献 9被引用数 4

ひとこと要約

本稿では、偏微分と $p$-微分を組み合わせた行列を導入することで、混合特徴値の環上の代数における特異点集合の特定を可能にする、混合特徴値における非特異性のヤコビアン基準を確立する。主な貢献は、既存のモジュールの自由性に基づく正則性基準であり、これは古典的なヤコビアン条件を F-有限でない残渣体を含む混合特徴値設定へ一般化する。

ABSTRACT

We give a version of the usual Jacobian characterization of the defining ideal of the singular locus in the equal characteristic case: the new theorem is valid for essentially affine algebras over a complete local algebra over a mixed characteristic discrete valuation ring. The result makes use of the minors of a matrix that includes a row coming from the values of a $p$-derivation. To study the analogue of modules of differentials associated with the mixed Jacobian matrices that arise in our context, we introduce and investigate the notion of a perivation, which may be thought of, roughly, as a linearization of the notion of $p$-derivation. We also develop a mixed characteristic analogue of the positive characteristic $Γ$-construction, and apply this to give additional nonsingularity criteria.

研究の動機と目的

• 標準的な滑らかさに基づく手法が、正則性と滑らかさの同値性が成立しないことから失敗する混合特徴値環への古典的ヤコビアン基準の拡張。
• 特に残渣体が F-有限でない場合に、混合特徴値の離散付値環上の代数における特異点を検出する課題への対処。
• 混合特徴値における微分的挙動を捉える能力を持つ、パービレイションおよびユニバーサルパービレイションモジュールという新しい代数的枠組みの構築。
• 正則性基準における F-有限性仮定を排除するための、正の特徴値における $\Gamma$-構成の混合特徴値版、すなわち $\widetilde{\Gamma}$-構成の構築。

提案手法

• 混合特徴値における微分と $p$-微分を一般化する、パービレイションの概念を導入。
• 部分微分と $p$-微分の行列を組み合わせたものから得られるココアーナルとして、ユニバーサルパービレイションモジュール $\widetilde{\Omega}_{R|A}$ を定義。
• $p$-基底の持ち上げを用いて、正則性を保ちつつ基底拡張を可能にする、$\Gamma$-構成の混合特徴値版である $\widetilde{\Gamma}$-構成を構成。
• 非 F-有限な残渣体を持つ環への正則性基準の拡張のために、$p$-基底の余有限部分集合に関する直和極限を取ることで $\widetilde{\Gamma}$-構成を用いる。
• $\widetilde{\Gamma}$-構成を用いて、問題を残渣体が F-有限となる設定に還元し、パービレイションモジュール基準の適用を可能にする。
• $R$ と $R^{\widetilde{\Gamma}}$ の特異点集合の間の対応関係を確立し、正則性がこの構成で保存されることを保証。

実験結果

リサーチクエスチョン

• RQ1 滑らかさが正則性を意味しない混合特徴値の離散付値環上の代数へ、古典的ヤコビアン基準を非特異性に一般化する方法は何か？
• RQ2 混合特徴値における特異点を特徴付けるために $p$-微分が果たす役割は何か？ そして、これらはどのように微分モジュール枠組みに組み込まれるか？
• RQ3 正則性基準における F-有限性仮定を排除するための、$\Gamma$-構成の混合特徴値版を構築できるか？
• RQ4 ユニバーサルパービレイションモジュール $\widetilde{\Omega}_{R|\mathbb{Z}}$ は、等特徴値設定におけるカーラー微分モジュールとどのように関係するか？
• RQ5 どのような条件下で、$\widetilde{\Omega}_{R^{\widetilde{\Gamma}}|\mathbb{Z}}$ の自由性が $R$ の正則性と同値になるか？

主な発見

• 混合特徴値の完全 $V$-代数上に本質的に有限型である局所環 $R$ の特異点集合は、$p$-微分と部分微分の $p$ 乗を組み合わせた行列の $h \times h$ 小行列式の消滅によって特徴付けられる。
• ユニバーサルパービレイションモジュール $\widetilde{\Omega}_{R|\mathbb{Z}}$ は、$p$-微分と部分微分の $p$ 乗を含むヤコビアン型行列のココアーナルとして定義され、カーラー微分モジュールを一般化する。
• $p \in \mathfrak{m}$ を満たす局所環 $R$ に対して、残渣体が F-有限であれば、$R$ が正則であることと、$\widetilde{\Omega}_{R|\mathbb{Z}}$ がランク $\dim(R) + \log_p[k:k^p]$ の自由モジュールであることは同値である。
• $\widetilde{\Gamma}$-構成は、純無限次拡張かつ忠実平坦な $R^{\widetilde{\Gamma}}$ を $R$ に与え、特異点集合を保存し、F-有限性仮定を排除可能にする。
• 任意の十分に小さな余有限部分集合 $\widetilde{\Gamma} \subseteq \widetilde{\Lambda}$ に対して、$R$ が正則であることと、$\widetilde{\Omega}_{R^{\widetilde{\Gamma}}|\mathbb{Z}}$ がランク $\dim(R) + \log_p[k(R^{\widetilde{\Gamma}}):k(R^{\widetilde{\Gamma}})^p]$ の自由モジュールであることは同値であり、これは残渣体が F-有限でない場合にも成立する。
• この構成により、$R$ と $R^{\widetilde{\Gamma}}$ の正則領域は $p$ でのファイバーで一致し、基底変換に 대하여不変であることが保証される。