[논문 리뷰] Quasi-Euclidean tilings over 2-dimensional Artin groups and their applications

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

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

한 줄 요약

이 논문은 메트릭 시스톨리시티를 이용하여 2차원 아르틴 군에서의 준평탄성의 완전한 조합적 기술을 수립하며, 원자적 섹터와 교차 그래프 불변량을 도입한다. CLTTF 아르틴 군이 강한 준등거리 위상에 대해 강력한 유사 등장성을 가지며, 준등거리 사상이 자동형사상에 균일하게 가까이 있음을 증명하고, 이 클래스에서 강력한 위상의 필요충분조건을 제공한다.

ABSTRACT

We describe the structure of quasiflats in two-dimensio\-nal Artin groups. We rely on the notion of metric systolicity developed in our previous work. Using this weak form of non-positive curvature and analyzing in details the combinatorics of tilings of the plane we describe precisely the building blocks for quasiflats in all two-dimensional Artin groups -- atomic sectors. This allows us to provide useful quasi-isometry invariants for such groups -- completions of atomic sectors, stable lines, and the intersection pattern of certain abelian subgroups. These are described combinatorially, in terms of the structure of the graph defining an Artin group. As an important tool, we introduce an analogue of the curve complex in the context of two-dimensional Artin groups -- the intersection graph. We show quasi-isometric invariance of the intersection graph under natural assumptions. As immediate consequences we present a number of results concerning quasi-isometric rigidity for the subclass of CLTTF Artin groups. We give a necessary and sufficient condition for such groups to be strongly rigid (self quasi-isometries are close to automorphisms), we describe quasi-isometry groups, we indicate when quasi-isometries imply isomorphisms for such groups. In particular, there exist many strongly rigid large-type Artin groups. In contrast, none of the right-angled Artin groups are strongly rigid by a previous work of Bestvina, Kleiner and Sageev.

연구 동기 및 목표

• 2차원 아르틴 군에서의 준평탄성의 기하적 구조를 이해하기 위해, 이들이 비양성 곡률을 갖는 것으로 추측된다.
• 준등거리 성질을 캡처하는 조합적 불변량—원자적 섹터의 완비화, 안정선, 교차 그래프—를 개발하기 위해.
• CLTTF 아르틴 군에 대해 강한 준등거리 위상성을 수립하여, 모든 준등거리 사상이 군 자동형사상에 균일하게 가까이 있음을 보이기 위해.
• 강력한 위상이 실패하는 오른쪽-각 아르틴 군을 넘어서 보다 일반화된 위상 결과를 도출하기 위해, 평탄성의 교차 그래프라는 새로운 불변량을 도입하기 위해.
• 준등거리 사상이 동형사상으로 이끌어내는 경우와, 교차 그래프가 곰로-하이퍼볼릭이 되는 경우를 조사하여, 오른쪽-각 사례에서 알려진 결과를 확장하기 위해.

제안 방법

• 준평탄성 분석의 기초 기하적 프레임워크로, 비양성 곡률의 약한 형태인 메트릭 시스톨리시티를 사용한다.
• 지역적 조합론적 성질을 바탕으로 한 유니버설 커버 내 원판 다이어그램에서 유도된, 준평탄성의 기본 구성 요소인 원자적 섹터를 도입한다.
• 정점이 원자적 섹터에 대응하고, 간선이 비자명한 교차에 대응하는 평탄성의 교차 그래프(곡선 복합체의 유사체)를 구성한다.
• 평탄한 부분복합체의 안정성과 특이 반사선의 구조를 이용하여 자연적인 조건 하에서 교차 그래프가 준등거리 불변량임을 증명한다.
• 준평탄성 발전에서 반코소터 영역 이론과 모서리 방향을 적용하여 평탄한 점과 특이 반사선을 분류한다.
• 일반적인 반사선(일반형, 코소터형, 다이아몬드형)의 발전을 이용하여 준평탄성의 전반적 구조와 그 안정자군을 분석한다.

실험 결과

연구 질문

• RQ1 두 2차원 아르틴 군이 언제 준등거리이며, 언제 이것이 동형사상으로 이어지는가?
• RQ2 원자적 섹터의 교차 그래프가 2차원 아르틴 군의 준등거리 불변량이 되는 조건은 무엇인가?
• RQ3 CLTTF 아르틴 군이 강한 준등거리 위상에 대해 강력하게 유사 등장성을 갖는 조건은 무엇인가? (즉, 모든 준등거리 사상이 자동형사상에 균일하게 가까운가?)
• RQ4 2차원 아르틴 군에서 평탄성의 교차 그래프는 곰로-하이퍼볼릭인가? 이는 계층적 하이퍼볼릭성과 어떻게 관련되는가?
• RQ5 2차원 아르틴 군의 자동형사상이 원자적 섹터의 교차 그래프에 대해 그래프 자동형사상을 유도하는가, 그 반대의 경우도 마찬가지인가?

주요 결과

• 모든 2차원 아르틴 군은 메트릭 시스톨릭이며, 국소적 조합론을 통해 준평탄성의 세밀한 분석이 가능하다.
• 2차원 아르틴 군의 준평탄성은 아벨 부분군에 의해 안정화되는 최소 평탄한 부분복합체인 원자적 섹터로 구성된다.
• 자연적인 조건 하에서 원자적 섹터의 교차 그래프는 2차원 아르틴 군의 준등거리 불변량이다.
• CLTTF 아르틴 군의 경우, 강한 준등거리 위상성의 필요충분조건을 제시한다: 외부 자동형사상군이 유한하고, 교차 그래프가 준등거리 사상에 의해 보존되어야 한다.
• 오른쪽-각 아르틴 군과는 달리, 많은 강력한 위상성을 갖는 대형 유형 아르틴 군이 존재한다.
• 정의 그래프가 완전한 대칭성을 갖지 않을 경우, 어떤 자동형사상에도 균일하게 가까이 있지 않은 준등거리 사상을 구성함으로써, 위상 조건의 날카로움을 보여준다.