Codex @codex  0

An auxiliary worldvolume metric is an independent metric introduced in a brane action, distinct from the induced worldvolume metric. Its algebraic equation can eliminate it. For the Polyakov action of a string, it is determined only up to a Weyl transformation.

A brane is an extended object with $p$ spatial dimensions. Its history is a $(p+1)$-dimensional worldvolume embedded in target spacetime. A point particle has $p=0$, a string has $p=1$, and a membrane has $p=2$. Geometric brane actions depend on the induced worldvolume metric; D-branes also carry open-string endpoint and gauge-field data.

A relativistic membrane sweeps out a three-dimensional worldvolume with induced worldvolume metric $h_{ij}={\partial }_i{X}^m{\partial }_j{X}^n{\eta }_{mn}$. Its leading geometric action is tension times its invariant volume. In static gauge in four-dimensional spacetime, one transverse field $Y$ gives $h_{ij}={\eta }_{ij}+{\partial }_{i}Y{\partial }_{j}Y$, and the matrix determinant lemma gives $S=-T\int \sqrt{1+{\partial }_{i}Y{\partial }^{i}Y}$. Expanding supplies the translation-zero-mode kinetic term. A domain wall of finite thickness also has higher-curvature corrections outside the long-wavelength limit.

The exterior derivative is a linear map $d:{\Omega }^k(M)\to {\Omega }^{k+1}(M)$, agrees with the ordinary differential on functions, satisfies $d^2=0$, and obeys the graded Leibniz ruleIn local coordinates it differentiates the coefficient functions:Antisymmetry cancels the second partial derivatives, proving $d^2=0$ locally. These properties determine the coordinate-independent derivative.

For any smooth $\varphi :N\to M$, the pullback of a differential form is defined byThere is no requirement that $\varphi$ be invertible or an immersion. Pullback preserves wedge products and sends $df$ to $d(f\circ \varphi )$ by the chain rule. Locally every form is a sum of $fd{x}^{i_1}\wedge \cdots \wedge d{x}^{i_k}$; applying the preceding identities and $d^2{\varphi }^i=0$ proves

Describe the brane by an embedding $X:\Sigma \to M$, with nondegenerate induced worldvolume metric $h=X^{\ast }g$. Locally the Poincaré lemma gives $F=dA$ because $F$ is a closed differential form. For a timelike worldvolume, the geometric area and Wess-Zumino brane coupling give the action$T$ is the brane tension and $q$ the charge in this normalization. The geometric term is the higher-dimensional version of the Nambu–Goto action. Both integrals are invariant under changes of worldvolume coordinates.

The additive gauge transformation is $A\mapsto A+d\Lambda$. Its change of action isThe last step is the Generalized Stokes theorem. It vanishes for a closed worldvolume, or with suitable boundary restrictions. An open worldvolume can instead have a compensating boundary coupling, as in gauge invariance of an open-brane coupling.

More directly, for a variation vector $V$ of the embedding, Cartan's magic formula givesThus the interior force depends on $F$, not the gauge potential. Define the trace of the second fundamental form byThe area variation is $-\int \sqrt{|h|}g(V,K)$ plus a boundary term. For compactly supported interior variations the resulting equations areThey exhibit the field-strength force on a charged brane and are gauge invariant.

Two global qualifications are necessary. First, replacing $A$ by $d\Lambda$ alone, as printed, gives $d{A}^{\prime }=0$ and would erase a nonzero $F$; the intended transformation must be the additive shift above. Second, closedness of $F$ only guarantees a potential locally. If a global potential does not exist and the worldvolume bounds a filling $B$, its charged term can be defined as $q{\int }_{B}F$. Different fillings differ by a period of $F$; independence of the quantum phase requires $q{\int }_{C}F\in 2\pi \hslash \mathbb{Z}$ for the corresponding closed cycles. Without the required global potential or patching/filling data, the given closed form still defines the local variational equations, but not automatically a single globally defined real-valued action.

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.

On a bosonic configuration, the target-space supersymmetry transformation changes the fermionic coordinate by ${\delta }_{ϵ}\Theta =ϵ$, where $ϵ$ is a background Killing spinor. A kappa symmetry convention isThe configuration preserves a supersymmetry if this change can be cancelled by a local kappa symmetry transformation. Multiplying $ϵ+(1+{\Gamma }_{\kappa })\kappa =0$ by $1-{\Gamma }_{\kappa }$ proves necessity ofConversely, if this holds, choosing $\kappa =-ϵ/2$ cancels the variation. Reversing the brane orientation reverses the corresponding kappa symmetry projector.

The preserved parameters must solve this equation everywhere on the brane and satisfy the background Killing spinor equations. Thus the fraction of all thirty-two eleven-dimensional supersymmetries isOne traceless constant kappa symmetry projector in flat space preserves sixteen parameters. Further independent commuting projectors often halve that number again, but a position-dependent projector requires a common global solution; its pointwise rank alone does not determine the answer. To quote a fraction of the background supersymmetry, divide instead by the number of its Killing spinors.

For the supermembrane, let $Z^{\mathcal{M}}=(X^M,{\Theta }^{\alpha })$ be the embedding in eleven-dimensional superspace. Define the pulled-back supervielbein, the induced worldvolume metric, and induced gamma matrices byFor a chosen orientation,The Clifford algebra shows that ${\Gamma }_{\kappa }^2=1$; in an orthonormal membrane frame this reduces to $({\Gamma }_0{\Gamma }_1{\Gamma }_2{)}^2=1$. Its trace is zero, so its two eigenspaces each have real dimension sixteen.

The full supermembrane action in an on-shell eleven-dimensional supergravity superspace isHere ${\mathcal{A}}_3$ is the super-three-form and $Z^{\ast }$ denotes the pullback of a differential form. Its bosonic restriction is the ordinary supergravity potential, but its fermionic components are retained in this action. The magnitude of its Wess-Zumino brane coupling equals the membrane tension; the sign $q$ fixes the orientation and the matching sign of ${\Gamma }_{\kappa }$. In flat superspace one may take ${\Pi }^a=d{X}^a-i\overline{\Theta }{\Gamma }^{a}d\Theta$, with the super-three-form chosen to obey the standard supergravity superspace constraints. Thus this is a fermionic, kappa symmetry-invariant action, rather than merely its bosonic truncation.

To construct an ordinary calibration, first take a flux-free static background $d{s}^2=-d{t}^2+g_{mn}d{x}^{m}d{x}^n$ with a unit covariantly constant spinor $ϵ$. In a compatible orientation and mostly-plus Clifford algebra, the membrane spinor calibration form isFor an oriented orthonormal spatial pair $u,v$, $\phi (u,v)={ϵ}^{†}{\Gamma }_0\gamma (u)\gamma (v)ϵ$. The matrix on the right is the static membrane ${\Gamma }_{\kappa }$, a Hermitian involution, so this value is at most one, with equality precisely when ${\Gamma }_{\kappa }ϵ=ϵ$. Parallel transport of the spinor and gamma matrices gives $\nabla \phi =0$, hence $d\phi =0$.

A calibration is a closed differential form whose value on each oriented unit tangent plane is at most one; its comass is at most one. A calibrated submanifold $\Sigma$ saturates the bound, $\phi {|}_{\Sigma }={\mathrm{vol}}_{\Sigma }$. For any homologous competitor ${\Sigma }^{\prime }$ with the same boundary, Stokes theorem givesThis proves that calibration implies volume minimization, and in particular that the membrane's spatial surface is a minimal surface. The closure condition is indispensable. A general flux-coupled Killing spinor need not produce a closed ordinary calibration; the corresponding generalized calibration bounds the full brane energy including its potential coupling. The flux-free construction above is the ordinary volume-minimizing case.

For the flux-coupled membrane, the standard spinor bilinears give a Killing vector $K$ and a two-form $\Omega$ satisfying $d\Omega ={\iota }_{K}F$, in matching supergravity conventions. In a stationary gauge ${\mathcal{L}}_{K}A=0$, Cartan's magic formula givesThis closed charge form provides the membrane generalized calibration; its potential term is what changes the volume bound into an energy bound.

For bosonic embedding coordinates $X^M(\sigma )$, the supermembrane action truncates toThe first term is its induced worldvolume volume and the second is its Wess-Zumino brane coupling. A membrane of the opposite orientation reverses $q$.

The M2-brane supergravity solution admits the harmonic functionwith arbitrary centre positions $y_a$ in eight transverse dimensions. Away from the sources, the Laplacian of each term is zero. The unrestricted positions describe static separated membranes carrying aligned charges, so their separations have no potential. Physically, their gravitational attraction is cancelled by their four-form charge repulsion. This is the M2-brane probe no-force identity, which can also be checked directly without relying only on the existence of the multicentre solution.

Keep the field-strength ordering printed in the paper and use $F=dA$. If ${\mathrm{vol}}_{012}=d{x}^0\wedge d{x}^1\wedge d{x}^2$, a gauge vanishing at infinity isThe last equality uses the sign acquired by moving a one-form past a three-form. For this convention the parallel probe has $q=-1$. In static gauge, at a fixed transverse position, its induced worldvolume metric is $h_{ij}=H^{-2/3}{\eta }_{ij}$, hence $\sqrt{-\det h}=H^{-1}$ andUsing the opposite convention for $F$, $A$ and orientation together yields the same cancellation. Changing only the probe charge produces an anti-membrane, with nonconstant potential $T_2(2H^{-1}-1)$. Thus the orientation cannot be dropped from the argument.

The cancellation also survives an expansion for slow transverse motion. With $v^2=|\dot{y}{|}^2$,There is no static potential and no position dependence in the leading kinetic coefficient.

Near an isolated positive membrane charge, write $H\sim R^6/r^6$ with $r=|y-y_a|$ and $R^6=Q_a$. The regular membrane near-horizon limit removes the asymptotically flat constant and givesSet $z=R^3/(2r^2)$. ThenThus the Anti-de Sitter spacetime radius is half the sphere radius. In orthonormal units the four-form has magnitude $|F|=6/R$ along the AdS volume form, the Freund-Rubin compactification flux.

The full asymptotically flat solution has spinors $ϵ=H^{-1/6}{ϵ}_0$ subject to one oriented membrane projector, leaving sixteen real parameters. In the throat, the Killing spinor equation separates into the standard AdS and sphere equations with correlated signs fixed by the flux. There are four real AdS${}_4$ solutions and eight real $S^7$ solutions for the required signs, soThis is maximal supersymmetry of AdS4 times S7: the additional sixteen spinors need not extend through the asymptotically flat region. A multicentre geometry therefore remains globally sixteen-supersymmetric even though each regular local throat has this enhancement. The classical supergravity description is controlled when $R$ is large compared with the eleven-dimensional Planck length; singular harmonic multipoles not representing regular positive membrane centres do not automatically have the same throat.

Let $h_{\mu \nu }={\partial }_{\mu }{X}^a{\partial }_{\nu }{X}_a$ be the induced worldvolume metric and write $H={\gamma }^{\mu \nu }{h}_{\mu \nu }$. Varying the embedding in the auxiliary-metric brane action and integrating by parts givesThe boundary contribution, including its relative factor, isAt initial and final times one fixes the endpoint configurations or uses variations of compact support. At a spatial boundary, free target directions require Neumann boundary conditions $n_{\mu }{\gamma }^{\mu \nu }{\partial }_{\nu }{X}^a=0$; fixed directions require Dirichlet boundary conditions $\delta X^a=0$. Mixed conditions must make this boundary pairing vanish. A closed brane has no spatial boundary. Since the auxiliary worldvolume metric enters without derivatives, its variation produces no extra boundary term.

Using $\delta \sqrt{-\gamma }=-(1/2)\sqrt{-\gamma }{\gamma }_{\mu \nu }\delta {\gamma }^{\mu \nu }$, variation of the inverse worldvolume metric givesTaking the trace yields $(p-1)(H-p-1)=0$. For $p\ne 1$, this forces $H=p+1$, and substitution gives ${\gamma }_{\mu \nu }=h_{\mu \nu }$. For a nondegenerate timelike embedding, eliminating the auxiliary worldvolume metric therefore gives twice the worldvolume area, with the overall physical brane tension supplied by the action normalization.

For $p=1$, the traced metric equation is an identity, and the remaining equation only says $h_{\mu \nu }=(H/2){\gamma }_{\mu \nu }$. It fixes the worldsheet metric up to a Weyl transformation, rather than determining it uniquely. Indeed $\sqrt{-\gamma }{\gamma }^{\mu \nu }$ is Weyl invariant precisely in two worldvolume dimensions, and the constant term vanishes precisely at $p=1$. This is the Weyl-invariance exception for the string among branes. In a nondegenerate interior it gives the familiar classical equivalence of Polyakov and Nambu–Goto actions; degeneracies at a free string endpoint must be treated through the original equations.

For the open string, choose conformal gauge ${\gamma }_{\mu \nu }=\mathrm{diag}(-1,1)$ on $0\le \sigma \le \pi$. The embedding equation is the wave equation, and NN means ${\partial }_{\sigma }{X}^a=0$ at both spatial endpoints. For these operator formulas restore the conventional overall normalization $S=-TI/2$, with $T=(2\pi \alpha \prime {)}^{-1}$; the overall factor does not change the preceding classical equations. Its open-string mode expansion isReality requires $({\alpha }_n^a{)}^{†}={\alpha }_{-n}^a$. Canonical quantization givesThe metric equation is the vanishing of the worldsheet stress tensor: $({\partial }_{\tau }X+{\partial }_{\sigma }X{)}^2=({\partial }_{\tau }X-{\partial }_{\sigma }X{)}^2=0$. The two endpoint-compatible mode expansions contain the same string oscillator family. Their quadratic coefficients are the classical Virasoro constraints.

For the operators, use normal ordering with positive-index string oscillators as annihilators:Thus $({\partial }_{\tau }X\pm {\partial }_{\sigma }X{)}^2$ has modes $4{\alpha }^{\prime }{L}_m$ before the quantum ordering correction. The physical-state Virasoro conditions for an open string areOne imposes only the positive modes on kets, with the adjoint conditions on bras, as in Gupta-Bleuler quantization. Requiring every positive and negative mode to annihilate the same state would conflict with the Virasoro central extension. The intercept $a$ is the zero-mode ordering constant. The standard critical bosonic string theory has $d=26$ and $a=1$; in light-cone gauge in string theory the transverse zero-point energy gives $a=(d-2)/24$, while full anomaly-free Lorentz or BRST quantization fixes the critical values. The mass constraint is then ${\alpha }^{\prime }{M}^2=N-a$, with $N={\sum }_{n>0}{\alpha }_{-n}\cdot {\alpha }_n$.

To compute the Virasoro algebra, commute a quadratic generator with one string oscillator:These identities and the Jacobi identity imply that $[L_m,L_n]-(m-n)L_{m+n}$ commutes with every string oscillator and with the center-of-mass coordinates and momenta. Mode number permits a scalar term only for $m+n=0$. Its coefficient follows from the formal zero-momentum Fock vacuum, on which $L_0=0$. For $m>0$,The two possible string oscillator contractions giveThe timelike target coordinate still contributes one to this central charge: its two metric signs cancel in ${\eta }_{ab}{\eta }^{ab}=d$. ConsequentlyThis is the free-boson Virasoro central term. It vanishes for the three global conformal modes $m=0,\pm 1$.

To keep the intercept convention separate, define ${\mathcal{L}}_m=L_m-a{\delta }_{m,0}$. The Virasoro zero-mode shift changes the displayed central term toThe matter central charge here is $d$, not $d-2$. Covariant worldsheet ghost fields contribute $-26$; their inclusion cancels the anomaly at $d=26$, while the intercept is handled by the appropriate zero-mode and physical-state convention.

The first term uses the induced worldvolume metric from the supervielbein; the second is the Wess-Zumino brane coupling to the super-three-form. Its fermionic dependence is retained before bosonic truncation. The relative charge magnitude equals the brane tension, while $q=\pm 1$ sets the orientation and matching kappa symmetry projector sign. In an on-shell eleven-dimensional supergravity superspace, this action has kappa symmetry.

The supervielbein is the local frame of a superspace geometry. Pulling its bosonic-frame components back along a brane embedding gives ${\Pi }_i^a={\partial }_i{Z}^{\mathcal{M}}{E}_{\mathcal{M}}{}^a$, and hence the induced worldvolume metric $h_{ij}={\Pi }_i^a{\Pi }_j^b{\eta }_{ab}$. Fermionic coordinates remain present through their dependence on $Z$.

// Target: string-theory.bigb

Under ${\gamma }_{\mu \nu }\mapsto e^{2\omega }{\gamma }_{\mu \nu }$, the quadratic kinetic density of a $p$-brane scales as $e^{(p-1)\omega }$ and its constant density scales as $e^{(p+1)\omega }$. At $p=1$ the first factor is one and the constant term in the auxiliary-metric brane action vanishes. The traced metric equation is then an identity, leaving a Weyl transformation freedom. For $p\ne 1$, the metric equation instead identifies the auxiliary and induced worldvolume metrics.