pith. sign in

arxiv: 2504.07267 · v3 · submitted 2025-04-09 · 🧮 math.DS

Towards the complete classification of fans

Iztok Bani\v{c} , Goran Erceg , Alejandro Illanes , Ivan Jeli\'c , Judy Kennedy , Van Nall This is my paper

Pith reviewed 2026-05-22 19:44 UTC · model grok-4.3

classification 🧮 math.DS
keywords fanscontinuahereditarily unicoherentramification pointunion of arcsarcwise-connectedclassification
0
0 comments X

The pith

Under two additional assumptions, every union of arcs intersecting at one point is a fan.

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

The paper seeks to close the gap between two descriptions of fans in continuum theory. Borsuk showed long ago that every fan can be built as a one-dimensional continuum that is a union of arcs all meeting at a single point. The converse direction is still open in full generality. This work establishes that the converse holds once two extra assumptions are added to the union-of-arcs property. A sympathetic reader would see this as concrete progress toward deciding whether the simple geometric construction fully captures the fan class.

Core claim

If a one-dimensional continuum is the union of arcs that intersect in exactly one point and satisfies two additional assumptions, then the continuum is arcwise-connected, hereditarily unicoherent, and possesses exactly one ramification point, which is the definition of a fan.

What carries the argument

The union of arcs intersecting at exactly one point, together with the two unspecified additional assumptions that force hereditarily unicoherence and uniqueness of the ramification point.

If this is right

  • Such unions become arcwise-connected continua.
  • They become hereditarily unicoherent.
  • They possess exactly one ramification point.
  • The classification of fans reduces to checking the union-of-arcs property plus the two assumptions.

Where Pith is reading between the lines

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

  • If the two assumptions can eventually be dropped, the union-of-arcs construction would give a complete and simple classification of all fans.
  • The result narrows the search for counterexamples to cases where at least one of the two assumptions fails.
  • The same technique might apply to related classes of continua that are defined by unicoherence or ramification conditions.

Load-bearing premise

The two additional assumptions are satisfied by the continua under consideration.

What would settle it

A counterexample would be a one-dimensional continuum that is a union of arcs intersecting at exactly one point, satisfies the two assumptions, yet either fails to be hereditarily unicoherent or has more than one ramification point.

Figures

Figures reproduced from arXiv: 2504.07267 by Alejandro Illanes, Goran Erceg, Ivan Jeli\'c, Iztok Bani\v{c}, Judy Kennedy, Van Nall.

Figure 1
Figure 1. Figure 1: X = S x∈A Lx All fans are dendroids and all dendroids are 1-dimensional continua ([4, (48), p. 239]). Therefore, to prove the converse of Theorem 1.1 it suffices to consider only 1-dimensional continua. Next, we prove Lemma 3.2. Lemma 3.2. Let X be a hereditarily unicoherent continuum and v ∈ X. Suppose there is a family of arcs L in X such that |L| ≥ 3 and 1. X = [ L∈L L; 2. for all L1,L2 ∈ L, L1 , L2 =⇒ … view at source ↗
read the original abstract

A fan is an arcwise-connected continuum, which is hereditarily unicoherent and has exactly one ramification point. Many of the known examples of fans were constructed as 1-dimensional continua that are unions of arcs which intersect in exactly one point. Borsuk proved in 1954 that each fan is a 1-dimensional continuum which is the union of arcs intersecting in exactly one point. But it is not yet known if this property is equivalent to being a fan. In this paper, we show that under two additional assumptions, every such union of arcs is a fan.

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.

Referee Report

0 major / 2 minor

Summary. The manuscript claims that under two additional assumptions, every 1-dimensional continuum that is the union of arcs intersecting in exactly one point is a fan (arcwise-connected, hereditarily unicoherent, and with exactly one ramification point). This is presented as a partial converse to Borsuk's 1954 theorem.

Significance. If the conditional result holds under reasonable assumptions, it contributes to the classification of fans by providing conditions under which the union-of-arcs property implies the three defining fan properties. The approach builds on established continuum theory without evident circularity or invented entities.

minor comments (2)
  1. [Abstract] The abstract invokes two additional assumptions without naming them; state them explicitly (e.g., in the abstract or §1) so readers can immediately assess the scope of the claimed equivalence.
  2. [§3] Add a brief discussion or example in §3 or §4 showing that the two assumptions hold for at least one known family of fans constructed as unions of arcs; this would strengthen the result's applicability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The summary accurately captures our main result as a conditional partial converse to Borsuk's theorem under two additional assumptions. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes a conditional converse to Borsuk's 1954 theorem: under two additional (unspecified in the abstract) assumptions, a 1-dimensional continuum that is a union of arcs intersecting at exactly one point is a fan. Borsuk's result is cited as prior external work by a different author, providing the forward implication without self-citation. The central claim is an implication derived from the given hypotheses to arcwise connectedness, hereditary unicoherence, and a single ramification point; no step reduces by definition, fitted parameter, or self-citation chain to the inputs. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the standard axioms and definitions of continuum theory, including arcwise connectedness, hereditary unicoherence, and ramification points, plus Borsuk's 1954 theorem.

axioms (1)
  • standard math Standard axioms of continuum theory: arcwise-connected continua that are hereditarily unicoherent with exactly one ramification point are fans.
    Invoked in the abstract to define the target class and to reference Borsuk's theorem.

pith-pipeline@v0.9.0 · 5630 in / 1131 out tokens · 118863 ms · 2026-05-22T19:44:50.406937+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The converse to Borsuk's result on fans fails

    math.GN 2026-04 unverdicted novelty 6.0

    The converse to Borsuk's result on fans fails in continuum theory.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages · cited by 1 Pith paper

  1. [1]

    Borsuk,A countable broom which cannot be embedded in the plane, Col- loq

    K. Borsuk,A countable broom which cannot be embedded in the plane, Col- loq. Math. 10 (1963) 233–236

    work page 1963

  2. [2]

    Borsuk,A theorem on fixed points, Bul

    K. Borsuk,A theorem on fixed points, Bul. Acad. Bolon. Sci. Cl. 2 (1954) 17–20

    work page 1954

  3. [3]

    J. J. Charatonik,On fans, Dissertationes Math. Rozprawy Mat. 54 (1967) 39pp. 10

    work page 1967

  4. [4]

    J. J. Charatonik,On ramification points on the classical sense, Fund. Math. 51 (1962/1963) 229–252

    work page 1962

  5. [5]

    J. J. Charatonik,Two invariants under continuity and the incomparability of fans, Fund. Math. 53 (1963/1964) 187–204

    work page 1963

  6. [6]

    J. J. Charatonik,Confluent mappings and unicoherence of continua, Fund. Math. 56 (1964) 213–220

    work page 1964

  7. [7]

    J. J. Charatonik, W. J. Charatonik,Fans with the property of Kelley, Topology Appl. 29 (1988) 73–78

    work page 1988

  8. [8]

    J. J. Charatonik, W. J. Charatonik,The property of Kelley for fans, Bull. Polish Acad. Sci. Math. 36 (1988) 169–173

    work page 1988

  9. [9]

    J. J. Charatonik and W. J. Charatonik,Images of the Cantor fan, Topology Appl. 33 (1989) 163–172

    work page 1989

  10. [10]

    W. J. Charatonik,The Lelek fan is unique, Houston J. Math. 15 (1989) 27– 34

    work page 1989

  11. [11]

    Eberhart, A note on smooth fans, Colloq

    C. Eberhart, A note on smooth fans, Colloq. Math. 20 (1969) 89–90

    work page 1969

  12. [12]

    Engelking,Dimension theory, North-Holland, Amsterdam, 1978

    R. Engelking,Dimension theory, North-Holland, Amsterdam, 1978

    work page 1978

  13. [13]

    Eberhart, S

    C. Eberhart, S. B. Nadler,Hyperspaces of Cones and Fans, Proc. Amer. Math. Soc. 77 (1979) 279–288

    work page 1979

  14. [14]

    Hurewicz and H

    W. Hurewicz and H. Wallman,Dimension Theory, Princeton University Press, Princeton, NJ, 1948

    work page 1948

  15. [15]

    Illanes,Continuum Theory,Universitext, Springer, Cham, 2025

    A. Illanes,Continuum Theory,Universitext, Springer, Cham, 2025

    work page 2025

  16. [16]

    Illanes, S

    A. Illanes, S. B. Nadler,Hyperspaces. Fundamentals and recent advances, Marcel Dekker, New York (1999)

    work page 1999

  17. [17]

    R. J. Koch, Arcs in partially ordered spaces, Pacific J. Math. 20 (1959) 723– 728

    work page 1959

  18. [18]

    Lelek,On plane dendroids and their end-points in the classical sense, Fund

    A. Lelek,On plane dendroids and their end-points in the classical sense, Fund. Math. 49 (1960/1961) 301–319

    work page 1960

  19. [19]

    Macias,Fans Whose hyperspaces are cones, Topology Proc

    S. Macias,Fans Whose hyperspaces are cones, Topology Proc. 27 (2003) 217–222. 11

    work page 2003

  20. [20]

    S. B. Nadler,Continuum theory. An introduction, Marcel Dekker, New York, 1992. I. Baniˇc (1) Faculty of Natural Sciences and Mathematics, University of Maribor, Koroška 160, SI-2000 Maribor, Slovenia; (2) Institute of Mathematics, Physics and Mechanics, Jadranska 19, SI-1000 Ljubl- jana, Slovenia; (3) Andrej Maruši ˇc Institute, University of Primorska, M...

    work page 1992