[论文解读] Rational Equivariant Spectra

David Barnes|ArXiv.org|Feb 7, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 26被引用 8

一句话总结

本论文利用模型范畴理论与谱代数，对有限群和紧致李群的有理等变上同调理论进行了分类。通过博斯菲尔德局部化构造有理G-谱，并证明对于有限群，有理G-谱的同伦范畴等价于一个代数环类上的模范畴，推广了早期结果。关键贡献是利用对合范畴与斜群环，对有理O(2)-等变谱实现了基于莫里塔理论的分解，为连续二面体群O(2)提供了完整的代数模型。

ABSTRACT

We develop model categories of rational equivariant spectra whose homotopy categories are equivalent to the category of rational equivariant cohomology theories. We prove that given an orthogonal decomposition of the unit in the rational Burnside ring, the model category of rational equivariant spectra decomposes into a product of localisations. We use this result to reprove the classification of rational equivariant cohomology theories for finite groups and to study such cohomology theories for the group O(2). We then concentrate on a split piece of the O(2) case and relate it to rational SO(2) equivariant spectra.

研究动机与目标

• 为有限群与紧致李群的有理G-谱同伦范畴提供完整的代数模型。
• 将有理G-等变上同调理论的分类推广至非有限群，特别是非阿贝尔群与正维数群如O(2)。
• 开发一种利用幂等族与模型范畴技术分解有理G-谱的框架。
• 建立有理O(2)-谱与斜群环上模范畴之间的莫里塔等价，实现代数计算。
• 引入并研究对合范畴与模型范畴，以处理等变同伦理论中威利群的作用与对偶性。

提出的方法

• 通过在有理同调上进行局部化，利用G-谱的模型范畴的博斯菲尔德局部化构造有理G-谱。
• 应用丰富范畴与ν-范畴理论，对具有对合结构的等变谱进行建模。
• 引入范畴τ#ι∗SQ–mod作为有理O(2)-谱的模型，该模型由拓扑Etop-谱与斜群环构造而成。
• 利用对合函子与莫里塔等价，关联不同环类上模范畴之间的关系，特别是mod–Etop与mod–φ∗N˜QEtop之间。
• 使用斜群环构造来建模O(2)的威利群作用，从而将谱分解为不可约分量。
• 应用闭C-模与谱模型范畴的理论，将代数等价性提升为同伦等价性。

实验结果

研究问题

• RQ1 如何对非有限群（如O(2)）的有理G-谱进行代数分类？
• RQ2 有理O(2)-等变谱的同伦范畴具有何种结构？
• RQ3 能否通过幂等族将有理O(2)-谱范畴分解为更简单的代数分量？
• RQ4 范畴与模型范畴上的对合结构如何反映O(2)-等变同伦理论中的对偶性与对称性？
• RQ5 斜群环构造在建模威利群作用并实现莫里塔等价中起到何种作用？

主要发现

• 对于有限群G，有理G-谱的同伦范畴等价于G的子群H的共轭类的乘积，其上为有理威利群环QWGH上的分次模范畴。
• 有理O(2)-谱的范畴等价于在Etop-谱上通过斜群环构造所得的模范畴，从而提供了完整的代数模型。
• 证明了范畴τ#ι∗SQ–mod与mod–Etop之间存在通过对合函子实现的莫里塔等价，建立了O(2)-谱与其代数对应物之间的对偶性。
• 构建了一种新的莫里塔等价，连接mod–φ∗N˜QEtop与mod–Dφ∗N˜QEtop，表明有理O(2)-谱可借助带有相容对合结构的dgQ-模进行建模。
• 本文证明了有理O(2)-谱范畴可分解为若干扭群环上模范畴的乘积，推广了有限群情形的结果。
• 利用对合模型范畴与ν-范畴理论，将代数等价性提升为同伦等价性，为等变有理同伦理论提供了稳健的框架。