Morse lemma

E911360

mathematical theorem result in differential topology

Morse lemma is a fundamental result in differential topology that locally characterizes a non-degenerate critical point of a smooth function as being equivalent, via a coordinate change, to a quadratic form.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (3)

Label	Occurrences
Morse lemma canonical	2
Morse lemma for Banach spaces	1
Morse lemma for complex analytic functions	1

How this entity was disambiguated

This entity first appeared as the object of triple T11219574 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Morse lemma
Context triple: [Morse theory, centralResult, Morse lemma]

A. Poincaré lemma
The Poincaré lemma is a fundamental result in differential geometry and topology stating that every closed differential form on a star-shaped (or more generally, contractible) domain is locally exact.
B. Morse Theory
Morse Theory is a branch of differential topology that studies the relationship between the topology of manifolds and the critical points of smooth real-valued functions defined on them.
C. Poincaré–Hopf theorem
The Poincaré–Hopf theorem is a fundamental result in differential topology that relates the sum of the indices of a vector field’s isolated zeros on a compact manifold to the manifold’s Euler characteristic.
D. Thom transversality theorem
The Thom transversality theorem is a fundamental result in differential topology that guarantees generic smooth maps are transverse to given submanifolds, underpinning the study of stable phenomena and cobordism.
E. Lefschetz
Lefschetz is a surname most notably associated with Solomon Lefschetz, a pioneering mathematician in algebraic topology and geometry.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Morse lemma
Target entity description: Morse lemma is a fundamental result in differential topology that locally characterizes a non-degenerate critical point of a smooth function as being equivalent, via a coordinate change, to a quadratic form.

A. Poincaré lemma
The Poincaré lemma is a fundamental result in differential geometry and topology stating that every closed differential form on a star-shaped (or more generally, contractible) domain is locally exact.
B. Morse Theory
Morse Theory is a branch of differential topology that studies the relationship between the topology of manifolds and the critical points of smooth real-valued functions defined on them.
C. Poincaré–Hopf theorem
The Poincaré–Hopf theorem is a fundamental result in differential topology that relates the sum of the indices of a vector field’s isolated zeros on a compact manifold to the manifold’s Euler characteristic.
D. Thom transversality theorem
The Thom transversality theorem is a fundamental result in differential topology that guarantees generic smooth maps are transverse to given submanifolds, underpinning the study of stable phenomena and cobordism.
E. Lefschetz
Lefschetz is a surname most notably associated with Solomon Lefschetz, a pioneering mathematician in algebraic topology and geometry.
F. None of above. chosen

Statements (48)

Predicate	Object
instanceOf	mathematical theorem ⓘ result in differential topology ⓘ
appliesTo	non-degenerate critical points of smooth functions ⓘ smooth real-valued functions on manifolds ⓘ
assumes	non-degeneracy of the Hessian at the critical point ⓘ smoothness of the function ⓘ
characterizes	local behavior of smooth functions near non-degenerate critical points ⓘ non-degenerate critical points up to smooth coordinate change ⓘ
concerns	local normal form of functions ⓘ non-degenerate critical points ⓘ quadratic forms ⓘ smooth functions ⓘ
ensures	existence of a diffeomorphism sending the function to a quadratic form near the critical point ⓘ
field	differential geometry ⓘ differential topology ⓘ
hasConsequence	local product structure near non-degenerate critical points ⓘ normal form for smooth functions near non-degenerate critical points ⓘ
hasVariant	Morse lemma for Banach spaces ⓘ linked to: Morse lemma Morse lemma for complex analytic functions ⓘ linked to: Morse lemma parametrized Morse lemma ⓘ
historicalContext	developed in the context of Morse theory in the early 20th century ⓘ
holdsIn	finite-dimensional smooth manifolds ⓘ
implies	existence of coordinates in which the Hessian is diagonal with entries ±1 ⓘ local classification of non-degenerate critical points by index ⓘ non-degenerate critical points are isolated ⓘ
involvesConcept	Taylor expansion of smooth functions ⓘ diffeomorphism of neighborhoods ⓘ index of a critical point ⓘ signature of the Hessian ⓘ
namedAfter	Marston Morse ⓘ
relatedTo	Hessian matrix ⓘ Morse function ⓘ Morse index ⓘ implicit function theorem ⓘ non-degenerate quadratic form ⓘ stable manifold theorem ⓘ
states	a smooth function near a non-degenerate critical point is equivalent to a quadratic form in suitable local coordinates ⓘ there exist local coordinates in which the function has no terms of order higher than two near a non-degenerate critical point ⓘ
typicalForm	f(x)=f(p)-x_1^2-\cdots-x_\lambda^2+x_{\lambda+1}^2+\cdots+x_n^2 in suitable coordinates ⓘ
usedFor	reducing nonlinear problems to quadratic ones near non-degenerate equilibria ⓘ simplifying local computations near critical points ⓘ
usedIn	Morse theory ⓘ linked to: Morse Theory calculus of variations ⓘ critical point theory ⓘ local analysis of gradient flows ⓘ proofs of handle decomposition theorems ⓘ singularity theory for non-degenerate singularities ⓘ study of topology of manifolds via smooth functions ⓘ

How these facts were elicited

Referenced by (4)

Full triples — surface form annotated when it differs from this entity's canonical label.

Morse theory → centralResult → Morse lemma ⓘ

subject linked to: Morse Theory

Singularity Theory → hasKeyResult → Morse lemma ⓘ

Morse lemma → hasVariant → Morse lemma for complex analytic functions ⓘ

linked to: Morse lemma

Morse lemma → hasVariant → Morse lemma for Banach spaces ⓘ