[논문 리뷰] Borel invariant for Zimmer cocycles of 3-manifold groups

Alessio Savini|arXiv (Cornell University)|2019. 07. 04.

Advanced Operator Algebra Research참고 문헌 22인용 수 6

한 줄 요약

이 논문은 기존에 비균일 격자에 대한 표현에서 정의된 고전적 Borel 불변량을 PSL(2,C)에서 PSL(n,C)로 확장하며, 확률 공간 위에서 작용하는 Zimmer의 측도 족에 대해 적용한다. 일반화된 Borel 불변량이 체적과 관련된 상수로 항상 유계임을 증명하고, 최대성 조건이 πₙ∘i 또는 그 복소수 켤레 표현과 코homologous 동치임을 보여, 족 설정에서의 강력한 구조적 고정성 결과를 확립한다.

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 또는 그 복소수 켤레 표현과 코homologous 동치임을 보여주기.

제안 방법

• F(n,C)인 플래그 다양체로의 측도적 σ-등변 사상 φ: P¹(C) × X → F(n,C)를 정의하기.
• 등변 조건 φ(γξ, γx) = σ(γ,x)φ(ξ,x)를 이용해 경계에서 기하 데이터를 족의 구조로 옮기기.
• P¹(C) × X의 곱공간에서 유계 측도 족 클래스의 적분을 통해 Borel 불변량 βₙ(σ)를 구성하기.
• 에르고딕 이론 기법을 적용해 족의 코homology 클래스를 분석하고, 표준 표현 πₙ과의 관계를 규명하기.
• 유계 코hom올로지에서 Borel 클래스의 강성에 기반해 족 σ의 가능한 코homology 유형을 제약하기.
• 최대 Borel 불변량이 πₙ∘i 또는 그 복소수 켤레 표현과 코homologous임을 고전 사례와의 비교를 통해 증명하기.

실험 결과

연구 질문

• RQ1 기존에 군 표현에 대해 정의된 Borel 불변량은 Zimmer의 확률 공간 위에서의 군 작용 이론의 맥락에서 측도 족으로 확장될 수 있는가?
• RQ2 3차원 다각형 Γ\H³의 쌍곡체적 체적에 따라 일반화된 Borel 불변량 βₙ(σ)의 날카운 상한은 무엇인가?
• RQ3 Borel 불변량 βₙ(σ)가 최대값에 도달하는 조건은 무엇인가?
• RQ4 βₙ(σ)의 최대성은 족 σ가 πₙ∘i 또는 그 복소수 켤레 표현과 코homologous임과 동치인가?
• RQ5 P¹(C) × X → F(n,C)의 사상 φ의 등변성은 족 σ의 구조에 어떤 제약을 가하는가?

주요 결과

• 측도 족 σ에 대한 Borel 불변량 βₙ(σ)는 |βₙ(σ)| ≤ (n+1 choose 3) Vol(Γ\H³)를 만족한다.
• 이 상한에서 등호가 성립하는 것은 오직 족 σ가 πₙ∘i 또는 그 복소수 켤레 표현과 코homologous일 때에만 성립한다.
• 일반화된 Borel 불변량 βₙ(σ)는 족 σ의 코homologous 변형에 대해 불변이다.
• βₙ(σ)의 최대성은 족 σ가 기약 표현 πₙ∘i 또는 그 복소수 켤레 표현과 코homologous임을 암시한다.
• βₙ(σ)의 구성은 경계 행동과의 호환성을 보장하는 측도적 σ-등변 사상 φ: P¹(C) × X → F(n,C)에 의존한다.
• 강성 결과는 최대 Borel 불변량을 달성하는 족에 대해 강력한 구조적 제약을 부과하며, 동역학적 행동과 표현 이론을 연결한다.