[論文レビュー] Annihilators of $D$-modules in mixed characteristic

Rankeya Datta, Nicholas Switala+1 more|arXiv (Cornell University)|Jul 23, 2019

Commutative Algebra and Its Applications参考文献 16被引用数 4

ひとこと要約

この論文は、混合特徴を持つ場合に、DVR $V$ 上の多項式環または形式的べき級数環 $R$ 上の任意の非ゼロ $$\mathscr{D}(R,V)$-加群の annihilator は、ゼロまたは均一化子 $\pi$ のべきのいずれかであることを確立している。本論文は、混合特徴におけるホシュターの忠実性に関する質問に対して反例を提示し、$H^4_I(\mathbb{Z}_2[[x_0,\dots,x_5]])$ が 2 で消えることを示しており、さらにリューベツニクとイルデリムの双対局所コホモロジー加群の関連素数に関する予想に対しても反証している。

ABSTRACT

Let $R$ be a polynomial or formal power series ring with coefficients in a DVR $V$ of mixed characteristic with a uniformizer $π$. We prove that the $R$-module annihilator of any nonzero $\D(R,V)$-module is either zero or is generated by a power of $π$. In contrast to the equicharacteristic case, nonzero annihilators can occur; we give an example of a top local cohomology module of the ring $\mathbb{Z}_2[[x_0, \ldots, x_5]]$ that is annihilated by $2$, thereby answering a question of Hochster in the negative.

研究の動機と目的

• 混合特徴における多項式環または形式的べき級数環上の $\mathscr{D}(R,V)$-加群の annihilator を分類すること。
• 特にホシュターの質問に応えるために、混合特徴におけるトップ局所コホモロジー加群の忠実性を調査すること。
• 双対局所コホモロジー加群の関連素数に関するリューベツニクとイルデリムの予想の妥当性を検証すること。
• 局所コホモロジー加群が底環の非ゼロ元によって消えるような明示的例を構成すること。

提案手法

• $R$ 上の $V$-線形微分作用素からなる $\mathscr{D}(R,V)$-加群の理論を用いて加群構造を分析すること。
• 局所コホモロジー理論とその完成とに関する整合性を応用し、$\mathbb{Z}[x_0,\dots,x_5]$ 上のコホモロジーとその $\mathfrak{m}$-進完成との関係を結ぶこと。
• $\mathbb{Z}_2[[x_0,\dots,x_5]]$ 内に、10 個の単項式によって生成され、算術的ランクが 4 で、コホモロジー次元が 4 である特定のイデアル $I$ を構成すること。
• $H^4_I(R)$ を定義する直接極限における移行写像が単射であることを証明し、$H^4_I(R) \cong H^6_\mathfrak{m}(R/(2))$ を示すこと。
• $H^4_I(R)$ が $\bar{R} = R/(2)$ 上のインジェクティブ・ハル $E_{\bar{R}}(\bar{R}/\mathfrak{m})$ と同型であることを同定し、2 で消えることを示すこと。
• $D(H^4_I(R)) \cong R/(2)$ を用いて、0 が $D(H^4_I(R))$ の関連素数でないことを示し、リューベツニク＝イルデリム予想に反すること。

実験結果

リサーチクエスチョン

• RQ1 混合特徴における正則局所環のトップ局所コホモロジー加群は常に忠実か？
• RQ2 混合特徴における $\mathscr{D}(R,V)$-加群に対して、非ゼロの annihilator が現れることがあるか？
• RQ3 リューベツニク＝イルデリムの双対局所コホモロジー加群の関連素数に関する予想は、混合特徴においても成り立つか？
• RQ4 特定のイデアル $I$ に対して、$H^4_I(\mathbb{Z}_2[[x_0,\dots,x_5]])$ の構造は何か？
• RQ5 $\mathscr{D}(R,V)$-加群の annihilator が均一化子 $\pi$ の非自明なべきになり得るか？

主な発見

• 任意の非ゼロ $\mathscr{D}(R,V)$-加群について、$R = V[[x_1,\dots,x_n]]$ または $R = V[x_1,\dots,x_n]$ 上では、その annihilator はゼロまたは均一化子 $\pi$ のべきのいずれかである。
• トップ局所コホモロジー加群 $H^4_I(\mathbb{Z}_2[[x_0,\dots,x_5]])$ は 2 で消えるため、$\operatorname{Ann}_R(H^4_I(R)) = (2)$ であり、ホシュターの質問に対して否定的な答えを与える。
• $\mathbb{Z}_2[[x_0,\dots,x_5]]$ 内のイデアル $I$ は、算術的ランクとコホモロジー次元の両方が 4 に等しい。
• $H^4_I(R)$ はインジェクティブ・ハル $E_{\bar{R}}(\bar{R}/\mathfrak{m})$ と同型であり、最大イデアルにおけるその構造と台を確認する。
• 双対加群 $D(H^4_I(R)) \cong R/(2)$ であるため、0 は $D(H^4_I(R))$ の関連素数でない。これはリューベツニク＝イルデリム予想に反する。
• この例は、ホシュター＝ジーフリーズの忠実性に関する特徴の混合特徴版が成り立たないことを示している。