[논문 리뷰] Connectivity properties of group actions on non-positively curved spaces I: Controlled connectivity and openness results

Robert Bieri, Ross Geoghegan|ArXiv.org|1998. 11. 03.

Geometric and Algebraic Topology참고 문헌 18인용 수 3

한 줄 요약

이 논문은 CAT(0) 공간 위의 군 작용에 대한 새로운 제어된 위상적 불변량을 제안하며, 코컴팩트 등거리 작용과 이산 궤도 및 F_n-점 안정자군이 있는 코컴팩트 작용이 모든 등거리 군 작용의 공간에서 열린 부분집합을 이룬다는 것을 증명한다. 주요 기여는 기하군론에서 잘 알려진 유한성 성질을 일반화하는 새로운 위상적 프레임워크를 제공하는 것으로, 특히 궤도가 이산일 경우에 해당한다.

ABSTRACT

Let G be a group and let M be a CAT(0) proper metric space (e.g. a simply connected complete Riemannian manifold of non-positive sectional curvature or a locally finite tree). Isometric actions of G on M are (by definition) points in the space R := Hom(G, Isom(M)) with the compact open topology. Sample theorems: 1. The cocompact actions form an open subset of R. 2. The cocompact actions with discrete orbits whose point-stabilizers have type F_n form an open subset of the subspace of R consisting of all actions with discrete orbits. (F_1 means finitely generated, F_2 means finitely presented etc.) The key idea is to introduce a new "controlled topology" invariant of such actions - dependent on n - which is unfamiliar when the orbits are not discrete but which becomes familiar (cf 2.) when the orbits are discrete. (This is the first of two papers.)

연구 동기 및 목표

• 비양의 곡률을 가진 공간 위의 등거리 군 작용에 대한 제어된 위상적 불변량을 개발하는 것.
• CAT(0) 완전 거리 공간 위의 등거리 군 작용의 공간의 위상적 구조를 분석하는 것.
• 코컴팩트 작용 및 이산 궤도와 F_n-점 안정자군을 갖는 작용에 대한 열린 성질를 확립하는 것.
• 기하군론의 맥락에서 유한성 성질(F_n)을 일반화하는 것.
• 특히 궤도가 이산일 경우에 군 작용을 제어된 위상학적 도구를 통해 연구하기 위한 기초 도구를 마련하는 것.

제안 방법

• 군 작용이 일어나는 CAT(0) 공간에 특화된 n에 의존하는 새로운 제어된 위상 불변량을 도입하는 것.
• R = Hom(G, Isom(M)) 공간 위의 컴팩트-오픈 위상을 사용하여 작용 유형의 수렴성과 열린 성질을 연구하는 것.
• 코컴팩트 작용을 R의 부분집합으로 간주하고, 제어된 연결성에 의해 그 열린 성질을 증명하는 것.
• 이산 궤도와 F_n-점 안정자군을 갖는 작용에 집중하여, 이산 궤도 작용의 부분공간 내에서 그 열린 성질을 보이는 것.
• 완전하고 단순연결된 리만다양체 또는 국소유한 트리와 같은 CAT(0) 공간의 기하학적 성질을 활용하여 적절한 위상적 행동을 보장하는 것.
• 기하군론과 호모토피 이론의 기법을 적용하여 제어된 불변량이 고전적인 유한성 성질(F_1, F_2 등)과 어떻게 연결되는지 분석하는 것.

실험 결과

연구 질문

• RQ1 어떤 조건에서 CAT(0) 공간 위의 모든 등거리 작용의 공간에서 코컴팩트 등거리 군 작용의 공간이 열린가?
• RQ2 비양의 곡률을 가진 공간 위의 군 작용에 대해, 유한성 성질을 포착할 수 있는 제어된 위상 불변량을 어떻게 정의할 수 있는가?
• RQ3 이산 궤도와 F_n-점 안정자군을 갖는 작용의 위상적 구조는 모든 그러한 작용의 공간에서 어떻게 나타나는가?
• RQ4 제어된 불변량은 고전적인 유한성 성질(F_1: 유한생성, F_2: 유한형성 등)과 어떻게 관련되는가?
• RQ5 궤도가 이산일 경우에 제어된 위상학적 구조는 군 작용의 행동을 어떻게 단순화하거나 명확히 하는가?

주요 결과

• CAT(0) 완전 거리 공간 위의 코컴팩트 등거리 군 작용의 집합은 컴팩트-오픈 위상에 의하여 R = Hom(G, Isom(M)) 공간의 열린 부분집합을 이룬다.
• 이산 궤도를 가지며 점 안정자군이 F_n인 작용의 집합은 모든 이산 궤도 작용의 부분공간 내에서 열린 부분집합을 이룬다.
• 새로운 제어된 위상 불변량이 도입되었으며, 궤도가 이산일 경우 이는 기존의 표준적인 F_n 성질과 동치가 된다.
• 제어된 불변량은 비양의 곡률을 가진 공간 위의 군 작용 맥락에서 유한성 성질을 통합적으로 이해하는 데 유용한 프레임워크를 제공한다.
• 이 결과들은 기하군론에서 군 작용의 변형 공간을 연구하는 데 핵심적인 열린 성질 정리들을 확립한다.
• 이 프레임워크는 단순연결된 비양의 곡률을 가진 완전 리만다양체와 국소유한 트리와 같은 다양한 CAT(0) 공간에 적용 가능하다.