[论文解读] Group homology and ideal fundamental cycles

Thilo Kuessner|arXiv (Cornell University)|Jul 15, 2010

Advanced Algebra and Geometry参考文献 8被引用 4

一句话总结

本文证明，通过群上同调与表示构造的有限体积、奇数维非紧型局部对称空间的同调Goncharov不变量，在自然的取值映射下，映射到通过理想基本链定义的广义Neumann-Yang不变量。关键结果是Goncharov不变量完全决定了Neumann-Yang不变量，将已知的双曲3-流形结果推广至具有锥点的秩一对称空间类。

ABSTRACT

We prove that the group-homological version of the generalized Goncharov invariant of finite-volume locally rank one symmetric spaces determines their generalized Neumann-Yang invariant, which is defined using ideal fundamental cycles.

研究动机与目标

• 阐明有限体积局部对称空间拓扑中两个不变量之间的关系：广义Goncharov不变量与广义Neumann-Yang不变量。
• 将Goncharov不变量与Neumann-Yang不变量之间的已知对应关系，从闭合双曲3-流形推广至具有锥点的有限体积、奇数维非紧型局部对称空间。
• 为从同调Goncharov不变量到Neumann-Yang不变量的取值映射提供严谨且可引用的证明，填补了锥点情形下文献中的空白。
• 确立从群上同调到广义预-Bloch群的自然取值映射，将Goncharov不变量映射至Neumann-Yang不变量，从而统一了双曲几何与对称几何中不变量的两种方法。

提出的方法

• 本文构造了一个从紧化空间 $\overline{M}$ 的相对链到理想链的链映射 $\hat{\Psi}$，该映射将相对基本链发送至理想基本链。
• 利用拉直映射 $str$ 将链同伦为具有固定理想顶点的拉直链，同时保持同调类不变。
• 定义了从 $H_d(GL(N,\mathbb{C}));\mathbb{Q})$ 到广义预-Bloch群 $\mathcal{B}(\mathbb{C})\otimes\mathbb{Q}$ 的取值映射 $ev_*$，该映射捕捉了Neumann-Yang不变量。
• 证明依赖于Eilenberg-MacLane同构，以及映射 $\hat{\Psi}$ 与表示 $\rho: G \to SL(N,\mathbb{C})$ 作用的相容性。
• 利用Suslin的同构 $K_3(\mathbb{C})\otimes\mathbb{Q} \to \mathcal{B}(\mathbb{C})\otimes\mathbb{Q}$，将K-理论的Goncharov不变量与三维中的Neumann-Yang不变量联系起来。
• 主要技术工具是构造一个链上提升 $\hat{\Psi}$，其与取值映射可交换，并在拉直与锥构造下保持基本类不变。

实验结果

研究问题

• RQ1 有限体积、奇数维、非紧型局部对称空间的同调Goncharov不变量，是否在自然取值映射下映射到Bloch群中的广义Neumann-Yang不变量？
• RQ2 通过群上同调与表示定义的Goncharov不变量，与Neumann-Yang不变量中使用的理想基本链构造之间有何关系？
• RQ3 从Goncharov不变量到Neumann-Yang不变量的取值映射在具有锥点的流形中是否良好定义且自然，特别是在秩一情形下？
• RQ4 能否将已知的闭合3维双曲情形下Goncharov与Neumann-Yang不变量之间的对应关系，推广至非紧、具有锥点的情形？
• RQ5 在群上同调背景下，拉直映射与链映射 $\hat{\Psi}$ 在将相对链与理想链关联时起何精确作用？

主要发现

• 取值映射 $ev_*$ 将同调Goncharov不变量 $\overline{\gamma}(\overline{M})$ 映射到广义Neumann-Yang不变量 $\beta_\rho(\overline{M})$，即对有限体积、秩一、带边界的局部对称空间有 $ev_*(\overline{\gamma}(\overline{M})) = \beta_\rho(\overline{M})$。
• 对于有限体积的双曲3-流形，Suslin的同构 $K_3(\mathbb{C})\otimes\mathbb{Q} \to \mathcal{B}(\mathbb{C})\otimes\mathbb{Q}$ 将Goncharov不变量 $\gamma(M)$ 映射至 $\beta(M)\otimes 1$，证实了文献中长期存在的预期。
• 链映射 $\hat{\Psi}$ 的构造确保了相对基本链被映射为理想基本链，并在拉直过程中保持同调类不变。
• 证明依赖于取值映射与表示 $\rho$ 的相容性，以及Eilenberg-MacLane同构，从而保证了不变量在群上同调中的良好定义性。
• 本文确立了K-理论不变量 $\gamma(M) \in K_d(\overline{\mathbb{Q}})\otimes\mathbb{Q}$ 由同调不变量 $\overline{\gamma}(M)$ 决定，且其在取值下的像可恢复Neumann-Yang不变量。
• 结果确认了在具有锥点的有限体积情形下，Goncharov不变量完全决定了Neumann-Yang不变量，将已知的闭合情形推广至更广泛的对称空间类。