[論文レビュー] Analytic torsion of arithmetic quotients of the symmetric space SL(n,R)/SO(n)

Jasmin Matz, Werner Mueller|arXiv (Cornell University)|Jul 15, 2016

Advanced Algebra and Geometry参考文献 46被引用数 3

ひとこと要約

本稿では、アーバートのトレース公式の幾何的側を用いて、熱作用素の再正規化されたトレースを定義することにより、SL(n,R)/SO(n) の算術的商に対する正則化された解析 torsion を確立する。主な貢献は、高ランクの非コンパクトな有限体積局所対称空間を扱うための体系的な手法であり、切断と重み付き軌道積分を用いて、解析 torsion を非コンパクトで有限体積の高ランク局所対称空間へ拡張することを可能にする。

ABSTRACT

In this paper we define a regularized version of the analytic torsion for arithmetic quotients of the symmetric space SL(n,R)/\SO(n). The definition is based on the study of the renormalized trace of the corresponding heat operators, which is defined as the geometric side of the Arthur trace formula applied to the heat operator

研究の動機と目的

• 非コンパクトで有限体積の高ランク局所対称空間への解析 torsion 理論の拡張、特に SL(n,R)/SO(n) に対して。
• 非コンパクトな設定における熱作用素のトレースクラス性の欠如に対処するため、正則化されたトレースを導入する。
• コンパクトな算術群や双曲的3次元多様体に関する結果を、アーベル的枠組みとアーバートのトレース公式を用いて高ランク対称空間へ一般化する。
• トポロジカル torsion および算術群におけるコhomological torsion の成長と関連する一貫性のある解析 torsion 不変量を定義する。

提案手法

• 対称空間 SL(n,R)/SO(n) 上の熱作用素にアーバートのトレース公式を適用し、幾何的側を用いて正則化トレースを定義する。
• 高さ関数とパラボリック部分群に基づく切断手順を実装し、非コンパクトな局所対称空間におけるカスプを扱う。
• 切断パラメータ T の関数としての切断トレースの漸近展開における定数項を抽出することにより、熱核の再正規化トレースを求める。
• リー代数内の共轭類に対して重み付き軌道積分を計算し、発散を制御するための重み関数（例：log(1 + x² + y²)）を組み込む。
• 熱核推定と GL(n,R) および SL(n,R) 上のスペクトル理論を用いて、t → 0 のときの正則化トレースの漸近的挙動を分析する。
• ラプラシアンの Eρ-値形式に関連するゼータ関数のゼータ正則化導関数を介して、解析 torsion を導出する。

実験結果

リサーチクエスチョン

• RQ1 非コンパクトで有限体積の高ランク局所対称空間に対する解析 torsion は、どのように正則化可能か？
• RQ2 トレース公式の構造を保つために、対称空間 SL(n,R)/SO(n) に対して適切な切断手順は何か？
• RQ3 対数的重み関数を用いた重み付き軌道積分は、正則化トレースの漸近展開にどのように影響するか？
• RQ4 t → 0 のとき、SL(n,R)/SO(n) 上の熱作用素に対する正則化トレースの漸近的挙動は何か？
• RQ5 非コンパクトで高ランクの場合に、解析 torsion を定義し、リードマイスター torsion と関連づけることは可能か？

主な発見

• SL(n,R)/SO(n) 上の熱作用素の正則化トレースは、log T と t のべきの漸近展開をもち、定数項が再正規化トレースとして定義される。
• GL(3) に対して、log(1 + x² + y²) を含む重み付き軌道積分は、t に関する対数的項を含む漸近展開をもたらし、具体的には t^{-(d-3)/2} log t および t^{-(d-4)/2} の形をとる。
• SL(n,R)/SO(n) に対する正則化トレースの漸近展開は、共轭類と重み関数に依存して、t^{-(d-k)/2} に t^{k/2} および t^{k/2} log t の級数を乗じた形をとることが示された。
• 本手法は双曲的3次元多様体のアプローチを高ランクへ一般化し、算術群のコホモロジーにおける torsion の成長を研究するための枠組みを提供する。
• 解析 torsion は、ラプラシアンに関連するゼータ関数のゼータ正則化導関数を介して定義され、レイ＝シンガーの定義を非コンパクト設定へ拡張する。
• 構成はアーバートのトレース公式と整合しており、Q 上の型 A_n の分解型に適用可能であり、今後の合同部分群のコホモロジーにおける torsion の研究を可能にする。