[논문 리뷰] The bounded Borel class and complex representations of 3-manifold groups

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

Geometric and Algebraic Topology참고 문헌 17인용 수 12

한 줄 요약

이 논문은 3차원 다면체 군의 PSL(n,C)로의 표현에 대해 Goncharov의 플래그 불변량에서 유도된 유계 코homology 족을 사용하여, Borel 클래스의 유계 불변량을 도입한다. 이 불변량이 PSL(2,C)의 복소수 기약 n차원 표현으로 쌍대기하학적으로 변환된 표현일 때에만 최댓값을 취함을 증명하며, 하이퍼볼릭 부피와 군의 Gromov 노름에 대한 날카로운 상한을 갖는 Milnor–Wodzicki 유형 부등식을 수립한다.

ABSTRACT

If $Γ

연구 동기 및 목표

• 3차원 다면체 군의 PSL(n,C)로의 표현에 대해 연속적이고 유계인 불변량을 유계 코hom로 정의한다.
• 경계가 있는 비콤팩트 하이퍼볼릭 3차원 다면체에서 Borel 불변량을 정의하는 데서 발생하는 곤경을 해결한다.
• 이 불변량의 날카로운 상한을 하이퍼볼릭 부피와 군의 Gromov 노름에 대해 수립한다.
• 최대 불변량을 달성하는 표현이 PSL(2,C)의 기약 n차원 표현으로 쌍대기하학적으로 변환된 표현임을 규명한다.
• PSL(n,C)의 3차 유계 코hom로의 구조를 연구하며, Borel 클래스가 명시적인 노름을 갖는 생성자임을 규명한다.

제안 방법

• 3차원 다면체 M의 코어 N의 상대 기본류에 대한 유계 클래스 βb(n)의 당김을 평가하여 B(ρ)로 Borel 불변량을 정의한다.
• Cn에서의 완전한 플래그 4중항에 대한 유계 코호모로지 족을 사용하여 Goncharov의 불변량 Bn을 일반화한다.
• Γ-균형 잡힌 장식 ϕ: ∂H³ → F(Cn)를 구성함으로써, 삼각분할의 이상 삼각형들 위에서의 합으로 B(ρ)의 공식을 유도한다.
• Monod의 안정성 결과를 활용하여 H3cb(PSL(n,C), R)를 분석하기 위해 유계 코호모로지 기법을 활용한다.
• 경계에서 작용하는 더 큰 군 Γξ의 측도 이론적 방법을 통해 유리성 결과를 도출하기 위해 측도 이론적 기법을 사용하여, Γξ의 에르고딕성을 증명한다.
• 플래그의 쌍대 설정(평면과 직선)을 사용하여 족을 정의하고 분석하며, Falbel과 Wang의 작업과의 명시적 비교를 수행한다.

실험 결과

연구 질문

• RQ1 유한 부피를 갖는 하이퍼볼릭 3차원 다면체의 기본군 Γ를 갖는 표현 ρ: Γ → PSL(n,C)에 대해 Borel 불변량 B(ρ)의 최대값은 무엇인가?
• RQ2 어떤 표현 ρ ∈ Hom(Γ, PSL(n,C))이 이 최대값을 달성하는가?
• RQ3 경계 기본군이 아벨리안인 비콤팩트 3차원 다면체에 대해 Borel 불변량은 어떻게 정의되고 계산되는가?
• RQ4 유계 코호모로지 군 H3cb(PSL(n,C), R)의 구조는 어떠한가? 그리고 Borel 클래스는 생성자인가?
• RQ5 유계 클래스 βb(n)은 SL(n−1,C) → SL(n,C)의 왼쪽 모서리 포함사상과, 기약 표현 πn: SL(2,C) → SL(n,C)에 의해 어떻게 제한되는가?

주요 결과

• B(ρ)는 부등식 |B(ρ)| ≤ n(n²−1)/6 · Vol(M)을 만족하며, 등호가 성립하는 것은 ρ가 πn|Γ 또는 그 복소수 켤레 표현으로 쌍대기하학적으로 변환된 경우에만 성립한다.
• 유계 클래스 βb(n) ∈ H3cb(PSL(n,C), R)는 유계 코호모로지 군의 생성자이며, Gromov 노름 ‖βb(n)‖ = n(n²−1)/6 · v3를 갖는다. 여기서 v3는 H³ 내의 최대 이상 삼각형의 부피이다.
• 유계 불변량 B(ρ)는 임의의 장식 ϕ에 대해 일반성 조건이나 바리센트리 분할이 필요 없이, 이상 삼각분할에 대해 B(ρ) = ∑ᵢ Bn(ϕ(P₀ⁱ), ϕ(P₁ⁱ), ϕ(P₂ⁱ), ϕ(P₃ⁱ))의 명시적 공식을 갖는다.
• 유계 클래스 βb(n)은 SL(n−1,C) → SL(n,C)의 왼쪽 모서리 포함사상에 의해 βb(n−1)로 제한되며, 기약 표현 πn: SL(2,C) → SL(n,C)에 의해 (n(n²−1)/6)·βb(2)로 제한된다.
• 군 Γξ = ⟨Λξ, γξ⟩는 Isom(H³)에서 에르고딕하게 작용하며, 이를 통해 측도 이론적 방법으로 장식에 대한 유리성 결과를 증명할 수 있다.
• βb(n)을 정의하는 유계 족은 플래그의 열화된 구성으로까지 연장되며, 이는 Goncharov의 구성의 일반화이자, 일반적인 경우에서 불변량의 정의를 가능하게 한다.