The Gold Standard of Topology | Lusternik–Schnirelmann Category, Cup-Length Bounds and Critical Points

Find the mechanism before the formula

A smooth function can change completely while the space on which it lives does not. Lusternik–Schnirelmann theory turns that stable topology into a minimum number of critical points, using an invariant defined by how many simple pieces are needed to cover the space.

We will fix the competing category conventions, derive the cup-length bound, calculate examples on a torus and projective space, and separate the theorem’s topological guarantee from the stronger conclusions of Morse theory.

This guide belongs to the Gold Standard of Topology, the Gold Standard of Education and the How X Works hub.

Choose a reading route

Start with the question closest to the decision you need to make. Every route returns to the same worked evidence and transfer checks.

Chapter contents

Open the group you need, then use the chapter links. Teaching sections remain open on the page.

1. Cover the space by sets simple inside the space

An open set U⊂X is categorical in X when its inclusion U→X is null-homotopic. U need not be contractible as a space by itself; it must be deformable to a point through maps that remain in X.

Use the unreduced convention cat_u(X): the least number of categorical open sets covering X. Then cat_u(a contractible space)=1. Many books use a reduced category cat_r=cat_u−1, so the same theorem may differ by one.

Every numerical statement in this article uses cat_u. Translating a source requires checking its convention before copying an inequality.

Reading routes · Contents · Next chapter

2. Category is a homotopy invariant

If X and Y are homotopy equivalent, categorical covers transfer through the equivalence, so cat_u(X)=cat_u(Y) under standard hypotheses. The invariant measures homotopy complexity rather than geometric size or curvature.

A sphere can be covered by two open hemispherical neighbourhoods categorical in the sphere, so cat_u(Sⁿ)≤2 for n>0. It is not contractible, so one set cannot suffice and cat_u(Sⁿ)=2.

• Specify path-connectedness or treat components separately.
• Use open categorical sets in the selected definition.
• Do not replace “contractible in X” with “contractible in itself” without proof.

Reading routes · Previous chapter · Contents · Next chapter

3. Dimension gives an upper bound, cohomology a lower bound

For a suitable connected CW complex, cat_r(X)≤dim X, hence cat_u(X)≤dim X+1. This upper bound is often easy but coarse.

Cohomology supplies a lower bound. If positive-degree classes α₁,…,α_k have nonzero cup product, then at least k+1 categorical open sets are needed in the unreduced convention. The maximum such k is the cup-length over the chosen coefficient ring.

Cup-length depends on coefficients. A product that vanishes over one ring may survive over another, so the coefficient choice belongs in the statement.

Reading routes · Previous chapter · Contents · Next chapter

4. Why a nonzero cup product obstructs a short cover

If X is covered by k categorical sets, positive-degree cohomology classes restrict trivially on the pieces. Relative-cohomology and cup-product arguments then force sufficiently long products to vanish. Contrapositively, a surviving product proves that too few categorical sets cannot cover X.

In our convention, cup-length(X)+1≤cat_u(X). The bound is algebraic and robust, but it need not be sharp. Cohomology can miss homotopy complexity detected by category weight or other refinements.

Reading routes · Previous chapter · Contents · Next chapter

5. Category bounds critical points of smooth functions

Let M be a closed smooth manifold and f:M→ℝ a smooth function. The Lusternik–Schnirelmann theorem gives at least cat_u(M) critical points, with refinements phrased through minimax critical levels and the category of critical sets.

The result does not require f to be Morse. Degenerate critical points and critical submanifolds are allowed, although compactness is essential in the elementary closed-manifold statement. On noncompact manifolds, a Palais–Smale or properness-type condition is needed to prevent minimax sequences escaping to infinity.

Category gives a universal lower bound across all smooth functions. A particular Morse function may be forced to have more critical points by homology and Morse inequalities.

Reading routes · Previous chapter · Contents · Next chapter

6. Worked example: the two-dimensional torus

Over a field, H^*(T²) has degree-one generators a and b with a∪b nonzero in H²(T²). Thus cup-length(T²)≥2 and cat_u(T²)≥3.

The dimension upper bound gives cat_u(T²)≤3, so cat_u(T²)=3. Every smooth real-valued function on the torus therefore has at least three critical points.

A standard height function on an embedded doughnut has four nondegenerate critical points: a minimum, two saddles and a maximum. Four does not contradict the category value three; the theorem supplies a floor, not an exact count for every function.

Reading routes · Previous chapter · Contents · Next chapter

7. Minimax levels connect covers to analysis

LS theory organises subsets by category and defines minimax values by taking an infimum over sufficiently complex sets of their maximum f-value. Deformation below regular levels shows that these minimax values must be critical values.

Several category indices can collapse to one critical value when the critical set at that level has enough category. Therefore a theorem about critical points, critical sets and distinct critical values must be read carefully; they are not interchangeable counts.

The deformation lemma is the analytic bridge. It needs control of the gradient flow or an appropriate compactness condition, not merely a topological cover.

Reading routes · Previous chapter · Contents · Next chapter

8. Transfer check: real projective space

For ℝPⁿ with mod-two coefficients, H^*(ℝPⁿ;ℤ₂)=ℤ₂[α]/(αⁿ⁺¹) with deg α=1. Since αⁿ is nonzero, the cup-length is n and cat_u(ℝPⁿ)≥n+1.

The dimension upper bound gives cat_u(ℝPⁿ)≤n+1, hence equality. Any smooth function on the closed manifold ℝPⁿ has at least n+1 critical points.

The method transfers by changing the cohomology ring and coefficients, not by copying the torus generators. Over coefficients where the relevant class disappears, this particular cup-length proof weakens even though the topological category itself does not change.

Reading routes · Previous chapter · Contents · Next chapter

9. LS and Morse theory answer different questions

Morse theory counts nondegenerate critical points by index and relates them to cells and Betti numbers. LS category applies to arbitrary smooth functions and measures how much categorical complexity a deformation must cross.

For T², the sum of Betti numbers over a field is four, so a Morse function has at least four critical points. LS category gives three for an arbitrary smooth function. The stronger Morse bound uses the extra nondegeneracy assumption.

Morse–Bott functions require another comparison: a critical submanifold may carry category and homology even though it is one connected critical component.

Reading routes · Previous chapter · Contents · Next chapter

10. Limits and misconceptions

• Category conventions differ by one; state yours.
• Categorical in X does not mean intrinsically contractible.
• Cup-length is a lower bound, not always the exact category.
• The coefficient ring can change the available cup product.
• The LS theorem does not say all critical values are distinct.
• Noncompact problems need compactness conditions beyond topology.

A correct calculation keeps three layers separate: the categorical cover, the cohomological obstruction to a smaller cover, and the analytic theorem that converts category into critical behaviour.

Reading routes · Previous chapter · Contents · Next chapter

11. Frequently asked questions

Can category be infinite?

Yes for general spaces. Finite-dimensional connected CW complexes have standard finite upper bounds, but the definition itself allows infinity.

Why use open sets?

Open categorical covers interact well with homotopy extension, deformation arguments and manifold analysis. Equivalent formulations exist under suitable hypotheses, but should not be substituted silently.

Does cup-length determine category?

Sometimes, as for spheres, tori and real projective spaces in these examples. In general it can be strictly smaller, and stronger lower bounds may be needed.

Reading routes · Previous chapter · Contents · Next chapter

12. A reproducible LS-category checklist

The gold standard is a complete chain: a named convention, a valid cohomology product, matching upper and lower bounds where possible, and an analytic hypothesis strong enough to turn category into critical points.

Reading routes · Previous chapter · Contents · Continue reading

Continue through the Gold Standard ecosystem

Return to the Gold Standard of Topology, the Gold Standard of Education parent, or the How X Works hub.

Read next in this subject

• Morse–Bott Functions, Critical Submanifolds and Handle Attachments
• Thom Spaces, Clutching Maps and Euler-Class Section Obstructions
• Classifying Spaces, Principal Bundles and Universal Pullback Tests
• Pontryagin–Thom Collapse, Framed Cobordism and Stable Homotopy

Authoritative reading

• Cornea, Lupton, Oprea and Tanré, Lusternik–Schnirelmann Category
• Ganea, Lusternik–Schnirelmann Category and Cocategory
• Ginzburg, Morse Theory course materials including LS theory
• Springer appendix statement of the Lusternik–Schnirelmann critical-point theorem