[논문 리뷰] Rigidity of high dimensional graph manifolds

Roberto Frigerio, Jean‐François Lafont외 1명|arXiv (Cornell University)|2011. 07. 11.

Geometric and Algebraic Topology참고 문헌 89인용 수 16

한 줄 요약

이 논문은 고차원 그래프 만반류—경계 토러스 위에서 애매한 사상으로 붙여진 토러스와 유한 체적 초구형 만반류(차원 ≥3)의 곱으로 동형사상되는 조각들로 분해되는 컴acts 미분만반류—를 소개한다. 차원 ≥6에서 Borel 추측이 성립하고, 부드러운 강성(스무스 린드롬)이 달성됨을 보이며, 호모토피 동치는 미분동치를 의미한다. 핵심 기여는 기약 그래프 만반류에 대한 준등거리 강성 정리로, 그 기본군과 준등거리 동치인 군들은 원래 만반류의 분해와 유사한 그래프 군의 구조를 갖는다.

ABSTRACT

We define the class of high dimensional graph manifolds. These are compact smooth manifolds supporting a decomposition into finitely many pieces, each of which is diffeomorphic to the product of a torus with a finite volume hyperbolic manifold with toric cusps. The various pieces are attached together via affine maps of the boundary tori. We require all the hyperbolic factors in the pieces to have dimension at least 3. Our main goal is to study this class of graph manifolds from the viewpoint of rigidity theory. We show that, in high dimensions, the Borel conjecture holds for our graph manifolds. We also show that smooth rigidity holds within the class: two graph manifolds are homotopy equivalent if and only if they are diffeomorphic. We introduce the notion of irreducible graph manifolds, which form a subclass which has better coarse geometric properties. We establish some structure theory for finitely generated groups which are quasi-isometric to the fundamental group of an irreducible graph manifold: any such group has a graph of groups splitting with strong constraints on the edge and vertex groups. Finally, we prove that in every dimension >3 there exist examples of irreducible graph manifolds which do not support any locally CAT(0) metric.

연구 동기 및 목표

• 3차원 만반류 그래프 만반류를 고차원으로 일반화하는 새로운 고차원 그래프 만반류의 정의와 체계적 연구
• 이 만반류의 클래스에 대해 차원 ≥6에서 Borel 추측을 확립하기
• 부드러운 강성 증명: 두 고차원 그래프 만반류가 호모토피 동치일 때이고, 뿐만 아니라 서로 미분동치일 때이다.
• 기약 그래프 만반류의 개념을 도입하고, 기본군의 준등거리 임bedding을 통해 그 군의 거시 기하학적 성질을 분석하기
• 자유 아벨 군과 SO(n,1)의 비균일 격자와의 곱과 준등거리인 군들을 분류하고, 기약 그래프 만반류 군과 준등거리인 군들의 구조 정리 수립하기

제안 방법

• 고차원 그래프 만반류를, 각각 $T^d \times N_i$와 미분동치인 조각들로 분해된 컴팩트 미분만반류로 정의하며, 여기서 각 $N_i$는 차원 ≥3인 유한 체적 초구형 $n_i$-만반류이고, 경계 토러스에서 애매한 사상으로 붙인다.
• 준등거리 불변량과 점근 원형 기법을 사용하여 기본군의 거시 기하학을 분석하며, 특히 벽과 조각의 부분군의 준보존성을 중심으로 한다.
• 상대적으로 초하이퍼볼릭 군과 점근 트리-그레인드 구조 결과를 적용하여, 준등거리 사상이 조각으로의 분해를 유한 하우스도르프 거리 내에서 유지함을 보인다.
• 조각에 대한 QI-강성 확립: $\pi_1(N) \times \mathbb{Z}^d$와 준등거리인 임의의 군은 어떤 유한 커버 $N'$에 대해 $\pi_1(N')$의 유한 확장의 중심 확장의 유한 지수 부분군이다.
• Bass-Serre 이론을 적용하여, 기약 그래프 만반류의 기본군과 준등거리인 군은 정점군과 간선군에 강한 제약 조건을 가진 그래프 군의 구조를 가짐을 보인다.
• 로컬로 CAT(0) 메트릭을 갖지 않는 고차원 그래프 만반류의 예를 구성하여, 이 설정에서 비양의 곡률 조건이 필수적이지 않음을 보여준다.

실험 결과

연구 질문

• RQ1 고차원 그래프 만반류에 대해 차원 ≥6에서 Borel 추측이 성립하는가?
• RQ2 고차원 그래프 만반류의 클래스 내에서 부드러운 강성이 성립하는가? 즉, 호모토피 동치는 반드시 미분동치인가?
• RQ3 준등거리 사상은 기약 그래프 만반류의 기본군에 어떻게 작용하는가? 그리고 이는 기저가 되는 그래프 군의 분해를 재구성하는 데 사용될 수 있는가?
• RQ4 $n \geq 3$인 유한 체적 초구형 $n$-만반류 $N$에 대해 $\pi_1(N) \times \mathbb{Z}^d$와 준등거리인 군의 구조는 무엇인가?
• RQ5 기약 그래프 만반류의 거시 기하학은 부분군의 준등거리 임베딩을 통해 특징지을 수 있는가? 그리고 이는 기본군에 어떤 제약 조건을 가하는가?

주요 결과

• 고차원 그래프 만반류에 대해 차원 ≥6에서 Borel 추측이 성립한다: 어떤 만반류가 이와 호모토피 동치일 때이고, 뿐만 아니라 위상동치일 때이다.
• 부드러운 강성이 성립한다: 두 고차원 그래프 만반류가 호모토피 동치일 때이고, 뿐만 아니라 서로 미분동치일 때이다.
• 기약 그래프 만반류의 경우, 조각(벽)의 기본군은 준등거리로 임베딩되며, 준등거리 사상은 조각으로의 분해를 유한 하우스도르프 거리 내에서 유지한다.
• 기본군과 준등거리인 군은 간선군에 $\mathbb{Z}^{n-1}$을 유한 지수 부분군으로 포함하는 그래프 군의 구조를 가진다.
• $\pi_1(N) \times \mathbb{Z}^d$와 준등거리인 군은 어떤 유한 커버 $N'$에 대해 $\pi_1(N')$의 유한 확장의 중심 확장의 유한 지수 부분군이다.
• 로컬로 CAT(0) 메트릭을 갖지 않는 고차원 그래프 만반류가 존재하며, 이는 비양의 곡률 조건이 강성 결과에 필수적이지 않음을 보여준다.