[論文レビュー] Singularities and analytic torsion

Kenichi Yoshikawa|arXiv (Cornell University)|Jul 16, 2010

Geometry and complex manifolds参考文献 24被引用数 6

ひとこと要約

本稿は、係数 bundle が相対正則バンドルで twisted された Nakano 半正定のとき、一パrameter の射影多様体の退化において、等変 analytic torsion の対数的発散を確立する。等変 Quillen 距離とガウス写像の解消を用いて、中心特異ファイバー上の固定点寄与と相対正則バンドルを用いた torsion の特異性の明示的公式を導出し、Takegoshi の torsion 無し定理を等変設定へと拡張する。

ABSTRACT

We prove the logarithmic divergence of equivariant analytic torsion for one-parameter degenerations of projective algebraic manifolds, when the coefficient vector bundle is given by a Nakano semi-positive vector bundle twisted by the relative canonical bundle.

研究の動機と目的

• 一パrameter の射影多様体の族が特異ファイバーに退化する際の等変 analytic torsion の漸近的挙動を特定すること。
• ファイブレーションを保存する群作用の下で analytic torsion の理論を等変設定へと拡張すること。
• G-等変な blow-ups を用いたガウス写像の特異性の解消により、torsion への固定点寄与を分析すること。
• 固定点集合上の特徴類を用いて、torsion の対数的特異性の明示的公式を確立すること。
• バンドルの Nakano 半正定性が、高次直接像の torsion 無し性を保証し、コホロロジー的解析を可能にすることを検証すること。

提案手法

• ファイブレーションに関連するガウス写像の等変解消を構成し、G-等変な blow-ups を用いて不確定性を解消する。
• 相対正則バンドル上に等変 Quillen 距離を定義し、それを用いて退化極限における analytic torsion を計算する。
• Takegoshi の torsion 無し定理を適用し、twisted 相対正則バンドルの高次直接像が局所的に自由であることを保証する。
• 群作用の中心ファイバー上の固定点集合への積分を含む、等変 analytic torsion の特異性の公式を導出する。
• Hartogs の拡張定理を用いて、codimension 二の集合に沿った対数的特異性を持つ微分形式を滑らかに拡張し、主要な構成要素の滑らかさを保証する。
• 半安定還元を用いて、中心ファイバーが正規交叉除集合であるモデルを構築し、コホロロジー的計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 一パrameter の射影多様体の族が特異ファイバーに退化する際、等変 analytic torsion はどのように振る舞うか？
• RQ2 群作用の固定点集合が torsion の対数的特異性に果たす寄与は、どのように特定されるか？
• RQ3 twisted 相対正則バンドルの高次直接像が、どのような条件下で局所的に自由のままであるか？
• RQ4 torsion の特異性は、中心ファイバーおよび固定点集合上の特徴類を用いて表現可能か？
• RQ5 係数バンドルの Nakano 半正定性は、退化の解析的およびコホロロジー的構造にどのように影響を与えるか？

主な発見

• パrameter がゼロに近づくに従い、等変 analytic torsion は対数的発散を示し、主要項は中心ファイバー上の固定点構造によって決定される。
• torsion の特異性は、水平固定点集合および垂直固定点集合の両方の積分の和として明示的に計算可能である。
• 水平固定点集合の寄与は、解消されたガウス写像を介して引き戻された相対接続バンドルの等変チャーン類および Todd 類を含む。
• 垂直固定点寄与は、ファイブレーションの特異点集合に起因し、係数バンドルで twisted された正則バンドルの等変チャーン類として与えられる。
• コホロロジー的消滅条件 $(\varpi^*ds)\wedge\sigma = 0$ により、微分形式 $\sigma$ が特異点集合を滑らかに超えて拡張可能となり、Hartogs の拡張定理の適用が可能になる。
• 証明はガウス写像の解消と半安定還元に依拠し、中心ファイバーが正規交叉除集合であるモデルを構築し、Takegoshi の torsion 無し定理の適用を可能にする。