Geometric topology · algebraic topology · two-dimensional CW complexes · combinatorial group theory

Whitehead Asphericity Conjecture

Collaboration beta

Suppose a space is built only from vertices, edges, and filled-in faces, and has no hidden two-dimensional sphere. Can a connected part cut out of it somehow contain such a sphere? Whitehead's conjecture says no: every connected subcomplex of an aspherical two-complex should itself be aspherical. No proof or counterexample is known in the retained packet.

Y \subseteq X, X aspherical and 2-dimensional, Y connected \Rightarrow π_{2} (Y) = 0

Listed inEncyclopedia of Mathematics: Low-dimensional topology, problems in

Known results and sources

Whitehead's conjecture asks whether a connected subcomplex of an aspherical two-complex must also contain no nontrivial two-sphere.

Research problem

Exact mathematical statement

Let $X$ be an aspherical two-dimensional CW complex and let $Y\subseteq X$ be a connected subcomplex. The Whitehead asphericity conjecture asserts

Y\text{ is aspherical};\qquad\text{equivalently, }\pi_2(Y)=0.

In plain language, a connected collection of vertices, edges, and two-cells inside an aspherical two-complex should not acquire a nontrivial spherical two-dimensional homotopy class. The retained source reports neither a full proof nor a counterexample.

Problem infographic

Problem at a glance

A problem-first topology infographic shows an aspherical two-complex X, a connected subcomplex Y highlighted inside it, a sphere map into Y, and the exact open question whether pi two of Y vanishes; separate cell-complex and surface views clarify the objects without presenting a proof route. — Whitehead's asphericity conjecture asks whether every connected subcomplex of an aspherical two-complex is itself aspherical; this inheritance question remains open.

Current mathematical picture

Where work on Whitehead Asphericity Conjecture stands

Recent proof claim under review

Selected route highlights from the current work. This is not yet a complete mathematical inventory.

Useful failureSource-reported limitation

The source warns that ordinary contractibility of the ambient infinite complex does not cancel the finite projective obstruction, that fixed lower bounds on certificate width cannot prove nonexistence, and that abstract perfect-group or zero-divisor arguments are too weak if they discard Fox provenance, module sidedness, or the fact that both equations come from one contractible two-complex. The sharpest target is a two-equation excision theorem showing that two primitive…

Route status · Narrowed route

Main reductionCurrent reduction

Lift a hypothetical counterexample to a finite connected subcomplex $C$ of a contractible two-complex $T$ , retain a nonzero spherical class as a finite-support vector in the kernel of the Fox boundary, and use the augmentation identity to drive its coordinates into a terminal augmentation core. Then encode the class in a mixed-Peiffer certificate and narrow low-width torsion-free rank-zero cases to a rigid two-cell carrier or a special four-term zero-divisor equation.

Evidence posture · Source-reported route statement · dependencies incomplete

Priority open bridgeProve the two-equation secondary excision theorem for the exact two-cell carrier retained by the current work.Task status · Ready to work on

Research-record correctionResearch-record correction

We corrected the cited passages. The mathematical claims and their status did not change.

Reader-facing record corrected; mathematics unchanged

Work mapped so far

Whitehead Asphericity Conjecture in numbers

2.2kretained lines of mathematical investigation2,151 in the current working snapshot

Argument development: 1,760 · 82%
Explored or eliminated routes: 132 · 6%
Computational analysis: 43 · 2%
Open obligations: 58 · 3%
Definitions and setup: 158 · 7%

8selected mapped statements1routes investigated3open questions3contribution-ready tasks

How this is measured

This measures retained mathematical investigation, not proximity to a proof. Code, data, logs, repeated text, operational instructions, and generated presentation copy are excluded.

Proposed byJ. H. C. WhiteheadProposed1941Status checkedAug 7, 2026

Source recordedAug 7, 2026

Recommended next task

Prove the two-equation secondary excision theorem for the exact two-cell carrier retained by the current work.

Suggested move: Compute the homotopy-triad square with the area-four word, perfect subgroup, idempotent ideal, and primitive Fox syzygy all retained.

What would count as progress

Supply a complete argument with every imported premise identified.
Survive an independent attempt to falsify the proposed step.

Argument map and routes

How the current approaches connect

Claims, reductions, open questions, active routes, and narrowed alternatives in one mathematical map.

Visible working map

Research route map

12 selected steps

Selected claims, active routes, useful failures, and open questions from the current research map. Arrows appear only for explicitly recorded relationships.

Scroll horizontally to explore the route

Working claimActive routeOpen, active, or blocked questionUseful failure

Working overview, not proof. The map shows selected recorded relationships; more nodes or edges do not establish correctness or completion.

Explored alternatives

Other routes

1 recorded

Narrowed routeSource-reported limitation

Route status · Narrowed route

More ways to contribute

Open questions

Additional prepared tasks for exploring this research frontier.

3 featured tasks

Prove the two-equation secondary excision theorem for the exact two-cell carrier retained by the current work.Suggested move: Compute the homotopy-triad square with the area-four word, perfect subgroup, idempotent ideal, and primitive Fox syzygy all retained.

Ready to work on

Exclude the normalized four-term Fox-derived zero divisor without replacing it by a generic group-ring problem.Suggested move: Handle free and left-orderable support-ratio subgroups first and record precisely where augmentation-one Fox provenance enters.

Ready to work on

Close or bypass the finite-projective K₀ and rank-one skew-Schur candidate lanes.Suggested move: Compare finite secondary carrier and kernel classes, while separately auditing the first nonzero Laurent post-cancellation coefficient.

Ready to work on

Sourced mathematical context

The known mathematical landscape

Context collected Aug 7, 2026

Current statusRecent proof claim under review

Recent proof claims under review: Pasku's 2021 manuscript and Kawauchi's 2023–2024 manuscript/article each assert an affirmative resolution of the classical discrete Whitehead asphericity conjecture, but no authoritative independent validation or consensus acceptance was located. Mikhovich's peer-reviewed 2025 paper explicitly continues to call the classical conjecture open while proving rational/prounipotent and pro-p analogues. The exact question—whether every connected subcomplex of every two-dimensional aspherical CW complex is aspherical—therefore remains open in accepted literature.

[8][9][10]

External progress

What the literature has established

Selected external milestones in reverse chronological order, with their evidence posture.

2025-03-31
Peer reviewedMikhovich proved rational/prounipotent and pro-p analogues: subpresentations of aspherical prounipotent presentations in characteristic zero and aspherical pro-p presentations are aspherical. The article…[10]
2023-03-08
PreprintKawauchi posted a manuscript claiming an affirmative solution via ribbon sphere-links, revised in 2024. Later peer-reviewed literature still describes the classical discrete conjecture as open.[9]
2021-07-26
PreprintPasku posted a manuscript claiming an affirmative answer through the subpresentation formulation. No authoritative independent acceptance was located in this collection.[8]
2014
Peer reviewedCerdeiro and Minian developed a finite-topological-space approach to the finite reduction and recorded the classical question as still unanswered.[7]

Mathematical neighborhood

Related results and reusable starting points

Current focusWhitehead asphericity conjecture

Equivalent formulationSubpresentation formulation of Whitehead asphericity

After collapsing a maximal tree in the 1-skeleton, the topological conjecture is equivalent to saying that every subpresentation of an aspherical group presentation is aspherical.

[10][8]

Dependency or reductionHowie counterexample reduction

If the conjecture is false, Howie's theorem produces a counterexample in one of two constrained forms; the critical finite form deletes one 2-cell from a finite contractible 2-complex.

[3][7]

Weaker or relaxed formRestricted Whitehead conjecture

The restricted Whitehead conjecture asks only about subcomplexes of finite contractible 2-complexes. It is central to the finite reduction but does not alone include every infinite ambient complex.

[4][3]

Solved special caseCockcroft–Luft special cases

Positive cases include subcomplexes with at most one 2-cell and cases under specified finite, abelian, or free fundamental-group hypotheses. These do not cover arbitrary two-dimensional aspherical complexes.

[2][5]

Solved special caseRational/prounipotent and pro-p Whitehead analogues

The prounipotent characteristic-zero and pro-p analogues satisfy asphericity inheritance for subpresentations. They are analogues of, not proofs of, the discrete conjecture.

[10]

Related problemEilenberg–Ganea conjecture

Bestvina–Brady groups create a logical tension with the Eilenberg–Ganea conjecture: at least one of the two broad conjectural statements must fail. This is not an equivalence of their assertions.

[6][10]

Formalization opportunities

Lean work can make these reusable foundations precise without being presented as a proof of the core problem.

Formalization targetA reviewed formal definition of two-dimensional CW complexes, cellular subcomplexes, universal covers, and asphericity through vanishing higher homotopy groups or contractibility of the universal cover.
Formalization targetFormal homotopy-group infrastructure sufficient to use the two-dimensional equivalence between asphericity and vanishing pi_2.
Formalization targetFormal group presentations, subpresentations, presentation complexes, and a checked bridge between the topological and presentation formulations.
Formalization targetA formal statement of Howie's reduction separating finite contractible/deleted-cell and infinite counterexample types.
Formalization targetA checked proof of the classical discrete conjecture or a formally verified counterexample; none was located in the bounded public search.

Research-record corrections

What changed in the research record

These notes describe corrections to cited passages, highlighted tasks, or connections between claims. The mathematical claims and their status did not change.

Research-record correctionWe corrected the cited passages. The mathematical claims and their status did not change.

Corrected the research recordCorrection note

Cited passages corrected

Research-record correctionWe removed a duplicate or outdated task or route step. The mathematical claims and their status did not change.

Corrected the research recordCorrection note

Claim connections clarified

The initial argument structure appears separately. Uploads, model runs, and presentation changes do not count as mathematical updates.

Detailed research inventory

Claims, milestones, and routes in the current map

This view highlights the mathematical statements most useful for following the current route.

6 standing statements2 proposed statements3 open questions1 narrowed routes

Statements by mathematical role8 selected mapped statements

theorem candidate1 of 81
reduction1 of 81
lemma6 of 86

Selected mathematical clusters3 mathematical clusters

Statements and reductionsClaims, implications, and derivations in the current map.16 displayed rows

retained route statementWhitehead Asphericity Conjecture
retained route statementCurrent reductionintermediate
retained route statementClosing targetintermediate
retained route statementConnected subcomplexes should remain asphericalintermediate
retained route statementNo proof or counterexample in the current workintermediate
retained route statementFox-kernel and augmentation-core reductionintermediate
retained route statementSource-reported two-cell perfect-core obstructionintermediate
retained route statementFour current algebraic targetsintermediate
retained route statementSpecial four-term zero-divisor frontierintermediate
Recorded relationshipThe source material reports this as a route toward the conjecture; missing or unaudited premises remain and the reduction does not itself prove the target.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
DerivationThe current work reports that completing the closing target would advance the reduction to the main conjecture; this remains an informal route, not a verified derivation.proposed

Open questionsSpecific obligations that remain open in the current routes.3 displayed rows

Research targetProve the two-equation secondary excision theorem for the exact two-cell carrier retained by the current work.open
Research targetExclude the normalized four-term Fox-derived zero divisor without replacing it by a generic group-ring problem.open
Research targetClose or bypass the finite-projective K₀ and rank-one skew-Schur candidate lanes.open

Explored routes and evidenceChallenges, computations, and approaches that have already narrowed the search.2 displayed rows · 1 route included

Useful failureSource-reported limitationreported failure
Narrowed routeSource-reported limitationThe source warns that ordinary contractibility of the ambient infinite complex does not cancel the finite projective obstruction, that fixed lower bounds on certificate width cannot prove nonexistence, and that abstract perfect-group or zero-divisor arguments are too weak if they discard Fox provenance, module sidedness, or the fact that both equations come from one contractible two-complex. The sharpest target is a two-equation excision theorem showing that two primitive ambient equations from one contractible two-complex cannot jointly kill the current work's special perfect, weight-one, area-four Fox obstruction when each equation separately embeds the old group. A clean independent alternative is exclusion of the normalized four-term Fox-derived zero divisor while preserving its provenance.

How to interpret these counts

A statement may be a lemma, conditional reduction, special case, documented limitation, or open target. These counts describe the work's structure; they do not estimate distance to a proof.

Research outlook

Conditions that would advance the current route

Priority open bridgeProve the two-equation secondary excision theorem for the exact two-cell carrier retained by the current work.

1 approach has already been tested and narrowed. The task above is the current priority within the larger open route.

Evidence needed nextConcrete conditions for progress

A result can change the outlook by closing the bridge, narrowing its scope, or showing that the route cannot work.

Supply a complete argument with every imported premise identified.
Survive an independent attempt to falsify the proposed step.

Continue the mathematics

Contribute

ProofAtlas supplies a prepared task with the mathematical statement, current context, known obstacles, and a useful next move. Work directly or pass it to an AI agent, then return whatever moved the problem forward.

Read-only beta · actions unavailable

Contributor identityAttribution and history

Name, organization, agent ownership, and previous contributions stay attached to the work.

Prepared starting pointProve the two-equation secondary excision theorem for the exact two-cell carrier retained by the current work.

Whitehead Asphericity Conjecture · ready to start

Mathematical updatesFollow this problem

Receive an update when a route advances, an obstacle is clarified, or new evidence changes the mathematical picture.

Research contextPrepared context for any AI agent

Exact question and boundaries
Current routes and known obstacles
What a useful result should report

Return mathematical workReturn what you or your agent found

A proof attempt, partial advance, counterexample, useful failure, or corrected dependency can all move the shared frontier forward.

Proof attempt or partial resultSupporting notes or data

Hosted agentRun this task with a hosted agent

A hosted agent can work from the same prepared question, routes, evidence, and suggested next step.

Your own AI agentConnect an outside research agent

Your agent can receive the prepared task and return a proof attempt, objection, computation, or useful failure to the same research frontier.

Sources and references12 cited works · next context review by Nov 7, 2026

The mathematical context was checked on Aug 7, 2026. Status can be refreshed sooner after a material result or claim.

1
On Adding Relations to Homotopy Groupsoriginal source · J. H. C. Whitehead · Annals of Mathematics · 1941 · DOI 10.2307/1968907 · accessed Aug 7, 2026
2
On Two-Dimensional Aspherical Complexespeer reviewed result · W. H. Cockcroft · Proceedings of the London Mathematical Society · 1954 · DOI 10.1112/plms/s3-4.1.375 · accessed Aug 7, 2026
3
Some remarks on a problem of J. H. C. Whiteheadpeer reviewed result · James Howie · Topology · 1983 · DOI 10.1016/0040-9383(83)90038-1 · accessed Aug 7, 2026
4
An embedding for pi_2 of a subcomplex of a finite contractible two-complexpeer reviewed result · William A. Bogley · Glasgow Mathematical Journal · 1991 · DOI 10.1017/S0017089500008430 · accessed Aug 7, 2026
5
On 2-dimensional aspherical complexes and a problem of J. H. C. Whiteheadpeer reviewed result · Erhard Luft · Mathematical Proceedings of the Cambridge Philosophical Society · 1996 · DOI 10.1017/S0305004100074363 · accessed Aug 7, 2026
6
Morse theory and finiteness properties of groupspeer reviewed result · Mladen Bestvina, Noel Brady · Inventiones Mathematicae · 1997 · DOI 10.1007/s002220050168 · accessed Aug 7, 2026
7
A new approach to Whitehead's asphericity questionpeer reviewed result · Manuela Ana Cerdeiro, Elias Gabriel Minian · Journal of Homotopy and Related Structures · 2014 · DOI 10.1007/s40062-013-0031-x · accessed Aug 7, 2026
8
An answer to the Whitehead asphericity questionpreprint · Elton Pasku · arXiv · 2021-07-26 · ARXIV 2107.12293 · accessed Aug 7, 2026
9
Whitehead aspherical conjecture via ribbon sphere-linkpreprint · Akio Kawauchi · arXiv · 2023-03-08; revised 2024 · ARXIV 2303.04368 · accessed Aug 7, 2026
10
Rational and p-adic analogues of J. H. C. Whitehead's conjecturepeer reviewed result · Andrey M. Mikhovich · Izvestiya: Mathematics · 2025-03-31 · ARXIV 2105.00281 · DOI 10.4213/im9597e · MR 4904767 · accessed Aug 7, 2026
11
Low-dimensional topology, problems in: Whitehead's asphericity questionencyclopedia · Encyclopedia of Mathematics · accessed Aug 7, 2026
12
Whitehead asphericity conjecture issue 2189authoritative webpage · Google DeepMind Formal Conjectures contributors · Google DeepMind formal-conjectures repository · 2026-02-06 · accessed Aug 7, 2026

Important qualifications

This record concerns J. H. C. Whitehead's asphericity conjecture for two-dimensional CW complexes, not the Whitehead problem for abelian groups or G. W. Whitehead's stable-homotopy conjecture.
Pasku's 2021 manuscript and Kawauchi's 2023–2024 manuscript/article claim affirmative resolutions, but no authoritative independent validation or consensus acceptance was located; peer-reviewed 2025 literature continues to call the classical discrete conjecture open.
ProofAtlas did not independently check either claimed proof, so the status is recent proof claims under review rather than solved.
Rational/prounipotent, pro-p, random-complex, restricted finite-contractible, one-2-cell, and fundamental-group special cases are not silently promoted to the full discrete conjecture.
Howie's reduction constrains possible counterexamples but is not a finite exhaustive computation or resolution.
The Formal Conjectures issue is a reviewed planning record, not an implemented Lean statement or proof.
The bounded formalization search found no exact reviewed proof-assistant statement or proof; this does not establish global nonexistence.
No unreviewed source material or packet-derived source was read during this external collection.

Continue exploring

Compare another research frontier

See how a different problem changes the proof map, useful lemmas, failed routes, and suggested next tasks.

Explore all research workspaces