Pith. sign in

REVIEW 4 major objections 6 minor 19 references

On The Whisker Topology

T0 review · 4 major / 6 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The whisker topology on fundamental groups respects products, giving a non-discrete, non-abelian, Hausdorff topological group from a countable product of figure eights.

desk verdict Three genuinely new results and a plausible affirmative answer to Brazas's question, but the posted proof has a load-bearing typo in Proposition 3.8 that needs repair before the example is fully credible. read the letter →

arxiv 2412.05304 v1 pith:F2L7XFVK submitted 2024-11-26 math.GN math.AT

John K. Aceti This is my paper · ORCID
classification math.GNmath.AT MSC 54H1155Q0554E35
keywords whiskertopologyfundamentalgrouptopologicalHawaiianearringone-dimensionalPeanocontinuumproductpreservationhomotopicallyHausdorffseparability
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper studies the whisker topology, a topology on the fundamental group designed to detect local complications in spaces where classical covering-space theory fails. Its main aims are to prove that the whisker topology is preserved by products, to use that fact to settle an open question by building a space whose whisker fundamental group is simultaneously non-discrete, non-abelian, and Hausdorff, and to show that the whisker fundamental group of the Hawaiian earring is not separable. If these results stand, they give a way to compute whisker fundamental groups of infinite products and sharpen the contrast between the Hawaiian earring and tamer examples such as the infinite torus.

What carries the argument

The whisker topology on $\pi_1(X,x_0)$ is generated by basic sets $B([\zeta],U)$ consisting of classes $[\zeta\cdot\eta]$ for loops $\eta$ based at $x_0$ with image in an open neighborhood $U$ of $x_0$. Two structural facts carry the argument: these basic sets are clopen, so a Hausdorff whisker group is totally separated, and the product-preservation theorem identifies the whisker fundamental group of a product with the product of whisker fundamental groups via the map sending $[\zeta]$ to $([p_i\circ\zeta])_i$. This converts an infinite product of figure eights into an infinite product of discrete free groups, and because products of topological groups are topological groups, the resulting group inherits the desired combination of properties.

What would settle it

Take an infinite product of spaces that are not semilocally simply connected and compare a basic whisker neighborhood of a loop in the product with the product of basic whisker neighborhoods in the factors. If some basic neighborhood cannot be expressed as a product of factor neighborhoods, or if the canonical map $\Phi$ is not open on such a neighborhood, then the product-preservation theorem fails and the main example loses its proof.

Watch

Extended reading notes

Core claim

The central claim is Proposition 3.19. Let $X=\prod_{i\in\mathbb{N}}(S^1\vee S^1)$, based at the point whose every coordinate is the wedge point of a figure eight. Then the whisker fundamental group $W=\pi_1^{wh}(X,x_0)$ is a non-discrete, non-abelian, Hausdorff topological group. The proof rests on the product-preservation theorem: the canonical map $\Phi$ from $\pi_1^{wh}(\prod_i X_i)$ to $\prod_i\pi_1^{wh}(X_i)$ is a homeomorphism. Because each factor $S^1\vee S^1$ is semilocally simply connected, its whisker fundamental group is the discrete free group $F_2$, and $W$ becomes the countable power $(F_2)^{\omega}$ with the product topology. The paper also claims that $\pi_1^{wh}(E^1,b_0)$, the whisker fundamental group of the Hawaiian earring, is not separable, and derives a metrizability and separability dichotomy for one-dimensional Peano continua.

Load-bearing premise

The main example rests on the claim that the whisker topology on the fundamental group of a product of spaces is exactly the product of the whisker topologies of the factors; if that homeomorphism fails for infinite products, the proposed example collapses.

Editorial extensions

If this is right

  • Whisker fundamental groups of arbitrary products can be computed factor by factor, making infinite products of locally nice spaces a reliable source of whisker groups.
  • The space $\prod_{i\in\mathbb{N}}(S^1\vee S^1)$ provides a canonical example where the whisker topology is Hausdorff, non-discrete, and non-abelian simultaneously, and it is a topological group, so the open question has an affirmative answer.
  • Because $\pi_1^{wh}(E^1,b_0)$ is metrizable but not separable, any one-dimensional Peano continuum containing the Hawaiian earring as a retract has a non-separable whisker fundamental group.
  • For one-dimensional Peano continua, the whisker fundamental group is either a discrete separable metric group or a non-separable metric group, with no intermediate behavior.
  • The pseudometric constructed in Section 5 makes $\pi_1^{wh}(X,x_0)$ pseudometrizable whenever $X$ is metrizable, and metrizable when $X$ is additionally homotopically Hausdorff.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same product argument should generalize to products of arbitrary semilocally simply connected spaces with non-abelian fundamental groups, producing a large class of non-discrete topological whisker groups rather than a single example.
  • The non-separability of $\pi_1^{wh}(E^1,b_0)$ likely forces the generalized universal cover $\widetilde{E}^1$ to be non-separable too, so the whisker topology is a finer invariant than mere metrizability for one-dimensional spaces.
  • One could test whether the product-preservation theorem extends to inverse limits or uncountable products; the written proof relies on finite-support neighborhoods, so uncountable products may behave differently.
  • The dichotomy in Theorem 5.10 suggests that non-separability of the whisker fundamental group is a robust marker of non-semilocally-simple-connected one-dimensional spaces, which could be used to classify generalized covering spaces by separability alone.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 6 minor

Summary. The paper studies the whisker topology on fundamental groups of path-connected, locally path-connected based spaces. Its main results are: (1) Proposition 3.8, asserting that the whisker topology on the fundamental group preserves products, i.e. the canonical map π1^wh(∏ Xi) → ∏ π1^wh(Xi) is a homeomorphism; (2) Proposition 3.19, an affirmative answer to Brazas's Question 3.18, exhibiting X = ∏_{i∈N}(S^1∨S^1) for which π1^wh(X,x0) is a non-discrete, non-abelian, Hausdorff topological group; (3) Theorem 5.9, showing that π1^wh(E1,b0) is not separable; and (4) a pseudometric on π1^wh(X,x0) for metrizable X (Section 5.1) and a dichotomy for one-dimensional Peano continua (Theorem 5.10). The paper also contains results on when the whisker topology makes the fundamental group a topological group (Theorem 3.9) and on separation axioms (Theorem 4.5).

Significance. If the results are correct, the paper makes a meaningful contribution to wild topology: it resolves an open question of Brazas on the existence of a space whose whisker fundamental group is non-discrete, non-abelian, Hausdorff, and a topological group, and it establishes non-separability of the whisker topology on the earring group. The broad strategy is sound and the paper connects several known tools (Cannon–Conner reduction, shape injectivity, product arguments). However, as written, the proofs contain gaps in load-bearing places: the product homeomorphism proof is incomplete, Theorem 4.5 is garbled, and Theorem 3.9 has an underived step. These are local and repairable, but they must be fixed before the claims can be accepted.

major comments (4)
  1. [§3, Proposition 3.8] The converse half of the proof that Φ is open is incorrect as written. After writing [η_i] = [ζ_i·κ_i] for i∈F, the text says "let κ_i be constant at x_i when i∈F"; this should almost certainly read "when i∉F", but even with that correction the constructed loop has components [ζ_i] outside F, not the prescribed [η_i]. A correct argument must choose, for every coordinate i, a loop κ_i with [η_i] = [ζ_i·κ_i] (for i∉F one may take any representative of [ζ_i^{-1}·η_i]), then form the coordinatewise loop κ = (κ_i) by the universal property of the product. One must then verify that κ is continuous and that Im(κ) ⊆ U = ∏_{i∈F} U_i × ∏_{i∉F} X_i, which is true because each κ_i is a loop at x_i and for i∈F its image lies in U_i. The paper does not supply this check, and the infinite product case is exactly where the homeomorphism assertion is used in Proposition 3.19.
  2. [§4, Theorem 4.5] The theorem's statement and proof are garbled. Item 4 is a biconditional statement ("π1^wh is Hausdorff if and only if X is homotopically Hausdorff at x0"), not a condition in the same form as items 1–3. In the proof of 2⇒4, the text assumes ⟨1⟩ is not closed and concludes that X is not homotopically Hausdorff; this is the contrapositive of one direction of the biconditional, not a proof from the Hausdorff assumption. The subsequent "conversely" paragraph says "suppose X is homotopically Hausdorff at x0" but then asserts the existence of a non-null loop ζ that is path homotopic to loops in every neighborhood of x0, which is the negation of homotopically Hausdorff. The theorem should be restated (e.g., all four items are equivalent, with item 4 understood as the biconditional) and the two directions proved separately and correctly. Since Theorem 5.6 and Theorem 5.10 rely on this result, the repair is load-bearing.
  3. [§3, Theorem 3.9] In the proof of 1⇒2, the step "Im(κ^{-})⊆V and so [κ][η]=[η][ι] for Im(ι)⊆U" is underived. It can be obtained from the assumed continuity of inversion at [η^{-}]: for κ a loop in V, one has [η^{-}·κ]∈B([η^{-}],V), so its inverse [κ^{-}·η] lies in B([η],U), meaning [κ^{-}·η]=[η·ι] for some loop ι in U; multiplying on the left by [κ] and rearranging gives [κ][η]=[η][ι^{-}], with ι^{-} also having image in U. This derivation should be written out. The proof also contains typographical errors, including a missing parenthesis in "inv(B([η^{-}, V))" and the appearance of "k^{-}" instead of "κ^{-}".
  4. [§5, Theorem 5.10] The theorem asserts in both cases that eXwh is metrizable, but the paper never proves that eXwh is Hausdorff. Pseudometrizability is established in Lemma 5.4 and Theorem 5.5 for π1^wh, not for eXwh, and the metric ρ is defined only on π1^wh(X,x0). In the proof, the sentence "since all one-dimensional Hausdorff spaces are homotopically Hausdorff, eXwh and π1wh are both Hausdorff and thus both metrizable" presupposes a criterion for eXwh to be Hausdorff that is not stated or proved in the manuscript. A supporting argument or an explicit reference for the Hausdorff property of eXwh is needed before the metrizability and separability conclusions for eXwh can be accepted.
minor comments (6)
  1. [Throughout] The manuscript contains many typos and incorrect cross-references. For example, "simly" and "nullhomotpic" in Proposition 3.12, "πwh_1(E1,b0) is a topological group whenever x, b0" in Remark 3.15, and references to Proposition 3.7, Proposition 3.11, Proposition 3.18, and Theorem 4.6 where Propositions 3.8, 3.12, 3.19, and Theorem 4.5 (or 4.3) are meant.
  2. [§3, Proposition 3.19] The proof says "W is not semilocally simply connected at any of its points"; this should refer to the space X = ∏(S1∨S1), not the group W. Also, the proof cites "Proposition 3.7" and "Proposition 3.11" but should cite Proposition 3.8 and Proposition 3.12.
  3. [§5, Lemma 5.2] The proof of Lemma 5.2 contains garbled inequalities. In the case x,y∈[0,1/2], the expression "diam(ζ(x/2),ζ(y/2))" is not meaningful; it should be d(ζ(2x),ζ(2y))≤diam(ζ). In the second case, "d(η(2x−1),ζ(2y−1))" should read "d(η(2x−1),η(2y−1))".
  4. [§3, Proposition 3.14] The proof invokes "shape injectivity" without defining the term or giving a precise reference. A brief definition or citation (e.g., to Cannon–Conner) would help the reader verify the claim that [ℓ_n·ℓ_1]∉B([ℓ_1],U_n).
  5. [§3, Corollary 3.16] The one-line proof should justify why a retract of a space with non-topological-group whisker fundamental group must itself fail to be a topological group; the argument requires that the retraction-induced homomorphism gives a homeomorphic embedding of π1^wh(E1) into π1^wh(X).
  6. [§5, Theorem 5.10] In the semilocally simply connected case, the assertion that π1^wh(X,x0) is finitely generated is not justified; a reference for finite generation of the fundamental group of a semilocally simply connected Peano continuum should be supplied.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main claims are derived from definitions, standard product arguments, and cited external theorems rather than from self-referential inputs.

full rationale

The derivation chain is self-contained with respect to circularity. The main positive result (Prop. 3.19) is an application of the product-preservation theorem (Prop. 3.8), which is proved from the definition of the whisker basis and the universal property of products, not assumed as an input. The discreteness of each factor follows from Prop. 3.12 (semilocal simple connectivity), and the topological-group conclusion uses the standard fact that products of topological groups are topological groups. The non-separability theorem (Thm. 5.9) uses Cannon-Conner's reduced-path uniqueness lemma (Lemma 5.8) as an external, parameter-free cited theorem; no fitted value is renamed as a prediction. The paper contains no self-citations by the author, and no load-bearing premise is justified solely by a citation to the author's own prior work. The proof of Prop. 3.8 has a garbled converse step and there are several cross-reference typos, which are correctness/editing concerns rather than circularity: the proposition is not equivalent to its conclusion by definition, and the flaw does not make the theorem an input to itself. Therefore no circular step can be quoted with the required reduction, and the circularity score is 0.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The paper introduces no new free parameters or invented entities; the work is purely deductive. The central results rest on standard topology and on substantial cited theorems about one-dimensional spaces and the Hawaiian earring group, especially Lemma 5.8 and shape injectivity.

assumptions (7)
  • standard math The sets N([ζ],U) as in Definition 3.1 form a basis for a topology on eX, the whisker topology, and the endpoint projection is continuous.
    Used throughout; cited to [18] (Spanier).
  • standard math For a product of spaces, the fundamental group is the product of the fundamental groups, and continuous maps induce continuous homomorphisms of whisker groups.
    Used in Proposition 3.8 and Proposition 3.19; standard algebraic topology plus continuity from Proposition 3.6.
  • domain assumption Lemma 5.8 (Cannon and Conner): in a one-dimensional Hausdorff space, every path is path-homotopic to a reduced path, and path-homotopic reduced paths are monotonically reparametrized versions of each other.
    Critical for Theorem 5.9 and Theorem 5.10; cited to [7] and not proven in the paper.
  • domain assumption The Hawaiian earring group is shape-injective, so the homotopy classes [ℓ_n·ℓ_1] and [ℓ_1·κ] are distinct when κ has image in a neighborhood that does not contain the full circle C_1.
    Used in Proposition 3.14; cited to [8].
  • domain assumption Every one-dimensional Peano continuum that is not semilocally simply connected admits a retraction onto the Hawaiian earring E1.
    Used in the proof of Theorem 5.10; cited to [7].
  • domain assumption All one-dimensional Hausdorff spaces are homotopically Hausdorff.
    Used in Theorem 5.10 to pass from pseudometrizable to metrizable; cited to [9] and [7].
  • standard math Products of left-topological groups are topological groups, and the product topology on (F2)^ω is Hausdorff and non-discrete.
    Used in Proposition 3.19; cited to [2].

how reviews work

0 comments
Cite this review

Pith. "Pith review of On The Whisker Topology." pith.science (2026). https://pith.science/paper/F2L7XFVK

@misc{pith2026241205304,
  author       = {Pith},
  title        = {Pith review of: On The Whisker Topology},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/F2L7XFVK}},
  note         = {Machine review of arXiv:2412.05304}
}
abstract

The purpose of this paper is to explore properties of the whisker topology, which is a topology endowed on the fundamental group and whose utility is to detect locally complicated phenomena in pathological topological spaces. We show that the whisker topology preserves products, resolve an open question regarding the existence of a space which makes $\pi_1^{wh}(X,x_0)$ a non-discrete, non-abelian, and Hausdorff topological group, and show the whisker topology is not separable on the earring group $\pi_1(\Er^1,x_0)$.

Figures

Figures reproduced from arXiv: 2412.05304 by the authors.

Figure 1
Figure 1. A basic neighborhood B([ζ], U) of π wh 1 (X, x0) consists of homotopy classes [ζ · η] where η is a loop in U. Definition 3.3. [2]: A group G equipped with a topology is a left-topological group if for every g ∈ G, left translation h 7→ hg is a continuous function G → G. Proposition 3.4. Let X be any space; then, π wh 1 (X, x0) is a left topological group. Proof. Let [η] ∈ π wh 1 (X, x0) be fixed and consider the lef… view at source ↗
Figure 2
Figure 2. π wh 1 (X, x0) is a topological group if and only if for every based loop ζ and neighborhood U of x0 there exists a neighborhood V of x0 such that for any loop η in V, the conjugate ζ · η · ζ − is homotopic to some loop κ in U. suppose that X is semilocally simply connected at x0. Then there exists an open neighborhood U of x0 such that every loop in U based at x0 is nullhomotpic in X. ■ The converse of Corollary 3.… view at source ↗
Figure 3
Figure 3. The Earring space E1 . Corollary 3.16. If X is any space where E1 is a retract of X, then there exists a point x0 ∈ X such that π wh 1 (X, x0) is not a topological group. Example 3.17. Let HA be the “Harmonic Archipelago” as described in [5] (see [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: The Harmonic Archipelago HA. Proof. First observe that if [η] ∈ N([ζ], U), then [η] = [ζ · κ],Im(κ) ⊆ U. Then we have that: [ζ] = [η · κ − ],Im(κ − ) ⊆ U. We will show the inclusion N([ζ], U) ⊆ N([η], U) (the other inclusion is near identical). Indeed, suppose [µ] ∈ N(…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    Abdullahi Rashid, N

    M. Abdullahi Rashid, N. Jamali, B. Mashayekhy, S.Z. Pashaei, H. Torabi, On subgroup topologies on the fundamental group. Hacettepe Journal of Mathematics & Statistics 49 (2020), no. 3, 935 – 949

    work page 2020

  2. [2]

    Arhangegel’skii and M

    A. Arhangegel’skii and M. Tkachenko,Topological Groups and Related Structures, Atlantic Press, Amsterdam, 2008

    work page 2008

  3. [3]

    Mashayekhy, H

    A.Babaee, B. Mashayekhy, H. Mirebrahimi, H. Torabi,On Topological Homotopy Groups and Relation to Hawaiian Groups,

    work page

  4. [4]

    Biss, The topological fundamental group and generalized covering spaces, Topol- ogy and its Applications 124 (2002), 355–371

    D. Biss, The topological fundamental group and generalized covering spaces, Topol- ogy and its Applications 124 (2002), 355–371. RETRACTED

    work page 2002

  5. [5]

    Bogley, A

    W. Bogley, A. Sieradski, Universal path spaces, Unpublished manuscript

    work page

  6. [6]

    Brazas, The fundamental group as a topological group, Topology Appl

    J. Brazas, The fundamental group as a topological group, Topology Appl. 160 (2013) 170-188

    work page 2013

  7. [7]

    Cannon, G.R

    J.W. Cannon, G.R. Conner, On the fundamental group of one-dimensional spaces , Topology Appl. 153 (2006) 2648-2672. 15

    work page 2006

  8. [8]

    Cannon, G.R

    J.W. Cannon, G.R. Conner, The combinatorial structure of the Hawaiian earring group, Topol. Appl. 106 (2000) 225–271

    work page 2000

Show all 19 references
  1. [9]

    Conner, M

    G.R. Conner, M. Meilstrup, D. Repov ˇs, A. Zastrow, and M. ˇZeljko, On small homotopies of loops, Topology Appl. 155 (2008) 1089–1097

    2008

  2. [10]

    Dugundji, A topologized fundamental group , Proc

    J. Dugundji, A topologized fundamental group , Proc. Nat. Acad. Sci. 36 (1950), 141–143

    1950

  3. [11]

    Eda, Free Subgroups of the Fundamental Group of the Hawaiian Earring , J

    K. Eda, Free Subgroups of the Fundamental Group of the Hawaiian Earring , J. Algebra. 219 (1999) 598-605

    1999

  4. [12]

    Engelking, General Topology, Heldermann Verlag Berlin, 1989

    R. Engelking, General Topology, Heldermann Verlag Berlin, 1989

    1989

  5. [13]

    Fischer, A

    H. Fischer, A. Zastrow, Generalized universal covering spaces and the shape group, Fund. Math . 197 (2007) 167 – 196

    2007

  6. [14]

    Hurewicz, Homotopie, homologie und lokaler zusammenhang , Fundamenta Mathematicae 25 (1935), 467–485

    W. Hurewicz, Homotopie, homologie und lokaler zusammenhang , Fundamenta Mathematicae 25 (1935), 467–485

    1935

  7. [15]

    Pakdaman, H

    A. Pakdaman, H. Torabi, B. Mashayekhy,On the existence of categorical universal coverings, Italian Journal of Pure and Applied Mathematics, 37 (2017) 289-300

    2017

  8. [16]

    Abdullahi Rashid, S.Z Pashaei, B

    M. Abdullahi Rashid, S.Z Pashaei, B. Mashayekhy, H. Torabi, On the Whisker Topology on Fundamental Group . Confrence Paper from 46th Annual Iranian Mathematics Conference 46 (2015)

    2015

  9. [17]

    Marde ˇsi´c and J

    S. Marde ˇsi´c and J. Segal, Shape theory, North-Holland Publishing Com- pany, 1982

    1982

  10. [18]

    E.H Spanier, Algebraic Topology, McGraw-Hill New York, 1966

    1966

  11. [19]

    Z. Virk, A. Zastrow, The comparison of topologies related to various concepts of generalized covering spaces, Topology Appl. 170 (2014) 52-62. 16

    2014

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.