[論文レビュー] The boundary term from the Analytic Torsion of a cone over a $m$-dimensional sphere

Luiz Hartmann|arXiv (Cornell University)|Jan 19, 2013

Algebraic and Geometric Analysis参考文献 22被引用数 5

ひとこと要約

この論文は、球面 $m$-次元球面の上の有限メトリックコーンにおける解析 torsion の異常境界項が、Brüning と Ma が定義した異常境界項と一致することを直接的証明する。球面上の有限メトリックコーンにおける解析 torsion の明示的計算を通じて、奇数次元および偶数次元の球面の両方について閉形式の式を得ることで、従来の間接的証明に頼らない形で、異常項の普遍性が確認された。

ABSTRACT

We present a direct proof that the Anomaly Boundary term of J. Brünning and X. Ma generalizes to the cases of the cone over a $m$-dimensional sphere.

研究の動機と目的

• Brüning と Ma の研究から得られた異常境界項が、$m$-次元球面の上にのるコーンの解析 torsion に現れることを直接的かつ構成的証明すること。
• 次元 $2p-1$（奇数）および $2p$（偶数）の球面の有限メトリックコーンの解析 torsion を計算し、境界寄与を分離すること。
• 解析 torsion における境界項が、Brüning と Ma が定義した異常境界項 $A_{\rm BM}$ と一致することを確認すること。
• 球面コーンの場合に異常項の形が成り立つことにより、特異点を持つ多様体における Cheeger-Müller 定理をコネイカル特異点へ拡張すること。

提案手法

• 球面の上にのる有限メトリックコーン上で、スペクトルゼータ関数の技法を用いて解析 torsion を明示的に計算すること。
• ホッジ理論およびコネイカル多様体上のラプラシアン解析を用いて微分形式を分解し、固有値を計算すること。
• $L^2$-コホモロジーに関連するゼータ関数のローラン展開を導出し、$s=0$ における留数および定数項に注目すること。
• 組み合わせ的恒等式および二項係数の変形を用いて、境界項の得られる級数表現を簡略化すること。
• 解析 torsion における境界寄与と既知の $A_{\rm BM}$ 公式を、記号的簡略化および留数照合により比較すること。
• 奇数次元および偶数次元の両方において、等式 $A_{\rm BM}(\partial C_l S^{m}_{\sin\alpha}) = \log T_{\rm abs}(C_l S^{m}_{\sin\alpha}) - \frac{1}{2}\log{\rm Vol}(C_l S^{m}_{\sin\alpha})$ が成立することを検証すること。

実験結果

リサーチクエスチョン

• RQ1 Brüning と Ma の研究から得られた異常境界項が、球面の上にのるコーンの解析 torsion の境界寄与として現れるか？
• RQ2 球面の上にのる $m$-次元球面のコーンの解析 torsion を明示的に計算できるか。また、体積項と異常境界項に分解できるか？
• RQ3 異常境界項は、任意の次元の球面に対して、コネイカル特異点において普遍的か？
• RQ4 異常境界項の係数は、コーンの角度 $\alpha$ および球面の次元にどのように依存するか？
• RQ5 球面コーンにおいて、解析 torsion とリードマイスター torsion に $A_{\rm BM}$ を加えたものとの等式を直接的に検証できるか？

主な発見

• 奇数次元球面 $S^{2p-1}_{\sin\alpha}$ のコーンに対して、解析 torsion は $\log T_{\rm abs} = \frac{1}{2}\log{\rm Vol} + A_{\rm BM}$ と表され、$A_{\rm BM}$ は階乗、二重階乗、$\sin\alpha$ の累乗を含む和として明示的に与えられる。
• 偶数次元球面 $S^{2p}_{\sin\alpha}$ のコーンにおける異常境界項は、二項係数および $\sin\alpha$ の累乗を含む閉形式の式として与えられ、$A_{\rm BM}$ 公式と一致する。
• 偶数次形式のゼータ関数の $s=0$ における留数が、正確に異常境界項に寄与しており、ローラン展開の定数項が $A_{\rm BM}$ と一致する。
• 証明により、異常境界項は表現に依存せず、コーンの幾何構造および球面の次元にのみ依存することが示された。
• 著者らは、直接的計算を通じて、異常境界項のコネイカル特異点における普遍性を確認し、従来の間接的証明に依存する仮説を解決した。
• 結果は奇数次元および偶数次元の両方で成り立ち、それぞれ異なるが一貫性のある $A_{\rm BM}$ の公式が得られた。