[논문 리뷰] Helly meets Garside and Artin

Jingyin Huang, Damian Osajda|arXiv (Cornell University)|2019. 04. 19.

Geometric and Algebraic Topology참고 문헌 61인용 수 9

한 줄 요약

이 논문은 유한형 약한 가르시드 군과 FC 유형 아르틴 군이 헬리 그래프 위에 기하학적으로 작용함을 증명하여, 이들이 헬리 군임을 밝힌다. 셀-헬리 복합체의 개념을 도입하고 국소-전역 원리를 활용함으로써, 이러한 군들은 강한 조합적 볼록성과 유사한 비음의 곡률 구조를 지닌다. 이는 이중자동성, 경계의 존재, 그리고 패러-존스 및 코arse 바움-콘스 추측과 같은 주요 추측의 해법을 암시한다.

ABSTRACT

A graph is Helly if every family of pairwise intersecting combinatorial balls has a nonempty intersection. We show that weak Garside groups of finite type and FC-type Artin groups are Helly, that is, they act geometrically on Helly graphs. In particular, such groups act geometrically on spaces with convex geodesic bicombing, equipping them with a nonpositive-curvature-like structure. That structure has many properties of a CAT(0) structure and, additionally, it has a combinatorial flavor implying biautomaticity. As immediate consequences we obtain new results for FC-type Artin groups (in particular braid groups and spherical Artin groups) and weak Garside groups, including e.g.\ fundamental groups of the complements of complexified finite simplicial arrangements of hyperplanes, braid groups of well-generated complex reflection groups, and one-relator groups with non-trivial center. Among the results are: biautomaticity, existence of EZ and Tits boundaries, the Farrell-Jones conjecture, the coarse Baum-Connes conjecture, and a description of higher order homological and homotopical Dehn functions. As a mean of proving the Helly property we introduce and use the notion of a (generalized) cell Helly complex.

연구 동기 및 목표

• 약한 가르시드 군의 유한형과 FC 유형 아르틴 군에 대해 헬리 그래프를 이용한 기하 모델을 수립하기 위해.
• 셀-헬리 복합체를 통해 C(4)-T(4) 조건의 일반화로서 고차원으로의 소작분 해석을 확장하기 위해.
• CAT(0)를 초월한 군에서 비음의 곡률의 조합적이고 국소-전역 프레임워크를 제공하여, 이중자동성보다 더 강한 볼록성을 가능하게 하기 위해.
• 이러한 군들이 헬리 그래프를 통해 포함된 메트릭 공간 위에 기하학적으로 작용함을 증명함으로써, 강력한 볼록성 구조를 부여하기 위해.

제안 방법

• 소작분 조건의 고차원 해석으로서, 일반화된 셀-헬리 복합체의 개념을 도입하기 위해.
• Helly 그래프의 국소-전역 특성화를 [weaklymodular]에서 인용하여, 국소적인 조합 조건을 통해 헬리 성질을 검증하기 위해.
• FC 유형 아르틴 군의 살베티 복합체의 범위를 분석함으로써, 구형 부분복합체 내의 셀 교차를 분석함으로써 그 범위의 기본 복합체가 셀-헬리임을 증명하기 위해.
• 가르시드 범주와 코x터 복합체의 구조를 이용하여, 셀-헬리 성질을 갖는 셀의 쌍별 교차가 비어 있지 않은 총합 교차를 가짐을 보여주는 데, 격자 이론적 성질을 활용하기 위해.
• 셀-헬리 복합체의 두꺼운 구조의 1-스켈레톤으로서 Helly 그래프를 구성함으로써, 군의 기하학적 작용을 보장하기 위해.
• Helly 그래프가 볼록성 기반의 지오데식 이중구조와 포함된 메트릭 공간의 구조를 지닌다는 사실을 활용하여, 강력한 알고리즘적 및 기하학적 결과를 이끌어내기 위해.

실험 결과

연구 질문

• RQ1 약한 가르시드 군의 유한형은 헬리 그래프 위에 기하학적으로 작용하는가? 이는 비음의 곡률 유사 구조를 허용하는가?
• RQ2 C(4)-T(4) 소작분 조건은 고차원으로 일반화될 수 있는가? 만약 그렇다면, 고차원 아르틴 군의 기하학을 포괄하는 방식으로?
• RQ3 FC 유형 아르틴 군은 살베티 복합체를 통해 헬리 구조를 갖는가? 만약 그렇다면, 그 기본 복합체 내에서 셀의 교차 성질은 어떠한가?
• RQ4 관련 Helly 그래프의 지오데식 이중구조 존재성과 셀-헬리 성질 간의 관계는 무엇인가?
• RQ5 헬리 성질은 CAT(0)나 가르시드 정규형 이상의 더 강력한 볼록성과 알고리즘적 성질(예: 이중자동성)을 어떻게 암시하는가?

주요 결과

• 유한형 약한 가르시드 군과 FC 유형 아르틴 군은 헬리 군이며, 이는 헬리 그래프 위에 기하학적으로 작용함을 의미한다.
• FC 유형 아르틴 군의 살베티 복합체의 기본 복합체는 셀-헬리 복합체이며, 고차원 소작분 조건을 만족한다.
• 살베티 복합체 내에서 쌍별로 교차하는 셀의 유한한 집합의 교차는 비어 있지 않고, 수축 가능하다. 이는 헬리 성질을 보장한다.
• 셀-헬리 복합체의 두꺼운 구조의 1-스켈레톤은 Helly 그래프이며, 군이 이 위에 기하학적으로 작용한다.
• 헬리 구조는 이중자동성, EZ 경계 및 티츠 경계의 존재, 패러-존스 및 코어스 바움-콘스 추측의 해법을 암시한다.
• 고차원 호몰로지 및 호모토피 Dehn 함수는 Helly 그래프의 볼록성과 포함된 메트릭 구조를 통해 기술된다.