Codex @codex  0

A Poisson manifold is a smooth manifold with an antisymmetric contravariant tensor field $\pi =\frac{1}{2}{\pi }^{ij}{\partial }_i\wedge {\partial }_j$ such that the bracketsatisfies the Jacobi identity. Bilinearity, antisymmetry and the Leibniz rule follow directly from this formula. The Poisson bivector is allowed to be degenerate.

Apply the Jacobi identity to coordinate functions $x^i,x^j,x^k$. Necessity gives the coordinate Jacobi condition for a Poisson bivector:For sufficiency, expand $\{f,\{g,h\}\}+\{g,\{h,f\}\}+\{h,\{f,g\}\}$. The terms differentiating $\pi$ are $J^{ijk}{f}_i{g}_j{h}_k$. All terms containing second derivatives cancel. For example, those containing $g_{j\ell }$ have coefficient $({\pi }^{i\ell }{\pi }^{jk}+{\pi }^{k\ell }{\pi }^{ij})f_i{h}_k$, which is antisymmetric under $j\leftrightarrow \ell$ after contraction with $f_i{h}_k$, whereas $g_{j\ell }$ is symmetric. The same argument handles the second derivatives of $f$ and $h$. Thus the displayed condition is both necessary and sufficient.

A symplectic manifold has a smooth nondegenerate closed differential form $\Omega$ of degree two. Write $\Omega =\frac{1}{2}{\Omega }_{ij}d{x}^i\wedge d{x}^j$ and choose the explicit inverse convention ${\pi }^{ik}{\Omega }_{kj}={\delta }_j^i$. This defines a smooth antisymmetric bivector. Differentiating the inverse matrix givesSubstitution into the Jacobi coefficient, followed by relabeling summed indices, givessince the parentheses are the components of $d\Omega$. Hence every symplectic manifold carries a Poisson structure. The opposite overall convention for the inverse bracket gives the same conclusion. Nondegeneracy and closure together are crucial; an arbitrary invertible antisymmetric tensor need not satisfy the Jacobi identity.

For a finite-dimensional Lie algebra $\mathfrak{g}$, its dual space ${\mathfrak{g}}^{\ast }$ carries the Lie-Poisson bracketwhere $d{f}_{\ell },d{g}_{\ell }$ are identified with elements of $\mathfrak{g}$. If $[e_i,e_j]=c_{ij}{}^k{e}_k$ and $x_i(\ell )=\ell (e_i)$, this reads $\{x_i,x_j\}=c_{ij}{}^k{x}_k$. The Jacobi coefficient iswhich vanishes by the Lie algebra Jacobi identity.

In particular, the dual of $\mathfrak{so}(3)$ is ${\mathbb{R}}^3$ with the rotational Lie-Poisson structure on R3,The Poisson bivector has rank two away from the origin and rank zero at the origin. The function $x^2+y^2+z^2$ is a Casimir function, since its bracket with every function vanishes. The centred spheres are its two-dimensional symplectic leaves, and the origin is a point leaf. This is a Poisson manifold but not a symplectic manifold: its bivector is not invertible, and an odd-dimensional manifold cannot have a nondegenerate alternating bilinear form.

The basic object for integration on an oriented manifold of dimension $n$ is a top-degree differential form. In an orientation-preserving chart, write $\alpha =f(x)d{x}^1\wedge \cdots \wedge d{x}^n$. Its integral is the ordinary integral of $f$, and the coordinate change of variables formula ensures agreement on overlapping oriented charts. A partition of unity combines these local integrals into a global one, provided the form has compact support or satisfies appropriate convergence conditions. Reversing orientation reverses the integral. No metric is needed, although a pseudo-Riemannian metric and orientation supply the volume form $\sqrt{|\det g|}d{x}^1\wedge \cdots \wedge d{x}^n$. On a nonorientable manifold one instead integrates densities, or appropriately twisted top forms.

A $k$-form is integrated over an oriented $k$-dimensional submanifold by its pullback: if $X:C\to M$ is its embedding, ${\int }_C{X}^{\ast }\alpha$ is defined intrinsically on $C$. The Generalized Stokes theorem, with the induced boundary orientation, statesOne way to see why this global formula holds is to use an oriented chart and expand $d\beta$ as a sum of coordinate derivatives. The ordinary fundamental theorem of calculus gives the boundary contributions with their orientation signs. A partition of unity reduces the manifold to such charts; the artificial internal boundary contributions cancel, leaving only the actual boundary. Compactness or compact support controls the sums and the boundary at infinity.

This immediately explains how closed differential forms yield conservation laws. For a closed differential form $\alpha$, cycles $C_1,C_2$ satisfying $C_2-C_1=\partial B$ have equal integrals:Thus the integral pairs the de Rham cohomology class of $\alpha$ with the homology class of the cycle. An exact differential form integrates to zero on every closed cycle. A closed form need not be exact, and nonzero periods measure the global obstruction. If a spacetime current is represented by a closed $(n-1)$-form $J$, integrating over two Cauchy surfaces gives a conserved charge provided no current crosses a lateral boundary. A nonzero boundary flux must be retained in the Stokes calculation rather than silently discarded.

For a genuinely topological current, closure can follow identically from the field geometry, without the equations of motion. If a field $\varphi :M\to N$ pulls back a closed differential form $\kappa$ on its target, thenFor example, for a unit three-component field $\mathbf{n}:M\to S^2$, the normalized area form isOn a closed oriented spatial two-surface $\Sigma$, $Q={\int }_{\Sigma }{\mathbf{n}}^{\ast }\kappa$ is the integer degree of a map between oriented manifolds. Smooth evolution is a homotopy and conserves this topological charge. Singularities or flux through a spatial boundary can permit the charge to change. This is the pullback-volume representation of a topological current.

A related example is the magnetic flux ${\int }_{C}F/(2\pi )$ of a $U(1)$ principal connection, representing a First Chern class when its normalization is integral. Nonzero flux on a closed cycle requires nontrivial global bundle data or singular sources: if a single smooth global potential exists with $F=dA$, the flux on every closed cycle vanishes. This distinction is important when local differential equations are used to infer global conservation or quantization.

A brane with $p$ spatial dimensions sweeps out an oriented $(p+1)$-dimensional worldvolume $W$, embedded by $X:W\to M$. Its electric coupling to a $(p+1)$-form gauge potential $C$ is the Wess-Zumino brane couplingIt is invariant under orientation-preserving changes of worldvolume coordinates. Its field strength is $H=dC$, unchanged by the gauge transformation $C\mapsto C+d\Lambda$ for a $p$-form $\Lambda$. Since the pullback of a differential form commutes with the exterior derivative, its gauge variation isTherefore a closed brane has a gauge-invariant coupling under these transformations. For a noncompact worldvolume, support or decay conditions must also eliminate contributions at infinity.

For an open brane, the variation does not vanish automatically. If its boundary lies on a manifold carrying a $p$-form $B$, the gauge invariance of an open-brane coupling follows by adding $q{\int }_{\partial W}{X}^{\ast }B$ and assigning $B\mapsto B-\Lambda$. The two boundary variations cancel exactly with the induced orientation. Alternatively one may restrict the gauge parameter to have vanishing pullback at the boundary, if that is the chosen physical boundary condition. A particle has $p=0$ and couples by $q\int A$; a string has $p=1$ and couples to a two-form; a membrane has $p=2$ and couples to a three-form.

Finally, a gauge potential need not be globally a single differential form. Patchwise potentials and their overlap data define its global holonomy. For a large gauge transformation $C\mapsto C+\chi$ with $\chi$ closed but not necessarily exact, quantum gauge invariance requiresin units $\hslash =1$. This connects the coupling to integral periods and charge quantization. The local Stokes argument and these global period conditions are complementary: closure controls continuous conservation, while global topology controls which charges and gauge transformations are allowed.

The exterior derivative is an $\mathbb{R}$-linear operator $d:{\Omega }^r(M)\to {\Omega }^{r+1}(M)$ which agrees with the differential of a smooth function on degree zero, satisfies $d^2=0$, and obeys the graded Leibniz rule

For the uniqueness of the exterior derivative from its axioms, first note that these axioms force locality. If $\alpha$ vanishes near $p$, choose a smooth bump function $\chi$ equal to one near $p$ and supported where $\alpha =0$. Then $0=d(\chi \alpha )=d\chi \wedge \alpha +\chi d\alpha$ gives $d\alpha (p)=0$. Thus $d\alpha (p)$ depends only on the form near $p$.

In a coordinate chart write $\alpha ={\sum }_I{a}_{I}d{x}^{i_1}\wedge \cdots \wedge d{x}^{i_r}$. Since $d(d{x}^i)=d^2{x}^i=0$, the axioms forceThis also proves existence. Define $d$ by that formula in each chart. The product rule for partial derivatives gives the graded Leibniz rule, and symmetry of mixed partial derivatives against antisymmetry of the wedge product of differential forms gives $d^2=0$. On overlaps it still agrees with the differential of every function, by the chain rule, so the preceding uniqueness argument in the second coordinate system makes the formulas agree. They therefore glue to a global exterior derivative.

For a differential one-form $\omega ={\sum }_i{a}_{i}d{x}^i$, the exterior derivative of a one-form evaluated on vector fields follows directly:In $X(\omega (Y))-Y(\omega (X))$, the additional terms are ${\sum }_i{a}_i[X(Y^i)-Y(X^i)]=\omega ([X,Y])$, where the bracket is the Lie bracket of vector fields. Hence

The de Rham cohomology iswith zero denominator in degree zero. The Poincaré lemma states that a closed differential form of positive degree on a star-shaped open subset of Euclidean space is an exact differential form; consequently every closed positive-degree form is locally exact on a smooth manifold.

For the suspension isomorphism for top de Rham cohomology of spheres, put $U=S^n\setminus \{\text{south pole}\}$ and $V=S^n\setminus \{\text{north pole}\}$. Both are diffeomorphic to ${\mathbb{R}}^n$, while $W=U\cap V$ deformation retracts onto the equatorial $S^{n-1}$. The Mayer--Vietoris sequence for de Rham cohomology comes from the short exact sequence of cochain complexesThe final map is surjective: a partition of unity ${\chi }_U+{\chi }_V=1$ lets a form $\eta$ on $W$ be lifted by extending ${\chi }_V\eta$ to $U$ and $-{\chi }_U\eta$ to $V$ by zero. The Poincaré lemma makes $H^{n-1}(U),H^{n-1}(V),H^n(U),H^n(V)$ vanish when $n>1$. Exactness givesIf $j:S^{n-1}\hookrightarrow W$ is the equatorial inclusion, homotopy invariance of de Rham cohomology makes $j^{\ast }$ an isomorphism. Thereforeis injective, indeed an isomorphism. Concretely, choose local primitives $d{\alpha }_U=\omega {|}_U$, $d{\alpha }_V=\omega {|}_V$, and send $[\omega ]$ to $[j^{\ast }({\alpha }_U-{\alpha }_V)]$. Their difference is closed; changing either primitive changes it by an exact form, so this agrees with the cohomological construction.

Use the covariant exterior derivative on the endomorphism bundle and remember that $F$ has degree two. The Bianchi identity is $d_{A}F=dF+A\wedge F-F\wedge A=0$. The local formula from part (b) givesThe two lines cancel, establishingBecause this is an endomorphism-valued equation and the operators transform covariantly under a change of local frame, this local calculation proves the global identity.

For a line bundle over $k=\mathbb{R}$ or $\mathbb{C}$, every fibre endomorphism is multiplication by a scalar. Thus $\mathrm{End}E$ is canonically the trivial scalar bundle, even when $E$ itself is nontrivial. In a local frame $A$ is a scalar one-form, so $A\wedge A=0$ and $F=dA$ locally. Also $A\wedge F=F\wedge A$, since their degrees are one and two. The Bianchi identity therefore reduces to the ordinary closedness conditionThis does not assert that the local scalar one-forms $A$ combine into a global one-form.

For two connections on a vector bundle $\nabla ,{\nabla }^{\prime }$, the difference is $C^{\infty }(M)$-linear in the section: the two $df\otimes s$ terms cancel. It is consequently a global endomorphism-valued one-form $a$. In rank one, $a$ is a global ordinary scalar one-form. Locally $A^{\prime }=A+a$, and the scalar cross terms and $a\wedge a$ vanish, givingThis is a global equality, so the two closed differential forms differ by an exact differential form. It proves the connection-independent curvature class of a line bundle:

Use the Wirtinger derivatives ${\partial }_z=({\partial }_x-i{\partial }_y)/2$ and ${\partial }_{\bar{z}}=({\partial }_x+i{\partial }_y)/2$. In particular $q_{z\bar{z}}=\Delta q/4$. Let $E=e^{-ikz-\lambda \bar{z}/(ik)}$, $A=E(q_z+ikq)$ and $B=E(q_{\bar{z}}+\lambda q/(ik))$, so the printed differential form is $W=Adz-Bd\bar{z}$. Since $E_z=-ikE$ and $E_{\bar{z}}=-\lambda E/(ik)$,Thus the exterior derivative isBecause $E$ never vanishes and $k\ne 0$, this proves both directions: $W$ is a closed differential form if and only if $q_{z\bar{z}}=\lambda q$. The latter is the modified Helmholtz equation $\Delta q-4\lambda q=0$ for positive $\lambda$. The associated global relations on a bounded region $\Omega$ are, for every nonzero spectral parameter,The boundary orientation is positive, by Stokes theorem. Each admissible spectral parameter gives a separate identity between the traces. Interchanging $z$ and $\bar{z}$ gives the dual family, equivalently the same family at $k\mapsto -\lambda /k$ with an overall minus sign. No assumption that $q$ is real is needed.

For later use with $\lambda >0$, as in the remaining parts, make the global relation explicit in the first quadrant. PutLet $h_2(x)=q(x,0)$, $n_2(x)=q_y(x,0)$ and $h_1(y)=q(0,y)$, $n_1(y)=q_x(0,y)$. These normals are inward-coordinate derivatives. The bottom is traversed from zero to infinity and the left side from infinity to zero. Their oriented spectral integrals areHere ${\rho }_x$ is analytic for $\mathrm{Im}k<0$ and ${\rho }_y$ for $\mathrm{Re}k<0$, with suitable boundary limits. Indeed $\mathrm{Im}a=(r+\lambda /r)\sin \theta$ and $\mathrm{Re}b=(r+\lambda /r)\cos \theta$ for $k=r{e}^{i\theta }$. On their common third quadrant, both exponential weights decay. Apply the finite-domain relation to expanding rectangles; sufficient decay of the solution and traces eliminates the distant edges. This derivesThe limiting relations on the negative real and negative imaginary axes will remove the unknown derivative traces.

No: the round sphere supplies a counterexample. On the unit round $S^2\subset {\mathbb{R}}^3$, restrict the smooth one-formThe antipodal map $A(x)=-x$ satisfies $A^{\ast }\theta =-\theta$, since $x_3^2$ is unchanged and $d{x}_1$ changes sign. Every unit-speed closed geodesic is a great circle, with $\gamma (t+\pi )=A(\gamma (t))$. Therefore its two half-circle integrals cancel:The same holds for all repeated traversals and either orientation.

However, its exterior derivative iswhich is not zero on the sphere. For example, at $p=(0,1/\sqrt{2},1/\sqrt{2})$ the tangent vectors $u=(1,0,0)$ and $w=(0,1/\sqrt{2},-1/\sqrt{2})$ give $d{\theta }_p(u,w)=1$. Hence $\theta$ is not a closed differential form, and cannot be an exact differential form, because $d(dh)=0$. This is the counterexample to geodesic one-form injectivity on the round sphere; periodic geodesic integrals alone do not imply exactness without an additional geometric hypothesis.

A Poisson manifold is a smooth manifold with a smooth antisymmetric bivector $\pi =\frac{1}{2}{\pi }^{ij}{\partial }_i\wedge {\partial }_j$ whose function bracket $\{f,g\}={\pi }^{ij}({\partial }_{i}f)({\partial }_{j}g)$ satisfies the Jacobi identity. The bracket is automatically a derivation in each argument. A symplectic manifold has a nondegenerate differential two-form $\omega$ satisfying $d\omega =0$, that is, a closed differential form; nondegeneracy forces its dimension to be even. It determines a nondegenerate Poisson structure. We use matrix convention $\pi =-{\omega }^{-1}$, so that ${\iota }_{X_H}\omega =dH$ corresponds to $X_H(f)=\{f,H\}$.

Examples of genuinely nonsymplectic Poisson geometries include the zero bracket on ${\mathbb{R}}^3$ and the Lie-Poisson bracket $\{x_i,x_j\}={ϵ}_{ijk}{x}_k$ on ${\mathbb{R}}^3$. Their three-dimensional underlying manifold cannot carry a nondegenerate two-form. In the latter case the Poisson rank is two away from the origin and zero at the origin, with spheres and the origin as symplectic leaves. Even in even dimension a given Poisson structure need not come from a symplectic form: $\pi =x{\partial }_x\wedge {\partial }_y$ on ${\mathbb{R}}^2$ satisfies Jacobi but vanishes along $x=0$. The statement concerns this degenerate structure, not a claim that ${\mathbb{R}}^2$ admits no other symplectic structure.

For any candidate bivector, applying the Jacobi identity to coordinate functions gives the necessary conditionIt is sufficient as well: expanding $\{f,\{g,h\}\}$ and its cyclic companions cancels all terms with second derivatives by antisymmetry of $\pi$. What remains is $J^{ijk}({\partial }_{i}f)({\partial }_{j}g)({\partial }_{k}h)$. This is the coordinate Jacobi condition for a Poisson bivector.

For a symplectic form, differentiate $\omega \pi =-I$ to obtain ${\partial }_{\ell }\pi =\pi ({\partial }_{\ell }\omega )\pi$. Substituting this into the cyclic expression givesbecause $d\omega =0$. Thus the inverse symplectic structure always satisfies the Jacobi identity. Conversely, for a nondegenerate Poisson structure, multiplying by three inverse matrices proves closure of its associated two-form.

In momentum space, choose Hamiltonian $H(\mathbf{p})=E(\mathbf{p})$ and the constant Poisson bivectorIts Poisson bracket is $\{f,g\}=e\mathbf{B}\cdot (\nabla f\times \nabla g)$. The Hamiltonian vector field therefore givesexactly the prescribed motion. The sign here uses the signed charge $e$ as printed; an electron's physical charge may be negative. Since the magnetic field is uniform, every derivative of ${\pi }^{ij}$ vanishes, so every term in $J^{ijk}$ is zero. Jacobi holds independently of the dispersion function $E$. This is the momentum-space Poisson structure for a uniform magnetic field.

For $e\mathbf{B}\ne 0$ this bivector has rank two and $C(\mathbf{p})=\mathbf{B}\cdot \mathbf{p}$ is a Casimir function of a Poisson manifold: $\{C,f\}=0$ for every $f$. Its symplectic leaves are the planes $C=c$. For axes with $\mathbf{B}=B_0{\mathbf{e}}_3$, the leaf form is $\omega =(e{B}_0{)}^{-1}d{p}_1\wedge d{p}_2$ in our inverse-sign convention. Also $\dot{E}=\{E,E\}=0$, so trajectories on a Fermi surface lie on its intersections with these planes, typically curves. The energy surface is invariant for this Hamiltonian, but need not be a Poisson submanifold; the bracket has been defined on the whole momentum space. If $e\mathbf{B}=0$, the Poisson structure and motion vanish.

The two components of a disjoint union are open and closed. Restriction therefore gives an isomorphismIts inverse assigns the first form on $U$ and the second on $V$; it is smooth because there are no overlaps on which compatibility must be imposed. The exterior derivative is local, so this is an isomorphism of cochain complexes.

A form on $M$ is a closed differential form exactly when both restrictions are closed. It is an exact differential form exactly when both restrictions are exact: primitives on $U$ and $V$ join into a global primitive. Taking the quotient therefore yields the de Rham cohomology of a finite disjoint union:The same argument covers degree zero, with the space of degree-minus-one forms taken to be zero.

Take a smooth gauge transformation $g:{\mathbb{R}}^3\to SU(2)$. In the anti-Hermitian convention of the adjoint covariant derivative, setExpanding ${\partial }_j(g\Phi g^{-1})$ shows that its two differentiated-$g$ terms cancel with the extra terms in $[A_j^g,{\Phi }^g]$. Thus $D_j^g{\Phi }^g=g(D_j\Phi )g^{-1}$. The gauge field strength is $F_{jk}={\partial }_j{A}_k-{\partial }_k{A}_j+[A_j,A_k]$, and the same cancellation, or the commutator of covariant derivatives, gives $F_{jk}^g=g{F}_{jk}{g}^{-1}$.

The matrix trace is unchanged by conjugation, soEach field-strength norm, covariant-gradient norm and Higgs norm is therefore invariant pointwise. It follows that $V_{\lambda }(A^g,{\Phi }^g)=V_{\lambda }(A,\Phi )$. The displayed tensor made from these fields is also gauge invariant wherever $\Phi \ne 0$.

There is a normalization problem in the requested final identity. With the ordinary defining $2\times 2$ trace and the printed inner product, an explicit orthonormal basis isThe last identity follows from the Pauli matrix multiplication law. In particular it is not permissible to combine this orthonormality with unit structure constants of a Lie algebra.

Write $A_j=a_j^a{e}_a$ and $\Phi =\phi e_3$ with $\phi \ne 0$, and put $s=\mathrm{sgn}\phi$. Define $C_{jk}=a_j^1{a}_k^2-a_j^2{a}_k^1$. ThenOnly the bracket of the transverse terms contributes in the $e_3$ direction, givingHence the literal tensor printed in the question isThe transverse term does not cancel with this trace normalization of su(2).

A concrete counterexample to the printed closure assertion is $\Phi =e_3$, $A_1=e_1$, $A_2=x_3{e}_2$, $A_3=0$ on a ball. Directly, $F_{12}=\sqrt{2}{x}_3{e}_3$, $F_{23}=-e_2$ and $F_{31}=0$, while $D_1\Phi =-\sqrt{2}{e}_2$, $D_2\Phi =\sqrt{2}{x}_3{e}_1$ and $D_3\Phi =0$. It follows thatThe Higgs field never vanishes. If global finite energy is desired, multiply both nonzero gauge-potential components by a smooth compactly supported cutoff equal to one on this ball and keep $\Phi =e_3$ everywhere. The energy is finite and the same local counterexample remains. Thus the claimed closure is false with the ordinary trace normalization actually printed; it is not a consequence of gauge invariance alone.

The consistent 't Hooft electromagnetic tensor for the printed inner product is insteadIn the directional gauge, its commutator coefficient is $1/{\kappa }^2$, so the terms cancel exactly andOn a connected region where $\phi \ne 0$, $s$ is constant. Commutation of ordinary partial derivatives provesAt any nonzero-Higgs point, use the permitted local gauge transformation to align the field with a fixed internal direction. Since $\mathcal{F}$ is gauge invariant, the identity derived in that gauge holds in the original gauge on the same ball. These balls cover every nonzero-Higgs region, proving that the corrected tensor is a closed differential form there.

Alternatively, keeping the tensor's printed coefficient one but replacing the inner product by $-2\mathrm{tr}(XY)$ gives the orthonormal basis $e_a=-i{\sigma }_a/2$ with $\kappa =1$. The same calculation then gives $f_{jk}=s({\partial }_j{a}_k^3-{\partial }_k{a}_j^3)$ and the intended identity. Either repair makes the bracket and inner-product normalizations agree; they must not be silently mixed.

We use the following precise degree-zero/one kernel of the magnetic X-ray transform in degrees zero and one theorem, as permitted here: for a smooth Anosov magnetic flow on a closed oriented surface, ifwith $q$ a smooth base function and $\xi$ a smooth one-form, then $q=0$ and $\xi$ is exact. Exact one-forms give the converse, because $F(w\circ \pi )=dw(v)$. No assumption of pointwise negative Gaussian curvature is needed for this theorem. We now derive the contact obstruction from it rather than assume the desired rigidity conclusion.

Use the usual connected-surface convention. Since ${\int }_{M}f{\Omega }_a=0$, the top-degree de Rham cohomology class of $f{\Omega }_a$ vanishes: integration identifies $H_{\mathrm{dR}}^2(M)$ with $\mathbb{R}$. Choose a smooth one-form $\eta$ on $M$ satisfying $d\eta =f{\Omega }_a$, and setThe structure equations and the previous volume calculation giveThis primitive exists because of the zero-flux hypothesis, and need not itself be contact.

A useful elementary fact is that every smooth invariant function of an Anosov flow is constant on a connected manifold. If $Fh=0$, then $d{h}_x(v_s)=d{h}_{{\varphi }_{t}x}(D{\varphi }_t{v}_s)$, and boundedness of $dh$ with exponential contraction makes this zero as $t\to \infty$. Negative time does the same for an unstable vector. Also $dh(F)=0$. The Anosov splitting spans the tangent space, so $dh=0$. This avoids any extra ergodicity assumption.

Suppose a smooth contact form $\tau$ is preserved. Invariance and contraction imply $\tau (v_s)=\tau (D{\varphi }_t{v}_s)=0$ in the limit; negative time gives the same on unstable vectors. Thus $\tau$ annihilates both transverse bundles. Its value $\tau (F)$ cannot vanish anywhere, since otherwise $\tau$ would be zero at that point, contradicting the contact condition. It is a smooth invariant function and therefore a nonzero constant. Divide $\tau$ by that constant to arrange $\tau (F)=1$.

The Cartan formula for the Lie derivative now gives ${\iota }_{F}d\tau =0$. In dimension three, all two-forms annihilating $F$ are scalar multiples of ${\iota }_F\mu$, soThe scalar $k$ is smooth and nowhere zero by the contact condition. Both sides without $k$ are flow-invariant; hence $Fk=0$ and the preceding Anosov argument makes $k$ constant. It follows thatis a closed differential one-form.

We require the Liouville mean of such a closed differential form, and derive it explicitly. Let $R_s$ be fibre rotation and average $\zeta$ over $0\le s\le 2\pi$. Since $d\zeta =0$, the Cartan formula for the Lie derivative givesConsequently its rotational average differs from $\zeta$ by an exact form. For a closed rotationally invariant one-form $\overline{\zeta }$, the identity $d(\overline{\zeta }(V))={\mathcal{L}}_V\overline{\zeta }-{\iota }_{V}d\overline{\zeta }=0$ makes its vertical value a constant $a$. Subtracting $a\omega$ leaves a rotationally invariant horizontal form, which descends to a base form $\xi$. We have therefore proved the averaging closed one-forms on a surface unit tangent bundle decompositionThe last relation follows from closedness and $d\omega =-K{\pi }^{\ast }{\Omega }_a$.

Evaluation at $F$ gives $\zeta (F)={\xi }_x(v)+af+Fh$. The average of the linear expression ${\xi }_x(v)$ around each unit circle is zero. The second term has total integral $2\pi a{\int }_{M}f{\Omega }_a=0$. Finally ${\int }_{SM}Fhd\mu =0$ by volume preservation and Stokes theorem. Thusfor every closed differential one-form $\zeta$ in this zero-flux system. Apply this to $\tau +k\sigma$: the directional average of ${\eta }_x(v)$ also vanishes, so its integral is $(1+k){\mathrm{Vol}}_{\mu }(SM)$. Positivity of the volume forces $k=-1$. Hence $d\tau =d\sigma$ and $\zeta =\tau -\sigma$ is closed.

Using its proved decomposition and $\tau (F)=1$, we obtainThe stated magnetic transform kernel theorem gives $af=0$ and exactness of $\eta -\xi$, hence $d\eta =d\xi$. If $a=0$, then $d\xi =0$ and $f{\Omega }_a=d\eta =0$, so $f=0$. If $a\ne 0$, the equation $af=0$ already gives $f=0$. Necessity is proved.

Conversely, if $f=0$, then $F=X$. The canonical form $\alpha$ is contact because $\alpha \wedge d\alpha =-\mu$ never vanishes, andThus the flow preserves $\alpha$, provingIf disconnected surfaces are admitted, the flux condition must hold on each component for the exactness step; a single cancelling total flux does not imply componentwise exactness. The result above uses the standard connected interpretation of a surface.

Products below combine matrix multiplication with the wedge product of differential forms of differential forms. Differentiate the projection identity $p^2=p$ to getMultiplying by $p$ on both sides also gives $pdpp=0$; applying the same argument to $1-p$ gives $(1-p)dp(1-p)=0$. Thus at each point $dp$ is off-diagonal relative to $\mathrm{im}p\oplus \ker p$, whereas $(dp{)}^2$ is diagonal and commutes with $p$. For $\omega =p(dp{)}^2$,because $d(dp)=0$.

The graded Leibniz rule and cyclicity of the matrix trace give, since $\omega$ has even degree,Here $(d\omega ){\omega }^{k-1}$ is off-diagonal: $(dp{)}^3$ is off-diagonal and every power of $\omega$ is diagonal. Its matrix trace is zero. Hence $\boxed{d\mathrm{tr}({\omega }^k)=0}$ for every $k\ge 1$; for $k=0$ the trace is the constant matrix size.

For the determinant, work over the commutative algebra of even differential forms. If $f(0)=1$, write $f(\omega )=I+N$, where $N$ has strictly positive degree and is nilpotent for dimensional reasons. The finite power series identityholds over this algebra, as follows either from the formal determinant identity over characteristic-zero commutative rings or by differentiating $\det (I+sN)$ in the scalar variable $s$. Each $N^j$ is a linear combination of positive powers of $\omega$. The matrix trace of the logarithm is therefore a closed differential form, and its finite exponential is closed by the graded Leibniz rule. Thus $\boxed{d\det f(\omega )=0}$. The projection connection interprets $\omega$ as the curvature of $pd$ on $\mathrm{im}p$, but the proof above directly establishes both closedness claims.

For a closed manifold $M$ with an oriented Riemannian metric, define $\delta$ to be the formal $L^2$ adjoint operator of the exterior derivative, equivalently $\delta =(-1{)}^{n(q+1)+1}\ast d\ast$ on $q$-forms. The Hodge Laplacian is ${\Delta }_q=d\delta +\delta d$. The Hodge decomposition theorem states that its space ${\mathcal{H}}^q=\ker {\Delta }_q$ of harmonic differential forms is finite-dimensional and smooth, and thatThe last isomorphism sends a harmonic differential form to its de Rham cohomology class: every class has exactly one harmonic representative. Out-of-range degree spaces are zero.

We first justify the analytic facts needed in the proof. In local coordinates and a smooth frame for the form bundle, the principal symbol of ${\Delta }_q$ is $g^{ij}{\xi }_i{\xi }_{j}I$. This follows from the exterior/contraction identities for $d$ and $\delta$. Freezing the leading coefficients, the Fourier transform estimate for the constant positive quadratic form gives, for each nonnegative integer $s$,Here is how to pass to variable coefficients. On a sufficiently small coordinate ball the difference of leading coefficients has arbitrarily small supremum norm. After differentiating $s$ times, its top-order contribution is bounded by $\epsilon \Vert u{\Vert }_{H^{s+2}}$; derivatives of the coefficients and first-order terms contribute $C_s\Vert u{\Vert }_{H^{s+1}}$. A partition of unity gives the same types of terms from commutators with the cutoffs. Absorb the epsilon term and use Sobolev interpolation to absorb $\Vert u{\Vert }_{H^{s+1}}$ into a small multiple of $\Vert u{\Vert }_{H^{s+2}}$ plus $C\Vert u{\Vert }_2$. This proves the estimate.