[论文解读] Torus bundles and the group cohomology of GL(N,Z)

Jean‐Michel Bismut, John Lott|arXiv (Cornell University)|Feb 10, 1995

Advanced Algebra and Geometry参考文献 13被引用 6

一句话总结

该论文通过在底流形上显式地将特定示性类表示为恰当形式，确立了结构群为GL(N,Z)的平坦向量丛的该示性类的消失性。作者利用环丛构造及群上同调工具，证明该类在拓扑上是平凡的，为GL(N,Z)的上同调研究提供了关键结果。

ABSTRACT

We prove the vanishing of a certain characteristic class of flat vector bundles when the structure groups of the bundles are contained in GL(N,Z). We do so by explicitly writing the characteristic class as an exact form on the base of the bundle.

研究动机与目标

• 研究结构群为GL(N,Z)子群的平坦向量丛所关联的示性类的消失性。
• 通过涉及环丛的几何构造，理解GL(N,Z)的群上同调。
• 通过将示性类表示为底空间上的恰当形式，实现上同调类的几何实现。
• 通过显式微分形式建立某些示性类的拓扑平凡性。
• 在算术群与平坦丛的背景下，建立代数拓扑与微分几何之间的联系。

提出的方法

• 利用环丛作为几何模型，在流形上构造平坦向量丛。
• 利用环丛的几何性质，定义表示示性类的显式微分形式。
• 将所讨论的示性类表示为底流形上的恰当形式，从而表明其在上同调中消失。
• 应用群上同调与示性类的技术，分析GL(N,Z)的上同调性质。
• 利用GL(N,Z)作为算术群的结构，限制示性类可能非平凡性的范围。
• 利用平坦丛与群上同调之间的对偶性，将代数上同调问题转化为几何语言。

实验结果

研究问题

• RQ1 结构群为GL(N,Z)的平坦向量丛的示性类在上同调中是否消失？
• RQ2 该示性类能否在底流形上表示为恰当形式？
• RQ3 实系数下H^*(GL(N,Z); R)中的群上同调类具有何种几何意义？
• RQ4 环丛如何促进上同调类显式代表元的构造？
• RQ5 平坦GL(N,Z)-丛存在何种拓扑障碍，以及如何通过微分形式加以解决？

主要发现

• 与平坦GL(N,Z)-丛相关的示性类在上同调中消失，因其被显式实现为恰当形式。
• 作者在底流形上构造了一个表示该示性类的微分形式，并证明其为恰当形式。
• 该恰当性意味着该类在de Rham上同调中平凡，从而确认其拓扑平凡性。
• 该方法通过环丛结构，为GL(N,Z)的上同调消失性结果提供了几何证明。
• 该结果通过将GL(N,Z)的群上同调与微分几何及示性类相联系，深化了对GL(N,Z)群上同调的理解。
• 该构造表明，H^*(GL(N,Z); R)中的某些上同调类由于可几何实现为恰当形式而平凡。