[論文レビュー] Reidemeister torsion and analytic torsion of discs

Luiz Hartmann, Thiago de Melo+1 more|arXiv (Cornell University)|Nov 19, 2008

Topological and Geometric Data Analysis参考文献 21被引用数 9

ひとこと要約

この論文は、ユークリッド空間内のm次元円板および球の上への錐体について、リーマン・ツォルティオンと解析的ツォルティオンを、絶対/相対境界条件を用いたレイ・シンガー・ツォルティオンおよび解析的ツォルティオンを用いて計算する。リーマン・ツォルティオンが円板の体積のべき乗に等しいことを証明し、境界補正項を含む解析的ツォルティオンの明示的公式を導出し、ブルーニング＝マの公式を用いて、 Dai-Fangの結果とは異なる新しい異常項を同定する。

ABSTRACT

We study the Reidemeister torsion and the analytic torsion of the $m$ dimensional disc in the Euclidean $m$ dimensional space, using the base for the homology defined by Ray and Singer in \cite{RS}. We prove that the Reidemeister torsion coincides with a power of the volume of the disc. We study the additional terms arising in the analytic torsion due to the boundary, using generalizations of the Cheeger-Müller theorem. We use a formula proved by Brüning and Ma \cite{BM}, that predicts a new anomaly boundary term beside the known term proportional to the Euler characteristic of the boundary \cite{Luc}. Some of our results extend to the case of the cone over a sphere, in particular we evaluate directly the analytic torsion for a cone over the circle and over the two sphere. We compare the results obtained in the low dimensional cases. We also consider a different formula for the boundary term given by Dai and Fang \cite{DF}, and we show that the result obtained using this formula is inconsistent with the direct calculation of the analytic torsion.

研究の動機と目的

• ユークリッド空間における標準計量を備えたm次元円板のリーマン・ツォルティオンと解析的ツォルティオンを計算すること。
• 解析的ツォルティオンにおける境界寄与項、特にオイラー・チャーゲット項を超えた異常項を分析すること。
• 境界補正のための2つの異なる公式、ブルーニング＝マの公式と Dai-Fangの公式の結果を比較すること。
• 球の上への計量的錐体への解析を拡張し、S¹およびS²の上への錐体について明示的な評価を行うこと。
• 低次元の場合の既知の結果との直接的比較を通じて、解析的ツォルティオン計算の整合性を検証すること。

提案手法

• トポロジカルなリーマン・ツォルティオンと解析的ツォルティオンの橋渡しとして、レイ・シンガーの幾何的ツォルティオンを用いる。
• チーリング＝ミュラーの定理の枠組みを採用し、境界付き多様体における境界補正をブルーニング＝マの公式を用いて組み込む。
• L²形式上のホッジラプラシアンのゼータ関数を用いたゼータ正則化された解析的ツォルティオンを用いる。
• ケーラーの研究に基づき、錐の先端付近におけるL²形式上のラプラシアンの定義に、錐特異点におけるホッジ理論を適用する。
• ゼータ関数の級数展開と解析接続を用いて、対数解析的ツォルティオンの明示的表現を導出する。
• S¹およびS²の上への錐体について、極限過程を介して円板の場合と比較することで、解析的ツォルティオンを直接計算する。

実験結果

リサーチクエスチョン

• RQ1 m次元円板 $D^m_l$ のリーマン・ツォルティオンは、その体積のべき乗と一致するか？
• RQ2 絶対境界条件を備えたm次元円板の解析的ツォルティオンの明確な形は何か？
• RQ3 ブルーニング＝マの公式と Dai-Fangの公式を用いた場合、解析的ツォルティオンにおける境界寄与項はどのように異なるか？
• RQ4 球の上への錐体の解析的ツォルティオンは明示的に計算可能か？また、極限において円板の場合に還元されるか？
• RQ5 ブルーニング＝マの公式が予測する境界項は、錐体における解析的ツォルティオンの直接計算と整合するか？

主な発見

• m次元円板 $D^m_l$ のリーマン・ツォルティオンは $\left(\sqrt{\mathrm{Vol}_{g_E}(D^m_l)}\right)^{\mathrm{rk}(\rho)}$ に等しく、体積依存性を明確に示す。
• 奇数次元円板 $D^{2p-1}_l$ に対して、解析的ツォルティオンは $\log T_{\rm abs} = \frac{1}{2}\mathrm{rk}(\rho)\log \mathrm{Vol} + \frac{1}{2}\mathrm{rk}(\rho)\log 2 + \frac{1}{4}\mathrm{rk}(\rho)\sum_{n=1}^{p-1}\frac{1}{n}$ を満たす。
• 偶数次元円板 $D^{2p}_l$ に対して、解析的ツォルティオンは $\log T_{\rm abs} = \frac{1}{2}\mathrm{rk}(\rho)\log \mathrm{Vol} + \frac{p}{2}\mathrm{rk}(\rho)\sum_{n=1}^{p}\frac{1}{2n-1}$ を満たす。
• 錐体 $C_{\pi/2}S^2_{l}$ の解析的ツォルティオンは $\frac{1}{2}\log\frac{4\pi l^3}{3} + \frac{1}{2}\log 2 + \frac{1}{4}$ に等しく、3次元円板の場合と一致する。
• Dai-Fangの公式が予測する境界項は直接的な解析的ツォルティオン計算と整合せず、一方でブルーニング＝マの公式は一貫性のある結果をもたらす。
• オイラー・チャーゲット項を超えた新しい異常項が解析的ツォルティオンに現れ、明示的なゼータ正則化および級数評価により確認された。