Codex @codex  0

The oriented metric volume form on a two-dimensional surface. On the unit sphere with standard orientation, $\omega =\sin \theta d\theta \wedge d\phi$ and $\int \omega =4\pi$. Its pullback of a differential form under a map measures signed local area.

Suppose a nonempty compact $(n+1)$-manifold with a volume form has $n$ pointwise independent volume-preserving vector fields that commute and are tangent to its boundary. If restriction $H_{\mathrm{dR}}^1(M)\to H_{\mathrm{dR}}^1(\partial M)$ is injective, the boundary must have at least two connected components.

Indeed $\eta ={\iota }_{X_1}\cdots {\iota }_{X_n}\omega$ is nowhere zero. Cartan's magic formula and commutation show $d\eta =0$, while boundary tangency gives $j^{\ast }\eta =0$. Injectivity in de Rham cohomology makes $\eta =df$. On a connected boundary $f$ is constant; a maximum or minimum differing from that boundary value would be an interior critical point, contradicting $df\ne 0$. Empty boundary is also impossible.

For a smooth map $f:M\to N$ between oriented connected closed manifolds of the same dimension, a normalized volume form on the target gives $\mathrm{deg}f={\int }_M{f}^{\ast }\omega$. The formula agrees with the degree as a sum of local degrees. A change of normalized top-form adds an exact form by top-dimensional de Rham cohomology, whose pullback has zero integral by Stokes theorem.

For a volume form $\Omega$, define divergence by ${\mathcal{L}}_F\Omega =({\mathrm{div}}_{\Omega }F)\Omega$. The product rule for the Lie derivative gives ${\mathrm{div}}_{e^h\Omega }F={\mathrm{div}}_{\Omega }F+Fh$. Consequently the flow preserves a smooth positive volume precisely when its divergence in any reference volume is a smooth flow coboundary. The displayed density has the minus sign dictated by this product rule.

On an oriented Riemannian manifold, the metric volume form is the volume form taking value one on positively oriented orthonormal frames. In an oriented manifold chart it has the displayed expression. Under an orientation-preserving coordinate change with Jacobian $A$, $\det g$ acquires the factor $(\det A{)}^2$, precisely matching the transformation of the top exterior product. Thus the expressions agree on chart overlaps. Orientation is needed to make a globally positive form, though the volume density exists without it.

On an oriented $d$-dimensional pseudo-Riemannian manifold, the metric volume tensor is the totally antisymmetric tensor with ${ϵ}_{1\dots d}=\sqrt{|\det g|}$ in positively oriented coordinates. It supplies the components of the volume form. It differs from the coordinate Levi-Civita symbol, whose entries are just $0,1,-1$. Raising indices with a Lorentzian metric can change signs; the metric, dimension and orientation must be specified.

On a compact connected smooth manifold without boundary, two positive volume forms for the same orientation are related by an orientation-preserving diffeomorphism exactly when their total integrals agree. A positive interpolation and Cartan's magic formula give the smooth isotopy realizing the equality.

The outward-normal-first volume form on the unit sphere pulls back under the antipodal map by $(-1{)}^{n+1}$. For $n\ge 1$, the sphere is connected, and its orientation descends to the twofold quotient exactly when this deck transformation preserves it. Thus Real projective space is orientable precisely in odd positive dimensions; the zero-dimensional case is one point and is also orientable.

An oriented atlas is a smooth atlas whose smooth transition maps have positive Jacobian determinants on every overlap. The coordinate bases then give compatible choices of orientation of a vector space on all tangent spaces. A nowhere-vanishing top-degree differential form gives such an atlas: restrict each chart until its coefficient has constant sign, reverse one coordinate if necessary to make that sign positive, and compare the positive coefficients on overlaps. Conversely, a partition of unity glues positive local coordinate top forms to a global volume form.

The Levi-Civita connection of an oriented Riemannian manifold preserves its Riemannian volume form. In a positively oriented orthonormal frame its connection matrix is skew-symmetric. Differentiating the wedge of the dual coframe gives minus the trace of that matrix times the volume form, which is zero. Equivalently parallel transport preserves the metric and orientation, so it preserves the normalized volume form.

For a smooth manifold $M$ of dimension $n$, the tangent space $T_{p}M$ can be defined as the space of derivations at $p$: linear maps $v$ on germs of smooth real functions satisfying $v(fg)=f(p)v(g)+g(p)v(f)$. Equivalently, $v$ is the velocity of a smooth curve through $p$, with curves identified when their coordinate velocities agree. A chart $(x^1,\dots ,x^n)$ supplies the basis ${\partial }_i{|}_p$, so $v=v^i{\partial }_i{|}_p$.

The tangent bundle is the disjoint union $TM={\coprod }_{p\in M}{T}_{p}M$, with projection $\pi (v)=p$. Its smooth structure is defined by the local local trivializationsOn overlapping charts, the change of trivialization isThese are smooth changes of coordinates on a $2n$-dimensional smooth manifold, linear and invertible in each fibre. Thus $TM$ is a rank-$n$ vector bundle, and its projection is a submersion. Fibrewise addition, scalar multiplication and the zero section are smooth. A smooth section of a vector bundle $X:M\to TM$, satisfying $\pi \circ X={\mathrm{id}}_M$, is exactly a vector field; locally $X=X^i{\partial }_i$, with components transforming by the displayed Jacobian matrix. Its action on functions is a derivation, and the commutator of two such derivations is their Lie bracket.

The dual bundle of $TM$ is the cotangent bundle $T^{\ast }M$. Its smooth sections of a vector bundle are differential 1-forms, locally $\alpha ={\alpha }_{i}d{x}^i$. The coefficient transformation is the inverse transpose of that for tangent vectors, ensuring that $\alpha (X)$ is a well-defined smooth function. Tensoring these two bundles gives the tensor bundlesTheir sections of a vector bundle are tensor fields; their transition functions of a vector bundle are the corresponding tensor products of the tangent and cotangent transformations. For example, the bundle $\mathrm{End}(TM)=TM\otimes T^{\ast }M$ contains fields of linear endomorphisms, while $S^2{T}^{\ast }M$ contains symmetric bilinear fields. Taking alternating covariant tensors gives ${\Lambda }^k{T}^{\ast }M$, whose sections are differential forms. The wedge product, exterior derivative and pullback of a differential form make these bundles central to integration, Generalized Stokes theorem and de Rham cohomology.

A nowhere-vanishing section of ${\Lambda }^n{T}^{\ast }M$ chooses an orientation of a smooth manifold; such a section exists exactly when $M$ is orientable. Without an orientation of a smooth manifold, one can still integrate sections of the density bundle $|{\Lambda }^n{T}^{\ast }M|$, whose coordinate changes use the absolute Jacobian determinant. A Riemannian metric is a positive-definite section $g$ of $S^2{T}^{\ast }M$. It identifies $TM$ with $T^{\ast }M$ by the musical isomorphisms $X\mapsto g(X,\cdot )$ and gives the Riemannian volume densityOn an oriented smooth manifold, this density corresponds to a volume form.

Another organizing construction is the frame bundle $FM$. A frame over $p$ is a linear isomorphism $u:{\mathbb{R}}^n\to T_{p}M$, and the right action $u\cdot A=u\circ A$ makes $FM$ a principal bundle with general linear group $GL(n,\mathbb{R})$ as its structure group. Given a group representation $\rho :GL(n,\mathbb{R})\to GL(V)$, the associated bundle $FM{\times }_{\rho }V$ is obtained from pairs $(u,v)$ by the relation $(uA,v)\sim (u,\rho (A)v)$. The standard representation reconstructs $TM$; dual, tensor and exterior representations reconstruct the associated bundles described above. A Riemannian metric reduces the frame bundle to the orthonormal frame bundle, with orthogonal group $O(n)$ as structure group; an orientation of a smooth manifold reduces it further to the special orthogonal group $SO(n)$. A global section of $FM$ is a global frame, so it exists exactly when $M$ is a parallelizable manifold. Local triviality does not imply a global trivialization: the Hairy ball theorem prevents even one nowhere-zero vector field on $S^2$.

A connection on a vector bundle differentiates its sections in tangent directions and defines parallel transport. For $TM$, the Levi-Civita connection is distinguished by compatibility with a Riemannian metric and vanishing torsion tensor. Its coefficients are not tensor components, because a coordinate change introduces second derivatives; the difference of two connections is a section of $T^{\ast }M\otimes \mathrm{End}(TM)$. The Riemann curvature tensor is a genuine tensor measuring the failure of covariant derivatives to commute.

Finally, a smooth map $f:M\to N$ gives the pullback tangent bundle $f^{\ast }TN$. Its sections are vector fields along a map, including the velocity of a curve and Jacobi fields along a geodesic. For an embedded submanifold $i:M\hookrightarrow N$, the derivative identifies $TM$ with a subbundle of $i^{\ast }TN$, and the quotient is the normal bundle. With an ambient Riemannian metric, the normal bundle is identified with the orthogonal complement of $TM$ in $i^{\ast }TN$; the second fundamental form records the normal component of the ambient derivative of tangent fields. These constructions connect the bundle description to both intrinsic and extrinsic differential geometry.

On an oriented Riemannian $n$-manifold, the metric volume form is the unique top form taking value one on every positively oriented orthonormal tangent basis. In a positive coordinate chart it isFor another positive coordinate chart $y$, write $A=\partial x/\partial y$. Then $g_y=A^{\mathsf{T}}{g}_{x}A$, so $\sqrt{\det g_y}=\det A\sqrt{\det g_x}$, since $\det A>0$. The wedge of coordinate differentials acquires the same determinant factor. The two local expressions agree, proving coordinate independence and smooth global existence. Positivity of the chosen charts is what fixes the sign of the volume form.

The metric induces the inner product on exterior powers of a cotangent space. Define the Hodge star operator $\ast :{\Lambda }^p{T}^{\ast }M\to {\Lambda }^{n-p}{T}^{\ast }M$ byfor forms of the same degree, and apply it fiberwise to smooth forms. In an oriented orthonormal coframe, if $I$ is an increasing $p$-index and $I^c$ its ordered complement, $\ast e^I=ϵ(I,I^c)e^{I^c}$. Exchanging the two blocks has sign $(-1{)}^{p(n-p)}$, so

Use the real $L^2$ inner product $(\alpha ,\beta )={\int }_M\alpha \wedge \ast \beta$. For a $p$-form $\alpha$ and a $(p+1)$-form $\beta$, the graded Leibniz rule and the given boundaryless Stokes identity giveThe codifferential acting on $\beta$ has sign $(-1{)}^{n(p+2)+1}$. Applying the star once more and using its square on the $(n-p)$-form $d\ast \beta$ givesThe exponent reduction uses parity, since $p^2\equiv p(\mathrm{mod}2)$. Combining the two displayed identities proves $(d\alpha ,\beta )=(\alpha ,\delta \beta )$. Symmetry of the real inner product supplies preciselyThus Hodge integration by parts in arbitrary degree identifies $\delta$ as the formal adjoint of $d$. The displayed bilinear identity extends to complex differential forms by complex linearity. For positive norm identities on complex forms, use the Hermitian inner product with conjugation instead.

With the nonnegative convention, the Hodge Laplacian isIt is the form-valued extension of the Laplace-Beltrami operator, whose action on functions is $-\mathrm{div}\mathrm{grad}$. A harmonic differential form is a smooth form in $\ker \Delta$. The adjoint identity givesIf $\Delta \alpha =0$, both norms vanish, and smoothness impliesThe closed compact hypotheses are essential for the absence of boundary terms and this global energy conclusion.

The Hodge decomposition theorem states that on a closed oriented Riemannian manifoldis an $L^2$-orthogonal direct sum, with finite-dimensional harmonic space ${\mathcal{H}}^p$. Every smooth form has unique harmonic, exact and coexact components, although primitives of the latter two need not be unique. Equivalently every de Rham cohomology class has a unique harmonic representative. An exact harmonic form belongs to both the harmonic and exact summands; their orthogonality makes its squared norm zero. Therefore $\boxed{\alpha \text{ exact and harmonic}⟹\alpha =0}$. The same conclusion follows directly from $\alpha =d\eta$ and $\Vert \alpha {\Vert }^2=(\delta \alpha ,\eta )=0$.

The topological degree assigns an integer to a continuous map $f:M\to N$ between closed, connected, oriented manifolds of the same dimension $d$. Their top homology groups are infinite cyclic, generated by their fundamental classes. The induced map definesFor a smooth map and a regular value $y$, its equivalent local description iswhere the sign records preservation or reversal of orientation. The preimage is a finite set because the manifolds are compact and $y$ is regular. This is a signed count; opposite-orientation preimages cancel. If $\omega$ is a normalized target volume form with ${\int }_N\omega =1$, the pullback of a differential form gives the equivalent integral $\mathrm{deg}f={\int }_M{f}^{\ast }\omega$.

The homotopy invariance of mapping degree follows because homotopic maps induce the same homology map. In the smooth description, apply Stokes theorem to a homotopy $F:M\times [0,1]\to N$:since a top-dimensional form on $N$ is closed. Thus degree cannot change during a smooth deformation preserving the relevant boundary conditions. Degrees multiply under composition, and a nonzero-degree map is surjective: a missed target point would give a regular value with an empty preimage and hence degree zero.

For maps $S^d\to S^d$, the homotopy group ${\pi }_d(S^d)=\mathbb{Z}$ is completely detected by degree. This supplies integer topological sectors for many classical field-theory solitons. It is important to distinguish two ways spheres arise. In a nonlinear sigma model with the field approaching one fixed target value at infinity, compactify all of ${\mathbb{R}}^d$ to $S^d$ and classify the resulting map into the target. For a defect whose vacuum field varies with direction, retain the sphere $S_{\infty }^{d-1}$ surrounding the core and map it into the vacuum manifold. This is the vacuum-boundary degree as a defect charge. An asymptotic limit is a boundary hypothesis; finite energy alone in every possible model need not imply one.

For an Abelian Higgs vortex, the phase at infinity defines $S^1\to U(1)\cong S^1$. Its degree is the winding numberNonzero $n$ forces a zero of the Higgs field inside: a nowhere-vanishing field would extend its normalized phase through the disk and make the boundary loop contractible. This is also the flux classification of the Bogomolny vortex equations.

For a 't Hooft-Polyakov monopole, the normalized adjoint Higgs field $\hat{\Phi }$ gives $S_{\infty }^2\to SU(2)/U(1)\cong S^2$. With outward orientation its degree isThe integrand is the normalized target area form, so the hedgehog ansatz for a monopole has degree one. Nonzero degree obstructs extending the normalized Higgs direction through the ball; the full Higgs field must leave the vacuum manifold, normally vanishing in its core. The asymptotic unbroken Abelian magnetic flux measures the same integer with a convention-dependent sign.

For the Skyrme model, a field $U:{\mathbb{R}}^3\to SU(2)$ with $U\to 1$ at infinity gives $S^3\to S^3$, because SU(2) as the three-sphere identifies the target. A choice of orientations gives its topological baryon number in the Skyrme model as the winding integral $\pm (24{\pi }^2{)}^{-1}\int \mathrm{tr}(U^{-1}dU{)}^3$; specifying the orientation fixes the sign. Similarly, the transition map at infinity of a four-dimensional Yang-Mills instanton has degree in ${\pi }_3(SU(2))$, measured by its Chern charge.

A scalar-field kink illustrates the discrete-vacuum case: its endpoint data lie in ${\pi }_0(\{\pm 1\})$, rather than being a map between connected positive-dimensional spheres. For the double-well field its topological charge is $Q=[\varphi (+\infty )-\varphi (-\infty )]/2$. A kink has $Q=1$, an antikink $Q=-1$; they cannot individually deform to vacuum while their endpoints are fixed.

Degree classifies topology, rather than every solution. Smooth motion or local perturbations with fixed boundary data preserve it, and a nonzero degree obstructs decay to the vacuum within that class. It does not guarantee existence of a smooth energy minimizer, a fixed size, uniqueness, or dynamical stability. The degree and energetic stability of a field configuration are distinct: a field can shrink towards a singular limit at fixed degree, as Derrick's theorem diagnoses in many two-derivative theories. Moreover degree need not classify all homotopy classes for an arbitrary target; other homotopy groups or invariants may be needed. Within one degree there can be continuous moduli spaces and several stationary solutions.

Use the convention $[e_a,e_c]=C_a{}^b{}_c{e}_b$, with $C_a{}^b{}_c=-C_c{}^b{}_a$. Expanding the Jacobi identity on three basis elements givesso each coefficient satisfiesAntisymmetry in the input indices makes this equivalent toThe vertical bars exclude the summed index from antisymmetrization.

In dimension three choose a nonzero contravariant volume form ${ϵ}^{abc}$ on ${\mathfrak{g}}^{\ast }$ and its dual ${ϵ}_{abc}$, normalized to have component $1$ on an oriented basis. The three-dimensional Lie algebra structure decomposition starts withThe contraction identifies an antisymmetric pair of indices with one dual index. Every such matrix splits uniquely into its symmetric part $n^{bd}=A^{(bd)}$ and antisymmetric part. The latter has the unique representationThus $n$ is a symmetric contravariant tensor and $a$ a covector, andUsing ${ϵ}_{acd}{ϵ}^{efd}={\delta }_a^e{\delta }_c^f-{\delta }_a^f{\delta }_c^e$ gives the inverse formulaThe factors $1/2$ follow from the unnormalized contraction in this particular question.

Only the alternating triple $(e_1,e_2,e_3)$ has to be checked. Substitution of the inverse formula into its Jacobiator givesOne can see the cancellation explicitly by using an auxiliary positive inner product and diagonalizing the symmetric matrix $n$ by an orientation-preserving orthogonal change of basis. If its diagonal entries are $n_1,n_2,n_3$, the brackets areIn their Jacobiator, the terms involving two $n$'s or two $a$'s cancel and the remaining terms are $-\frac{1}{2}(n_1{a}_1{e}_1+n_2{a}_2{e}_2+n_3{a}_3{e}_3)$. Returning to the original basis proves the displayed formula. ThereforeThis imposes three algebraic conditions on the nine independent entries of the original antisymmetric structure constants; if $a\ne 0$, it must lie in the kernel of $n$.

A symplectic manifold is a smooth manifold $P$ with a closed, nondegenerate two-form $\omega$. Nondegeneracy forces $\dim P=2n$. Examples are ${\mathbb{R}}^{2n}$ with $\omega ={\sum }_{i}d{q}^i\wedge d{p}_i$, an oriented surface with a nowhere-zero area form, and every cotangent bundle with its canonical form.

A Poisson manifold has a bivector $\Pi$ such that $\{f,g\}=\Pi (df,dg)$ is an antisymmetric bilinear Poisson bracket, is a derivation in each argument, and satisfies the Jacobi identity. Its rank need not be full or constant. The zero bivector gives a Poisson manifold on any smooth manifold, including an odd-dimensional or nonorientable one. A nonzero example on ${\mathbb{R}}^3$ is the Lie-Poisson bracket $\{x_i,x_j\}={ϵ}_{ijk}{x}_k$: it has rank two off the origin and rank zero at the origin, so it does not arise from a symplectic form on the whole three-dimensional space. Even on ${\mathbb{R}}^2$, $\Pi =x{\partial }_x\wedge {\partial }_y$ is Poisson, since its Jacobi condition is a three-vector and hence vanishes, but its degeneracy on $x=0$ prevents it from being the inverse of a global symplectic form. A manifold carrying a degenerate Poisson structure might separately admit some other symplectic structure; these are distinct claims.

At each point of a symplectic manifold, linear nondegeneracy gives a basis with $\omega ={\sum }_i{e}^i\wedge f^i$. Its top wedge product of differential forms isThus ${\omega }^n/n!$ is a global nowhere-zero volume form and selects a consistent symplectic orientation. This proves every symplectic manifold is orientable without choosing a global frame.

Let $\pi :T^{\ast }M\to M$ and let a point of the cotangent bundle be $(x,p)$ with $p\in T_x^{\ast }M$. Define the canonical Liouville one-form intrinsically by ${\theta }_{(x,p)}(V)=p(d\pi (V))$. In local coordinates it is $\theta =p_{i}d{q}^i$, soThis definition is global, $d\omega =0$ by $d^2=0$, and its coordinate matrix has invertible blocks. Hence $T^{\ast }M$ is symplectic for every smooth $M$, even if $M$ itself is not orientable.

The coordinate Jacobi condition for a Poisson bivector isNecessity follows by applying the Jacobi identity to three coordinate functions. For arbitrary functions, the second-derivative terms in the Jacobiator cancel by antisymmetry of $\Pi$; the terms left are exactly this coefficient multiplying $f_i{g}_j{h}_k$, proving sufficiency.

For a symplectic form, take ${\iota }_{X_f}\omega =df$ and $\{f,g\}=\omega (X_f,X_g)$. With these signs the matrix of $\Pi$ is $-{\omega }^{-1}$. Differentiation gives ${\partial }_{\ell }\Pi =\Pi ({\partial }_{\ell }\omega )\Pi$. The cyclic expression above consequently equalswhich vanishes because $d\omega =0$. This directly proves that a symplectic manifold defines a Poisson manifold.

Geometric quantization. A classical symplectic manifold supplies observables as real functions, their Poisson bracket, and Hamiltonian flows. Geometric quantization seeks a Hilbert space of quantum states and operators that encode this structure, including $\hat{1}=I$ and a commutator corresponding to the Poisson bracket. A direct prescription cannot make every classical product become an operator product without qualification; operator ordering and the choice of physically admissible observables matter. The aim is to build the state space and operators from the geometry rather than from a preferred coordinate chart.

For prequantization, with ${\iota }_{X_f}\omega =df$, choose a Hermitian line bundle $L\to P$ with a unitary connection on a vector bundle of curvatureIts first Chern class requires the integrality conditionEquivalently the symplectic period on every closed integral two-cycle is a multiple of $2\pi \hslash$. Conversely an integral class supplies a line bundle, and a unitary connection can be adjusted by a one-form to have the required curvature. Locally choose $\theta$ with $\omega =-d\theta$; then $\nabla =d-i\theta /\hslash$. Potentials differing by an exact one-form change the local phase of the section. Integrality is precisely what makes these local descriptions glue consistently.

On sections the Kostant-Souriau prequantum operator isThe curvature identity $[{\nabla }_X,{\nabla }_Y]={\nabla }_{[X,Y]}+F_{\nabla }(X,Y)$, together with $[X_f,X_g]=-X_{\{f,g\}}$, givesIndeed the derivative part of the commutator is ${\hslash }^2{\nabla }_{X_{\{f,g\}}}$, the curvature part is $-i\hslash \{f,g\}$, and the two multiplication/derivative cross terms total $2i\hslash \{f,g\}$. These combine to the displayed operator identity. The prequantum inner product uses the Hermitian fiber metric and the symplectic volume form ${\omega }^n/n!$, with appropriate square-integrability and operator-domain conditions.

This is not yet the desired quantum state space: a prequantum section depends on all $2n$ phase-space variables, whereas a wavefunction normally depends on only $n$ configuration variables. A polarization in geometric quantization is an involutive Lagrangian rank-$n$ subbundle of $T_{\mathbb{C}}P$. Polarized sections obey ${\nabla }_{X}s=0$ along that distribution. The symplectic form vanishes on it, so its restricted curvature vanishes and these differential conditions are locally compatible.

For $T^{\ast }Q$, the vertical polarization is spanned locally by ${\partial }_{p_i}$. With $\theta =p_{i}d{q}^i$, polarized sections depend only on $q$, and the basic prequantum operators becomeOnly observables whose Hamiltonian flows preserve the polarization act directly on this polarized space. A generic quadratic kinetic energy does not preserve the vertical polarization, so obtaining its quantum operator needs an additional construction rather than simply restricting every prequantum operator. A compatible complex structure can instead provide a Kähler polarization, yielding holomorphic-type states, as for oscillator variables. The Blattner-Kostant-Sternberg pairing compares suitable state spaces of different polarizations and can implement some transported observables.

Finding a useful global polarization is a genuine problem: it may not exist as a nonsingular real foliation; leaf holonomy can obstruct globally nonzero flat sections; singular leaves and compact leaves impose further conditions. A metaplectic correction uses half-forms to improve the inner product and coordinate transformation law and account for familiar zero-point shifts, when its additional square-root data exist. Thus prequantum integrality, polarization, Hilbert-space completion and observable domains are separate steps, each with geometric constraints.

Applications of Stokes's theorem. For an oriented manifold $W$ with boundary and a differential form $\alpha$ of degree $\dim W-1$,with the outward-normal-first boundary orientation. Locally the identity is integration by parts in a half-space; a partition of unity reduces the general manifold to that local calculation, and contributions along internal patch boundaries cancel. The Generalized Stokes theorem unifies the fundamental theorem of calculus, circulation/flux formulas and the relation between local conservation laws and conserved integrated charges.

For a charged brane with worldvolume $W$ of dimension $p+1$, let $X:W\to M$ be its embedding, $\gamma =X^{\ast }g$ its induced worldvolume metric, and $A$ a $(p+1)$-form gauge potential with $F=dA$. TakeUnder $A\mapsto A+d\Lambda$, the Wess-Zumino brane coupling changes by $q{\int }_{\partial W}{X}^{\ast }\Lambda$. It is invariant for a closed worldvolume, or for suitable boundary conditions; open branes can require compensating boundary terms.

For an embedding variation $V=\delta X$, differentiation of the pullback and Cartan's magic formula giveThus the interior force depends only on the gauge field strength. In components, define the worldvolume wave-map/mean-curvature vector byVarying the area term and integrating by parts gives $\delta S_{\mathrm{area}}=T_p{\int }_W\sqrt{-\gamma }{K}_{\mu }{V}^{\mu }$. Combining the two variations yields the field-strength force on a charged brane equationIt is gauge invariant because $A$ no longer occurs. Its tangential projection vanishes identically by antisymmetry, consistently with worldvolume reparametrization invariance. At $p=0$, the chosen Lorentzian worldline convention has $K=-\ddot{X}$ in proper time and recovers the usual Lorentz-force sign.

For topological conservation, let the spatial manifold compactify to a closed oriented $n$-manifold $\Sigma$, and let a field $U:\Sigma \to N$ take values in a closed oriented $n$-dimensional target with normalized volume form $\Omega$, ${\int }_N\Omega =1$. ThenThis is the degree of a map between oriented manifolds: for a regular value it is the signed sum of inverse images. To relate the integral to that count, use a normalized target form supported near a regular value and change variables on its inverse-image neighborhoods. Any two normalized top forms on a connected closed oriented target differ by an exact form, whose pulled-back integral vanishes by the Generalized Stokes theorem. Hence the value is independent of this localization and equals the integer signed count.

If $U$ varies smoothly in time, its spacetime pullback $j=U^{\ast }\Omega$ satisfies $dj=U^{\ast }(d\Omega )=0$. Apply Stokes theorem to the spacetime slab between two slices: the difference of their charges is minus the flux through the spatial boundary. With no flux at infinity, $Q$ is conserved independently of the field equations. Equivalently a smooth homotopy cannot change the degree. Singularities, altered boundary conditions or nonzero boundary flux are the ways the argument can fail.

For the Skyrme model, finite-energy fields approach $U=I$ at spatial infinity, so ${\mathbb{R}}^3$ compactifies to $S^3$ and $U:S^3\to SU(2)\cong S^3$. With the conventional target orientation chooseThis is a normalized closed target volume form. The resulting topological baryon number in the Skyrme model isThe corresponding identically conserved spacetime current is $j^{\mu }=-(24{\pi }^2{)}^{-1}{ϵ}^{\mu \nu \rho \sigma }\mathrm{tr}(L_{\nu }{L}_{\rho }{L}_{\sigma })$ in oriented flat coordinates. For the hedgehog $U=\cos f(r)I+i\hat{x}\cdot \mathbf{\sigma }\sin f(r)$ with $f(0)=\pi$ and $f(\infty )=0$, substitution givesThe Skyrmion therefore supplies a concrete topologically conserved unit charge. Topological conservation alone does not guarantee a stable finite-size static solution: the positive Skyrme term, with four derivatives, opposes collapse of the two-derivative energy. Under size rescaling, these contributions behave as $E_2\propto \lambda$ and $E_4\propto {\lambda }^{-1}$, allowing a nonzero equilibrium size while preserving the degree.

Fix an orientation and a positive volume form $\Omega$. Define the divergence by the Lie derivativeA smooth function is a flow coboundary when it equals $Fu$ for some smooth $u$. Every other positive volume form is $e^h\Omega$ for a smooth $h$. The product rule for the Lie derivative givesThus changing the reference volume form changes its divergence by a flow coboundary. If volume forms of either orientation are allowed, take the logarithm of the absolute ratio on each connected component; multiplying a reference form by a constant sign leaves its divergence unchanged.

If ${\mathrm{div}}_{\Omega }F=Fu$, the preceding product rule showsConversely, if $e^h\Omega$ is invariant, then ${\mathrm{div}}_{\Omega }F=-Fh=F(-h)$ is a flow coboundary. Vanishing of the Lie derivative is equivalent to flow invariance, since ${\partial }_t{\varphi }_t^{\ast }\Omega ={\varphi }_t^{\ast }({\mathcal{L}}_F\Omega )$. HenceThe equivalence holds for every choice of reference volume form, proving the invariant volume criterion for a smooth flow. The smoothness requirement matters: a merely measurable transfer function does not give a smooth invariant volume form.