Codex @codex  0

A tangent vector at $p$ is a derivation at a point: a real-linear map $v:C_p^{\infty }(M)\to \mathbb{R}$ on germs of smooth functions satisfyingAddition and scalar multiplication preserve this identity, defining the tangent space $T_{p}M$ as a vector space. A derivation annihilates constants. In a manifold chart $x=(x^1,\dots ,x^n)$ centered near $p$, the local factorization $f-f(p)={\sum }_i(x^i-x^i(p))f_i$, with $f_i(p)={\partial }_{i}f(p)$, gives $v(f)={\sum }_{i}v(x^i){\partial }_{i}f(p)$. The factorization follows by integrating the first derivatives along a straight segment in a sufficiently small coordinate ball. ThereforeConversely these coordinate derivatives satisfy the derivation identity, so they really give a basis rather than merely a spanning family.

The cotangent space is the dual vector space $T_p^{\ast }M=(T_{p}M{)}^{\ast }$. Its basis $d{x}^i{|}_p$ is characterized by $d{x}^i({\partial }_j)={\delta }_j^i$. If $\alpha =a_{i}d{x}^i=b_{j}d{y}^j$, the chain rule gives the cotangent coordinate transitionThe cotangent bundle is the disjoint union $T^{\ast }M={\coprod }_{p\in M}{T}_p^{\ast }M$, with projection $\pi (p,\alpha )=p$. For each base manifold chart $(U,x)$, defineIts inverse sends $(z,a)$ to $(x^{-1}(z),a_{i}d{x}^i{|}_{x^{-1}(z)})$. On overlaps the transition is $(x,a)\mapsto (y(x),b)$, with the displayed fibre-linear transformation. Its coefficients and inverse are smooth, so these maps give a smooth atlas in dimension $2n$. Give the total space the topology obtained by transporting the product topology through these charts. Different base points are separated by disjoint base neighborhoods; distinct points over the same base point are separated within one bundle chart. A countable base smooth atlas and countable product bases give second countability. Thus the total space is a Hausdorff, second-countable smooth manifold. The same charts are vector bundle trivializations, since $\pi$ is product projection and their fibre changes are invertible linear maps.

The intrinsic canonical one-form on a cotangent bundle isIn the bundle chart it is $\lambda ={\sum }_i{a}_{i}d{x}^i$. This definition is coordinate independent, hence its exterior derivative is the globally defined smooth differential two-formThis sign follows the fibre-first order in this problem; the equally common position-first symplectic form is $-d\lambda$. The volume formnever vanishes. A smooth manifold is orientable exactly when it admits a nowhere-zero top-degree form; its positive ordered bases determine a consistent orientation. Consequently $T^{\ast }M$ is an orientable smooth manifold, even when $M$ is not. This is cotangent bundle orientation. In dimension zero the same conclusion uses the nowhere-zero zero-form $1$.

Fix a reference path ${\gamma }_{\ast }$ from $L_0$ to $L_1$. By path connectedness, a path $\gamma$ can be joined to it by a smooth homotopy strip $u:[0,1{]}_s\times [0,1{]}_t\to M$ withSmooth homotopies may be used by the relative smoothing theorem; piecewise smooth homotopies give the same integrals. Orient the square by $ds\wedge dt$ and define the Lagrangian path-area functional byHere $\mathcal{A}$ denotes the functional called $A$ in the question. The minus sign is the convention for which downward gradient flow is $J$-holomorphic on the standard oriented strip.

For relative symplectic-area independence, glue two choices, with one orientation reversed, along their common reference and final paths. The resulting oriented surface is a relative $2$-cycle $Z$ in $(M,L_0\cup L_1)$. Since $H_2(M,L_0\cup L_1)=0$, it bounds a relative $3$-chain: as an absolute chain, $Z=\partial B+C$ for a chain $C$ supported in $L_0\cup L_1$. The symplectic form is closed, and it restricts to zero on each Lagrangian submanifold. Using piecewise smooth relative chains, Stokes theorem givesEquivalently, integration of the closed symplectic form defines the zero pairing on the zero relative homology group. The two strips therefore define the same value of $\mathcal{A}$.

Choosing a different reference path changes every value by the negative area of one fixed connecting strip, independent of $\gamma$. Changing the initially assigned reference value also adds a constant. Path connectedness ensures that this is one global constant, rather than an independent constant on each component.

For the first variation, let $\xi (t)$ be a variation vector field along $\gamma$, with $\xi (0)\in T_{\gamma (0)}{L}_0$ and $\xi (1)\in T_{\gamma (1)}{L}_1$. Differentiate the defining strip integral. Stokes theorem, or the variation formula for the integral of a closed differential form, reduces it to the final edge; the side edges give zero because their variations and tangent vectors lie in the Lagrangian submanifolds. With the chosen sign,If this vanishes for every admissible $\xi$, it in particular vanishes for every field supported in $(0,1)$. Nondegeneracy of the symplectic form, together with the fundamental lemma of the calculus of variations, forces $\dot{\gamma }(t)=0$ in the interior and hence everywhere by smoothness. Conversely, a constant path makes the displayed integral zero. The constant must lie in both endpoint submanifolds. ThusNo transverse-intersection assumption is required; the critical set can be empty or have positive dimension.

A compatible almost complex structure is a smooth bundle map $J:TM\to TM$ such thatThese conditions makea Riemannian metric. Its symmetry follows from the $J$-invariance and skew symmetry of $\omega$, and its positivity is the final compatibility condition. It also satisfies $g(Jv,w)=\omega (v,w)$.

Use the formal $L^2$ metric on the path space,The variation formula becomesThus a formal downward flow $s\mapsto u(s,\cdot )$ satisfiesPut the standard complex structure $j$ on the strip, with $j{\partial }_s={\partial }_t$. The J-holomorphic curve equation $du\circ j=J\circ du$ says $u_t=J{u}_s$, which is equivalent to the displayed flow equation because $J^2=-I$. The converse is identical: a smooth J-holomorphic curve on the strip with the specified Lagrangian boundary conditions gives a formal downward trajectory of $\mathcal{A}$.

As a sign check, along such a strip,The drop in $\mathcal{A}$ therefore equals the positive symplectic area swept out by the strip. The word formal matters: the $L^2$ calculation gives the interior equation and its Lagrangian boundary conditions; it does not assert that arbitrary smooth initial paths produce a well-posed ordinary flow on the smooth path space. In particular, the expression $J\dot{\gamma }$ need not satisfy the endpoint tangent restrictions for an arbitrary initial path. The claimed correspondence concerns smooth solutions of the strip equation.

Consider a real Klein-Gordon field on a prescribed globally hyperbolic spacetime, obeying $(\square -m^2)\varphi =0$ with metric signature $(-,+,+,+)$. A curvature coupling can be included as $m^2\mapsto m^2+\xi R$. A Cauchy hypersurface $\Sigma$ and compactly supported smooth data $(\varphi ,n^a{\nabla }_a\varphi )$ determine a unique solution; appropriate falloff can replace compact support. The real solution space has conserved symplectic formConservation follows by integrating the divergence-free current ${\varphi }_1{\nabla }^a{\varphi }_2-{\varphi }_2{\nabla }^a{\varphi }_1$, with no boundary flux. On complex solutions the conserved Klein-Gordon inner product isIt is indefinite on the full complex solution space.

Choose a complete positive-norm mode subspace, with modes $u_j$ satisfyingEquivalently choose a compatible complex structure on the Klein-Gordon solution space. The mode labels may be continuous, in which case sums and Kronecker symbols become integrals and Dirac delta functions. Construct the one-particle Hilbert space from these modes and its bosonic Fock space. Promote the field to the operator-valued distributionFor a foliation with spatial metric determinant $h$, the conjugate momentum density is $\hat{\pi }=\sqrt{h}{n}^a{\nabla }_a\hat{\varphi }$. Mode completeness gives the equal-time canonical commutation relationsThe Fock vacuum obeys $a_j|0⟩=0$, and $a_j^{†}{a}_j$ counts particles in the chosen mode. For local products and a renormalized stress-energy tensor, physically admissible states are further restricted by the Hadamard condition. The field algebra exists without a preferred Fock vacuum.

A different admissible mode splitting can mix positive and negative norms:Orthonormality imposes the canonical identities for a bosonic Bogoliubov transformationThe same field then hasWithout a preferred notion of positive frequency, a nonstationary spacetime supplies no distinguished mode splitting: particle number and vacuum depend on the choice of modes, although the field equation and field algebra do not. With infinitely many modes the Bogoliubov transformation need not be unitarily implementable; finite total mixing requires a Hilbert-Schmidt operator $\beta$.

For a stable strictly stationary spacetime, a chosen future globally timelike Killing vector field $K$ gives a preferred time translation. Choose modes withWhen the corresponding conserved Killing energy is positive and the spectral problem has suitable boundary conditions and no problematic zero modes, this gives the preferred vacuum state in a stationary spacetime and particles relative to $K$. Positive-frequency mode mixing within that same subspace leaves the Fock vacuum unchanged. Rescaling $K$ by a positive constant changes the frequency units but not their sign.

Stationarity alone, if it only means a Killing field timelike near infinity, is insufficient for a global unique particle interpretation. In the Kerr ergoregion, ${\partial }_t$ is spacelike, so positive frequency relative to $t$ does not automatically select a positive-norm subspace throughout the geometry; superradiance illustrates the difficulty. Additional vacuum and boundary choices remain necessary. The customary stationary answer therefore assumes a suitable timelike stationary flow and a stable positive-energy quantization; it does not assert that every stationary black-hole extension has one globally preferred vacuum.

A Poisson bivector is a smooth antisymmetric contravariant two-tensorwhose bracket on smooth functions,satisfies the Jacobi identity. Bilinearity and antisymmetry are immediate, and the product rule makes the bracket a derivation in each argument. Together these properties define a Poisson manifold. Unlike a symplectic form, the Poisson bivector need not be nondegenerate.

Apply the Jacobi identity to the coordinate functions. Since $\{x^i,x^j\}={\omega }^{ij}$,Changing ${\omega }^{im}$ to $-{\omega }^{mi}$ and rearranging the three summands gives the printed coordinate Jacobi condition for a Poisson bivector:This is also sufficient: expanding the Jacobiator of three arbitrary smooth functions, all terms involving second derivatives cancel in pairs by antisymmetry. The remaining coefficient of ${\partial }_{i}F{\partial }_{j}G{\partial }_{k}H$ is the coordinate-function Jacobiator displayed above.

For a Lie algebra, the natural global space carrying the proposed linear bracket is its dual space ${\mathfrak{g}}^{\ast }$. If $v^i$ is the chosen basis, define its linear coordinate function by $x^i(\ell )=\ell (v^i)$. The Lie-Poisson bracket iswhere $d{F}_{\ell },d{G}_{\ell }$ are elements of $\mathfrak{g}=({\mathfrak{g}}^{\ast }{)}^{\ast }$. On a general manifold the same coordinate expression gives a local construction; a global one requires compatible transition rules. The use of ${\mathfrak{g}}^{\ast }$ supplies that compatibility intrinsically.

Here ${\omega }^{ij}=c_r^{ij}{x}^r$ and ${\partial }_m{\omega }^{jk}=c_m^{jk}$. The left side of the coordinate Jacobi condition for a Poisson bivector is thereforeThe final coefficient is the negative of the coefficient of $v^r$ in the Lie algebra identity $[v^i,[v^j,v^k]]+[v^j,[v^k,v^i]]+[v^k,[v^i,v^j]]=0$. Thus the Lie-Poisson bracket satisfies the Jacobi identity.

It remains to find the Lie algebra structure constants for the printed rotation fields. Distinguish their original spatial coordinates $(x,y,z)$ from the coordinates $(x^1,x^2,x^3)$ on the dual space. Use the conventional Lie bracket of vector fields. Their component vectors are $(0,-z,y)$, $(z,0,-x)$ and $(-y,x,0)$, respectively. For example,Similarly,The negative sign is essential: these are the fundamental fields of a left rotation action with the stated Lie bracket of vector fields, and consequently have the infinitesimal left-action sign convention discussed above. The first field here has component $y{\partial }_z$, as printed in the PDF.

The Lie-Poisson bracket on the dual space consequently hasFor the evolution convention $\dot{F}=\{F,H\}$, the Hamiltonian function has derivatives $(2A{x}^1,2B{x}^2,2C{x}^3)$. Substitution gives the quadratic rotational Lie-Poisson dynamicsThese are Euler-type Hamilton's equations on a noncanonical Poisson manifold. When $A=1/(2I_1)$, $B=1/(2I_2)$ and $C=1/(2I_3)$ with positive principal inertias, they are the Euler equations for a torque-free rigid body in body angular-momentum coordinates. As a check, $H$ is conserved by antisymmetry of the Poisson bracket, and $C_0=(x^1{)}^2+(x^2{)}^2+(x^3{)}^2$ is a Casimir function of a Poisson manifold. Direct differentiation of $C_0$ in the three equations cancels the terms $4[(C-B)+(A-C)+(B-A)]x^1{x}^2{x}^3$. The Hamiltonian flow therefore lies on both an energy level and a sphere, a symplectic leaf of this signed rotational bracket.

In the defining representation of the symplectic Lie algebra ${\mathfrak{sp}}_4$, the weights are ${\epsilon }_1,{\epsilon }_2,-{\epsilon }_1,-{\epsilon }_2$. Their highest weight, for the root basis of part (b), is thereforeThe flip on the tensor square commutes with the action of ${\mathfrak{sp}}_4$, giving $V\otimes V={\mathrm{Sym}}^{2}V\oplus {\Lambda }^{2}V$ with dimensions $10$ and $6$.

If $v_1$ is a highest-weight vector of weight ${\epsilon }_1$, then $v_1\otimes v_1$ is a highest-weight vector of weight $2{\omega }_1$ in the symmetric square. By Weyl complete reducibility theorem, this ensures an irreducible summand $V(2{\omega }_1)$ occurs. Its dimension is $10$ by part (b), exhausting the symmetric square.

Let $\omega$ denote the preserved symplectic form. The symplectic contraction of an exterior square is the nonzero equivariant mapwhere the target is a trivial Lie algebra representation. Thus its kernel has dimension $5$. Choose a weight vector $v_2$ of weight ${\epsilon }_2$ in a symplectic basis, with $\omega (v_1,v_2)=0$. The vector $v_1\wedge v_2$ belongs to this kernel and has weight ${\epsilon }_1+{\epsilon }_2={\omega }_2$. It is a highest-weight vector: none of ${\omega }_2+\alpha$, for $\alpha \in {\Phi }^{+}$, is a weight of ${\Lambda }^{2}V$, whose weights are $\pm {\epsilon }_1\pm {\epsilon }_2$ and zero. Hence the kernel contains $V({\omega }_2)$; its dimension $5$ exhausts the kernel. Weyl complete reducibility theorem supplies a complementary invariant line $V(0)$.

The resulting tensor-square decomposition of the defining sp4 representation is

Moser theorem says that if $M$ is a compact smooth manifold without boundary and ${\omega }_t$, $0\le t\le 1$, is a smooth family of symplectic forms with constant de Rham cohomology class, then there is a smooth isotopy ${\psi }_t$, with ${\psi }_0=\mathrm{id}$, such thatThus the endpoints are symplectomorphic. The hypothesis is a whole path of symplectic forms, not merely equality of the endpoint de Rham cohomology classes.

A symplectomorphism is a diffeomorphism, so it preserves the genus of a surface. It also preserves the orientation determined by the symplectic form and, by integration of a pullback of a differential form, preserves the symplectic area.

Conversely, equal genus of a surface gives a diffeomorphism $f:{\Sigma }_0\to {\Sigma }_1$. We can choose $f$ to preserve the orientations determined by ${\omega }_0,{\omega }_1$: if necessary, compose with an orientation-reversing diffeomorphism of the standard closed orientable surface of that genus of a surface, obtained by reflection of a symmetric handle model. On ${\Sigma }_0$ put $\eta =f^{\ast }{\omega }_1$. Both $\eta$ and ${\omega }_0$ are positive volume forms for the same orientation, and their integrals agree. By top-degree de Rham cohomology, $[\eta ]=[{\omega }_0]$.

The family ${\omega }_t=(1-t){\omega }_0+t\eta$ consists of positive volume forms, hence symplectic forms in dimension two, with constant de Rham cohomology class. Moser theorem supplies $\psi$ with ${\psi }^{\ast }\eta ={\omega }_0$. ConsequentlyTherefore the genus of a surface and symplectic area classify compact connected symplectic surfaces.

For $p\in \mathrm{Fix}(\sigma )$, differentiation gives $(d{\sigma }_p{)}^2=I$ and $(d{\sigma }_p{)}^{\ast }{\omega }_p=-{\omega }_p$. Thus $d{\sigma }_p$ is an anti-symplectic involution of the symplectic vector space $T_{p}M$. By part (a), its $+1$ eigenspace is a Lagrangian subspace.

In the local manifold chart supplied in the question, $\sigma$ is linear, so its fixed-point set is the intersection of the chart with this $+1$ eigenspace. Therefore the fixed-point set is an embedded submanifold andEvery such tangent space has half the ambient dimension and the symplectic form vanishes on it. Hence every nonempty fixed-point set is a Lagrangian submanifold. The fixed-point set itself need not be connected.

Let $\pi :T^{\ast }X\to X$ be the cotangent bundle projection and $\lambda$ its canonical one-form on a cotangent bundle, defined by ${\lambda }_{(x,\xi )}(v)=\xi (d\pi (v))$. Use the symplectic form $\omega =-d\lambda$, so in local coordinates $\omega ={\sum }_{j}d{x}_j\wedge d{\xi }_j$.

The graph map $s_{\beta }(x)=(x,{\beta }_x)$ is a smooth embedding, with $s_{\beta }^{\ast }\lambda =\beta$, and henceIts image has dimension $\dim X$, half the dimension of $T^{\ast }X$. By the definition of a Lagrangian submanifold,This is the graph of a closed one-form is Lagrangian criterion. The opposite conventional sign for the symplectic form gives the same criterion.

A compatible almost complex structure is a smooth bundle map $J:TM\to TM$ such that, for all tangent vectors $u,v$,It determines the Riemannian metricIndeed, the invariance of the symplectic form under $J$ and its antisymmetry imply $\omega (v,Ju)=\omega (u,Jv)$, so $g$ is symmetric; the positivity condition makes it positive definite. A compatible triple consists of this symplectic form, this compatible almost complex structure, and this Riemannian metric. Useful equivalent identities are $\omega (u,v)=g(Ju,v)$ and $g(Ju,Jv)=g(u,v)$.

Use the paper's Fubini-Study form normalization ${\tilde{\omega }}_{FS}=\frac{i}{2}\partial \overline{\partial }\log (1+|z{|}^2)$, the Hamiltonian vector field convention ${\iota }_{X_H}\omega =dH$, and the Lie algebra generator whose circle action is $e^{i\theta }$. Write $D=|z_0{|}^2+|z_1{|}^2+|z_2{|}^2$. The normalized moment map for the torus action isThe moment map image is the filled triangleIndeed, the three quantities $|z_j{|}^2/D$ are nonnegative and add to one, and any such triple is realized by choosing their square roots as homogeneous coordinates.

For the diagonal circle action, a point in the fixed-point set satisfies $[z_0,t{z}_1,t{z}_2]=[z_0,z_1,z_2]$ for every $t\in S^1$. If $z_0\ne 0$, the projective scaling must be one, forcing $z_1=z_2=0$. If $z_0=0$, all coordinates are scaled together. ThereforeBy part (b), the diagonal moment map isThe factor $1/2$ follows from the specified Fubini-Study form, not the integral normalization in the linked general article. For example, in one affine complex coordinate $w=r{e}^{i\theta }$ the symplectic form is $r(1+r^2{)}^{-2}dr\wedge d\theta$, whose interior product of a differential form with ${\partial }_{\theta }$ is $-r(1+r^2{)}^{-2}dr=d[-r^2/(2(1+r^2))]$. Choosing the generator $e^{2\pi it}$ rescales all moment maps by $2\pi$; reversing the defining sign reverses their signs. The negative level in parts (d) and (e) uses the convention displayed here.

The level equation is $|z_1{|}^2+|z_2{|}^2=|z_0{|}^2$. In particular $z_0\ne 0$, so the global affine coordinates on this level are $w_j=z_j/z_0$. They identify it withThe diagonal circle action becomes $(w_1,w_2)\mapsto (t{w}_1,t{w}_2)$ and is free: at least one coordinate is nonzero, so fixing a point forces $t=1$. Since the circle is compact, the Free proper Lie-group action theorem makes the quotient a smooth two-dimensional smooth manifold.

The map $(w_1,w_2)\mapsto [w_1,w_2]$ is the Hopf fibration. It is onto the complex projective line, and two unit representatives determine the same complex line precisely when they differ by a scalar of modulus one, hence by a circle orbit. Local sections, for example $[1,u]\mapsto (1,u)/\sqrt{1+|u{|}^2}$, show that the induced identification is a diffeomorphism. ThereforeThis identifies the symplectic reduction as a smooth manifold; no computation of its reduced symplectic form is needed.

The real canonical variables $x^m,p_m$ describe the center-of-mass position and total momentum of the open string. The nonzero string oscillators are complex Fourier modes with ${\alpha }_{-k}^m=({\alpha }_k^m{)}^{\ast }$; the Lagrange multipliers obey ${\lambda }_{-j}={\lambda }_j^{\ast }$. The Virasoro constraints satisfy $L_{-j}=L_j^{\ast }$, so the multiplier term is real.

For each $k>0$, the oscillator kinetic term differs from the manifestly real expressionby $\frac{i}{2k}\frac{d}{dt}({\alpha }_k\cdot {\alpha }_{-k})$. Thus the written action is real up to a boundary term, which does not change its symplectic form or bulk dynamics. Adding the corresponding endpoint term makes reality exact.

The independent nonzero Poisson brackets areAll brackets between these independent center-of-mass and oscillator variables vanish. The dependent zero mode is ${\alpha }_0^m=p^m/\sqrt{\pi T}$, so, if it is used, $\{x^m,{\alpha }_0^n\}={\eta }^{mn}/\sqrt{\pi T}$.

The Fourier coefficients of the Virasoro constraints areTheir Poisson brackets areThey form the classical Witt algebra, with no Virasoro central extension. In particular they are first-class constraints, closing on the constraint surface, and generate the remaining worldsheet diffeomorphisms rather than independent physical excitations.

For the harmonic oscillator Hamiltonian $H=(q^2+p^2)/2$,This rotation preserves the symplectic form $dq\wedge dp$, so it is a canonical transformation for every $t$. Where $\cos t\ne 0$, solving for the initial variables givesand hence the type-2 generatorIts derivatives give the displayed transformation and $H+{\partial }_t{F}_2=0$. At $\cos t=0$ the canonical rotation remains perfectly regular, but its projection to $(q,P)$ is singular, so no type-2 generating function in those variables exists there; another generating-function chart covers those isolated times.