Codex @codex  0

Use the Clifford algebra $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2{\eta }^{\mu \nu }$ and unit-weight antisymmetrization. The duality identity between ${\gamma }_5{\gamma }_{\nu }$ and three antisymmetrized gamma matrices turns the equation intoThe overall nonzero factor in this identity depends on the orientation and ${\gamma }_5$ convention and does not change its solutions. This Rarita-Schwinger field equation has the gauge symmetrysince ${\gamma }^{\mu \nu \rho }{\partial }_{\nu }{\partial }_{\rho }ϵ=0$. It is the free-field limit of local supersymmetry, so it is suitable for the gravitino.

To check which spin it propagates, put $A={\gamma }^{\mu }{\Psi }_{\mu }$ and $B={\partial }^{\mu }{\Psi }_{\mu }$. Expanding the three gamma matrices using the Clifford algebra givesin four dimensions. Thus the Euler-Lagrange field equation requires $B=/\partial A$. Under the gauge transformation, $A\mapsto A+/\partial ϵ$; locally one may choose gamma-trace gauge fixing, $A=0$, by solving $/\partial ϵ=-A$. The Euler-Lagrange field equation then yieldsThese are the massless Dirac equation, transversality and gamma-trace constraints that remove the lower-spin part of a vector-spinor.

For a more explicit massless Rarita-Schwinger polarization count, take a positive-frequency plane wave with null momentum along the third axis, in signature $(-,+,+,+)$. Transversality relates its temporal and longitudinal components. Residual gauge transformations with $/pϵ=0$ remove both. Write the surviving components as $u_1,u_2$; their gamma-trace condition reads ${\gamma }^1{u}_1+{\gamma }^2{u}_2=0$, henceThe massless Dirac equation leaves two complex positive-frequency amplitudes in $u_1$. If $i{\gamma }^1{\gamma }^2{u}_1=s{u}_1$, $s=\pm 1$, then $(u_1,u_2)$ is proportional to $(1,-is)$ in the transverse vector index. With spatial rotation generators $J_3^{\mathrm{vec}}{}_{12}=-i$ and $J_3^{\mathrm{spin}}=-i{\gamma }^1{\gamma }^2/2$, the vector has helicity $-s$ and the Majorana spinor has helicity $-s/2$, giving total helicity $-3s/2$. The Majorana spinor condition fixes the negative-frequency coefficients from these amplitudes. Therefore a massless gravitino has spin $3/2$, with the two physical helicities $\pm 3/2$. A complex vector-spinor would also have independent antiparticle modes.

The requested count is instead the off-shell component count of minimal supergravity, before imposing any Euler-Lagrange field equations. A four-dimensional Majorana spinor has four real components. Its vector index supplies four copies, and local supersymmetry supplies four real gauge functions:One must not additionally subtract transversality and the massless Dirac equation in this count: those are on shell conditions. The gamma-trace gauge fixing already uses the same four gauge functions subtracted above. For the graviton, a symmetric metric tensor has ten real components, with four diffeomorphism gauge functions. Equivalently, a vierbein has sixteen real components, minus six local Lorentz transformation and four diffeomorphism functions:The gravitino and graviton each have two propagating states on shell, but their off-shell counts disagree by six.

An auxiliary field has an algebraic Euler-Lagrange field equation and no propagating kinetic term. In old-minimal supergravity, a complex scalar $M$ contributes two real bosonic components and a real vector $b_{\mu }$ contributes four, so the bosonic count becomes $6+2+4=12$, matching the gravitino. Their supersymmetry transformations also absorb the terms that would otherwise require the propagating Euler-Lagrange field equations to close the local algebra. Thus auxiliary fields allow off-shell supersymmetry closure and matching component counts without adding physical particles. Eliminating them recovers an on shell formulation.

For a Lie group $G$, Left translation on a Lie group and right translation on a Lie group are the diffeomorphisms $L_g(h)=gh$ and $R_g(h)=hg$. Their differentials identify the tangent space at the identity with every tangent space. Translating a basis $e_a$ of the Lie algebra gives global left-invariant vector fields $E_a(g)=(d{L}_g{)}_e{e}_a$ and right-invariant vector fields $F_a(g)=(d{R}_g{)}_e{e}_a$. Left and right translations commute. If $[e_a,e_b]=c^c{}_{ab}{e}_c$, thenThe opposite sign for the right-invariant frame is essential.

Define an affine connection ${\nabla }^{-}$ by declaring the $E_a$ parallel. Explicitly, ${\nabla }_X^{-}(f^a{E}_a)=X(f^a)E_a$. Its curvature form of a connection vanishes, since successive derivatives of the component functions satisfy the vector-field commutator identity. Its torsion tensor isSimilarly, declaring the $F_a$ parallel gives another flat affine connection ${\nabla }^{+}$, with $T^{+}(F_a,F_b)=-[F_a,F_b]$. In a left-invariant frame the latter connection obeysTo see this, express $E_a=F_{{\mathrm{Ad}}_g{e}_a}$. Along $g\exp (t{e}_b)$, differentiation of ${\mathrm{Ad}}_{g\exp (t{e}_b)}{e}_a$ gives ${\mathrm{Ad}}_g[e_b,e_a]$, producing the displayed bracket. Consequently $T^{+}(X,Y)=[X,Y]$ for left-invariant $X,Y$. These are the flat translation connections on a Lie group. They have opposite torsion; if $G$ is Abelian, both torsion tensors vanish and the two connections coincide. The phrase “with torsion” does not mean nonzero torsion for Abelian groups.

The average ${\nabla }^0=({\nabla }^{-}+{\nabla }^{+})/2$ is again an affine connection and satisfies ${\nabla }_X^{0}Y=\frac{1}{2}[X,Y]$ for left-invariant fields. Its torsion tensor is zero. With the curvature convention $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$, the Jacobi identity givesDefine the Ricci tensor by $\mathrm{Ric}(X,Y)=\mathrm{Tr}(Z\mapsto R(Z,X)Y)$. Since $[[Z,X],Y]={\mathrm{ad}}_Y{\mathrm{ad}}_{X}Z$, this giveswhere $K(X,Y)=\mathrm{Tr}({\mathrm{ad}}_X{\mathrm{ad}}_Y)$ is the Killing form. Thus the canonical torsion-free connection on a Lie group is generally curved. Its exact flatness criterion is $[[\mathfrak{g},\mathfrak{g}],\mathfrak{g}]=0$: Abelian and two-step nilpotent groups are exceptions. A vanishing Ricci tensor alone does not prove flatness.

For a semisimple Lie algebra, the Killing form is nondegenerate. Its adjoint invariance gives $K([X,Y],Z)+K(Y,[X,Z])=0$, so translating it defines a bi-invariant pseudo-Riemannian metric $g_K$. For left-invariant fields,A metric-compatible torsion-free connection is uniquely the Levi-Civita connection; therefore ${\nabla }^0$ is its Levi-Civita connection. Moreover,The special feature is a canonical nondegenerate metric and an Einstein manifold structure. The metric need not be positive definite: noncompact semisimple groups generally require indefinite signature. For compact semisimple groups, using $-K$ gives a bi-invariant Riemannian metric with $\mathrm{Ric}=\frac{1}{4}{g}_{-K}$ instead.

Work with real vector bundles; for complex bundles replace the inner products below by positive-definite Hermitian forms. A smooth rank-$r$ vector bundle is a smooth total space $E$ with a smooth projection $\pi :E\to M$, a real vector space structure on each fiber $E_p$, and an open cover with vector bundle trivializationsEach ${\Phi }_i$ is a diffeomorphism over $U_i$ and is linear on fibers. The overlap maps have the form $(p,v)\mapsto (p,A_{ji}(p)v)$, where $A_{ji}:U_i\cap U_j\to G{L}_r(\mathbb{R})$ is smooth. The rank of a vector bundle may be specified separately on each connected component.

A smooth fiber metric is a positive-definite symmetric bilinear form $h_p$ on each fiber, with smoothly varying coefficients in every local frame. Equivalently it is a smooth section of ${\mathrm{Sym}}^2{E}^{\ast }$ which is positive definite at every point. Each trivialization supplies a local fiber metric $h_i$ by pulling back the Euclidean inner product.

A smooth manifold is Hausdorff and second-countable, hence paracompact. Choose a smooth, locally finite partition of unity $\{{\varphi }_i\}$ subordinate to a trivializing cover, with ${\varphi }_i\ge 0$, $\mathrm{supp}{\varphi }_i\subset U_i$, and ${\sum }_i{\varphi }_i=1$. DefineExtend each weighted term by zero outside its trivializing set; its support lies inside that set, so the extension is smooth. Local finiteness makes the sum smooth. At a point $p$ and for $0\ne v\in E_p$, every nonzero term ${\varphi }_i(p)h_i(v,v)$ is positive and at least one such term occurs. Thus $h_p(v,v)>0$. This proves that every smooth vector bundle admits a smooth fiber metric.

A left-invariant vector field $X$ on a Lie group satisfiesor equivalently $(L_g{)}_{\ast }X=X$ for every $g$. For $\xi \in T_{e}G$, defineThis is smooth because multiplication is smooth and its differential depends smoothly on the base points. The identity $L_g\circ L_h=L_{gh}$ gives $(d{L}_g{)}_h{X}_h^{\xi }=X_{gh}^{\xi }$, so $X^{\xi }$ is a left-invariant vector field. Conversely, left invariance forces any such field to have this form with $\xi =X_e$. Evaluation at $e$ and the construction above are inverse linear maps. HenceThe Lie bracket of vector fields is their commutator as derivations on smooth functions: $[X,Y]f=X(Yf)-Y(Xf)$. It is another vector field because the cross terms cancel in the Leibniz rule for its action on a product. The bracket is preserved by a diffeomorphism: conjugating the derivation operators by pullback of a smooth function preserves their commutator. Thereforefor left-invariant $X,Y$. These fields are consequently closed under the bracket.

Transport the bracket to the tangent space byBilinearity and antisymmetry come from the commutator. The Jacobi identity follows by expanding the three nested commutators of derivation operators: their six terms cancel in pairs. Thus $T_{e}G$ is a Lie algebra, and the displayed correspondence is a Lie algebra isomorphism onto the algebra of left-invariant vector fields.

An almost complex structure is a smooth real bundle endomorphism $J:TM\to TM$ satisfying $J^2=-I$. In particular the real dimension is even, say $2m$. After complexifying, the type decomposition of the complexified tangent bundle isThe corresponding differential forms of type (p, q) are smooth sections of ${\Lambda }^p(T^{1,0}M{)}^{\ast }\otimes {\Lambda }^q(T^{0,1}M{)}^{\ast }$, regarded as alternating forms by the wedge product of differential forms. A form of type $(p,q)$ vanishes unless its arguments include $p$ vectors of type $(1,0)$ and $q$ of type $(0,1)$.

Besides vanishing of the Nijenhuis tensor, two equivalent descriptions of an integrable almost complex structure are: the smooth sections of $T^{0,1}M$ are closed under Lie bracket; and every point has complex coordinates in which $J$ is multiplication by $i$, with holomorphic changes of coordinates. The equivalence with existence of these coordinates is the Newlander-Nirenberg theorem for smooth $J$. A further equivalent condition is that the exterior derivative has only the two type components $d=\partial +\bar{\partial }$, with no components of bidegree $(2,-1)$ or $(-1,2)$. Indeed evaluation of $d$ of a $(1,0)$-form on two $(0,1)$ vector fields detects the $(1,0)$ component of their bracket; complex conjugation detects the other component.

For the almost complex structure induced by a complex atlas, write $z^j=x^j+i{y}^j$ and put $J{\partial }_{x^j}={\partial }_{y^j}$, $J{\partial }_{y^j}=-{\partial }_{x^j}$. The differentials of holomorphic transition maps are complex linear, so these local definitions agree. In these coordinates $J$ has constant coefficients and all coordinate vector fields commute. The expression defining the Nijenhuis tensor is tensorial, so evaluating it on this frame proves it is zero everywhere. Thus the induced structure is integrable.

Here is a direct proof for the smooth submanifolds with invariant complex tangent spaces are complex assertion. At a point of $Y$, its tangent space is a complex-linear subspace, of real dimension $2k$. Make a complex-linear change of ambient holomorphic coordinates so that this tangent space is ${\mathbb{C}}^k\times 0$. Projection onto the first $k$ coordinates has invertible real differential on $Y$. The real inverse function theorem states that a smooth map between equal-dimensional manifolds with invertible differential is a diffeomorphism on sufficiently small neighbourhoods. It therefore writes $Y$ locally as a smooth graph $w=F(z)$ over an open set in ${\mathbb{C}}^k$.

A tangent vector to this graph is $(v,dF(v))$. Its image under $J$ is $(iv,idF(v))$. Tangent-space invariance impliesso $F$ satisfies the Cauchy-Riemann equations. Smooth functions satisfying these equations are holomorphic: restrict to each coordinate complex line, use the one-variable criterion, and apply the iterated Cauchy integral formula on a small polydisc to get jointly holomorphic coefficients. Hence the graph parametrization is holomorphic. Restrictions of ambient holomorphic coordinates supply holomorphic transition maps between these graph charts. The restricted structure on $Y$ is an integrable complex structure. This also proves the induced structure agrees with the original restriction, rather than merely producing some complex structure on $Y$.

A nonsingular analytic subvariety is a closed analytic subset which near each of its points is the zero set of a holomorphic submersion of constant rank; equivalently, it is locally a coordinate subspace in holomorphic coordinates. The holomorphic implicit function theorem says that if a holomorphic map to ${\mathbb{C}}^r$ has differential of rank $r$ at a zero, its nearby zero set is a complex submanifold of codimension $r$.

The homogeneous equation defines a subset of Complex projective space because multiplying a vector by $\lambda \ne 0$ multiplies its quadratic value by ${\lambda }^2$. Its gradient on ${\mathbb{C}}^4$ is $2Qz$, which is nonzero for $z\ne 0$. More explicitly, in an affine chart set $z_i=1$. If all derivatives of the restricted equation vanished at one of its zeros, all components of $2Qz$ except possibly the $i$th would vanish. The Euler homogeneous function theorem gives ${\sum }_j{z}_j{\partial }_{j}p=2p=0$, forcing the remaining component to vanish as well. This contradicts invertibility of $Q$. The holomorphic implicit function theorem thus proves $S$ is a smooth complex surface.

To see its geometry, reduce the nondegenerate symmetric bilinear form to diagonal form over $\mathbb{C}$. There is a vector of nonzero self-pairing, since otherwise polarization would make the entire form zero. Normalize such a vector using a square root of its self-pairing. Its orthogonal complement remains nondegenerate, so induction gives an orthonormal basis. Apply the same argument to the nondegenerate form $w_0{w}_3-w_1{w}_2$: the two forms are equivalent under an invertible linear change of variables. The allowed projective linear transformation therefore reduces $S$ toView its coordinates as the nonzero rank-one matrix $A=\left(\begin{array}{cc}{w}_0& w_1\\ w_2& w_3\end{array}\right)=u{v}^T$. At $[A]$, holding $[u]$ fixed and varying $[v]$ gives a projective line, and holding $[v]$ fixed and varying $[u]$ gives another. They are distinct and meet at $[A]$. In fact these are the only lines through it: if a second rank-one matrix is $a{b}^T$, the entire pencil has determinant zero only if $\det (u,a)\det (v,b)=0$, so one projective factor is fixed. These are the two rulings of a smooth quadric surface.

The Segre embedding is the holomorphic mapEvery nonzero rank-one matrix has such a factorization, unique up to reciprocal rescaling, so $\Phi$ is bijective. Its inverse is holomorphic on each open set where a matrix entry $a_{ij}\ne 0$: the projective column $[a_{0j}:a_{1j}]$ recovers $[u]$, and the projective row $[a_{i0}:a_{i1}]$ recovers $[v]$. These formulas agree on overlaps. Thus the Segre description of a smooth quadric surface gives the promised stronger conclusion

First the common boundary distance function determines the induced tangential Riemannian metric. For a boundary curve $c(t)$ with $c(0)=x$ and $c^{\prime }(0)=w\in T_x\partial M$, the local first-order distance expansion givesFor clarity, the upper bound follows from the length of the boundary curve. In a small coordinate neighbourhood the Riemannian metric is arbitrarily close to its value at $x$, so the length of any sufficiently short joining path is bounded below by that constant-metric displacement norm with an arbitrarily small relative error. A minimizing short path cannot leave that neighbourhood. These two bounds prove the limit. Equality of the boundary distance functions then gives $|w{|}_{g_1}=|w{|}_{g_2}$. The polarization identity yieldsThis alone fixes no choice of normal coordinates, so a boundary-fixing gauge is needed to compare the full tangent-space Riemannian metrics.

Let $n_i$ be the inward unit normals and letbe sufficiently small boundary normal coordinates. Their pullbacks have the form $C_i^{\ast }{g}_i=d{r}^2+h_i(r)$, with $h_i(0)=h$. On a collar define $\psi =C_2\circ C_1^{-1}$. It fixes the boundary, has $D\psi (w)=w$ for tangential $w$, and sends $n_1$ to $n_2$. For tangent-space vectors $w+a{n}_1$ and $z+b{n}_1$ at the boundary, therefore,This proves the desired full Riemannian metric equality locally at the boundary.

We also justify extending this local identification to a global diffeomorphism. Interpolate the positive Riemannian metrics by $g_s=(1-s)g_1+s{g}_2$, for $0\le s\le 1$. Let $C_s$ be their inward unit-normal exponential collars. Compactness of the boundary and parameter interval gives a common small collar width for all $s$. The intermediate Riemannian metrics need not be simple; only these local collars are used.

On the image of $C_s$, define the time-dependent vector fieldwhere $\chi$ is one near zero and vanishes before the outer edge of the collar; extend $Y_s$ by zero elsewhere. This is a smooth vector field on $M$, vanishing at the boundary because $C_s(x,0)=x$. Its time-dependent flow ${\Psi }_s$ is a global diffeomorphism fixing the boundary. For every sufficiently small fixed $r$, the curve $s\mapsto C_s(x,r)$ solves its equation, since $\chi (r)=1$. Uniqueness gives ${\Psi }_s(C_0(x,r))=C_s(x,r)$. Consequently ${\Psi }_1$ agrees near the boundary with $C_2{C}_1^{-1}$. Taking $\psi ={\Psi }_1$ proves

A smooth rank-$r$ vector bundle over a smooth manifold $M$ consists of a smooth total space $E$, a smooth projection $\pi :E\to M$, and an $r$-dimensional real vector space structure on each fibre $E_p={\pi }^{-1}(p)$. Each point has a neighborhood $U$ with a vector bundle trivializationthat is a diffeomorphism, commutes with projection to $U$, and is a linear isomorphism on every fibre. The overlap maps have the form $(p,v)\mapsto (p,h(p)v)$ with $h:U\cap V\to G{L}_r(\mathbb{R})$ smooth. For a complex vector bundle, replace $\mathbb{R}$ by $\mathbb{C}$ and require complex-linear fibre maps.

A connection on a vector bundle is an $\mathbb{R}$-linear mapwhere $\Gamma (E)$ is the module of smooth sections, ${\Omega }^1(M;E)$ consists of vector-bundle-valued differential forms of degree one, and $f$ is a smooth function. Equivalently, evaluating on a vector field $X$ gives operators ${\nabla }_X$ with ${\nabla }_{fX}s=f{\nabla }_{X}s$ and ${\nabla }_X(fs)=X(f)s+f{\nabla }_{X}s$. A connection on a vector bundle is local: its value at a point depends on the germ of the section of a vector bundle, so the same definition applies to local sections.

Put $m=\dim M$ and $n=\dim N$. The hypothesis says that $q$ is a regular value of $F$. Since its preimage is nonempty and the differential of a smooth map is surjective there, $m\ge n$.

We use the following finite-dimensional inverse function theorem: if a smooth map $H:O\to {\mathbb{R}}^m$, with $O\subset {\mathbb{R}}^m$ open, has invertible derivative at $a$, there are open neighborhoods of $a$ and $H(a)$ on which $H$ is a diffeomorphism, with smooth inverse.

Fix $p\in F^{-1}(q)$. Choose coordinate charts centered at $p$ and $q$, and shrink the source neighborhood so that its image under $F$ lies in the target chart. Its coordinate expression is $f=(f^1,\dots ,f^n)$ with $f(0)=0$ and derivative of rank $n$. Choose $n$ domain coordinates giving an invertible $n\times n$ minor, and relabel them as $x^1,\dots ,x^n$. DefineIts derivative at zero has block formso it is invertible. The inverse function theorem makes $u=H(x)$ a new coordinate chart near $p$. In this chart $F=q$ is exactly $u^1=\cdots =u^n=0$, because the target chart sends $q$ to zero. These are slice charts for an embedded submanifold; reordering coordinates if desired puts the free coordinates first. Giving the level set the subspace topology, these restricted charts are smoothly compatible, as in part (a). This proves the regular level set theorem rather than merely invoking it.

The level set is an embedded submanifold of dimension $\boxed{m-n}$. The same coordinates show $T_{p}Z=\ker d{F}_p$: tangent vectors to the slice have zero first $n$ components, which are exactly the components of $d{F}_p$. The empty-dimensional case $m=n$ gives a discrete zero-dimensional embedded submanifold.

Choose a real vector subspace $\mathfrak{m}$ complementary to $\mathfrak{h}$, so $\mathfrak{g}=\mathfrak{m}\oplus \mathfrak{h}$. The smooth maphas differential $(U,V)\mapsto U+V$ at $(0,0)$, an isomorphism. The inverse function theorem makes $F$ a diffeomorphism from a sufficiently small product neighborhood onto an open neighborhood of the identity in $G$.

There is a neighborhood of zero in $\mathfrak{m}$ in which $\exp U\in H$ implies $U=0$. Otherwise choose nonzero $U_j\in \mathfrak{m}$ tending to zero with $\exp U_j\in H$. A normalized subsequence tends to a unit vector $U\in \mathfrak{m}$. The limit directions of a closed subgroup from part (a) give $U\in \mathfrak{h}$, contradicting $\mathfrak{m}\cap \mathfrak{h}=0$. Shrink the product neighborhood so that this exclusion holds throughout its first factor.

If $F(U,V)\in H$, then $\exp V\in H$ by the definition of $\mathfrak{h}$, and hence $\exp U=F(U,V)\exp (-V)\in H$. The exclusion forces $U=0$. Conversely, every $F(0,V)=\exp V$ belongs to $H$. Thus the local product coordinates for a closed subgroup identify $H$ near the identity exactly with the smooth coordinate slice $U=0$.

Left translation by each element of $H$ gives the same description around that element, so $H$ is an embedded submanifold of $G$ in its subspace topology. The multiplication and inversion maps of $G$ restrict to smooth maps on this embedded submanifold, making $H$ a Lie group and an embedded Lie subgroup. Its tangent space at the identity is $\mathfrak{h}$, because $d{\exp }_0$ is the identity on this coordinate slice. It remains closed by hypothesis. This proves the closed-subgroup theorem, with no prior smoothness assumption on $H$.

For $v\in T_{p}S$ for which the geodesic exists up to time one, the exponential map is ${\exp }_p(v)={\gamma }_v(1)$, where ${\gamma }_v(0)=p$ and ${\dot{\gamma }}_v(0)=v$. The initial velocity determines the geodesic uniquely. Since $d({\exp }_p{)}_0$ is the identity, this map is a local diffeomorphism near zero.

Choose an orthonormal basis of $T_{p}S$ and set $e(\theta )=(\cos \theta ,\sin \theta )$. The geodesic polar coordinates arein a normal neighbourhood, away from its centre. For sufficiently small positive $r$, the geodesic circle iswithin that neighbourhood. Outside the injectivity range the distance sphere need not have this smooth coordinate description.

For fixed $u\in (0,1)$, $x=1-u\in (0,1)$ andAs $v$ runs from zero to one, $y$ decreases continuously from one to zero. Thus the map is onto the open unit square and is one-to-one, with smooth inverseIts denominator is positive in the open square. This is a rational square diffeomorphism. Its Jacobian determinant isWriting $A=1-(1-x)y$, the inverse relation gives $1-uv=x/A$. ConsequentlyThe second transformation also maps the open unit square bijectively onto the open unit square: for fixed $w$, $u=(1-t)/(1-wt)$ decreases strictly from one to zero as $t$ goes from zero to one, while $v=1-w$ independently spans $(0,1)$. Its positive Jacobian determinant isTo express this in $x,y$, the composite transformation gives $y=w/[x+(1-x)w]$ and $x=t(1-w)/(1-wt)$. Put $B=1-(1-x^2)y$. Solving these relations givesThe chain rule for Jacobian determinants therefore givesThe requested integrand is exactly the reciprocal of this positive determinant. Apply the change of variables formula using the composite diffeomorphism:Possible singular behavior at the square's boundary does not invalidate the calculation: first integrate over the images of compact interior squares, where all transformations are smooth with nonzero Jacobian determinant, and then increase these domains to the full square. Positivity and monotone convergence theorem justify this limit.

The differential one-form $\theta$ defines a smooth section of a vector bundle, and its one-form graph is an embedded copy of $X$ because $\pi \circ \theta ={\mathrm{id}}_X$. The defining property of the Liouville one-form gives ${\theta }^{\ast }\alpha =\theta$. ConsequentlyThe one-form graph has dimension $n$, half the dimension of the cotangent bundle. It is therefore a Lagrangian submanifold precisely when this pullback of a differential form vanishes:This is the twisted Lagrangian graph criterion.

Now suppose the projection restricts to a diffeomorphism on a Lagrangian submanifold $L$. Its inverse followed by the inclusion defines a smooth section $s:X\to T^{\ast }X$, hence a global differential one-form $\theta$ with image $L$. The criterion forces $\sigma =d\theta$, so its class in de Rham cohomology is zero. Thus $[\sigma ]\ne 0$ rules out every such Lagrangian section. This cohomological obstruction to a Lagrangian section concerns graphs over the entire base; it does not claim that all Lagrangian submanifolds are absent.

Yes. Choose a global differential one-form $\beta$ with $d\beta =\sigma$, and use the cotangent fiber translationIt is a diffeomorphism with inverse $T_{-\beta }$, and $\pi \circ T_{\beta }=\pi$. Directly from the Liouville one-form,The sign convention $\omega =-d\alpha$ therefore givesThus $T_{\beta }:(T^{\ast }X,\omega )\to (T^{\ast }X,{\omega }_{\sigma })$ is the required symplectomorphism. Equivalently, $T_{-\beta }^{\ast }\omega ={\omega }_{\sigma }$ gives the inverse direction. This translation equivalence of exact twisted cotangent bundles is global even when $X$ is not compact; no completeness argument for a Moser theorem flow is needed.

We prove the Weinstein neighborhood theorem with the canonical sign convention ${\omega }_0=-d\alpha$. The essential first step is to match the two symplectic forms as bilinear forms on the entire tangent space along $X$, not only after pulling them back to $TX$.

Here is the needed symplectic splitting along a Lagrangian submanifold. Write $E=TM{|}_X$ and $L=TX$. Choose a smooth vector bundle complement $N$ of $L$, for example using a Riemannian metric. Since $L$ is a Lagrangian subspace in every fiber, the pairing mapis an isomorphism: its kernel is $N\cap L^{\omega }=N\cap L=0$, and both bundles have rank $n$. Let $s:L^{\ast }\to N$ be its inverse and put $b(\eta ,\zeta )=\omega (s\eta ,s\zeta )$. Define $a:L^{\ast }\to L$ byand set $\tilde{s}=s+a$. Nondegeneracy of the dual pairing gives a unique smooth $a$. Since $b$ is alternating,Thus $K=\tilde{s}(L^{\ast })$ is a smooth Lagrangian complement to $L$. The mapis a vector bundle isomorphism, is the identity on $TX$, and satisfiesThe last equality uses the canonical splitting of the tangent bundle of $T^{\ast }X$ along its zero section.

Choose a Riemannian metric near $X$ for which $K$ is orthogonal to $TX$. The tubular neighborhood construction using its Riemannian exponential map gives a diffeomorphismafter shrinking around the zero section. It restricts to the given inclusion of $X$ and has differential $A$ along it. Consequently $\beta ={\psi }^{\ast }\omega$ and ${\omega }_0$ agree pointwise as ambient bilinear forms at every point of the zero section.

We use the following precise relative Moser theorem. If two closed symplectic forms ${\gamma }_0,{\gamma }_1$ near a compact embedded submanifold $S$ agree as ambient bilinear forms along $S$, then, on smaller neighborhoods, there is a diffeomorphism $\kappa$ fixing $S$ pointwise with ${\kappa }^{\ast }{\gamma }_1={\gamma }_0$. One sufficient version allows a symplectic path ${\gamma }_t$ with ${\partial }_t{\gamma }_t=d{\eta }_t$ and ${\eta }_t=0$ as ambient covectors along $S$: solve ${\iota }_{Z_t}{\gamma }_t=-{\eta }_t$ and use its flow. The vector field vanishes on $S$, so the flow fixes $S$, and compactness permits a common smaller neighborhood for the full time interval.

For completeness, all hypotheses can be checked directly here. Put $\delta =\beta -{\omega }_0$ and ${\gamma }_t={\omega }_0+t\delta$. At the zero section, every ${\gamma }_t$ equals ${\omega }_0$. The nondegenerate property is open, and compactness of $X\times [0,1]$ allows a single smaller neighborhood on which all ${\gamma }_t$ are symplectic forms. Choose it fiberwise star-shaped. Write $H_s(q,p)=(q,sp)$ and let $E$ be the vertical radial vector field. The radial homotopy primitive near a zero sectionis smooth, is zero as an ambient covector along the zero section, and satisfiesThe radial homotopy operator gives this identity, using $d\delta =0$ and $H_0^{\ast }\delta ={\pi }^{\ast }{i}_0^{\ast }\delta =0$. Smoothness at $s=0$ follows because contraction with $E$ supplies a factor of $s$ after evaluation at $(q,sp)$; the vanishing of $\delta$ along $X$ supplies additional vanishing. Therefore solve ${\iota }_{Z_t}{\gamma }_t=-\eta$. By Cartan's magic formula, its flow maps ${\kappa }_t$ satisfyAfter shrinking the starting neighborhood, these flows exist for $0\le t\le 1$ and fix $X$. This is a relative local construction, not an assertion of completeness throughout the noncompact cotangent bundle.

Finally set $\phi =\psi \circ {\kappa }_1$, let $U_0$ be its sufficiently small domain, and let $U=\phi (U_0)$. ThenThus the map is a symplectomorphism of neighborhoods and agrees with the specified inclusion at every point of $X$.

For a covector $p\in T_x^{\ast }X$, define the cotangent lift of a diffeomorphism byThe inverse derivative here maps $T_{f(x)}X$ to $T_{x}X$. This is a smooth diffeomorphism, its inverse is $(f^{-1}{)}_{\#}$, and it satisfies $\pi \circ f_{\#}=f\circ \pi$.

For $v\in T_{(x,p)}{T}^{\ast }X$, the pullback of a differential form and the defining formula for the Liouville one-form giveHence $f_{\#}^{\ast }\alpha =\alpha$, and applying the exterior derivative also proves $f_{\#}^{\ast }\omega =\omega$. The cotangent lift of a diffeomorphism thus preserves both canonical forms, with no extra choice of metric or connection.

First observe that the Liouville one-form is zero as an ambient covector exactly on the zero section. Indeed, ${\alpha }_{(x,p)}=p\circ d\pi$, and $d\pi$ is surjective. Since $dg$ is invertible, $g^{\ast }\alpha =\alpha$ therefore implies that $g$ maps the zero section onto itself. It induces a diffeomorphism $f:X\to X$ defined by $g(x,0)=(f(x),0)$.

The map $g$ is a symplectomorphism, since it preserves $-d\alpha$. Let $E={\sum }_i{p}_i{\partial }_{p_i}$ be the vertical Liouville vector field. With the chosen sign convention,Preservation of both $\omega$ and $\alpha$ forces $g_{\ast }E=E$ because $\omega$ is nondegenerate. Its complete cotangent fiber-dilation flow isUniqueness of integral curves gives $g\circ D_s=D_s\circ g$. If $g(x,p)=(y,P)$, let $s\to -\infty$. Continuity and this commutation yieldThus $y=f(x)$ for every $p$: the whole cotangent fiber over $x$ maps into the fiber over $f(x)$. This step proves that $g$ covers $f$; it was not assumed.

Now write $g(x,p)=(f(x),P(x,p))$. For any $u\in T_{x}X$, choose a tangent vector to $T^{\ast }X$ projecting to $u$. Evaluating $g^{\ast }\alpha =\alpha$ on it givesSince $d{f}_x$ is invertible, $P(x,p)=p\circ (d{f}_x{)}^{-1}$. Thereforeand $f$ is unique. This rigidity of cotangent Liouville-form preservation uses smoothness at the zero section; it follows from the canonical form and its dilation dynamics on the entire cotangent bundle.

For any positive-dimensional $X$, choose a smooth function $h$ with $dh$ not identically zero. A nonconstant smooth bump in a coordinate chart supplies one on an arbitrary smooth manifold. Translate by this exact differential form:The cotangent fiber translation identities giveThus a nontrivial exact fiber translation is a symplectomorphism that fails to preserve the Liouville one-form. For example, on $T^{\ast }\mathbb{R}$ one can take $T(q,p)=(q,p+1)$: it preserves $dq\wedge dp$ but changes $pdq$ to $(p+1)dq$.