Lie–Palais theorem

Key takeaways

Lie–Palais theorem belongs to mathematics; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect Lie–Palais theorem to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of Lie–Palais theorem from memory before moving on to harder problems.

Reference excerpt

In differential geometry, a field of mathematics, the Lie–Palais theorem is a partial converse to the fact that any smooth action of a Lie group induces an infinitesimal action of its Lie algebra. Palais (1957) proved it as a global form of an earlier local theorem due to Sophus Lie.

Statement Let g {\displaystyle {\mathfrak {g}}} be a finite-dimensional Lie algebra and M {\displaystyle M} a closed manifold, i.e. a compact smooth manifold without boundary. Then any infinitesimal action a : g → X ( M ) {\displaystyle a:{\mathfrak {g}}\to {\mathfrak {X}}(M)} of g {\displaystyle {\mathfrak {g}}} on M {\displaystyle M} can be integrated to a smooth action of a finite-dimensional Lie group G {\displaystyle G} , i.e. there is a smooth action Φ : G × M → M {\displaystyle \Phi :G\times M\to M} such that a ( α ) = d e Φ ( ⋅ , x ) ( α ) {\displaystyle a(\alpha )=d_{e}\Phi (\cdot ,x)(\alpha )} for every α ∈ g {\displaystyle \alpha \in {\mathfrak {g}}} . If M {\displaystyle M} is a manifold with boundary, the statement holds true if the action a {\displaystyle a} preserves the boundary; in other words, the vector fields on the boundary must be tangent to the boundary.

Counterexamples The example of the vector field d / d x {\displaystyle d/dx} on the open unit interval shows that the result is false for non-compact manifolds. Similarly, without the assumption that the Lie algebra is finite-dimensional, the result can be false. Milnor (1984, p. 1048) gives the following example due to Omori: consider the Lie algebra g {\displaystyle {\mathfrak {g}}} of vector fields of the form f ( x , y ) ∂ / ∂ x + g ( x , y ) ∂ / ∂ y {\displaystyle f(x,y)\partial /\partial x+g(x,y)\partial /\partial y} acting on the torus M = R 2 / Z 2 {\displaystyle M=\mathbb {R} ^{2}/\mathbb {Z} ^{2}} such that g ( x , y ) = 0 {\displaystyle g(x,y)=0} for 0 ≤ x ≤ 1 / 2 {\displaystyle 0\leq x\leq 1/2} . This Lie algebra is not the Lie algebra of any group.

Infinite-dimensional generalization Pestov (1995) gives an infinite-dimensional generalization of the Lie–Palais theorem for Banach–Lie algebras with finite-dimensional center.

References Milnor, John Willard (1984), "Remarks on infinite-dimensional Lie groups", Relativity, groups and topology, II (Les Houches, 1983), Amsterdam: North-Holland, pp. 1007–1057, MR 0830252 Reprinted in collected works volume 5. Palais, Richard S. (1957), "A global formulation of the Lie theory of transformation groups", Memoirs of the American Mathematical Society, vol. 22, pp. iii+123, ISBN 978-0-8218-1222-8, ISSN 0065-9266, MR 0121424 {{citation}}: ISBN / Date incompatibility (help) Pestov, Vladimir (1995), "Regular Lie groups and a theorem of Lie-Palais", Journal of Lie Theory, 5 (2): 173–178, arXiv:funct-an/9403004, Bibcode:1994funct.an..3004P, ISSN 0949-5932, MR 1389427

Worked examples

Example 1 — a first encounter with Lie–Palais theorem

Start with the simplest possible case. Write down what Lie–Palais theorem claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In mathematics, the smallest case is usually a single object, a single equation or a single measurement. Check that every symbol or term in your sentence has a meaning in that case.

Example 2 — changing one variable

Take the situation from Example 1 and change exactly one quantity: double it, halve it, or set it to zero. Predict what should happen to Lie–Palais theorem before you calculate. Comparing your prediction with the result is the fastest way to find out whether you understand the idea or only the words.

Example 3 — an exam-style question

Typical questions about Lie–Palais theorem ask you to (a) state it precisely, (b) apply it to given data, and (c) explain a limitation. Practise writing all three answers in under five minutes; the third part is what separates a full-mark answer from an average one.

Applications of Lie–Palais theorem

In research: Lie–Palais theorem appears in mathematics research whenever the underlying quantities have to be modelled precisely. Papers usually cite it as a starting assumption and then explore where it breaks down.
In technology and industry: Engineering practice reuses Lie–Palais theorem in design rules, simulations and safety margins. Knowing the idea lets you read a specification sheet and understand why the numbers look the way they do.
In the classroom: Lie–Palais theorem is common in secondary-school and first-year university syllabi. It links to neighbouring topics Lie algebras, Lie groups, Theorems in differential geometry, so understanding it makes those chapters shorter.
In everyday life: Look for Lie–Palais theorem outside the textbook — in sport, cooking, traffic, electronics or the sky above you. An example you found yourself is remembered far longer than one you were given.

How to study Lie–Palais theorem in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what Lie–Palais theorem means in your own words.
Compare your version with the excerpt and mark what you missed.
Work through the three examples above with pen and paper.
Explain Lie–Palais theorem out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is Lie–Palais theorem in simple terms?

In differential geometry, a field of mathematics, the Lie–Palais theorem is a partial converse to the fact that any smooth action of a Lie group induces an infinitesimal action of its Lie algebra. Palais (1957) proved it as a global form of an earlier local theorem due to Sophus Lie.

Why does Lie–Palais theorem matter?

Because it connects several mathematics ideas at once: it gives you a definition you can apply, a quantity you can calculate, and a way to check whether a result is plausible.

How should I study Lie–Palais theorem?

Read the excerpt, restate it from memory, then work through the examples and applications listed on this page. The five-step study plan above takes about twenty minutes.

What does this page cover?

It gives you a compact reference excerpt plus original lgStudy explanations, examples, applications and study material on Lie–Palais theorem.