[論文レビュー] Functorial Test Modules

Manuel Blickle, Axel Stäbler|arXiv (Cornell University)|May 31, 2016

Algebraic Geometry and Number Theory参考文献 21被引用数 3

ひとこと要約

この論文は、正標数代数幾何におけるテストモジュールのファンクター的で加法的な変種を、非最小の関連素点を考慮するように定義を修正することによって導入する。これにより、プッシュフォワードおよびプルバックと整合性が保証される。主な貢献は、滑らかな準同型に関して自然同型 $ f^! \circ \tau \cong \tau \circ f^! $ を確立し、準有限準同型に関して自然変換 $ \tau \circ f_* \to f_* \circ \tau $ を得ることであり、従来の定義におけるファンクター性および加法性の問題を解決する。

ABSTRACT

In this article we introduce a slight modification of the definition of test modules which is an additive functor $τ$ on the category of coherent Cartier modules. We show that in many situations this modification agrees with the usual definition of test modules. Furthermore, we show that for a smooth morphism $f \colon X o Y$ of $F$-finite schemes one has a natural isomorphism $f^! \circ τ\cong τ\circ f^!$. If $f$ is quasi-finite and of finite type we construct a natural transformation $τ\circ f_* o f_* \circ τ$.

研究の動機と目的

• カルティエモジュール理論におけるテストモジュールの元来の定義に見られる加法性およびファンクター性の欠如を是正すること。
• 滑らかおよび準有限準同型の下で、直和を保存し、基底変換と可換となるように、テストモジュールの修正定義を開発すること。
• $ F $-有限スキームの文脈において、$ \tau $ とプッシュフォワード／プルバックファンクター間の自然変換を確立すること。
• 特異性の文脈における既存のテストイデアルおよび乗数イデアルの構成と整合性を保証すること。
• 正則な周辺環への還元により、特異または非還元的環上のテストモジュールを研究するための枠組みを提供すること。

提案手法

• テストモジュール $ \tau(M,\mathcal{C}) $ を、すべての $ M $ の関連素点 $ \eta $ に対して $ H^0_\eta(N_\eta) \to H^0_\eta(M_\eta) $ がニル同型となるような、$ \mathcal{C} $-部分モジュール $ N \subseteq M $ のうち最小のものとして再定式化する。
• すべての関連素点（最小でないものも含む）におけるべき零挙動を検出するために、$ \eta $-べき零捩れファンクター $ H^0_\eta $ を用いる。
• 基底変換に関する $ f^! $ および $ f_* $ ファンクターとの整合性を示すことにより、新しい定義が加法的かつファンクター的であることを証明する。
• 滑らかな準同型 $ f: X \to Y $ に対して、$ f^! $ と局所コホホロジーおよびニル同型の整合性を用いて、自然同型 $ f^! \circ \tau \cong \tau \circ f^! $ を確立する。
• 開埋め込みおよび有限準同型に沿って分解することで、準有限準同型に対して自然包含を用いて、自然変換 $ \tau \circ f_* \to f_* \circ \tau $ を構成する。
• ザリスキの主要定理を用いて準有限準同型を分解し、開埋め込みおよび有限準同型からの自然変換を合成することで、望ましいファンクター性を達成する。

実験結果

リサーチクエスチョン

• RQ1 可換カルティエモジュールの圏において、加法的かつファンクター的な両方の性質を持つように、テストモジュールの修正定義が存在するか？
• RQ2 $ \tau $ のファンクター性が、自然同型および自然変換を用いて滑らかおよび準有限準同型へ拡張可能か？
• RQ3 特に $ F $-有限スキームの文脈において、$ f^! $ および $ f_* $ を通じる基底変換に関して、新しい $ \tau $ の定義はどのように振る舞うか？
• RQ4 新しい定義は、特異性の文脈における既存のテストイデアルおよび乗数イデアルの構成と整合性を保っているか？
• RQ5 修正された定義は、直和やモジュールの包含写像における加法性およびファンクター性の失敗を解消しているか、例えば元来の定義で観察された例に対して有効か？

主な発見

• すべての関連素点 $ \eta $ に対して $ H^0_\eta(N_\eta) \to H^0_\eta(M_\eta) $ がニル同型であるような最小の $ \mathcal{C} $-部分モジュールとしての $ \tau(M,\mathcal{C}) $ の修正定義は、加法性およびファンクター性を保証する。
• 滑らかな準同型 $ f: X \to Y $ に対して、自然同型 $ f^! \circ \tau \cong \tau \circ f^! $ が存在し、これは基底変換におけるテストモジュールの振る舞いの一般化である。
• 準有限有限型準同型 $ f: X \to Y $ に対して、開埋め込みおよび有限準同型への分解を通じて、自然変換 $ \tau \circ f_* \to f_* \circ \tau $ が存在する。
• 開埋め込み $ j $ に対して、自然変換 $ \tau j_* \to j_* \tau $ は自然包含によって与えられ、$ k[x,x^{-1}] $ を用いた反例によって、一般には同型でないことが示されている。
• この結果は、グレーディングの設定へも拡張可能である：$ f $ が準有限のとき、自然変換 $ \mathrm{Gr}(f_* -, \mathfrak{a}^t) \to f_* \mathrm{Gr}(-, (\mathfrak{a} \cdot \mathcal{O}_X)^t) $ が存在し、テストモジュールのフィルトレーションと整合する。
• 準有限の場合において、自然変換の定義は分解の選び方に依存せず、したがって自然変換がwell-definedであることが保証される。