Abstract:In this paper, the concordance of Morse functions is defined, and a necessary and sufficient condition for given two Morse functions to be concordant is presented and is compared with the cobordism criterion. Cobordism of Morse functions on smooth closed manifolds is an equivalence relation defined by using cobordisms of manifolds and fold maps. Given two Morse functions, it is important to decide whether they are cobordant or not, and this problem was first solved for surfaces and then for manifolds of general dimensions by Ikegami-Saeki, Kalmár, and Ikegami. On the other hand, for Morse functions on the same manifold, we can consider a stronger equivalence relation called concordance.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to define the concordance of Morse functions on manifolds and give the necessary and sufficient conditions for two Morse functions to be concordant. Specifically, the author introduces the concept of concordance of Morse functions and determines the concordance set \(C(M)\). In addition, the author also compares concordance with the existing cobordism criteria to explore the connections and differences between these two equivalence relations.
### Background of the paper
- **Morse function**: A real - valued function defined on a differentiable manifold, all of whose critical points are non - degenerate.
- **Cobordism**: An equivalence relation of Morse functions defined by the cobordism of manifolds and fold mappings.
- **Concordance**: A stronger equivalence relation defined between Morse functions on the same manifold.
### Main contributions
1. **Define concordance**: The author defines a new equivalence relation - concordance - between Morse functions on the same manifold.
2. **Determine the concordance set**: Gives the specific structure of the concordance set \(C(M)\):
- When the dimension \(n\) of the manifold is even, \(C(M)\) is in one - to - one correspondence with \(\mathbb{Z}^{\lfloor n/2\rfloor}\).
- When the dimension \(n\) of the manifold is odd, \(C(M)\) is in one - to - one correspondence with \(\mathbb{Z}^{\lfloor n/2\rfloor}\oplus\mathbb{Z}_2\).
3. **Compare concordance and cobordism**: Through specific invariants, the author compares the two equivalence relations of concordance and cobordism and proves that concordance is a stronger equivalence relation.
### Specific content
- **Introduction**: Introduces the development history of the cobordism theory of Morse functions and presents the motivation for studying concordance.
- **Preliminaries**: Reviews the basic concepts of Morse functions, as well as the definitions of fold mappings and cusp points.
- **Proof of the main theorems**:
- Proves the structure of the concordance set \(C(M)\) by constructing appropriate fold mappings.
- Uses invariants \(\Phi\) and \(\bar{\sigma}\) to determine whether two Morse functions are concordant.
- Discusses in detail the different cases on manifolds of odd and even dimensions.
### Conclusion
- **Main theorems**:
- When \(n\) is even, the concordance set \(C(M)\) is in one - to - one correspondence with \(\mathbb{Z}^{\lfloor n/2\rfloor}\).
- When \(n\) is odd, the concordance set \(C(M)\) is in one - to - one correspondence with \(\mathbb{Z}^{\lfloor n/2\rfloor}\oplus\mathbb{Z}_2\).
- **Comparison results**:
- In some dimensions, concordance is stronger than cobordism, that is, there exist two cobordant but not concordant Morse functions.
Through these works, the author not only extends the theory of Morse functions, but also provides a new perspective for understanding smooth mappings on manifolds.