Use the round unit sphere with its complex orientation and unique spin structure. Its chiral spinor bundles are and , the latter a smooth line bundle of degree . The Dirac operator is
Here Clifford multiplication has , and acts self-adjointly on the L2 spinors with first-order Sobolev domain. The geometric spin connection is invariant under the lifted action, hence is equivariant.
We justify the spectral properties needed for its phase. The Peter-Weyl theorem and Frobenius reciprocity for compact groups give the decomposition of sections of an isotropy-weight- line bundle: occurs once exactly when and , because its torus weights are . The spinor isotropy weights are , so each chirality contains , each once. The horizontal connection Laplacian is the total Casimir minus the vertical generator square, on these weight-one bundles. Expanding the Dirac square in a normal orthonormal frame gives the diagonal connection-Laplacian terms and the off-diagonal curvature contraction. The Clifford relations contract spin curvature to , the Lichnerowicz formula for a twisted Dirac operator with no twisting bundle. Since the scalar curvature here is two,
Thus there is no kernel, the eigenvalues of are with finite multiplicities, and the resolvent is compact by spectral truncation. These round-sphere spectral facts agree with the explicit calculation in Abrikosov's paper.
Define the chiral phase of the round-sphere Dirac operator
It is unitary because both chiral kernels vanish; equivariance follows from that of . The full phase is .
For a smooth scalar , the Leibniz rule gives , a bounded bundle endomorphism. The spectral integral for the sign operator gives, in the strong topology,
Write . Since and , the commutator integral is norm convergent: its integrands are compact and bounded by . A norm limit of their integrals is compact. Thus is compact, and its off-diagonal blocks say is compact. Uniform approximation of continuous by smooth functions extends this to all , using the bound for the change of commutator.
The chiral phase is an equivariant unitary which intertwines the two multiplication representations modulo compacts. This specifies the grading implicit in the subsequent index question; treating the full self-adjoint phase as an endomorphism would yield a different, zero, compressed index.