nLab geometric quantization of the 2-sphere

Contents

beware, some prefactors may still need harmonizing…

Context

Spheres

Geometric quantization

Contents

Idea

The 2-sphere S 2S^2 is naturally equipped with the structure of a symplectic manifold with symplectic form its canonical volume form, up to a constant factor. As such, one can consider its geometric quantization.

From the point of view of physics, this yields a quantum mechanical system that describes a rigid rotor or spinor in 3-dimenensional Euclidean space (and just the rotation/spin degrees of freedom, not the translational degrees of freedom). Accordingly, the coresponding Hilbert-space of quantum states carries a natural Hamiltonian action by the angular momentum quantum operators that generate the rotation of the sphere.

More abstractly in mathematics, the 2-sphere is naturally identified with a coadjoint orbit of the special unitary Lie algebra/special unitary group 𝔰𝔲(2)/SU(2)\mathfrak{su}(2)/SU(2) (and hence of the spin group Spin(3)Spin(3), by one of the exceptional isomorphisms). As such the geometric quantization of the 2-sphere is a special case of the general orbit method for producing irreducible representations of suitable Lie groups by geometric quantization. In this case it identifies the quantization of the Hamiltonian action of SU(2)SU(2) on S 2S^2 in terms of quantum operators acting on the space of quantum states with an irreducible representation of SU(2)≃Spin(3)SU(2) \simeq Spin(3).

Details

The following walks through all the ingredients and steps of the geometric quantization of the 2-spere. Several of the ingredients/steps described are not specific to the 2-sphere but apply generally in geometric quantization, or more specifically in KΓ€hler polarization quantization, but are spelled out again for completeness. Similarly, much of the discussion is really about the complex geometry of the Riemann sphere.

The symplectic geometry

We introduce first the 2-sphere with its canonical structure of a symplectic manifold and KΓ€hler manifold.

Coordinate charts

For all of the following it is useful to choose an adapted atlas of coordinate charts on the 2-sphere, namely that induced by regarding it as the Riemann sphere.

Definition

Choose any point x ∞∈S 2x_{\infty} \in S^2. Then the complement S 2βˆ’{x ∞}S^2 - \{x_\infty\} is diffeomorphic to the plane ℝ 2\mathbb{R}^2, which in turn we regard as the complex plane. Hence

ℂ≃U +≔(S 2βˆ’{x ∞})β†ͺS 2 \mathbb{C} \simeq U_{+} \coloneqq (S^2 - \{x_\infty\}) \hookrightarrow S^2

is one coordinate chart on the 2-sphere. Accordingly, removing the antipodal point

x 0≔0βˆˆβ„‚β‰ƒU + x_0 \coloneqq 0 \in \mathbb{C} \simeq U_+

yields another coordinate chart

ℂ≃U βˆ’β‰”(S 2βˆ’{x 0})β†ͺS 2. \mathbb{C} \simeq U_{-} \coloneqq (S^2 - \{x_0\}) \hookrightarrow S^2 \,.

We denote the canonical complex coordinate function on U +/βˆ’U_{+/-} by z +/βˆ’z_{+/-}, respectively. In terms of these the canonical identification of the two coordinate charts on their common overlap

(β„‚βˆ’{0})≃S 2βˆ’{x 0,x ∞}≃(U +βˆ’{x 0})β†’(U βˆ’βˆ’{x ∞})≃(S 2βˆ’{x 0,x ∞})≃(β„‚βˆ’{0}) (\mathbb{C} - \{0\}) \simeq S^2 - \{x_0, x_\infty\} \simeq (U_+ - \{x_0\}) \to (U_- - \{x_\infty\}) \simeq (S^2 - \{x_0, x_\infty\}) \simeq (\mathbb{C} - \{0\})

is given by

z↦z βˆ’1. z \mapsto z^{-1} \,.

Hence on S 2βˆ’{x 0,x ∞}S^2 - \{x_0, x_\infty\} the two coordinate functions are complex inverses of each other

z +=(z βˆ’) βˆ’1. z_+ = (z_-)^{-1} \,.

This defines an atlas by two open charts which defines the 2-sphere as a smooth manifold. Since both patches are complex planes and the transition function is a holomorphic function this moreover gives S 2S^2 the structure of a complex manifold. As such it is called the Riemann sphere.

In the following we often just write β€œzz” for β€œz +z_+” or β€œz βˆ’z_-” when the chart U +U_+ or U βˆ’U_- is understood.

By the canonical embedding

S 2β†ͺℝ 3 S^2 \hookrightarrow \mathbb{R}^3

into the 3-dimensional Cartesian space as the unit 2-sphere given by

S 2={(x 1,x 2,x 3)βˆˆβ„ 3|(x 1) 2+(x 2) 2+(x 3) 2=1} S^2 = \left\{ (x_1, x_2, x_3) \in \mathbb{R}^3 \;|\; (x_1)^2 + (x_2)^2 + (x_3)^2 = 1 \right\}

the 2-sphere inherits a Riemannian metric as the pullback of the canonical metric βˆ‘ i=1 3dx iβŠ—dx i\sum_{i = 1} ^3 d x_i \otimes d x_i on ℝ 3\mathbb{R}^3.

Proposition

In the coordinate charts of def. , the canonical functions

x i:(S 2βˆ’{x ∞})β†ͺℝ 3β†’x iℝ x_i \colon (S^2 - \{x_\infty\}) \hookrightarrow \mathbb{R}^3 \stackrel{x_i}{\to} \mathbb{R}

have the expressions

  • x 1=12z ++zΒ― +1βˆ’|z +| 2x_1 = \frac{1}{2} \frac{z_+ + \overline{z}_+}{1 - {\vert z_+\vert}^2}

  • x 2=βˆ’i2z +βˆ’zΒ― +1βˆ’|z +| 2x_2 = -\frac{i}{2} \frac{z_+ - \overline{z}_+}{1 - {\vert z_+\vert}^2}

  • x 3=1βˆ’11+|z +| 2x_3 = 1 - \frac{1}{1 + {\vert z_+\vert}^2}.

Symplectic and KΓ€hler structure

Proposition

The canonical Riemannian metric on S 2S^2 induces the volume form Ο‰ 1∈Ω 2(S 2)\omega_1 \in \Omega^2(S^2) given in the coordinate charts of def. by

Ο‰ 1=1(1+|z| 2) 2dz∧dzΒ―. \omega_1 = \frac{1}{(1 + {\vert z\vert}^2)^2} d z \wedge d \overline{z} \,.

More generally, for S 2β†ͺℝ 3S^2 \hookrightarrow \mathbb{R}^3 embedded as the 2-sphere of radius k∈(0,∞)k \in (0,\infty), the corresponding volume form is

Ο‰ k=k(1+|z| 2) 2dz∧dzΒ―. \omega_k = \frac{k}{(1 + {\vert z\vert}^2)^2} d z \wedge d \overline{z} \,.
Proposition

Equipped with this Riemannian metric for k∈(0,∞)k \in (0,\infty) and with the complex manifold structure of def. the 2-sphere is a KÀhler manifold with

  • KΓ€hler potential on U Β±U_\pm given by

    K k(z Β±,zΒ― Β±)=βˆ’kln(1+|z Β± 2|). K_k(z_\pm,\overline{z}_\pm) = - k ln(1 + {\vert z_\pm^2\vert}) \,.
  • KΓ€hler form on U Β±U_\pm given by

    Ο‰ k =βˆ‚βˆ‚Β―K k =k(1+|z| 2) 2dz ∧dzΒ―. \begin{aligned}\omega_k & = \partial \overline{\partial} K_k \\ & = \frac{k}{(1 + {\vert z\vert}^2)^2} d z_{} \wedge d \overline{z} \end{aligned} \,.
Remark

The above KΓ€hler form indeed has the same coordinate expression on both patches U Β±U_\pm: on U +∩U βˆ’β‰ƒ(S 2βˆ’{x 0,x ∞})U_+ \cap U_- \simeq (S^2 - \{x_0, x_\infty\}) we have

k(1+|z +| 2) 2dz +∧dzΒ― + =k(1+|z βˆ’| βˆ’2) 2(βˆ’z βˆ’ βˆ’2dz βˆ’)∧(βˆ’zΒ― βˆ’ βˆ’2dzΒ― βˆ’) =k|z βˆ’| 4(1+|z βˆ’| βˆ’2) 2dz βˆ’βˆ§dzΒ― βˆ’ =k(1+|z βˆ’| 2) 2dz βˆ’βˆ§dzΒ― βˆ’. \begin{aligned} \frac{k}{(1 + {\vert z_+\vert}^2)^2} d z_{+} \wedge d \overline{z}_+ & = \frac{k}{(1 + {\vert z_-\vert}^{-2})^2} (-z_-^{-2} d z_{-}) \wedge (-\overline{z}_-^{-2} d \overline{z}_-) \\ & = \frac{k}{{\vert z_-\vert^4}(1 + {\vert z_-\vert}^{-2})^2} d z_{-} \wedge d \overline{z}_- \\ & = \frac{k}{(1 + {\vert z_-\vert}^{2})^2} d z_{-} \wedge d \overline{z}_- \end{aligned} \,.

In the following we leave the subscript (βˆ’) k(-)_k implicit and write just β€œΟ‰\omega” and β€œKK” etc, the dependency on the parameter kk being understood.

The prequantum geometry

We first discuss the complex line bundles on the 2-sphere

and then consider genuine prequantum line bundles

Prequantum bundle without connection

Remark

Hermitian complex line bundles are classified via their first Chern class (just as circle group-principal bundles) by second ordinary cohomology with integer coefficients, which for the 2-sphere is

H 2(S 2,β„€)≃℀. H^2(S^2, \mathbb{Z}) \simeq \mathbb{Z} \,.

By the clutching construction a line bundle given by two trivializing sections Οƒ Β±\sigma_\pm on U Β±U_{\pm}, respectively, of the trivial line bundle on the coordinate patch β„‚\mathbb{C} has class the winding number of the transition function

S 1β†ͺβ„‚βˆ’{0}β†’s 2s 1 βˆ’1β„‚ Γ—. S^1 \hookrightarrow \mathbb{C} - \{0\} \stackrel{s_2 s_1^{-1}}{\to} \mathbb{C}^\times \,.
Definition

For kβˆˆβ„€β‰ƒH 2(S 2,β„€)k \in \mathbb{Z} \simeq H^2(S^2, \mathbb{Z}) we take the standard Cech cocycle representing this class to be that given on U +∩U βˆ’β‰ƒS 2βˆ’{x 0,x ∞}U_+ \cap U_- \simeq S^2 - \{x_0, x_\infty\} by the transition function

f(z +)≔z + βˆ’k=z βˆ’ k. f(z_+) \coloneqq z_+^{-k} = z_-^{k} \,.
Remark

By the discussion there, a spin structure on S 2S^2 is equivalently a square root Ξ© 1,0∈Line β„‚(S 2)\sqrt{\Omega^{1,0}} \in \mathbf{Line}_{\mathbb{C}}(S^2) of the canonical line bundle Ξ© 1,0\Omega^{1,0}, which here is simply the holomorphic 1-form bundle.

Proposition

The first Chern class of the canonical line bundle on the 2-sphere is

c 1(Ξ© 1,0(S 2))=2βˆˆβ„€β‰ƒH 2(S 2,β„€) c_1\left(\Omega^{1,0}\left(S^2\right)\right) = 2 \in \mathbb{Z} \simeq H^2(S^2, \mathbb{Z})

(up to a unique choice of sign, which determines the isomorphism on the right). Accordingly the 2-sphere has an essentially unique spin structure whose theta characteristic Ξ© 1,0\sqrt{\Omega^{1,0}} is the complex line bundle with unit first Chern class

c 1(Ξ© 1,0(S 2))=1βˆˆβ„€β‰ƒH 2(S 2,β„€), c_1\left(\sqrt{\Omega^{1,0}\left(S^2\right)}\right) = 1 \in \mathbb{Z} \simeq H^2(S^2, \mathbb{Z}) \,,

the basic line bundle on the 2-sphere.

Proof

The canonical section of the holomorphic 1-form bundle on β„‚\mathbb{C} is simply the canonical 1-form dzd z itself. By the coordinate charts of def. we have on β„‚βˆ’{0}\mathbb{C} - \{0\}

dz βˆ’=d(z + βˆ’1)=βˆ’z + βˆ’2dz + d z_- = d (z_+^{-1}) = - z_+^{-2} d z_+

and so the transition function of the canonical bundle in this local trivialization is

βˆ’z βˆ’2:(β„‚βˆ’{0})β†’β„‚ Γ— - z^{-2} \colon (\mathbb{C}-\{0\}) \to \mathbb{C}^\times

as in def. .

This has winding number 22. Therefore the first Chern class of the holomorphic 1-form bundle Ξ© 1,0\Omega^{1,0} is c 1(Ξ© 1,0)=Β±2c_1(\Omega^{1,0}) = \pm 2 (the sign being an arbitrary convention, determined by the identification H 2(S 2,β„€)≃℀H^2(S^2, \mathbb{Z}) \simeq \mathbb{Z}).

And so it follows that there is a unique spin structure, namely given by choosing Ξ© 1,0\sqrt{\Omega^{1,0}} to be the line bundle on S 2S^2 with first Chern class Β±1\pm 1.

Prequantum bundle with connection

We discuss equipping the above complex line bundles on S 2S^2 with connections.

Definition

For k∈H 2(S 2,β„€)≃℀β†ͺℝk \in H^2(S^2, \mathbb{Z}) \simeq \mathbb{Z} \hookrightarrow \mathbb{R}, refine the Cech cocycle of def. to a Cech-Deligne cocycle with curvature differential 2-form the KΓ€hler form of prop.

Ο‰=βˆ‚βˆ‚Β―K \omega = \partial \overline{\partial} K

by taking the connection 1-form on U Β±U_{\pm} to be

ΞΈ ≔exp(βˆ’K)βˆ‚exp(K) =βˆ‚K =kzΒ―1+|z| 2dz. \begin{aligned} \theta & \coloneqq \exp\left(-K\right) {\partial} \exp\left(K\right) \\ & = {\partial} K \\ & = k \frac{\overline{z} }{ 1 + {\vert z\vert}^2} d {z} \end{aligned} \,.
Proposition

The Cech-Deligne cocycle in def. is indeed well defined.

Proof

We need to check that the connection 1-form satisfies on U +∩U βˆ’β‰ƒ(S 2βˆ’{x 0,x ∞})U_+ \cap U_- \simeq (S^2 - \{x_0, x_\infty\}) the transition law

ΞΈ ++z βˆ’kdz k=ΞΈ βˆ’. \theta_+ \;+\; z^{-k} d z^k \;=\; \theta_- \,.

To see this first notice that on U +∩U βˆ’β‰ƒ(β„‚βˆ’{0})U_+ \cap U_- \simeq (\mathbb{C} - \{0\})

ΞΈ + =kzΒ― βˆ’ βˆ’11+|z βˆ’| βˆ’2(βˆ’)z βˆ’ βˆ’2dz βˆ’ =βˆ’kz βˆ’ βˆ’1dz βˆ’1+|z βˆ’| 2 =βˆ’z βˆ’ βˆ’kdz βˆ’ k1+|z βˆ’| 2. \begin{aligned} \theta_+ & = k\frac{\overline{z}_-^{-1}}{1 + {\vert z_-\vert^{-2}}} (-){z}_-^{-2} d {z}_- \\ & = -k \frac{{z}_-^{-1} d{z}_-}{1 + {\vert z_-\vert^2}} \\ & = -\frac{{z}_-^{-k} d {z}_-^k}{1 + {\vert z_-\vert}^2} \end{aligned} \,.

With this it follows that on U +∩U βˆ’U_+ \cap U_- indeed we have

z βˆ’ βˆ’kdz βˆ’ k+ΞΈ + =k(z βˆ’ βˆ’1βˆ’z βˆ’ βˆ’11+|z βˆ’| 2)dz βˆ’ =kzΒ― βˆ’1+|z βˆ’| 2dz βˆ’ =ΞΈ βˆ’. \begin{aligned} z_-^{-k} d z_-^k + \theta_+ & = k \left( z_-^{-1} -\frac{z_-^{-1}}{1 + {\vert z_-\vert}^2} \right) d z_- \\ & = k \frac{\overline{z}_-}{1 + {\vert z_-\vert}^2} d z_- \\ & = \theta_- \end{aligned} \,.
Remark

Compare this invariance of the form of the connection to the invariance of the form of its curvature in remark above.

Remark

For ϡ∈(0,1)\epsilon \in (0,1) let D (ϡ,∞)D_{(\epsilon, \infty)} be the disk of radius ϡ\epsilon around x ∞∈S 2x_\infty \in S^2. Then by the Stokes theorem with def. we have the integral equality

∫S 2βˆ’D (Ο΅,∞)Ο‰=βˆ«βˆ‚D (Ο΅,∞)ΞΈ=k1+Ο΅ 2. \underset{S^2 - D_{(\epsilon,\infty)}}{\int} \omega \;=\; \underset{\partial D_{(\epsilon, \infty)}}{\int} \theta \;=\; \frac{k}{1 + \epsilon^2} \,.

In the limit that Ο΅β†’0\epsilon \to 0 this shows that for integral kk as above, Ο‰\omega has integral periods

∫ S 2Ο‰=limΟ΅β†’0∫S 2βˆ’D (Ο΅,∞)Ο‰=limΟ΅β†’0k1+Ο΅ 2=kβˆˆβ„€. \begin{aligned} \int_{S^2} \omega = \underset{\epsilon \to 0}{\lim} \underset{S^2 - D_{(\epsilon,\infty)}}{\int} \omega = \underset{\epsilon \to 0}{\lim} \frac{k}{1 + \epsilon^2} = k \in \mathbb{Z} \end{aligned} \,.

This is essentially the relation that historically was first recognized by Paul Dirac in the context of what today is known as the Dirac charge quantization argument. In more modern language this expresses the defining homotopy pullback property of ordinary differential cohomology.

The space of quantum states

KΓ€hler polarization

The KΓ€hler manifold structure on S 2S^2 of prop. which lifts its symplectic structure given by the volume form canonically induces a polarization of the symplectic structure: the corresponding KΓ€hler polarization.

Definition

Given a prequantum line bundle (L,βˆ‡)(L,\nabla) for (S 2,Ο‰)(S^2, \omega), a section Ξ¨βˆˆΞ“(L)\Psi \in \Gamma(L) is polarized if for all vβˆˆΞ“(T 0,1S 2)v \in \Gamma(T^{0,1}S^2) the covariant derivative of ψ\psi along vv vanishes

βˆ‡ vΞ¨=0. \nabla_v \Psi = 0 \,.

By prop. the connection βˆ‡\nabla is what is called β€œwell adapted” in that in the complex coordinate patch U ±≃ℂU_\pm \simeq \mathbb{C} the covariant derivative along anti-holomorphic vector fields is given simply by the ordinary anti-holomorphic derivative:

βˆ‡ βˆ‚/βˆ‚zΒ―Ξ¨=βˆ‚βˆ‚zΒ―Ξ¨. \nabla_{\partial/\partial \overline{z}} \Psi = \frac{\partial}{\partial \overline{z}} \Psi \,.

This means that:

Proposition

The KΓ€hler-polarized sections are precisely the holomorphic sections.

Wavefunctions

Definition

Given a prequantum line bundle (L,Ο‰)(L,\omega) prequantizing (S 2,Ο‰)(S^2, \omega), the space of quantum states is the vector space of polarized sections of LβŠ—Ξ© 1,0L \otimes \sqrt{\Omega^{1,0}}, the wave functions:

ℋ≔{Ξ¨βˆˆΞ“(LβŠ—Ξ© 1,0)|βˆ‚Β―Ξ¨=0} \mathcal{H} \coloneqq \left\{ \Psi \in \Gamma\left(L\otimes \sqrt{\Omega^{1,0}}\right) | \overline{\partial} \Psi = 0 \right\}
Remark

Here the tensor product with Ξ© 1,0\sqrt{\Omega^{1,0}} is the metaplectic correction, remark , which by prop. is the essentially unique line bundle of unit first Chern class.

Since by prop. this simply shifts the class of the prequantum bundle by one, and since in much of the traditional literature it is customary to ignore the metaplectic correction (which in the present case is indeed harmless), we will in the following regard LβŠ—Ξ© 1,0L \otimes \sqrt{\Omega^{1,0}} as the prequantum line bundle, by which we mean that we keep referring by β€œkk” to the first Chern class of that line bundle on S 2S^2 of which we consider sections etc. Strictly speaking the prequantum line bundle hence has class kβˆ’1k-1 from now on, but this shift collides with all established literature and is not worth bothering with.

It is however maybe worth noticing that the shift of the class by +1 induced by the metaplectic correction can be regarded as lifting the possibly non-regular coadjoint orbits with kβ‰₯0k \geq 0 to the regular ones, with kβ‰₯1k \geq 1.

Proposition

The dimension of the space of quantum states on the 2-sphere is

dim(β„‹)={k+1 ifkβ‰₯0; 0 otherwise, dim(\mathcal{H}) = \left\{ \array{ k+1 & if \, k \geq 0; \\ 0 & otherwise } \right. \,,

where k≔c 1(LβŠ—Ξ© 1,0)k \coloneqq c_1(L \otimes \sqrt{\Omega^{1,0}}) is the first Chern class of the prequantum line bundle with metaplectic correction.

Proof

By prop. the polarized sections are precisely the holomorphic sections. By the construction in def. a holomorphic section of LβŠ—Ξ© 1,0L \otimes \sqrt{\Omega^{1,0}} is equivalently a pair of holomorphic functions Ξ¨ Β±\Psi_\pm on β„‚\mathbb{C} such that on β„‚βˆ’{0}\mathbb{C} - \{0\} they are related by

Ξ¨ βˆ’(z βˆ’)=Ξ¨ +(z βˆ’ βˆ’1)z βˆ’ k. \Psi_-(z_-) = \Psi_+(z_-^{-1}) z_-^{k} \,.

A linear basis for the space of unconstrained holomorphbic functions on β„€\mathbb{Z} is of course given by the monomials {z n}\{z^n\}. Therefore a basis for the admissible pairs as above is given by pairs Ξ¨ Β±(z βˆ’)=z βˆ’ n Β±\Psi_\pm(z_-) = z_-^{n_\pm} such that

z βˆ’ n βˆ’=z βˆ’ βˆ’n +z βˆ’ k z_-^{n_-} = z_-^{-n_+} z_-^{k}

hence such that

n ++n βˆ’=k. n_+ + n_- = k \,.

If kβ‰₯0k \geq 0 then this equation has (k+1)(k+1) solutions. If k<0k \lt 0 it has no solution.

Example

For k=2k = 2 (by prop. the class of the canonical line bundle) the space of quantum states is 3-dimensional and canonically identified with the vector space underlying the special unitary Lie algebra 𝔰𝔲(2)\mathfrak{su}(2).

Example

For k=1k = 1 (by prop. the class of the unique theta characteristic) it is 2-dimensional, being the space of states of a bare spinor in 3-dimensional Euclidean space. This is the standard model for a qbit. Below in example we see how the canonical quantum observables act on this space of states as the Pauli matrices.

The quantum observables

The Hamiltonian SU(2)SU(2)-action

We discuss the Hamiltonian action of the special unitary group/spin group SU(2)≃Spin(3)SU(2) \simeq Spin(3) on (S 2,Ο‰)(S^2, \omega).

First we state the abstract situation in terms of the orbit method, then we unwind what this implies in detail.

Proposition

The Lie algebra 𝔰𝔲(2)\mathfrak{su}(2) as a matrix Lie algebra is the sub Lie algebra on those matrices of the form

(iz x+iy βˆ’x+iy βˆ’iz)withx,y,zβˆˆβ„. \left( \array{ i z & x + i y \\ - x + i y & - i z } \right) \;\;\; with \;\; x,y,z \in \mathbb{R} \,.
Definition

The standard basis elements of 𝔰𝔲(2)\mathfrak{su}(2) given by the above presentation are

Οƒ 1≔12(0 1 βˆ’1 0) \sigma_1 \coloneqq \frac{1}{\sqrt{2}} \left( \array{ 0 & 1 \\ -1 & 0 } \right)
Οƒ 2≔12(0 i i 0) \sigma_2 \coloneqq \frac{1}{\sqrt{2}} \left( \array{ 0 & i \\ i & 0 } \right)
Οƒ 3≔12(i 0 0 βˆ’i). \sigma_3 \coloneqq \frac{1}{\sqrt{2}} \left( \array{ i & 0 \\ 0 & -i } \right) \,.

These are called the Pauli matrices.

Proposition

The Pauli matrices satisfy the commutator relations

[Οƒ 1,Οƒ 2]=Οƒ 3 [\sigma_1, \sigma_2] = \sigma_3
[Οƒ 2,Οƒ 3]=Οƒ 1 [\sigma_2, \sigma_3] = \sigma_1
[Οƒ 3,Οƒ 1]=Οƒ 2. [\sigma_3, \sigma_1] = \sigma_2 \,.
Proposition

The maximal torus of SU(2)SU(2) is the circle group U(1)U(1). In the above matrix group presentation this is naturally identified with the subgroup of matrices of the form

(t 0 0 t βˆ’1)witht∈U(1)β†ͺβ„‚. \left( \array{ t & 0 \\ 0 & t^{-1} } \right) \;\; with t \in U(1) \hookrightarrow \mathbb{C} \,.
Proposition

The coadjoint orbits of the coadjoint action of SU(2)SU(2) on 𝔰𝔲(2)\mathfrak{su}(2) are equivalent to the subset of the above matrices with x 2+y 2+z 2=k 2x^2 + y^2 + z^2 = k^2 for some kβ‰₯0k \geq 0.

These are regular coadjoint orbits for k>0k \gt 0.

By the discussion at orbit method – The coadjoint orbit and the flag manifold it follows that

Proposition

For k>0k \gt 0 the corresponding coadjoint orbit and hence the symplectic 2-sphere is equivalent to the quotient/coset space

SU(2)/U(1)→≃π’ͺ λ≃S 2, SU(2)/U(1) \stackrel{\simeq}{\to} \mathcal{O}_\lambda \simeq S^2 \,,

where the equivalence is induced by the map

gU(1)↦Ad g *⟨λ,βˆ’βŸ©. g U(1) \mapsto Ad_g^\ast\langle \lambda, - \rangle \,.

The quantum operators

Recall the canonical coordinate functions x 1,x 2,x 2:S 2→ℝx_1, x_2, x_2 \colon S^2 \to \mathbb{R} from prop. .

Proposition

For (L,βˆ‡)(L,\nabla) a prequantization of (S,Ο‰)(S,\omega) equipped with the above KΓ€hler polarization, the prequantum operators associated to the canonical coordinate functions

x 1,x 2,x 2:S 2→ℝ x_1, x_2, x_2 \colon S^2 \to \mathbb{R}

from prop. are quantum operators (respect the polarization) and in the canonical trivializaton of LL on U βˆ’U_- their action on sections is that of the following vector fields:

Q(x 1+ix 2)=z βˆ’ 2βˆ‚βˆ‚z βˆ’βˆ’kz βˆ’ Q(x_1 + i x_2) = z_-^2 \frac{\partial}{\partial z_-} - k z_-
Q(x 1βˆ’ix 2)=βˆ’βˆ‚βˆ‚z βˆ’ Q(x_1 - i x_2) = - \frac{\partial}{\partial z_-}
Q(x 3)=z βˆ’βˆ‚βˆ‚z βˆ’βˆ’k/2. Q(x_3) = z_- \frac{\partial}{\partial z_-} - k/2 \,.
Example

For k=1k = 1 these act as the Pauli matrices on the space of quantum states ℋ≃ℂ 2\mathcal{H} \simeq \mathbb{C}^2.

By the proof of prop. the space of quantum states is spanned by those wavefunctions which on U βˆ’U_- are of the form

|βˆ’βŸ©β‰”z βˆ’ 0 \vert -\rangle \coloneqq z_-^0
|+βŸ©β‰”z βˆ’ 1. \vert +\rangle \coloneqq z_-^1 \,.

These are eigenvectors for Q(x 3)Q(x_3):

Q(x 3)|βˆ’βŸ©=βˆ’12|βˆ’βŸ© Q(x_3) \vert - \rangle = -\frac{1}{2} \vert - \rangle
Q(x 3)|+⟩=12|+⟩. Q(x_3) \vert + \rangle = \frac{1}{2} \vert + \rangle \,.

It is clear that Q(x 1βˆ’ix 2)Q(x_1 - i x_2) acts as a lowering operator on these states. Notice that also Q(x 1+ix 2)Q(x_1 + i x_2) indeed acts as a raising operator in that for the special value of k=1k = 1 we have indeed

Q(x 1+ix 2)|+⟩ =z βˆ’ 2βˆ‚z βˆ’βˆ‚z βˆ’+z βˆ’z βˆ’ =0. \begin{aligned} Q(x_1 + i x_2) \vert + \rangle & = z_-^2 \frac{\partial z_-}{\partial z_-} + z_- z_- \\ & = 0 \end{aligned} \,.

References

For general references see at orbit method and at geometric quantization.

Reviews with an emphasis on the quantization of the 2-sphere include

section 3.1 of

section 7 of

  • J. Maes, An introduction to the orbit method, Master thesis (2011) (pdf, pdf slides, web)

Discussion in terms of Dirac induction is in

Last revised on February 27, 2023 at 21:03:52. See the history of this page for a list of all contributions to it.