[논문 리뷰] Irreducible lattices fibring over the circle

Sam Hughes|arXiv (Cornell University)|2022. 01. 17.

Mathematical Dynamics and Fractals인용 수 4

한 줄 요약

이 논문은 우도적 라그랑주 군과 RAAG 기반의 구성 방법을 사용하여, CAT(0) 공간의 곱에서 비가역적이고 균일한 격자들이 원주로 가상으로 대수적 섬유화될 수 있음을 증명한다. $<\mathrm{CAT}(0)>$ 공간의 곱에서의 격자에 대해, 가상 대수적 섬유화는 가역성을 암시하지만, BNSR 불변량을 통해 유한 유형의 핵을 가지는 명시적 비가역 예제를 구성한다.

ABSTRACT

We investigate the Bieri--Neumann--Strebel--Renz (BNSR) invariants of irreducible uniform lattices. In the case of a direct product of a tree and a Euclidean space we show that vanishing of the BNSR invariants for all finite-index subgroups of a given uniform lattice is equivalent to irreducibility. On the other hand we construct irreducible uniform lattices which admit maps to the integers whose kernels' finiteness properties are determined by the finiteness properties of certain Bestvina--Brady groups.

연구 동기 및 목표

• CAT(0) 공간의 곱에서 비가역적 격자의 가상 대수적 섬유화가 가역성을 암시하는가를 규명하는 것.
• 유한 유형의 핵을 가지며 원주로 가상으로 섬유화되는 비가역적 격자의 명시적 예를 구성하는 것.
• 최소 비유계 CAT(0) 공간의 등장사상군 곱에서의 격자에 대해 BNSR 불변량 이론을 확장하는 것.
• 특성의 핵의 유한성 성질과 기저 격자의 구조 간의 관계를 명확히 하는 것.

제안 방법

• CAT(0) 입방 복합체 $\widetilde{X}_L$ 에서 작용하는 오른쪽-각형 아르틴 군(RAAG) $A_L$ 의 몫으로 격자 $\Gamma_L$ 를 구성하는 것.
• 특성 $\phi \in H^1(A_L; \mathbb{R})$ 에 의해 유도된 $\widetilde{X}_L$ 상의 높이 함수를 통해 $\Gamma_L$ 에서의 특성 $\psi \in H^1(\Gamma_L; \mathbb{R})$ 를 정의하는 것.
• Brown의 기준을 적용하여, $\ker(\phi)$ 가 유형 $\mathsf{F}_\infty$ 일 경우 $\ker(\psi)$ 도 유형 $\mathsf{F}_\infty$ (또한 $\mathsf{FP}_\infty$) 임을 검증하는 것.
• RAAG의 BNSR 불변량에 관한 기존 결과를 적용하여 $\ker(\phi)$ 가 유한 유형일 조건을 결정하는 것, 특히 플래그 복합체 $L^*$ 의 링크 조건을 사용하는 것.
• $\Gamma_L$ 가 비가역적이고 가상으로 토르션 자유임을 증명하여, 정수 특성을 가지는 유한 지수의 토르션 자유 부분군이 존재함을 확보하는 것.
• 유한 지수의 토르션 자유 부분군으로 제한했을 때 $\ker(\psi)$ 가 유형 $\mathsf{F}$ 임을 확립함으로써 가상 섬유화를 도출하는 것.

실험 결과

연구 질문

• RQ1 CAT(0) 공간의 곱에서의 비가역적 균일 격자 $\mathrm{Isom}(\mathbb{E}^n) \times \mathrm{Aut}(\mathcal{T})$ 에 대해 가상 대수적 섬유화가 가역성을 암시하는가?
• RQ2 CAT(0) 공간의 곱에서의 비가역적 격자들이 유한 유형의 핵을 가지는 특성을 가질 수 있는가?
• RQ3 BNSR 불변량이 이러한 격자에서 특성의 핵의 유한성 성질을 결정하는 데 어떤 역할을 하는가?
• RQ4 RAAG에서 특성의 핵의 유한성 성질이 곱군의 관련 격자로 어떻게 전이되는가?
• RQ5 유한 생성된 핵을 가지며 원주로 가상으로 섬유화되는 비가역적 격자를 구성할 수 있는가?

주요 결과

• 논문은 $\mathrm{PSL}_2(\mathbb{R}) \times \mathrm{PSL}_2(\mathbb{Q}_2)$ 에서 비가역적이고 균일한 격자의 명시적 예를 구성하여, 이 격자가 원주로 가상으로 대수적 섬유화됨을 보였다.
• 격자 $\mathrm{Isom}(\mathbb{E}^n) \times \mathrm{Aut}(\mathcal{T})$ 에서, 가상 대수적 섬유화는 가역성을 암시함을 증명하여 일반 섬유화 문제의 역을 확립하였다.
• 구성된 격자 $\Gamma_L$ 에서 특성 $\psi$ 의 핵은 유형 $\mathsf{F}_\infty$ 이며, 유한 지수의 토르션 자유 부분군으로 전이한 후에는 유형 $\mathsf{F}$ 가 된다.
• $\ker(\psi)$ 의 유한성 성질은 Theorem 5.5 의 등가 조건을 통해 관련 RAAG $A_L$ 의 BNSR 불변량에 의해 결정된다.
• 이러한 구성은 기장이 4 이상인 플래그 복합체 $L$ 을 기반으로 하며, 이는 수축 가능한 링크와 비자명한 구조를 가지며, $A_L$ 이 비가역적이고 $\ker(\phi)$ 가 유형 $\mathsf{F}$ 임을 보장한다.
• 이러한 격자의 존재는 비가역적 격자도 원주로 섬유화될 수 있음을 확인하여 주요 질문에 대해 긍정적인 답변을 제시한다.