One generator may hide unlimited topological complexity
- What it is
- A paper claims groups with unusually economical generation but arbitrarily large hidden topological complexity, contradicting a 2011 conjecture.
- Who did it
- Sam P. Fisher and Yash Lodha
- What it could mean
- An economical algebraic description can hide unlimited topological complexity. This claimed counterexample would break a proposed shortcut for judging how complicated a mathematical structure really is.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
A note on normal generation and the first (ℓ²)-Betti number ↗See the proposed checks
Check the construction's torsion-free/local-free/normal-rank properties and the (ℓ²)-Betti calculation; the load-bearing ambiguity is whether all properties coexist in the stated countable, non-finitely-generated group.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- For each (n), constructs a countable torsion-free locally free group with first (ℓ²)-Betti number (n) and normal rank one, contradicting the 2011 Osin--Thom conjecture.
- Why this could matter
- One generator may hide unlimited topological complexity A group can be generated in an unexpectedly economical way yet carry arbitrarily large hidden topological complexity. That breaks a proposed bridge used to reason about several major open problems in group theory and topology.
- If it holds up
- Foundational: researchers must uncouple normal generation from this complexity measure and revisit consequences tied to the Wiegold, Levin, Kervaire, and Whitehead problems.
- If it does not
- The conjectured bridge survives, and the construction reveals which finiteness or generation condition is doing the real work.
- Impact horizon
- Foundational · Group theory · Topology · Mathematical foundations
- Version
- submitted 2026-08-26 16:38:37 UTC.
- Why we tracked it
- fresh, compact claimed disproof with a clearly stated construction, but no public formal/computational artifact.
- Highest-risk dependency
- The claim has not been independently examined beyond source locking.
- Available artifacts
- Fresh primary submission; no formal/code artifact linked; no current social signal used.
- Current boundary
- Intake record only; examination not started.