[論文レビュー] On the asymptotics of the analytic torsion for compact hyperbolic orbifolds

Ksenia Fedosova|arXiv (Cornell University)|Nov 13, 2015

Geometric and Algebraic Topology参考文献 15被引用数 7

ひとこと要約

本稿は、最高重みの放射に付随する表現の系列に関して、コンパクトな奇数次元ハイパボリック軌道体 $Γ\backslash\mathbb{H}^{2n+1}$ における解析 torsion の漸近的挙動を確立する。セレボルクの跡公式および $\mathrm{Spin}(1,2n+1)$ 上のスペクトル解析を用いて、解析 torsion の対数が $m$ についての多項式に加え、楕円的要素に起因する指数的揺動を含む擬似多項式項と、指数的に減少する誤差項を持つことが示された。この結果は、特異点を有する軌道体への先行研究の拡張であり、算術群のコホロジーにおける torsion の成長を研究する基盤を提供する。

ABSTRACT

We study the analytic torsion of odd-dimensional hyperbolic orbifolds $Γ\backslash \mathbb{H}^{2n+1}$, depending on a representation of $Γ$. Our main goal is to understand the asymptotic behavior of the analytic torsion with respect to sequences of representations associated to rays of highest weights.

研究の動機と目的

• 滑らかな多様体からコンパクトなハイパボリック軌道体に解析 torsion の漸近的解析を拡張すること。
• 奇数次元ハイパボリック軌道体における、$\mathrm{Spin}(1,2n+1)$ の無限個の既約表現の系列に対する解析 torsion の成長を理解すること。
• 楕円的要素の寄与を、揺動的擬似多項式項を通じて torsion 漸近挙動に特徴づけること。
• コホロジーが消える場合の滑らかな計量変形における解析 torsion の計量不変性を確立し、リードマイスター torsion との等価性の可能性を支援すること。
• スペクトル法を用いて、非コンパクトおよび特異的状況に一般化された解析 torsion の先行する指数的成長結果を拡張すること。

提案手法

• 平坦な軌道バンドルに付随する既約表現に関連するラプラス＝ド・ラーム作用素の熱核のゼータ正則化トレースを用いて、解析 torsion を定義する。
• セレボルクの跡公式を適用して、熱核トレースを $\Gamma$ 内の単位元、双曲的、楕円的共役類に起因する寄与に分解する。
• プランシュレルの公式を用いて、単位元寄与を、行列係数および球面関数を用いて核関数を表現することで分析する。
• 表現論的技法を用いて楕円的寄与を計算し、特に最高重みの依存性および特異的ストラトゥムの構造に注目する。
• Plancherel多項式の性質および $m \to \infty$ の極限における行列係数の推定を用いて、スペクトルデータの漸近的挙動を分析する。
• 長時間および短時間の領域に zeta 積分を分割することで漸近展開を導出する。長時間部分が指数的に減少することを示した。

実験結果

リサーチクエスチョン

• RQ1 高次元の表現に沿った射線に沿って、コンパクトなハイパボリック軌道体の解析 torsion はどのように漸近的に振る舞うか？
• RQ2 楕円的要素は解析 torsion の漸近展開において果たす役割は何か？また、多様体の場合と比較して、成長にどのように影響を与えるか？
• RQ3 軌道バンドルのコホロジーが消える場合、解析 torsion が滑らかな計量変形に対して不変であることを示せるか？
• RQ4 軌道バンドル上のラプラシアンのスペクトル的性質は、基礎となる軌道体の算術的または幾何的不変量をどの程度反映しているか？
• RQ5 特異的ストラトゥムの存在は、torsion 漸近展開の関数的形にどのような影響を与えるか？

主な発見

• $m \to \infty$ のとき、解析 torsion の対数 $\log T_{\mathcal{O}}(\tau(m))$ は、$PI(m) + PE(m) + O(e^{-Cm})$ の形の漸近展開を持つ。ここで $PI(m)$ は次数 $\frac{n^2 + n + 2}{2}$ の多項式である。
• 項 $PE(m)$ は次数 $\frac{d^2 + d + 2}{2}$ の擬似多項式であり、$d$ は特異的ストラトゥムの最大次元を表す。この項には、楕円的共役類に起因する $m^j e^{im\phi_{j,k}}$ の形の揺動的項が含まれる。
• $\mathcal{O}$ が多様体（つまり楕円的要素が存在しない）の場合、$PE(m)$ 項は消え、[MP11] の結果が回復される。
• zeta 積分の長時間部分は、$O(e^{-m/8})$ で有界な誤差項を寄与させ、$m$ と共に指数的に減少する。
• 単位元寄与は、核関数 $k_t^{\tau(m)}(1)$ にプランシュレルの公式を適用することで計算され、行列係数を用いたスペクトル分解が得られる。
• 楕円的寄与は有界かつ揺動的であり、その振幅はワイル分母および特異的ストラトゥムの構造によって制御され、その結果として擬似多項式 $PE(m)$ が出現する。