[论文解读] Higher torsion in p-groups, Casimir operators and the classifying spectral sequence of a Lie algebra

Jonathan Pakianathan, Nicholas F. Rogers|arXiv (Cornell University)|Jul 15, 2010

Algebraic structures and combinatorial models参考文献 25被引用 3

一句话总结

本文引入了一个谱序列 Er[g]，用于模拟由 p-进李代数导出的 p-群的博克斯坦谱序列，揭示了在特征 p 下的相变现象。对于 sl₂(𝔽ₚ)，E₁[sl₂(𝔽ₚ)] 至少需要 17 个生成元——远多于特征零情况下的两个生成元——表明其整上同调中存在异常的 torsion 现象。

ABSTRACT

We study exceptional torsion in the integral cohomology of a family of p-groups associated to p-adic Lie algebras. A spectral sequence E r [g] is defined for any Lie algebra g which models the Bockstein spectral sequence of the corresponding group in characteristic p. This spectral sequence is then studied for complex semisimple Lie algebras like sln(C), and the results there are transferred to the corresponding p-group via the intermediary arithmetic Lie algebra defined over Z. Over C, it is shown that E 1 [g] = H (g, U(g)) = H(ΛBG) where U(g) is the dual of the universal enveloping algebra of g and ΛBG is the free loop space of the classifying space of a Lie group G associated to g. In characteristic p, a phase transition is observed. For example, it is shown that the algebra E 1 [sl2[Fp]] requires at least 17 generators unlike its characteristic zero counterpart which only requires two.

研究动机与目标

• 定义一个谱序列 Er[g]，用于模拟与 p-进李代数相关的 p-群在特征 p 下的博克斯坦谱序列。
• 分析该谱序列在特征零与特征 p 下的行为，特别是针对复半单李代数如 sln(ℂ) 的情形。
• 通过在 ℤ 上定义的算术李代数，将复数情形下的结果推广至 p-进设置。
• 研究在特征零与特征 p 下上同调复杂性之间的结构性差异，特别是生成元数量方面。
• 识别并量化 p-群整上同调中异常 torsion 现象的存在。

提出的方法

• 为任意李代数 g 定义谱序列 Er[g]，该谱序列在特征 p 下模拟对应 p-群的博克斯坦谱序列。
• 证明在 ℂ 上，E₁[g] ≅ H(g, U(g)) ≅ H(ΛBG)，其中 U(g) 是泛包络代数的对偶，ΛBG 是与李群 G（由 g 关联）的分类空间的自由环路空间。
• 利用 ℤ 上的算术李代数作为中介，将复数情形下的结果提升至 p-进设置。
• 通过比较 E₁[sl₂(𝔽ₚ)] 与特征零情形下的对应结构，分析谱序列在特征 p 下的行为。
• 应用李代数上同调、谱序列理论以及 p-进群表示论的技术，检测 torsion 现象。
• 证明 E₁[sl₂(𝔽ₚ)] 所需的生成元数量远超特征零情形，表明发生了相变。

实验结果

研究问题

• RQ1 谱序列 Er[g] 如何模拟由 p-进李代数导出的 p-群的博克斯坦谱序列？
• RQ2 在复数情形下，泛包络代数对偶的上同调与分类空间的自由环路空间的上同调之间有何关系？
• RQ3 在生成元复杂性方面，E₁[sl₂(𝔽ₚ)] 与 E₁[sl₂(ℂ)] 的结构有何不同？
• RQ4 本文提供了哪些证据表明从特征零到特征 p 时，上同调结构发生了相变？
• RQ5 E₁[sl₂(𝔽ₚ)] 所需的最小生成元数量是多少？与特征零情形相比如何？

主要发现

• 在 ℂ 上，谱序列满足 E₁[g] ≅ H(g, U(g)) ≅ H(ΛBG)，将李代数上同调与分类空间的自由环路空间的拓扑联系起来。
• 在特征 p 下，发生相变：与特征零情形相比，上同调复杂性显著增加。
• 对于 sl₂(𝔽ₚ)，谱序列 E₁[sl₂(𝔽ₚ)] 至少需要 17 个生成元，而特征零情形下仅需两个生成元。
• 生成元数量的增加表明对应 p-群的整上同调中存在异常 torsion。
• 结果通过 ℤ 上的算术李代数从复半单李代数 sln(ℂ) 推广至 p-群。
• 谱序列 Er[g] 在表示理论、李代数上同调与正特征下 p-群的拓扑之间建立了桥梁。