[論文レビュー] Frobenius actions on local cohomology modules and deformation

Linquan Ma, Phạm Hùng Quý|arXiv (Cornell University)|Jun 7, 2016

Commutative Algebra and Its Applications参考文献 19被引用数 3

ひとこと要約

本稿は、正の特性における局所コホモロジー加群上のフロベニウス作用を用いて定義される、$F$-full および $F$-anti-nilpotent と呼ばれる2つの新しい特異点類を導入し、それらを研究する。両性質が正則元による剰余で変形可能であることを証明し、$F$-注入性の変形問題に対する新たな証拠を提供するとともに、既存の結果を一般化する。

ABSTRACT

Let $(R,m)$ be a Noetherian local ring of characteristic $p>0$. We introduce and study $F$-full and $F$-anti-nilpotent singularities, both are defined in terms of the Frobenius actions on the local cohomology modules of $R$ supported at the maximal ideal. We prove that if $R/(x)$ is $F$-full or $F$-anti-nilpotent for a nonzerodivisor $x\in R$, then so is $R$. We use these results to obtain new cases on the deformation of $F$-injectivity.

研究の動機と目的

• 正の特性 $p > 0$ のネーター局所環において、局所コホモロジー加群 $H^i_{\frak m}(R)$ 上のフロベニウス写像の作用を用いて、$F$-full および $F$-anti-nilpotent と呼ばれる新しい特異点類を定義し、それらを研究すること。
• 正則元 $x$ に関して $R$ から $R/(x)$ に移行するとき、これらの新しい特異点が変形するかどうかを調査すること。
• 正の特性における $F$-注入性の変形問題という長年の未解決問題に対する新たな証拠を提供すること。
• 特に [12] の結果を一般化し、$F$-注入性を含むより強い条件を導入することで、$F$-注入性の変形に関する既存の結果を拡張すること。
• $F$-full および $F$-anti-nilpotent と他の $F$-特異点（特に Du Bois 特異点および安定フロベニウス有限性）との関係を確立すること。

提案手法

• 局所コホモロジー加群 $H^i_{\frak m}(R)$ 上のフロベニウス写像の振る舞いを用いて、$F$-full および $F$-anti-nilpotent 特異点を定義する。
• 短完全系列 $0 \to R \xrightarrow{x} R \to R/(x) \to 0$ から誘導される長完全系列を用いて、$R$ と $R/(x)$ のコホモロジー加群を関連付ける。
• $H^i_{\frak m}(R)$ 上での $x$ による乗法の核を解析し、有限長であると仮定することで、特定の条件下で $x^{p-1}F$ の単射性が示せることを示す。
• フロベニウス写像と乗法写像を含む可換図式を用いて、$R/(x)$ における単射性の性質を $R$ に持ち込む。
• 双対性と残渣体が完全であることの事実を用いて、$x$-乗法の核および余核が有限長であることを示す。
• $F$-anti-nilpotency と安定フロベニウス有限性の同値性を活用し、変形結果を証明する。

実験結果

リサーチクエスチョン

• RQ1 $F$-anti-nilpotency は変形するか？すなわち、$R/(x)$ が $F$-anti-nilpotent ならば、$R$ も $F$-anti-nilpotent であるか？
• RQ2 $F$-fullness は変形するか？すなわち、$R/(x)$ が $F$-full ならば、$R$ も $F$-full であるか？
• RQ3 $H^i_{\frak m}(R)$ 上でのフロベニウス写像の単射性が、$H^i_{\frak m}(R/(x))$ 上での単射性からどのように導かれるか？
• RQ4 $F$-注入性の変形が、これまでに知られているよりも弱い仮定のもとで確立できるか？
• RQ5 $F$-fullness と $F$-注入性の変形が失敗するという事実との間に意味のある関係は存在するか？

主な発見

• もし $R/(x)$ が $F$-anti-nilpotent ならば、$R$ も $F$-anti-nilpotent である。これは、この性質が変形することを示している。
• もし $R/(x)$ が $F$-full ならば、$R$ も $F$-full である。これにより、$F$-fullness の変形性が確立された。
• $R/(x)$ が $F$-full かつ $F$-injective ならば、$R$ は $F$-injective である。これは、$F$-injectivity の新たな十分条件を提供する。
• 残渣体が完全で、すべての $i$ に対して $\operatorname{Coker}(H^i_{\frak m}(R) \xrightarrow{x} H^i_{\frak m}(R))$ が有限長であるとき、すべての $i$ に対して $x^{p-1}F: H^i_{\frak m}(R) \to H^i_{\frak m}(R)$ は単射であり、$R$ が $F$-injective であることを示唆する。
• $R/(x)$ が $F$-injective で、残渣体が完全であるとき、すべての $i \leq f_{\frak m}(R/(x)) + 1$ に対して $x^{p-1}F$ は $H^i_{\frak m}(R)$ 上で単射であり、[12] の結果を一般化する。
• 強 $F$-注入性（すなわち $F$-injective かつ $F$-full）は変形する：$R/(x)$ が強 $F$-injective ならば、$R$ も強 $F$-injective である。