[論文レビュー] Cheeger-Mueller Theorem on manifolds with cusps

Boris Vertman|arXiv (Cornell University)|Nov 3, 2014

Geometric Analysis and Curvature Flows参考文献 47被引用数 4

ひとこと要約

本稿では、鋸歯状の境界を持つウィット多様体に対するチーバー＝ミュラー定理を、正規化されたレイ＝シュライヤー解析的 torsion と交差 R-torsion の等価性を示すことによって確立する。誤差項は、鋸歯状境界のコア・セクションのベッチ数とモデル錐の torsion に依存する。証明は、モデル鋸歯状領域における解析的 torsion の明示的計算と、漸近的に錐状に近づく端を持つ非コンパクト多様体に対する一般化された接合公式を組み合わせることでなされる。

ABSTRACT

We prove equality between the renormalized Ray-Singer analytic torsion and the intersection R-torsion on a Witt-manifold with cusps, up to an error term determined explicitly by the Betti numbers of the cross section of the cusp and the intersection R-torsion of a model cone. In the first step of the proof we compute explicitly the renormalized Ray-Singer analytic torsion of a model cusp in general dimension and without the Witt-condition. In the second step we establish a gluing formula for renormalized Ray-Singer analytic torsion on a general class of non-compact manifolds in any dimension that includes Witt-manifolds with cusps, but also scattering manifolds with asymptotically conical ends. In the final step, a Cheeger-Mueller theorem on cusps follows by a combination of the previous explicit computation and the gluing formula.

研究の動機と目的

• 非コンパクトウィット多様体に、鋸歯状特異点をもつチーバー＝ミュラー定理を拡張すること。
• 特異空間における解析的 torsion のスペクトル寄与を扱う課題を、正規化の導入によって解決すること。
• 漸近的に錐状に近づく端を持つ非コンパクト多様体における解析的 torsion の一般化された接合公式を確立すること。
• 一般次元におけるモデル鋸歯状領域に対して、正規化されたレイ＝シュライヤー解析的 torsion を明示的に計算すること。
• ウィット多様体に鋸歯状特異点をもつ場合の、解析的 torsion と交差 R-torsion の等価性を、位相的に決定される誤差項を含めて証明すること。

提案手法

• 修正ベッセル関数の漸近挙動を用いて、スカラー鋸歯状作用素のゼータ正則化行列式を明示的に計算する。
• 鋸歯状および散乱的端を含む、一般クラスの非コンパクト多様体における正規化されたレイ＝シュライヤー解析的 torsion の接合公式を導出する。
• スプレアフィコの二重和法を用いて、無限大のモデル鋸歯状領域の解析的 torsion を計算する。
• 接合公式を用いて、全多様体における解析的 torsion を切り詰めた鋸歯状領域と内部領域におけるものとに関連付ける。
• 分層空間における交差コホモロジー枠組みとダールの交差 R-torsion に依拠する。
• モデル鋸歯状領域における明示的計算と接合公式を組み合わせることで、チーバー＝ミュラー等価性を導出する。

実験結果

リサーチクエスチョン

• RQ1 非コンパクトウィット多様体に鋸歯状特異点をもつ場合、チーバー＝ミュラー定理は成立するか？
• RQ2 任意次元におけるモデル鋸歯状領域において、正規化されたレイ＝シュライヤー解析的 torsion はどのように振る舞うか？
• RQ3 漸近的に錐状に近づく端を持つ非コンパクト多様体において、解析的 torsion の一般化された接合公式を確立できるか？
• RQ4 ウィット多様体に鋸歯状特異点をもつ場合、解析的 torsion と交差 R-torsion の間の正確な誤差項は何か？
• RQ5 鋸歯状境界のコア・セクションのベッチ数とモデル錐の torsion は、解析的 torsion と組み合わせ的 torsion の乖離にどのように寄与するか？

主な発見

• ウィット条件を仮定しない一般次元において、モデル鋸歯状領域における正規化されたレイ＝シュライヤー解析的 torsion が明示的に計算可能である。
• 鋸歯状および散乱的端を含む、漸近的に錐状に近づく端を持つ非コンパクト多様体に対して、解析的 torsion の一般化された接合公式が確立された。
• ウィット多様体に鋸歯状特異点をもつ場合、チーバー＝ミュラー定理は成り立ち、解析的 torsion と交差 R-torsion は、鋸歯状境界のコア・セクションのベッチ数とモデル錐の torsion を含む項によって差異を示す。
• チーバー＝ミュラー等価性における誤差項は、絶対値 |p - n/2| を係数とし、ベッチ数と対数因子を重み付けた、コホモロジー次元に関する和として明示的に与えられる。
• この結果は、特異空間における解析的 torsion の位相的解釈を確認し、古典的定理をコンパクト多様体を超えて拡張することを示している。
• 最終的な公式は、解析的 torsion と交差 torsion の対数比を、コホモロジー次元に関する和として表し、係数には |n/2 - p| と log(2|n/2 - p|) を含む。