[論文レビュー] Continued fractions and Einstein manifolds of infinite topological type

David M. J. Calderbank, Michael A. Singer|ArXiv.org|Aug 30, 2005

advanced mathematical theories参考文献 9被引用数 3

ひとこと要約

本稿は、無理数 α ∈ (0,1) の修正連分数展開を用いて、非可算個の無限型トポロジー型で非コン pactな4次元多様体上に、負のスカラー曲率を持つ完全な自己双対エインシュタイン計量を構成する。この構成はトーリック対称性を利用し、有理数 α に対する有限連分数手法を無理数 α に拡張し、3 から N の間で有界な連分数係数 e_j を持つ滑らかで完全な計量をもたらす。

ABSTRACT

We present a construction of complete self-dual Einstein metrics of negative scalar curvature on an uncountable family of manifolds of infinite topological type, which are enumerated by continued fraction expansions of irrational numbers. These manifolds may be regarded as limits of the resolutions of cyclic quotient singularities (governed by continued fraction expansions of rational numbers) on which we constructed complete self-dual Einstein metrics in previous work.

研究の動機と目的

• 有理数 α に対する完全な自己双対エインシュタイン（SDE）計量の構成を無理数 α に拡張し、無限型トポロジー型の多様体をもたらすこと。
• 負のスカラー曲率をもつ非可算個の微分同相でない SDE 4次元多様体の存在を確立すること。
• T²作用が自由である稠密開部分多様体から始まり、計量が全多様体上で滑らかで完全であることを示すこと。
• 有限連分数のギブンズ＝ホーキング型アンザッツを、無限連分数データを用いてエインシュタイン設定に一般化すること。
• 連分数係数 e_j ∈ [3,N] に一様な有界性を与えることにより、非可算個の微分同相でない SDE 多様体の存在を保証すること。

提案手法

• 各無理数 α ∈ (0,1) に対して、e_j ≥ 2 を満たす修正連分数展開を関連付け、収束性を保証し、指定された交差数を持つ埋め込まれた2次元球面の列を定義する。
• S_j · S_j = e_j、S_j · S_{j+1} = -1、|j−k| > 1 のとき S_j · S_k = 0 を満たす無限個の2次元球面 S_j から生成される、b₂(M_α) = ∞ を満たす非コンパクト4次元多様体 M_α を構成する。
• M_α 上に計量を保存する T²作用を定義し、トーリック対称性を確保し、計量アンザッツを単純化する。
• 連分数データと双曲的ラプラシアンの固有関数から導かれるポテンシャル関数を用いて、M_α の稠密開部分多様体 U ⊂ M_α 上に SDE 計量 g_α を構成する。
• T²作用の固定点集合近傍における計量成分の一様推定を確立することで、g_α が全多様体に滑らかに拡張されることを証明する。
• ポisson核 k_y(x) とバッファ関数を含む積分推定を用いて、特異軌道付近の挙動を制御し、計量成分の有界性と完全性を保証する。

実験結果

リサーチクエスチョン

• RQ1 有理数 α から無理数 α への完全な SDE 計量の構成を、無限型トポロジー型多様体に拡張することは可能か？
• RQ2 連分数係数 e_j にどのような条件を課すと、非可算個の微分同相でない SDE 4次元多様体が存在するか？
• RQ3 T²作用が自由である稠密開部分多様体から始まる計量を、特に固定点集合付近で全多様体に滑らかに拡張することは可能か？
• RQ4 双曲的ラプラシアンの固有関数は、無限連分数に対する計量ポテンシャルの定義においてどのような役割を果たすか？
• RQ5 SDE 計量が完全であるための条件は何か？また、e_j の有界性はその完全性にどのように影響するか？

主な発見

• 構成により、無理数 α ∈ (0,1) によってパrameter化される、非可算個の微分同相でない完全な自己双対エインシュタイン4次元多様体が得られ、負のスカラー曲率をもつ。
• 任意の N ≥ 3 に対して、連分数係数が 3 ≤ e_j ≤ N を満たすとき、得られる計量 g_α は全多様体 M_α 上で滑らかで完全である。
• 固定点集合近傍における計量成分の一様推定により、T²作用が自由である稠密開部分多様体から始まる計量 g_α は、全多様体に滑らかに拡張される。
• 原点近傍における計量ポテンシャルの下界 w(x,y) ≥ C(x+y)^{-1} が保証され、C > 0 は e_j の有界性にのみ依存するため、計量が退化しない。
• 原点近傍におけるポテンシャル関数の上界 f(x,y) ≤ Ω√x は方向に一様であり、すべての方向で制御された成長と滑らかさを保証する。
• 連分数係数の無限連分数極限におけるポテンシャル関数が、双曲的ラプラシアンの固有関数性を用いても、well-defined かつ滑らかに保たれることを示すことにより、[3] の有限ケースの手法を一般化する。