A homotopical consequence of branched covers

Runjie Hu

arxiv: 2309.05231 · v2 · submitted 2023-09-11 · 🧮 math.AT · math.AG· math.GT

A homotopical consequence of branched covers

Runjie Hu This is my paper

Pith reviewed 2026-05-24 07:16 UTC · model grok-4.3

classification 🧮 math.AT math.AGmath.GT

keywords pseudomanifoldsprofinite completionetale homotopy typebranched coversK(pi,1) spaceshomotopy theoryArtin-Mazur construction

0 comments

The pith

The profinite completion of a pseudomanifold equals the Artin-Mazur etale homotopy type of its branched covers.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves that the profinite completion of a pseudomanifold is identical to the etale homotopy type constructed from its branched covers. The equality confirms an implicit conjecture made by Sullivan around 1970. The result follows from the existence of enough open dense subspaces that are K(π,1) spaces inside any pseudomanifold. A reader would care because it links two distinct ways of extracting profinite homotopy information from singular spaces.

Core claim

The profinite completion of a pseudomanifold is the Artin-Mazur etale homotopy type construction on its branched covers.

What carries the argument

Existence of enough K(π,1) open dense subspaces in a pseudomanifold, which equates profinite completion with etale homotopy types of branched covers.

If this is right

Branched covers can be used to compute the profinite homotopy type of pseudomanifolds.
The etale homotopy type fully captures the profinite data in this geometric setting.
The result applies to all pseudomanifolds because of their local structure admitting dense K(π,1) subspaces.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Similar identifications might hold for other classes of singular spaces with dense K(π,1) subsets.
The construction could be tested on explicit examples such as orbifolds or algebraic varieties with isolated singularities.
This unifies topological and arithmetic approaches to homotopy in low-dimensional singular geometry.

Load-bearing premise

Every pseudomanifold contains enough open dense subspaces that are K(π,1) spaces.

What would settle it

A pseudomanifold whose profinite completion differs from the etale homotopy type of its branched covers, or one that lacks sufficiently many K(π,1) open dense subspaces.

read the original abstract

We prove that the profinite completion of a pseudomanifold is the Artin-Mazur's etale homotopy type construction on its branched covers, which was implicitly conjectured by Sullivan in his MIT note (page 247) around 1970. This is a consequence of the existence of enough $K(\pi,1)$ open dense subspaces in a pseudomanifold.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper claims to prove Sullivan's 1970 implicit conjecture by equating the profinite completion of a pseudomanifold with the etale homotopy type of its branched covers.

read the letter

The paper proves that the profinite completion of a pseudomanifold is the etale homotopy type of its branched covers. This settles an implicit conjecture from Sullivan around 1970. What is new is the actual proof of that link. The paper does well by framing it as a consequence of having enough K(π,1) open dense subspaces. That gives a clean logical structure. The reduction avoids circularity and sticks to standard notions in the field. The soft spot is the lack of any supporting argument in the abstract. We get the statement but no indication of how the existence of those subspaces is established or how the two homotopy constructions are equated. That makes it hard to gauge if the central step holds up. In topology papers like this, the key is usually in the construction of the subspaces or in some covering space argument, and without seeing that, the result remains a black box. This work is for people already deep in algebraic topology, particularly those interested in pseudomanifolds and different ways to complete homotopy types. A broader audience in topology might skip it. I would send it for peer review. The topic is narrow but the claim addresses a real gap from the literature, so the right referees can check the details.

Referee Report

2 major / 0 minor

Summary. The paper claims to prove that the profinite completion of a pseudomanifold equals the Artin-Mazur étale homotopy type of its branched covers. This is presented as a consequence of the existence of enough K(π,1) open dense subspaces in a pseudomanifold and is said to confirm an implicit conjecture of Sullivan from around 1970.

Significance. If established, the result would link profinite completions in topology with étale homotopy types via branched covers, providing a concrete homotopical consequence for pseudomanifolds and potentially advancing connections between classical homotopy theory and arithmetic geometry.

major comments (2)

The provided manuscript text consists solely of the abstract, which asserts the existence of a proof without supplying any derivation steps, lemmas, propositions, or verification details. This absence is load-bearing because the central claim is precisely that such a proof exists and reduces the profinite completion to the étale construction.
No argument is given for the key assumption that pseudomanifolds admit enough K(π,1) open dense subspaces; without this step or a reference to a prior result, the claimed consequence cannot be evaluated.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report. We agree that the current manuscript is a brief announcement of the result and does not contain the full proof or supporting arguments. A revised version will expand the text to address these points.

read point-by-point responses

Referee: The provided manuscript text consists solely of the abstract, which asserts the existence of a proof without supplying any derivation steps, lemmas, propositions, or verification details. This absence is load-bearing because the central claim is precisely that such a proof exists and reduces the profinite completion to the étale construction.

Authors: The manuscript as submitted is indeed limited to a statement of the result. The revised version will include the complete derivation, with all necessary lemmas, propositions, and verification details to establish the reduction from profinite completion to the Artin-Mazur étale homotopy type via branched covers. revision: yes
Referee: No argument is given for the key assumption that pseudomanifolds admit enough K(π,1) open dense subspaces; without this step or a reference to a prior result, the claimed consequence cannot be evaluated.

Authors: The revised manuscript will either supply a self-contained argument for the existence of enough K(π,1) open dense subspaces in pseudomanifolds or include a precise reference to an established prior result on this property. revision: yes

Circularity Check

0 steps flagged

No significant circularity; result presented as consequence of independent existence statement

full rationale

The accessible text (abstract and context) frames the central claim as following directly from the existence of enough K(π,1) open dense subspaces in a pseudomanifold, with no equations, fitted parameters, or self-citations shown that reduce the profinite completion statement to its inputs by construction. No load-bearing steps match the enumerated circularity patterns. The derivation is treated as self-contained against the stated assumption.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence of enough K(π,1) open dense subspaces in pseudomanifolds; this is presented as the key enabling fact but receives no further justification in the abstract.

axioms (1)

domain assumption Existence of enough K(π,1) open dense subspaces in a pseudomanifold
Explicitly identified in the abstract as the fact from which the main result follows.

pith-pipeline@v0.9.0 · 5572 in / 1107 out tokens · 25397 ms · 2026-05-24T07:16:56.237843+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

[1]

M. Arin, A. Grothendieck, and J.-L. Verdier. Theorie de Topos et Cohomologie Etale des Schemas I,II,III , volume 296, 270, 305 of Lecture Notes in Mathematics . Springer-Verlag, 1971

work page 1971
[2]

Artin and B

M. Artin and B. Mazur. Etale Homotopy , volume 100 of lecture notes in mathe- matics. Springer-Verlag, 1969

work page 1969
[3]

A. K. Bousﬁeld and D. M. Kan. Homotopy Limits, Completions and Localizations , volume 304 of lecture notes in mathematics . Springer-Verlag, 1972

work page 1972
[4]

P. Deligne. La Conjectures de Weil I. Mathematiques de l’IHES , 43:273–307, 1974

work page 1974
[5]

D. C. Isaksen. A Model Structure on the Category of Pro-Si mplicial Sets. Trans. Am. Math. Soc. , 353(7):2805–2841, 2001

work page 2001
[6]

S. Lubkin. On a Conjecture of Andre Weil. Am. J. Math. , 89:443–548, 1967

work page 1967
[7]

C. P. Rourke and B. J. Sanderson. Introduction to Piecewise-Linear Topology . Springer-Verlag, 1972

work page 1972
[8]

Sullivan

D.P. Sullivan. Geometric Topology: Localization, Periodicity and Galois Symmetry: The 1970 MIT Notes . K-Monographs in Mathematics. Springer Netherlands, 2009 . 15

work page 1970

[1] [1]

M. Arin, A. Grothendieck, and J.-L. Verdier. Theorie de Topos et Cohomologie Etale des Schemas I,II,III , volume 296, 270, 305 of Lecture Notes in Mathematics . Springer-Verlag, 1971

work page 1971

[2] [2]

Artin and B

M. Artin and B. Mazur. Etale Homotopy , volume 100 of lecture notes in mathe- matics. Springer-Verlag, 1969

work page 1969

[3] [3]

A. K. Bousﬁeld and D. M. Kan. Homotopy Limits, Completions and Localizations , volume 304 of lecture notes in mathematics . Springer-Verlag, 1972

work page 1972

[4] [4]

P. Deligne. La Conjectures de Weil I. Mathematiques de l’IHES , 43:273–307, 1974

work page 1974

[5] [5]

D. C. Isaksen. A Model Structure on the Category of Pro-Si mplicial Sets. Trans. Am. Math. Soc. , 353(7):2805–2841, 2001

work page 2001

[6] [6]

S. Lubkin. On a Conjecture of Andre Weil. Am. J. Math. , 89:443–548, 1967

work page 1967

[7] [7]

C. P. Rourke and B. J. Sanderson. Introduction to Piecewise-Linear Topology . Springer-Verlag, 1972

work page 1972

[8] [8]

Sullivan

D.P. Sullivan. Geometric Topology: Localization, Periodicity and Galois Symmetry: The 1970 MIT Notes . K-Monographs in Mathematics. Springer Netherlands, 2009 . 15

work page 1970