Pith. sign in

REVIEW 1 major objections 25 references

Topological Complexity and Finite Domination

T0 review · 1 major / 0 minor · reviewed 2026-06-30 · grok-4.3

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

Pith's one-line read 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.

desk verdict The abstract states a clean theorem bounding the size of a dominating n-skeleton by embolic volume, but without the proof the claim stays unverified. read the letter →

arxiv 2606.29730 v1 pith:QBAZGM6Y submitted 2026-06-29 math.GT math.DG

Lizhi Chen This is my paper · ORCID
classification math.GTmath.DG
keywords finitedominationn-skeletonsimplicialcomplexembolicvolumeclosedmanifoldtopologicalcomplexityRiemanniangeometrictopology
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

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.

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.

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.

Watch

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 2 assumptions · 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.

assumptions (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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Topological Complexity and Finite Domination." pith.science (2026). https://pith.science/paper/QBAZGM6Y

@misc{pith2026260629730,
  author       = {Pith},
  title        = {Pith review of: Topological Complexity and Finite Domination},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QBAZGM6Y}},
  note         = {Machine review of arXiv:2606.29730}
}
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$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 9 canonical work pages

  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

Show all 25 references
  1. [9]

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

    1983

  2. [10]

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

    2011 doi

  3. [11]

    2016 , howpublished =

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

    2016 arXiv

  4. [12]

    2002 , PAGES =

    Hatcher, Allen , TITLE =. 2002 , PAGES =

    2002

  5. [13]

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

    1996 doi

  6. [14]

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

    1948 doi

  7. [15]

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

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

    1911

  8. [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

  9. [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

  10. [18]

    Dugundji, Topology, Allyn and Bacon, 1966

    J. Dugundji, Topology, Allyn and Bacon, 1966

    1966

  11. [19]

    Gromov, Curvature, diameter and Betti numbers, Comm

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

    1981

  12. [20]

    Gromov, Filling Riemannian manifolds, J

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

    1983

  13. [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

  14. [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

  15. [23]

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

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

    2002

  16. [24]

    Weiss, Curvature and finite domination, Proc

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

    1996

  17. [25]

    Whitehead, On the homotopy type of ANR, Bull

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

    1948

Pith tools

Reviewed June 30, 2026 · model on record in the stance chip above.