[论文解读] Surface group representations with maximal Toledo invariant

Marc Burger, Alessandra Iozzi+1 more|ArXiv.org|May 24, 2006

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.

研究动机与目标

• 將極大表示理論推廣至具邊界的曲面，推廣閉曲面情形下的已知結果。
• 定義並研究托萊多不變量作為具有拓撲與解析解釋的數值不變量，適用於酉型李群中的表示。
• 建立極大表示的結構性質，包括扎里斯基稠密性與像的單射性。
• 為酉型群定義旋轉數函數，並透過邊界映射與極大表示的不變量建立關聯。
• 證明極大表示的子集為實半代數集，使用上同調與幾何技術。

提出的方法

• 透過曲面的基本類與有界連續上同調中的有界凱勒類的拉回，定義托萊多不變量。
• 使用上同調與分析技術，證明托萊多不變量在表示空間上的連續性與一致有界性。
• 透過黏合構造與邊界分量的雙曲化，證明托萊多不變量在曲面連通和下的可加性。
• 為極大表示構造邊界映射，並證明其正則性，推廣圓周半共軛的單調性性質。
• 為局部緊緻的酉型群引入旋轉數函數，並透過邊界映射與托萊多不變量建立關聯。
• 利用旋轉數與邊界映射結構，推導出托萊多不變量的公式，並證明極大表示空間的實半代數性質。

实验结果

研究问题

• RQ1 如何將托萊多不變量推廣至具邊界的曲面群？其基本性質為何？
• RQ2 極大表示（即實現最大托萊多不變量者）具有何種幾何與代數結構？
• RQ3 與極大表示相關的邊界映射如何推廣圓周半共軛的單調性？
• RQ4 在酉型群中，托萊多不變量與旋轉數之間的關係為何？
• RQ5 極大表示的集合是否為表示空間中的實半代數子集？

主要发现

• 托萊多不變量在表示空間上連續且一致有界，確保在小變形下具有穩定性。
• 托萊多不變量在曲面連通和下具有可加性，為歸納論證提供強大工具。
• 對於極大表示，當對稱空間為管型時，表示的像在群中為扎里斯基稠密。
• 與極大表示相關的邊界映射連續，並滿足推廣的單調性性質，延伸了圓周半共軛的行為。
• 托萊多不變量可表示為旋轉數的函數，將上同調不變量與動力數據連結起來。
• 極大表示的集合為實半代數集，對表示空間的結構施加了強大的拓撲與代數約束。