[論文レビュー] On k-rational and k-Du Bois local complete intersections

Mircea Mustaţă, Mihnea Popa|arXiv (Cornell University)|Jul 18, 2022

Commutative Algebra and Its Applications被引用数 5

ひとこと要約

この論文は、局所的完全交差多様体の $k$-有理特異点が $k$-Du Bois であることを、Du Bois複体の各次元成分の双対のコホロロジーに対する単射性定理を用いて確立する。主な貢献は、$k$-有理特異点が、$k$-Du Bois 特異点に加えて、各次元成分の導来双対の同型条件と同値であることを示す双対性特徴付けであり、特に最小指数を用いた超曲面への応用を含む。

ABSTRACT

We show that k-rational singularities of local complete intersections are k-Du Bois. For hypersurfaces, we characterize k-rationality in terms of the minimal exponent. We also establish some local vanishing results for k-rational and k-Du Bois singularities. Some of these results have been independently obtained in [FL2].

研究の動機と目的

• 局所的完全交差多様体の文脈において、$k$-有理特異点が $k$-Du Bois 特異点を含むかどうかを調査すること。
• 特に超曲面に対して、$k$-有理特異点をDu Bois複体と導来双対を用いて特徴付けること。
• ホッジ理論と $\mathscr{D}$-加群を用いて、$k$-有理特異点および $k$-Du Bois 特異点の局所的消失結果を確立すること。
• 超曲面の場合に、$k$-有理特異点を最小指数と関連づけ、数値的不変量による特徴付けを提供すること。

提案手法

• 局所コホロロジーのホッジフィルトレーションに依拠して、Du Bois複体の各次元成分の導来双対のコホロロジーに対する単射性定理を証明する。
• $V$-フィルトレーションと $\mathscr{D}$-加群理論を用いて、Du Bois複体およびその各次元成分の構造を分析する。
• グロテンディーク双対性を適用し、$\underline{\Omega}_Z^k$ と $\mathbf{R}\mathcal{H}om_{\mathscr{O}_Z}(\underline{\Omega}_Z^{d-k}, \omega_Z)$ の間の双対性同型条件を確立する。
• 強い対数的解消と対数形式の導来押し出しを用いて、コホロロジー群を計算し、消失定理を検証する。
• 超曲面の最小指数を用いて $k$-有理特異点を特徴付け、ホッジ理論的不変量と特異点の型を結びつける。
• de Rham複体の各次元成分に対する双対性の可換性を応用し、双対写像の像が局所コホロロジー層の de Rham 複体の各次元成分として特定されることを示す。

実験結果

リサーチクエスチョン

• RQ1 $k$-有理特異点が局所的完全交差多様体において $k$-Du Bois 特異点を含むか、古典的結果「有理特異点 ⇒ Du Bois 特異点」の高次元版か。
• RQ2 $k$-有理特異点が、Du Bois複体成分の導来双対の同型を含む双対性同型条件によって特徴付けられるか。
• RQ3 超曲面の場合に、$k$-有理特異点は最小指数が $k+1$ 以上であることと同値か。
• RQ4 局所的完全交差多様体の文脈において、$k$-有理特異点および $k$-Du Bois 特異点に成り立つ局所的消失性質は何か。
• RQ5 $V$-フィルトレーションと最小指数は、Du Bois複体およびその各次元成分の構造とどのように関係するか。

主な発見

• $k$-Du Bois 局所的完全交差多様体に対して、$\mathbf{R}\mathcal{H}om_{\mathscr{O}_Z}(\underline{\Omega}_Z^k, \omega_Z) \to \mathbf{R}\mathcal{H}om_{\mathscr{O}_Z}(\Omega_Z^k, \omega_Z)$ のコホロロジーにおける写像が単射である。これは $k=0$ の場合に既知の結果を一般化する。
• 局所的完全交差多様体 $Z$ が $k$-有理特異点を持つならば、$Z$ は $k$-Du Bois 特異点を持つ。これは古典的結果「有理特異点 ⇒ Du Bois 特異点」の高次元版を確立する。
• 多様体 $Z$ が $k$-有理特異点を持つことと、$k$-Du Bois 特異点であり、かつ標準的写像 $\psi_k: \underline{\Omega}_Z^k \to \mathbf{R}\mathcal{H}om_{\mathscr{O}_Z}(\underline{\Omega}_Z^{d-k}, \omega_Z)$ が同型であることは同値である。
• 超曲面の場合、$k$-有理特異点は最小指数 $\widetilde{\alpha}(Z) \geq k+1$ であることと同値であり、数値的特徴付けを提供する。
• $Z$ が $k$-有理特異点を持つとき、$\Omega_Z^k$ は反射的である。これは双対性同型が成り立つために不可欠である。
• $k$-有理特異点の仮定のもとで、$\underline{\Omega}_Z^k$ の導来双対は $\Omega_Z^k[n-1-k]$ に同型であり、双対写像が $\Omega_Z^k[n-1-k]$ の自己準同型として特定可能である。