[논문 리뷰] Surface group representations with maximal Toledo invariant

Marc Burger, Alessandra Iozzi외 1명|ArXiv.org|2006. 05. 24.

Geometric and Algebraic Topology참고 문헌 35인용 수 5

한 줄 요약

이 논문은 리 군의 히르미트 유형에 대한 표면 군 기본군의 최대 표현 이론을 개발하며, 주요 위상수학적 및 분석적 불변량으로 토울레 불변량을 도입하고 분석한다. 이 불변량의 연속성, 유계성, 가환성, 합동성 성질을 증명하고, 최대 표현에 대한 구조 정리를 증명하며, 경계 사상과 연결하여 토울레 불변량을 회전 수로 연결함으로써 최대 표현의 집합이 실 대수기하학적임을 보이고, 이 불변량에 대한 공식을 회전 수로 표현한다.

ABSTRACT

We develop the theory of maximal representations of the fundamental group of a compact connected oriented surface with boundary, into a group of Hermitian type. For any such representation we define the Toledo invariant, for which we establish properties such as uniform boundedness on the representation variety, additivity under connected sum of surfaces and congruence relations. We thus obtain geometric properties of the maximalrepresentations, that is representations whose Toledo invariant achieves the maximum value: we show that maximal representations have discrete image, are faithful and completely reducible and they always preserve a maximal tube type subdomain. This extends to the case of a general Hermitian group some of the properties of the representations in Teichmuller space, as well as results due to Goldman, Toledo, Hernandez, Bradlow--Garcia-Prada--Gothen. An announcement of these results in the case of surfaces without boundary -- where the role of tube type domains had already been emphasized -- appeared in 2003 by the same authors. The congruence relations for the Toledo invariant involve a rotation number function related to a continuous homogeneous quasimorphism which gives an explicit way to compute the Toledo invariant. This rotation number generalizes constructions due to Ghys, Barge--Ghys, and Clerc--Koufany. We establish moreover properties of boundary maps associated to maximal representations which generalize naturally, for the causal structure of the Shilov boundary, monotonicity properties of quasiconjugations of the circle. This, together with the congruence relations leads to the result that the subset of maximal representations is always real semialgebraic.

연구 동기 및 목표

• 경계를 가진 표면로 최대 표현 이론을 확장하여 기존의 닫힌 경우에 대한 결과를 일반화한다.
• 히르미트 리 군으로의 표현에 대해 위상수학적 및 분석적 의미를 지닌 수치 불변량으로서 토울레 불변량을 정의하고 연구한다.
• 최대 표현의 구조적 성질을 확립하며, 특히 이미지의 자리지 밀도성과 단사성과 같은 성질을 다룬다.
• 히르미트 유형의 군에 대해 회전 수 함수를 정의하고, 이를 경계 사상 및 최대 표현의 불변량과 연결한다.
• 최대 표현의 부분집합이 코homological 및 기하학적 기법을 사용하여 실 대수기하학적 부분집합임을 보인다.

제안 방법

• 표면의 기본류를 사용하여 유계 연속 코homology에서의 유계 칼라비-클레르 클래스의 pullback을 통해 토울레 불변량을 정의한다.
• 코homological 및 분석 기법을 사용하여 표현 다양체 위에서 토울레 불변량의 연속성과 균일 유계성을 확립한다.
• 표면의 연결 합에 대한 토울레 불변량의 가환성을 증명하기 위해 접합 구조와 경계 성분의 하이퍼볼리제이션 기법을 사용한다.
• 최대 표현에 대한 경계 사상을 구성하고, 그 정칙성을 증명하며, 원판의 반공간에 대한 단조성 성질을 일반화한다.
• 국소 콪크트한 히르미트 유형의 군에 대해 회전 수 함수를 도입하고, 이를 경계 사상과 연결하여 토울레 불변량과 연관시킨다.
• 회전 수와 경계 사상의 구조를 활용하여 토울레 불변량의 공식을 유도하고, 최대 표현 다양체의 실 대수기하학적 성질을 증명한다.

실험 결과

연구 질문

• RQ1 토울레 불변량은 경계를 가진 표면 군으로 어떻게 일반화될 수 있으며, 그 기본 성질은 무엇인가?
• RQ2 최대 표현(최대 토울레 불변량을 달성하는 표현)은 어떤 기하학적 및 대수적 구조를 지니는가?
• RQ3 최대 표현과 관련된 경계 사상은 원판 반공간의 반공간에 대한 단조성의 일반화로 어떻게 해석될 수 있는가?
• RQ4 히르미트 유형의 군에서 토울레 불변량과 회전 수 사이의 관계는 무엇인가?
• RQ5 최대 표현의 집합은 표현 다양체의 실 대수기하학적 부분집합인가?

주요 결과

• 토울레 불변량은 표현 다양체 위에서 연속적이며 균일하게 유계적이므로, 소규모 변형에 대해 안정함을 보장한다.
• 토울레 불변량은 표면의 연결 합에 대해 가환적이며, 귀납적 추론을 위한 강력한 도구를 제공한다.
• 최대 표현의 경우, 대칭 공간이 튜브 유형이면 표현의 이미지는 군 내에서 자리지 밀도성을 가진다.
• 최대 표현과 관련된 경계 사상은 연속적이며 일반화된 단조성 성질을 만족하며, 원판 반공간의 반공간에 대한 행동을 확장한다.
• 토울레 불변량은 회전 수에 대한 공식을 갖으며, 코homological 불변량과 동역학적 자료를 연결한다.
• 최대 표현의 집합은 실 대수기하학적 집합이며, 표현 다양체의 구조에 대해 강력한 위상수학적 및 대수적 제약 조건을 부여한다.