[論文レビュー] Desingularizing compact Lie group actions

Ken Richardson|ArXiv.org|Aug 31, 2009

Advanced Operator Algebra Research参考文献 8被引用数 5

ひとこと要約

本稿は、多様体上のコンpakトなリー群作用の特異性を解消する手続きを導入し、より少ない軌道型を有する新たな $G$-多様体を構成することで、横断的楕円型作用素の解析を簡略化する。元の多様体上のディラク型作用素の等置不変なスペクトルデータと商空間上の楕円型作用素との間に同型写像を確立し、ヒルベルト空間の等長写像とスペクトル対応を通じて、複雑な等置不変問題を扱いやすい楕円型問題に還元する。

ABSTRACT

This note surveys the well-known structure of G-manifolds and summarizes parts of two papers that have not yet appeared in print: one with joint with J. Bruning and F. W. Kamber, and another with I. Prokhorenkov. In particular, from a given manifold on which a compact Lie group acts smoothly, we construct a sequence of manifolds on which the same Lie group acts, but with fewer levels of singular strata. Global analysis and geometric results on the simpler manifolds may be translated to results on the original manifold. Further, we show that by utilizing bundles over a G-manifold with singular strata, we may construct natural equivariant transverse Dirac-type operators that have properties similar to Dirac operators on closed manifolds.

研究の動機と目的

• 特異的 $G$-多様体上の横断的楕円型作用素の解析を、より少ない軌道型を有する特異性解消多様体を用いて簡略化すること。
• 多様体 $M$ 上の等置不変な横断的楕円型ディラク作用素の研究を、より扱いやすい標準的解析が可能な商空間 $F_O/G$ 上の楕円型作用素に還元すること。
• 元の $G$-多様体上の作用素と商空間上の作用素との間のスペクトル対応を確立し、幾何学的・解析的結果の移行を可能にすること。
• 等置不変バンドルと曲率に基づく構成を用いて、ディラク作用素理論を横断的楕円型設定へ一般化すること。
• 表現の特徴関数に対するフーリエ変換風の公式を提示し、アティヤ＝セゴールおよびベルラン＝ヴェルヌの定理を横断的楕円型作用素へ拡張すること。

提案手法

• 元の $G$-多様体 $M$ の分岐被覆 $N$ を構成し、基本領域 $\widetilde{M}$ を用いて特異性解消を行う。
• 主な特異的層 $M_j$ の近傍にチューブ近傍 $T_\varepsilon(M_j)$ を用い、吹き上げ技術を用いて特異性解消を定義する。
• 主軌道型層の正規バンドルのフレームバンドル $F_O$ 上に $G \times O(n)$-等置不変バンドル $E \to F_O$ を定義する。
• 接続の射影と Clifford 積を用い、$N^*\mathcal{F} \otimes E$ 上に横断的ディラク作用素 $D_{\mathrm{tr}}$ を構成し、平均曲率ベクトル $H$ を用いて $D_{N\mathcal{F}} = D_{\mathrm{tr}} - \frac{1}{2}c(H)$ を定義する。
• 不変断面への制限を通じて、$M$ 上の $G$-等置不変作用素 $D_M^\sigma$ と商空間 $F_O/G$ 上の $O(n)$-等置不変作用素 $D_{F_O/G}^\rho$ を誘導する。
• 定理 3.1 を用い、$\Gamma(M, \mathcal{E}^\sigma)^\rho$ と $\Gamma(F_O/G, \mathcal{T}^\rho)^\sigma$ 間に $L^2$-等長写像対応を確立し、スペクトルデータを保存する。

実験結果

リサーチクエスチョン

• RQ1 特異的 $G$-多様体上の横断的楕円型作用素の解析を、より単純な空間上の楕円型問題に体系的に還元する方法は何か？
• RQ2 元の $M$ 上の等置不変な横断的楕円型ディラク作用素と商空間 $F_O/G$ 上の楕円型作用素との間の正確なスペクトル対応は何か？
• RQ3 $G$-多様体上での横断的ディラク作用素の構成は、横断的楕円型設定において古典的ディラク作用素理論の類似をもたらすか？
• RQ4 特異性解消プロセスは、元の多様体の等置幾何における表現論的構造をどのように保存または反映するか？
• RQ5 このスペクトル還元枠組みを用いて、アティヤ＝セゴールおよびベルラン＝ヴェルヌの指数定理をどの程度まで一般化できるか？

主な発見

• 特異性解消多様体 $\widetilde{M} \subset N$ は、$M$ の分岐 $G$-不変被覆であり、主な軌道型層のみを有するため、軌道型構造が単純化される。
• フレームバンドル $F_O$ 上の横断的ディラク作用素 $D_{\mathrm{tr}}$ は、接続、正規バンドルへの射影、および Clifford 積を用いて構成される。
• 作用素 $D_{N\mathcal{F}} = D_{\mathrm{tr}} - \frac{1}{2}c(H)$ は本質的に自己随伴的であり、$G \times O(n)$-等置不変的である。
• $\Gamma(M, \mathcal{E}^\sigma)^\rho$ と $\Gamma(F_O/G, \mathcal{T}^\rho)^\sigma$ 間に自然な $L^2$-等長写像が存在し、ヒルベルト空間の同型写像へ拡張される。
• $\left(D_M^\sigma\right)^\rho$ と $\left(D_{F_O/G}^\rho\right)^\sigma$ は同一の離散スペクトルと共役な固有空間を持つ。
• スペクトル対応により、$M$ 上の横断的楕円型問題は $F_O/G$ 上の楕円型問題に還元可能であり、エータ不変量や特徴関数公式の新たな計算が可能になる。