[論文レビュー] Generalized holomorphic analytic torsion

José Ignacio Burgos Gil, Gerard Freixas i Montplet+1 more|arXiv (Cornell University)|Nov 16, 2010

Algebraic Geometry and Number Theory参考文献 27被引用数 9

ひとこと要約

本稿は、滑らかな複素代数的多様体間の任意の射影的準同型写像に対して、公理的枠組みを用いて、正則解析 torsion 級を拡張する。一般化された torsion が $-R/2$ 種に付随することを特定し、このような理論の分類を可能にし、既知の性質の新たな証明、$R$-種の特徴付け、およびヒルベルト構造の直接像の構成を可能にする。

ABSTRACT

We extend the holomorphic analytic torsion classes of Bismut and Köhler to arbitrary projective morphisms between smooth algebraic complex varieties. To this end, we propose an axiomatic definition and give a classification of the theories of generalized holomorphic analytic torsion classes for arbitrary projective morphisms.

研究の動機と目的

• ビスマールトとコーラーの正則解析 torsion 級を、部分被覆に限らない、滑らかな複素代数的多様体間の任意の射影的準同型写像へ一般化すること。
• 射影的準同型写像に対する一般化された正則解析 torsion 級のすべての理論を特徴付ける公理的枠組みの構築。
• ビスマールトとコーラーの torsion の拡張が、$R$ が $R$-種であるときの $-R/2$ に付随する理論であることを特定すること。
• 公理的枠組みを用いて、解析 torsion 級の既知の性質に対するより単純な証明を導出すること。
• 一般化された torsion 理論を用いて、射影的準同型写像に対するヒルベルト構造の直接像を構成すること。

提案手法

• 関手性、直接像との整合性、計量の変更に対する挙動に基づいて、射影的準同型写像に対する一般化された正則解析 torsion 級の公理的定義を提示する。
• コhomological フレームワークを用いて、すべてのこのような理論を分類し、それらが $H^2(\text{Gr}(n), \bbR)$ 内の特徴的類によってパrameter化されることを示す。
• $-R/2$ に対応する特定の理論が、ビスマールトとコーラーの torsion の自然な拡張であることを特定する。ここで $R$ は $R$-種である。
• 公理的枠組みを用いて異常性公式を導出し、それらを決定線束の曲率と関連付ける。
• 局所座標展開と留数的電流を用いて、特異ファイバー付近での torsion 形式の漸近展開を計算する。
• ビスマールト＝レベアとギレット＝スールの適合公式および算術的リーマン・ローチの結果を活用し、構成の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 どのような公理的条件が、射影的準同型写像に対する一般化された正則解析 torsion 級を一意に特徴付けるか？
• RQ2 ビスマールトとコーラーの正則解析 torsion を、非被覆射影的準同型写像へどのように拡張できるか？
• RQ3 どの特徴的類が解析 torsion の一意な拡張を決定し、$R$-種とどのように関係するか？
• RQ4 公理的枠組みは、解析 torsion の既知の性質に対するより単純な証明を導けるか？
• RQ5 一般化された torsion を用いて、一般化された torsion を用いて、ヒルベルト構造の直接像をどのように構成できるか？

主な発見

• 一般化された正則解析 torsion 級は、それに対応する特徴的類によって完全に分類され、$-R/2$ に対応する理論が、ビスマールトとコーラーの torsion の一意な拡張である。
• 本稿は、公理的枠組みを用いて、正則解析 torsion の既知の性質に対する新たな、簡略化された証明を提供する。
• $R$-種は、ヒルベルトバンドルの直接像の文脈において、異常性公式を支配する唯一の特徴的類として特徴付けられる。
• 点 $p$ 上に $n_p$ 個の特異点を有する特異ファイバーの近傍では、torsion 形式の $(1,1)$-成分は、$w \to 0$ のとき $T(\bar{\theta})^{(1,1)} = -\frac{\operatorname{rk}(\bar{\mathcal{F}})}{6}n_p[\log|w|] + O(1)$ を満たす。
• $L^2$ 計量を有する直接像バンドルに対しては、torsion は $T(\bar{\xi}'')^{(1,1)} = -\frac{\operatorname{rk}(\bar{\mathcal{F}})}{6}n_p[\log|w|] + O(\log\log|w|^{-1})$ を満たし、対数的特異性を反映する。
• 本構成により、射影的準同型写像に対する決定線束上のヒルベルト構造の直接像が、一意に定義され、クイレンの計量構成が特異ファイバーへ拡張される。