Forester's lattices and small non-Leighton complexes

The paper constructs two CW-complexes, one homeomorphic to a complex with a single 2-cell, that share a common infinite covering space, thereby providing examples of small non-Leighton complexes.

The Gist

Here is an explanation of the paper "Forester's Lattices and Small Non-Leighton Complexes," translated into simple language with creative analogies.

The Big Picture: The "Unbreakable" Puzzle Rule

Imagine you have two different jigsaw puzzles, Puzzle A and Puzzle B.

• Puzzle A is a small, simple box.
• Puzzle B is a slightly larger, more complex box.

In the world of mathematics, there is a famous rule called Leighton's Theorem (named after a mathematician named Leighton). It says:

"If Puzzle A and Puzzle B can both be covered by the same giant, infinite sheet of paper (a 'common covering'), then they must also be able to be covered by the same smaller, finite sheet of paper."

Think of it like this: If two different floor patterns can both be perfectly tiled by the same infinite floor, they should also be able to be tiled by the same small, finite rug. For a long time, mathematicians thought this rule applied to everything.

The Discovery:
This paper proves that Leighton's Theorem is false for 3D shapes (specifically, 2D surfaces built from blocks called "cells"). The authors found two shapes, K and L, that break the rule:

1. They share a common, infinite "blanket" (covering).
2. But, they do not share any common finite "blanket."

It's like finding two different floor patterns that can both be covered by an infinite ocean, but you can never find a single finite rug that fits both of them perfectly.

---

The Characters: Shape K and Shape L

To understand how they broke the rule, let's look at the two shapes the authors built.

1. Shape K: The "Almost Simple" Shape

• What it looks like: Imagine a balloon (a sphere) with a single piece of tape stuck on it. In math terms, this is a complex with one 2-cell (one main face).
• The Twist: The authors didn't use the perfect balloon. They took a balloon with two pieces of tape (two cells) and showed that it is mathematically identical (homeomorphic) to a balloon with just one piece of tape.
• Why it matters: This is the smallest possible shape they could find to break the rule. It's the "minimal" example.

2. Shape L: The "Checkerboard" Shape

• What it looks like: Imagine a shape made of two types of dots (Black and White) connected by strings and wrapped in four different colored patches (A, B, C, D).
• The Complexity: It's more complicated than K. It has two vertices, six edges, and four faces.

---

The Magic Trick: Why They Share an Infinite Blanket

The authors show that both Shape K and Shape L are actually just different "projections" of the same giant, infinite structure.

The Analogy: The Infinite Tree and the Elevator
Imagine an infinite tree where every branch splits into two, but every trunk has four branches coming into it. This is a weird, infinite tree structure.

• Shape K is like looking at this tree through a specific lens. The infinite tree wraps around K perfectly.
• Shape L is like looking at the same infinite tree through a different lens (perhaps with a color filter). The tree also wraps around L perfectly.

Because they both come from the same infinite source, they have a common infinite covering.

---

The Problem: Why They Can't Share a Finite Blanket

If they share the same infinite source, why can't they share a small, finite rug?

The Analogy: The DNA Mismatch
In math, every shape has a "DNA code" called its Fundamental Group. This code describes how loops can be tied and untied on the shape.

• Shape K's DNA: It's based on a specific pattern called BS(2, 4). Think of this as a rhythm: "Do two steps, then four steps."
• Shape L's DNA: It's based on a pattern called BS(4, 16). Think of this as a rhythm: "Do four steps, then sixteen steps."

The authors proved that these two rhythms are incompatible.

• You can't take a small piece of the "2-4" rhythm and stretch it to match the "4-16" rhythm.
• Even if you zoom in or out (looking at finite subgroups), the patterns never align.

Because their "DNA" is fundamentally different, there is no finite size at which they can both be covered by the same rug. The infinite blanket works because it's big enough to hide the differences, but a finite rug is too small to accommodate both patterns simultaneously.

---

Why This Matters (The "So What?")

1. It Breaks a Long-Held Belief: For decades, mathematicians thought the "Leighton Rule" (common infinite cover = common finite cover) was a universal law for shapes. This paper shows it's not.
2. It's a "Minimal" Break: The authors didn't just find any counter-example; they found the smallest one possible. Shape K is as simple as a shape can get (essentially one face) while still breaking the rule.
3. The "Subdivision" Surprise: The paper highlights a weird phenomenon. If you take a simple shape and cut one of its faces in half (subdivide it), you can completely change its mathematical properties. It's like cutting a pizza in half and suddenly realizing it no longer fits in the same box as the whole pizza.

Summary in One Sentence

The authors discovered two strange, interconnected shapes that can both be covered by an infinite sheet of paper, but because their internal "mathematical DNA" is mismatched, they can never be covered by the same finite sheet of paper, proving that a famous mathematical rule doesn't apply to all shapes.

Technical Summary

Here is a detailed technical summary of the paper "Forester's Lattices and Small Non-Leighton Complexes" by Natalia S. Dergacheva and Anton A. Klyachko.

1. Problem Statement

The paper addresses a fundamental question in geometric group theory and topology regarding Leighton's Theorem and its generalization to higher-dimensional CW-complexes.

• Leighton's Theorem (1982): States that if two finite graphs share a common covering, they must share a common finite covering.
• The Counter-Example Context: This theorem fails for 2-dimensional CW-complexes. Previous research established the existence of "non-Leighton pairs" (pairs of finite CW-complexes with a common covering but no common finite covering).
  • Prior examples required 6 two-cells per complex (Wisdom, 1996/2007), later reduced to 4 (Jablan & Witzel, 2009), and then to 2 (Dergacheva & Klyachko, 2023/2024).
• The Open Question: Does there exist a non-Leighton pair where at least one of the complexes is homeomorphic to a complex with a single 2-cell?
• The Gap: While it was known that the standard complex for the Baumslag–Solitar group $BS(2,4)$ (which has one 2-cell) is Leighton, it was unknown if a subdivision of this complex could create a non-Leighton pair.

2. Methodology

The authors construct a specific non-Leighton pair $(K, L)$ and prove their properties using a combination of combinatorial group theory and covering space theory.

A. Construction of Complexes

1. Complex $K$:
   • Defined as a 2-complex with two 2-cells.
   • Topology: It is homeomorphic to the standard one-vertex, one-2-cell complex of the presentation $BS(2, 4) = \langle c, d \mid c^2d = c^4 \rangle$.
   • Specific Presentation: The authors define $K$ via the presentation $\langle c, d, z \mid c^{-1}dc^2 = z = cdc^{-2} \rangle$. This is obtained by subdividing the single 2-cell of the standard $BS(2,4)$ complex with an edge, creating two 2-cells.
2. Complex $L$:
   • Defined as a 2-complex with two vertices (black and white), six edges, and four 2-cells ($A, B, C, D$).
   • Structure: It is a quotient of a specific Baumslag–Solitar complex $X_{2,4}$ by the action of a group $G_2$, following the construction in Max Forester's 2024 paper.
   • Fundamental Group: The group $\pi_1(L)$ is derived via Tietze transformations and Schreier transversals.

B. Proof Strategy

The proof of the main theorem relies on two distinct arguments:

1. Non-Existence of Finite Common Covering:

   • The authors calculate the fundamental groups $\pi_1(K)$ and $\pi_1(L)$.
   • They demonstrate that $\pi_1(K) \cong BS(2, 4)$.
   • They prove that $\pi_1(L)$ is commensurable with $BS(4, 16)$ (i.e., they share a finite-index subgroup).
   • Key Lemma: They cite the classification of Baumslag–Solitar groups up to commensurability (CKZ21, Fo24), which states that $BS(2, 4)$ and $BS(4, 16)$ are incommensurable.
   • Conclusion: Since the fundamental groups are incommensurable, no finite common covering can exist (as a finite covering would imply the fundamental groups share a finite-index subgroup).

2. Existence of a Common (Infinite) Covering:

   • The authors identify a universal covering space, denoted $X_{2,4}$, constructed by Forester.
   • Structure of $X_{2,4}$: It is the Cartesian product of a regular directed tree $T$ (out-degree 2, in-degree 4) and the real line $\mathbb{R}$.
   • Covering Maps:
     • They explicitly construct a covering map $X_{2,4} \to K$ by mapping vertices to the single vertex of $K$ and edges/2-cells based on parity and specific rules.
     • They construct a covering map $X_{2,4} \to L$ by coloring the tree vertices black/white and mapping edges/2-cells to the corresponding edges/cells of $L$ based on the coloring and edge labels ($\gamma, \delta$).
   • Verification: They verify that these maps satisfy the local homeomorphism property required for covering spaces, proving $K$ and $L$ share the same universal cover.

3. Key Contributions

• Resolution of the "One 2-Cell" Question: The paper provides an "almost answer" to the open question. It constructs a pair $(K, L)$ where $K$ is homeomorphic to a complex with a single 2-cell.
  • Nuance: The specific complex $K$ used in the pair has two 2-cells (due to a subdivision), but its topological type is that of a single 2-cell complex.
• First Example of Subdivision Effect: This is the first known example where a simple cell subdivision (splitting one 2-cell into two) transforms a Leighton complex (the standard $BS(2,4)$ complex) into a non-Leighton complex.
• Extremal Properties:
  • $K$ has the minimal possible number of 2-cells (topologically 1, structurally 2) for a non-Leighton pair.
  • The fundamental group of $K$ is a one-relator group ($BS(2,4)$).
  • The fundamental group of $L$ is commensurable with a one-relator group ($BS(4,16)$).
• Simplified Proof: The authors provide a concise, almost self-contained proof of Forester's results, explicitly connecting the lattice construction to the non-Leighton property.

4. Results

• Theorem: The complexes $K$ and $L$ form a non-Leighton pair.
  • They share an isomorphic universal covering ($X_{2,4}$).
  • They possess no finite common covering.
• Group Theoretic Fact: $\pi_1(K) \cong BS(2,4)$ and $\pi_1(L)$ is commensurable with $BS(4,16)$. Since $BS(2,4)$ and $BS(4,16)$ are incommensurable, the complexes cannot share a finite covering.
• Topological Fact: $K$ is homeomorphic to the standard complex of $BS(2,4)$, which has one 2-cell. $L$ is homeomorphic to a complex with three 2-cells.

5. Significance

• Refining the Boundary of Leighton's Theorem: The paper pushes the boundaries of known counter-examples to the generalization of Leighton's theorem. It shows that the "non-Leighton" property is extremely sensitive to cell structure; even a subdivision that preserves the homeomorphism type of the underlying space can destroy the property of having a finite common covering.
• Fundamental Group Constraints: The result clarifies the relationship between the algebraic properties of fundamental groups and the geometric property of common coverings. It confirms that while free groups cannot form non-Leighton pairs (per Bridson–Shepherd), one-relator groups (specifically Baumslag–Solitar groups) can, provided they are incommensurable.
• Methodological Bridge: The work serves as a bridge between Max Forester's recent work on lattices and the specific problem of minimal non-Leighton pairs, making the complex construction of Forester accessible and applicable to the specific question of cell counts.

In summary, Dergacheva and Klyachko demonstrate that the topological simplicity of a complex (having a single 2-cell) does not guarantee the Leighton property if the combinatorial structure (cell subdivision) creates a fundamental group mismatch with potential partners.