Regions represented as foliated forms and natural smooth maps onto them

Naoki Kitazawa

REVIEW 2 major objections 4 minor 1 cited by

Regions represented as foliated forms and natural smooth maps onto them

T0 review · 2 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read For a family of smooth maps built from foliated regions, this paper completely classifies the critical set of the derivative of the natural projection onto the first coordinate, identifying exactly four kinds of critical points.

desk verdict Genuine extension of the author's reconstruction program, but the central proof of Theorem 5 has a real gap that needs a rewrite. read the letter →

arxiv 2607.17180 v2 pith:G62V7C2J submitted 2026-07-19 math.AG math.DGmath.DSmath.MG

Naoki Kitazawa This is my paper · ORCID

classification math.AGmath.DGmath.DSmath.MG MSC 26B1057R4558C0558C25

keywords foliatedregionssmoothmanifoldscanonicalprojectionfirstderivativecriticalsetimplicitfunctiontheoremspecialgenericmapsrealalgebraicfunctions

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

This paper tries to show that a region in Euclidean space foliated by the level sets of a one-parameter family of functions can be thickened into a smooth manifold in one higher dimension, with the natural projection onto the first coordinate having no critical points. For the concrete family defined by x2 = t c+(x1), with c+ positive and t in a bounded interval, the paper proves that the critical set of the derivative of that projection consists exactly of four kinds of points: two boundary slices over points where the second derivative of c+ vanishes, the t = 0 slice, and the points lying over critical points of c+. It further proves that the derivative equals 1 precisely on the last two kinds of points. A symmetric special case is shown to yield a sphere on which the derivative is identically 1.

What carries the argument

The construction uses a foliated region D represented as the zero set of a smooth function F_D(x, t) with ∂F_D/∂t everywhere nonzero, and defines X_{F_D,m} as the common zero set of F_D(x, t) = 0 and G_D(t, y) = (t − a1)(a2 − t) − Σ y_j^2 = 0 (or t − a − Σ y_j^2 = 0 in the unbounded case). The derivative π′ is the real-valued function obtained by projecting the unit positive gradient vector of π_{m+2,1}|X onto the t-axis. The classification is carried out by projecting tangent vectors to R^2, where they become unit tangents to the graphs x2 = t c+(x1).

What would settle it

Compute S(π′_{m+2,1}|X) for the concrete family with c+(x) = x^2 + 1, a1 = -1, a2 = 1, m = 2. The theorem predicts critical points only at x1 = 0 on the two boundary slices, on t = 0, and over the critical point x1 = 0. If a direct derivative computation finds a critical point with x1 ≠ 0 and t not equal to 0, a1, or a2, the classification is wrong.

Watch

Extended reading notes

Core claim

For the family X = {(x1, x2, t, y) : x2 − t c+(x1) = 0, (t − a1)(1 − t) − Σ y_j^2 = 0}, the critical set S(π′_{m+2,1}|X) of the first derivative is exactly the union of: (1) points (x1, c+(x1), 1, 0) with c+′′(x1) = 0; (2) points (x1, a1 c+(x1), a1, 0) with c+′′(x1) = 0; (3) points (x1, 0, 0, y) lying on the t = 0 slice; and (4) points over critical points of c+. Moreover, the derivative takes the value 1 exactly at points of types (3) and (4).

Load-bearing premise

For the general theorem, the whole argument rests on the assumption that ∂F_D/∂t is never zero on the region; if a level set of the foliation became vertical, the two equations F_D = 0 and G_D = 0 might fail to cut out a smooth manifold.

Editorial extensions

If this is right

For arbitrary positive smooth c+ and a1 < 0, the critical-set description gives a complete, explicit catalogue of where the derivative of the projection stops being a submersion.
The derivative attains its maximum value 1 exactly on the t = 0 slice and over critical points of c+; in the symmetric case the value-1 locus is a sphere S^{m-1}.
The construction yields manifolds X in R^{m+2} with no boundary and with the restricted canonical projection having no critical point, making them candidates for special generic maps.
Replacing the quadratic G_D by any smooth function positive on the interior of the interval and vanishing simply at the boundary preserves the construction, so the critical-set classification is stable under such perturbations.
In the unbounded-interval case the construction reproduces the earlier sphere construction, showing the new family is a genuine extension rather than a separate object.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same derivative-critical-set analysis could likely be extended to families F_D(x, t) with x in higher-dimensional Euclidean space, potentially revealing a general relation between the second derivative of the defining function and the critical locus of π′.
The value-1 locus being a sphere suggests a method for designing smooth functions whose derivative has prescribed maxima along submanifolds, useful for constructing functions with controlled gradient flows.
The boundary cases (1) and (2) show that even when the original map has no critical points, the derivative can develop critical points at the boundary of the foliation; this may guide constructions of maps with prescribed Reeb spaces.
The classification may survive under weaker regularity assumptions on c+ (for example C^2), though the smooth-manifold construction would need adjustment at points where the second derivative fails to exist.

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.

Desk Editor's Note

read the letter

Dear colleague,

This paper is a small but genuine extension of Kitazawa's own reconstruction program. The new piece is the bounded-interval construction in Theorem 2 (the unbounded case was already in his preprint) and the critical-set classification in Theorem 5. If the statements are right, they give a clean family of examples and a computable answer for where the derivative misbehaves. I'm inclined to believe the statements: I checked the four cases in Theorem 5 by writing down the derivative H = A/(A + t^2(c')^2L), and the cases do exhaust the critical set. So the paper is not broken.

The weakness is the proof of Theorem 5 as written. The stress-test note has it correct: the proof never computes dW, and the S^{m-1} slice argument is mis-stated. At t = a1 or a2 with all y_j = 0, t is not a local coordinate on X (dt restricts to zero on the tangent space), so a local extremum along the slice does not by itself imply criticality on X. You also need partial W / partial x1 = 0, which is exactly the c'' = 0 or c' = 0 condition. The claim that no other points are critical is asserted, not shown. That is a load-bearing gap. The conclusion may be right, but the proof as written does not establish it.

There are smaller issues: the exposition has many typos (the abstract is partly garbled), Theorem 3 is explicitly a remark on the author's own preprint, and the general assumption in Theorem 2 that the partial derivative of F_D with respect to t is everywhere nonzero rules out vertical tangencies. For the concrete example in Theorem 4 that is fine, but for the general theorem it is a real restriction.

On the plus side, the author is refreshingly explicit about the lineage of these results and does not oversell them. This is a contribution for people working on explicit constructions in singularity theory, not for a broad audience.

Recommendation: a serious editor should send this to peer review. The statement of Theorem 5 appears correct and deserves to be pinned down. The referee should insist on a rewritten proof with the actual derivative calculation and a corrected slice argument. I would not cite it in its current form, but the construction is citable once the proof is fixed.

Yours,

Referee Report

2 major / 4 minor

Summary. The paper constructs explicit smooth submanifolds of Euclidean space and studies the restriction of the canonical projection to them. Section 2 (Theorem 2) generalizes an earlier construction: if a region D ⊂ R^n × I is the zero set of a smooth function F_D(x,t) with ∂F_D/∂t everywhere nonzero, then the set X_{F,m} cut out by F_D = 0 and either (t−a1)(a2−t)=Σy_j^2 or (t−a)=Σy_j^2 is an m-dimensional smooth submanifold of R^{m+2}. Theorem 3 allows more general quadratic models. Section 3 specializes to n=2 and F_D(x1,x2,t)=x2−t c_+(x1), with a1<0 and a2=1; Theorem 4 states that the projection π_{m+2,1} restricted to X has no critical points. The paper then defines a normalized '1st derivative' of this projection and, in Theorem 5, classifies its critical set as the union of four explicitly described loci, with the value 1 occurring exactly on the t=0 slice and over critical points of c_+. Theorem 6 compares this with the older construction from Theorem 1.

Significance. If the main claim is established, the paper contributes an explicit family of smooth submanifolds on which the derivative of the canonical projection has a completely described critical set, expressed in terms of the critical locus and inflection points of a chosen positive function c_+. This fits the author's program of explicit reconstruction of maps with prescribed geometric behavior, and Theorem 2 is a useful self-contained implicit-function-theorem construction. The statement of Theorem 5 appears to be correct; an independent coordinate computation supports the four-case classification. However, the proof of Theorem 5 as written omits the central derivative computation and contains an incomplete endpoint argument, so the principal new theorem is not yet established by the manuscript.

major comments (2)

[§3, Theorem 5 proof] The proof of Theorem 5 does not compute the derivative of h=π'_{m+2,1}|X in local coordinates. The crucial assertion that no points other than the four listed cases are critical is made by phrases such as 'we can see' and 'by our manifolds and maps', but the required calculation is absent. In particular, the endpoint argument is incomplete: on the slice with x1 fixed, which is an S^{m-1} obtained by varying t and y, the values t=a1 and t=a2 correspond to the degenerate point y=0, where t is not a local coordinate on X. A local extremum of h along that slice does not imply dh=0 on all of T_pX unless the x1-direction is also checked. In local coordinates (x1,y) near t=a1, one has h=(1+(a1 c')^2)^{-1/2} at the endpoint, and ∂(h^2)/∂x1 is proportional to c' c''; this or an equivalent computation should be written out. For the interior, a direct computation gives h^2 = (1+c_+^2+r'^2)/(1+c_+^2
[§3, definition of h] The definition of the '1st derivative' π'_{m+k,1}|X is informal. The text says the value is obtained from the unit vector along the positive gradient flow and uses the notation a v_{u,p,+} in a self-referential way, while also stating that the theory is not explained rigorously. Because Theorem 5 is a statement about the critical set of this function, the reader needs a precise definition, for example h(p)=||grad(π|X)(p)|| with respect to the induced Euclidean metric, or equivalently the value of d(π|X) on the unit gradient vector. This formalization should be stated before Theorem 5; otherwise the theorem's meaning and proof are not fully checkable.

minor comments (4)

[Abstract and Introduction] The manuscript contains numerous grammatical and typographical awkwardnesses, e.g. 'We including the author', 'the author is interested in regions surrounded by hypersurfaces', and inconsistent hyphenation/spacing. A careful copy-edit is recommended.
[§3, Figure 1] The proof of Theorem 5 refers to 'Figure 1', but no figure is reproduced in the text. Either include the figure or remove the reference.
[§2, Theorem 3] The proof of Theorem 3 is only one sentence ('This completes the proof'). Since Theorem 3 replaces the explicit quadratic G by a general smooth G with nonzero derivative at the endpoints, a few lines explaining why the implicit-function-theorem argument of Theorem 2 still applies would make the proof self-contained.
[§3, Theorem 6] The proof of Theorem 6 relies on symmetry and a 'necessary and sufficient' condition, but the argument is compressed. Expanding the calculation of the unit gradient vector in the coordinates (x1,x2,y) would improve readability and verifiability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found; the main constructions and classifications are derived in-line from the defining equations.

full rationale

The paper's central claims are self-contained rather than reductions to their own inputs. Theorem 2 constructs X_{F_D,m} as an implicit submanifold and proves smoothness directly by checking nonzero partial derivatives and applying the implicit function theorem, so the conclusion does not presuppose the existence of the manifold. Theorem 4 is a concrete example with F = x2 - t c+(x1), and Theorem 5 classifies the critical set of the derivative using the graph relation x2 = t c+(x1); the listed critical points correspond to c'' = 0, c' = 0, or the slice t = 0, which follow from the defining equation rather than being fitted or assumed. The references to the author's prior work [13] and [16] are contextual remarks: Theorem 1 is proved in the text, and the note on Theorem 3 says the proof is immediate from the same story. No fitted parameter is renamed as a prediction, no uniqueness theorem is imported from self-citations to force a choice, and no ansatz is smuggled in via citation. Even if the proof of Theorem 5 leaves some derivative computations implicit, that is a completeness or rigor issue, not circularity.

Assumptions & free parameters 2 free parameters · 4 assumptions · 0 invented entities

No numerical fitting occurs in the paper. The chosen inputs are an arbitrary positive smooth function and an interval endpoint in the examples; these are quantifier variables, not parameters tuned to force a conclusion. The main assumptions are smoothness and transversality conditions on the foliation, which are stated explicitly.

free parameters (2)

c_+
Arbitrary smooth positive function chosen in Theorems 4–6. It parameterizes the family of examples; the theorems are claimed for every such c+, so it is a construction input, not a fitted value.
a1
Left endpoint of the interval in Theorem 4, with a2 fixed at 1. Any negative a1 is allowed; the result is not fitted to data.

assumptions (4)

standard math Implicit function theorem
Used directly in the proofs of Theorems 1 and 2 to show the constructed zero sets are smooth submanifolds.
domain assumption F_D is smooth and ∂F_D/∂t is everywhere nonzero
Assumption (3) of Theorem 2; without it the two defining equations may fail to intersect transversely and X_{F,m} need not be a smooth manifold.
domain assumption Boundary level sets have no critical points
Assumption (2) of Theorem 2; used in Case 2-B to guarantee a nonzero partial derivative in an x-direction at boundary points.
domain assumption The canonical derivative π′ is defined via the unit vector along the positive gradient flow and is a smooth real-valued function
Definition in Section 3; the paper states that it is compatible with the classical derivative but does not rigorously develop the theory.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Regions represented as foliated forms and natural smooth maps onto them." pith.science (2026). https://pith.science/paper/G62V7C2J

@misc{pith2026260717180,
  author       = {Pith},
  title        = {Pith review of: Regions represented as foliated forms and natural smooth maps onto them},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/G62V7C2J}},
  note         = {Machine review of arXiv:2607.17180}
}

read the original abstract

The author is interested in regions surrounded by hypersurfaces and natural smooth maps onto them respecting the canonical projections of the unit spheres and so-called special generic maps and moment maps, more generally. We consider situations where these regions are foliated via 1-dimensional families of functions and their zero sets (smoothly). We including the author are also interested in explicit and nice functions obtained by composing the canonical projections and their topological or combinatorial properties. This is of singularity theory of differentiable maps and applications to differential topology and various real geometry. Explicitly, here, as a new challenge, we discuss the 1st derivative of such a function and critical sets of this.

Figures

Figures reproduced from arXiv: 2607.17180 by the authors.

**Figure 1.** The image of πm+2,1|XFD{Sj }j∈J ,m , the graphs {(x1, tc+(x1)) | x1 ∈ R}, and the tangent vectors vu,p,+ ∈ TpXm T UT Xm in forms of the resulting vectors after the projection to R 2 . The tangent vectors in the forms of the vectors of R 2 are all of length 1 and tangent to graphs {(x1, tc+(x1)) | x1 ∈ R} at the points πm+2,2(p). all points of the form (x1,0, t0c+(x1,0), t0,(0)m−1 j=1 ) ∈ XFD{Sj}j∈J ,m with x1,0 be… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Fundamental examples of height functions on closed manifolds and their 1st derivatives
math.DG 2026-08 conditional novelty 4.0 of 10

For closed manifolds obtained by mixing two spheres and a real curve, the paper classifies the critical sets of the height function and of its newly introduced first-derivative function.

Reference graph

Works this paper leans on

30 extracted references · 1 canonical work pages · cited by 1 Pith paper

[1]

V. M. Buchstaber and T. E. Panov, Toric topology, Mathematical Surveys and Monographs, Vol. 204, American Mathematical Society, Providence, RI, 2 015
[2]

Burlet and G

O. Burlet and G. de Rham, Sur certaines applications g´ en´ eriques d’une vari´ et´ e close a 3 dimensions dans le plan , Enseign. Math. 20 (1974). 275–292

1974
[3]

Eliashberg, On singularities of folding type , Math

Y. Eliashberg, On singularities of folding type , Math. USSR Izv. 4 (1970). 1119–1134

1970
[4]

Eliashberg, Surgery of singularities of smooth mappings , Math

Y. Eliashberg, Surgery of singularities of smooth mappings , Math. USSR Izv. 6 (1972). 1302– 1326

1972
[5]

Y. K. S. Furuya and P. Porto, On special generic maps from a closed manifold into the plane , Topology Appl. 35 (1990), 41–52

1990
[6]

Gelbukh, A ﬁnite graph is homeomorphic to the Reeb graph of a Morse-Bot t function , Mathematica Slovaca, 71 (3), 757–772, 2021; doi: 10.1515/m s-2021-0018

I. Gelbukh, A ﬁnite graph is homeomorphic to the Reeb graph of a Morse-Bot t function , Mathematica Slovaca, 71 (3), 757–772, 2021; doi: 10.1515/m s-2021-0018

work page doi:10.1515/m 2021
[7]

Gelbukh, Morse-Bott functions with two critical values on a surface , Czechoslovak Mathe- matical Journal, 71 (3), 865–880, 2021; doi: 10.21136/CMJ

I. Gelbukh, Morse-Bott functions with two critical values on a surface , Czechoslovak Mathe- matical Journal, 71 (3), 865–880, 2021; doi: 10.21136/CMJ. 2021.0125-20

arXiv 2021
[8]

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–

Show all 30 references

[9]

Gelbukh, Realization of a digraph as the Reeb graph of a Morse-Bott fun ction on a given surface, Topology and its Applications, 2024

I. Gelbukh, Realization of a digraph as the Reeb graph of a Morse-Bott fun ction on a given surface, Topology and its Applications, 2024

2024
[10]

Gelbukh, Reeb Graphs of Morse-Bott Functions on a Given Surface , Bulletin of the Iranian Mathematical Society, Volume 50 Article number 84, 2024, 1– 17

I. Gelbukh, Reeb Graphs of Morse-Bott Functions on a Given Surface , Bulletin of the Iranian Mathematical Society, Volume 50 Article number 84, 2024, 1– 17

2024
[11]

Kitazawa, On Reeb graphs induced from smooth functions on 3-dimensional closed ori- entable manifolds with ﬁnitely many singular values , Topol

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

1902 arXiv
[12]

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

N. Kitazawa, On Reeb graphs induced from smooth functions on closed or ope n sur- faces, Methods of Functional Analysis and Topology Vol. 28 No. 2 (2 022), 127–143, arXiv:1908.04340. 10 NAOKI KITAZA W A

1908 arXiv
[13]

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

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

2023 arXiv
[14]

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

N. Kitazawa, Constructing Morse functions with given Reeb graphs and lev el 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
[15]

N. Kitazawa, Reconstructing real algebraic maps locally like moment map s with prescribed images and compositions with the canonical projections to t he 1-dimensional real aﬃne space , arXiv:2303.10723

arXiv
[16]

Kitazawa, Some remark on real algebraic maps which are topologically s pecial generic maps and generalize the canonical projections of the unit sp heres, arXiv:2312.10646, 2024

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

2024 arXiv
[17]

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 com ments (”Major revision”), arXiv:2601.11648, 2026/1

2026
[18]

Kitazawa, Fundamental examples of Reeb spaces of smooth functions deﬁ ned 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 deﬁ ned from two graphs of smooth functions with same asymptotic behaviors , arXiv:2602.17014, 2026/2

2026
[19]

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
[20]

Kitazawa, Reeb spaces of smooth functions associated to globally simi lar graphs of smooth functions, arXiv:2603.02791

N. Kitazawa, Reeb spaces of smooth functions associated to globally simi lar graphs of smooth functions, arXiv:2603.02791
[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
[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, ar Xiv:1805.06727

2018 arXiv
[23]

Milnor, Morse Theory , Annals of Mathematic Studies AM-51, Princeton University Press; 1st Edition (1963.5.1)

J. Milnor, Morse Theory , Annals of Mathematic Studies AM-51, Princeton University Press; 1st Edition (1963.5.1)

1963
[24]

Milnor, Lectures on the h-cobordism theorem , Math

J. Milnor, Lectures on the h-cobordism theorem , Math. Notes, Princeton Univ. Press, Prince- ton, N.J. 1965

1965
[25]

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

1946
[26]

Saeki, Notes on the topology of folds , J

O. Saeki, Notes on the topology of folds , J. Math. Soc. Japan Volume 44, Number 3 (1992), 551–566

1992
[27]

Saeki, Topology of special generic maps of manifolds into Euclidea n spaces, Topology Appl

O. Saeki, Topology of special generic maps of manifolds into Euclidea n spaces, Topology Appl. 49 (1993), 265–293, we can also ﬁnd at ”https://core.ac.uk/ download/pdf/81973672.pdf” for example

1993
[28]

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

2006
[29]

Thom, Les singularites des applications diﬀerentiables , Ann

R. Thom, Les singularites des applications diﬀerentiables , Ann. Inst. Fourier (Grenoble) 6 (1955-56), 43–87

1955
[30]

Whitney, On singularities of mappings of Euclidean spaces: I, mappin gs of the plane into the plane , Ann

H. Whitney, On singularities of mappings of Euclidean spaces: I, mappin gs of the plane into the plane , Ann. of Math. 62 (1955), 374–410. Osaka Central Advanced Mathematical Institute (OCAMI), 3-3- 138 Sugimoto, Sumiyoshi- ku Osaka 558-8585 TEL: +81-6-6605-3103 Email address ...

1955

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.

[1] [1]

V. M. Buchstaber and T. E. Panov, Toric topology, Mathematical Surveys and Monographs, Vol. 204, American Mathematical Society, Providence, RI, 2 015

[2] [2]

Burlet and G

O. Burlet and G. de Rham, Sur certaines applications g´ en´ eriques d’une vari´ et´ e close a 3 dimensions dans le plan , Enseign. Math. 20 (1974). 275–292

1974

[3] [3]

Eliashberg, On singularities of folding type , Math

Y. Eliashberg, On singularities of folding type , Math. USSR Izv. 4 (1970). 1119–1134

1970

[4] [4]

Eliashberg, Surgery of singularities of smooth mappings , Math

Y. Eliashberg, Surgery of singularities of smooth mappings , Math. USSR Izv. 6 (1972). 1302– 1326

1972

[5] [5]

Y. K. S. Furuya and P. Porto, On special generic maps from a closed manifold into the plane , Topology Appl. 35 (1990), 41–52

1990

[6] [6]

Gelbukh, A ﬁnite graph is homeomorphic to the Reeb graph of a Morse-Bot t function , Mathematica Slovaca, 71 (3), 757–772, 2021; doi: 10.1515/m s-2021-0018

I. Gelbukh, A ﬁnite graph is homeomorphic to the Reeb graph of a Morse-Bot t function , Mathematica Slovaca, 71 (3), 757–772, 2021; doi: 10.1515/m s-2021-0018

work page doi:10.1515/m 2021

[7] [7]

Gelbukh, Morse-Bott functions with two critical values on a surface , Czechoslovak Mathe- matical Journal, 71 (3), 865–880, 2021; doi: 10.21136/CMJ

I. Gelbukh, Morse-Bott functions with two critical values on a surface , Czechoslovak Mathe- matical Journal, 71 (3), 865–880, 2021; doi: 10.21136/CMJ. 2021.0125-20

arXiv 2021

[8] [8]

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–