[論文レビュー] Hodge theory of degenerations, (II): vanishing cohomology and geometric applications

Matt Kerr, Radu Laza|arXiv (Cornell University)|Jun 6, 2020

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

本稿は、孤立した超曲面特異点の重み付きスペクトルと消滅コホモロジーを分析することにより、複素多様体の退化におけるホッジ理論を発展させる。特に、$k$-log-canonicalおよび$k$-rational特異点に注目し、スペクトル最小値$\sigma_f^{\text{min}} \geq 1+k$が$k$-log-canonical特異点を特徴づけることを確立する。また、二重サスペンションが重み付きスペクトルをテートねじれでシフトさせ、混合ホッジ構造として$V_{\Sigma^2 f} \cong V_f(-1)$をもたらすことを証明する。

ABSTRACT

We study the weighted spectrum and vanishing cohomology for several classes of isolated hypersurface singularities, and how they contribute to the limiting mixed Hodge structure of a smoothing. Applications are given to several types of singularities arising in KSBA and GIT compactifications and mirror symmetry, including nodes on odd-dimensional hypersurfaces, $k$-log-canonical and $k$-rational singularities, and singularities with Calabi-Yau tail.

研究の動機と目的

• 孤立特異点における重み付きスペクトルの体系的計算およびその双有理幾何・トーリック幾何における役割を展開すること。
• 非孤立特異点を含む場合の退化における制限混合ホッジ構造への消滅コホモロジーの寄与を明確化すること。
• スペクトル不変量を用いて、クレメンス＝シュミッドおよび消滅サイクル完全列における曖昧さを解消すること。
• スペクトル最小値$\sigma_f^{\text{min}}$を用いた$k$-log-canonicalおよび$k$-rational特異点の明確な特徴づけを確立すること。
• これらの結果をKSBAおよびGITコンパクト化、ミラー対称性を含む幾何的文脈に応用すること。

提案手法

• 局所多項式から重み付きスペクトル$\tilde{\sigma}_f$を計算するために、ブリースコーン–シュティンブリックの留数理論を用いる。
• 準同次特異点に関して、方程式(5.2)〜(5.5)を介してニュートン多面体の組合せ論を応用し、スペクトル不変量を導出する。
• セバスティアーニ–トムの公式を用いて、サスペンションの重み付きスペクトルを畳み込みとして表現する：$\tilde{\sigma}_{f \oplus g} = \tilde{\sigma}_f * \tilde{\sigma}_g$。
• モノドロミー作用の分解$T = T^{\text{ss}} e^N$を用い、スペクトル成分$V_{f,\lambda}^{p,q}$を定義する。
• 特異点分類の主要不変量として、スペクトル最小値$\sigma_f^{\text{min}} = \min\{p + \lambda \mid V_{f,\lambda}^{p,q} \neq 0\}$を用いる。
• CM型分解を介したテートねじれ構成を用い、サスペンション$\Sigma^2 f$を$V_{\Sigma^2 f} \cong V_f(-1)$として混合ホッジ構造として解釈する。

実験結果

リサーチクエスチョン

• RQ1 重み付きスペクトル$\tilde{\sigma}_f$は、退化の制限混合ホッジ構造にどのように情報を符号化するか？
• RQ2 スペクトル最小値$\sigma_f^{\text{min}}$と孤立超曲面特異点の$k$-log-canonicalまたは$k$-rational性との正確な関係は何か？
• RQ3 サスペンションおよび基本変換は、スペクトル不変量およびそれらから得られるホッジ構造にどのように影響するか？
• RQ4 消滅コホモロジー$V_f$は、二重サスペンション$\Sigma^2$の下でどのように変化するか？
• RQ5 $k$-log-canonical特異点におけるスペクトル則は、ホッジイデアルおよび双有理幾何における既知の結果とどのように整合するか？

主な発見

• 純粋な$K3$テイルを持つ孤立した準同次的表面特異点は、ちょうど14個のドォルガチェフ特異点、6個の四角形特異点、および2つのトリモーダル特異点$V_{15}$と$N_{16}$である。
• $k$-log-canonical特異点は$\sigma_f^{\text{min}} \geq 1 + k$によって特徴づけられ、このクラスに対するスペクトル的基準が得られる。
• 二重サスペンションは、混合ホッジ構造として$V_{\Sigma^2 f} \cong V_f(-1)$を満たし、各成分において$[(1,2)]$だけスペクトルがシフトする。
• サスペンション$\Sigma_{(r)}f = f \oplus z^r$の重み付きスペクトルは、$\tilde{\sigma}_{\Sigma_{(r)}f} = \sum_{\alpha,w} \sum_{i=1}^{r-1} m_{\alpha,w}[(\alpha + \frac{i}{r}, w + \langle \alpha \mid \frac{i}{r} \rangle)]$で与えられる。ここで$\langle \alpha \mid \frac{i}{r} \rangle$は、$\alpha$に応じて0、1、または2の値を取る。
• $k$-log-canonical特異点では、すべての基本変換$t \mapsto t^r$が$k$-rational性を保ち、非-log-canonical特異点は$r < \frac{1}{1 - \sigma_f^{\text{min}}}$のときのみ有理的になる。
• $|\sigma_f| \cap \frac{1}{2}\mathbb{Z} = \emptyset$のとき、サスペンション$\Sigma f$はヴァン・ゲーメンの意味での半ねじれを実現し、CM型分解を介して$V_{\Sigma f} \cong (V_f)_{\Phi,-\frac{1}{2}}$が成り立つ。