[논문 리뷰] Maximal Representations of Surface Groups: Symplectic Anosov Structures

Marc Burger, Alessandra Iozzi외 2명|ArXiv.org|2005. 06. 04.

Geometry and complex manifolds참고 문헌 26인용 수 5

한 줄 요약

이 논문은 표면 군 기본군의 최대 표현들이 스파(2n,R)로 들어가는 경우, 허미션 정규 공간에서 이산적이고 충실하며 아노소프-다이내믹스적 작용을 유도하며, 관련한 극한 집합이 콤���트리피케이션에서 직선화 가능한 원이 됨을 확립한다. 주요 기여는 이러한 표현들이 심플렉틱 아노소프 구조를 유도함으로써 최대 토울란드 불변량과 기하학적 및 다이내믹스적 강성 사이의 연결을 맺는 것이다.

ABSTRACT

Let G be a connected semisimple Lie group such that the associated symmetric space X is Hermitian and let Gamma be the fundamental group of a compact orientable surface of genus at least 2. We survey the study of maximal representations, that is the subset of Hom(Gamma,G) which is a union of components characterized by the maximality of the Toledo invariant. Then we concentrate on the particular case G=SP(2n,R), and we show that the image of Gamma under any maximal representation is a discrete faithful realization of Gamma as a Kleinian group of complex motions in X with an associated Anosov system, and whose limit set in an appropriate compactification of X is a rectifiable circle.

연구 동기 및 목표

• 허미션 정규 공간을 갖는 단순군으로의 표면 군의 최대 표현을 토울란드 불변량을 통해 특성화하기.
• G = Sp(2n,R)인 경우, 최대 표현이 이산적이고 충실하며 아노소프-다이내믹스적 작용을 유도함을 확립하기.
• 이러한 표현의 극한 집합이 대칭 공간의 자연스러운 콤팩트리피케이션에서 직선화 가능한 원이 됨을 증명하기.
• 유계 코homology와 아노소프 다이내믹스를 최대 표현의 기하학적 구조와 연결하기.
• 아노소프 구조를 통해 히치린 컴포넌트와 양성 표현의 이해를 심플렉틱 설정으로 확장하기.

제안 방법

• Sp(2n,R)에 대해 G = Sp(2n,R)인 경우 Hom(Γg, G)에서 최대 표현을 정의하고 특성화하기 위해 토울란드 불변량의 사용.
• 이미지 ρ(Γg)가 대칭 공간 X에서 켈리니안 군으로서 이산적이고 충실하게 작용함을 보이기 위해 심플렉틱 아노소프 구조의 적용.
• 유니버설 코어의 경계에서 라그랑주 군집으로의 ρ-등변 연속 사상 φ: S¹ → L(V)의 구성.
• 라그랑주 군집에서의 인과적 구조를 사용하고 Q(L₀)를 Sym(L₀)으로 식별하여 φ의 상 분석.
• 내적 ⟨⟨A,B⟩⟩ = tr(AB)를 사용하여 Sym(L₀)에서의 열린 볼록 예각 锥 조건을 통해 직선화 가능성의 증명.
• 단어 길이 ℓ(γ)의 하한을 Riemannian 거리 d(0, γ·0)로부터 유도하기 위해 밀너–스바르 추론의 적용.

실험 결과

연구 질문

• RQ1 표면 군에서 Sp(2n,R)로의 최대 표현으로부터 어떤 다이내믹스적이고 기하학적 구조가 유도되는가?
• RQ2 허미션 정규 공간으로의 최대 표현의 맥락에서 심플렉틱 아노소프 구조는 어떻게 나타나는가?
• RQ3 대칭 공간 X의 콤팩트리피케이션에서 ρ(Γg)의 극한 집합의 성격은 무엇인가?
• RQ4 토울란드 불변량은 경계 사상의 아노소프 성질과 직선화 가능성과 어떻게 관련되는가?
• RQ5 유계 코homology 기법을 사용하여 이러한 표현의 존재성과 강성 여부를 증명할 수 있는가?

주요 결과

• 최대 표현 ρ: Γg → Sp(2n,R)는 표면 군 Γg가 허미션 정규 공간 X에서 이산적이고 충실하게 작용함을 유도한다.
• 이미지 ρ(Γg)는 X에서 복소 운동의 켈리니안 군이며, 심플렉틱 아노소프 구조를 갖는다.
• 경계 사상 φ: S¹ → L(V)는 단사적이며 연속적이며, 그 상은 라그랑주 군집에서 직선화 가능한 원이다.
• 극한 집합의 직선화 가능성은 L₀ 위의 정규형 이차형식의 집합에서의 볼록성과 예각성에 기반한다.
• 거리 d(J(u), J(gₜu))는 최소한 2At의 속도로 선형적으로 증가함으로써 아노소프 다이내믹스가 확립된다.
• 하한 d(J₀, ρ(γ)J₀) ≥ 2Ad(0, γ·0) − 2C는 다이내믹스적 이동과 단어 길이 ℓ(γ) 사이의 연결을 맺는다.