pith. sign in

arxiv: 2603.27054 · v2 · submitted 2026-03-28 · 🧮 math.GN

Atoms of Compacta on Closed Surfaces

Jun Luo , Joerg Thuswaldner , Xiao-Ting Yao , Shuqin Zhang This is my paper

Pith reviewed 2026-05-14 22:34 UTC · model grok-4.3

classification 🧮 math.GN
keywords compactaSchönflies equivalencePeano compactumcore decompositionatomscontinuabranched coveringsclosed surfaces
0
0 comments X

The pith

Compact sets on closed surfaces admit a canonical decomposition into atoms that form the core Peano quotient.

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

The paper defines a closed equivalence relation called the Schönflies equivalence on any compact set K lying on a closed surface S. Every equivalence class is a continuum, and the quotient space is a Peano compactum whose components are locally connected with only finitely many exceeding any given diameter. The induced decomposition D_K refines every other upper semicontinuous decomposition of K into subcontinua whose quotient is also a Peano compactum, so D_K is the core decomposition. The classes are termed atoms of K. The construction is compatible with branched coverings and coverings in the sense that atoms map to atoms, but a counterexample shows it fails for manifolds of dimension three or higher.

Core claim

For any compact set K lying on a closed surface S we introduce a closed equivalence relation ~, called the Schönflies equivalence on K. We show that every class [x]_~ of ~ is a continuum and that the resulting quotient space K/~ is a Peano compactum. The decomposition D_K = {[x]_~ : x in K} refines every other upper semicontinuous decomposition of K into subcontinua that has a Peano compactum as its quotient space. In other words, D_K is the core decomposition of K with Peano quotient. The elements of D_K are called atoms of K. We also show that for any branched covering f: S* → S from a closed surface S* to S, every atom of f^{-1}(K) is sent into an atom of K. If f is even a covering, it s

What carries the argument

The Schönflies equivalence relation ~ on K, whose classes define the atoms and yield the core decomposition D_K with Peano quotient.

If this is right

  • D_K is the finest upper semicontinuous decomposition of K into subcontinua with Peano quotient.
  • Branched coverings from another closed surface send atoms of the preimage into atoms of K.
  • Coverings send atoms of the preimage onto atoms of K.
  • The construction cannot be generalized to n-manifolds for n greater than or equal to 3, as shown by a counterexample in R^3.

Where Pith is reading between the lines

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

  • The atoms may provide a canonical way to reduce questions about compact invariant sets in surface dynamics to questions about their Peano quotients.
  • One could investigate whether the Schönflies equivalence interacts with other standard decompositions in continuum theory, such as those into indecomposable continua.
  • The mapping behavior under coverings suggests the atoms are stable under finite-to-one maps, which might allow lifting dynamical properties from the quotient back to the original set.

Load-bearing premise

The Schönflies equivalence is well-defined and closed for every compact K on a closed surface S, and the resulting quotient satisfies the Peano properties without additional restrictions on K beyond compactness.

What would settle it

A compact set K on a closed surface together with an explicit upper semicontinuous decomposition into subcontinua that is strictly finer than D_K yet still produces a Peano quotient.

Figures

Figures reproduced from arXiv: 2603.27054 by Joerg Thuswaldner, Jun Luo, Shuqin Zhang, Xiao-Ting Yao.

Figure 1
Figure 1. Figure 1: A Quadrialteral with marked edges I1 and I2. that Q is a marked quadrilateral with respect to the pair (x1, x2). Using quadrilaterals we define the following variant of the Sch¨onflies relation from [11, Definition 4]. This relation will be used to characterize Peano compacta on closed surfaces and to identify the core decomposition DP C K of any compactum K on a closed surface. Definition 2.1 (The Sch¨onf… view at source ↗
Figure 2
Figure 2. Figure 2: A patch of the brick-wall tiling Tε. Lemma 3.4. Let Q = (Q, I0, I1) be a quadrilateral and let K ⊂ Q be a compactum. If K has n ≥ 2 components, say P1, . . . , Pn, each of which intersects both I0 and I1, then there exist disjoint arcs α1, . . . , αn−1 : [0, 1] → Q\K with αi(k) ∈ Ik (k = 0, 1) and αi((0, 1)) ∈ int(Q), such that Pi and Pj with i ̸= jare contained in different components of Q \ (α1 ∪ · · · ∪… view at source ↗
Figure 3
Figure 3. Figure 3: Relative locations of x0, x1 and P0, P1, P2. Lemma 3.7. Let K be a compactum on a closed surface S and RK the Sch¨onflies relation. Then two distinct elements x, y ∈ K are related under RK if and only if one can find a closed annulus A ⊂ S bounded by two closed arcs J1 and J2 satisfying the following three conditions. (a) x ∈ J1 and y ∈ J2. (b) K ∩ A has infinitely many components Pn intersecting J1 and J2… view at source ↗
Figure 4
Figure 4. Figure 4: An image of Q and B, the latter of which is shaded. Before going on to deal with the “only if” part, let us recall that there is a topological covering map φ from C or Cb onto S. Fix (x, y) ∈ RK and a marked quadrilateral (Q, I1, I2) with respect to the pair (x, y) that satisfies all the condi￾tions (a), (b), and (c) in Definition 2.1. Using the covering map φ we can find a [PITH_FULL_IMAGE:figures/full_f… view at source ↗
Figure 5
Figure 5. Figure 5: Relative locations of α0, β0 and z1 ∈ γ1 in Q. has a component Qn intersecting each of the sets ∂Dr(z) and ηr. Let A ⊂ Q be the compact subset with ∂A = Γ ∪ ∂Dr(z). Then A is an annulus satisfying Pn \ (Dr(z) ∪ Dr(z1)) = Pn ∩ A, which implies that Qn is also a component of A ∩ K. By going to an appropriate subsequence, if necessary, we may assume that Qn (n ≥ 1) converges to a continuum Q∞ with Q∞ ∩∂Dr(z) … view at source ↗
Figure 6
Figure 6. Figure 6: Set L = π −1 (Y0) and L0 = L \ [PITH_FULL_IMAGE:figures/full_fig_p014_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The identification rule for τ . (1) The boundary of a Jordan domain which is a component of T 2 \ K. (2) A line segment of the form {τ (t+si) : s ∈ [aj , bj ]} or {τ (s+ti) : s ∈ [aj , bj ]} with (aj , bj ) a component of [0, 1] \ K and t ∈ K0. (3) A singleton {τ (t + si)} with t, s ∈ K0. For an illustration, see [PITH_FULL_IMAGE:figures/full_fig_p020_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: A simple illustration of τ −1 (δ) for some atoms δ ∈ DP C K . As an illustration of Theorem 2.5, Example 6.4 concerns a covering map f : T 2 → T 2 and shows how the atoms of f −1 (K) are connected to those of K. Example 6.4. Let K and L be defined as in Example 6.3. Given m, n ∈ Z \ {0}, let f  e 2πit , e2πis   = [PITH_FULL_IMAGE:figures/full_fig_p020_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: The translates L1+u+vi (0 ≤ u ≤ m−1, 0 ≤ v ≤ n−1). Notice that the two compacta K, K1 ⊂ T 2 share a fundamental property: every component U of the complement is a Jordan domain whose boundary is an atom of K. Therefore, we may extend DP C K (respectively, DP C K1 ) to an usc decomposition of T 2 into subcontinua, each of which has a connected complement in T 2 . Each element of the extension is either an a… view at source ↗
Figure 10
Figure 10. Figure 10: The identification rule of τ and τ −1 (K) ⊂ P, K ⊂ S. on closed surfaces of higher genus may be constructed in a similar way. The same construction still works, if we turn to closed surfaces that are nonorientable. 7. Atomic decompositions of compacta in R 3 In this section we show that our theory cannot be extended to higher dimen￾sional Euclidean space. In particular, we analyze a continuum K (and a var… view at source ↗
Figure 11
Figure 11. Figure 11: An illustration of p2(K0) ⊂ R 2 . Let MK0 consist of the Peano decompositions of K0. We address three issues. The first concerns how to construct an atomic decomposition D1 ∈ MK0 and a family of homeomorphisms hλ : K0 → K0 depending on a parameter λ ∈ (0, 1) such that by applying hλ to D1 we can obtain uncountably many atomic decompositions hλ(D1) := {hλ(δ) : δ ∈ D1}. Example 7.2. Let D1 consist of all th… view at source ↗
Figure 13
Figure 13. Figure 13: An illustration of Q0(left) and some elements of D3 (right). with 0 ≤ x2 ≤ 1 2 . See [PITH_FULL_IMAGE:figures/full_fig_p024_13.png] view at source ↗
read the original abstract

For any compact set $K$ lying on a closed surface $\mathcal{S}$ we introduce a closed equivalence relation $\sim$, called the {\em Sch\"onflies equivalence} on $K$. We show that every class $[x]_\sim$ of $\sim$ is a continuum and that the resulting quotient space $K\!/\!\sim$ is a {\em Peano compactum}. By definition, all components of a Peano compactum are locally connected and for any $\varepsilon>0$ only finitely many of them have diameter greater than $\varepsilon$. The decomposition $\mathcal{D}_K=\{[x]_\sim: x\in K\}$ refines every other upper semicontinuous decomposition of $K$ into subcontinua that has a Peano compactum as its quotient space. In other words, $\mathcal{D}_K$ is the {\em core decomposition of $K$} with Peano quotient. The elements of $\mathcal{D}_K$ are called {\em atoms} of $K$. We also show that for any branched covering $f: \mathcal{S}^*\rightarrow \mathcal{S}$ from a closed surface $\mathcal{S}^*$ to $\mathcal{S}$, every atom of $f^{-1}(K)$ is sent into an atom of $K$. If $f$ is even a covering, it sends every atom of $f^{-1}(K)$ onto an atom of $K$. We illustrate our theory with examples and show that it cannot be generalized to $n$-manifolds with $n\ge 3$ by providing a detailed counterexample in~$\mathbb{R}^3$.

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

3 major / 2 minor

Summary. The paper introduces the Schönflies equivalence relation ~ on any compact set K on a closed surface S. It shows that each equivalence class is a continuum, the quotient K/~ is a Peano compactum (with locally connected components and only finitely many of diameter >ε), and that the decomposition D_K refines every other upper semicontinuous decomposition into subcontinua with Peano quotient, making it the core decomposition. It also proves that for branched coverings f from S* to S, atoms of f^{-1}(K) are mapped into atoms of K (onto if f is a covering), and provides a counterexample in R^3 showing the result does not generalize to higher dimensions.

Significance. If the central claims hold, this provides a canonical core decomposition for compacta on closed surfaces into atoms whose quotient is a Peano compactum. This advances the theory of decompositions of continua by offering a maximal refinement with desirable local connectedness properties. The results on preservation under branched coverings add value for mapping theory on surfaces. The explicit counterexample in R^3 is a strength, demonstrating awareness of dimensional limitations. Overall, the work could be significant for researchers in continuum theory and geometric topology on surfaces.

major comments (3)
  1. [Definition of Schönflies equivalence] The proof that the Schönflies equivalence ~ is a closed equivalence relation (in particular, transitive and closed in K×K) for arbitrary compact K, including those with non-locally connected or fractal structure, is load-bearing. The abstract states it is introduced as closed, but the skeptic correctly identifies transitivity and closedness as the least secure step; without a uniform proof, the claims that classes are continua and the quotient is Peano collapse.
  2. [Core decomposition theorem] The refinement property that D_K refines every other usc decomposition with Peano quotient relies on the maximality of the ~ classes. This needs explicit verification that no larger classes are possible while maintaining the Peano property of the quotient.
  3. [Branched covering result] The statement that every atom of f^{-1}(K) is sent into an atom of K for branched covering f, and onto for coverings, should clarify the image of the atom under f and ensure it preserves the continuum property without additional assumptions on the branching.
minor comments (2)
  1. [Examples section] The illustration with examples would benefit from more detail on how the atoms are computed for a specific K, perhaps with a figure showing the decomposition.
  2. [Notation] The notation D_K = {[x]_~ : x in K} is standard but ensure consistency with the definition of Peano compactum components.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We are grateful to the referee for their thorough review and insightful comments on our paper. We address each of the major comments point by point below, providing clarifications and indicating where revisions will be made to improve the manuscript.

read point-by-point responses

  1. Referee: The proof that the Schönflies equivalence ~ is a closed equivalence relation (in particular, transitive and closed in K×K) for arbitrary compact K, including those with non-locally connected or fractal structure, is load-bearing. The abstract states it is introduced as closed, but the skeptic correctly identifies transitivity and closedness as the least secure step; without a uniform proof, the claims that classes are continua and the quotient is Peano collapse.

    Authors: In the manuscript, the Schönflies equivalence is defined in Definition 2.1 and its properties are established in Theorem 2.3. The proof of transitivity relies on the Schönflies theorem, which guarantees that simple closed curves on surfaces bound disks, allowing us to chain the relations uniformly regardless of the local connectedness of K. Closedness follows from the compactness of the surface and K, by considering convergent sequences and their limits. This holds for fractal structures as well, as no local connectedness is assumed in the proof. We will add a clarifying remark after the theorem to explicitly state that the proof is uniform and applies to all compact sets. revision: partial

  2. Referee: The refinement property that D_K refines every other usc decomposition with Peano quotient relies on the maximality of the ~ classes. This needs explicit verification that no larger classes are possible while maintaining the Peano property of the quotient.

    Authors: We prove the core decomposition property in Theorem 3.5 by showing that D_K is the finest such decomposition. To address the maximality, suppose there is a larger class; then the quotient would identify points from different atoms, which by construction would either create a non-locally connected component (violating the Peano property) or result in infinitely many components of large diameter. This is verified explicitly in the proof using the definition of Peano compactum. We will expand the proof with an additional paragraph detailing this contradiction argument to make the verification more explicit. revision: yes

  3. Referee: The statement that every atom of f^{-1}(K) is sent into an atom of K for branched covering f, and onto for coverings, should clarify the image of the atom under f and ensure it preserves the continuum property without additional assumptions on the branching.

    Authors: Thank you for this suggestion. In Theorem 5.3, we prove that f maps each atom of f^{-1}(K) into an atom of K, with the image being a continuum since f is continuous and the atom is connected. For the case when f is a covering (unbranched), the map is onto the atom. The proof uses the local homeomorphism properties away from branch points and handles branching by showing the image remains within one atom. No additional assumptions on branching are required beyond f being a branched covering between closed surfaces. We will revise the theorem statement to read: 'f sends every atom of f^{-1}(K) into an atom of K (and onto if f is a covering)', and add a sentence clarifying the image is a subcontinuum. revision: yes

Circularity Check

0 steps flagged

No circularity: new equivalence relation defined and properties independently established

full rationale

The paper defines the Schönflies equivalence ~ on any compact K ⊂ S as a closed equivalence relation, then proves (rather than assumes) that its classes are continua, that K/~ is a Peano compactum, and that the induced decomposition D_K is maximal among usc decompositions with Peano quotient. No equation or claim reduces to its own input by construction, no parameters are fitted and relabeled as predictions, and no load-bearing step rests on a self-citation chain or imported uniqueness theorem. The central claims rest on direct verification of transitivity, closedness, and the refinement property for the newly introduced relation, which is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The work rests on standard facts from continuum theory and surface topology plus the newly defined Schönflies equivalence; no free parameters or invented physical entities.

axioms (2)
  • domain assumption Closed surfaces are compact connected 2-manifolds without boundary.
    Setting for the compact set K and the equivalence relation.
  • standard math Compact metric spaces have connected components that are continua.
    Used implicitly to ensure atoms are continua.
invented entities (1)
  • Schönflies equivalence relation ~ on K no independent evidence
    purpose: Partitions K into atoms whose quotient is Peano
    Newly introduced closed equivalence relation whose classes are the atoms.

pith-pipeline@v0.9.0 · 5596 in / 1265 out tokens · 39561 ms · 2026-05-14T22:34:58.710462+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [1]

    M. A. Armstrong.Basic topology. Undergraduate Texts in Mathematics. Springer-Verlag, New York-Berlin, 1983. Corrected reprint of the 1979 original

    work page 1983

  2. [2]

    growing trees

    A. Blokh and G. Levin. An inequality for laminations, Julia sets and “growing trees”.Ergodic Theory Dynam. Systems, 22(1):63–97, 2002

    work page 2002

  3. [3]

    A. M. Blokh, C. P. Curry, and L. G. Oversteegen. Locally connected models for Julia sets. Adv. Math., 226(2):1621–1661, 2011

    work page 2011

  4. [4]

    A. M. Blokh, C. P. Curry, and L. G. Oversteegen. Finitely Suslinian models for planar compacta with applications to Julia sets.Proc. Amer. Math. Soc., 141(4):1437–1449, 2013

    work page 2013

  5. [5]

    P. Boyland. Topological methods in surface dynamics.Topology Appl., 58(3):223–298, 1994

    work page 1994

  6. [6]

    R. J. Daverman.Decompositions of manifolds, volume 124 ofPure and Applied Mathematics. Academic Press, Inc., Orlando, FL, 1986

    work page 1986

  7. [7]

    R. W. FitzGerald and P. M. Swingle. Core decomposition of continua.Fund. Math., 61:33–50, 1967

    work page 1967

  8. [8]

    J. L. Kelley.General topology. Springer-Verlag, New York-Berlin, 1975. Reprint of the 1955 edition [Van Nostrand, Toronto, Ont.], Graduate Texts in Mathematics, No. 27

    work page 1975

  9. [9]

    Kiwi.Real laminations and the topological dynamics of complex polynomials.Adv

    J. Kiwi.Real laminations and the topological dynamics of complex polynomials.Adv. Math., 184(2):207–267, 2004

    work page 2004

  10. [10]

    Kuratowski.Topology

    K. Kuratowski.Topology. Vol. II. New edition, revised and augmented. Translated from the French by A. Kirkor. Academic Press, New York, 1968

    work page 1968

  11. [11]

    Loridant, J

    B. Loridant, J. Luo, and Y. Yang. A core decomposition of compact sets in the plane.Adv. Math., 343:219–244, 2019

    work page 2019

  12. [12]

    J. Luo, B. Tan, Y. Yang, and X. Yao. To define the core entropy for all polynomials having a connected Julia set.Preprint, arxiv:2301.12610, 2023

    work page arXiv 2023

  13. [13]

    J. Luo, Y. Yang, and X. Yao. A model for planar compacta and rational Julia sets.Adv. Math., 480:Paper No. 110531, 2025

    work page 2025

  14. [14]

    Milnor.Dynamics in one complex variable, volume 160 ofAnnals of Mathematics Studies

    J. Milnor.Dynamics in one complex variable, volume 160 ofAnnals of Mathematics Studies. Princeton University Press, Princeton, NJ, third edition, 2006

    work page 2006

  15. [15]

    R. L. Moore. Concerning upper semi-continuous collections of continua.Trans. Amer. Math. Soc., 27(4):416–428, 1925

    work page 1925

  16. [16]

    S. B. Nadler, Jr.Continuum Theory, volume 158 ofMonographs and Textbooks in Pure and Applied Mathematics. Marcel Dekker, Inc., New York, 1992. An Introduction

    work page 1992

  17. [17]

    W. P. Thurston. On the geometry and dynamics of iterated rational maps. InComplex dy- namics, pages 3–137. A K Peters, Wellesley, MA, 2009. Edited by Dierk Schleicher and Nikita Selinger and with an appendix by Schleicher

    work page 2009

  18. [18]

    G. T. Whyburn.Analytic Topology. American Mathematical Society Colloquium Publica- tions, v. 28. American Mathematical Society, New York, 1942. 26 J. LUO, J. THUSW ALDNER, X.T. YAO, AND S.Q. ZHANG School of Mathematics, Sun Yat-Sen University, Guangzhou 512075, China Email address:luojun3@mail.sysu.edu.cn Chair of Mathematics and Statistics, University of...

    work page 1942