[论文解读] The K-theory of abelian versus nonabelian symplectic quotients

Megumi Harada, Gregory D. Landweber|ArXiv.org|Jan 12, 2006

Algebraic Geometry and Number Theory参考文献 32被引用 3

一句话总结

本文建立了马丁关于辛商的有理上同调结果的 K-理论类比，表明紧致连通李群 $G$ 作用下辛商 $M//G$ 的 K-理论可通过其极大环面 $T$ 的 $T$-不变元素以及一个 $\mathrm{Spin}^c$ 线丛的欧拉类来计算。关键创新在于，用 $e$ 的零化子替代马丁所依赖的 $e^2$，避免了对 Weyl 群阶数的除法，从而实现了对挠挠结构更敏感的计算。

ABSTRACT

We compare the K-theories of symplectic quotients with respect to a compact connected Lie group and with respect to its maximal torus, and in particular we give a method for computing the former in terms of the latter. More specifically, let G be a compact connected Lie group with no torsion in its fundamental group, let T be a maximal torus of G, and let M be a compact Hamiltonian G-space. Let M//G and M//T denote the symplectic quotients of M by G and by T, respectively. Using Hodgkin's Kunneth spectral sequence for equivariant K-theory, we express the K-theory of M//G in terms of the elements in the K-theory of M//T which are invariant under the action of the Weyl group, in addition to the Euler class e of a natural Spin^c vector bundle over M//T. This Euler class e is induced by the denominator in the Weyl character formula, viewed as a virtual representation of T; this is relevant for our proof. Our results are K-theoretic analogues of similar (unpublished) results by Martin for rational cohomology. However, our results and approach differ from his in three significant ways. First, Martin's method involves integral formulae, but the corresponding index formulae in K-theory are too coarse a tool, as they cannot detect torsion. Instead, we carefully analyze related K-theoretic pushforward maps. Second, Martin's method involves dividing by the order of the Weyl group, which is not possible in (integral) K-theory. We render this unnecessary by examining Weyl anti-invariant elements, proving a K-theoretic version of a lemma due to Brion. Finally, Martin's results are expressed in terms of the annihilator ideal of e^2, the square of the Euler class mentioned above. We are able to "remove the square", working instead with the annihilator ideal of e.

研究动机与目标

• 将马丁关于辛商的有理上同调结果推广到整上同调设置，使用 K-理论。
• 通过使用 K-理论作为更合适的框架，克服整上同调中的局限性，如挠挠结构和 Kirwan 满射性的失效。
• 提供一个以 $K(M//T)$ 表示 $K(M//G)$ 的 K-理论公式，避免对 Weyl 群阶数的除法并能处理挠挠结构。
• 用 $e$ 的零化子替代马丁所用的 $e^2$ 的零化子，简化结构并提升适用性。
• 建立一种方法，利用等变 K-理论的上推与下拉映射，结合 Weyl 群作用，计算辛商的 K-理论。

提出的方法

• 使用霍奇金的 Künneth 族谱序列处理等变 K-理论，关联 $K_G^*(M)$ 与 $K_T^*(M)$。
• 将 $K(M//G)$ 表征为 $K(M//T)$ 中 $W$-不变元素的子模，模去欧拉类 $e$ 的零化子，其中 $e$ 是一个 $\mathrm{Spin}^c$ 线丛的欧拉类。
• 利用 K-理论的上推与下拉映射分析从 $G$ 到 $T$ 的群约化下类的行为。
• 应用 K-理论版本的布里昂引理，避免在整 K-理论中无效的 Weyl 群平均操作。
• 使用由 Weyl 分母导出的欧拉类 $e$ 作为关键不变量，以剔除非不变类。
• 处理 $e$ 的零化理想，而非 $e^2$，从而消除对平方操作的需求，并在涉及挠挠结构的精确计算中提升精度。

实验结果

研究问题

• RQ1 如何从 $G$ 的极大环面 $T$ 的 $K(M//T)$ 计算辛商 $M//G$ 的 K-理论？
• RQ2 欧拉类 $e$ 在 $\mathrm{Spin}^c$ 线丛上如何关联 $K(M//G)$ 与 $K(M//T)$？
• RQ3 为何 K-理论比整上同调更适合推广马丁的有理上同调结果？
• RQ4 如何利用 Weyl 群作用表征 $K(M//G)$ 而不涉及对 $|W|$ 的除法？
• RQ5 能否用 $e$ 的零化子替代公式中的 $e^2$ 的零化子？其优势为何？

主要发现

• $M//G$ 的 K-理论同构于 $K(M//T)$ 中 $W$-不变元素的子模，且被欧拉类 $e$ 零化。
• 该方法通过使用 Weyl 反不变元素和 K-理论版本的布里昂引理，避免了对 $|W|$ 的除法。
• 欧拉类 $e$ 源于 Weyl 分母，对应于虚表示 $\mathfrak{g}/\mathfrak{t}$，这对计算至关重要。
• 仅使用 $e$ 的零化子即可剔除正确的子环，无需像马丁的上同调方法中那样使用 $e^2$。
• 即使在存在挠挠结构的情况下，该结果依然成立，而挠挠结构会破坏许多整上同调技术的有效性，从而凸显了 K-理论在此类计算中的优越性。
• 该框架可推广至其他上同调理论（如复复化），前提是存在 Thom 同构与欧拉类。