Irreducible lattices fibring over the circle

Basic Information

• Paper ID: 2201.06525
• Title: Irreducible lattices fibring over the circle
• Author: Sam Hughes (Universität Bonn)
• Classification: math.GR (Group Theory), math.AT (Algebraic Topology), math.GT (Geometric Topology)
• Publication Date: October 15, 2025 (arXiv version)
• Paper Link: https://arxiv.org/abs/2201.06525

Abstract

This paper investigates the Bieri-Neumann-Strebel-Renz (BNSR) invariants of irreducible uniform lattices. In the case of products of trees with Euclidean spaces, the author proves that the vanishing of BNSR invariants of all finite-index subgroups of a given uniform lattice is equivalent to irreducibility. Conversely, the author constructs irreducible uniform lattices that admit maps to the integers whose kernels have finiteness properties determined by certain Bestvina-Brady groups.

Research Background and Motivation

Problem Background

1. Generalization of classical results: Margulis's normal subgroup theorem connects irreducibility of lattices in semisimple Lie groups with the vanishing of the first cohomology group. This paper attempts to generalize this result to lattices in products of isometry groups of more general CAT(0) spaces.
2. Application of BNSR invariants: When the first cohomology group is nonzero, BNSR invariants (Σ-invariants) are needed to measure how far a first cohomology class is from fibering. These invariants measure finiteness properties of kernel groups.
3. Classification of lattices in CAT(0) spaces: In the more general CAT(0) setting, the universal covering technique of Burger-Mozes shows that direct generalizations of Margulis's theorem fail, necessitating new approaches and tools.

Research Motivation

The central question of this paper is:

Question 1.2: Let Γ be a uniform lattice in the product X₁×X₂ of appropriately minimal unbounded CAT(0) spaces. If Σⁿ(Γ) or Σⁿ(Γ;ℤ) is nonempty for some n≥1, must Γ necessarily be reducible?

This question remains open even in the case of products of trees and has significant theoretical importance.

Core Contributions

1. Complete characterization of fibrations in tree-Euclidean products: For products of locally finite trees T and Euclidean spaces Eⁿ, the author proves that irreducible uniform lattices virtually algebraically fiber if and only if they are reducible (Theorem A).
2. Concrete characterization of fibrations: In the case n=2, the author further proves that virtual fibration is equivalent to reducibility (Theorem B).
3. Construction of fibering irreducible lattices: Constructs a family of irreducible uniform lattices fibering in products of symmetric spaces with Salvetti complexes (Theorem C).
4. Cohomology computations: Provides explicit computations of the first cohomology group for a large class of lattices (Theorem 3.1).

Methodology Details

Problem Formulation

Study the fibration properties of uniform lattices Γ in product spaces Isom(Eⁿ)×T, where T is the automorphism group of a locally finite tree. The core question is determining when there exists a character φ: Γ → ℤ such that ker(φ) has good finiteness properties.

Main Technical Methods

1. Graph Group Complex Techniques

Utilize the graph group complex structure of Γ as an Isom(Eⁿ)-lattice:

• Each vertex stabilizer is finite-by-{n-dimensional crystallographic group}
• Analyze restrictions of characters to stabilizers using this structure

2. Spectral Sequence Methods

Use Γ-equivariant spectral sequences to compute first cohomology:

E₁^{p,q} = ⊕_{σ∈Σ(p)} H^q(Γ_σ) ⟹ H^{p+q}(Γ)

Key observation: characters vanish on all cellular stabilizers.

3. Cashen-Levitt Criterion

Apply the fibration criterion for graph groups: for reduced graph groups that are not ascending HNN extensions, characters in Σ¹(Γ) are nontrivial on each edge group.

4. Salvetti Complex Construction

Construct fibering irreducible lattices through the following steps:

• Begin with irreducible lattices on 3-regular trees
• Use Huang's technique to convert to lattices on 4-regular trees
• Embed into the automorphism group of Salvetti complexes

Technical Innovations

1. Stabilizer vanishing lemma: Proves that characters vanish on all cellular stabilizers, a key technical breakthrough.
2. Spectral sequence computation: Skillfully applies spectral sequences to precisely compute the first cohomology group.
3. Combination of construction methods: Organically combines actions on trees, label-preserving properties, and Salvetti complex structures.

Main Theorems and Proof Strategies

Theorem A (Tree-Euclidean Case)

Theorem: Let T be a locally finite leafless compact tree, T = Aut(T). Let Γ be a (Isom(Eⁿ)×T)-uniform lattice. Then Γ virtually algebraically fibers if and only if Γ is reducible.

Proof Strategy:

1. Reducible ⟹ fibering: Reducible lattices virtually decompose as ℤ×Γ', where Γ' is a CAT(0) group
2. Irreducible ⟹ non-fibering:
   • Utilize graph group structure and stabilizer vanishing lemma
   • Apply Cashen-Levitt criterion
   • Prove all characters lie outside Σ¹(Γ)

Theorem C (Existence Result)

Theorem: There exist fibering irreducible lattices.

Proof Construction:

1. Begin with torsion-free irreducible lattices in PSL₂(ℝ)×PSL₂(ℚ₂)
2. Select appropriate flag complex L
3. Construct character ϕ: A_L → ℤ vanishing on specific generators
4. Use Bestvina-Brady theory to verify fibration properties

Experimental Results and Verification

Concrete Example: Leary-Minasyan Groups

Consider matrix A = 3/5, -4/5; 4/5, 3/5 and lattice L, constructing the group:

LM(A,L) = ⟨a,b,t | [a,b], ta²b⁻¹t⁻¹ = a²b, tab²t⁻¹ = a⁻¹b²⟩

This provides a concrete realization of irreducible lattices in E²×Aut(T).

Fibration Verification

For the constructed flag complex L (containing triangles), character ϕ maps generators other than a,b to 1, and a,b to 0. Verification shows:

• L* is contractible
• All relevant links are contractible
• By Bestvina-Brady theory, ker(ϕ) is of type F

Related Work

Historical Development

1. Margulis theorem: Established the connection between irreducibility of lattices in semisimple Lie groups and H¹ vanishing
2. Bestvina-Brady work: Studied fibration properties of right-angled Artin groups
3. Agol theorem: Virtual fibration of hyperbolic 3-manifolds
4. CAT(0) geometry: Bridson-Haefliger theory and Caprace-Monod structure theory

Positioning of This Paper's Contribution

• First complete resolution of the fibration problem in tree-Euclidean products
• Provides systematic methods for constructing fibering irreducible lattices
• Establishes precise connections between BNSR invariants and irreducibility

Conclusions and Discussion

Main Conclusions

1. In tree-Euclidean products, irreducibility is equivalent to non-fibration
2. Fibering irreducible lattices exist but must be realized in more complex spaces
3. BNSR invariants provide powerful tools for studying geometric properties of lattices

Limitations

1. Complete results for higher-dimensional Euclidean spaces (n≥3) require resolving virtual torsion-freeness
2. The case of general CAT(0) space products remains open
3. Universality of construction methods requires further investigation

Future Directions

1. Conjecture 1.3: Generalize to products of symmetric spaces and polyhedral complexes
2. Problem 1.4: Study cases corresponding to disconnected flag complexes
3. Explore connections with measure equivalence and commutator theory

In-Depth Evaluation

Strengths

1. Technical depth: Skillfully combines multiple techniques from group theory, geometric topology, and algebraic topology
2. Completeness of results: Includes both negative results (Theorem A) and positive results (Theorem C)
3. Methodological innovation: The combination of stabilizer vanishing lemma and spectral sequence computation represents a technical highlight
4. Theoretical significance: Clarifies a fundamental question in geometric group theory

Weaknesses

1. Scope of applicability: Complete results are limited to low-dimensional Euclidean spaces
2. Construction complexity: The construction of fibering irreducible lattices is quite technical
3. Open problems: Leaves several important open questions

Impact

This paper resolves a fundamental problem in geometric group theory, providing new perspectives for understanding fibration properties of lattices. The methods and techniques have important reference value for related fields, particularly in CAT(0) geometry and applications of BNSR invariants.

Applicable Scenarios

This research is primarily applicable to:

1. Classification problems for lattices in geometric group theory
2. Geometric analysis of CAT(0) spaces
3. Applications of fibration theory
4. Study of finiteness properties in algebraic topology

References

The paper cites 98 related references, spanning from classical Margulis theory to recent developments in CAT(0) geometry, reflecting the deep theoretical foundations and active research status of this field.