[논문 리뷰] The $\Sigma$-invariants of Thompson's group $F$ via Morse theory

Stefan Witzel, Matthew C. B. Zaremsky|arXiv (Cornell University)|2015. 01. 27.

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

한 줄 요약

이 논문은 톰슨 군 $F$의 BNSR 불변량 $Σ^m(F)$를 스텐-파를리 $Σ(0)$ 큐브 복합체 $X$ 상에서 기하적 모스 이론을 사용하여 재계산하며, 대수적 기법을 피한 자가 포함된 위상수학적 증명을 제공한다. 주요 결과는 $\chi$가 $\chi_0$ 또는 $\chi_1$의 양의 배수가 아닐 경우 $[χ] \in Σ^1(F)$이며, $\chi$가 $\operatorname{Hom}(F,\mathbb{R}) \cong \mathbb{R}^2$의 음이 아닌 제1사분면에 있을 경우를 제외하고는 $[χ] \in Σ^2(F) = Σ^∞(F)$임을 확인한다. 이 접근법은 캐릭터에 의해 유도된 높이 함수의 상승 링크와 초수준 집합을 분석하는 데 기반한다.

ABSTRACT

Bieri, Geoghegan and Kochloukova computed the BNSR-invariants $\\Sigma^m(F)$ of Thompson's group $F$ for all $m$. We recompute these using entirely geometric techniques, making use of the Stein--Farley CAT(0) cube complex on which $F$ acts.

연구 동기 및 목표

• 톰슨 군 $F$의 BNSR 불변량 $\Sigma^m(F)$에 대해 기하학적이고 자가 포함된 증명을 제시하여 이전 연구에서 사용된 대수적 방법에 의존하지 않도록 한다.
• 자기 자신이 자유로운 등급 이sov메트릭으로 작용하는 스텐-파를리 $\operatorname{CAT}(0)$ 큐브 복합체 $X$ 상에서 베스트비나–브래디 모스 이론을 적용한다.
• 군 원소의 기하학적 표현인 축소된 트리-페어 표현 $(T/E)$의 구조를 활용해, $X$ 상에서 캐릭터 높이 함수의 상승 링크와 초수준 집합의 호모토피 유형을 분석함으로써 $\Sigma^m(F)$를 특성화한다.
• 유사한 기하학적 구조를 가진 다른 군의 불변량을 계산하는 데 있어 이 기하적 접근법의 타당성을 입증한다.

제안 방법

• 군 $F$의 작용을 위한 기하 모델로 스텐-파를리 $\operatorname{CAT}(0)$ 큐브 복합체 $X$를 사용하며, 그가 올바르고 코컴팩트하며 등급 이sov메트릭임을 활용한다.
• 모든 $g \in F$, $x \in X$ 에 대해 $h_\chi(gx) = \chi(g) + h_\chi(x)$ 를 만족하는 캐릭터 높이 함수 $h_\chi: X \to \mathbb{R}$ 를 정의한다. 이는 $\operatorname{Hom}(F,\mathbb{R}) \cong \mathbb{R}^2$ 를 이용한다.
• 군 $F$의 $X$ 상의 작용에 대해 베스트비나–브래디 모스 이론의 변형을 적용하며, 정점에서의 상승 링크와 초수준 집합 $X^{t \leq \chi}$ 의 호모토피 유형을 중심으로 분석한다.
• 군 원소의 기하 표현인 축소된 트리-페어 표현 $(T/E)$ 의 구조를 활용해 정점 링크를 조합론적으로 모델링한다.
• 모스 보조정리와 연결성 기준을 사용해, 특히 $t$ 가 0에 가까울 때의 필터링 $X^{t \leq \chi}$ 의 본질적 연결성을 분석한다.
• $Y_{L=i}^m$ 과 $Y_{R=i}^m$ 으로 구성된 $X^{0 \leq \chi}$ 의 커버의 내부에서 명시적인 사이클을 구성함으로써, $a > 0$, $b > 0$ 인 경우에 비자명한 기본군이 존재함을 보여준다.

실험 결과

연구 질문

• RQ1 BNSR 불변량 $\Sigma^m(F)$ 는 HNN-구조나 자유 부분군의 부재성과 같은 대수적 성질에 의존하지 않고, 기하학적 및 위상수학적 도구만으로 재유도될 수 있는가?
• RQ2 스텐-파를리 $\operatorname{CAT}(0)$ 큐브 복합체 $X$ 상에서 높이 함수의 상승 링크와 초수준 집합의 호모토피 유형은 무엇인가?
• RQ3 군 $F$ 가 $X$ 상에서 작용하는 기하학적 성질은 BNSR 불변량을 통해 정규부분군의 유한성 성질을 어떻게 반영하는가?
• RQ4 커버 $Y_{L=i}^m$ 과 $Y_{R=i}^m$ 으로 구성된 $X^{0 \leq \chi}$ 의 내부에서, 초수준 집합의 비자명한 기본군을 감지할 수 있는가?
• RQ5 $\chi = a\chi_0 + b\chi_1$ 에 대한 조건은 $[\chi] \in \Sigma^1(F)$ 또는 $\Sigma^2(F)$ 를 결정하는 데 어떻게 기여하며, 이는 $X$ 의 기하학적 성질에 어떻게 반영되는가?

주요 결과

• $\Sigma^1(F)$ 는 $\chi_0$ 와 $\chi_1$ 의 양의 방향을 제외한 $S^1$ 상의 모든 $[\chi]$ 로 이루어져 있으며, $[\chi] \notin \Sigma^1(F)$ 이기 위한 조건은 $\chi$ 가 $\chi_0$ 또는 $\chi_1$ 의 양의 배수일 때이다.
• $\Sigma^2(F) = \Sigma^\infty(F)$ 는 $\chi = a\chi_0 + b\chi_1$ 이며 $a \geq 0$, $b \geq 0$ 를 만족하는 모든 $[\chi] \in S^1$ 으로 이루어져 있으며, $[\chi] \notin \Sigma^2(F)$ 이기 위한 조건은 $a > 0$, $b > 0$ 일 때이다.
• $a > 0$, $b > 0$ 인 경우, $Y_{L=i}^m$ 과 $Y_{R=i}^m$ 으로 구성된 커버의 내부에서 비자명한 사이클을 구성함으로써 초수준 집합 $X^{0 \leq \chi}$ 가 단순연결이 아님을 보였다.
• 모든 $\chi$ 에 대해 필터링 $(X^{t \leq \chi})_{t \in \mathbb{R}}$ 는 본질적으로 연결되어 있지만, $a > 0$, $b > 0$ 일 경우 본질적으로 단순연결적이지 않으며, 이는 이 경우에 $[\chi] \notin \Sigma^2(F)$ 임을 확인한다.
• 정점의 상승 링크가 $\chi$ 가 $\chi_0$ 나 $\chi_1$ 와 일치하지 않을 경우 압축 가능하거나 점과 호모토피 동치임을 보여, 수준 집합의 연결성을 뒷받침한다.
• 이 증명은 $\Sigma^1(F) \setminus \Sigma^2(F)$ 가 $a > 0$, $b > 0$ 인 $\chi = a\chi_0 + b\chi_1$ 로 이루어져 있음을 입증하며, 이는 불변량 경계의 기하학적 기원을 확인한다.