[论文解读] Multiplicative constants and maximal measurable cocycles in bounded cohomology

Marco Moraschini, Alessio Savini|arXiv (Cornell University)|Dec 20, 2019

Advanced Operator Algebra Research参考文献 50被引用 4

一句话总结

该论文将乘法常数与极大表示理论扩展至有界上同调中的可测胞状上同调，通过边界映射引入了一种新颖的拉回构造。它为复双曲格点的 PU(m,1)-胞状上同调定义了 Cartan 不变量，并证明了极大胞状上同调与标准格点嵌入上同调，将刚性结果推广至非表示性胞状上同调。

ABSTRACT

Multiplicative constants are a fundamental tool in the study of maximal representations. In this paper we show how to extend such notion, and the associated framework, to measurable cocycles theory. As an application of this approach, we define and study the Cartan invariant for measurable $ extup{PU}(m,1)$-cocycles of complex hyperbolic lattices.

研究动机与目标

• 将乘法常数与极大表示的框架从连续表示推广至有界上同调中的可测胞状上同调。
• 通过边界映射建立有界上同调中可测胞状上同调的统一拉回映射，克服直接上链拉回的局限性。
• 为复双曲格点的可测 PU(m,1)-胞状上同调定义并研究 Cartan 不变量，将经典表示论中的不变量加以推广。
• 刻画极大可测胞状上同调，并证明其与标准格点嵌入上同调同调，将刚性结果推广至非表示性情形。
• 为刚性理论的应用提供基础，包括遍历自耦合的分类与 1-刚性猜想。

提出的方法

• 通过可测的 $ \sigma $-等变边界映射 $ \varphi: G/Q \times X \to Y $，在连续有界上同调中引入新的拉回映射 $ C^\bullet(\Phi_X) $，结合对 $ X $ 的积分与通过 $ \varphi $ 的拉回。
• 通过涉及 $ \psi' \in B^\infty(Y^{\bullet+1}; \mathbb{R})^{G'} $ 与 $ \psi \in L^\infty((G/Q)^{\bullet+1})^G $ 的积分公式，定义乘法常数 $ \lambda_{\psi', \psi}(\sigma) $，确保与经典 Burger-Iozzi 框架的一致性。
• 利用转移映射 $ \mathrm{trans}^\bullet_{G/Q} $，将 $ H^\bullet_{cb}(G; \mathbb{R}) $ 中的上同调类与通过 $ C^\bullet(\Phi_X) $ 拉回的类联系起来，从而实现乘法公式。
• 证明拉回在胞状上同调类下关于 $ G' $ 的不变性，确保该构造在上同调上良定义。
• 将该框架应用于定义可测 $ \mathrm{PU}(m,1) $-胞状上同调的 Cartan 不变量 $ i(\sigma) $，使用有界 Kähler 类 $ \kappa^b_m $。
• 证明极大胞状上同调（即达到 Cartan 不变量上界的胞状上同调）与标准格点嵌入 $ i: \Gamma \to \mathrm{PU}(m,1) $ 同调，利用代数包络与秩一结构。

实验结果

研究问题

• RQ1 如何将有界上同调中乘法常数的概念从表示推广至可测胞状上同调？
• RQ2 对于可测胞状上同调，应如何构造一种推广经典沿表示拉回的恰当上同调拉回？
• RQ3 能否为复双曲格点的可测 $ \mathrm{PU}(m,1) $-胞状上同调定义并研究 Cartan 不变量？
• RQ4 极大可测胞状上同调 $ \sigma: \Gamma \times X \to \mathrm{PU}(m,1) $ 的代数包络结构为何？
• RQ5 极大可测胞状上同调是否与标准格点嵌入同调？在何种条件下成立？

主要发现

• 对于具有边界映射的可测胞状上同调 $ \sigma $，乘法常数 $ \lambda_{\psi', \psi}(\sigma) $ 良定义，扩展了经典 Burger-Iozzi 框架。
• 拉回映射 $ C^\bullet(\Phi_X) $ 诱导的上同调类与通过相关可测胞状上同调 $ \sigma $ 拉回的类相同，确保了一致性。
• 当有界 Kähler 类 $ \kappa^b_m $ 的拉回非零时，非初等胞状上同调的代数包络 $ L $ 为几乎直积 $ K \cdot M $，其中 $ M \cong \mathrm{PU}(p,1) $，且 $ 1 \leq p \leq m $。
• 对于极大胞状上同调，代数包络 $ L $ 为几乎直积 $ \mathrm{PU}(n,1) \cdot K $，其中 $ K $ 紧致且 $ m \geq n $，且 $ \sigma $ 与标准格点嵌入同调。
• 极大胞状上同调总是非初等的，并存在唯一（模紧致因子）边界映射，而平凡 Cartan 不变量刻画了初等情形。
• 该框架使新应用成为可能，包括证明：当 $ n \geq 2 $ 时，$ \mathrm{PU}(n,1) $ 中均匀格点的遍历自耦合产生与标准嵌入同调的极大胞状上同调。