pith. sign in

arxiv: 1907.02624 · v1 · pith:ZJ63TR3Enew · submitted 2019-07-04 · 🧮 math.AT

Regular coverings and fundamental groupoids of Alexandroff spaces

Nicol\'as Cianci This is my paper

Pith reviewed 2026-05-25 08:19 UTC · model grok-4.3

classification 🧮 math.AT
keywords Alexandroff spacesfundamental groupoidregular coveringsspecialization preordercategory localizationthin categorytopological groupoids
0
0 comments X

The pith

The fundamental groupoid of an Alexandroff space equals the localization of the thin category from its specialization preorder.

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

The paper shows that for any Alexandroff space the fundamental groupoid arises as the localization of a thin category built from the specialization preorder on the underlying set. This description holds without the local finiteness or T0 assumptions required in earlier work. A reader would care because it gives an algebraic-combinatorial model for the homotopy type of these spaces, which appear often in digital topology and combinatorial settings. The result also characterizes regular coverings via morphism-inverting functors from the space itself.

Core claim

The fundamental groupoid of an Alexandroff space X is naturally isomorphic to the localization, at its set of morphisms, of the thin category associated to the set X considered as a preordered set with the specialization preorder. Regular coverings of X are represented by certain morphism-inverting functors with domain X, extending earlier results for locally finite T0 spaces.

What carries the argument

Localization at all morphisms of the thin category coming from the specialization preorder on X.

If this is right

  • The fundamental groupoid computation reduces to a category localization operation on the preorder.
  • Regular coverings correspond to functors that invert all morphisms from the space category.
  • The result applies to all Alexandroff spaces rather than only the locally finite T0 subclass.
  • The homotopy data of the space is determined entirely by its specialization preorder.

Where Pith is reading between the lines

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

  • This description may make it easier to compute fundamental groupoids for infinite or non-T0 Alexandroff spaces.
  • It connects the topology of Alexandroff spaces directly to the theory of categories and their localizations.
  • One could test the isomorphism on concrete examples like infinite chains or non-Hausdorff spaces to verify the extension.

Load-bearing premise

The localization of the thin category from the specialization preorder recovers the fundamental groupoid for every Alexandroff space.

What would settle it

An Alexandroff space whose fundamental groupoid, computed from path homotopy classes, differs from the localization of its preorder thin category.

Figures

Figures reproduced from arXiv: 1907.02624 by Nicol\'as Cianci.

Figure 1
Figure 1. Figure 1: 3.2. Regular coverings of Alexandroff spaces. For every connected small cat￾egory C , every object c0 ∈ Obj(C ) and every maximal tree T of C , we have a functor FT : C → π1(C , c0) induced by T which is the composition C ιC−→ LC qC −−→ LC /LT ∼=−→ π1(C , c0) (although FT depends on c0 as well as on T , we decided to leave the object c0 out of the notation for the sake of simplicity). Given a group homomor… view at source ↗
read the original abstract

We summarize several results about the regular coverings and the fundamental groupoids of Alexandroff spaces. In particular, we show that the fundamental groupoid of an Alexandroff space $X$ is naturally isomorphic to the localization, at its set of morphisms, of the thin category associated to the set $X$ considered as a preordered set with the specialization preorder. We also show that the regular coverings of an Alexandroff space $X$ are represented by certain morphism-inverting functors with domain $X$, extending a result of E. Minian and J. Barmak about the regular coverings of locally finite T$_0$ spaces.

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 paper establishes two main results on Alexandroff spaces: (1) the fundamental groupoid of an arbitrary Alexandroff space X is naturally isomorphic to the localization (at all morphisms) of the thin category induced by the specialization preorder on the underlying set X; (2) the regular coverings of X are represented by certain morphism-inverting functors out of the thin category associated to X. These extend the corresponding statements of Minian-Barmak, which required local finiteness and the T0 separation axiom.

Significance. If the isomorphism holds, the result supplies a purely categorical model for the fundamental groupoid of any Alexandroff space, removing the local-finiteness and T0 hypotheses of prior work. The construction uses only the standard correspondence between Alexandroff topologies and preorders, together with the universal property of localization, and therefore yields a parameter-free, functorial description that applies uniformly. The representation of regular coverings by inverting functors likewise extends without extra restrictions.

minor comments (2)
  1. The abstract states the two theorems but the introduction could usefully include a one-sentence pointer to the precise location (e.g., Theorem 3.4 and Theorem 4.2) where each is proved.
  2. Notation for the thin category associated to the preorder is introduced in §2 but never given an explicit symbol; a short displayed definition would improve readability when the localization functor is later invoked.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our results and for recommending acceptance of the manuscript. The report accurately captures the two main contributions: the natural isomorphism between the fundamental groupoid of an arbitrary Alexandroff space and the localization of its thin specialization-preorder category, and the representation of regular coverings by morphism-inverting functors, both without the local-finiteness or T0 hypotheses required in prior work.

Circularity Check

0 steps flagged

No circularity; direct proof of isomorphism via standard preorder-topology correspondence

full rationale

The paper states and proves that the fundamental groupoid of an arbitrary Alexandroff space X is naturally isomorphic to the localization (at all morphisms) of the thin category induced by the specialization preorder on X. This is presented as an extension of the Minian-Barmak result (different authors) from locally finite T0 spaces to the general case. The construction uses the well-known equivalence between Alexandroff topologies and preorders, with the thin category and localization defined independently of the target isomorphism. No equations reduce the claimed result to a tautology, fitted parameter, or self-citation chain. The central claim has independent mathematical content and is not forced by definition or prior self-referential work.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the central claims rest on standard definitions of Alexandroff spaces, specialization preorder, thin categories, and localization that are presumed known from prior literature.

pith-pipeline@v0.9.0 · 5626 in / 1082 out tokens · 21156 ms · 2026-05-25T08:19:59.609532+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. Homology of posets with functor coefficients and its relation to Khovanov homology of knots

    math.AT 2019-07 unverdicted novelty 4.0

    Homology of posets with functor coefficients supplies a new framework for studying Khovanov homology and related knot invariants.

Reference graph

Works this paper leans on

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

  1. [1]

    Diskrete R¨ aume.Mat

    Alexandroff, P. Diskrete R¨ aume.Mat. Sb. 2 (1937), 501–518

    work page 1937

  2. [2]

    Arenas, F. G. Alexandroff spaces. Acta Math. Univ. Comenian. (N.S.) 68 , 1 (1999), 17–25

    work page 1999

  3. [3]

    $G$-colorings of posets, coverings and presentations of the fundamental group

    Barmak, J. A., and Minian, E. G. G-colorings of posets, coverings and presenta- tions of the fundamental group. arXiv preprint arXiv:1212.6442v2 (2014). Available at https://arxiv.org/pdf/1212.6442.pdf

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  4. [4]

    Cores of alexandroff spaces

    Chen, X. Cores of alexandroff spaces. REU (2015). Available at http://math.uchicago.edu/~may/REUDOCS/Chen,Xi(Cathy).pdf

    work page 2015

  5. [5]

    Smallest homotopically trivial non-contractible spaces

    Cianci, N., and Ottina, M. Smallest homotopically trivial non-contractible spaces. arXiv preprint arXiv:1608.05307 (2016). Available at https://arxiv.org/pdf/1608.05307

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  6. [6]

    A new spectral sequence for homology of posets

    Cianci, N., and Ottina, M. A new spectral sequence for homology of posets. Topology Appl. 217 (2017), 1–19

    work page 2017

  7. [7]

    Poset splitting and minimality of finite models

    Cianci, N., and Ottina, M. Poset splitting and minimality of finite models. J. Combin. Theory Ser. A 157 (2018), 120–161

    work page 2018

  8. [8]

    Calculus of fractions and homotopy theory

    Gabriel, P., and Zisman, M. Calculus of fractions and homotopy theory . Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35. Springer-Verl ag New York, Inc., New York, 1967

    work page 1967

  9. [9]

    G., and Jardine, J

    Goerss, P. G., and Jardine, J. F. Simplicial homotopy theory . Modern Birkh¨ auser Classics. Birkh¨ auser Verlag, Basel, 2009. Reprint of the 1999 editio n [MR1711612]

    work page 2009

  10. [10]

    Algebraic topology

    Hatcher, A. Algebraic topology. Cambridge University Press, Cambridge, 2002

    work page 2002

  11. [11]

    Higgins, P. J. Categories and groupoids. Repr. Theory Appl. Categ. , 7 (2005), 1–178. Reprint of the 1971 original [Notes on categories and groupoids, Van Nostrand Reinhold, London; MR0327946] with a new preface by the author

    work page 2005

  12. [12]

    J.On homotopy types of Alexandroff spaces

    Kukie/suppress la, M. J.On homotopy types of Alexandroff spaces. Order 27 , 1 (2010), 9–21

    work page 2010

  13. [13]

    May, J. P. Finite topological spaces. Notes for REU (2003). Available at http://www.math.uchicago.edu/~ may/MISC/FiniteSpaces.pdf

    work page 2003

  14. [14]

    McCord, M. C. Singular homology groups and homotopy groups of finite topol ogical spaces. Duke Math. J. 33 (1966), 465–474

    work page 1966

  15. [15]

    The geometric realization of a semi-simplicial complex

    Milnor, J. The geometric realization of a semi-simplicial complex. Ann. of Math. (2) 65 (1957), 357–362

    work page 1957

  16. [16]

    Higher algebraic K-theory

    Quillen, D. Higher algebraic K-theory. I. 85–147. Lecture Notes in Math., Vol. 341

    work page

  17. [17]

    Homotopy theory of posets

    Raptis, G. Homotopy theory of posets. Homol. Homotopy Appl. 12 , 2 (2010), 211–230

    work page 2010

  18. [18]

    Classifying spaces and spectral sequences

    Segal, G. Classifying spaces and spectral sequences. Inst. Hautes ´Etudes Sci. Publ. Math. , 34 (1968), 105–112

    work page 1968

  19. [19]

    Spanier, E. H. Algebraic topology . Springer-Verlag, New York-Berlin, 1981. Reimpresi´ on corregida

    work page 1981

  20. [20]

    Stong, R. E. Finite topological spaces. Trans. Amer. Math. Soc. 123 (1966), 325–340. F acultad de Ciencias Exactas y Naturales, Universidad Naciona l de Cuyo, Mendoza, Argentina. E-mail address : nicocian@gmail.com

    work page 1966