pith. sign in

arxiv: 2606.29730 · v1 · pith:QBAZGM6Ynew · submitted 2026-06-29 · 🧮 math.GT · math.DG

Topological Complexity and Finite Domination

Lizhi Chen This is my paper

Pith reviewed 2026-06-30 04:19 UTC · model grok-4.3

classification 🧮 math.GT math.DG
keywords finite dominationn-skeletonsimplicial complexembolic volumeclosed manifoldtopological complexityRiemannian manifoldgeometric topology
0
0 comments X

The pith

Any closed connected smooth n-manifold is dominated by the n-skeleton of a finite simplicial complex whose simplex count is bounded by a constant depending only on n and the manifold's embolic volume.

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

The paper proves that every closed connected smooth n-dimensional manifold M admits a finite simplicial complex whose n-skeleton dominates M. It further shows that the total number of simplices in this n-skeleton can be bounded above by a number that depends solely on the dimension n and the embolic volume of M. This establishes a direct quantitative control on the topological complexity of M by a geometric invariant. A sympathetic reader would care because the bound is independent of arbitrary choices of Riemannian metric or triangulation, giving a uniform way to limit how complicated the manifold can be when its embolic volume is fixed.

Core claim

Let M be a closed, connected, smooth n-dimensional manifold. We prove that M is dominated by the underlying space of the n-skeleton of a finite simplicial complex. Furthermore, the total number of simplices in the n-skeleton is bounded above by a constant depending only on n and the embolic volume of M.

What carries the argument

The embolic volume of M, a geometric invariant arising from a Riemannian metric, which alone controls the upper bound on the number of simplices needed in the dominating n-skeleton.

If this is right

  • The domination complexity of any such manifold is finite.
  • Topological features of M are controlled quantitatively by its embolic volume.
  • The bound holds uniformly across all choices of metric once the embolic volume is fixed.
  • Finite domination applies to the entire class of manifolds with a given upper bound on embolic volume.

Where Pith is reading between the lines

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

  • The result supplies a geometric criterion that forces the existence of low-complexity finite dominators.
  • It may allow comparison of manifolds across different dimensions when their embolic volumes are scaled appropriately.
  • Similar domination bounds could be sought for other geometric invariants that behave like embolic volume under rescaling.

Load-bearing premise

The embolic volume is a well-defined finite geometric invariant of M that can serve as the sole parameter bounding the simplex count, independent of other metric or triangulation choices.

What would settle it

A closed n-manifold with finite embolic volume whose minimal dominating n-skeleton requires more simplices than any function of n and that volume would allow.

read the original abstract

Let $M$ be a closed, connected, smooth $n$-dimensional manifold. We prove that $M$ is dominated by the underlying space of the $n$-skeleton of a finite simplicial complex. Furthermore, the total number of simplices in the $n$-skeleton is bounded above by a constant depending only on $n$ and the embolic volume of $M$.

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

1 major / 0 minor

Summary. The manuscript claims to prove that any closed, connected, smooth n-dimensional manifold M is dominated by the underlying space of the n-skeleton of a finite simplicial complex, with the total number of simplices in that skeleton bounded above by a constant depending only on n and the embolic volume of M.

Significance. If established, the result would supply a uniform bound on the simplicial complexity of a dominating n-skeleton controlled solely by dimension and embolic volume, offering a geometric constraint on topological domination for closed manifolds.

major comments (1)
  1. The manuscript as presented consists solely of the abstract statement of the theorem; no definitions of 'dominated,' 'embolic volume,' or 'n-skeleton,' no proof steps, and no supporting lemmas or constructions are supplied, preventing verification of the central existence claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We address the single major comment below.

read point-by-point responses

  1. Referee: The manuscript as presented consists solely of the abstract statement of the theorem; no definitions of 'dominated,' 'embolic volume,' or 'n-skeleton,' no proof steps, and no supporting lemmas or constructions are supplied, preventing verification of the central existence claim.

    Authors: We agree with this observation. The version under review contains only the theorem statement and lacks the required definitions, proof, lemmas, and constructions. We will prepare a revised manuscript that supplies all of these elements so the central claim can be verified in full. revision: yes

Circularity Check

0 steps flagged

No circularity: direct existence theorem with explicit parameter dependence

full rationale

The paper states a theorem that any closed connected smooth n-manifold M is dominated by the underlying space of the n-skeleton of a finite simplicial complex whose total simplex count is bounded by a constant depending only on n and the embolic volume of M. This is presented as a proved existence result rather than a fitted quantity, self-referential definition, or quantity derived from its own inputs by construction. No equations, ansatzes, or self-citations are quoted that reduce the central claim to a renaming, a fitted input, or a load-bearing prior result by the same authors. The embolic volume is treated as an independent geometric invariant controlling the bound, with no indication that the bound is forced by the statement itself. The derivation chain is therefore self-contained against external benchmarks and receives the default non-finding.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The abstract invokes standard definitions from geometric topology and Riemannian geometry but introduces no explicit free parameters, new axioms, or invented entities.

axioms (2)
  • domain assumption Closed connected smooth n-manifolds admit Riemannian metrics for which embolic volume is defined and finite.
    The bound is stated in terms of the embolic volume of M, which presupposes the existence of such a metric.
  • standard math The notion of domination by the underlying space of an n-skeleton is well-defined in the category of topological spaces or CW-complexes.
    The central statement uses this notion without redefining it.

pith-pipeline@v0.9.1-grok · 5570 in / 1327 out tokens · 47691 ms · 2026-06-30T04:19:33.310333+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

25 extracted references · 9 canonical work pages · 1 internal anchor

  1. [1]

    2003 , PAGES =

    Berger, Marcel , TITLE =. 2003 , PAGES =. doi:10.1007/978-3-642-18245-7 , URL =

    work page doi:10.1007/978-3-642-18245-7 2003

  2. [2]

    2019 , note =

    Covering trick and embolic volume , author=. 2019 , note =. , archivePrefix=

    2019

  3. [3]

    , TITLE =

    Croke, Christopher B. , TITLE =. Ann. Sci. \'. 1980 , NUMBER =

    1980

  4. [4]

    and Katz, Mikhail , TITLE =

    Croke, Christopher B. and Katz, Mikhail , TITLE =. Surveys in differential geometry,. 2003 , ISBN =. doi:10.4310/SDG.2003.v8.n1.a4 , URL =

    work page doi:10.4310/sdg.2003.v8.n1.a4 2003

  5. [5]

    1966 , PAGES =

    Dugundji, James , TITLE =. 1966 , PAGES =

    1966

  6. [6]

    2004 , PAGES =

    Gallot, Sylvestre and Hulin, Dominique and Lafontaine, Jacques , TITLE =. 2004 , PAGES =. doi:10.1007/978-3-642-18855-8 , URL =

    work page doi:10.1007/978-3-642-18855-8 2004

  7. [7]

    Gromov, Michael , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1981 , NUMBER =. doi:10.1007/BF02566208 , URL =

    work page doi:10.1007/bf02566208 1981

  8. [8]

    Publications Math

    Volume and bounded cohomology , author=. Publications Math

  9. [9]

    Gromov, Michael , TITLE =. J. Differential Geom. , FJOURNAL =. 1983 , NUMBER =

    1983

  10. [10]

    Guth, Larry , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2011 , NUMBER =. doi:10.4007/annals.2011.173.1.2 , URL =

    work page doi:10.4007/annals.2011.173.1.2 2011

  11. [11]

    Brouwer degree, domination of manifolds, and groups presentable by products

    Pierre de la Harpe , title =. 2016 , howpublished =. 1609.06637 , archivePrefix =

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  12. [12]

    2002 , PAGES =

    Hatcher, Allen , TITLE =. 2002 , PAGES =

    2002

  13. [13]

    Weiss, Michael , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1996 , NUMBER =. doi:10.1090/S0002-9939-96-03056-0 , URL =

    work page doi:10.1090/s0002-9939-96-03056-0 1996

  14. [14]

    Whitehead, J. H. C. , TITLE =. Bull. Amer. Math. Soc. , FJOURNAL =. 1948 , PAGES =. doi:10.1090/S0002-9904-1948-09140-6 , URL =

    work page doi:10.1090/s0002-9904-1948-09140-6 1948

  15. [15]

    Chen, Covering trick and embolic volume, arXiv:1911.00691 (2019)

    L. Chen, Covering trick and embolic volume, arXiv:1911.00691 (2019)

    work page arXiv 1911

  16. [16]

    Berger, A Panoramic View of Riemannian Geometry, Springer, Berlin, Heidelberg, 2003

    M. Berger, A Panoramic View of Riemannian Geometry, Springer, Berlin, Heidelberg, 2003

    2003

  17. [17]

    Croke, Some isoperimetric inequalities and eigenvalue estimates, Ann

    C. Croke, Some isoperimetric inequalities and eigenvalue estimates, Ann. Sci. \`Ecole Norm. Sup. (4) 13 (1980), no. 4, 419--435

    1980

  18. [18]

    Dugundji, Topology, Allyn and Bacon, 1966

    J. Dugundji, Topology, Allyn and Bacon, 1966

    1966

  19. [19]

    Gromov, Curvature, diameter and Betti numbers, Comm

    M. Gromov, Curvature, diameter and Betti numbers, Comm. Math. Helv. 56 (1981), 179--195

    1981

  20. [20]

    Gromov, Filling Riemannian manifolds, J

    M. Gromov, Filling Riemannian manifolds, J. Differential Geom. 18 (1983), no. 1, 1--147

    1983

  21. [21]

    Guth, Volume of balls in large Riemannian manifolds, Ann

    L. Guth, Volume of balls in large Riemannian manifolds, Ann. Math. (2) 173 (2011), 51--76

    2011

  22. [22]

    de la Harpe, Brouwer degree, domination of manifolds and groups presentable by products, Bull

    P. de la Harpe, Brouwer degree, domination of manifolds and groups presentable by products, Bull. Manifold Atlas (2017), http://www.map.mpim-bonn.mpg.de/Main_Page

    2017

  23. [23]

    Hatcher, Algebraic Topology, Cambridge University Press, Cambridge, UK, 2002

    A. Hatcher, Algebraic Topology, Cambridge University Press, Cambridge, UK, 2002

    2002

  24. [24]

    Weiss, Curvature and finite domination, Proc

    M. Weiss, Curvature and finite domination, Proc. Amer. Math. Soc. 124 (1996), no. 2, 615--622

    1996

  25. [25]

    Whitehead, On the homotopy type of ANR, Bull

    J. Whitehead, On the homotopy type of ANR, Bull. AMS 54 (1948), 1133--1145

    1948