[논문 리뷰] Metric systolicity and two-dimensional Artin groups

Jingyin Huang, Damian Osajda|arXiv (Cornell University)|2017. 10. 14.

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

한 줄 요약

이 논문은 비음성 곡률을 일반화하는 새로운 기하적 프레임워크인 거리적으로 심플렉틱 단순 복합체를 도입하며, 모든 2차원 아르틴 군이 이러한 복합체 위에 기하학적으로 작용함을 증명한다. 이는 새로운 결과를 이끌어내며, 공역 문제는 해법이 존재하고, 드레인 함수는 이차 함수이며, 유한적으로 표현된 부분군은 거리적으로 심플렉틱성과 등급-등각 위상 불변성 특성을 물려받는다.

ABSTRACT

We introduce the notion of metrically systolic simplicial complexes. We study geometric and large-scale properties of such complexes and of groups acting on them geometrically. We show that all two-dimensional Artin groups act geometrically on metrically systolic complexes. As direct corollaries we obtain new results on two-dimensional Artin groups and all their finitely presented subgroups: we prove that the Conjugacy Problem is solvable, and that the Dehn function is quadratic. We also show several large-scale features of finitely presented subgroups of two-dimensional Artin groups, lying background for further studies concerning their quasi-isometric rigidity.

연구 동기 및 목표

• 2차원 아르틴 군을 위한 비음성 곡률을 일반화하는 새로운 기하적 프레임워크인 거리적으로 심플렉틱 복합체를 개발한다.
• 오랫동안 열려있던 2차원 아르틴 군의 알고리즘적 성질에 관한 문제, 예를 들어 공역 문제의 해법 가능성을 해결한다.
• 2차원 아르틴 군의 유한적으로 표현된 부분군의 거대 척도 기하적 성질을 규명한다. 이는 충만 반경과 등급-등각 임bedding 성질을 포함한다.
• CAT(0)가 실패하는 2차원 설정에서 기하 분석을 가능하게 하는, 존재하는 비음성 곡률 모델의 CAT(0)가 아닌 대안을 제공한다.

제안 방법

• 모든 정점 링크의 필수 고리의 각도 길이가 최소 $2\pi$ 이상이 되는 거리 조건을 통해 거리적으로 심플렉틱 복합체를 정의한다.
• 거리적으로 심플렉틱 복합체의 충만 성질과 곡률 분석을 위해 CAT(0) 원판 다이어그램을 핵심 도구로 사용한다.
• 표준 표현 복합체를 분할하고 심플렉틱화하여 2차원 아르틴 군의 수정된 카일리 복합체를 구성한다.
• 삼각형의 각도를 사전에 정의된 값($\pi/2$, $\pi/2n$)으로 설정하여, 복합체에 조각별 유클리드 메트릭을 도입함으로써 거리적으로 심플렉틱성을 보장한다.
• 원판 다이어그램 기법을 적용하여, 거리적으로 심플렉틱 복합체가 이차 드레인 함수를 갖는다는 것을 증명하고, 2차원 준원판에 대해 모어스 보조정리를 만족함을 보인다.
• 2차원 아르틴 군이 구성된 복합체 위에 작용함을 활용하여, 군과 그 부분군의 알고리즘적 및 기하적 성질을 유도한다.

실험 결과

연구 질문

• RQ1 CAT(0)보다 더 약한데도 알고리즘적 및 기하적 결과를 도출할 수 있는, 2차원 아르틴 군을 위한 비음성 곡률 유사 구조를 정의할 수 있는가?
• RQ2 모든 2차원 아르틴 군에서 공역 문제는 해법이 존재하고, 드레인 함수는 이차 함수인가?
• RQ3 2차원 아르틴 군의 유한적으로 표현된 부분군은 거리적으로 심플렉틱성을 물려받고, 등급-등각 위상 불변성을 보이는가?
• RQ4 거리적으로 심플렉틱성은 2차원 아르틴 군 내의 아벨 부분군과 타원형 부분군의 등급-등각 임베딩을 확립하는 데 사용될 수 있는가?

주요 결과

• 모든 2차원 아르틴 군은 거리적으로 심플렉틱 복합체 위에 기하학적으로 작용하며, 이는 그에 대한 새로운 기하 모델을 확립한다.
• 모든 2차원 아르틴 군의 드레인 함수는 거리적으로 심플렉틱 구조의 결과로 이차 함수이다.
• 군이 토크션-자유이고, 거듭제곱 공역이 동일성을 의미하는 조건을 만족할 경우, 모든 2차원 아르틴 군의 공역 문제는 해법이 존재한다.
• 2차원 아르틴 군의 유한적으로 표현된 부분군은 스스로 거리적으로 심플렉틱이며, 환경 군의 기하적 및 알고리즘적 성질을 물려받는다.
• 거리적으로 심플렉틱 복합체에서 2차원 구면 사이클의 충만 반경은 일정하며, 이는 강력한 거대 척도 기하 제어를 나타낸다.
• 2차원 아르틴 군의 아벨 부분군은 등급-등각으로 임베딩되어 있으며, 비자명한 타원형 부분군은 $\mathbb{Z}$ 또는 유한지표로 $\mathbb{Z}^2$이다.