Pith. sign in

REVIEW 2 major objections 4 minor 26 references

Compactifying real analytic functions and resulting Reeb spaces

T0 review · 2 major / 4 minor · reviewed 2026-07-11 · grok-4.5

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

Pith's one-line read Real-analytic height functions can be compactified so their Reeb spaces have any prescribed mix of rays and circles around one non-finite vertex.

desk verdict Solid constructive extension of the author's own Reeb-space program; the combinatorial claims are plausible but rest on sketched asymptotics that a referee will need to check carefully. read the letter →

arxiv 2607.04565 v1 pith:4KJX5BFL submitted 2026-07-06 math.AG math.COmath.GN

Naoki Kitazawa This is my paper · ORCID
classification math.AGmath.COmath.GN MSC 26C0526E0554C3054F1557R4558C05
keywords ReebspacescompactificationsofmapsrealanalyticfunctionsgraphdiagramforNFpre-digraphshyperbolasandasymptotescellcomplexes
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 constructs families of real-analytic height functions on non-compact manifolds so that, after a natural compactification, the associated Reeb space collapses to a simple combinatorial object: a single non-finite vertex together with any chosen numbers of outgoing rays, incoming rays and circles. Reeb spaces record how level sets of a function change; they are usually graphs when the domain is compact, but become more complicated when the domain is open. By carefully arranging rotated hyperbolas whose asymptotes and oscillatory perturbations control critical points, the author realises every triple of non-negative integers as the edge counts of a normal graph diagram for the non-finite part. A second construction exhibits a smooth compactification of an analytic function on Euclidean space whose Reeb digraph is not isomorphic to the original, showing that compactification can alter the combinatorial type. The results give the first systematic real-analytic realisations of Reeb spaces that are not finite graphs, answering a reconstruction problem the author has pursued in a sequence of earlier notes.

What carries the argument

The graph diagram for NF of a pre-digraph: the 0- or 1-dimensional cell complex obtained by collapsing each equivalence class of ordinary edges that share the same ascending or descending non-finite point, thereby encoding the combinatorial type of a possibly non-finite Reeb space by a simpler oriented cell complex.

What would settle it

Exhibit a concrete triple (n_d,n_e,n_c) for which every real-analytic height function built from the rotated-hyperbola construction either acquires an extra non-finite point or fails to realise one of the required rays or circles after compactification.

Watch

Extended reading notes

Core claim

For every dimension m>1 and every triple of non-negative integers (n_d,n_e,n_c) there exists an m-dimensional real-analytic submanifold of Euclidean space whose natural height function admits a compactification whose Reeb digraph has a normal graph diagram for non-finite points consisting of exactly one vertex, n_d outgoing rays, n_e incoming rays and n_c circles.

Load-bearing premise

The oscillatory auxiliary functions and the angle of the rotated hyperbolas are assumed to produce exactly the prescribed numbers of non-finite points and no extra vertices after compactification, without a complete local analysis of every possible accumulation pattern.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper formulates compactifications of continuous (mainly real-analytic) maps and studies the resulting Reeb spaces, which are 0- or 1-dimensional cell complexes. It introduces pre-digraphs and the graph diagram for NF (GDNF) to represent Reeb spaces that need not be finite graphs. Theorem 1 asserts that for every m>1 and non-negative integers n_d, n_e, n_c there exists an m-dimensional real-analytic submanifold X_{m,n_d,e,c} of R^{m+1} whose projection admits a Reeb digraph compactification whose normal GDNF consists of a single vertex with exactly n_d outgoing rays, n_e incoming rays and n_c circles. Theorem 2 constructs a real-analytic manifold diffeomorphic to R^m and a smooth compactification diffeomorphic to S^m such that the Reeb digraph of the compactification is a Reeb-D-C of the original function but is not isomorphic to its Reeb digraph. The constructions rely on rotated components of hyperbolas, auxiliary oscillating functions q_{p,s,i}, and zero-set manifolds of the form X_{m,{S_j,f_j}} or X_{m1,m2,{S_j',g_j},I}.

Significance. If the existence claims hold, the paper supplies the first systematic real-analytic realizations of Reeb spaces whose combinatorial type is controlled by an arbitrary finite collection of rays and circles attached to a single non-finite point. This extends the classical reconstruction programme (Sharko, Masumoto–Saeki, Michalak, and the author’s earlier algebraic constructions) beyond finite graphs and gives concrete examples of compactifications that alter the Reeb digraph. The local rank calculations (Propositions 2–4) are standard and correctly establish that the zero sets are smooth manifolds of the expected dimension; the novelty lies in the global combinatorial control after compactification.

major comments (2)
  1. Proof of Theorem 1 (pp. 9–11): the claim that the normal GDNF consists of precisely one vertex plus exactly n_d outgoing rays, n_e incoming rays and n_c circles rests on the limsup/liminf oscillation of the derivatives of q_{p,s,i} (Subsection 3.3) after rotation by multiples of 2(\pi/2-t). The text only says “Remember arguments on critical points of p_{h,t} and p_{h,t,q…}” and cites general Reeb-space theorems; it never verifies that the oscillations remain transverse to the radial directions after rotation, nor that distinct rotated branches produce no extra accumulation points inside any compact disk D_{R,o}. Without a local analysis ruling out coalescence or additional non-finite points, the prescribed combinatorial type is not established.
  2. Theorem 2, STEP 2-4 and STEP 2-5: the assertion that the Reeb space of π_{m+2,1}|_{X_{m,2}} is a Peano continuum with exactly one non-finite point q(0) relies on the same asymptotic oscillation of the non-analytic branch g_{2,1}. The argument that every neighbourhood of this point contains infinitely many discrete critical values is sketched via Proposition 4, but no estimate is given showing that these critical values accumulate only at 0 and do not create additional non-finite points or edges after the compactification. The non-isomorphism claim in (4) therefore remains incomplete.
minor comments (4)
  1. Subsection 3.3: the phrase “π/2 is divisible by 2(π/2-t)” is unclear; the intended meaning is that the angle 2(π/2-t) divides 2π an integer number of times. A precise statement would help.
  2. Definition 3 and Definition 4 introduce “compactification in C'” and “Reeb digraph compactification” with several nested embeddings; a short commutative diagram would make the relations transparent.
  3. Throughout: numerous typographical slips (e.g., “fintiely”, “roation”, “preimagec”, missing spaces after punctuation) and inconsistent notation for the same projection (π_{m+1,1} versus π_{m+2,1,2}) should be cleaned.
  4. The paper repeatedly refers to the author’s own arXiv preprints [15–19] for both definitions and technical lemmas. A self-contained appendix summarizing the needed asymptotic estimates would improve readability for readers unfamiliar with that series.

Circularity Check

2 steps flagged · score 3.0 of 10

Moderate self-citation dependence for the GDNF framework and asymptotic limsup/liminf lemmas that underwrite the non-finite points in Theorem 1, yet the explicit manifold constructions themselves are new and not tautological restatements.

  1. self citation load bearing [Section 2, paragraphs introducing pre-digraphs and Definition 1 (GDNF)]
    "In [19], we consider a connected Hausdorff space G and a triplet (G, S_G, c_G : G o Y) … We have reviewed a method for representing 0- or 1-dimensional cell complexes which may not be homeomorphic to any graph, respecting [19]. … The resulting cell complex is the graph diagram for NF of (G,S_G,c_G) and denoted by GDNF(G,S_G,c_G). As a specific class, if for each [C…] exactly one connected component … then GDNF … is said to be normal."

    The very language in which Theorem 1 is stated (“its graph diagram for NF is normal and with exactly one vertex and … n_d edges … n_e edges … n_c edges”) is defined by reviewing the author’s own prior preprint [19]. Without that self-citation the combinatorial claim of the theorem has no meaning inside the present paper; the load-bearing descriptive framework is therefore not independent.

  2. self citation load bearing [Subsection 3.3 (asymptotic behaviour of q_{p,s,i} and their derivatives)]
    "In [18], the author has discussed this explicitly first for our studies on topological properties and combinatorial ones of Reeb spaces. We also discuss this in [19]. We can check in a self-contained way and we refer to the original preprints for the understanding. … lim sup_{x o-∞} q_{p,s,1}'(x)=+∞ and lim inf … =-∞; … lim sup_{x o+∞} q_{p,s,1}'(x)=0 … (and the three analogous blocks for i=2,3)."

    The limsup/liminf oscillation statements are the only mechanism that forces the critical loci of the rotated p_{h,t,q} branches to accumulate exactly at the non-finite points required by the normal one-vertex GDNF of Theorem 1. They are justified solely by citation to the author’s own earlier notes [18,19]; the present text supplies neither a derivation nor a local transversality check after rotation. The combinatorial conclusion of the main theorem therefore rests on this self-citation chain.

full rationale

The paper is a pure-existence construction paper in real-analytic geometry/topology. Its strongest claims (Theorems 1–2) are realized by concrete zero-set constructions (rotated hyperbolas perturbed by the q_{p,s,i} functions, then formed into X_{m,{S_j,f_j}} or the two-factor version X_{m1,m2,…,I}). These constructions are written out in the proofs and do not reduce by definition to their inputs. However, two supporting pieces are imported almost entirely from the author’s own recent arXiv notes: (i) the entire pre-digraph / NF-point / GDNF apparatus that is used to state what “normal graph diagram with one vertex + n_d rays + n_e rays + n_c circles” even means, and (ii) the limsup/liminf oscillation statements for the first derivatives of the q_{p,s,i} that are asserted to produce precisely the desired non-finite points after rotation and compactification. Both are flagged by explicit self-citations rather than re-derived. External citations (Saeki, Gelbukh) handle only the general fact that Reeb spaces of tame functions are Peano continua or graphs; they do not supply the combinatorial control needed for the normal one-vertex diagram. Because the new geometric constructions still have independent content, the circularity remains moderate (score 3) rather than fatal. No fitted-parameter-as-prediction, no uniqueness-from-authors, and no renaming of a known empirical pattern appear.

Assumptions & free parameters 3 free parameters · 3 assumptions · 2 invented entities

The paper works entirely inside classical differential topology and real-analytic geometry. The only free parameters are the combinatorial counts and a few auxiliary constants chosen to arrange the critical loci; the invented combinatorial objects (pre-digraph, graph diagram for NF) are definitional tools rather than physical entities.

free parameters (3)
  • n_d, n_e, n_c
    Non-negative integers freely prescribed by the user; they determine the number of outgoing, incoming and circular edges in the target graph diagram.
  • angle parameter t
    Chosen sufficiently large so that π/2 is divisible by 2(π/2−t) and the rotated hyperbolas produce the desired asymptotic pattern; no uniqueness or canonical value is claimed.
  • auxiliary constants a1,a2,a3,a4
    Positive real numbers chosen so that the graphs of the elementary functions intersect transversely at a single prescribed point; existence is asserted but no explicit numerical values are given.
assumptions (3)
  • standard math Reeb spaces of continuous real-valued functions on Peano continua are themselves Peano continua of dimension at most 1 (Gelbukh, Saeki).
    Invoked repeatedly to guarantee that the constructed Reeb spaces are 1-dimensional cell complexes.
  • standard math Implicit-function theorem yields a smooth (or real-analytic) manifold when the defining map has full rank (standard).
    Used in Propositions 3 and 4 to certify that the zero sets X are manifolds.
  • ad hoc to paper The asymptotic limsup/liminf behaviour of the derivatives of q_{p,s,i} forces infinitely many critical points accumulating only at the non-finite points after compactification.
    Stated in Subsection 3.3 and relied upon in the proof of Theorem 1 without a complete local analysis of all accumulation patterns.
invented entities (2)
  • pre-digraph and graph diagram for NF
    purpose: Combinatorial encoding of 1-dimensional cell complexes that may fail to be finite graphs, recording ascending/descending non-finite points.
    Introduced in Definition 1 (and earlier preprints) as the main bookkeeping device; no independent geometric realization outside the Reeb-space context is claimed.
  • Reeb digraph compactification (Reeb-D-C)
    purpose: Records how the Reeb digraph changes under a topological compactification of the underlying map.
    Defined in Definition 4; used to state the main theorems. Purely definitional.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Compactifying real analytic functions and resulting Reeb spaces." pith.science (2026). https://pith.science/paper/4KJX5BFL

@misc{pith2026260704565,
  author       = {Pith},
  title        = {Pith review of: Compactifying real analytic functions and resulting Reeb spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4KJX5BFL}},
  note         = {Machine review of arXiv:2607.04565}
}
abstract

We formulate compactifications of continuous maps naturally. We consider real analytic functions mainly. We are interested in topological properties and combinatorial ones of explicit resulting maps. For understanding them, we use their Reeb spaces, being quotient spaces of the spaces of the domains of the functions and defined by the equivalence relation identifying two points in same components of their level sets. They are known to be $0$- or $1$-dimensional (metrizable) cell-complexes, in our situations or more general certain tame cases. Reeb spaces have been important in understanding topological properties and combinatorial ones of functions and spaces roughly, since the last century. These compactifications have been explicitly studied by the author previously and recently. We have obtained real algebraic functions whose Reeb spaces are not so complicated and which seem to be of most natural and simplest. We present new discussions and examples.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 1 canonical work pages

  1. [1]

    Saugata Basu, Nathanael Cox, and Sarah Percival,On the Reeb spaces of definable maps, Discrete Comput. Geom. 68. 2 (2022), pp. 372–405

    2022

  2. [2]

    Gelbukh,On the topology of the Reeb graph, Publicationes Mathematicae Debrecen 104(3–

    I. Gelbukh,On the topology of the Reeb graph, Publicationes Mathematicae Debrecen 104(3–

  3. [3]

    Gelbukh,Topological dimension of a Reeb graph and a Reeb space, Topology and its Applications, Volume 373, 1 November 2025, 109462

    I. Gelbukh,Topological dimension of a Reeb graph and a Reeb space, Topology and its Applications, Volume 373, 1 November 2025, 109462

    2025

  4. [4]

    I. Gelbukh,A corrected sufficient condition for the hausdorffness of a Reeb space, Beitr¨ age zur Algebra und Geometrie/ Contribution to Algebra and Geometry 66: 443-335, Volume 373, 1 November 2025, 109462

    2025

  5. [5]

    I. Gelbukh,A corrected sufficient condition for the hausdorffness of a Reeb space, https://www.researchgate.net/profile/Irina-Gelbukh- 2/publication/394428146 On Hausdorffness of a Reeb space and a Reeb graph/links/68a28a856327cf7b63d72900/On- Hausdorffness-of-a-Reeb-space-and-a-Reeb-graph.pdf

    arXiv

  6. [6]

    I. Gelbukh,Reeb graphs of smooth functions: Twenty years after, https://www.researchgate.net/profile/Irina-Gelbukh- 2/publication/403501343 Reeb graphs of smooth functions Twenty years after/links/69d17d0de8c973662964c34b/Reeb- graphs-of-smooth-functions-Twenty-years-after.pdf COMPACTIFYING REAL ANALYTIC FUNCTIONS AND RESULTING REEB SPACES 15

    arXiv

  7. [7]

    Izar. S. A,Fun¸ c˜ oes de Morse e Topologia das Superf´ ıcies I: O grafo de Reeb def: M→R, M´ etrica no. 31, In Estudo e Pesquisas em Matem´ atica, Brazil: IBILCE, 1988, https://www.ibilce.unesp.br/Home/Departamentos/Matematica/metrica-31.pdf

    1988

  8. [8]

    Kitazawa,On Reeb graphs induced from smooth functions on3-dimensional closed ori- entable manifolds with finitely many singular values, Topol

    N. Kitazawa,On Reeb graphs induced from smooth functions on3-dimensional closed ori- entable manifolds with finitely many singular values, Topol. Methods in Nonlinear Anal. Vol. 59 No. 2B, 897–912, arXiv:1902.08841

    arXiv 1902

Show all 26 references
  1. [9]

    Kitazawa,On Reeb graphs induced from smooth functions on closed or open sur- faces, Methods of Functional Analysis and Topology Vol

    N. Kitazawa,On Reeb graphs induced from smooth functions on closed or open sur- faces, Methods of Functional Analysis and Topology Vol. 28 No. 2 (2022), 127–143, arXiv:1908.04340

    2022 arXiv

  2. [10]

    Kitazawa,Real algebraic functions on closed manifolds whose Reeb graphs are given graphs, Methods of Functional Analysis and Topology Vol

    N. Kitazawa,Real algebraic functions on closed manifolds whose Reeb graphs are given graphs, Methods of Functional Analysis and Topology Vol. 28 No. 4 (2022), 302–308, arXiv:2302.02339, 2023

    2022 arXiv

  3. [11]

    Kitazawa,Constructing Morse functions with given Reeb graphs and level sets, accepted for publication in Topol

    N. Kitazawa,Constructing Morse functions with given Reeb graphs and level sets, accepted for publication in Topol. Methods in Nonlinear Anal., arXiv:2108.06913 (, where the title has been changed from the title there), 2025

    2025 arXiv

  4. [12]

    Kitazawa,Maps on manifolds onto graphs locally regarded as the quotient maps onto Reeb spaces of some differentiable maps and a new reconstruction problem, arXiv:1909.10315

    N. Kitazawa,Maps on manifolds onto graphs locally regarded as the quotient maps onto Reeb spaces of some differentiable maps and a new reconstruction problem, arXiv:1909.10315

    1909 arXiv

  5. [13]

    N. Kitazawa,Reconstructing real algebraic maps locally like moment maps with prescribed images and compositions with the canonical projections to the1-dimensional real affine space, arXiv:2303.10723

    arXiv

  6. [14]

    Kitazawa,Some remark on real algebraic maps which are topologically special generic maps and generalize the canonical projections of the unit spheres, arXiv:2312.10646, 2024

    N. Kitazawa,Some remark on real algebraic maps which are topologically special generic maps and generalize the canonical projections of the unit spheres, arXiv:2312.10646, 2024

    2024 arXiv

  7. [15]

    N. Kitazawa,A note on Reeb spaces of explicit real analytic functions, a revised ver- sion is submitted to a refereed journal based on positive comments (”Major Revision”), arXiv:2601.11648, 2026/1

    2026

  8. [16]

    Kitazawa,Fundamental examples of Reeb spaces of smooth functions defined from two graphs of smooth functions with same asymptotic behaviors, arXiv:2602.17014, 2026/2

    N. Kitazawa,Fundamental examples of Reeb spaces of smooth functions defined from two graphs of smooth functions with same asymptotic behaviors, arXiv:2602.17014, 2026/2

    2026

  9. [17]

    Kitazawa,Reeb spaces of functions being analytic on dense subsets and their graph struc- tures, arXiv:2602.23380

    N. Kitazawa,Reeb spaces of functions being analytic on dense subsets and their graph struc- tures, arXiv:2602.23380

  10. [18]

    Kitazawa,A note on asymptotic behaviors and topological properties on smooth real- valued functions and several graphs associated to them, arXiv:2603.21452

    N. Kitazawa,A note on asymptotic behaviors and topological properties on smooth real- valued functions and several graphs associated to them, arXiv:2603.21452

  11. [19]

    Kitazawa,Representations of Reeb spaces via simplified graphs and examples, arXiv:2605.12219

    N. Kitazawa,Representations of Reeb spaces via simplified graphs and examples, arXiv:2605.12219

    arXiv

  12. [20]

    Martinez-Alfaro, I

    J. Martinez-Alfaro, I. S. Meza-Sarmiento and R. Oliveira,Topological classification of simple Morse Bott functions on surfaces, Contemp. Math. 675 (2016), 165–179

    2016

  13. [21]

    Masumoto and O

    Y. Masumoto and O. Saeki,A smooth function on a manifold with given Reeb graph, Kyushu J. Math. 65 (2011), 75–84

    2011

  14. [22]

    L. P. Michalak,Realization of a graph as the Reeb graph of a Morse function on a manifold. Topol. Methods in Nonlinear Anal. 52 (2) (2018), 749–762, arXiv:1805.06727

    2018 arXiv

  15. [23]

    G. Reeb,Sur les points singuliers d´une forme de Pfaff compl´ etement int` egrable ou d´une fonction num´ erique, Comptes Rendus Hebdomadaires des S´ eances de I´Acad´ emie des Sciences 222 (1946), 847–849

    1946

  16. [24]

    O. Saeki,Reeb spaces of smooth functions on manifolds, International Mathe- matics Research Notices, maa301, Volume 2022, Issue 11, June 2022, 3740–3768, https://doi.org/10.1093/imrn/maa301, arXiv:2006.01689

    2022 doi arXiv

  17. [25]

    Saeki,Reeb spaces of smooth functions on manifolds II, Res

    O. Saeki,Reeb spaces of smooth functions on manifolds II, Res. Math. Sci. 11, article number 24 (2024), https://link.springer.com/article/10.1007/s40687-024-00436-z

    2024 doi

  18. [26]

    Sharko,About Kronrod-Reeb graph of a function on a manifold, Methods of Functional Analysis and Topology 12 (2006), 389–396

    V. Sharko,About Kronrod-Reeb graph of a function on a manifold, Methods of Functional Analysis and Topology 12 (2006), 389–396. Osaka Central Advanced Mathematical Institute (OCAMI), 3-3-138 Sugimoto, Sumiyoshi- ku Osaka 558-8585 TEL: +81-6-6605-3103 Email address:naokikitazaw...

    2006

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.