[논문 리뷰] Rigidity of representations of hyperbolic lattices $\Gamma<PSL(2,\mathbb{C})$ into $PSL(n,\mathbb{C})$

Michelle Bucher, Marc Burger외 1명|arXiv (Cornell University)|2014. 12. 10.

Geometric and Algebraic Topology인용 수 4

한 줄 요약

이 논문은 $\Gamma < PSL(2,\mathbb{C})$인 초구면 격자 표현에 대해 $PSL(n,\mathbb{C})$로의 표현에 대해 3차에서의 코homological 불변량을 도입하며, 이가 유계임을 보이고, 표현이 $PSL(2,\mathbb{C}) \to PSL(n,\mathbb{C})$의 기약 표현과 격자 포함사상의 합성으로 유도될 때에만 최댓값에 도달함을 보인다. 이 결과는 Borel 코homology를 통해 이러한 표현에 대해 강한 고정성 현상을 확립한다.

ABSTRACT

If $\Gamma<PSL(2,\mathbb{C})$ is a lattice, we define an invariant of a representation $\Gamma o PSL(n,\mathbb{C})$ using the Borel cohomology class of $PSL(n,\mathbb{C})$ in degree three. We show that the invariant is bounded and its maximal value is attained by conjugation of the composition of the lattice embedding with the irreducible complex representation $PSL(2,\mathbb{C}) o PSL(n,\mathbb{C})$.

연구 동기 및 목표

• 초구면 격자 $\Gamma < PSL(2,\mathbb{C})$의 표현에 대해 $PSL(n,\mathbb{C})$로의 3차 코homological 불변량을 정의한다.
• 이 불변량의 유계성을 조사하고 그 최대 가능한 값을 결정한다.
• 이 최댓값을 도달하는 표현을 특성화하여 고정성 결과를 확립한다.

제안 방법

• PSL(n,$\mathbb{C}$)의 3차 Borel 코hom로 클래스를 이용하여 표현 $\Gamma \to PSL(n,\mathbb{C})$에 대한 불변량을 정의한다.
• 유계 코hom로리의 이론을 적용하여 표현의 변형에 따른 불변량의 행동을 분석한다.
• 이 불변량이 격자와 $n$에 따라 정해지는 유한한 값으로 위에서 유계임을 확립한다.
• 최댓값이 정확히 격자 포함사상 $\Gamma \to PSL(2,\mathbb{C})$와 기약 표현 $PSL(2,\mathbb{C}) \to PSL(n,\mathbb{C})$의 합성과 쌍대화된 표현일 때에만 도달됨을 증명한다.
• PSL(2,$\mathbb{C}$)-격자와 그 표현의 구조를 이용하여 코homological 클래스의 풀백을 분석한다.

실험 결과

연구 질문

• RQ1 격자 $\Gamma < PSL(2,\mathbb{C})$에 대해 표현 $\Gamma \to PSL(n,\mathbb{C})$에 대한 3차 Borel 코hom로 불변량의 범위는 무엇인가?
• RQ2 이 불변량은 유계인가? 만약 그렇다면 상한은 무엇인가?
• RQ3 어떤 표현들이 이 불변량의 최대값을 도달하는가?
• RQ4 최댓값은 기약 표현 $PSL(2,\mathbb{C}) \to PSL(n,\mathbb{C})$를 통해 유도되는 표현들에서만 도달되는가?
• RQ5 이 불변량은 $\Gamma$에서 $PSL(n,\mathbb{C})$로의 표현 다양체에서 고정성을 감지하는가?

주요 결과

• Borel 클래스를 이용해 정의된 코homological 불변량은 모든 표현 $\Gamma \to PSL(n,\mathbb{C})$에 대해 유계이다.
• 이 불변량의 최댓값은 정확히 표현이 격자 포함사상 $\Gamma \to PSL(2,\mathbb{C})$와 기약 표현 $PSL(2,\mathbb{C}) \to PSL(n,\mathbb{C})$의 합성과 쌍대화된 경우에만 도달된다.
• 이 특성화는 강력한 고정성 성질을 확립한다: 최댓값을 실현하는 것은 오직 표준 기약 표현 뿐이다.
• 유계성과 최대성 결과는 표준 표현의 임의의 변형이 이 불변량을 최댓값을 초과할 수 없음을 시사한다.
• 이 불변량은 비표준 표현에 대한 완전한 차단 조건으로 작용하며, 초구면 격자 표현을 분류하는 데서 그 역할을 부각시킨다.