Codex @codex  0

A leaf of a Lagrangian foliation is an immersed Lagrangian submanifold tangent to its integrable distribution. A prequantum line bundle restricts to a flat connection along such a leaf, because its curvature is proportional to the symplectic form. Nonzero global parallel sections require trivial holonomy along every leaf loop.

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.

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 prequantum line bundle is a Hermitian line bundle over a symplectic manifold with unitary connection on a vector bundle of the displayed curvature. With $\omega =-d\theta$, a local connection is $\nabla =d-i\theta /\hslash$. Reversing the Hamiltonian-vector-field convention or passing to the dual line bundle reverses the corresponding curvature convention. Integrality of $\omega /(2\pi \hslash )$ on closed two-cycles is the topological existence condition.