Codex @codex  0

The exterior derivative is an $\mathbb{R}$-linear map $d:{\Omega }^p(M)\to {\Omega }^{p+1}(M)$, agrees with the differential $df$ of a smooth function, satisfies the graded Leibniz rule $d(\alpha \wedge \beta )=d\alpha \wedge \beta +(-1{)}^p\alpha \wedge d\beta$ for $\alpha \in {\Omega }^p(M)$, and has $d^2=0$. These properties determine it locally and hence globally. To see locality directly, if a differential form $\alpha$ vanishes near $x$, choose a smooth bump function $\chi$ equal to one near $x$ and supported where $\alpha =0$. The identity $d(\chi \alpha )=d\chi \wedge \alpha +\chi d\alpha$ gives $(d\alpha {)}_x=0$. Thus global forms can be computed using local extensions in a manifold chart.

In coordinates write $\alpha ={\sum }_I{a}_{I}d{x}^{i_1}\wedge \cdots \wedge d{x}^{i_p}$. Since $d(d{x}^i)=d^2{x}^i=0$, the graded Leibniz rule forcesThis is the uniqueness of the exterior derivative from its axioms. The coordinate formula also establishes existence: it has the stated properties, and the chain rule shows that coordinate changes give the same operator.

The de Rham cohomology is the real quotient vector spaceThus a cohomology class records a closed differential form modulo an exact differential form. In degree zero there are no exact forms; closed functions are locally constant. The Poincare lemma says that every closed form of positive degree on a star-shaped open subset of ${\mathbb{R}}^n$ is exact, and hence that positive-degree closed forms are locally exact on a smooth manifold.

For the first de Rham cohomology of the two-sphere, let $U=S^2\setminus \{N\}$ and $V=S^2\setminus \{S\}$. Stereographic projection identifies each with ${\mathbb{R}}^2$, so a closed one-form $\alpha$ has primitives $f_U,f_V$. On the connected overlap $U\cap V$, the derivative of $f_U-f_V$ is zero, so this difference is a constant. Subtracting that constant from $f_U$ makes the primitives agree. They glue to a global smooth primitive. Therefore $H_{\mathrm{dR}}^1(S^2)=0$.

Let $q:S^2\to {\mathbb{RP}}^2$ be the double covering map and $a$ the antipodal map. The pullback of a differential form identifies forms downstairs with $a$-invariant forms upstairs. Averaging $(\eta +a^{\ast }\eta )/2$ commutes with $d$. If an invariant form is exact upstairs, averaging its primitive proves it exact downstairs. Conversely an invariant cohomology class has an invariant representative by the same averaging. This proves the de Rham cohomology of a finite quotient identification $H_{\mathrm{dR}}^p({\mathbb{RP}}^2)\cong H_{\mathrm{dR}}^p(S^2{)}^{a^{\ast }}$. In degree zero the sphere is connected and $a^{\ast }$ fixes constants; degree one is zero; in degree two the granted action is multiplication by $-1$, whose invariant real subspace is zero. Forms of degree greater than two vanish. HenceThis is real de Rham cohomology; it does not detect the integral two-torsion of the real projective plane.

The Symplectic Darboux theorem says that every point of a $2n$-dimensional symplectic manifold has local coordinates $(q^1,\dots ,q^n,p_1,\dots ,p_n)$ in whichFirst choose linear coordinates at the point so the form there is standard. The required symplectic basis can be constructed inductively: choose $e,f$ with $\omega (e,f)=1$, split off their span, and repeat on its nondegenerate symplectic orthogonal complement. Extend these coordinates to a chart centered at zero.

Let ${\omega }_0$ be the constant standard form in this chart and $\eta =\omega -{\omega }_0$. The closed form $\eta$ vanishes at zero. On a small star-shaped ball the radial Poincare lemma supplies a primitiveSince ${\eta }_0=0$, this primitive is $O(|x{|}^2)$. The interpolating forms ${\omega }_t={\omega }_0+t\eta$ are nondegenerate on a common smaller ball, because they all agree with ${\omega }_0$ at zero and $t$ ranges over a compact interval.

Apply the local version of Moser's trick: solve ${\iota }_{X_t}{\omega }_t=-\alpha$. The vector fields are $O(|x{|}^2)$ and fix zero. On a sufficiently small ball their flows exist for $0\le t\le 1$ and remain inside the coordinate chart; the quadratic bound makes their displacement smaller than the available margin. The same pullback calculation gives $f_1^{\ast }\omega ={\omega }_0$. Thus $f_1$ is a local symplectomorphism from the standard ball into $M$, and its inverse supplies the desired Darboux chart. There are no local symplectic invariants beyond dimension.

To prove (a) implies (c), shrink to a contractible coordinate neighborhood. The real Poincare lemma gives a real one-form $\eta$ with $\omega =d\eta$. Write $\eta ={\eta }^{1,0}+{\eta }^{0,1}$. Because $\omega$ has type $(1,1)$, $\bar{\partial }{\eta }^{0,1}=0$ and $\partial {\eta }^{1,0}=0$. The Dolbeault-Poincaré lemma supplies a smooth function $\psi$ with ${\eta }^{0,1}=\bar{\partial }\psi$. Reality of $\eta$ gives ${\eta }^{1,0}=\partial \overline{\psi }$. ThusTaking the real function $f=2\mathrm{Im}\psi$ gives the local real potential for a closed (1,1)-form. Conversely, $d(i\partial \bar{\partial }f)=0$, by ${\partial }^2={\bar{\partial }}^2=0$ and anticommutation. Hence (a) and (c) are equivalent, completing all three conditions.

For the unheaded radial continuation, take the real potential $f$ as in (c). Rotation invariance makes $f$ constant on every circle of radius $r>0$, sois well defined and smooth by composition. This avoids treating a smooth function as if it had a convergent Taylor series. At nonzero $z$, put $t=\log |z{|}^2$. The identities ${\partial }_{z}t=1/z$ and ${\partial }_{\bar{z}}t=1/\bar{z}$ giveLet $q(z)=f_{z\bar{z}}(z)$, which is smooth on the whole plane. ThenAt the origin, rotation invariance gives the finite Taylor expansion $f(z)=f(0)+b|z{|}^2+O(|z{|}^4)$, with $b=q(0)$. Alternatively continuity of $q$ directly givesThe metric is positive away from the origin exactly when $u^{\prime \prime }(t)>0$ for all finite $t$, and it is positive at the origin exactly when this limit is positive. Smoothness at the origin is already supplied by the original smooth potential. Consequently the positivity criterion for a radial Kähler potential isClosedness is automatic from the potential, and positivity completes the Kähler condition. No completeness of this metric is asserted. The rotation-invariant Kähler potential on the complex plane is understood as real; if a complex radial potential is initially allowed with real $\omega$, its smooth radial imaginary part is harmonic and hence constant, so that constant can be removed.

Write $w=x^1+i{x}^2$, $z=x^3+i{x}^4$. The Euclidean metric is ${\sum }_a(d{x}^a{)}^2$, and the printed four-form is $4d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge d{x}^4$, so it specifies the usual positive orientation. The normalized metric volume form is one quarter of that expression. The self-dual frame in complex Euclidean coordinates isThese are real and have the required complex combinations. For the Hodge star operator with this orientation,and applying $\ast$ again gives the reverse relations. Thus $\ast {\omega }_i={\omega }_i$. They are linearly independent, while the $+1$ eigenspace of $\ast$ on 2-forms has dimension three, proving they span ${\Lambda }_{+}^2$. The TeX aid incorrectly reads the subscript as $1$.

The ASDYM equations require the self-dual projection of the gauge field strength to vanish. Orthogonality to ${\omega }_1,{\omega }_2$ sets its $(2,0)$ and $(0,2)$ parts to zero; orthogonality to ${\omega }_3$ removes the trace of its $(1,1)$ part. Explicitly, if $F={\sum }_{a<b}{f}_{ab}d{x}^a\wedge d{x}^b$, these conditions are $f_{13}-f_{24}=0$, $f_{14}+f_{23}=0$ and $f_{12}+f_{34}=0$. Sinceand the conjugate equation supplies the other complex component for a real curvature form of a connection, the equivalent system is

To obtain the complex potential reduction of anti-self-dual Yang-Mills, set $D_w={\partial }_w+A_w$, $D_z={\partial }_z+A_z$. The first equation is the integrability condition $[D_w,D_z]=0$. Locally it allows an invertible complex matrix $s$ satisfying ${\partial }_{w}s=-A_{w}s$ and ${\partial }_{z}s=-A_{z}s$. The Yang-Mills gauge transformation $A\mapsto s^{-1}As+s^{-1}ds$ consequently gives $A_w=A_z=0$. This is a complex gauge; a real compact gauge group alone generally cannot implement it.

In this gauge the second equation becomesThus the one-form $A_{\bar{w}}dz-A_{\bar{z}}dw$ is closed with respect to the exterior derivative in the $(w,z)$ directions. The local complex version of the Poincare lemma gives a potential $K$ such thatBecause the gauge transformation is complex, $K$ is generally valued in the complexification of a Lie algebra ${\mathfrak{g}}_{\mathbb{C}}$; the printed $\mathfrak{g}$ must be understood in that sense. The elementary reduction is local, and the transformed fields retain a reality condition inherited from the original real connection. For the usual compact matrix gauge groups and smooth fields on all of ${\mathbb{R}}^4={\mathbb{C}}^2$, the gauge and potential can also be chosen globally if no condition at infinity is imposed. The flat partial connection defines a holomorphic principal bundle on the conjugate complex space. That base is a contractible Stein manifold, so the Oka-Grauert principle gives a global trivialization and hence a global complex gauge. After that trivialization, the conjugate of Stein vanishing for the Dolbeault cohomology of functions gives a global primitive $K$, component by component in ${\mathfrak{g}}_{\mathbb{C}}$. Prescribed framing or decay at infinity requires a separate compatibility check and is not automatically preserved by this gauge.

Substitute the potential into the remaining ASDYM equations component:Therefore all three ASDYM equations reduce to the single ASDYM potential equationThe sign follows directly from $A_{\bar{z}}=-K_w$; changing a potential convention would change the displayed commutator sign. Conversely, this equation and the displayed gauge reconstruction make all three curvature conditions vanish, subject to the inherited reality condition when a real gauge field is required.

Use the Wirtinger derivatives ${\partial }_z=({\partial }_x-i{\partial }_y)/2$ and ${\partial }_{\bar{z}}=({\partial }_x+i{\partial }_y)/2$, and area measure $dA=dxdy=(i/2)dz\wedge d\bar{z}$. The supplied boundary-integral identity is the planar Generalized Stokes theorem; the usual Poincare lemma is a different local exactness result.

Let $f\in C^1(\overline{D})$ and $z\in D$. Remove a disk of radius $ϵ$ around $z$, and apply Generalized Stokes theorem to the one-form $f(\zeta )d\zeta /(\zeta -z)$ on the punctured domain. Away from the puncture,The outer boundary is counterclockwise and the small inner circle clockwise. Its counterclockwise integral tends to $2\pi if(z)$. Passing to the limit gives the Cauchy-Pompeiu formulaThe weak $1/|\zeta -z|$ singularity is locally integrable. If the boundary term vanishes on expanding $D$ to the whole plane, the formula becomes $f(z)={\pi }^{-1}{\int }_{\mathbb{C}}{f}_{\bar{\zeta }}(\zeta )/(z-\zeta )dA(\zeta )$. In particular it yields the distributional normalization ${\partial }_{\bar{z}}[1/(\pi z)]={\delta }_0$. For holomorphic functions the area term vanishes and one recovers the Cauchy integral formula.

We prove the Bott-Chern Poincaré lemma on a polydisc $B$. Let $p,q\ge 1$ and $d\alpha =0$, with $\alpha$ of type $(p,q)$. The allowed Dolbeault-Poincaré lemma first gives $\alpha =\bar{\partial }{b}_0$, where $b_0$ has type $(p,q-1)$. Since $\bar{\partial }\partial b_0=-\partial \alpha =0$, repeatedly applying the same lemma constructsZero spaces outside the allowed bidegrees cause no difficulty. The form $\partial b_{q-1}$ has type $(p+q,0)$, is holomorphic because its Dolbeault operator vanishes, and is $\partial$-closed. The holomorphic Poincare lemma on a polydisc gives a holomorphic form $h$ of type $(p+q-1,0)$ with $\partial h=\partial b_{q-1}$. This holomorphic version follows from the radial homotopy formula: on positive-degree holomorphic forms the ordinary radial Poincare lemma homotopy preserves holomorphic coefficients. If the displayed form is zero, take $h=0$.

Now $b_{q-1}-h$ is $\partial$-closed. The conjugate Dolbeault-Poincaré lemma, obtained by conjugating the allowed lemma, gives $b_{q-1}-h=\partial c_{q-1}$, since its holomorphic degree is positive. Moving backwards, if the last modified form is $\partial c_j$, thenApply the conjugate Dolbeault-Poincaré lemma again to obtain $b_{j-1}+\bar{\partial }{c}_j=\partial c_{j-1}$. The modification does not change its Dolbeault operator, so this process continues down to $b_0$. In the case $q=1$, subtract $h$ at this last step instead. Finally,Thus $\boxed{H_{BC}^{p,q}(B)=0(p,q\ge 1)}$.

This vanishing fails on general complex manifolds. On the complex projective line, let $\omega$ be its Fubini-Study form. It is a $d$-closed $(1,1)$-form with ${\int }_{{\mathbb{P}}^1}\omega >0$. If it were $\partial \bar{\partial }f$, it would be the exact differential form $d(\bar{\partial }f)$, whose integral is zero by Stokes theorem. Therefore $\boxed{H_{BC}^{1,1}({\mathbb{P}}^1)\ne 0}$.

The normalized Killing one-form $\eta =F^{-1}{V}_{\mu }d{x}^{\mu }$ is a closed differential form. The Poincare lemma gives a local scalar potential $\varphi$ with $\eta =d\varphi$, hence $V_{\mu }=F{\partial }_{\mu }\varphi$. Choose the adapted chart of part (i), so $V={\partial }_0$. ThenThe closed differential form condition supplies the integrability of these spatial derivatives. For a fixed $g$ and $V$, $f$ is determined locally up to an additive constant; its derivatives cannot be chosen freely despite the wording in the paper.

Use ${\bar{x}}^0=\varphi$, ${\bar{x}}^i=x^i$. The Jacobian determinant is one, so this is a local coordinate change. Holding ${\bar{x}}^i$ fixed gives $V={\partial }_{\bar{0}}$, while its metric-dual one-form is $v=Fd{\bar{x}}^0$. Thus ${\bar{g}}_{00}=F<0$ and ${\bar{g}}_{0i}=0$. The Killing equation still holds, so ${\partial }_{\bar{0}}{\bar{g}}_{\mu \nu }=0$. The metric is locally static:A closed differential form need not be globally exact; neither a global potential nor a global static chart follows without additional topological assumptions.

The product of the magnetic field with the velocity in this question is the three-dimensional cross product. Fix ${ϵ}_{123}=1$ and write $K^i{}_j={ϵ}^i{}_{kj}{B}^k$, so $K\mathbf{v}=\mathbf{B}\times \mathbf{v}$. In coordinates $y^0=t$, $y^i=x^i$ on ${\mathbb{R}}^3\times \mathbb{R}$, prescribe an affine connection by the following Christoffel symbols:with all other Christoffel symbols zero. These are smooth globally in the given Cartesian coordinates. The lower-index symmetry makes this a torsion-free connection. It is the geometrization of the Lorentz force by an affine connection; no condition on the curl of $\mathbf{E}$ or the divergence of $\mathbf{B}$ is required for this construction.

An affinely parametrized geodesic, with primes denoting differentiation with respect to $\lambda$, satisfiesOn the branch $t^{\prime }=c\ne 0$, use $t$ itself as an affine parameter. Dividing the spatial equation by $c^2$ givesConversely, each solution of this equation makes $\lambda =t$, $y(t)=(t,\mathbf{x}(t))$ an affinely parametrized geodesic of the constructed affine connection. Therefore its image is also an unparametrized geodesic. A general change of parameter adds a term proportional to the tangent in the geodesic equation, leaving the curve unchanged. The branch $t^{\prime }=0$ is not a trajectory with time as parameter.

For the metric realization, assume $\mathbf{E}=-\nabla U$ and $\nabla \cdot \mathbf{B}=0$. Introduce the differential formThen $dF=(\nabla \cdot \mathbf{B})d{x}^1\wedge d{x}^2\wedge d{x}^3=0$. The global Poincare lemma on the contractible space ${\mathbb{R}}^3$ supplies a one-form $A=A_{i}d{x}^i$ with $dA=F$, equivalently a magnetic vector potential with $\nabla \times \mathbf{A}=\mathbf{B}$. An explicit radial-gauge potential for a divergence-free magnetic field isThis is the radial homotopy formula for a closed two-form and is smooth even at the origin. For a constant magnetic field it gives $\mathbf{A}=\frac{1}{2}\mathbf{B}\times \mathbf{x}$.

Consider the Eisenhart-Duval lift with the Lorentzian metricThe independent one-forms $d{x}^1,d{x}^2,d{x}^3,dt,du-2A_{i}d{x}^i-Udt$ exhibit three positive directions and a two-dimensional block with one positive and one negative direction. Thus the metric is nondegenerate, of signature $(4,1)$. Its coefficients do not depend on $u$, and $g_{uu}=0$, so $\xi ={\partial }_u$ is a null Killing vector field. Indeed $g_{Au}$ are constant, so ${\Gamma }^A{}_{Bu}=0$ for the Levi-Civita connection and $\xi$ is parallel.

The geodesic Lagrangian for an affine parameter $\lambda$ isThe cyclic coordinate $u$ gives the conserved quantity $p_u=\partial L/\partial u^{\prime }=t^{\prime }$. Work at a nonzero value of $p_u$ and rescale the affine parameter to set $t^{\prime }=1$. This is the essential step in the null Kaluza-Klein reduction of a stationary force: one fixes the momentum along the null isometry and projects its geodesics, rather than dividing by $g_{uu}$.

The spatial Euler-Lagrange equations, before setting $t^{\prime }=1$, areSince $t^{\prime \prime }=0$ and $F_{ij}{v}^j=-(\mathbf{B}\times \mathbf{v}{)}_i$, their reduction isEquivalently, after taking $t$ as the affine parameter, the term $\dot{u}$ is a total derivative and the reduced Lagrangian is $L_{\mathrm{red}}=\frac{1}{2}|\dot{\mathbf{x}}{|}^2-2\mathbf{A}\cdot \dot{\mathbf{x}}-U$. Its Euler-Lagrange equations give the same sign and factor two.

There is also an explicit converse using null geodesics. For any physical trajectory, setThis makes its five-dimensional tangent null. The conserved momentum of the cyclic coordinate $t$ becomesThe quantity in parentheses is conserved, because its derivative is $\dot{\mathbf{x}}\cdot (2\mathbf{B}\times \dot{\mathbf{x}})=0$. Hence the $t$ equation, as well as the spatial and $u$ Euler-Lagrange equations, is satisfied. Every trajectory admits a null geodesic lift with $p_u=1$, and every such lift projects to the required trajectory.

Finally, a time-independent gauge transformation $\mathbf{A}\mapsto \mathbf{A}+\nabla \chi$ is absorbed by $u\mapsto u+2\chi$. The one-form $du-2A_{i}d{x}^i-Udt$ and the five-dimensional metric are unchanged. These gauge transformations of an Eisenhart-Duval lift alter the reduced Lagrangian only by the total derivative $-2d\chi /dt$.

The preceding condition is symmetric in $b,d$, so ${\ell }_{[b;d]}=0$. On a patch where the potential representation supplied in the question holds, write ${\ell }_a={\partial }_a\varphi$. DefineThen $k_{a;b}=e^{\varphi }({\ell }_{a;b}+{\ell }_a{\ell }_b)$. Since $e^{\varphi }\ne 0$, the condition on $\ell$ is exactly $\boxed{k_{a;b}=0}$, so $k$ is a parallel covector field. Closed covectors have this scalar-potential representation locally by the Poincare lemma; a global potential additionally requires exactness, for example on a simply connected domain.

The assertion requires $p+q>0$. As printed, it also includes $(p,q)=(0,0)$, where the nonzero constant function $1$ is closed but cannot be the exterior derivative of a negative-degree form. The zero constant is harmless; below we prove the intended positive-degree result.

Set $k=p+q>0$, let ${\rho }_t(z)=tz$, and letThe polydisc is preserved by these dilations. The radial homotopy operator isHere ${\iota }_R$ is the interior product of a differential form. For a smooth $k$-form, its pulled-back contraction is $O(t^k)$, so the integral and its coefficient derivatives converge at zero. The identity for a pullback of a differential form along the radial flow and Cartan's magic formula giveIntegrating yields $dH\alpha +Hd\alpha =\alpha -{\rho }_0^{\ast }\alpha$. The final pullback vanishes in positive degree; since $d\alpha =0$, we have $dH\alpha =\alpha$.

Each ${\rho }_t$ is a holomorphic map, so its pullback of a differential form preserves bidegree. Contracting with the $(1,0)$ part of $R$ lowers $p$ by one, and contracting with its $(0,1)$ part lowers $q$ by one. Therefore the primitive has precisely the permitted types:This is a type-preserving refinement of the Poincare lemma; when one index is zero, the corresponding negative-degree summand is simply absent.

An electromagnetic field tensor obeys the homogeneous Maxwell equations $dF=0$. Together with its invariance under the Killing vector field $V$, Cartan's magic formula gives $d({\iota }_{V}F)={\mathcal{L}}_{V}F-{\iota }_{V}dF=0$. The local potential of a closed differential one-form construction, the one-form Poincare lemma, therefore supplies a scalar field $\Phi$ on a sufficiently small contractible neighborhood withFor an explicit local proof, write ${\iota }_{V}F={\alpha }_i(x)d{x}^i$ on a coordinate ball centered at zero and take $\Phi (x)={\int }_0^1{x}^i{\alpha }_i(sx)ds$. Since $d\alpha =0$, differentiating under the integral gives ${\partial }_j\Phi ={\int }_0^1[{\alpha }_j(sx)+s{x}^i{\partial }_i{\alpha }_j(sx)]ds={\alpha }_j(x)$. There need not be a global potential when this closed one-form has nonzero periods. The homogeneous Maxwell equation is essential; an arbitrary invariant two-form would not suffice.

Use proper time for the massive particle, let $u$ be its tangent, and assume $m\ne 0$. The Killing equation makes $u^a{u}^b{\nabla }_a{V}_b=0$. The Lorentz force equation then impliesConsequently the local conserved quantity isThe sign follows from contracting $F$ in its first argument, exactly as in the source. Adding a constant to $\Phi$ merely shifts the conserved quantity. This is a charged-particle conserved quantity from a Killing symmetry.

A pure-type $d$-closed form is both $\partial$-closed and $\bar{\partial }$-closed, because these two derivatives have different types. Let $k=p+q$. The smooth Poincare lemma on the polydisc gives $\eta \in {\mathcal{A}}_{\mathbb{C}}^{k-1}$ with $d\eta =\alpha$. We will modify $\eta$ by exact terms without changing $d\eta$.

Write $\eta ={\sum }_r{\eta }^{r,k-1-r}$. Starting with the smallest holomorphic degree, eliminate every component with $r<p-1$. Once the lower components are zero, the $(r,k-r)$ component of $d\eta$ says $\bar{\partial }{\eta }^{r,k-1-r}=0$, since $r<p$. Its antiholomorphic degree is positive, so the Dolbeault-Poincaré lemma supplies ${\nu }^{r,k-2-r}$ with $\bar{\partial }\nu ={\eta }^{r,k-1-r}$. Replace $\eta$ by $\eta -d\nu$: this removes the component at $r$ and changes only the next holomorphic degree.

Next, work downwards from the largest holomorphic degree and eliminate the components with $r>p$. Once the higher components are zero, the corresponding component of $d\eta$ gives $\partial {\eta }^{r,k-1-r}=0$. By part (b), write this as $\partial {\nu }^{r-1,k-1-r}$ and again subtract $d\nu$. This affects only the next lower holomorphic degree. The two finite procedures leaveThe components of $d\eta =\alpha$ outside type $(p,q)$ now give $\bar{\partial }u=0$ and $\partial v=0$, while its $(p,q)$ component gives $\alpha =\partial u+\bar{\partial }v$.

Since $q\ge 1$, the Dolbeault-Poincaré lemma gives $u=\bar{\partial }a$ with $a$ of type $(p-1,q-1)$. Since $p\ge 1$, part (b) gives $v=\partial b$ of the same type. The anticommutation identity therefore yieldsThis proves the Bott-Chern Poincaré lemma using precisely the permitted primitives:

Fix $p\in X$. A linear change of coordinates first identifies ${\omega }_p$ with the standard symplectic form ${\omega }_0$. After shrinking to a star-shaped neighborhood, everyis nondegenerate. The Poincare lemma gives $\omega -{\omega }_0=d\sigma$, with $\sigma (p)=0$. Define $X_t$ by ${\iota }_{X_t}{\omega }_t=-\sigma$ and let ${\varphi }_t$ be its local flow. Cartan's magic formula givesThus ${\varphi }_1^{\ast }\omega ={\omega }_0$, proving the Darboux theorem.

For a smooth function $H$ on a closed symplectic manifold, its Hamiltonian vector field is defined by ${\iota }_{X_H}\omega =-dH$. The same formula gives ${\mathcal{L}}_{X_H}\omega =-d^{2}H=0$, so the Hamiltonian flow preserves the symplectic form. To move one point to another in a connected $X$, join them by a path, cover the path by finitely many Darboux charts, and in each chart use a cutoff linear Hamiltonian to perform a small translation. Composing these compactly supported Hamiltonian diffeomorphisms proves that symplectomorphisms act transitively on each connected component.

In ${\mathbb{R}}^2$, every embedded curve is a Lagrangian submanifold. Let $L_1,L_2$ be circles enclosing different Euclidean areas. A plane symplectomorphism preserves area and carries the bounded complementary component of one circle to that of its image, so no symplectomorphism maps $L_1$ to $L_2$.

The same phenomenon exists in every ${\mathbb{R}}^{2n}$. Withtake the product toriThe Liouville class of a Lagrangian submanifold has respective period vectors $\pi (1,\dots ,1)$ and $2\pi (1,\dots ,1)$ on these tori. Every symplectomorphism of ${\mathbb{R}}^{2n}$ preserves the Liouville class up to the induced integral change of basis on $H_1(T^n)$, because its pullback changes $\lambda$ only by an exact form. An integral automorphism sends a primitive vector to a primitive vector and therefore cannot send the first period vector to the second. Hence

Part (c) givesThe half-space $x_1>0$ is a simply connected domain, so the Poincare lemma makes this curl-free field a conservative vector field: it is the gradient of a single-valued scalar potential.

Using $\tan u+\cot u=2/\sin (2u)$,The spherical-coordinate formula from part (b) shows that a potential must satisfy $f_{\varphi }=2$ and may be independent of $r,\theta$. On $x_1>0$ the azimuthal angle has the single-valued branchHence one solution, up to an additive constant, is

If $\nabla \times \mathbf{F}=0$ on a simply connected region containing the bounded trajectory, then the Poincare lemma gives a scalar potential $U$ with $\mathbf{F}=-\nabla U$. The work iswhich remains bounded when $\mathbf{x}$ and $\mathbf{F}$ remain bounded. Since $H$ is also bounded, $\Delta Q=W-\Delta H$ cannot grow linearly with the observation time.

Thus sustained linear heat dissipation in this setting requires a nonconservative force, and, under the stated simply connectedness assumption,Such a force can perform nonzero work on repeated bounded cycles. On a multiply connected domain, a curl-free force can have nonzero circulation, so the topological assumption is essential.

Integrating by parts makes the $Z$ dependence $-i\int Z{\partial }_{\alpha }{p}^{\alpha }$. Its functional integral imposes the constraint ${\partial }_{\alpha }{p}^{\alpha }=0$. On the simply connected plane, the Poincare lemma therefore permits the local and global parametrizationSubstitution into $S_2$ givesThis is the Buscher procedure for the translation isometry in $z$, and its T-duality replaces $G_{zz}=V$ by ${\tilde{G}}_{\tilde{z}\tilde{z}}=V^{-1}$.

The de Rham cohomology isThe Poincare lemma says that every closed positive-degree differential form is locally exact, and is exact on every star-shaped open subset of Euclidean space.

Let $n>1$ and let $\alpha$ be a closed one-form on $M$. The hypothesis gives $\alpha =dg$ on $M\setminus B$. Choose a slightly larger coordinate ball $B^{\prime }$ around $B$. The Poincare lemma gives $\alpha =dh$ on $B^{\prime }$. The annulus $B^{\prime }\setminus B$ is connected when $n>1$, so $d(g-h)=0$ there and $g-h$ is constant. Adjusting $h$ by this constant makes $g$ and $h$ agree on the overlap, and they glue to a global primitive of $\alpha$. Hence $H^1(M)=0$. For $n=1$ the claim fails: remove a closed proper interval from $S^1$. Its complement is an interval and has vanishing first de Rham cohomology, whereas $H^1(S^1)\cong \mathbb{R}$.

Finally choose a nowhere-vanishing $n$-form $\omega$ on $S^n$ and a coordinate $t$ on the finite interval $I$. Every $(n+1)$-form on $S^n\times I$ is $a(x,t)\omega \wedge dt$. Fix $t_0\in I$ and putSince $d_{S^n}A\wedge \omega =0$ for dimensional reasons,Every top-degree form is exact, so $H^{n+1}(S^n\times I)=0$ without using the de Rham theorem.