[论文解读] Equivariant formality in $K$-theory

Chi Kwong Fok|arXiv (Cornell University)|Apr 16, 2017

Algebraic structures and combinatorial models参考文献 15被引用 7

一句话总结

本文建立了紧致连通李群作用于有限 CW 复化上的有理 $K$-理论等变形式性（RKEF）、经典有理上同调等变形式性，以及 $K$-理论中的有理弱等变形式性之间的等价性。证明了遗忘映射 $K_G^*(X;\mathbb{Q}) \to K^*(X;\mathbb{Q})$ 是满射当且仅当该作用是等变形式的，从而给出了经典 GKM 条件的 $K$-理论类比，并为已知的等变形式性结果提供了新的证明。

ABSTRACT

In this note we present an analogue of equivariant formality in $K$-theory and show that it is equivalent to equivariant formality \emph{à la} Goresky-Kottwitz-MacPherson. We also apply this analogue to give alternative proofs of equivariant formality of conjugation action on compact Lie groups, left translation action on generalized flag manifolds, and compact Lie group actions with maximal rank isotropy subgroups.

研究动机与目标

• 建立一个与经典有理上同调等变形式性相一致的 $K$-理论等变形式性类比。
• 通过基于有理 $K$-理论中遗忘映射的满射性来定义条件，从而解决 $K$-理论形式性中的歧义。
• 证明有理 $K$-理论形式性（RKEF）与经典等变形式性及有理弱等变形式性等价。
• 为关键例子（如紧致李群上的共轭作用、广义旗流形上的左平移作用，以及具有最大秩稳定子群的群作用）提供基于 $K$-理论方法的等变形式性结果的替代证明。

提出的方法

• 将有理 $K$-理论等变形式性（RKEF）定义为遗忘映射 $f_G \otimes \text{Id}_{\mathbb{Q}}: K_G^*(X;\mathbb{Q}) \to K^*(X;\mathbb{Q})$ 的满射性。
• 通过极大环面的 $K$-理论阿贝尔化及 Weyl 群不变性，将问题约化为环面作用的情形。
• 应用捆绑构造技术，证明任意向量丛在取足够多自身平凡丛的直和后可赋予等变结构。
• 利用等变形式空间的积仍是等变形式的性质，并通过捆绑映射的同伦等价性来提升等变结构。
• 通过 CW 复化维数的归纳法，结合稳定化后等变向量丛的同构性，证明 $V^\oplus p \oplus \underline{\mathbb{C}}^q$ 允许 $G$-结构。
• 利用 RKEF 与经典形式性之间的等价性，无需上同调方法，重新证明已知的 $K$-理论结果。

实验结果

研究问题

• RQ1 是否存在一个与经典有理上同调等变形式性等价的 $K$-理论类比？
• RQ2 在有理 $K$-理论中，遗忘映射的满射性是否意味着紧致李群作用于有限 CW 复化上的经典等变形式性？
• RQ3 RKEF 是否可用于通过 $K$-理论方法重新证明已知的等变形式性结果（如共轭作用和旗流形上的作用）？
• RQ4 有理弱等变形式性在 $K$-理论中是否与有理 $K$-理论形式性和经典形式性等价？
• RQ5 若稳定化丛 $V^\oplus p \oplus \underline{\mathbb{C}}^q$ 具有等变结构，是否意味着 $V$ 本身也具有 $G$-等变结构？

主要发现

• 对于紧致连通李群作用于有限 CW 复化的情形，有理 $K$-理论等变形式性（RKEF）与经典有理上同调等变形式性等价。
• 遗忘映射 $K_G^*(X;\mathbb{Q}) \to K^*(X;\mathbb{Q})$ 是满射当且仅当 $G$-作用是等变形式的。
• 通过遗忘映射满射性定义的 $K$-理论等变形式性类比，与 Harada 和 Landweber 定义的有理弱等变形式性等价。
• 紧致李群上的共轭作用是等变形式的，且该结果通过 $K$-理论方法得到重新证明。
• 广义旗流形上的左平移作用是等变形式的，且该结果通过 $K$-理论论证得以重新确立。
• 具有最大秩稳定子群的紧致李群作用是等变形式的，且通过向量丛的稳定化使其可赋予等变结构的方法得以证明。