[论文解读] Thom Prospectra for Loopgroup representations

Nitu Kitchloo, Jack Morava|ArXiv.org|Apr 29, 2004

Advanced Topics in Algebra参考文献 16被引用 8

一句话总结

该论文利用环群的仿射蒂茨建筑，为流形的自由环路空间构造了一个 ${\mathbb{T}}$-等变 Thom 线丛，通过弦拓扑实现了对维滕指标的新实现。关键贡献在于构造了一个 ${\mathbb{T}}\tilde{\times}LG$-等变收缩的光滑蒂茨建筑，为切丛提供了典范过滤，从而实现了由弗里德、霍普金斯与特勒曼所猜想的 $LG$-等变 $K$-理论与正能表示之间的对偶性。

ABSTRACT

We construct an S^1-equivariant prospectrum that models the Atiyah dual of a free loop space of a manifold. By applying a suitably completed S^1-equivariant K-theory to the Atiyah dual, we show how to recover the Witten genus of the manifold. The main technical tool is a Tits building for the loop group. We use this building to construct a dualizing spectrum for the loop group and relate it to work of Freed, Hopkins and Teleman.

研究动机与目标

• 发展流形自由环路空间的 ${\mathbb{T}}$-等变 Atiyah 对偶版本，将经典的 Spanier-Whitehead 对偶推广至无限维弦拓扑设定。
• 构建自由环路空间的典范等变“加厚”结构，其切丛可通过环群的仿射蒂茨建筑实现有限维过滤。
• 建立由蒂茨建筑构造的对偶化谱的 $LG$-等变 $K$-理论与 $LG$ 的正能表示之间的对偶性，与弗里德-霍普金斯-特勒曼猜想一致。
• 通过 ${\mathbb{T}}$-等变 $K$-理论中的新强局部化定理，从弦拓扑视角重构维滕指标。

提出的方法

• 利用代数环群 $L_{\text{alg}}G$ 的抛物子群 $H_I$ 索引的 $\{0,1,\ldots,n\}$ 的真子集，构造仿射蒂茨建筑 ${\bf A}(L_{\text{alg}}G)$ 的同伦余极限。
• 通过李代数上的伴随作用，建立 ${\bf A}(L_{\text{alg}}G)$ 与 $S^1 \times G$ 上连接空间之间的 ${\mathbb{T}}\tilde{\times}L_{\text{alg}}G$-等变同胚。
• 将光滑蒂茨建筑 ${\bf A}(LG)$ 构造为基变换 $LG \times_{L_{\text{alg}}G} {\bf A}(L_{\text{alg}}G)$，证明其为 ${\mathbb{T}}\tilde{\times}LG$-等变收缩。
• 应用 ${\mathbb{T}}$-等变 $K$-理论中的新强局部化定理，分析所构造 Thom 线丛的 $K$-理论，并重构维滕指标。
• 通过弗里德-霍普金斯-特勒曼猜想，将对偶化谱的 $K$-理论与韦林德代数联系起来，以蒂茨建筑作为几何基础。
• 利用评估映射 $e: LM \to M$ 定义 $LM$ 的切丛的 $LG$-等变结构，通过蒂茨建筑过滤实现提升。

实验结果

研究问题

• RQ1 如何在尊重 ${\mathbb{T}}$-作用并捕捉弦拓扑结构的前提下，将流形的 Atiyah 对偶推广至自由环路空间？
• RQ2 环群的蒂茨建筑在为自由环路空间的切丛构造典范过滤中起到何种作用？
• RQ3 能否通过蒂茨建筑与新的局部化定理构造的 ${\mathbb{T}}$-等变 Thom 线丛，重构维滕指标？
• RQ4 由蒂茨建筑构造的对偶化谱的 $LG$-等变 $K$-理论与 $LG$ 的正能表示之间存在何种关系？
• RQ5 光滑蒂茨建筑 ${\bf A}(LG)$ 以何种方式作为 $S^1$ 上平凡 $G$-丛的连接空间的几何模型？

主要发现

• 证明了光滑蒂茨建筑 ${\bf A}(LG)$ 为 ${\mathbb{T}}\tilde{\times}LG$-等变收缩，从而为自由环路空间提供了典范的 ${\mathbb{T}}$-等变加厚结构。
• ${\bf A}(LG)$ 同胚于满足 $g(0) = 1$ 的 $1$-周期 $G$-值环路空间，可解释为 $S^1$ 上平凡 $G$-丛的连接空间。
• 该构造产生了一个 $LM$ 的 ${\mathbb{T}}$-等变 Thom 线丛，其 $K$-理论通过新局部化定理，以特征形式重构了维滕指标。
• 由蒂茨建筑构造的对偶化谱的 $LG$-等变 $K$-理论在猜想下同构于韦林德代数，与弗里德-霍普金斯-特勒曼猜想一致。
• 仿射蒂茨建筑 ${\bf A}(L_{\text{alg}}G)$ 被实现为商空间 $ (L_{\text{alg}}G/T \times \Delta)/\sim $，其稳定子为抛物子群 $H_I$，且同胚于一个连接空间的仿射空间。
• ${\mathbb{T}}\tilde{\times}LG$ 在 ${\bf A}(LG)$ 上的作用为仿射作用，且扩展了伴随作用，确保在紧致子群作用下空间为收缩。