Smooth functions which are Morse on preimages of values not being local extrema and constructing natural functions of the class on connected sums of manifolds admitting these functions

Basic Information

• Paper ID: 2510.00464
• Title: Smooth functions which are Morse on preimages of values not being local extrema and constructing natural functions of the class on connected sums of manifolds admitting these functions
• Author: Naoki Kitazawa
• Classification: math.GN (General Topology), math.CO (Combinatorics), math.GT (Geometric Topology)
• Publication Date: October 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.00464v3

Abstract

This paper discusses smooth functions that possess Morse properties on preimages of values that are not local extrema, referred to as interior Morse functions or I-Morse functions. The Reeb graph represents the space of all connected components of single-point preimages of a smooth function, with vertices corresponding to preimages containing critical points. A smooth function is called neat with respect to the Reeb graph (N-Reeb) if the preimage of each vertex is a closed subset with empty interior in the manifold domain. The author investigates combinations of I-Morse and N-Reeb functions (IN-Morse-Reeb functions), with the main result being the construction of an IN-Morse-Reeb function on the connected sum of given manifolds that respects two such functions.

Research Background and Motivation

Problem Background

1. Importance of Morse Functions: Morse functions and Morse-Bott functions are fundamental tools in manifold geometry and important research objects in singularity theory. Through natural correspondence between critical points and k-handles, they play a key role in understanding the topological structure of manifolds.
2. Role of Reeb Graphs: For certain well-behaved classes of functions, Reeb graphs can be defined. These combinatorial objects serve as fundamental tools for obtaining important information such as the first Betti number and the rank of the fundamental group, and are important means for visualizing Morse functions or certain generalized functions.
3. Limitations of Existing Research: Traditional Morse function theory primarily focuses on properties of all critical points, with less research on functions possessing Morse properties only on specific preimages.

Research Motivation

1. Theoretical Refinement: Extending Morse function theory to study more general function classes
2. Construction Problems: Solving the problem of constructing functions with specific properties on connected sum manifolds
3. Combinatorial Properties: Establishing deep connections between function properties and their Reeb graphs

Core Contributions

1. Definition of New Function Classes: Introduces the concepts of I-Morse functions (interior Morse) and N-Reeb functions (neat with respect to Reeb graphs), and investigates their combination IN-Morse-Reeb functions
2. Main Construction Theorem: Proves that for IN-M-R functions on two closed connected manifolds, an IN-M-R function can be constructed on their connected sum whose Reeb directed graph is isomorphic to a directed graph obtained in a specific manner
3. Properties of Simple Functions: Establishes the theory of G-simple functions and proves related construction and classification results
4. Technical Methods: Provides construction methods based on Ehresmann fibration theorem and handle theory

Detailed Methodology

Core Definitions

Definition 1 (I-Morse Function): A smooth function f is Morse on preimages of values that are not local extrema, called interior Morse or I-Morse function.

Definition 2 (N-Reeb Function): A function is called neat with respect to the Reeb graph or N-Reeb function if the preimage of each vertex of the Reeb graph is a closed subset with empty interior in the manifold domain.

Definition 3 (IN-M-R Function): A function simultaneously satisfying both I-Morse and N-Reeb properties is called an IN-Morse-Reeb function.

Main Theorems

Theorem 1: For IN-M-R functions on two closed connected manifolds of dimension m > 1, an IN-M-R function can be constructed on their connected sum whose Reeb directed graph is isomorphic to the directed graph G_R obtained by:

• Selecting one point corresponding to a non-local extremum from each of the two Reeb directed graphs G_{R,1} and G_{R,2}
• Identifying these two points as the unique new vertex to obtain G_R

Theorem 2: If the two given mappings are G_{R,i}-S functions, then the resulting function can also be obtained as a G_R-S function.

Theorem 3: For finite connected graphs G under specific conditions, more precise results are provided for constructing IN-M-R functions on connected sums.

Technical Methods

1. Application of Handle Theory: Utilizing the natural correspondence between k-handles and critical points of index k
2. Ehresmann Fibration Theorem: Constructing bundle structures in regions without critical points
3. Local Construction and Gluing: Achieving global construction through local Morse function construction and appropriate gluing

Experimental Setup

As this is pure mathematical theoretical research, it does not involve numerical experiments but rather verifies theoretical results through rigorous mathematical proofs.

Proof Strategy

1. Local Analysis: Performing local construction around each connected component
2. Bundle Construction: Utilizing Proposition 1 and Remark 1 to construct required bundles
3. Deformation and Gluing: Appropriately deforming and gluing local bundles to obtain the desired manifold

Main Results

Construction Results

The paper successfully proves that IN-M-R functions with expected Reeb graph structures can be constructed on connected sum manifolds, providing important theoretical foundations for understanding the existence and constructibility of such functions.

Technical Achievements

1. Proposition 1: Provides methods for constructing bundles under specific conditions
2. Proposition 2: Describes in detail the local structural properties of G-IN-M-R functions
3. Graphical Illustrations: Five technical diagrams clearly demonstrate key steps in the construction process

Related Work

Historical Background

• Morse Theory: Built on classical work by Milnor 26 and others
• Reeb Graph Theory: Originating from pioneering work by Reeb 27
• Singularity Theory: Referencing systematic exposition by Golubitsky and Guillemin 8

Recent Developments

• Classification Problems: Gelbukh 6,7 on realization of Reeb graphs of Morse-Bott functions on given surfaces
• Construction Methods: Michalak 24,25 on combinatorial modifications of Reeb graph realization problems
• Application Fields: Applications in symplectic topology and optimization problems

Conclusions and Discussion

Main Conclusions

1. Successfully establishes construction theory for IN-M-R functions on connected sums
2. Provides concrete construction methods and technical tools
3. Establishes deep connections between function properties and Reeb graph structures

Limitations

1. Dimension Restrictions: Main results require m > 2, with low-dimensional cases requiring special treatment
2. Technical Conditions: Requires satisfaction of specific graph embedding and degree conditions
3. Construction Complexity: Actual construction process involves complex local analysis and global gluing

Future Directions

1. Classification Problems: Classification of certain classes of IN-M-R functions through Reeb directed graphs
2. Geometric Applications: Exploring the importance of these new function classes in other areas of geometry
3. Computational Methods: Developing more effective construction and computational methods

In-Depth Evaluation

Strengths

1. Theoretical Innovation: Introduces new function classes, extending Morse theory
2. Constructive Results: Provides concrete construction methods, proving not only existence but also constructibility
3. Technical Rigor: Employs mature differential topology tools with rigorous argumentation
4. Graphical Support: Clearly demonstrates the construction process through detailed technical diagrams

Weaknesses

1. Insufficient Application Motivation: Lacks specific applications of these new function classes in other mathematical fields
2. Low-Dimensional Cases: Treatment of the m = 2 case is incomplete
3. Computational Complexity: The actual construction process may be overly complex, limiting practical applicability

Impact

1. Theoretical Contribution: Provides new directions for generalizing Morse theory
2. Technical Value: Construction methods may be applicable to other related problems
3. Research Inspiration: Provides rich technical tools and theoretical frameworks for subsequent research

Applicable Scenarios

1. Differential Topology Research: Classification and construction problems of functions on manifolds
2. Singularity Theory: Study of special function classes
3. Applied Mathematics: Potential applications in optimization theory and data analysis

References

The paper cites 33 related references covering classical and recent research results in multiple fields including Morse theory, singularity theory, and differential topology, providing a solid theoretical foundation for this research.

Overall Assessment: This is a high-quality pure mathematics theoretical paper that makes important contributions to the generalization of Morse function theory. While further exploration is needed regarding practical applications, its theoretical value and technical innovation merit recognition.