[논문 리뷰] Helly groups

Jérémie Chalopin, Victor Chepoi외 3명|arXiv (Cornell University)|2020. 02. 17.

Geometric and Algebraic Topology인용 수 12

한 줄 요약

이 논문은 Helly 그래프 위에 기하학적으로 작용하는 군—즉, 쌍방향으로 만날 조합적 구역의 가족이 공통의 교차를 가지는 그래프—인 Helly 군을 정의하고 체계적으로 연구한다. 저자들은 초등군, CAT(0) 큐빅 군, 그리고 특정한 소형 분할 군을 포함한 여러 고전 군들이 Helly임을 증명하고, Helly 군이 이중자동성, 적절한 작용을 위한 유한 차원 분류 공간의 존재, 수축 가능한 점근적 콘, 그리고 Farrell-Jones 및 코arse Baum-Connes 추측의 만족과 같은 강력한 기하학적 및 대수적 성질을 지닌다는 것을 증명한다.

ABSTRACT

Helly graphs are graphs in which every family of pairwise intersecting balls has a non-empty intersection. This is a classical and widely studied class of graphs. In this article we focus on groups acting geometrically on Helly graphs -- Helly groups. We provide numerous examples of such groups: all (Gromov) hyperbolic, CAT(0) cubical, finitely presented graphical C(4)$-$T(4) small cancellation groups, and type-preserving uniform lattices in Euclidean buildings of type $C_n$ are Helly; free products of Helly groups with amalgamation over finite subgroups, graph products of Helly groups, some diagram products of Helly groups, some right-angled graphs of Helly groups, and quotients of Helly groups by finite normal subgroups are Helly. We show many properties of Helly groups: biautomaticity, existence of finite dimensional models for classifying spaces for proper actions, contractibility of asymptotic cones, existence of EZ-boundaries, satisfiability of the Farrell-Jones conjecture and of the coarse Baum-Connes conjecture. This leads to new results for some classical families of groups (e.g. for FC-type Artin groups) and to a unified approach to results obtained earlier.

연구 동기 및 목표

• Helly 군—Helly 그래프 위에 기하학적으로 작용하는 군—을 정의하고 체계적으로 연구하기.
• 초기 군들인 하이퍼볼릭, CAT(0) 큐빅, 그리고 특정한 소형 분할 군을 포함한 넓은 군의 범주를 Helly로 식별하기.
• Helly 군에 대해 강력한 기하학적 및 대수적 성질을 확립하여 고전 군의 가족에 대해 알려진 결과들을 통합하고 확장하기.
• CAT(0) 공간과 같은 음이 아닌 곡률 설정과 유사하게 Helly 그래프 위의 군 작용을 이해하기 위한 프레임워크 제공하기.
• Helly 군의 구조와 성질에 관한 열린 문제 제기하기—특히 부분군의 구조와 상대적 하이퍼볼릭성에 대해.

제안 방법

• 메트릭 공간과 그래프를 삽입하기 위해 Hellyfication과 포함성 힐러 구조를 사용하여 메트릭 공간을 포함성 메트릭 공간에 매장하기.
• 포함성 공간 내의 지오데식 이중편향을 적용하여 이중자동성과 동행 성질 유도하기.
• 두꺼운 처리, 클리크-하이퍼그래프의 뉘앙스 그래프, δ-공-하이퍼그래프의 Rips 복합체를 통한 Helly 그래프 구축하기.
• Helly 성질을 활용하여 고정점 정리와 유 endo 군 작용 하에서 고정점 집합의 수축성 증명하기.
• 추상적 세포 복합체와 하이퍼그래프 구조를 사용하여 Helly 그래프와 그 플래그 완비화 특성화하기.
• 군론적 성질(예: Farrell-Jones, 코arse Baum-Connes)을 Helly 그래프 작용의 기하학적 성질로 환원하기.

실험 결과

연구 질문

• RQ1 매핑 클래스 군, 아르틴 군, 코xeter 군과 같은 고전 군들은 (가장종) Helly인가?
• RQ2 무한 순환 부분군을 통해의 자유곱과 암시된 구조를 갖는 Helly 군에 대해 조합 정리가 성립하는가?
• RQ3 Helly 군의 소형 분할 몫은 스스로 Helly인가?
• RQ4 Helly 군의 아벨 부분군은 유한 생성이어야 하는가? Helly 군에 대해 해벌린 부분군 정리가 존재하는가?
• RQ5 Helly 군 내의 준평면과 무한 순서 원소의 중심화자 구조는 어떠한가?

주요 결과

• (Gromov) 하이퍼볼릭 군, CAT(0) 큐빅 군, 그리고 유한 생성 그래프적 C(4)-T(4) 소형 분할 군은 모두 Helly이다.
• 유한 부분군을 통해의 Helly 군의 자유곱, 그래프 곱, Helly 군의 특정 다이어그램 곱은 Helly이다.
• 유한 정규 부분군을 갖는 Helly 군의 몫은 Helly이다.
• Helly 군은 정상 클리크-경로가 존재하여 동행 성질을 만족함으로써 이중자동성임이 증명된다.
• Helly 군은 적절한 작용을 위한 분류 공간에 대해 유한 차원 모델을 갖는다.
• Helly 군의 점근적 콘은 수축 가능하며, 유한 군 작용 하에서의 고정점 집합은 Helly이면서 수축 가능하다.