[论文解读] 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}$(\mathbf{T}_G^*M)$ 的结构进行了全面阐述与改进，重点研究横截椭圆微分 operators。研究结果表明，当 $G$ 为阿贝尔群时，$\mathbf{K}^0_G(\mathbf{T}_G^*V)$ 同构于广义 Dahmen-Michelli 空间 $\mathrm{DM}_G(V)$，而 $\mathbf{K}^0_G(\mathbf{T}_G^*V^{̄{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)$ 与广义 Dahmen-Michelli 空间 $\mathrm{DM}_G(V)$ 之间的同构关系。
• 利用无穷小稳定子群与商空间上的复结构，对 $\mathbf{K}^*_{G}(\mathbf{T}_G^*V)$ 中生成元与关系的几何与表示论特征进行刻画。
• 统一并拓展 Atiyah-Singer 与 de Concini-Procesi-Vergne 在解析指标及其在 $R^{-\infty}(G)$ 中像方面的结果。

提出的方法

• 利用上推映射 $i_!$ 将 $\mathbf{K}^0_G(\mathbf{T}_G^*M)$ 与 $\mathbf{K}^0_G(\mathbf{T}_G^*V)$ 关联起来，其中 $M \hookrightarrow V$ 是嵌入到 $G$-表示空间 $V$ 中，从而将问题约化为线性情形。
• 应用 Bott-Thom 同构与指标映射 $\mathrm{Index}^G_V$，将 $\mathbf{K}^0_G(\mathbf{T}_G^*V)$ 识别为 $R^{-\infty}(G)$，并借助 Bott-Thom 同构的逆映射。
• 引入广义 Dahmen-Michelli 空间 $\mathcal{F}_G(V)$ 与子模 $\mathrm{DM}_G(V)$，作为 $R^{-\infty}(G)$ 的子模，其定义基于表示的支集与上同调条件。
• 采用形变技巧与K-理论的同伦不变性，证明某些符号类等价，特别是通过 Clifford 乘法与可逆扰动的使用。
• 利用切向 $\overline{\partial}$-算子与 Bott 符号构造，将上推映射 $i_!$ 实现为包含 $\sigma_{\overline{\partial}}^V \odot \mathrm{Bott}(\mathbf{T}\mathbb{R})$ 的复合，从而与 Thom 同构相联系。
• 分析符号族 $\tau_s$ 与 $\sigma_s$ 的支集，证明同伦不变性，表明其支集在 $\mathbf{T}_G^*V$ 或 $\mathbf{T}_G^*(S\times\mathbb{R})$ 上与紧致集相交，从而保持K-理论类。

实验结果

研究问题

• RQ1 当 $G$ 为阿贝尔紧致李群且 $V$ 为实 $G$-模时，$\mathbf{K}^0_G(\mathbf{T}_G^*V)$ 的精确代数结构是什么？
• RQ2 广义 Dahmen-Michelli 空间 $\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_!$ 与 Thom 同构如何通过符号形变与 Clifford 模显式实现？

主要发现

• 当 $G$ 为阿贝尔紧致李群且 $V$ 为实 $G$-模时，$\mathbf{K}^0_G(\mathbf{T}_G^*V)$ 同构于广义 Dahmen-Michelli 空间 $\mathrm{DM}_G(V)$，其定义为所有 $\mathfrak{h} \neq \mathfrak{h}_{\min}$ 的 $\langle R^{-\infty}(G/H_{\min}) \rangle$ 与 $\wedge^\bullet \overline{V/V^{\mathfrak{h}}} \otimes \Phi$ 的核的交集。
• $\mathbf{K}^0_G(\mathbf{T}_G^*V^{\mathrm{gen}})$（其中 $V^{\mathrm{gen}}$ 为最大轨道的开稠密子集）同构于 $\mathcal{F}_G(V)$，其定义为所有满足 $\wedge^\bullet \overline{V/V^{\mathfrak{h}}} \otimes \Phi \in \langle R^{-\infty}(G/H) \rangle$ 的 $\Phi \in R^{-\infty}(G)$，其中 $\mathfrak{h} \in \Delta_G(V)$。
• 指标映射 $\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}$-算子与 Bott 符号实现，表明在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)$，从而确认了 Thom 同构与指标映射之间的相容性。