Alexander's conjecture for infinite simplicial complexes
Pith reviewed 2026-07-03 01:11 UTC · model grok-4.3
The pith
Alexander's conjecture holds for infinite simplicial complexes.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that Alexander's conjecture is true for infinite simplicial complexes: whenever two triangulations of the same topological space admit a common subdivision, they also admit a common stellar subdivision. The argument proceeds by generalizing the combinatorial operations and subdivision relations that Adiprasito and Pak used in the finite setting, verifying that no new obstructions arise when the complexes are allowed to be infinite.
What carries the argument
Stellar subdivision and common subdivision relations, extended from finite to infinite simplicial complexes.
If this is right
- Any two infinite triangulations sharing a subdivision must share a stellar subdivision.
- The stellar subdivision operation remains well-behaved on infinite complexes.
- Results about subdivisions of finite complexes now apply verbatim to their infinite counterparts.
- The conjecture is settled uniformly across both finite and infinite settings.
Where Pith is reading between the lines
- The same extension technique might apply to other subdivision conjectures that were first proved in the finite case.
- Infinite triangulations of non-compact spaces can now be compared using stellar moves without additional restrictions.
- Computational algorithms that rely on stellar subdivisions could be run on infinite but locally finite complexes.
Load-bearing premise
The combinatorial definitions and proof steps developed for finite complexes apply directly to infinite ones without creating new topological obstructions.
What would settle it
An explicit pair of infinite triangulations of one space that possess a common subdivision but no common stellar subdivision would refute the claim.
read the original abstract
Alexander's conjecture states that for every two finite triangulations of the same topological space, if they have a common subdivision, then they have a common stellar subdivision. We generalize the recent result of Adiprasito and Pak, who resolved Alexander's conjecture for finite simplicial complexes, to infinite simplicial complexes.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript states that Alexander's conjecture—for any two triangulations of the same topological space that admit a common subdivision, they also admit a common stellar subdivision—holds for infinite simplicial complexes, generalizing the recent resolution by Adiprasito and Pak for the finite case.
Significance. If established, the result would extend a resolution in combinatorial topology from finite to infinite simplicial complexes, broadening the scope of stellar subdivision techniques without introducing new obstructions as claimed.
major comments (1)
- Abstract: the central claim is a direct generalization, but the manuscript provides no proof, no explicit definitions for infinite complexes, and no verification that the finite-case techniques (e.g., those of Adiprasito-Pak) extend without new combinatorial or topological issues; this renders the assertion unverifiable from the given text.
Simulated Author's Rebuttal
We thank the referee for their feedback on our manuscript. We address the major comment below.
read point-by-point responses
-
Referee: [—] Abstract: the central claim is a direct generalization, but the manuscript provides no proof, no explicit definitions for infinite complexes, and no verification that the finite-case techniques (e.g., those of Adiprasito-Pak) extend without new combinatorial or topological issues; this renders the assertion unverifiable from the given text.
Authors: We agree that the current manuscript text does not include a proof, explicit definitions for infinite simplicial complexes, or a verification that the Adiprasito-Pak techniques extend without new issues. This renders the central claim unverifiable as presented. We will revise the manuscript to add these elements. revision: yes
Circularity Check
No significant circularity detected
full rationale
The paper claims a generalization of the Adiprasito-Pak resolution of Alexander's conjecture from finite to infinite simplicial complexes. This is an extension of an external, independently established result by different authors. No self-definitional steps, fitted inputs renamed as predictions, load-bearing self-citations, uniqueness theorems imported from the same authors, or ansatzes smuggled via citation are present or required by the stated claim. The central assertion is the validity of the extension itself, which does not reduce to its inputs by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard axioms of set theory and simplicial complex definitions from algebraic topology.
Reference graph
Works this paper leans on
-
[1]
Annals of Mathematics , year=
The Combinatorial Theory of Complexes , author=. Annals of Mathematics , year=
-
[2]
On the foundations of combinatorial Analysis Situs , author=. Proc. Royal Acad. Amsterdam , year=
-
[3]
All triangulations have a common stellar subdivision, preprint , author=. 2024 , series=. 2404.05930 , archivePrefix=
-
[4]
Newman, M. H. A. , title =. J. Lond. Math. Soc. , volume =. doi:https://doi.org/10.1112/jlms/s1-6.3.186 , url =. https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/jlms/s1-6.3.186 , year =
-
[5]
Lickorish, W. B. R. , TITLE =. Proceedings of the. 1999 , MRCLASS =. doi:10.2140/gtm.1999.2.299 , URL =
-
[6]
John F. P. Hudson , title =. 1969 , series =
1969
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.