[论文解读] Borel invariant for Zimmer cocycles of 3-manifold groups

Alessio Savini|arXiv (Cornell University)|Jul 4, 2019

Advanced Operator Algebra Research参考文献 22被引用 6

一句话总结

该论文将经典Borel不变量——此前仅针对PSL(2,C)中非均匀格点的表示定义——推广至Zimmer的可测上循环作用于概率空间的情形，适用于PSL(n,C)。证明了广义Borel不变量仍受与体积相关的常数有界，且当其取最大值时，该上循环同调于不可约表示πₙ∘i或其复共轭，从而在上循环设定下建立了刚性结果。

ABSTRACT

Let $\Gamma$ be a non-uniform lattice of $ ext{PSL}(2,\mathbb{C})$. Given any representation $ ho:\Gamma ightarrow ext{PSL}(n,\mathbb{C})$ we can define a numerical invariant $\beta_n( ho)$, called Borel invariant, which remains constant along the $ ext{PSL}(n,\mathbb{C})$-conjugancy class of $ ho$. Additionally this invariant is rigid in the following sense: it holds $|\beta_n( ho)|\leq {{n+1}\choose{3}} ext{Vol}(\Gamma \backslash \mathbb{H}^3)$ for every representation $ ho:\Gamma ightarrow ext{PSL}(n,\mathbb{C})$ and equality is attained if and only if the representation $ ho$ is conjugated either to $\pi_n \circ i$ or to $\overline{\pi_n \circ i}$, where $i:\Gamma ightarrow ext{PSL}(2,\mathbb{C})$ is the standard lattice embedding and $\pi_n: ext{PSL}(2,\mathbb{C}) ightarrow ext{PSL}(n,\mathbb{C})$ is the irreducible representation. We extend the notion of Borel invariant to the more general setting of Zimmer's theory of cocycles. More precisely, let $(X,\mu_X)$ be a probability space on which $\Gamma$ acts in a measure-preserving way. Let $\sigma: \Gamma imes X ightarrow ext{PSL}(n,\mathbb{C})$ be a measurable cocycle and assume that $\phi: \mathbb{P}^1(\mathbb{C}) imes X ightarrow \mathscr{F}(n,\mathbb{C})$ is a measurable $\sigma$-equivariant map, that means $\phi(\gamma \xi, \gamma x)=\sigma(\gamma,x) \phi(\xi,x)$ for every $\gamma \in \Gamma$ and almost every $(\xi,x) \in \mathbb{P}^1(\mathbb{C}) imes X$. We define the notion of Borel invariant $\beta_n(\sigma)$ associated to the cocycle $\sigma$ and we prove that it holds the same bound which is valid in the classic case. Additionally we show that if the invariant is maximal then the cocycle must be cohomologous either to the one associated to the irreducible representation $\pi_n$ or to its complex conjugated.

研究动机与目标

• 将经典Borel不变量从群表示推广至Zimmer理论框架下的可测上循环。
• 为作用于概率空间(X,μ_X)的可测上循环σ: Γ × X → PSL(n,C)定义Borel不变量βₙ(σ)。
• 以双曲商空间Γ\H³的体积为基准，建立βₙ(σ)的统一上界。
• 刻画βₙ(σ)的最大值条件，证明其蕴含同调等价于πₙ∘i或其复共轭。

提出的方法

• 定义一个可测的σ-等变映射φ: P¹(C) × X → F(n,C)，其中F(n,C)为旗流形。
• 利用等变性条件φ(γξ, γx) = σ(γ,x)φ(ξ,x)，将边界上的几何数据提升至上循环结构。
• 通过在乘积空间P¹(C) × X上对有界可测上循环类进行积分，构造Borel不变量βₙ(σ)。
• 应用遍历理论技术分析上循环的上同调类，并将其与标准表示πₙ关联。
• 利用有界上同调中Borel类的刚性，限制上循环σ可能的上同调类型。
• 证明当Borel不变量取最大值时，上循环σ同调于πₙ∘i或其复共轭，通过与经典情形比较完成证明。

实验结果

研究问题

• RQ1 经典Borel不变量最初定义于群表示，能否在Zimmer关于群作用于概率空间的理论背景下推广至可测上循环？
• RQ2 广义Borel不变量βₙ(σ)的最优上界如何用3-流形Γ\H³的双曲体积表示？
• RQ3 在何种条件下Borel不变量βₙ(σ)达到其最大值？
• RQ4 βₙ(σ)的最大值是否等价于上循环σ同调于πₙ∘i或其复共轭？
• RQ5 映射φ: P¹(C) × X → F(n,C)的等变性如何约束上循环σ的结构？

主要发现

• 可测上循环σ的Borel不变量βₙ(σ)满足不等式|βₙ(σ)| ≤ (n+1 choose 3) Vol(Γ\H³)。
• 当且仅当上循环σ同调于πₙ∘i或其复共轭时，该不等式取等。
• 广义Borel不变量βₙ(σ)在上循环的同调变形下保持不变。
• βₙ(σ)的最大值蕴含上循环σ同调于不可约表示πₙ∘i或其复共轭。
• βₙ(σ)的构造依赖于一个可测的σ-等变映射φ: P¹(C) × X → F(n,C)，该映射确保与边界作用的相容性。
• 刚性结果为实现最大Borel不变量的上循环施加了强结构约束，将动力行为与表示理论紧密联系。