Revisiting Arnold's topological proof of the Morse index theorem

Eduardo V. Sodré

2023-07-03

Abstract:We give an exposition of the Morse Index Theorem in the Riemannian case in terms of the Maslov index, following and expanding upon Arnold's seminal paper. We emphasize the symplectic arguments in the proof and aim to be as self-contained as possible.

Differential Geometry

What problem does this paper attempt to address?

Recent Results on the Moduli Spaces of Riemann Surfaces

Kefeng Liu

DOI: https://doi.org/10.4310/sdg.2005.v10.n1.a3

2005-01-01

Surveys in Differential Geometry

Abstract:In this paper we briefly discuss some of our recent results in the study of moduli space of Riemann surfaces. It is naturally divided into two parts, one about the differential geometric aspect, another on the topological aspect of the moduli spaces. To understand the geometry of the moduli spaces we introduced new metrics, studied in detail all of the known classical complete metrics, especially the Kähler-Einstein metric. As a corollary we proved that the logarithmic cotangent bundle of the moduli space is strictly stable in the sense of Mumford. The topological results we obtained were motivated by conjectures from string theory. We will describe in this part our proofs by localization method of the Mariño-Vafa formula, its two partition analogue as well as the theory of topological vertex and the simple localization proofs of the ELSV formula and the Witten conjecture. The applications of these formulas in Gromov-Witten theory and string duality will also be mentioned.
Generalized Morse Functions, Excision and Higher Torsions

Martin Puchol,Junrong Yan

2024-07-24

Abstract:Comparing invariants from both topological and geometric perspectives is a key focus in index theorem. This paper compares higher analytic and topological torsions and establishes a version of the higher Cheeger-Müller/Bismut-Zhang theorem. In fact, Bismut-Goette achieved this comparison assuming the existence of fiberwise Morse functions satisfying the fiberwise Thom-Smale transversality condition (TS condition). To fully generalize the theorem, we should remove this assumption. Notably, unlike fiberwise Morse functions, fiberwise generalized Morse functions (GMFs) always exist, we extend Bismut-Goette's setup by considering a fibration $ M \to S $ with a unitarily flat complex bundle $ F \to M $ and a fiberwise GMF $ f $, while retaining the TS condition. Compared to Bismut-Goette's work, handling birth-death points for a generalized Morse function poses a key difficulty. To address this, first, by the work of the author M.P., joint with Zhang and Zhu, we focus on a relative version of the theorem. Here, analytic and topological torsions are normalized by subtracting their corresponding torsions for trivial bundles. Next, using new techniques from by the author J.Y., we excise a small neighborhood around the locus where $f$ has birth-death points. This reduces the problem to Bismut-Goette's settings (or its version with boundaries) via a Witten-type deformation. However, new difficulties arise from very singular critical points during this <a class="link-external link-http" href="http://deformation.To" rel="external noopener nofollow">this http URL</a> address these, we extend methods from Bismut-Lebeau, using Agmon estimates for noncompact manifolds developed by Dai and J.Y.

Differential Geometry,Analysis of PDEs,Spectral Theory
The Morse Index for Manifolds with Constant Sectional Curvature

DOI: https://doi.org/10.1007/s00009-024-02682-5

2024-06-09

Mediterranean Journal of Mathematics

Abstract:We compute the Morse index of a critical submanifold of the energy functional on the loop space of a manifold with constant sectional curvature. The case of constant non-positive sectional curvature is a known result and the case of a sphere has been proved by Klingenberg. We adapt Klingenberg's proof of the case of a sphere to the case of constant sectional curvature, to obtain the possible Morse indices of critical submanifolds of the energy functional.

mathematics, applied
The Morse index theorem in the case of two variable endpoints in conic Finsler manifolds

Guangcun Lu

2023-07-31

Abstract:In this note, we prove the Morse index theorem for a geodesic connecting two submanifolds in a $C^7$ manifold with a $C^6$ (conic) pseudo-Finsler metric provided that the fundamental tensor is positive definite along velocity curve of the geodesic.

Differential Geometry
Morse Index Stability of Willmore Immersions I

Alexis Michelat,Tristan Rivière

2023-06-08

Abstract:In a recent work, F. Da Lio, M. Gianocca, and T. Rivière developped a new method to show upper semi-continuity results in geometric analysis, which they applied to conformally invariant Lagrangians in dimension $2$ (that include harmonic maps). In this article, we apply this method to show that the sum of the Morse index and the nullity of Willmore immersions is upper semi-continuous, provided that the limiting immersions and the bubbles are free of branch points. Our result covers the case of degenerating Riemann surfaces for which the ratio of the second residue (considered by P. Laurain and T. Rivière in their work on the energy quantization of Willmore surfaces) and the length of the minimal shrinking geodesic of the underlying sequence of Riemann surfaces is smaller than a universal constant.

Differential Geometry,Analysis of PDEs
Morse Index Stability of Biharmonic Maps in Critical Dimension

Alexis Michelat

2023-12-13

Abstract:Furthering the development of Da Lio-Gianocca-Rivière's Morse stability theory (<a class="link-https" data-arxiv-id="2212.03124" href="https://arxiv.org/abs/2212.03124">arXiv:2212.03124</a>) that was first applied to harmonic maps between manifolds and later extended to the case of Willmore immersions (<a class="link-https" data-arxiv-id="2306.04608" href="https://arxiv.org/abs/2306.04608">arXiv:2306.04608</a>-04609), we generalise the method to the case of (intrinsic or extrinsic) biharmonic maps. In the course of the proof, we develop a novel method to prove strong energy quantization (in the space of squared-integrable functions that corresponds to the pre-dual of the Marcinkiewicz space of weakly squared-integrable functions) in a wide class of problems in geometric analysis, which allows us to recover some previous results in a unified fashion.

Analysis of PDEs,Differential Geometry
A new proof of a theorem of Dutertre and Fukui on Morin singularities

Camila M. Ruiz

DOI: https://doi.org/10.48550/arXiv.1602.05982

2016-02-19

Abstract:In [2], <a class="link-external link-http" href="http://N.Dutertre" rel="external noopener nofollow">this http URL</a> and T. Fukui used Viro's integral calculus to study the topology of stable maps $f:M\rightarrow N$ between two smooth manifolds $M$ and $N$. They also discussed several applications to Morin maps. In particular, in Theorem 6.2 [2], they show an equality relating the Euler characteristic of a compact manifold $M$ and the Euler characteristic of the singular sets of a Morin map defined on $M$. In this paper we show how Morse theory for manifolds with boundary can be applied to the study of the singular sets of a Morin map in order to obtain a new proof of Dutertre-Fukui's Theorem when $N=\mathbb{R}^n$.

Geometric Topology
Morse Theory for Geodesics in Conical Manifolds

Marco G. Ghimenti

DOI: https://doi.org/10.48550/arXiv.1012.5520

2010-12-26

Abstract:The aim of this paper is to extend the Morse theory for geodesics to the conical manifolds. We define these manifolds as submanifolds of $\R^n$ with a finite number of conical singularities. To formulate a good Morse theory we must use an appropriate definition of geodesic. The main theorem of this paper claims that, although the energy is nonsmooth, we can find a continuous retraction of its sublevels in absence of critical points. So, we can give a good definition of index for isolated critical values and for isolated critical points. We prove that Morse relations hold and, at last, we give a definition of multiplicity of geodesics which is geometrical meaningful.

Analysis of PDEs
Revisiting the Cohen-Jones-Segal construction in Morse-Bott theory

Ciprian Mircea Bonciocat

2024-09-19

Abstract:In 1995, Cohen, Jones and Segal proposed a method of upgrading any given Floer homology to a stable homotopy-valued invariant. For a generic pseudo-gradient Morse-Bott flow on a closed smooth manifold $M$, we rigorously construct the conjectural stable normal framings, which are an essential ingredient in their construction, and give a rigorous proof that the resulting stable homotopy type recovers $\Sigma^\infty_+ M$. We further show that one can recover Thom spectra $M^E$ for all reduced $KO$-theory classes $E$ on $M$, by using slightly modified stable normal framings. Our paper also includes a construction of the smooth corner structure on compactified moduli spaces of broken flow lines with free endpoint, a formal construction of Piunikhin-Salamon-Schwarz type continuation maps, and a way to relax the stable normal framing condition to orientability in orthogonal spectra.

Algebraic Topology,Geometric Topology,Symplectic Geometry
Analytic and Topological Invariants Associated to Nowhere Zero Vector Fields

WP Zhang

DOI: https://doi.org/10.2140/pjm.1999.187.379

1999-01-01

Pacific Journal of Mathematics

Abstract:It is well-known that the classical Gauss-Bonnet-Chern theorem [C] can be interpreted as an index theorem for de Rham-Hodge operators (cf. [BGV] and [LM]) and that it is nontrivial only for even dimensional manifolds. This paper arose from an attempt to search an odd dimensional analogue of this index theorem. Recall that the Gauss-Bonnet-Chern theorem is closely related to the famous Poincare-Hopf index formula expressing the Euler number as the sum of indices of singularities of a tangent vector field. Now for odd dimensional manifolds, or more generally for manifolds with vanishing Euler number, we take the advantage that another result of Hopf asserts that there always exist nowhere zero vector fields (see e.g. Steenrod [S]). Thus let M be an odd dimensional oriented closed manifold and let V be a nowhere zero vector field on M . Let γ be the one dimensional oriented vector bundle over M generated by V . Then TM/γ carries a canonically induced orientation. Let e(TM/γ) be the Euler class of TM/γ. For any integral element ω in H1(M,Q), we will take 〈ωe(TM/γ), [M ]〉 as our substitute for the Euler class appeared in the Gauss-Bonnet-Chern theorem. The main result of this paper gives an analytic formula for this number as the index of certain elliptic Toeplitz operators. In fact, a general odd index theory has already been developed by BaumDouglas [BD] who pointed out that the associated index can be computed
Morse Theory in Differential Equations

Kung-Ching Chang

DOI: https://doi.org/10.1007/978-3-0348-9078-6_99

1995-01-01

Abstract:In the study of closed geodesics, Marston Morse developed his theory on the calculus of variations in the large. The Morse inequalities, which link on one hand, the numbers of critical points in various types of a function, and on the other hand, the topological invariants of the underlying manifold, play an important role in Morse theory. Naturally, they provide an estimate for the number of critical points of a function by using the topology of the manifold. Hopefully, this topological method would deal with the existence and the multiplicity of solutions of certain nonlinear differential equations. However, in this theory, the manifold is compact, and the functions are assumed to be C2 and to have only nondegenerate critical points; all of these restrict the applications seriously. In contrast, Leray-Schauder degree theory has become a very useful topological method. In 1946, at the bicentennial conferences of Princeton University, there was much discussion of their contrast. M. Shiffman hoped that the two methods could be brought closer together “so that they may alter and improve each other, and also so that each may fill out the gaps in the scope of the other” [Pr]. Since then, great efforts have been made to extend the Morse theory. We only mention a few names of the pioneers as follows: R. Bott, E. Rothe, R. S. Palais, S. Smale, D. Gromoll, W. Meyer, A. Marino, and G. Prodi.
Lefschetz Theorem Using Real Morse Theory

Nima Rose Manjila,A. J. Parameswaran

DOI: https://doi.org/10.48550/arXiv.2107.01591

2021-07-06

Abstract:We prove the Lefschetz hyperplane section theorem using a simpler machinery by making the observation that we can compose the Lefschetz Pencil with a Real Morse function to get a map from the variety to $\mathbb{R}$ which is "close" to being a Real Morse function. The proof uses a new method unlike the conventional one which uses vanishing cycles, thimbles and monodromy. We prove the genus formula for plane curves using Morse theory, Lefschetz pencil and Bézout's theorem. And then we prove the Riemann Hurwitz formula for ramified maps between curves by employing techniques from deformation theory. Lastly, we prove the Lefschetz Hyperplane Section Theorem solely using Real Morse Theory and exact sequences.

Algebraic Geometry,Dynamical Systems
A Counterexample to Infinite-Dimensional Version of the Morse-Sard Theorem

Jiang Haiyi

DOI: https://doi.org/10.1007/s11766-003-0085-3

2003-01-01

Abstract:In this note, a positive answer for a question posed by S. Bates in 1992 is given, i.e. there exists a C ∞ rank-1 map f : I 2 → R 1 such that f(A) has nonempty interior for some subset A ⊂ I 2 of critical points with finite Hausdorff dimension. It is to say the Morse criticality theorem can not be generalized to infinite-dimensional spaces.
Morse–Sard theorem and Luzin N-property: a new synthesis result for Sobolev spaces

A. Ferone,M. V. Korobkov,A. Roviello

2018-01-01

Abstract:For a regular (in a sense) mapping v:ℝ^n →ℝ^d we study the following problem: let S be a subset of m-critical a set Z̃_v,m={ rank∇ v≤ m} and the equality ℋ^τ(S)=0 (or the inequality ℋ^τ(S)<∞) holds for some τ>0. Does it imply that ℋ^σ(v(S))=0 for some σ=σ(τ,m)? (Here ℋ^τ means the τ-dimensional Hausdorff measure.) For the classical classes C^k-smooth and C^k+α-Holder mappings this problem was solved in the papers by Bates and Moreira. We solve the problem for Sobolev W^k_p and fractional Sobolev W^k+α_p classes as well. Note that we study the Sobolev case under minimal integrability assumptions p=max(1,n/k), i.e., it guarantees in general only the continuity (not everywhere differentiability) of a mapping. In particular, there is an interesting and unexpected analytical phenomena here: if τ=n (i.e., in the case of Morse–Sard theorem), then the value σ(τ) is the same for the Sobolev W^k_p and for the classical C^k-smooth case. But if τ<n, then the value σ depends on p also; the value σ for C^k case could be obtained as the limit when p→∞. The similar phenomena holds for Holder continuous C^k+α and for the fractional Sobolev W^k+α_p classes. The proofs of the most results are based on our previous joint papers with J. Bourgain and J. Kristensen (2013, 2015). We also crucially use very deep Y. Yomdin's entropy estimates of near critical values for polynomials (based on algebraic geometry tools).
MORSE HOMOTOPY AND ITS QUANTIZATION

Kenji FUKAYA

1999-01-01

Abstract:Morse theory, which is one of the roots of differential topology, is a method to study topology of manifolds using functions on it. One of its main application is Morse inequality, which gives a relation between Betti number and the number of critical points of Morse function. The original proof (due to Morse) involves something more. That is it gives a way to find a homology group of a manifold using a Morse function. Variants of this idea appeared repeatedly in many important works by Thom, Smale, Milnor, etc. This point again appeared in Witten’s famous paper [W1] and call attentions of many mathematicians. Floer [Fl] (generalizing [CZ]) uses it to built a new infinite dimensional homology theory. There the moduli space of gradient lines played an essential role. One main point in [W1] is to regard Morse theory as a topological field theory. In fact, one may regard it as one dimensional topological field theory or quantum mechanics, while topological σ-model, Gauge field theory etc. are regarded as (topological) quantum field theories. The purpose of this paper is two fold. One is to push forward this point of view and shows that we can regard various operators of algebraic topology as n-point functions. We use several functions for this purpose while in finding homology one use a single Morse function.
The Morse index of a triply periodic minimal surface

Norio Ejiri,Toshihiro Shoda

DOI: https://doi.org/10.48550/arXiv.1801.10388

2018-01-31

Abstract:In the previous work, the first author established an algorithm to compute the Morse index and the nullity of an $n$-periodic minimal surface in $\mathbb{R}^n$. In fact, the Morse index can be translated into the number of negative eigenvalues of a real symmetric matrix and the nullity can be translated into the number of zero-eigenvalue of a Hermitian matrix. The two key matrices consist of periods of the abelian differentials of the second kind on a minimal surface, and the signature of the Hermitian matrix gives a new invariant of a minimal surface. On the other hand, H family, rPD family, tP family, tD family, and tCLP family of triply periodic minimal surfaces in $\mathbb{R}^3$ have been studied in physics, chemistry, and crystallography. In this paper, we first determine the two key matrices for the five families explicitly. As its applications, by numerical arguments, we compute the Morse indices, nullities, and signatures for the five families.

Differential Geometry
The Morse index of Chaperon's generating families

Marco Mazzucchelli

DOI: https://doi.org/10.48550/arXiv.1507.08344

2016-07-08

Abstract:This is an expository paper devoted to the Morse index of Chaperon's generating families of Hamiltonian diffeomorphisms. After reviewing the construction of such generating families, we present Bott's iteration theory in this setting: we study how the Morse index of a critical point corresponding to an iterated periodic orbit depends on the order of iteration of the orbit. We also investigate the precise dependence of the Morse index from the choice of the generating family associated to a given Hamiltonian diffeomorphism, which will allow to see the Morse index as a Maslov index for the linearized Hamiltonian flow in the symplectic group. We will conclude the survey with a proof that the classical Morse index from Tonelli Lagrangian dynamics coincides with the Maslov index.

Symplectic Geometry,Dynamical Systems
Morse homology and equivariance

Erkao Bao,Tyler Lawson

DOI: https://doi.org/10.48550/arXiv.2409.04694

2024-09-07

Abstract:In this paper, we develop methods for calculating equivariant homology from equivariant Morse functions on a closed manifold with the action of a finite group. We show how to alter $G$-equivariant Morse functions to a stable one, where the descending manifold from a critical point $p$ has the same stabilizer group as $p$, giving a better-behaved cell structure on $M$. For an equivariant, stable Morse function, we show that a generic equivariant metric satisfies the Morse--Smale condition. In the process, we give a proof that a generic equivariant function is Morse, and that equivariant, stable Morse functions form a dense subset in the $C^0$-topology within the space of all equivariant functions. Finally, we give an expository account of equivariant homology and cohomology theories, as well as their interaction with Morse theory. We show that any equivariant Morse function gives a filtration of $M$ that induces a Morse spectral sequence, computing the equivariant homology of $M$ from information about how the stabilizer group of a critical point acts on its tangent space. In the case of a stable Morse function, we show that this can be further reduced to a Morse chain complex.

Geometric Topology,Symplectic Geometry
Morse Index bound of simple closed geodesics on 2-spheres and strong Morse Inequalities

Dongyeong Ko

2023-04-12

Abstract:We give a Morse-theoretic characterization of simple closed geodesics on Riemannian $2$-spheres. On any Riemannian $2$-sphere endowed with a generic metric, we show there exists a simple closed geodesic with Morse index $1$, $2$ and $3$. In particular, for an orientable Riemannian surface we prove strong Morse inequalities for the length functional applied to the space of simple closed curves.

Differential Geometry
Topology change with Morse functions: progress on the Borde-Sorkin conjecture

Leonardo García-Heveling

DOI: https://doi.org/10.4310/ATMP.2023.v27.n4.a4

2024-02-13

Abstract:Topology change is considered to be a necessary feature of quantum gravity by some authors, and impossible by others. One of the main arguments against it is that spacetimes with changing spatial topology have bad causal properties. Borde and Sorkin proposed a way to avoid this dilemma by considering topology changing spacetimes constructed from Morse functions, where the metric is allowed to vanish at isolated points. They conjectured that these Morse spacetimes are causally continuous (hence quite well behaved), as long as the index of the Morse points is different from $1$ and $n-1$. In this paper, we prove a special case of this conjecture. We also argue, heuristically, that the original conjecture is actually false, and formulate a refined version of it.

General Relativity and Quantum Cosmology,High Energy Physics - Theory,Mathematical Physics,Differential Geometry

Revisiting Arnold's topological proof of the Morse index theorem

Recent Results on the Moduli Spaces of Riemann Surfaces

Generalized Morse Functions, Excision and Higher Torsions

The Morse Index for Manifolds with Constant Sectional Curvature

The Morse index theorem in the case of two variable endpoints in conic Finsler manifolds

Morse Index Stability of Willmore Immersions I

Morse Index Stability of Biharmonic Maps in Critical Dimension

A new proof of a theorem of Dutertre and Fukui on Morin singularities

Morse Theory for Geodesics in Conical Manifolds

Revisiting the Cohen-Jones-Segal construction in Morse-Bott theory

Analytic and Topological Invariants Associated to Nowhere Zero Vector Fields

Morse Theory in Differential Equations

Lefschetz Theorem Using Real Morse Theory

A Counterexample to Infinite-Dimensional Version of the Morse-Sard Theorem

Morse–Sard theorem and Luzin N-property: a new synthesis result for Sobolev spaces

MORSE HOMOTOPY AND ITS QUANTIZATION

The Morse index of a triply periodic minimal surface

The Morse index of Chaperon's generating families

Morse homology and equivariance

Morse Index bound of simple closed geodesics on 2-spheres and strong Morse Inequalities

Topology change with Morse functions: progress on the Borde-Sorkin conjecture