Poincaré lemma explained

In mathematics, the Poincaré lemma gives a sufficient condition for a closed differential form to be exact (while an exact form is necessarily closed). Precisely, it states that every closed p-form on an open ball in Rⁿ is exact for p with . The lemma was introduced by Henri Poincaré in 1886.^{[1] [2]}

Especially in calculus, the Poincaré lemma also says that every closed 1-form on a simply connected open subset in

R ^{n} is exact.

In the language of cohomology, the Poincaré lemma says that the k-th de Rham cohomology group of a contractible open subset of a manifold M (e.g.,

M = R ^{n} ) vanishes for k \ge 1 . In particular, it implies that the de Rham complex yields a resolution of the constant sheaf R _{M} on M. The singular cohomology of a contractible space vanishes in positive degree, but the Poincaré lemma does not follow from this, since the fact that the singular cohomology of a manifold can be computed as the de Rham cohomology of it, that is, the de Rham theorem, relies on the Poincaré lemma. It does, however, mean that it is enough to prove the Poincaré lemma for open balls; the version for contractible manifolds then follows from the topological consideration.

The Poincaré lemma is also a special case of the homotopy invariance of de Rham cohomology; in fact, it is common to establish the lemma by showing the homotopy invariance or at least a version of it.

Proofs

A standard proof of the Poincaré lemma uses the homotopy invariance formula (cf. see the proofs below as well as Integration along fibers#Example).^{[3] [4] [5] [6]} The local form of the homotopy operator is described in and the connection of the lemma with the Maurer-Cartan form is explained in .^{[7] [8]}

Direct proof

The Poincaré lemma can be proved by means of integration along fibers.^[9] (This approach is a straightforward generalization of constructing a primitive function by means of integration in calculus.)

We shall prove the lemma for an open subset

U \subset R ^{n} that is star-shaped or a cone over [ 0 , 1 ] ; i.e., if x is in U , then tx is in U for 0 \le t \le 1 . This case in particular covers the open ball case, since an open ball can be assumed to centered at the origin without loss of generality.

The trick is to consider differential forms on

U x [ 0 , 1 ] \subset R ^{n+1} (we use t for the coordinate on [ 0 , 1 ] ). First define the operator \pi _{*} (called the fiber integration) for k-forms on U x [ 0 , 1 ] by\pi _{*} \left( \sum _{i _{1} < … < i _{k-1}} f _{i} dt \wedge dx ^{i} + \sum _{j _{1} < … < j _{k}} g _{j} dx ^{j} \right) = \sum _{i _{1} < … < i _{k-1}} \left( \int ^{1} _{0} f _{i( ⋅ ,} t) dt \right) dx ^{i} where dx ^{i} = dx _{i _{1}} \wedge … \wedge dx _{i _{k}} , f _{i} = f _{i _{1,} ... , i _{k}} and similarly for dx ^{j} and g _{j} . Now, for \alpha = f dt \wedge dx ^{i} , since d \alpha = - \sum _{l} (\partial f)/(\partial x _{l}) dt \wedge dx _{l} \wedge dx ^{i} , using the differentiation under the integral sign, we have:\pi _{*(d} \alpha) = - d(\pi _{*} \alpha) = \alpha _{1} - \alpha _{0} - d(\pi _{*} \alpha) where \alpha _{0,} \alpha _{1} denote the restrictions of \alpha to the hyperplanes t = 0 , t = 1 and they are zero since dt is zero there. If \alpha = f dx ^{j} , then a similar computation gives\pi _{*(d} \alpha) = \alpha _{1} - \alpha _{0} - d(\pi _{*} \alpha) .Thus, the above formula holds for any k -form \alpha on U x [ 0 , 1 ] . Finally, let h(x, t) = tx and then set J = \pi _{*} \circ h ^{*} . Then, with the notation h _{t} = h( ⋅ , t) , we get: for any k -form \omega on U ,h ^{*} _{1} \omega - h ^{*} _{0} \omega = J d \omega + d J \omega, the formula known as the homotopy formula. The operator J is called the homotopy operator (also called a chain homotopy). Now, if \omega is closed, J d \omega = 0 . On the other hand, h ^{*} _{1} \omega = \omega and h ^{*} _{0} \omega = 0 , the latter because there is no nonzero higher form at a point. Hence,\omega = d J \omega, which proves the Poincaré lemma.

The same proof in fact shows the Poincaré lemma for any contractible open subset U of a manifold. Indeed, given such a U, we have the homotopy

h _{t} with h _{1} = the identity and h _{0(U)} = a point. Approximating such h _{t} ,, we can assume h _{t} is in fact smooth. The fiber integration \pi _{*} is also defined for \pi : U x [ 0 , 1 ] \to U . Hence, the same argument goes through.

Proof using Lie derivatives

Cartan's magic formula for Lie derivatives can be used to give a short proof of the Poincaré lemma. The formula states that the Lie derivative along a vector field

\xi is given as:L _{\xi} = d i(\xi) + i(\xi) d where i(\xi) denotes the interior product; i.e., i(\xi)\omega = \omega(\xi, ⋅ ) .

Let

f _{t} : U \to U be a smooth family of smooth maps for some open subset U of R ^{n} such that f _{t} is defined for t in some closed interval I and f _{t} is a diffeomorphism for t in the interior of I. Let \xi _{t(x)} denote the tangent vectors to the curve f _{t(x)} ; i.e., (d)/(dt) f _{t(x)} = \xi _{t(f} _{t(x))} . For a fixed t in the interior of I, let g _{s} = f _{t} \circ f ^{-1} _{t} . Then g _{0} = \operatorname{id}, (d)/(ds) g _{s|} _{s=0} = \xi _{t} . Thus, by the definition of a Lie derivative,(L _{\xi _{t}} \omega)(f _{t(x))} = (d)/(ds) g ^{*} _{s} \omega(f _{t(x))|} _{s} = (d)/(ds) f ^{*} _{t + s} \omega(x)| _{s} = (d)/(dt) f ^{*} _{t} \omega(x) .That is,(d)/(dt) f ^{*} _{t} \omega = f ^{*} _{t} L _{\xi _{t}} \omega. Assume I = [ 0 , 1 ] . Then, integrating both sides of the above and then using Cartan's formula and the differentiation under the integral sign, we get: for 0 < t _{0} < t _{1} < 1 ,f ^{*} _{t _{1}} \omega - f ^{*} _{t _{0}} \omega = d \int ^{t _{1}} _{t _{0}} f ^{*} _{t} i(\xi _{t)} \omega dt + \int ^{t _{1}} _{t _{0}} f ^{*} _{t} i(\xi _{t)} d \omega dt where the integration means the integration of each coefficient in a differential form. Letting t _{0,} t _{1} \to 0 , 1 , we then have:f ^{*} _{1} \omega - f ^{*} _{0} \omega = d J \omega + J d \omega with the notation J \omega = \int ^{1} _{0} f ^{*} _{t} i(\xi _{t)} \omega dt.

Now, assume

U is an open ball with center x _{0} ; then we can take f _{t(x)} = t(x - x _{0)} + x _{0} . Then the above formula becomes:\omega = d J \omega + J d \omega ,which proves the Poincaré lemma when \omega is closed.

Proof in the two-dimensional case

In two dimensions the Poincaré lemma can be proved directly for closed 1-forms and 2-forms as follows.

If is a closed 1-form on, then . If then and . Set

g(x,y) = \int ^{x} _{a} p(t,y) dt,

so that . Then must satisfy and . The right hand side here is independent of x since its partial derivative with respect to x is 0. So

h(x,y) = \int ^{y} _{c} q(a,s) ds - g(a,y) = \int ^{y} _{c} q(a,s) ds,

and hence

f(x,y) = \int ^{x} _{a} p(t,y) dt + \int ^{y} _{c} q(a,s) ds.

Similarly, if then with . Thus a solution is given by and

b(x,y) = \int ^{x} _{a} r(t,y) dt.

Implication for de Rham cohomology

By definition, the k-th de Rham cohomology group

\operatorname{H} ^{k(U)} _{dR} of an open subset U of a manifold M is defined as the quotient vector space\operatorname{H} ^{k(U)} _{dR} = \{ rm{ closed } k -forms rm { on } U \}/\{ rm{ exact } k -forms rm { on } U \}. Hence, the conclusion of the Poincaré lemma is precisely that \operatorname{H} ^{k(U)} _{dR} = 0 for k \ge 1 . Now, differential forms determine a cochain complex called the de Rham complex:\Omega ^{*} : 0 \to \Omega ^{0} \overset{d ^{0}\to} \Omega ^{1} \overset{d ^{1}\to} … \to \Omega ^{n} \to 0 where n = the dimension of M and \Omega ^{k} denotes the sheaf of differential k-forms; i.e., \Omega ^{k(U)} consists of k-forms on U for each open subset U of M. It then gives rise to the complex (the augmented complex)0 \to R _{M} \overset{\epsilon}\to \Omega ^{0} \overset{d ^{0}\to} \Omega ^{1} \overset{d ^{1}\to} … \to \Omega ^{n} \to 0 where R _{M} is the constant sheaf with values in R ; i.e., it is the sheaf of locally constant real-valued functions and \epsilon the inclusion.

The kernel of

d ^{0} is R _{M} , since the smooth functions with zero derivatives are locally constant. Also, a sequence of sheaves is exact if and only if it is so locally. The Poincaré lemma thus says the rest of the sequence is exact too (since a manifold is locally diffeomorphic to an open subset of R ^{n} and then each point has an open ball as a neighborhood). In the language of homological algebra, it means that the de Rham complex determines a resolution of the constant sheaf R _{M} . This then implies the de Rham theorem; i.e., the de Rham cohomology of a manifold coincides with the singular cohomology of it (in short, because the singular cohomology can be viewed as a sheaf cohomology.)

Once one knows the de Rham theorem, the conclusion of the Poincaré lemma can then be obtained purely topologically. For example, it implies a version of the Poincaré lemma for contractible or simply connected open sets (see §Simply connected case).

Simply connected case

Especially in calculus, the Poincaré lemma is stated for a simply connected open subset

U \subset R ^{n} . In that case, the lemma says that each closed 1-form on U is exact. This version can be seen using algebraic topology as follows. The rational Hurewicz theorem (or rather the real analog of that) says that \operatorname{H} _{1(U;} R ) = 0 since U is simply connected. Since R is a field, the k-th cohomology \operatorname{H} ^{k(U;} R ) is the dual vector space of the k-th homology \operatorname{H} _{k(U;} R ) . In particular, \operatorname{H} ^{1(U;} R ) = 0 . By the de Rham theorem (which follows from the Poincaré lemma for open balls), \operatorname{H} ^{1(U;} R ) is the same as the first de Rham cohomology group (see §Implication to de Rham cohomology). Hence, each closed 1-form on U is exact.

Poincaré lemma with compact support

There is a version of Poincaré lemma for compactly supported differential forms:

The pull-back along a proper map preserve compact supports; thus, the same proof as the usual one goes through.

Complex-geometry analog

On complex manifolds, the use of the Dolbeault operators

\partial and \bar \partial for complex differential forms, which refine the exterior derivative by the formula d = \partial + \bar \partial , lead to the notion of \bar \partial -closed and \bar \partial -exact differential forms. The local exactness result for such closed forms is known as the Dolbeault–Grothendieck lemma (or \bar \partial -Poincaré lemma); cf. . Importantly, the geometry of the domain on which a \bar \partial -closed differential form is \bar \partial -exact is more restricted than for the Poincaré lemma, since the proof of the Dolbeault–Grothendieck lemma holds on a polydisk (a product of disks in the complex plane, on which the multidimensional Cauchy's integral formula may be applied) and there exist counterexamples to the lemma even on contractible domains.^[10] The \bar \partial -Poincaré lemma holds in more generality for pseudoconvex domains.^[11]

Using both the Poincaré lemma and the

\bar \partial -Poincaré lemma, a refined local \partial \bar \partial -Poincaré lemma can be proven, which is valid on domains upon which both the aforementioned lemmas are applicable. This lemma states that d -closed complex differential forms are actually locally \partial \bar \partial -exact (rather than just d or \bar \partial -exact, as implied by the above lemmas).

Relative Poincaré lemma

The relative Poincaré lemma generalizes Poincaré lemma from a point to a submanifold (or some more general locally closed subset). It states: let V be a submanifold of a manifold M and U a tubular neighborhood of V. If

\sigma is a closed k-form on U, k ≥ 1, that vanishes on V, then there exists a (k-1)-form η on U such that d η = \sigma and η vanishes on V.^[12]

The relative Poincaré lemma can be proved in the same way the original Poincaré lemma is proved. Indeed, since U is a tubular neighborhood, there is a smooth strong deformation retract from U to V; i.e., there is a smooth homotopy

h _{t} : U \to U from the projection U \to V to the identity such that h _{t} is the identity on V. Then we have the homotopy formula on U:h ^{*} _{1} - h ^{*} _{0} = d J + J d where J is the homotopy operator given by either Lie derivatives or integration along fibers. Now, h _{0} (U) \subset V and so h ^{*} _{0} \sigma = 0 . Since d \sigma = 0 and h ^{*} _{1} \sigma = \sigma , we get \sigma = d J \sigma ; take η = J \sigma . That η vanishes on V follows from the definition of J and the fact h _{t(V)} \subset V . (So the proof actually goes through if U is not a tubular neighborhood but if U deformation-retracts to V with homotopy relative to V.) \square

On polynomial differential forms

In characteristic zero, the following Poincaré lemma holds for polynomial differential forms.

Let k be a field of characteristic zero,

R = k[x _{1,} ... , x _{n]} the polynomial ring and \Omega ^{1} the vector space with a basis written as dx _{1,} ... , d x _{n} . Then let \Omega ^{p} = \wedge ^{p} \Omega ^{1} be the p-th exterior power of \Omega ^{1} over R . Then the sequence of vector spaces0 \to k \to \Omega ^{0} \overset{d}\to \Omega ^{1} \overset{d}\to … \to 0 is exact, where the differential d is defined by the usual way; i.e., the linearity andd (f d x _{i _{i}} \wedge … \wedge d x _{i _{p}} ) = \sum _{j} (\partial f)/(d x _{j}) dx _{j} \wedge d x _{i _{i}} \wedge … \wedge d x _{i _{p}} .

This version of the lemma is seen by a calculus-like argument. First note that

\ker(d : R \to \Omega ^{1)} = k , clearly. Thus, we only need to check the exactness at p > 0 . Let \omega be a p -form. Then we write\omega = \omega _{0} \wedge dx _{1} + \omega _{1} where the \omega _{i} 's do not involve dx _{1} . Define the integration in x _{1} by the linearity and \int x ^{r} _{1} dx _{1} = (x ^{r +1} _{1})/(r +1) , which is well-defined by the char zero assumption. Then letη = \int \omega _{0} dx _{1} where the integration is applied to each coefficient in \omega _{0} . Clearly, the fundamental theorem of calculus holds in our formal setup and thus we get:d η = \omega _{0} \wedge dx _{1} + \sigma where \sigma does not involve dx _{1} . Hence, \omega - d η does not involve dx _{1} . Replacing \omega by \omega - d η , we can thus assume \omega does not involve dx _{1} . From the assumption d \omega = 0 , it easily follows that each coefficient in \omega is independent of x _{1} ; i.e., \omega is a polynomial differential form in the variables x _{2,} ... , x _{n} . Hence, we are done by induction. \square

Remark: With the same proof, the same results hold when

R = k[[x _{1,} ... , x _{n]]} is the ring of formal power series or the ring of germs of holomorphic functions. A suitably modified proof also shows the \bar \partial -Poincaré lemma; namely, the use of the fundamental theorem of calculus is replaced by Cauchy's integral formula.^[13]

On singular spaces

The Poincaré lemma generally fails for singular spaces. For example, if one considers algebraic differential forms on a complex algebraic variety (in the Zariski topology), the lemma is not true for those differential forms. One way to resolve this is to use formal forms and the resulting algebraic de Rham cohomology can compute a singular cohomology.

However, the variants of the lemma still likely hold for some singular spaces (precise formulation and proof depend on the definitions of such spaces and non-smooth differential forms on them.) For example, Kontsevich and Soibelman claim the lemma holds for certain variants of different forms (called PA forms) on their piecewise algebraic spaces.^[14]

The homotopy invariance fails for intersection cohomology; in particular, the Poincaré lemma fails for such cohomology.

References

• Hartshorne . Robin . On the de rham cohomology of algebraic varieties . Publications Mathématiques de l'Institut des Hautes Études Scientifiques . 1975 . 45 . 1 . 6–99 . 10.1007/BF02684298 . en . 1618-1913.
  • • Book: Conlon . Lawrence . Differentiable Manifolds . 2001 . Springer . 2nd . 10.1007/978-0-8176-4767-4 . 978-0-8176-4766-7 .

Further reading

• • https://mathoverflow.net/questions/287385/p-adic-poincaré-lemma

Notes and References

1. 10.1007/s40329-013-0003-3 . Henri Poincaré and algebraic geometry . 2013 . Ciliberto . Ciro . Lettera Matematica . 1 . 1–2 . 23–31 . 122614329 . free .
2. Poincaré . H. . Sur les résidus des intégrales doubles . Comptes rendus hebdomadaires des séances de l'Académie des sciences . 1886 . 102 . 202–204 .
3. , and .
4. Book: Lee, John M.. Introduction to smooth manifolds. 2012. Springer. 978-1-4419-9982-5. 2nd. New York. 808682771.
5. Book: Tu, Loring W. . An introduction to manifolds. 2011. Springer. 978-1-4419-7400-6. 2nd. New York. 682907530.
6. Book: Bott. Raoul. Differential Forms in Algebraic Topology. Tu. Loring W.. 1982. Springer New York. 978-1-4419-2815-3. Graduate Texts in Mathematics. 82. New York, NY. 10.1007/978-1-4757-3951-0.
7. Book: Edelen, Dominic G. B.. Applied exterior calculus. 2005. Dover Publications. 0-486-43871-6. Rev. Mineola, N.Y.. 56347718.
8. Book: Sharpe, R. W.. Differential geometry : Cartan's generalization of Klein's Erlangen program. 1997. Springer. 0-387-94732-9. New York. 34356972.
9. https://www.math.brown.edu/reschwar/M114/notes7.pdf
10. For counterexamples on contractible domains which have non-vanishing first Dolbeault cohomology, see the post https://mathoverflow.net/a/59554.
11. Book: 10.1007/978-3-642-48016-4_7. On the Cohomology Structure of Stein Manifolds . Proceedings of the Conference on Complex Analysis . 1965 . Aeppli . A. . 58–70 . 978-3-642-48018-8 .
12. 51762845 . 10.1215/IJM/1258131054 . Relative Poincaré lemma, contractibility, quasi-homogeneity and vector fields tangent to a singular variety § 2. Relative Poincare lemma and contractibility. 2004 . Domitrz . W. . Janeczko . S. . Zhitomirskii . M. . Illinois Journal of Mathematics . 48 . 3 . free .
13. Theorem 2.3.3. in
14. Book: Conférence Moshé Flato 1999: Quantization, Deformations, and Symmetries I . Deformations of algebras over operads and Deligne's conjecture. 9780792365402 . Kontsevich . Maxim . Soibelman . Yan . 2000. math/0001151. 255–307.