[논문 리뷰] Quasi-actions on trees II: Finite depth Bass-Serre trees

Lee Mosher, Michah Sageev외 1명|ArXiv.org|2004. 05. 13.

Geometric and Algebraic Topology참고 문헌 29인용 수 6

한 줄 요약

이 논문은 유한한 그래프의 코arse Poincaré 대칭군의 기본군에 대해, 유한 깊이의 Bass-Serre 트리와 함께, 준등거리 위상성의 강한 성질을 확립한다. 각 정점에서 codimension-1 간선군의 교차를 기술하는 그래프가 연결이거나 공집인 경우를 요구하는 '교차 그래프 조건' 하에, 이러한 군과 준등거리인 유한 생성 군은 모두 코어스 Poincaré 대칭군의 유한한 그래프의 기본군임을 증명한다. 또한, 임의의 준등거리 사상은 해당 Bass-Serre 트리의 정점 및 간선 공간을 근사적으로 보존한다.

ABSTRACT

This paper addresses questions of quasi-isometric rigidity and classification for fundamental groups of finite graphs of groups, under the assumption that the Bass-Serre tree of the graph of groups has finite depth. The main example of a finite depth graph of groups is one whose vertex and edge groups are coarse Poincare duality groups. The main theorem says that, under certain hypotheses, if G is a finite graph of coarse Poincare duality groups then any finitely generated group quasi-isometric to the fundamental group of G is also the fundamental group of a finite graph of coarse Poincare duality groups, and any quasi-isometry between two such groups must coarsely preserves the vertex and edge spaces of their Bass-Serre trees of spaces. Besides some simple normalization hypotheses, the main hypothesis is the ``crossing graph condition'', which is imposed on each vertex group G_v which is an n-dimensional coarse Poincare duality group for which every incident edge group has positive codimension: the crossing graph of G_v is a graph e_v that describes the pattern in which the codimension~1 edge groups incident to G_v are crossed by other edge groups incident to G_v, and the crossing graph condition requires that e_v be connected or empty.

연구 동기 및 목표

• 정점 및 간선 군이 코어스 Poincaré 대칭군인 유한한 그래프의 군에 대해 준등거리 위상성을 확립한다.
• 준등거리 사상이 이러한 군의 분해 구조, 특히 그들의 Bass-Serre 트리에서의 정점 및 간선 공간을 보존하는지 조사한다.
• 준등거리 군이 동형 또는 공역수인 그래프 군 분해를 가져야 하는 조건을 규명한다.
• 이전의 준등거리 위상성 결과를 동질적이지 않은 그래프 군으로 확장하며, 특히 차원이 다른 정점 군을 포함한 경우를 다룬다.
• 만행성 군의 합성 및 HNN 확장으로부터 유도되는 군들의 준등거리 유형을 분류한다.

제안 방법

• 그래프 군의 기하적 구조를 분석하기 위해 Bass-Serre 공간 트리 구축법을 사용한다.
• ‘교차 그래프 조건’을 도입한다 — 각 정점에서 codimension-1 간선군의 교차를 기술하는 그래프가 연결이거나 공집이어야 한다는 조건.
• 코어스 Poincaré 대칭 군 이론을 적용하여 정점 군을 만행성 군으로 모델링함으로써, 동질적일 때의 결과를 비동질적 환경으로 일반화한다.
• 준등거리 기법을 활용하여, 이러한 군 간의 임의의 준등거리 사상이 Bass-Serre 트리의 정점 및 간선 공간 분해를 근사적으로 보존함을 보인다.
• 분석적 연속성 추론을 사용하여, 깊이 1의 뗏널에서 국소적으로 확보된 준등거리 통제를 전체 Bass-Serre 트리로 전파한다.
• Farb-Mosher 및 Kapovich-Kleiner의 표면-기반 자유군에 대한 준등거리 사상 결과를 활용하여, 깊이 1의 뗏널에서의 위상성 확보

실험 결과

연구 질문

• RQ1 유한한 코어스 Poincaré 대칭군의 그래프의 기본군의 분해가 준등거리 사상 하에서 언제 보존되는가?
• RQ2 각 정점에서의 교차 그래프의 구조가 군의 준등거리 위상성에 어떤 영향을 미치는가?
• RQ3 이러한 군 간의 준등거리 사상이 그들의 Bass-Serre 트리의 정점 및 간선 공간 분해를 근사적으로 보존하는지 여부는 무엇인가?
• RQ4 동질적 경우(모든 정점 군의 차원이 동일한 경우)를 초월하여 결과가 어느 정도 일반화되는가?
• RQ5 표면-기반 자유군 또는 하이퍼볼릭 3-다양체 군의 최대 순환 부분군을 갖는 합성군과 같은 군의 준등거리 군에 대한 함의는 무엇인가?

주요 결과

• 유한 생성 군이 유한한 그래프의 코어스 Poincaré 대칭군의 기본군과 준등거리일 경우, 그 자체로도 역시 코어스 Poincaré 대칭군의 유한한 그래프의 기본군임이 보장된다.
• 이러한 군 간의 임의의 준등거리 사상은 각각의 Bass-Serre 공간 트리의 정점 및 간선 공간 분해를 근사적으로 보존한다.
• 교차 그래프 조건 — 각 정점에서 codimension-1 간선군의 교차를 기술하는 그래프가 연결이거나 공집이어야 한다 — 은 이러한 위상성을 보장하는 데 충분한 조건이다.
• 표면-기반 자유군 또는 하이퍼볼릭 3-다양체 군의 최대 순환 부분군을 갖는 합성군과 같은 군의 경우, 준등거리 유형은 위상적이며 분해는 보존된다.
• 이러한 군의 준등거리 군은 그 자체의 유한 지수 확장이며, 깊이 1의 뗏널의 구조가 전체 준등거리 군의 구조를 결정한다.
• 표면 군과 같은 더 높은 차원의 간선 군을 포함하는 경우에도 위상성은 유지되며, 분해는 준등거리 사상 하에서 보존된다.