[논문 리뷰] Bending Fuchsian representations of fundamental groups of cusped surfaces in PU(2,1)

Pierre Will|arXiv (Cornell University)|2011. 01. 05.

Geometric and Algebraic Topology인용 수 7

한 줄 요약

이 논문은 표면의 이상 삼각분할을 따라 굽히는 과정을 통해, 경계가 있는 표면의 기본군에 대한 새로운 이산적이고 충실하며 유형을 유지하는 PU(2,1) 표현의 가족을 제안한다. 테이히뮐러 공간 위에 비슷한 변위 좌표계를 사용하여, 저자들은 테이히뮐러 공간에서 PU(2,1)-표현 다양체로의 1-파라미터 매립을 구성하며, 이는 이전에 1개의 구멍이 있는 토러스에 대해 알려진 결과를 일반화하고, 토플러 불변량이 0인 새로운 표현 예를 제공한다.

ABSTRACT

We describe a family of representations of $π_1(Σ)$ in PU(2,1), where $Σ$ is a hyperbolic Riemann surface with at least one deleted point. This family is obtained by a bending process associated to an ideal triangulation of $Σ$. We give an explicit description of this family by describing a coordinates system in the spirit of shear coordinates on the Teichmüller space. We identify within this family new examples of discrete, faithful and type-preserving representations of $π_1(Σ)$. In turn, we obtain a 1-parameter family of embeddings of the Teichmüller space of $Σ$ in the PU(2,1)-representation variety of $π_1(Σ)$. These results generalise to arbitrary $Σ$ the results obtained in a previous paper for the 1-punctured torus.

연구 동기 및 목표

• 경계가 있는 표면의 기본군에 대한 새로운 이산적이고 충실하며 유형을 유지하는 PU(2,1) 표현의 가족을 구성하는 것.
• 이미 1개의 구멍이 있는 토러스에 대해서만 알려진 굽힘 구성 방법을, 최소한 하나의 구멍이 있는 임의의 경계가 있는 표면으로 일반화하는 것.
• 이러한 표현을 묘사하기 위해 테이히뮐러 공간 내에서 변위 좌표계의 정신을 담은 명시적인 좌표계를 제공하는 것.
• 결과로 얻어진 표현이 이산적이고 충실한 조건을 특정하는 것, 특히 토플러 불변량에 초점을 맞추는 것.

제안 방법

• 저자들은 경계가 있는 표면의 이상 삼각분할을 따라 굽힘 과정을 사용하여, 변위 주변의 단일 회귀를 수정함으로써, 푸크시안 표현을 PU(2,1)로 변형한다.
• 변위 유사 매개변수와 굽힘 각도를 기반으로 한 좌표계를 정의하며, 이는 테이히뮐러 이론에서의 변위 좌표계를 일반화한다.
• 이 구성은 표면에 대해 이분할 삼각분할의 존재에 의존하며, 이는 굽힘 매개변수의 일관된 할당과 결과 표현이 PU(2,1)에 속한다는 것을 보장한다.
• 표현은 복소 하이퍼볼릭 공간 내에서 인접한 이상 실삼각형과 관련된 복소 반사와 등급 변환의 복합으로 정의된다.
• 토플러 불변량은 굽힌 이상 삼각형들의 카르탕 불변량의 합의 두 배로 계산되며, 모든 이러한 표현에서 0임을 보여준다.
• 스피나르 R-표면 기법과 실 라그랑주 삼각군의 성질을 이용하여 표현의 이산성을 확립한다.

실험 결과

연구 질문

• RQ1 1개의 구멍이 있는 토러스에 사용된 굽힘 구성 방법을 고위수 및 다중 구멍을 가진 임의의 경계가 있는 표면으로 일반화할 수 있는가?
• RQ2 결과로 얻어진 표현을 PU(2,1)-표현 다양체에서 매개변수화하기 위해 어떤 좌표계를 사용할 수 있는가?
• RQ3 굽힘 과정이 PU(2,1)에서 이산적이고 충실한 표현을 유도하는 조건은 무엇인가?
• RQ4 결과로 얻어진 표현의 토플러 불변량은 무엇이며, 굽힌 삼각형의 기하학과 어떻게 관련이 있는가?
• RQ5 이 구성은 표면의 테이히뮐러 공간을 어떻게 PU(2,1)-표현 다양체로 매립하는가?

주요 결과

• 저자들은 이상 삼각분할을 따라 굽히는 방식으로, 경계가 있는 표면의 기본군에 대한 1-파라미터 매개변수를 가진 이산적이고 충실하며 유형을 유지하는 PU(2,1) 표현의 가족을 구성한다.
• 결과로 얻어진 표현은 토플러 불변량이 0임을 보이며, 이는 1개의 구멍이 있는 토러스에 대해 알려진 결과를 일반화한다.
• 표현 다양체에서 이론적으로 변위 좌표계와 유사한 좌표계를 명시적으로 정의하여, 굽힌 표현의 가족을 매개변수화한다.
• 이 구성은 표면의 테이히뮐러 공간에서 PU(2,1)-표현 다양체로의 1-파라미터 매립의 가족을 유도한다.
• 모든 모서리 장식을 1로 설정하고 모든 굽힘 각도를 동일하게 설정할 경우, 결과로 얻어진 군은 팔베르와 코젤레프가 연구한 가족에 포함된 군과 동치이며, 대칭성과 반사군 분석을 통해 이산성이 확인된다.
• 이 방법은 표준 푸크시안 표현 및 복소 하이퍼볼릭 표면군 예외을 초월하여, 새로운 이산적이고 충실한 표현의 예를 체계적으로 생성할 수 있는 방법을 제공한다.