[논문 리뷰] Proper homotopy types and Z-boundaries of spaces admitting geometric group actions

Craig R. Guilbault, Molly A. Moran|arXiv (Cornell University)|2017. 07. 24.

Homotopy and Cohomology in Algebraic Topology인용 수 4

한 줄 요약

이 논문은 유한 차원성, CAT(0) 구조 또는 자유 군 작용을 요구하지 않는 일반적인 올바른 거리형 AR(절대 재구성체)에 대해 기하군론의 핵심 정리를 일반화한다. 준등거리 군이 이러한 공간 위에서 기하학적으로 작용할 경우, 그들의 공간은 적절한 호모토피 동치를 가지며, Z경계는 형상 동치를 공유함을 증명한다. 이는 초등적 및 CAT(0) 군 이론의 결과를 토너먼트 군과 더 넓은 위상적 환경으로 확장하는 것이다. ANR 및 형상 이론을 통해 수행된다.

ABSTRACT

We extend several techniques and theorems from geometric group theory so that they apply to geometric actions on arbitrary proper metric ARs (absolute retracts). A second way that we generalize earlier results is by eliminating freeness requirements often placed on the group actions. In doing so, we allow for groups with torsion. The main theorems are new in that they generalize results found in the literature, but a significant aim is expository. Toward that end, brief but reasonably comprehensive introductions to the theories of ANRs (absolute neighborhood retracts) and Z-sets are included, as well as a much shorter short introduction to shape theory. Here is a sampling of the theorems proved here. THEOREM. If quasi-isometric groups G and H act geometrically on proper metric ARs X and Y , resp., then X is proper homotopy equivalent to Y. THEOREM. If quasi-isometric groups G and H act geometrically on proper metric ARs X and Y , resp., and Y can be compactified to a Z-structure for H, then the same boundary can be added to X to obtain a Z-structure for G. THEOREM. If quasi-isometric groups G and H admit Z-structures (X^, Z_1) and (Y^, Z_2) resp., then Z_1 and Z_2 are shape equivalent.

연구 동기 및 목표

• 기존에 CW 복합체, 다양체 또는 CAT(0) 공간에 국한되어 있던 고전적 기하군론 정리를 더 넓은 범주인 올바른 거리형 AR로 확장하기 위해.
• 군 작용의 자유성 조건을 제거하여, 토너먼트를 가진 군에의한 응용을 가능하게 하기 위해.
• ANR 및 형상 이론을 통해 다양한 공간들 사이에서 Z-구조 및 Z경계 이론을 통합하고 일반화하기 위해.
• ANR, Z집합, 형상 이론에 대한 자가 포함된 접근법을 제공하여 이 도구들에 익숙하지 않은 연구자들에게 접근 가능하게 하기 위해.

제안 방법

• CW 복합체에 의존하지 않는, 컴act ANR들의 역순서계열을 기반으로 한 일반화된 '점들을 연결하는' 전략을 사용하여, 적절한 호모토피 동치를 확립한다.
• 힐버트 큐브 다양체 이론(정리 2.11에 의해)을 적용하여, 무한원에 대한 임의로 작은 닫힌 ANR 이웃을 구성함으로써 일반적인 경우에서 경계 교환을 가능하게 한다.
• 준등거리 군 작용을 가진 공간들 사이에서 Z-콤���팩티피케이션을 이전하는 데 경계 교환 기법을 활용한다.
• 특히 Z경계의 형상 유형을 정의하고 비교하기 위해, 컴팩트 공간들의 역순서계열의 프로-호모토피 동치를 활용한다.
• 커버링 공간 이론과 ANR 이론(예: 정리 2.10)을 적응하여, 기하군 작용을 가진 공간들의 호모토피 동치를 증명한다.
• 역순서계열 사이의 호모토피 교환 맵의 단계적 다이어그램을 구성하여, Z경계의 형상 동치를 증명한다.

실험 결과

연구 질문

• RQ1 유한 차원성 또는 CW 복합체 구조를 가정하지 않고, 기하군 작용을 하는 공간들 사이의 적절한 호모토피 동치를 확립할 수 있는가?
• RQ2 Z-구조에 대한 경계 교환 현상은 자유가 아닌 군 작용과 일반적인 AR에 대해서도 확장 가능한가?
• RQ3 유한 차원성 또는 토너먼트 자유성 조건이 없을 경우, 준등거리 군의 Z경계가 형상 동치임을 증명할 수 있는가?
• RQ4 형상 이론을 AR의 콤파クト화에 적용하여 Z경계를 비교할 수 있는가?
• RQ5 힐버트 큐브 다양체는 무한원에 대한 작은 ANR 이웃을 구성하는 데 발생하는 기술적 장애를 어떻게 해결하는가?

주요 결과

• 준등거리 군이 올바른 거리형 AR 위에서 기하학적으로 작용할 경우, 유계로 호모토피화된 역함수를 가진 연속적인 군형 등거리 사상에 의해 적절한 호모토피 동치를 가진다.
• 기하학적으로 작용하는 군의 Z경계는 토너먼트를 가질 경우에도 형상 동치를 제외한 유일하게 결정된다.
• 준등거리 군의 Z경계는 형상 동치를 가지며, 이는 베스트비나 및 드라니시코프의 결과를 자유 작용이나 무한 차원 AR로 일반화한다.
• 준등거리 동치 클래스 내에서 한 공간에 Z-구조가 존재하면, 다른 모든 공간에도 동일한 경계를 가진 Z-구조가 존재함을 의미한다.
• $X \times [0,1]^\infty$의 사용은 일반적인 AR을 힐버트 큐브 다양체로 대체할 수 있게 하여, 무한원에 대한 임의로 작은 ANR 이웃의 구성이 가능해진다.
• 컴 pact ANR들의 역순서계열을 통한 경계 교환은, 유한 차원성 또는 유한 CW 복합체를 요구하지 않아도 Z경계를 비교하는 데 강력한 방법을 제공한다.