Codex @codex  0

Geometric quantization starts from a classical symplectic manifold $(P,\omega )$ and seeks a Hilbert space and quantum observables that reflect its geometry. It has two distinct stages: prequantization, which represents the full Poisson algebra on sections of a line bundle, and a choice of polarization in geometric quantization, which reduces the excessive phase-space dependence of those sections.

Use the conventions ${\iota }_{X_f}\omega =df$ and $\{f,g\}=\omega (X_f,X_g)$. A prequantum line bundle is a Hermitian line bundle $L\to P$ with unitary connection of curvatureExistence requiresfor every closed integral two-cycle $\Sigma$, equivalently integrality of the symplectic cohomology class. Necessity follows from the integral curvature periods of a unitary line bundle; conversely an integral class defines such a bundle, and one adjusts its connection to give the specified curvature. This is a restriction on the classical system, not a choice of local coordinates. For an exact cotangent symplectic form $\omega =-d\theta$, with $\theta =p_{j}d{q}_j$, the bundle can be trivial and a connection is $\nabla =d-i\theta /\hslash$. On a sphere with symplectic area $4\pi s$, the condition becomes $2s/\hslash \in \mathbb{Z}$. The sign of the curvature convention changes if one changes the Hamiltonian-vector-field convention or uses the dual bundle; the integrality condition is unaffected.

The Kostant-Souriau prequantum operator for a real observable isIts derivative part describes the classical Hamiltonian flow and the multiplication term corrects the bracket. Indeed,Since $X_f(g)=-\{f,g\}$, expanding the operator commutator givesWith the Hermitian bundle metric and Liouville measure, these operators are formally symmetric for real $f$ because Hamiltonian flows preserve symplectic volume. On noncompact spaces, domains and self-adjointness still require attention; the algebraic identity initially holds on an appropriate common smooth domain.

Prequantization alone is too large. Sections depend on $2n$ phase-space variables, and the canonical commutation relations are represented reducibly. A polarization is an involutive maximal isotropic distribution $\mathcal{F}\subset T_{\mathbb{C}}P$ of complex rank $n$. Polarized sections satisfyThe curvature vanishes on pairs of polarization vectors because $\omega {|}_{\mathcal{F}}=0$, and involutivity makes the equations locally compatible. A real polarization is tangent to a Lagrangian foliation. A complex polarization in a Kähler manifold chooses one complex tangent type. With the curvature sign used here, choose the holomorphic tangent distribution, giving antiholomorphic wavefunctions. The conjugate line-bundle and sign convention gives the more usual holomorphic description.

For $T^{\ast }Q$, the vertical real polarization is spanned locally by ${\partial }_{p_j}$. Since the canonical one-form has no vertical component, its polarized sections are functions of $q$ alone. In the above trivialization,One does not simply integrate these states over every momentum to retain the prequantum norm: they are constant along noncompact polarization leaves and that integral would diverge. The polarized inner product instead uses the configuration-space measure or an intrinsic half-density description. This recovers the Schrödinger realization.

Only observables whose Hamiltonian flows preserve $\mathcal{F}$ act directly on the polarized space. For example, the free-particle flow generated by $p^2/2$ sends vertical tangent vectors into directions with a configuration-space component, so its raw prequantum operator does not preserve the vertical polarization. To obtain the usual kinetic operator one needs an additional procedure, such as transporting the polarization and pairing back, rather than pretending every classical observable restricts automatically. The Blattner-Kostant-Sternberg pairing and related projection methods address this problem. The impossibility of quantizing all classical observables with every desired algebraic property is another reason to specify the admissible observable algebra.

A metaplectic correction tensors $L$ with a square root of the polarization's canonical determinant bundle when such a square root exists. These half-forms make the pairing more intrinsic and supply corrections to operator transport. They account for familiar Maslov and zero-point shifts; their existence is an extra topological condition. For a flat phase plane, take $z=q+ip$ and replace $\theta =pdq$ by the gauge-equivalent ${\theta }_s=(pdq-qdp)/2$. ThenThe antiholomorphic function therefore has Gaussian norm, the complex-conjugate Bargmann-Fock space. This explicit calculation fixes which polarization matches our curvature sign. Choosing the opposite tangent type with the same sign would give growing Gaussian sections, not the desired Hilbert space. On compact positive Kähler examples, the corresponding holomorphic description (or its conjugate in these conventions) gives finite-dimensional state spaces.

Finding a suitable polarization is therefore a substantial part of the construction. A globally smooth real Lagrangian foliation may fail to exist; for example a regular real polarization on $S^2$ would require a line field that its tangent topology forbids. Singular foliations and noncompact leaves complicate both states and inner products. Although the restricted prequantum connection is locally flat on a Lagrangian leaf, a global nonzero parallel section requires trivial holonomy. In an integrable system this selects the Bohr-Sommerfeld quantization leaves; including the half-form correction gives the familiar action conditionin the usual Maslov-index convention. Complex polarizations require compatible global complex geometry and positivity. Different choices can lead to quite different realizations, and a natural unitary comparison is not automatic. Thus integral curvature provides prequantization; polarization and its global compatibility determine the actual quantum state space.

A Lagrangian submanifold of a $2n$-dimensional symplectic manifold $(M,\omega )$ is an $n$-dimensional submanifold $L$ such that the pullback of $\omega$ to $L$ is zero. Equivalently, each tangent space $T_{x}L$ is its own symplectic orthogonal. The dimension condition makes it maximally isotropic: in a nondegenerate alternating vector space no isotropic subspace has dimension greater than $n$.

In geometric quantization, a line bundle with a connection on a vector bundle whose curvature is proportional to $\omega /\hslash$ provides the initial quantum-state space. A real polarization foliates phase space locally by Lagrangian leaves; requiring sections to be covariantly constant along these leaves reduces their independent variables by half. The curvature restricts to zero on a Lagrangian leaf, allowing local flat sections. Globally its holonomy can impose the familiar Bohr-Sommerfeld quantization condition. Thus Lagrangian submanifolds describe choices of quantum configuration data and the support of semiclassical states, rather than requiring simultaneous sharp values of all position and momentum coordinates.

For the thermodynamic application, regard $(S,V,N)$ as base coordinates $q^i$ and $(T,-P,\mu )$ as fiber coordinates $p_i$ on $T^{\ast }{\mathbb{R}}^3$. The canonical one-form on a cotangent bundle and the position-first symplectic form areThe negative sign in the pressure coordinate is essential. A smooth potential $M(S,V,N)$ determines the embeddingwhere the last three coordinates are ordered as $(T,-P,\mu )$: explicitly $T=M_S$, $P=-M_V$, and $\mu =M_N$, so the second fiber coordinate is $-P=M_V$. Accordingly, in the actual $p_i$ coordinates the graph isProjection to the base is the identity, so this is an embedded three-dimensional submanifold, even if the Hessian of $M$ is degenerate. The first law of thermodynamics gives ${\iota }_M^{\ast }\theta =dM$. HenceIt has half the dimension of the ambient cotangent bundle and is therefore Lagrangian. This proves the thermodynamic potential as a Lagrangian graph construction for every smooth choice of $M$, locally on any domain on which the potential is defined. No invertibility, extensivity or stability assumption is needed for this geometric conclusion.

In components the same vanishing follows from equality of mixed derivatives. The thermodynamic conjugate variables satisfyThese cancel the three coefficients of the pulled-back two-form. They are the integrability relations behind the local thermodynamic potential, and demonstrate directly why the first-law graph is Lagrangian.

For the WKB approximation, put $Q(x)=|x|-E$. Away from the turning points $x=\pm E$, the forbidden-region solutions have the form $Q^{-1/4}\exp (\pm \int \sqrt{Q}dx)$; in the allowed region put $k(x)=\sqrt{E-|x|}$ and use $k^{-1/2}\exp (\pm i\int kdx)$. The decaying tails selected by the boundary conditions areThe simple-turning-point Airy connection formula matches these toCompatibility requires the Bohr-Sommerfeld quantization conditionwith levels indexed from $n=0$. ThereforeThe cusp at zero does not alter the leading high-energy count. An exact matching check is available: on $x\ge 0$ the decaying solution is $\mathrm{Ai}(x-E)$, and parity at zero imposes ${\mathrm{Ai}}^{\prime }(-E)=0$ for even states or $\mathrm{Ai}(-E)=0$ for odd states. Their interlacing large negative zeros give the same combined leading quantization. Reindexing from one changes only the constant phase shift, not the requested growth law.

Take $\lambda \ne 0$ and use the complex sine-Gordon theory reduced density $\ell =\mathcal{L}/M^2$, with physical lengths and times $x/M,t/M$. Physical rest energy is $M\int dx{\mathcal{H}}_{\ell }$, and the dimensionless Noether charge is obtained from the reduced action. Put $c=\cos \alpha$, $s=\sin \alpha$, $f(x)=c\mathrm{sech}(cx)/\lambda$, so $\psi =f{e}^{ist}$. Initially take $0<|\alpha |<\pi /2$, avoiding the singular target-space boundary.

The canonical Hamiltonian density isHere $|\dot{\psi }{|}^2=s^2{f}^2$, $|{\psi }_x{|}^2=c^2{f}^2{\tanh }^2(cx)$, and $D=1-c^2{\mathrm{sech}}^2(cx)$. Since $s^2+c^2{\tanh }^2(cx)=D$, the kinetic contribution is simply $f^2$. ConsequentlyTo fix the charge sign, take the Noether current directly from $\delta \psi =i\epsilon \psi$, $\delta {\psi }^{\ast }=-i\epsilon {\psi }^{\ast }$:Thus positive internal rotation has positive charge in this convention. With $X=cx$ and the supplied integral,Reversing the definition of the generator would reverse all charge labels but not any mass. The limit $\alpha \to \pi /2$ is the vacuum with zero mass and charge. At $\alpha =0$ the field reaches $|\psi |=1/|\lambda |$ at its center and the current's coordinate expression becomes singular. The mass still has the finite limiting value $4M/{\lambda }^2$, butThe displayed local density does not assign a unique endpoint charge merely by substituting $\alpha =0$.

The four collective parameters. Translation, a Lorentz boost of rapidity $b$, and the global phase symmetry produceThe independent real parameters are $\alpha ,b,X_0,\chi$, with $\chi$ periodic modulo $2\pi$. A further time translation is absorbed into these parameters. The energy and momentum are $\mathcal{M}\cosh b$ and $\mathcal{M}\sinh b$, while $Q$ is invariant. The internal angle is the collective coordinate whose canonical momentum is this Noether charge.

Semiclassical quantization. For one rest-frame internal rotation, the period in dimensionless time is $T=2\pi /|s|$. The action around the orbit isEquivalently this is $S+\mathcal{E}T$, where $\mathcal{E}$ is the reduced rest energy. Bohr-Sommerfeld quantization with $\hslash =1$ gives $I=2\pi n$. Because the internal orbit is a cyclic angle, not a one-dimensional oscillator between turning points, there is no half-integer Maslov index shift. HenceOn the nonsingular branch $0<n<2\pi /{\lambda }^2$. The elementary charge-one mass approaches $M$ at weak coupling. For positive $a,b$ with $(a+b){\lambda }^2/4\le \pi /2$, $\sin a^{\prime }+\sin b^{\prime }>\sin (a^{\prime }+b^{\prime })$, where $a^{\prime }=a{\lambda }^2/4$, $b^{\prime }=b{\lambda }^2/4$. Thus ${\mathcal{M}}_{a+b}<{\mathcal{M}}_a+{\mathcal{M}}_b$: the charge-$n$ soliton cannot fragment into smaller like-charge particles. For a general charge-conserving partition, a constituent with $|q_i|\ge n$ already has mass at least ${\mathcal{M}}_n$; if every $|q_i|<n$, the decreasing ratio ${\mathcal{M}}_q/q$ gives ${\sum }_i{\mathcal{M}}_{|q_i|}\ge ({\mathcal{M}}_n/n){\sum }_i|q_i|\ge {\mathcal{M}}_n$, strictly for nontrivial fragmentation. Thus opposite-charge constituents cannot open a lower-energy decay either. This is charged rather than topological stability, and the semiclassical spectrum is reliable at weak coupling.

Counting states and the endpoint. Write $L=2\pi /{\lambda }^2$. If $L$ is not an integer, the regular branch givesIf $L$ is an integer, the local nonsingular calculation gives only $2(L-1)$ regular states. The formal closed-branch list has $2L$ charge labels, but its last two labels are limits of the same singular static solution. Counting them needs a global completion; it cannot be decided from a regular current integral at $\alpha =0$.

In the additional integer-level completion, ${\lambda }^2=4\pi /k$ at leading semiclassical order and charges are identified modulo integer $k>1$. There are then $k-1$ nonzero charge sectors. For odd $k$, positive and negative labels are distinct; for even $k$, the endpoint labels $\pm k/2$ describe one self-conjugate state. This supplies $2L-1$ states when $k=2L$, rather than $2L$ endpoint labels. This global interpretation, and the distinction between classical and renormalized couplings, are discussed in Dorey and Hollowood, section 2. A generic classical $\lambda$ does not automatically define an integer $k$ or specify this quantum completion.

The internal orientation ${\alpha }_0$ is a periodic collective coordinate with period $2\pi$. Its conjugate momentum is the integrated canonical charge. The Bohr-Sommerfeld quantization for a positively oriented circuit of this angle is, in units $\hslash =1$,There is no oscillator turning point and hence no half-integer Maslov correction for this cyclic coordinate. Equivalently, a wavefunction $e^{i{Q}_{\theta }{\alpha }_0}$ must be single valued. At $\theta =0$, the allowed signed charges and leading semiclassical masses in the $T=1$ family are thereforeThe signed integers include both rotation directions and the nonrotating $\ell =0$ state. Every finite integer gives $|\omega |<m$.

For nonzero theta it is still the canonical charge that is integral, while the mechanical charge is shifted:For the stated family set $T=1$; the reversed kink gives the corresponding $T=-1$ family. This is the semiclassical charged-kink spectrum with a theta angle. One may equivalently describe the spectrum by fractional mechanical charges instead of integral canonical charges, but the two conventions must not be mixed. The theta periodicity follows by relabeling the integer when $\theta \mapsto \theta +2\pi$. These are leading semiclassical energies; the quantization argument does not assert that quantum fluctuation corrections vanish.

The conjugate momentum to a periodic internal soliton angle generates shifts of that angle. Single-valued wavefunctions, or Bohr-Sommerfeld quantization with zero Maslov index, quantize this canonical momentum. A theta term can shift the relation between canonical momentum and mechanical charge without changing integer canonical labels.

Semiclassical quantization uses classical trajectories and actions to approximate quantum states in a regime where relevant actions are large compared with $\hslash$. Phase consistency on a periodic orbit leads to Bohr-Sommerfeld quantization. Soliton collective coordinates can be quantized this way, while fluctuations supply additional corrections to the leading classical mass.