In mathematics, quaternionic projective space is an extension of the ideas of real projective space and complex projective space, to the case where coordinates lie in the ring of quaternions H . {\displaystyle \mathbb {H} .} Quaternionic projective space of dimension n is usually denoted by
H P n {\displaystyle \mathbb {HP} ^{n}}
and is a closed manifold of (real) dimension 4n. It is a homogeneous space for a Lie group action, in more than one way. The quaternionic projective line H P 1 {\displaystyle \mathbb {HP} ^{1}} is homeomorphic to the 4-sphere.
In coordinates Its direct construction is as a special case of the projective space over a division algebra. The homogeneous coordinates of a point can be written
[ q 0 , q 1 , … , q n ] {\displaystyle [q_{0},q_{1},\ldots ,q_{n}]}
where the q i {\displaystyle q_{i}} are quaternions, not all zero. Two sets of coordinates represent the same point if they are 'proportional' by a left multiplication by a non-zero quaternion c; that is, we identify all the
[ c q 0 , c q 1 … , c q n ] {\displaystyle [cq_{0},cq_{1}\ldots ,cq_{n}]} . In the language of group actions, H P n {\displaystyle \mathbb {HP} ^{n}} is the orbit space of H n + 1 ∖ { ( 0 , … , 0 ) } {\displaystyle \mathbb {H} ^{n+1}\setminus \{(0,\ldots ,0)\}} by the action of H × {\displaystyle \mathbb {H} ^{\times }} , the multiplicative group of non-zero quaternions. By first projecting onto the unit sphere inside H n + 1 {\displaystyle \mathbb {H} ^{n+1}} one may also regard H P n {\displaystyle \mathbb {HP} ^{n}} as the orbit space of S 4 n + 3 {\displaystyle S^{4n+3}} by the action of Sp ( 1 ) {\displaystyle {\text{Sp}}(1)} , the group of unit quaternions. The sphere S 4 n + 3 {\displaystyle S^{4n+3}} then becomes a principal Sp(1)-bundle over H P n {\displaystyle \mathbb {HP} ^{n}} :
S p ( 1 ) → S 4 n + 3 → H P n . {\displaystyle \mathrm {Sp} (1)\to S^{4n+3}\to \mathbb {HP} ^{n}.}
This bundle is sometimes called a (generalized) Hopf fibration. There is also a construction of H P n {\displaystyle \mathbb {HP} ^{n}} by means of two-dimensional complex subspaces of H 2 n {\displaystyle \mathbb {H} ^{2n}} , meaning that H P n {\displaystyle \mathbb {HP} ^{n}} lies inside a complex Grassmannian.
Topology
… excerpt ends here. Continue reading the full article.
