[論文レビュー] Quaternionic analytic torsion

Kai Köhler, Gregor Weingart|ArXiv.org|May 11, 2001

Algebraic and Geometric Analysis参考文献 15被引用数 4

ひとこと要約

本稿では、アンチ自己双対なベクトル束を備えたクaternionケーラー多様体上で、サラモンの複体上でのディラック作用素の二乗を用いて定義される、等長的クォaternion的解析 torsion を導入する。主な貢献は、コンパクト型のクォaternion的同次空間に対して、根、重み、ワイル群不変量を用いて閉形式でこの torsion を計算したことである。その構造は、ヘルミート対称空間上の正則 torsion と類似している。

ABSTRACT

We define an (equivariant) quaternionic analytic torsion for antiselfdual vector bundles on quaternionic Kaehler manifolds, using ideas by Leung and Yi. We compute this torsion for vector bundles on quaternionic homogeneous spaces with respect to any isometry in the component of the identity, in terms of roots and Weyl groups.

研究の動機と目的

• クォaternion微分可能性の概念が存在しないことから、従来の複素解析的道具が使えないクォaternionケーラー多様体に対して、意味のある解析 torsion 不変量を定義すること。
• 従来、実および正則設定で確立された解析 torsion 理論を、サラモンの複体上でのディラック作用素分解を用いてクォaternion的領域へ拡張すること。
• すべての既知の正曲率クォaternion的同次空間に対して、等長的 torsion を明示的に計算し、根系とワイル群作用を用いた明確な公式を提供すること。
• クォaternion的 torsion と正則 torsion の間の構造的類似性を確立し、より深い幾何的および算術的関係を示唆すること。
• 将来の算術幾何学への応用、特にすべてのチェバリーグループスキームに対してジャンツェンの和公式の証明の可能性を築く基盤を提供すること。

提案手法

• クォaternion的解析 torsion を、アンチ自己双対な束を係数に持つ、サラモンの Z-次数付き微分形式の複体上でのディラック作用素の二乗に付随するラプラシアンのゼータ正則化行列式として定義する。
• 微分形式の複体 $ 0 \to \mathrm{Sym}^k H \otimes \mathcal{W} \xrightarrow{d} \mathrm{Sym}^{k+1} H \otimes \Lambda^{1,0} E^* \otimes \mathcal{W} \to \cdots \to 0 $ 上でのディラック作用素の作用を、分解 $ TM \otimes \mathbb{C} \cong H \otimes E $ を用いて分解する。
• 最高重量 $ \lambda $、ワイル群 $ W $、正根 $ \Psi_0^+ $ を用いた表現論的技法を用い、torsion を根系とワイル群の軌道の和として表現する。
• ラプラシアン $ \square_q $ に対するゼータ関数正則化を、$ \Gamma^\infty(M, \Lambda^q T^{*(0,1)}M \otimes \mathcal{W}) $ 上で適用し、$ \zeta_q(s) = \mathrm{Tr}(\square_q^{-s} P^\perp) $ を定義し、$ s=0 $ における導関数を計算する。
• 超ケーラーの場合、クォaternion的 torsion をドルベオール複体と関連づけ、$ T^k(M,\mathcal{W}) = T^0(M,\mathcal{W}) + k T_{\bar{\partial}}(M,\mathcal{W}) $ と表す。ここで $ T_{\bar{\partial}} $ は正則 torsion を表す。
• キャラクター和 $ \chi_\rho $、内積 $ \|\alpha\|^2 $、コキャラクターとのペアリング $ \langle \cdot, \cdot \rangle $ を用いて、特に対称空間に対して明示的な公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 クォaternion微分可能性の自然な概念が欠如していることから、クォaternionケーラー多様体に対して一貫した解析 torsion を定義できるか？
• RQ2 コンパクト型の対称空間上でのクォaternion的解析 torsion はどのように振る舞い、リー理論的データを用いて明示的に計算可能か？
• RQ3 クォaternion的 torsion の構造は、ヘルミート対称空間上の正則 torsion と類似しているか？ これは、より深い幾何的または算術的関係を示唆するか？
• RQ4 この torsion は、twistor 空間上の既知の不変量、例えば正則 torsion と関連づけることができるか？ そして、算術幾何学にどのような含意を持つのか？
• RQ5 特にカーバイ・ヤウ多様体や平坦トーラスの例において、torsion の振る舞いはどのような意味を持ち、そのインパルスは何か？

主な発見

• すべてのコンパクトなクォaternion的同次空間に対して、クォaternion的解析 torsion が正根とワイル群の軌道の和として明示的に計算され、キャラクター和 $ \chi_\rho $、根のノルム $ \|\alpha\|^2 $、コキャラクターとのペアリングを含む。
• 超ケーラーの場合、torsion は正則 torsion $ T_{\bar{\partial}}(M,\mathcal{W}) $ と $ k $ に関する線形項の組み合わせに簡約され、$ T^k(M,\mathcal{W}) = T^0(M,\mathcal{W}) + k T_{\bar{\partial}}(M,\mathcal{W}) $ と表され、直接的に複素幾何と関連づけられる。
• $ K_X \cong \mathcal{O} $ を満たすカーバイ・ヤウ多様体では、$ \mathcal{W} = \mathcal{W}^* $ のとき torsion $ T^k(M,\mathcal{W}) $ は $ k $ に依存せず、$ \mathcal{W} = \mathcal{O} $ で $ n=1 $ のときには 0 に等しい。
• 平坦トーラス $ M = V/\Lambda $ に対しては、$ n > 1 $ のとき torsion $ T^k(M,\mathcal{O}) $ は 0 に等しく、$ n=1 $ のとき $ s=0 $ で $ 2 \sum_{\mu \in \Lambda^\vee \setminus \{0\}} \|\mu\|^{-2s} $ に等しい。これはゼータ正則化行列式と直接的な関係を示している。
• torsion の公式は、ヘルミート対称空間上の正則 torsion と同じ構造的形をしており、異なる幾何的設定において普遍的なパターンを示唆している。
• torsion は双対性 $ T^k(M,\mathcal{W}) = T^{-4n-k-1}(M,\mathcal{W}^*) $ を満たしており、正則の場合に見られない非自明な対称性を示している。