pith. sign in

arxiv: 2311.07309 · v3 · submitted 2023-11-13 · 🧮 math.GT

Non-singular extensions of circle-valued Morse functions

Koki Iwakura This is my paper

Pith reviewed 2026-05-24 05:46 UTC · model grok-4.3

classification 🧮 math.GT
keywords circle-valued Morse functionsnon-singular extensionsclosed orientable surfaces3-manifoldssubmersionsMorse theorygeometric topology
0
0 comments X

The pith

Necessary and sufficient conditions determine when a circle-valued Morse function on a closed surface extends to a submersion on a bounding 3-manifold.

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

The paper examines the problem of extending a circle-valued Morse function from a closed orientable surface to a submersion on some compact orientable 3-manifold that has the surface as boundary. It works in the setting where a submersion is already supplied on a collar neighborhood of the boundary. The central result is a theorem that states necessary and sufficient conditions for the extension to exist. A reader would care because the conditions give a concrete test for whether the given function on the surface can be realized as the boundary value of a singularity-free map from a higher-dimensional manifold.

Core claim

Given a circle-valued Morse function f on a closed orientable surface M together with a submersion already defined on a collar neighborhood of the boundary, there exist necessary and sufficient conditions under which a compact orientable 3-manifold N with boundary M and a submersion G from N to the circle exist such that G restricts exactly to f on the boundary.

What carries the argument

The necessary and sufficient conditions stated in the main theorem for the non-singular extension, given the collar submersion.

If this is right

  • The extension to a 3-manifold submersion exists if and only if the conditions are satisfied.
  • The resulting 3-manifold is compact, orientable, and has the given surface as its entire boundary.
  • The extension map is a submersion, so it introduces no critical points in the interior.

Where Pith is reading between the lines

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

  • The conditions might be checked on low-genus surfaces such as the torus to produce explicit examples of extendable functions.
  • The result frames a decision procedure that could be applied to decide extendability for any given Morse function equipped with collar data.

Load-bearing premise

A submersion is already given on a collar neighborhood of the boundary.

What would settle it

An explicit circle-valued Morse function on a surface together with a collar submersion such that the stated conditions hold yet no extension exists, or the conditions fail yet an extension can still be constructed.

Figures

Figures reproduced from arXiv: 2311.07309 by Koki Iwakura.

Figure 1
Figure 1. Figure 1: List of local behaviors of a collapse around the vertices of W± f . The signs on the symbols M, N, S, G, and J correspond to the signs assigned to the vertices of W± f and those symbols are adopted from [4]. (4) Around each vertex of W± f , the map C is locally equivalent to one of the maps as depicted in [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 5
Figure 5. Figure 5: We depict the neighborhoods of the vertices of WG, where the top and bottom portions of the dotted circles are aligned with G according to the orientation of S 1 . The numbers on the edges indicate the genera of the level surfaces of G corresponding to those edges. The symbols correspond to those in [PITH_FULL_IMAGE:figures/full_fig_p008_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: We depicts the summary figure of the arrangements of a1, a2, . . . , an, b1, b2, . . . , bn+1 on S 1 . there exist paths from each G− vertex to each G+ vertex bijectively, and their images by h are orientation preserving immersions. Hence, we obtain a bijection γ : G + → G − that holds C(γ(a)) ⪯ C(a) for any a ∈ G +. Thus, C is an allowable collapse. Let us prove the converse. Denote the vertices of W± f b… view at source ↗
Figure 7
Figure 7. Figure 7: We depict the parts used to construct a 3-dimensional manifold N. The points pj (j = 1, 2, . . . , 6) lie on these parts. The cylindrical sides of MOD(M−) and MOD(N +) are represented by µ and ξ, respectively. The disk side of MOD(N −) is denoted by ν. The rectangles on MOD(S +) and MOD(S −) are respectively denoted by σj and τj (j = 1, 2). The symbols MOD( ) indicate these parts as in [4]. Below, we will … view at source ↗
Figure 8
Figure 8. Figure 8: The construction in the case of S +. to the side formed by removing Int D2 from K, where K is the connected compo￾nent of Li+1 such that an edge in St(wi+1) contains its corresponding point in V . We define Ni+1 as Ni ∪φ1  (Li+1 \ D2 ) × I ∪φ2 MOD(M−)  , where φ1 is defined similarly to the case of M+. Then, a submersion Gi+1 : Ni+1 → S 1 is obtained from h, where the restriction of Gi+1 to its boundary … view at source ↗
Figure 9
Figure 9. Figure 9: The construction in the case of N −. that an edge in St(vi+1) contains the corresponding point in W± f , and an edge in St(wi+1) contains that in V . Let A ⊂ K be an annulus such that P is a connected component of ∂A. The map φ4 : ξ → (Li+1 \ A) × I sends the cylindrical side ξ of MOD(N +) to the side formed by removing Int A × I from Li+1 × I. We define Ni+1 as Ni ∪φ1  (Li+1 \ A) × I ∪φ4 MOD(N +)  , whe… view at source ↗
Figure 10
Figure 10. Figure 10: We depict the collapse induced by the submersion G in Remark 4.1. The dotted lines represent the images of f : W± f → S 1 and G: WG → S 1 , where f = g|S2×{0}. The surfaces on the left correspond to the level surfaces of G associated with the dotted lines. References [1] V. I. Arnold, Arnold’s problems, translated and revised edition of the 2000 Russian original, With a preface by V. Philippov, A. Yakivch… view at source ↗
read the original abstract

In this paper, we consider the non-singular extension problem for circle-valued Morse functions on closed orientable surfaces. The problem asks, given a circle-valued Morse function $f\colon M\to S^{1}$ on a closed orientable surface $M$, under what condition there exist a compact orientable 3-dimensional manifold $N$ with $\partial N = M$ and a submersion $G\colon N \to S^{1}$ such that $G|_{\partial N}=f$. We provide necessary and sufficient conditions for the existence of a non-singular extension of a circle-valued Morse function as the main theorem when a submersion on a collar neighborhood is given.

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 studies the non-singular extension problem for a circle-valued Morse function f: M → S¹ on a closed orientable surface M. It seeks necessary and sufficient conditions for the existence of a compact orientable 3-manifold N with ∂N = M together with a submersion G: N → S¹ such that G|∂N = f, under the standing hypothesis that a submersion is already supplied on a collar neighborhood of the boundary. The main theorem supplies these conditions in the restricted collar setting.

Significance. If the stated necessary and sufficient conditions are correct and non-vacuous, the result would give a complete characterization of extendability rather than merely sufficient criteria. This would be a modest but concrete contribution to the literature on circle-valued Morse functions and their geometric extensions in low-dimensional topology, particularly when boundary behavior is controlled a priori.

minor comments (2)
  1. The abstract asserts the existence of necessary and sufficient conditions without indicating their form or complexity; a brief indication of the nature of the conditions (e.g., homological, Euler-characteristic, or obstruction-theoretic) would improve readability.
  2. The standing collar-submersion hypothesis is explicitly stated, but its necessity for the statement of the main theorem could be motivated more clearly in the introduction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript. The recommendation is listed as uncertain with no major comments provided in the report. We are pleased that the potential contribution is recognized and stand ready to address any specific questions that may arise.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states a theorem providing necessary and sufficient conditions for non-singular extension of a circle-valued Morse function to a submersion on a 3-manifold, under the explicit standing assumption that a submersion is already given on a collar neighborhood of the boundary. No equations, parameter fits, self-citations, or ansatzes are visible that reduce the claimed result to its own inputs by construction. The derivation chain is a standard mathematical existence proof in geometric topology and remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result is a pure-mathematics theorem that rests on standard background from differential topology; no free parameters, ad-hoc axioms, or new entities are introduced in the abstract.

axioms (1)
  • standard math Standard properties of Morse functions, submersions, and manifolds in differential topology.
    The theorem is stated in terms of these established concepts.

pith-pipeline@v0.9.0 · 5629 in / 1131 out tokens · 37457 ms · 2026-05-24T05:46:41.488216+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

  1. Non-singular extensions of horizontal stable fold maps from surfaces to the plane

    math.GT 2024-10 unverdicted novelty 6.0

    Existence of non-singular extensions for horizontal stable fold maps equals existence of pairing maps, plus Euler characteristic and fundamental group computations for the 3-manifolds.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    V.\ I.\ Arnold, Arnold's problems , translated and revised edition of the 2000 Russian original, With a preface by V.\ Philippov, A.\ Yakivchik, and M.\ Peters, Springer-Verlag, Berlin; PHASIS, Moscow (2004)

    work page 2000

  2. [2]

    S.\ A.\ Barannikov, The framed Morse complex and its invariants , Adv.\ Soviet Math.\ 21 (1994), 93--115

    work page 1994

  3. [3]

    S.\ Blank and F.\ Laudenbach, Extension \`a une vari\' e t\' e de dimension 2 d'un germe de fonction donne le long du bord , C.\ R.\ Math.\ Acad.\ Sci.\ Paris 270 (1970), 1663--1665

    work page 1970

  4. [4]

    C.\ Curley, Non-singular extensions of Morse functions , Topology (1) 16 (1977), 89--97

    work page 1977

  5. [5]

    I.\ Gelbukh, Reeb graphs of circle-valued functions: A survey and basic facts , Topol.\ Methods Nonlinear Anal.\ (1) 61 (2023), 59--81

    work page 2023

  6. [6]

    K.\ Iwamoto, Non-singular extensions of Morse functions on disconnected surfaces , Kyushu J.\ Math.\ 75 (2021), 23--40

    work page 2021

  7. [7]

    C.\ Laroche, Extending a Morse function to a non-orientable 3 -manifold , Preprint (2017), arXiv:1709.03328v1

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  8. [8]

    J.\ Milnor, Morse theory , Ann.\ of Math.\ Stud., Vol 51, Princeton Univ.\ Press (1963)

    work page 1963

  9. [9]

    K.\ A.\ de Rezende, G.\ G.\ E.\ Ledesma, O.\ Manzoli-Neto and G.\ M.\ Vago, Lyapunov graphs for circle valued functions , Topology Appl.\ 245 (2018), 69--91

    work page 2018

  10. [10]

    V.\ Seigneur, Extensions de fonctions d'un voisinage de la sph\`ere \`a la boule , C.\ R.\ Math.\ Acad.\ Sci.\ Paris (7) 356 (2018), 712--716

    work page 2018

  11. [11]

    N.\ Shibata, On non-singular stable maps of 3 -manifolds with boundary into the plane , Hiroshima J.\ Math.\ 30 (2000), 415--435

    work page 2000