Codex @codex  0

Single-valued semiclassical phase on a closed classical orbit quantizes its action, with Maslov index $\mu$ accounting for turning-point phase corrections. A cyclic angle has no oscillator turning points: its wavefunctions are $e^{i\ell q}$, with signed $\ell \in \mathbb{Z}$ for a $2\pi$ period and canonical momentum $\hslash \ell$. There is no half-integer shift for that free angular coordinate.

An embedded positive domain which is a bigon or rectangle, has convex alternating alpha and beta corners, and contains no other selected coordinate in its interior, has Maslov index one. A bigon has Euler measure $1/2$ and two corner averages $1/4$; a rectangle has Euler measure zero and four corner averages $1/4$. For the usual regular complex structure, its holomorphic disk count modulo translation is $\pm 1$. For a bigon the Riemann map to the strip is unique up to translation. For a rectangle, the tautological correspondence represents the disk in the symmetric product by a branched double cover of the strip onto the rectangular domain: its conformal modulus fixes the branch parameter, and the only remaining freedom is translation. The resulting isolated regular disk gives one point in the oriented moduli space. The differential coefficient is $\pm U^{n_z}$, so a basepoint-free domain contributes a unit.

For an admissible pointed Heegaard diagram, $C{F}^{-}$ is a free $\mathbb{Z}[U]$ chain complex with one generator for each point of ${\mathbb{T}}_{\alpha }\cap {\mathbb{T}}_{\beta }$. Each generator is an unordered selection containing exactly one intersection on each alpha circle and exactly one on each beta circle. After choosing coherent orientations,Here $\hat{\mathcal{M}}$ is the moduli space modulo strip translation, $\mu$ is the Maslov index, and $n_z$ is multiplicity at the basepoint. Holomorphic representatives have nonnegative domain multiplicities. The differential lowers grading by one and $U$ lowers it by two. Boundary strata of one-dimensional moduli spaces give the cancellation proving ${\partial }^2=0$. Its homology is $H{F}^{-}$.

Geometric quantization constructs quantum state spaces from the geometry of a classical symplectic manifold $(P,\omega )$. Its first task is to represent classical observables and their Poisson bracket by operators; its second is to reduce the excessive phase-space dependence of the resulting states. These are different steps, called prequantization and choice of a polarization in geometric quantization.

Use ${\iota }_{X_f}\omega =df$ and $\{f,g\}=\omega (X_f,X_g)$, so $[X_f,X_g]=-X_{\{f,g\}}$. A prequantum line bundle is a Hermitian complex line bundle $L\to P$ with unitary connection on a vector bundle of curvatureIts existence requires the integrality of all symplectic periods:One way to see the obstruction is to choose local primitives $\omega =-d{\theta }_i$ on contractible charts. The local connections are $d-i{\theta }_i/\hslash$. On overlaps the differences of ${\theta }_i$ are exact and determine unitary transition phases. On triple overlaps their exponentials obey the cocycle condition exactly when the periods have the stated integral values. Conversely that integral class is realized by a line bundle; adjusting a connection by a global one-form makes its curvature equal to the prescribed representative. Connections with this curvature can still differ by a flat connection, so integrality need not specify unique quantum data.

On smooth sections define the Kostant-Souriau prequantum operatorIts defining algebraic property follows directly from the curvature commutator:The multiplication terms contribute $-i\hslash (X_{f}g-X_{g}f)=2i\hslash \{f,g\}$, soThe preliminary inner product integrates the Hermitian pairing against the symplectic volume ${\omega }^n/n!$, where $\dim P=2n$. Hamiltonian flows preserve this measure, so real observables give formally symmetric operators on suitable compactly supported sections. Actual self-adjoint realizations and their domains require analysis, especially on a noncompact phase space.

The prequantum representation is generally reducible and depends on all $2n$ variables, whereas a configuration-space wave function should depend on $n$. A polarization in geometric quantization is an involutive complex rank-$n$ distribution $\mathcal{F}\subset T_{\mathbb{C}}P$ that is isotropic for $\omega$. A real polarization is tangent to a Lagrangian foliation; a compatible complex polarization is supplied by a Kähler manifold. Polarized sections satisfyThis condition is locally consistent because the connection curvature vanishes on pairs of polarization vectors, and involutivity closes the differential constraints. Globally, leaf holonomy can obstruct nonzero polarized sections. To construct the quantum Hilbert space, one must also choose the appropriate quotient measure or density data and complete the polarized sections; it need not be a literal closed subspace of the original phase-space $L^2$ space.

For $P=T^{\ast }{\mathbb{R}}^n$, set $\theta ={\sum }_j{p}_{j}d{q}^j$, so $\omega =-d\theta$ and the line bundle is trivial with $\nabla =d-i\theta /\hslash$. The vertical polarization is spanned by ${\partial }_{p_j}$. Its equations say ${\partial }_{p_j}\psi =0$, hence $\psi =\psi (q)$. Before this restriction,After restricting and using the configuration-space measure, the Schrödinger representation isTheir commutator is $i\hslash {\delta }^j{}_k$ on a common smooth test-function domain. Functions of $q$ act by multiplication. Observables affine in momenta have flows preserving this polarization and can act directly, with density terms when required for symmetry. An arbitrary observable does not: already $p^2/(2m)$ has a flow taking a vertical fiber to a slanted one. Thus merely restricting its prequantum operator does not produce the free Schrödinger Hamiltonian.

The Blattner-Kostant-Sternberg pairing compares different polarizations. One can transport a state by a Hamiltonian flow to its transported polarization, pair back with the chosen state space and differentiate to obtain additional operators when the pairing is well defined. The metaplectic correction tensors polarized sections with a suitable square root of the polarization's canonical bundle. Half-forms improve the invariant state pairing and contribute to operator transport; their global existence is additional data.

A closed real-polarization leaf illustrates the topological restriction. Since $\omega$ vanishes along a Lagrangian leaf, the restricted prequantum connection is flat. A nonzero parallel section exists around a closed loop only if its holonomy is trivial. In cotangent coordinates this isThis is the Bohr-Sommerfeld quantization condition before the half-form correction. With the standard Maslov correction it becomes $\oint pdq=2\pi \hslash (N+\nu /4)$, where $\nu$ is the Maslov index. For an oscillator ellipse, the enclosed phase-space area is $2\pi E/{\omega }_0$ and the index is two; the corrected rule gives $E_N=\hslash {\omega }_0(N+1/2)$ for $N\ge 0$, exhibiting the zero-point shift. Singular real polarizations can require distributional sections rather than ordinary smooth polarized sections.

The construction thus separates local operator algebra from global integrality, polarization and holonomy. It recovers familiar quantum representations while exposing their geometric choices. A polarization also limits which observables preserve the state space, and exact Poisson-to-commutator correspondence cannot in general be extended to every classical polynomial in an irreducible canonical quantization. Changes of polarization, operator domains, half-form existence and singular reductions are substantive issues, so geometric quantization is a framework with specified additional data rather than a unique automatic procedure for every classical system.

For the shaded bigon, a holomorphic strip is a conformal parametrization of its interior. Send its two corners to the two ends of $\mathbb{R}\times [0,1]$. The Riemann map is unique up to translation, so quotienting the moduli space by translations leaves a single point. The embedded strip is regular, and a coherent orientation assigns it sign $+1$ or $-1$. Thus the signed count is $\pm 1$. The other three small bigons have the same argument.

For the shaded rectangle, a disk in ${\mathrm{Sym}}^2(\Sigma )$ is represented by a two-sheeted surface over the strip, with its projection to $\Sigma$ covering the rectangle once. There is one simple branch point. The four alternating boundary arcs and the conformal modulus of the rectangular region determine the branched cover up to strip translation: cutting along an arc from the branch point produces two simply connected strips, whose conformal maps are fixed by their marked corners, and gluing fixes the relative translation. The index calculation in part (ii) gives a zero-dimensional quotient; regularity of this embedded empty rectangle makes its one solution an isolated regular point. Hence its signed count is also $\pm 1$. The same construction applies to the lower rectangle. This is the empty bigon and rectangle counts in Heegaard Floer homology calculation, including the geometric reason for the counts.

The listed bigons and rectangles give all positive index-one domains in these diagrams. One can check this by following the alpha and beta boundary arcs: the four two-corner regions in Figure 2a and the two empty four-corner regions in Figure 2b are the possibilities with convex corners; a domain reaching around a handle has an additional corner or a negative region coefficient. There is no nonzero basepoint-normalized periodic domain, because the displayed homology presentations have nonzero determinant. Adding the whole surface increases the Maslov index by two, so does not give another index-one representative. Thus no extra chain differential term is hidden in the calculations below.

For Figure 2a with the basepoint outside the four small bigons, coherent signs can be absorbed into the choices of generator orientations, yielding a chain complex of the formThe first summand has homology $R⟨[1]⟩$, with $[3]=-[1]$. The singleton $4$ contributes $R$. In the last summand, $6$ is a boundary and the cycles are $R⟨5-7⟩$. Consequentlyone free tower in each Spin-c structure. With the normalizations in part (i), their top relative Heegaard Floer gradings are $0,0,1$.

The absent visible basepoint in Figure 2a does not change this homology answer. For the multiplicities of part (i), replace the three nonzero chain differential formulas by $\partial 2=\pm U^{a}1\pm U^{b}3$, $\partial 5=\pm U^{c}6$, $\partial 7=\pm U^{d}6$. At most one of $a,b,c,d$ equals one, and the others are zero, so each two-term relation contains a unit. Elementary elimination again leaves one free $R$ tower in each class; its relative Heegaard Floer grading is read from the multiplicity-dependent grading formulas.

For Figure 2b, write $A=(1,a)$, $B=(2,b)$, $C=(3,c)$. The two rectangles give, after choosing orientations,and both singleton generators have zero chain differential. The first summand has cycles $RA\oplus RC$ modulo the primitive relation $A+C$, hence is $R$. Thereforeagain with one free tower in each Spin-c structure. All three can have top relative Heegaard Floer grading zero in the independent normalizations of part (ii).

A generator selects one point from each alpha circle and each beta circle. Here the points $1,3$ lie on ${\alpha }_1\cap {\beta }_2$, $2$ on ${\alpha }_1\cap {\beta }_1$, $a,c$ on ${\alpha }_2\cap {\beta }_1$, and $b$ on ${\alpha }_2\cap {\beta }_2$. Hence, with $R=\mathbb{Z}[U]$, the Heegaard Floer chain complex has free basisA pair such as $(2,a)$ is invalid because it uses beta-one twice.

Orient the attaching circles so that their algebraic-intersection matrix is $\left(\begin{array}{cc}1& -2\\ -2& 1\end{array}\right)$. The presentation of $H_1(Y)$ is then $m_1-2m_2=0$, $m_2-2m_1=0$, giving $H_1(Y)=\mathbb{Z}/3$ with $m_2=-m_1$. The upper rectangular domain connects $(2,b)$ to $(3,c)$; the lower one connects $(2,b)$ to $(1,a)$. Thus these three generators have zero joining-cycle obstruction. Changing just the point on the second alpha circle from $a$ to $c$, or just the point on the first from $1$ to $3$, gives the two opposite nonzero meridian classes. This distinguishes the other two generators. The equivalence classes of Whitney disk classes are thereforeThe dot in the central unshaded region represents the basepoint. Each displayed rectangle has $n_z=0$, Euler measure zero and four corner averages $1/4$, hence Maslov index one. The relative grading in Heegaard Floer homology satisfiesThus a convenient normalization is degree zero for $(1,a),(3,c)$ and degree one for $(2,b)$; either singleton can independently be put in degree zero. As before, multiplication by $U^m$ subtracts $2m$ from every degree.

Put $R=\mathbb{Z}[U]$, with $\mathrm{deg}U=-2$. In genus one, an intersection point is itself a generator of the Heegaard Floer chain complex. Thus the free $R$ basis isThere are infinitely many integral generators $U^{m}j$, $m\ge 0$, but these seven points are the module generators.

The obstruction to a Whitney disk class is the alpha-and-beta joining cycle in $H_1(Y)$. Identify the opposite sides of the square and straighten the two small fingers of the alpha curve. Its algebraic intersection with beta is three; the remaining intersections, one in each residue class, are represented by $1,4,5$. The four small bigons connect $1$ to $2$ to $3$, and $5$ to $6$ to $7$. A joining cycle between consecutive remaining strands is a meridian, which generates $H_1(Y)=\mathbb{Z}/3$. Consequently the equivalence classes are exactlyEquivalently, these are the three Spin-c structures represented in the Heegaard diagram.

Use the domain convention ${\partial }_{\alpha }D=y-x$. The positive bigons run from $2$ to $1$, from $2$ to $3$, from $5$ to $6$, and from $7$ to $6$. Their Maslov indices are one: their Euler measure is $1/2$, and the two endpoint averages contribute $1/4$ each. Write their basepoint multiplicities as $a,b,c,d$, respectively. The relative grading in Heegaard Floer homology is thereforeThe reproduced figure has no visible marked $z$. If $z$ is outside all four small bigons, as in the usual intended diagram, $a=b=c=d=0$. One may normalize the relative Heegaard Floer gradings asEach class has its own arbitrary additive constant, and $\mathrm{gr}(U^{m}j)=\mathrm{gr}(j)-2m$. If the basepoint is put inside one of these disjoint bigons, exactly its multiplicity is one; the preceding boxed difference formulas give the answer without an unstated basepoint assumption.

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.

Set $\Delta =T/M$, $q_0=q$, and $q_M=q^{\prime }$. The Trotter product formula separates the kinetic and potential energy evolution to first order in $\Delta$. Inserting $M-1$ resolutions of the identity in the position operator basis and using the free short-time kernel givesThe exponent converges formally to the action along the path. The prefactors and intermediate integrations define the time-sliced configuration-space path integral measure, soA real-time path integral is an oscillatory limit with the Feynman i-epsilon prescription, rather than an ordinary probability integral. The operator derivation assumes the usual self-adjointness and product-formula hypotheses for the Hamiltonian.

For a quadratic potential energy write $q=q_c+\eta$, with $\eta (0)=\eta (T)=0$ and ${\ddot{q}}_c+V^{\prime }(q_c)=0$. The first variation vanishes by the Euler-Lagrange equation and the fixed endpoints. Because $V$ is quadratic, the remaining expansion is exact:Here integration by parts has no boundary contribution. Translation of the integration variables leaves the time-sliced measure unchanged. Thus the Gaussian path integral over $\eta$ is independent of the endpoint values, and the entire endpoint dependence lies in $e^{iS[q_c]}$.

Expanding $\eta$ in eigenfunctions satisfying Dirichlet boundary conditions, each real mode contributes an inverse square root of its quadratic eigenvalue, with the oscillatory phase fixed by continuation. Normalizing against $A_0={\partial }_t^2$ gives a precise determinant-ratio form:The determinant ratio is meaningful after a common regulator; the phase is part of the prescription. It is equivalent to writing $N=C(T)({\det }_{D}A{)}^{-1/2}$ with an endpoint-independent normalization.

For example, if $V^{\prime \prime }={\omega }^2$, the Dirichlet oscillator determinant ratio isA linear or constant term in $V$ changes the action but not this prefactor. The formula holds away from conjugate times, when the boundary problem and determinant are nonsingular. At $\sin \omega T=0$, it must be continued as a distribution with its Maslov index phase; the assertion of an ordinary finite prefactor cannot be used literally there. For the unshifted oscillator, at $T=r\pi /\omega$ the kernel is $e^{-ir\pi /2}\delta (q^{\prime }-(-1{)}^{r}q)$.

For the full-line source integral, impose vacuum boundary conditions by adiabatic damping. Take the source initially as a test function, so its pairings with the Green function are defined. After integration by parts, writeWith the Fourier transform convention $G(t)=\int d\omega e^{i\omega t}\tilde{G}(\omega )/(2\pi )$, the inverse isSet $q=\eta -GJ$. Completing the square givesand consequentlyThe Gaussian functional integral $Z[0]$ is source independent and contains the regulated determinant. This is most naturally read as a normalized vacuum generating functional. For $m>0$, closing the frequency contour gives $G(t)=-i{e}^{-im|t|}/(2m)$; the time-ordered oscillator two-point function is $iG(t)$. This checks the sign of the source exponent and identifies the required vacuum prescription.

With a nonconstant potential energy, momentum no longer diagonalizes the Hamiltonian operator. The operator derivation must use the energy eigenfunctions of the full Hamiltonian, a Dyson series, or a time-sliced Trotter product formula. In the classical derivation, the straight paths are replaced by every solution of the nonlinear Euler-Lagrange equation with the specified endpoints. The semiclassical propagator becomes a sumwhere the prefactor is the Van Vleck determinant and ${\mu }_{\mathrm{cl}}$ is a Maslov index. Unlike a quadratic theory, the classical-path sum is generally only an asymptotic approximation: the exact path integral includes fluctuations of every order. On the circle, the sum must still include all winding number sectors.

On the quotient from part (b), the Maslov mapis well defined because $\det (Q{)}^2=1$ for $Q\in O(n)$. Consider the loop of Lagrangian subspacesIts endpoints agree as unoriented subspaces, and $\mu \circ \ell (t)=e^{2\pi it}$ has degree one. If $\eta$ is the generator of $H^1(S^1;\mathbb{Z})$, thenConsequently ${\mu }^{\ast }\eta \ne 0$, provingThe same integer is the Maslov index of $\ell$.

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.