[논문 리뷰] Lattices, injective metrics and the $K(π,1)$ conjecture

Thomas Haettel|arXiv (Cornell University)|2021. 09. 16.

Geometric and Algebraic Topology인용 수 4

한 줄 요약

이 논문은 $ι^\infty$-거리측도가 유클리드 빌딩과 $;{A_n}$, $;{C_n}$, $;{B_n}$, $;{D_n}$ 유형의 딜레인 복합체에서 포함된다는 것을 입증하며, 그 두꺼운 버전은 헬리 그래프임을 보인다. $Ω$-작용을 갖는 격자로부터의 일반적 구성법을 사용하여, 가르시드 군들과 FC 유형 아르틴 군들이 포함된 거리공간에 작용함을 증명함으로써, $K(\pi,1)$ 추측에 대한 거리 기반 증명과 이중경로, 평행 부분군, 고정점 부분군에 관한 새로운 결과를 도출한다.

ABSTRACT

Starting with a lattice with an action of $\mathbb{Z}$ or $\mathbb{R}$, we build a Helly graph or an injective metric space. We deduce that the $\ell^\infty$ orthoscheme complex of any bounded graded lattice is injective. We also prove a Cartan-Hadamard result for locally injective metric spaces. We apply this to show that any Garside group or any FC type Artin group acts on an injective metric space and on a Helly graph. We also deduce that the natural piecewise $\ell^\infty$ metric on any Euclidean building of type $ ilde{A_n}$ extended, $ ilde{B_n}$, $ ilde{C_n}$ or $ ilde{D_n}$ is injective, and its thickening is a Helly graph. Concerning Artin groups of Euclidean types $ ilde{A_n}$ and $ ilde{C_n}$, we show that the natural piecewise $\ell^\infty$ metric on the Deligne complex is injective, the thickening is a Helly graph, and it admits a convex bicombing. This gives a metric proof of the $K(π,1)$ conjecture, as well as several other consequences usually known when the Deligne complex has a CAT(0) metric.

연구 동기 및 목표

• 순서를 유지하는 $H = \mathbb{Z}$ 또는 $\mathbb{R}$ 작용을 갖는 격자 $L$에서, $f_t$가 연속적이고 증가하는 $H$-작용인 경우, 거리측도 $d(x,y) = \inf\{t \in H_+ \mid f_{-t}(x) \leq y \leq f_t(x)\}$를 구성함으로써 포함된 거리공간과 헬리 그래프를 일반적으로 생성하는 방법을 개발하는 것.
• 유클리드 빌딩의 $;{A_n}$, $;{B_n}$, $;{C_n}$, $;{D_n}$ 유형에서 $ι^\infty$-거리측도가 포함된다는 것을 증명하는 것.
• 유형 $;{A_n}$ 및 $;{C_n}$의 유클리드 아르틴 군의 딜레인 복합체가 볼록하고 일관되며 $A$--equivariant한 이중경로를 갖는다는 것을 보여주는 것.
• 이러한 아르틴 군들에 대해 거리 기반 접근법을 통해 $K(\pi,1)$ 추측이 성립함을 확립하는 것.

제안 방법

• 순서를 유지하는 $H = \mathbb{Z}$ 또는 $\mathbb{R}$ 작용을 갖는 격자 $L$에 대해, 거리측도 $d(x,y) = \inf\{t \in H_+ \mid f_{-t}(x) \leq y \leq f_t(x)\}$를 구성함. 여기서 $f_t$는 연속적이고 증가하는 $H$-작용이다.
• 위 거리측도가 $H = \mathbb{Z}$일 경우 헬리 그래프를, $H = \mathbb{R}$일 경우 포함된 거리공간을 유도함. 조건은 상부 유계 집합이 합을 갖는 것임.
• 이 구성법을 유클리드 빌딩의 평면들로 이루어진 격자와 아르틴 군 내의 평행 부분군의 순서집합에 적용함.
• 유형 $;{A_n}$ 및 $;{C_n}$의 딜레인 복합체에 자연스럽게 부여된 조각별 $ε^\infty$-거리측도가 포함되어 있으며, 볼록하고 일관되며 $A$-equivariant한 기하학적 이중경로를 갖는다는 것을 보임.
• 이러한 이중경로의 존재를 이용하여 딜레인 복합체의 수축 가능성을 유도하고, 이를 통해 $K(\pi,1)$ 추측을 검증함.
• 부분복합체의 $\sigma$-안정성과 $A$-equivariant한 이중경로를 활용하여 평행 부분군, 중심화자, 고정점 부분군에 관한 결과를 확장함.

실험 결과

연구 질문

• RQ1 유클리드 아르틴 군의 $K(\pi,1)$ 추측은 CAT(0) 기하학이 아닌 포함 거리측도 기하학을 통해 증명될 수 있는가?
• RQ2 유형 $;{A_n}$, $;{B_n}$, $;{C_n}$, $;{D_n}$의 유클리드 빌딩에 자연스럽게 부여된 조각별 $ε^\infty$-거리측도는 포함된 것인가?
• RQ3 유형 $;{A_n}$ 및 $;{C_n}$의 유클리드 아르틴 군의 딜레인 복합체는 볼록하고 일관되며 $A$-equivariant한 기하학적 이중경로를 갖는가?
• RQ4 딜레인 복합체에 볼록한 이중경로가 존재함을 이용하여 아르틴 군의 평행 부분군, 중심화자, 고정점 부분군에 관한 결과를 확장할 수 있는가?
• RQ5 헬리 성질, 포함된 거리측도, 그리고 가르시드 군과 아르틴 군의 맥락에서의 군 작용 사이의 관계는 무엇인가?

주요 결과

• 모든 유형 $;{A_n}$, $;{B_n}$, $;{C_n}$, $;{D_n}$의 유클리드 빌딩에 자연스럽게 부여된 조각별 $ε^\infty$-거리측도는 포함되어 있다.
• 이러한 빌딩의 정점 집합의 두꺼운 버전은 헬리 그래프이다.
• 유형 $;{A_n}$ 또는 $;{C_n}$의 유클리드 아르틴 군의 딜레인 복합체는 볼록하고 일관되며 $A$-equivariant한 기하학적 이중경로를 갖는다.
• 딜레인 복합체는 수축 가능하며, 이는 이러한 군들에 대한 $K(\pi,1)$ 추측에 대한 거리 기반 증명을 제공한다.
• 이러한 아르틴 군의 임의의 평행 부분군의 가중치 집합의 교집합은 자체적으로도 평행 부분군이다.
• 아르틴 체계에 대한 대칭 작용의 고정점 부분군은 더 낮은 계수의 아르틴 군과 동형이며, 딜레인과 크립스의 결과를 일반화한다.