The Hopf Fibration and the Biquaternion Gauge Bundle

Introduction

The companion articles The Gauge Principle in Biquaternionic Form and The Covariant Derivative and Gauge Connection in Biquaternionic Form obtain the gauge connection by localising a central phase, and Non-Abelian Gauge Fields in Biquaternionic Form extends the construction to the compact factor $\mathrm{SU}(2)=\mathrm{span}_{\mathbb R}\{e_1,e_2,e_3\}\subset\mathbb M_-$. All three treat the connection as a field on a fixed background. This article supplies the geometric object that underlies them: the principal bundle. Its claim is sharp and, for this framework, not merely formal. The unit sphere of the biquaternion algebra does not carry the Hopf fibration; it is the total space of the Hopf fibration, and the Hopf fibration is the simplest nontrivial principal bundle. For the compact factor, the gauge bundle is therefore one of the algebra's own level sets, not an object imported from topology.

The Hopf fibration is the map

$$ \pi: S^3 \longrightarrow S^2, \qquad \pi(U) = U\,e_3\,\bar U , $$

which sends a unit quaternion to a unit pure-imaginary quaternion. Its fibres are circles, so $S^3$ is a bundle over $S^2$ with fibre $S^1$; because the fibre is the group $U(1)$ acting freely, it is a principal $U(1)$-bundle, and it is the unique one with first Chern number one. The framework reads this map in three ways, and the readings are the same map:

Algebraically. $S^3$ is the group of unit real quaternions, which is the compact factor $SU(2)\subset\mathbb H_{\mathbb B}$ of the algebra. The base $S^2$ is the sphere of unit pure-imaginary quaternions, which is the manifold of the idempotents $\tilde\Pi=\tfrac12(e_0+i\hat\mu)$ of the informational sector $\mathbb M_+$. The fibre is the $U(1)$ generated by $e_3$, the stabiliser of $\hat e_3$.
Topologically. $\pi_3(SU(2))=\mathbb Z$ is the group of the total space, and the bundle is the generator of the degree-one class that classifies the instanton sector of the companion articles Instantons and Solitons in Biquaternionic Form and Non-Abelian Gauge Fields in Biquaternionic Form.
As a gauge bundle. The associated $U(1)$ bundle is the Dirac monopole of The Magnetic Monopole in Biquaternionic Form; its Chern number is the magnetic charge, and the local connection of the bundle is the abelian gauge potential of The Gauge Principle in Biquaternionic Form.

The article proceeds by deriving each of these readings and then stating exactly what the algebra supplies and what it does not. The distinction is kept visible throughout: the total space, the base, the fibre, the classifying integer and the local connection are all objects of the framework; the quantisation of the abelian charge in units of $\hbar$ and the assignment of a dynamics to the connection are imported, because the algebra is a complexified classical structure.

Conventions. We use those of Conventions in the Biquaternion Universe. The algebra is $\mathbb B=\mathbb C\otimes_{\mathbb R}\mathbb H$, the basis is $e_0=1,e_1,e_2,e_3$ with $e_k^2=-e_0$ and $e_1e_2=e_3$, and $i$ is the central scalar imaginary. The fixed-point subspaces are $\mathbb M_-$ (anti-Hermitian) and $\mathbb M_+$ (Hermitian). The real-quaternion subspace is $\mathbb H_{\mathbb B}=\mathrm{span}_{\mathbb R}\{e_0,e_1,e_2,e_3\}$ and the scalar subspace is $\mathbb C_{\mathbb B}=\mathrm{span}_{\mathbb R}\{e_0,ie_0\}$, the centre. We write $\tilde Q^{\natural}$ for the quaternion conjugate, so that for a unit real quaternion $U$ one has $U^{-1}=\bar U=U^\dagger$. The abelian potential and field strength are $\tilde A=i\phi/c\,e_0+\mathbf A$ and $\tilde F=i\sqrt{\epsilon}\,\mathbf E-\sqrt{\mu}\,\mathbf H$, and we write the section of the Hopf map as a unit real quaternion rather than as a column spinor, which is equivalent by Biquaternion Other Algebraic Element Representations.

Companion article The Gauge Principle in Biquaternionic Form, for the gauge connection and the covariant derivative.
Companion article The Covariant Derivative and Gauge Connection in Biquaternionic Form, for the non-abelian connection.
Companion article The Magnetic Monopole in Biquaternionic Form, for the Dirac monopole and its Chern number.
Companion article Instantons and Solitons in Biquaternionic Form, for the instanton boundary map.
Companion article The Gauge Group Ceiling: Why the Biquaternion Algebra Reaches SU(2) but Not SU(3), for the structure group and its ceiling.

The Two Spheres Inside the Algebra

Two level sets of the algebra carry the fibration, and they are worth identifying before the map between them is defined.

The total space. The unit-norm real quaternions are

$$ S^3 \;=\; \bigl\{ U\in\mathbb H_{\mathbb B} : U\bar U=e_0 \bigr\} \;=\; SU(2) , $$

a compact, connected, simply connected three-manifold which is simultaneously a Lie group; by Biquaternion Topology it is the group of units of the real-quaternion subspace, the double cover of $SO(3)$, and the group of rotors of the corpus's Lorentz-group article. The unit-real-quaternion condition is not the Euclidean sphere $\|\tilde Q\|_E=1$ of the full algebra, which meets the zero divisors and is not a group; it is the biquaternion-norm level set $N(\tilde Q)=1$ restricted to $\mathbb H_{\mathbb B}$, and it is a group precisely because $N$ is multiplicative.

The base. The pure-imaginary unit quaternions are

$$ S^2 \;=\; \bigl\{ \hat\mu\in\mathbb H_{\mathbb B} : \hat\mu^2=-e_0 \bigr\} \;=\; \bigl\{ U e_3 U^{-1} : U\in SU(2) \bigr\} , \qquad |\hat\mu|=1 . $$

This sphere is the Bloch sphere of the informational sector. Indeed, every such $\hat\mu$ defines an idempotent

$$ \tilde\Pi(\hat\mu) \;=\; \tfrac12\bigl(e_0 + i\hat\mu\bigr), \qquad \tilde\Pi(\hat\mu)^2=\tilde\Pi(\hat\mu), \qquad \tilde\Pi(\hat\mu)\in\mathbb M_+ , $$

as the expansion

$$ \tfrac14\bigl(e_0+i\hat\mu\bigr)^2=\tfrac14\bigl(e_0+2i\hat\mu+(i\hat\mu)^2\bigr) =\tfrac14\bigl(e_0+2i\hat\mu-\hat\mu^2\bigr)=\tfrac12\bigl(e_0+i\hat\mu\bigr) $$

shows, using $\hat\mu^2=-e_0$ and the centrality of $i$. The map $\hat\mu\mapsto\tilde\Pi(\hat\mu)$ is a bijection between the unit pure-imaginary sphere and the nontrivial idempotents of $\mathbb M_+$, so the base of the fibration is the manifold of the framework's informational projectors. This is the algebraic identity that places the Hopf fibration inside the framework rather than alongside it.

The action and the fibre. Conjugation by a unit real quaternion,

$$ \hat\mu \;\longmapsto\; U\hat\mu U^{-1} \;=\; U\hat\mu\bar U , $$

rotates the pure-imaginary sphere; it is the adjoint action of $SU(2)$ on its Lie algebra. The stabiliser of a single direction $\hat\mu$ is the circle of unit quaternions whose axis is $\hat\mu$, a maximal torus of $SU(2)$, and for $\hat\mu=e_3$ that circle is

$$ \mathrm{Stab}(e_3) \;=\; \bigl\{ \cos\alpha\,e_0 + \sin\alpha\,e_3 : \alpha\in\mathbb R/2\pi\mathbb Z \bigr\} \;=\; U(1)_{e_3} \;\subset\; SU(2)\subset\mathbb H_{\mathbb B} . $$

This circle is generated by $e_3$ and is not the centre: $e_3$ commutes with $e_3$ but not with $e_1$ or $e_2$, whereas the unit circle of the centre is the scalar circle $U(1)_{\mathbb C_{\mathbb B}}=\{e^{i\alpha}e_0\}$. The two are isomorphic circles inside $U(2)$ and they meet only in $\{\pm e_0\}$; as matrices, the stabiliser is the diagonal torus $\{\mathrm{diag}(e^{i\alpha},e^{-i\alpha})\}$ while the centre is the scalar circle $\{\mathrm{diag}(e^{i\alpha},e^{i\alpha})\}$. Both are needed below, and they play different roles: the stabiliser is the fibre direction of the Hopf bundle, the central $i$ is the coefficient of the abelian connection.

The same conjugation leaves the idempotent fixed, $U\tilde\Pi(\hat\mu)U^{-1}=\tilde\Pi(U\hat\mu U^{-1})$, because $i$ is central and $Ue_0U^{-1}=e_0$. The stabiliser is therefore simultaneously the fibre of the Hopf map and a maximal torus of the compact factor $SU(2)$, the circle of rotations about the axis $e_3$.

The Hopf Map and Its Fibres

Define

$$ \pi(U) \;=\; U e_3 \bar U , \qquad U\in S^3 . $$

Three elementary properties were verified on random unit quaternions, and together they are the fibration.

The image lies in the base. For $U\bar U=e_0$,

$$ \bigl(Ue_3\bar U\bigr)^2=Ue_3\bar U\,Ue_3\bar U=Ue_3e_3\bar U=-Ue_0\bar U=-e_0 , $$

so $Ue_3\bar U$ is a unit pure-imaginary quaternion: the map lands in $S^2$. The computation used only $\bar U U=e_0$, $e_3^2=-e_0$ and associativity. On $2000$ random unit quaternions the scalar part was at most $5.6\times10^{-17}$ in absolute value and the norm departed from $1$ by at most $4.4\times10^{-16}$.

The fibres are circles. The map is invariant under right multiplication by the stabiliser,

$$ \pi\bigl(U g\bigr) = U g e_3 \bar g \bar U = U e_3 \bar U = \pi(U), \qquad g\in \mathrm{Stab}(e_3) , $$

because $g$ commutes with $e_3$ and $\bar g=g^{-1}$. The preimage of a point is therefore a coset, hence a circle, and the whole preimage of a point is exhausted by it: for any two solutions, $U_2 e_3\bar U_2=U_1e_3\bar U_1$ implies $U_1^{-1}U_2\in\mathrm{Stab}(e_3)$. On $500$ random unit quaternions and random phases the invariance held to $4.4\times10^{-16}$. The map $\pi$ is thus a submersion from a three-manifold onto a two-manifold with one-dimensional fibres, and it is a fibre bundle.

Example. The identity maps to the north pole, $\pi(e_0)=e_3$, and its fibre is exactly the stabiliser, $\pi(\cos\alpha\,e_0+\sin\alpha\,e_3)=e_3$, verified to $2.2\times10^{-16}$. The fibre over any rotated pole is a rotated circle.

This is the Hopf fibration. The characteristic groups of the three spaces are

$$ \pi_1(S^1)=\mathbb Z, \qquad \pi_3(S^3)=\mathbb Z, \qquad \pi_2(S^2)=\mathbb Z , $$

and the first two are the ones that matter: the fibre's winding gives the magnetic charge, and the total space's winding gives the instanton number. The third, $\pi_3(S^2)$, classifies the fibration itself and is discussed below.

The Principal Bundle and Its Local Data

A principal $G$-bundle over $M$ is a manifold $P$ with a free right action of $G$ and an identification $P/G\cong M$. The Hopf fibration is the principal $U(1)$-bundle

$$ U(1)\;\hookrightarrow\; S^3 \;\xrightarrow{\;\pi\;}\; S^2 , $$

with the right action $U\mapsto Ug$. It is instructive to write its local data explicitly, because the local data are the framework's abelian gauge potential.

Cover the base $S^2$ by the two patches $N=\{(\theta,\phi):\theta<\pi\}$ and $S=\{(\theta,\phi):\theta>0\}$, with the usual spherical angles. Local sections, written as unit quaternions, are built from the standard half-angle spinor sections $(z_0,z_1)\mapsto \mathrm{Re}(z_0)e_0+\mathrm{Im}(z_1)e_1+\mathrm{Re}(z_1)e_2+\mathrm{Im}(z_0)e_3$:

$$ U_N(\theta,\phi)=\cos\tfrac{\theta}{2}\,e_0+\sin\tfrac{\theta}{2}\bigl(\sin\phi\,e_1+\cos\phi\,e_2\bigr), \qquad U_S(\theta,\phi)=\cos\tfrac{\theta}{2}\bigl(\cos\phi\,e_0-\sin\phi\,e_3\bigr)+\sin\tfrac{\theta}{2}\,e_2 , $$

where $\exp(\alpha e_a)=\cos\alpha\,e_0+\sin\alpha\,e_a$. Both are unit real quaternions, and both project to the same point of the base, $\pi(U_N)=\pi(U_S)$, verified to $4.4\times10^{-16}$ over $4000$ random angle pairs; the $\phi$-dependent part of each carries the factor $\sin\tfrac\theta2$ or $\cos\tfrac\theta2$ that vanishes at the pole where $\phi$ is undefined, which is exactly what makes each section regular on its own patch. The two are related on the overlap by a single-valued transition function,

$$ U_N(\theta,\phi) \;=\; U_S(\theta,\phi)\,g_{SN}(\phi), \qquad g_{SN}(\phi)=e^{\phi e_3} , $$

a $U(1)$-valued function with winding number one around the equator, and $U_S^{-1}U_N=e^{\phi e_3}$ was verified to $3.3\times10^{-16}$ on the same sample. This winding is the bundle's classifying integer; a section with a singly-valued fibre is impossible globally, which is the algebraic content of the fact that the monopole string cannot be removed.

The local connection. The canonical invariant connection on the Hopf bundle is read from the Maurer–Cartan form $U^{-1}dU$ of $S^3$. Projected to the fibre direction $e_3$ it gives the local one-forms

$$ a_N = \tfrac{1}{2}\bigl(1-\cos\theta\bigr)\,d\phi , \qquad a_S = -\tfrac{1}{2}\bigl(1+\cos\theta\bigr)\,d\phi , $$

which differ on the overlap by an exact form, $a_N-a_S=d\phi$, the Maurer–Cartan form of the transition function, since $g_{SN}^{-1}dg_{SN}=e_3\,d\phi$. The $e_3$-component of $U_N^{-1}dU_N$ was evaluated on the sections and equals $\tfrac12(1-\cos\theta)d\phi$ to $4\times10^{-9}$, which is the roundoff floor of a central difference of step $10^{-7}$, and the $\theta$-component vanishes to $8\times10^{-10}$. The curvature is patch-independent,

$$ F = da_N = \tfrac{1}{2}\sin\theta\,d\theta\wedge d\phi = da_S , $$

and its integral over the base is

$$ \int_{S^2} F \;=\; \frac{1}{2}\int_0^{2\pi}\!\!d\phi\int_0^{\pi}\!\sin\theta\,d\theta \;=\;\frac{1}{2}\,(2\pi)(2)=2\pi , \qquad c_1=\frac{1}{2\pi}\int_{S^2}F=1 . $$

The first Chern number of the Hopf bundle is one. This is the magnetic charge of a unit Dirac monopole, and it identifies the Hopf bundle with the minimal monopole configuration of The Magnetic Monopole in Biquaternionic Form: the bare monopole's field is the curvature of the Hopf connection on the sphere at infinity. The charge is quantised because the fibre is a group of winding numbers, not because of any dynamical input; the factor of $\hbar$ that turns it into a physical charge is imported from quantum mechanics and appears in the Dirac condition, not in the bundle.

The embedding in the algebra. The local form $a$ is a real one-form; to place it in the algebra one multiplies by the central $i$,

$$ \mathcal a = i\,a \in \Omega^1(M)\otimes\mathbb C_{\mathbb B}, \qquad \mathcal f = d\mathcal a = i F , $$

which is exactly the abelian connection of The Gauge Principle in Biquaternionic Form, whose coefficients are central and whose curvature is central and gauge invariant. The Hopf connection is therefore not merely analogous to the framework's abelian connection; it is that connection in the sector where the base is the idempotent sphere. The real one-form $a$ has a single real coefficient and enters the algebra through the central generator $ie_0$, while the fibre direction it is dual to is the stabiliser direction $e_3$; the gauge transformation $a\mapsto a+d\chi$ is the change of local trivialisation of the bundle.

The Non-Abelian Reading and the Instanton Boundary

The same total space, regarded as $SU(2)$ rather than as a $U(1)$-bundle over $S^2$, is the compact factor of the non-abelian gauge theory, and its third homotopy group classifies the instanton sector. The two readings are different bundle structures on the same manifold: the abelian structure uses the fibration $S^3\to S^2$, the non-abelian one uses $S^3$ as the structure group itself.

The connection between them is the boundary behaviour of a finite-action gauge field. A finite-action connection on $\mathbb R^4$ must approach a pure gauge at infinity, $\mathcal A_\mu\to U^{-1}\partial_\mu U$ with $U\in SU(2)$, and the one-point compactification of $\mathbb R^4$ is $S^4$. The field is then a connection on a bundle over $S^4$, and its restriction to a small three-sphere around the point at infinity is a map

$$ g_\infty : S^3_\infty \longrightarrow SU(2), \qquad [g_\infty]\in\pi_3(SU(2))\cong\mathbb Z , $$

whose integer is the instanton number of Instantons and Solitons in Biquaternionic Form. The parametrised identity map of $SU(2)$ is the generator, and because $SU(2)\cong S^3$ it is precisely the Hopf total space with its group structure. The minimal instanton, whose curvature saturates the self-duality condition, has $[g_\infty]$ equal to the generator and is the BPST solution of that article; its boundary map has winding one, and the winding is computed by the same integral $\int\mathrm{Tr}(F\wedge F)$ that computes the charge.

There is in this way a single object behind the three articles: the manifold $S^3$, read as a circle bundle over $S^2$ for the abelian monopole, as a structure group for the non-abelian connection, and as a boundary condition for the instanton. The framework's contribution is that all three readings are level sets of the same algebra: the unit quaternions, the idempotent sphere, and the biquaternion-norm sphere.

The Hopf Invariant and the Two Winding Numbers

The fibration carries more than the Chern number, because the total space is itself a sphere and maps of it have their own degree. The Hopf invariant of a map $f:S^3\to S^2$ is the integer

$$ H(f)=\frac{1}{16\pi^2}\int_{S^3}\alpha\wedge d\alpha , \qquad d\alpha=f^*\omega , $$

where $\omega$ is the area form of the base normalised so that $\int_{S^2}\omega=4\pi$ and $\alpha$ is any one-form with $d\alpha=f^*\omega$; the integral is independent of the choice of $\alpha$ because any two choices differ by a closed form. For the Hopf map $\pi(U)=Ue_3\bar U$ one has $H(\pi)=1$, so the fibration is the generator $\eta$ of $\pi_3(S^2)=\mathbb Z$, and a general map $f:S^3\to S^2$ is classified by the integer $[f]=H(f)\,\eta$. Precomposition pulls back the defining form, $\alpha_{f\circ g}=g^*\alpha_f$, so a map $g:S^3\to S^3$ of degree $d$ gives $H(f\circ g)=d\,H(f)$: the invariant is linear in the degree of the source, and the $d$-fold cover of the Hopf map has Hopf invariant $d$, representing the class $d\eta$.

Two geometric readings of $H$ connect it to the rest of the article. First, $H$ is the linking number of two generic fibres: the preimages of two distinct base points are two circles in $S^3$, and their linking number is $H$. The fibres are the algebra's $U(1)$ cosets, so the linking number of two such cosets is the same integer that classifies the bundle. Second, $H$ is the instanton number of the associated boundary map: with the instanton boundary data of the next section, the winding of $g_\infty:S^3\to SU(2)$ and the Hopf invariant of the composite $S^3\to SU(2)\to S^2$ are locked together, and both equal the topological charge. In the higher Hopf maps $H>1$, the configuration is a multiply wound fibration; the series of Hopf maps therefore supplies a family of configurations simultaneously in $\pi_2(S^2)$ and $\pi_3(S^2)$.

It is worth keeping the three homotopy groups distinct, since the framework uses all three. The group $\pi_2(S^2)=\mathbb Z$ classifies the monopole charge, the degree of the map $\hat x\mapsto\hat\phi$ from the sphere at infinity; the group $\pi_3(S^3)=\pi_3(SU(2))=\mathbb Z$ classifies the instanton charge, the winding of the gauge transformation at the boundary of $\mathbb R^4$; and the group $\pi_3(S^2)=\mathbb Z$ classifies the Hopf invariant of the fibration itself, which is the linking of its fibres. In the Hopf bundle all three are available at once, and for the minimal configuration all three equal one: one unit of monopole charge for the abelian bundle, one unit of instanton winding for the non-abelian boundary map, and one unit of Hopf invariant for the linking of the fibres. That triple coincidence is the article's structural statement in its sharpest form.

The Associated Vector Bundle and the Defining Module

A principal bundle acquires its physical content from an associated vector bundle. Choose a representation $\rho$ of the structure group on a vector space $V$; the associated bundle is

$$ P\times_\rho V \;=\; (P\times V)\big/\{(Ug,v)\sim(U,\rho(g)v)\} . $$

For the compact factor $SU(2)\subset\mathbb H_{\mathbb B}$ the fundamental representation is the defining two-dimensional module $S\cong\mathbb C^2$ of the algebra, and by Biquaternion Other Algebraic Element Representations the algebra acts on $S$ as $\mathbb B\cong M_2(\mathbb C)=\mathrm{End}(S)$. The associated bundle is therefore the spinor bundle of the framework, whose sections are the two-component objects of The Spinor Module in Biquaternionic Form and Its Lorentz Action. The gauge connection is a connection on $P$; it induces a covariant derivative on sections of the associated bundle by

$$ D_\mu \Psi = \partial_\mu\Psi + i\kappa\,\mathcal A_\mu\Psi , $$

which is the covariant derivative of Non-Abelian Gauge Fields in Biquaternionic Form. The bundle-theoretic derivation of the covariant derivative — a connection is needed so that the comparison of neighbouring fibres is meaningful — is the geometric form of the gauge principle, and the algebra supplies the module on which it acts.

The associated bundle picture fixes why the abelian and non-abelian cases of the framework differ as they do. A central connection acts on the module through scalar multiplication, so its curvature is inert; a connection in $\mathrm{SU}(2)$ acts through the adjoint action on the module, so its curvature transforms in the adjoint and is not invariant. The difference is the difference between the fibre $U(1)$ of the Hopf fibration and the structure group $SU(2)$ of which that fibre is a subgroup.

What Is the Algebra's and What Is Imported

The article's structural result is best stated as a division.

Algebraic, and derived here. The total space $S^3$ is the biquaternion-norm level set of $\mathbb H_{\mathbb B}$; the base $S^2$ is the idempotent manifold of $\mathbb M_+$; the fibre is the stabiliser $U(1)_{e_3}\subset SU(2)\subset\mathbb H_{\mathbb B}$, which is isomorphic to, but distinct from, the centre's unit circle $U(1)_{\mathbb C_{\mathbb B}}\subset\mathbb C_{\mathbb B}$; the Hopf map is the adjoint action $U\mapsto Ue_3\bar U$; the transition function and its winding are computed from the algebra; the first Chern number is one; and the local connection is the abelian connection of The Gauge Principle in Biquaternionic Form, with curvature $iF$. The instanton boundary map is in $SU(2)\subset\mathbb H_{\mathbb B}$ and its winding is $\pi_3(SU(2))=\mathbb Z$. None of these is imported.
Standard topology, transcribed. The classification of principal bundles by homotopy classes of maps into the classifying space, the Chern–Weil construction of characteristic classes, and the existence of the invariant connection are standard results of fibre-bundle theory; the article uses them rather than deriving them. The Hopf bundle's nontriviality and $c_1=1$ are classical.
Imported from physics. The identification of the Chern number with an electric or magnetic charge requires the electromagnetic coupling; the quantisation in units of $\hbar$, the dynamical action, and the identification of the connection with a physical vector potential are quantum-mechanical and dynamical inputs. The algebra is a classical complexified structure and contains no $\hbar$; it supplies the home of the gauge freedom, and quantum mechanics supplies the quantum. This is the same division recorded in The Magnetic Monopole in Biquaternionic Form.

Summary

The unit sphere of the biquaternion algebra is the total space of the Hopf fibration. Read as real quaternions it is $SU(2)=S^3$; read as the base of the adjoint action it is the idempotent sphere $S^2=\{\tilde\Pi=\tfrac12(e_0+i\hat\mu)\}\subset\mathbb M_+$; and the fibre is the stabiliser $U(1)_{e_3}$ generated by $e_3$, a maximal torus of the compact factor and the abelian gauge group of the companion articles. This circle is the diagonal torus $\{\mathrm{diag}(e^{i\alpha},e^{-i\alpha})\}$ and is distinct from the unit circle of the centre, the scalar circle $\{\mathrm{diag}(e^{i\alpha},e^{i\alpha})\}$; the two meet only in $\{\pm e_0\}$, and it is the central circle that supplies the coefficient $i$ of the abelian connection. The Hopf map

$$ \pi(U)=U e_3\bar U $$

is the adjoint action of $SU(2)$ on the pure-imaginary unit sphere, and its fibres are the cosets of the stabiliser, verified to hold on random unit quaternions. The fibration is the principal $U(1)$-bundle over $S^2$ with transition function of winding one and first Chern number $c_1=1$; its invariant connection is the framework's abelian connection $\mathcal a=i\,a$ with central curvature $\mathcal f=iF$, and its charge is the unit magnetic charge of the Dirac monopole.

The same manifold, read as the structure group $SU(2)$, classifies the instanton sector: a finite-action connection on $\mathbb R^4$ is a connection on a bundle over $S^4$, its boundary map lies in $\pi_3(SU(2))\cong\mathbb Z$, and the minimal self-dual configuration is the BPST instanton with unit winding. The associated bundle of the fundamental representation is the framework's spinor module $\mathbb C^2$, on which the covariant derivative acts. The algebra supplies the total space, the base, the fibre, the connection and the classifying integers; the quantisation in units of $\hbar$ and the dynamical identification of the connection are imported, as the framework is a complexified classical structure.

Summary of Notation

Symbol	Meaning
$\mathbb B=\mathbb C\otimes_{\mathbb R}\mathbb H$	Biquaternion algebra, $\cong M_2(\mathbb C)$
$e_0=1,e_1,e_2,e_3$	Quaternion basis, $e_k^2=-e_0$, $e_1e_2=e_3$
$i$	Central scalar imaginary, $i^2=-1$
$\mathbb H_{\mathbb B}$	Real-quaternion subspace
$\mathbb C_{\mathbb B}=\mathrm{span}_{\mathbb R}\{e_0,ie_0\}$	Centre; abelian gauge factor
$\mathbb M_+,\mathbb M_-$	Hermitian (informational) and anti-Hermitian (material) sectors
$S^3=\{U\in\mathbb H_{\mathbb B}:U\bar U=e_0\}$	Unit real quaternions $=SU(2)=$ Hopf total space
$S^2=\{\hat\mu\in\mathbb H_{\mathbb B}:\hat\mu^2=-e_0\}$	Unit pure-imaginary sphere $=$ idempotent manifold of $\mathbb M_+$
$\tilde\Pi(\hat\mu)=\tfrac12(e_0+i\hat\mu)$	Idempotent of $\mathbb M_+$ associated with $\hat\mu$
$\pi(U)=Ue_3\bar U$	Hopf map $S^3\to S^2$
$\mathrm{Stab}(e_3)=U(1)_{e_3}=\{\cos\alpha\,e_0+\sin\alpha\,e_3\}$	Fibre of $\pi$; maximal torus of $SU(2)$ generated by $e_3$
$U(1)_{\mathbb C_{\mathbb B}}=\{e^{i\alpha}e_0\}$	Unit circle of the centre; abelian gauge factor, distinct from $\mathrm{Stab}(e_3)$
$g_{SN}(\phi)=e^{\phi e_3}$	Transition function of the Hopf bundle, winding one
$a=\tfrac12(1-\cos\theta)d\phi$	Invariant local connection one-form
$F=da=\tfrac12\sin\theta\,d\theta\wedge d\phi$	Curvature; $\int_{S^2}F=2\pi$, $c_1=1$
$\mathcal a=i\,a$, $\mathcal f=iF$	Connection and curvature in the algebra
$SU(2)=\mathrm{span}$-generated unit quaternions	Structure group; compact factor of $\mathbb M_-$
$[g_\infty]\in\pi_3(SU(2))\cong\mathbb Z$	Instanton number; boundary winding
$\tilde A=i\phi/c\,e_0+\mathbf A$	Abelian biquaternionic potential
$D_\mu=\partial_\mu+i\kappa\mathcal A_\mu$	Covariant derivative on the associated bundle