[論文レビュー] On the structure of K_G(T_G M)

Paul-Émile Paradan|arXiv (Cornell University)|Sep 18, 2012

Advanced Operator Algebra Research参考文献 10被引用数 3

ひとこと要約

本稿は、多様体上のコンパクトなリー群作用における等変K理論群 $\mathbf{K}^*_{G}(Δ}_G^*M)$ の構造について、包括的かつ洗練された記述を提供している。特に、横断的楕円型作用素に焦点を当て、アーベル群 $G$ の場合、$\mathbf{K}^0_G(\mathbf{T}_G^*V)$ が一般化されたダーメン＝ミケル空間 $\mathrm{DM}_G(V)$ に同型であり、$\mathbf{K}^0_G(\mathbf{T}_G^*V^{ \mathrm{gen}})$ が空間 $\mathcal{F}_G(V)$ に同型であることを確立している。これにより、表現論的および幾何的データを用いた、これらの群の完全な代数的記述が得られる。

ABSTRACT

In this expository paper, we revisit the results of Atiyah-Singer and de Concini-Procesi-Vergne concerning the structure of the K-theory groups K_G(T_G M).

研究の動機と目的

• 横断的楕円型記号に関連する等変K理論群 $\mathbf{K}^*_{G}(\mathbf{T}_G^*M)$ の構造を再表現・明確化すること。
• アーベル群 $G$ の場合に、$\mathbf{K}^0_G(\mathbf{T}_G^*V)$ と一般化されたダーメン＝ミケル空間 $\mathrm{DM}_G(V)$ の間に同型を確立すること。
• $\mathbf{K}^*_{G}(\mathbf{T}_G^*V)$ の生成子と関係式を、無限小安定化子と商空間上の複素構造を用いて、幾何的および表現論的特徴づけを行うこと。
• アティヤ＝シンガーおよびデ・コンチーニ＝プロチェージ＝ベルンの結果を統合・拡張し、解析的インデックスと $R^{-\infty}(G)$ 内の像に関する結果を統一すること。

提案手法

• 埋め込み $M \hookrightarrow V$ による $G$-表現空間 $V$ への埋め込みを用い、$\mathbf{K}^0_G(\mathbf{T}_G^*M)$ と $\mathbf{K}^0_G(\mathbf{T}_G^*V)$ の間の押し出し写像 $i_!$ を導入し、線形化への還元を可能にする。
• ボット＝トム同型とインデックス写像 $\mathrm{Index}^G_V$ を適用し、$\mathbf{K}^0_G(\mathbf{T}_G^*V)$ を $R^{-\infty}(G)$ に同定する。ボット＝トム同型の逆を用いる。
• 一般化されたダーメン＝ミケル空間 $\mathcal{F}_G(V)$ と部分加群 $\mathrm{DM}_G(V)$ を、$R^{-\infty}(G)$ の部分加群として、表現の台とコhomological条件によって定義する。
• 変形技術と $K$-理論のホモトピー不変性を用い、特にクリフォード乗法と可逆な摂動の利用により、特定の記号類が同値であることを示す。
• 接線的 $\overline{\partial}$-作用素とボット記号構成を用い、押し出し $i_!$ を $\sigma_{\overline{\partial}}^V \odot \mathrm{Bott}(\mathbf{T}\mathbb{R})$ を含む合成として実現し、トム同型と関連付ける。
• 記号族 $\tau_s$ と $\sigma_s$ の台を解析し、ホモトピー不変性を証明する。これらが $\mathbf{T}_G^*V$ または $\mathbf{T}_G^*(S\times\mathbb{R})$ とコンパクト集合で交わることを示し、$K$-理論類を保存することを示す。

実験結果

リサーチクエスチョン

• RQ1 アーベル群 $G$ と実 $G$-加群 $V$ に対して、$\mathbf{K}^0_G(\mathbf{T}_G^*V)$ の正確な代数的構造は何か？
• RQ2 一般化されたダーメン＝ミケル空間 $\mathcal{F}_G(V)$ と $\mathrm{DM}_G(V)$ は、$\mathbf{T}_G^*V$ の等変 $K$-理論とどのように関係するか？
• RQ3 アーベルの場合に、インデックス写像 $\mathrm{Index}^G_M: \mathbf{K}^0_G(\mathbf{T}_G^*M) \to R^{-\infty}(G)$ は、生成子と関係式を用いて完全に記述可能か？
• RQ4 無限小安定化子 $\mathfrak{h} \in \Delta_G(V)$ と $V/V^{\mathfrak{h}}$ 上の複素構造は、$\mathbf{K}^0_G(\mathbf{T}_G^*V)$ の $R(G)$-加群構造を定義するために果たす役割は何か？
• RQ5 押し出し $i_!$ とトム同型は、記号の変形とクリフォード加群の観点からどのように明示的に実現できるか？

主な発見

• アーベルなコンパクトリー群 $G$ と実 $G$-加群 $V$ に対して、$\mathbf{K}^0_G(\mathbf{T}_G^*V)$ は一般化されたダーメン＝ミケル空間 $\mathrm{DM}_G(V)$ に同型であり、これは $\mathfrak{h} \neq \mathfrak{h}_{\min}$ 全ての $\mathfrak{h}$ に対して $\langle R^{-\infty}(G/H_{\min}) \rangle$ と $\wedge^\bullet \overline{V/V^{\mathfrak{h}}} \otimes \Phi$ の核との共通部分として定義される。
• $V^{\mathrm{gen}}$（最大軌道の開くっついた部分集合）に対して、空間 $\mathbf{K}^0_G(\mathbf{T}_G^*V^{\mathrm{gen}})$ は $\mathcal{F}_G(V)$ に同型であり、これは $\Phi \in R^{-\infty}(G)$ で、すべての $\mathfrak{h} \in \Delta_G(V)$ に対して $\wedge^\bullet \overline{V/V^{\mathfrak{h}}} \otimes \Phi \in \langle R^{-\infty}(G/H) \rangle$ を満たすような集合として定義される。
• $\mathrm{Index}^G_V: \mathbf{K}^0_G(\mathbf{T}_G^*V) \to R^{-\infty}(G)$ は、$\mathbf{K}^0_G(\mathbf{T}_G^*V)$ を $\mathrm{DM}_G(V)$ に同定し、解析的インデックスの像の完全な代数的記述を提供する。
• $\mathbf{T}_G^*M$ から $\mathbf{T}_G^*V$ への押し出し $i_!$ は、記号を $\overline{\partial}$-作用素とボット記号へ変形することにより実現され、$K$-理論において $i_!(\sigma) = \sigma_{\overline{\partial}}^V \odot \mathrm{Bott}(\mathbf{T}\mathbb{R})$ であることが示される。
• $\tau_s$ と $\sigma_s$ の記号族の台は、$\mathbf{T}_G^*V$ や $\mathbf{T}_G^*(S\times\mathbb{R})$ に制限したときにコンパクトであるため、横断的楕円型記号のホモトピーを定義し、$K$-理論類を保存することが証明される。
• $\mathrm{Thom}_{-\beta}(V) - \mathrm{Thom}_{\beta}(V)$ は記号 $\mathrm{Cl}(\xi') + \mathrm{Cl}(t + i\mathrm{Re}(z))$ によって表され、これは $i_!(\sigma_{\overline{\partial}}^V)$ に等しい。これにより、トム同型がインデックス写像と整合することが確認される。