Quaternionic projective space

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

where the 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

In the language of group actions, H P n is the orbit space of H n + 1 ∖ { ( 0 , … , 0 ) } by the action of H × , the multiplicative group of non-zero quaternions. By first projecting onto the unit sphere inside H n + 1 one may also regard H P n as the orbit space of S 4 n + 3 by the action of Sp ( 1 ) , the group of unit quaternions. The sphere S 4 n + 3 then becomes a principal Sp(1)-bundle over H P n :

This bundle is sometimes called a (generalized) Hopf fibration.

There is also a construction of H P n by means of two-dimensional complex subspaces of H 2 n , meaning that H P n lies inside a complex Grassmannian.

Projective line

The one-dimensional projective space over H is called the "projective line" in generalization of the complex projective line. For example, it was used (implicitly) in 1947 by P. G. Gormley to extend the Möbius group to the quaternion context with "linear fractional transformations". For the linear fractional transformations of an associative ring with 1, see projective line over a ring and the homography group GL(2,A).

From the topological point of view the quaternionic projective line is the 4-sphere, and in fact these are diffeomorphic manifolds. The fibration mentioned previously is from the 7-sphere, and is an example of a Hopf fibration.

Infinite-dimensional quaternionic projective space

The space H P ∞ is the classifying space BS³. The homotopy groups of H P ∞ are given by π i ( H P ∞ ) = π i ( B S 3 ) ≅ π i − 1 ( S 3 ) . These groups are known to be very complex and in particular they are non-zero for infinitely many values of i . However, we do have that π i ( H P ∞ ) ⊗ Q ≅ Q if i = 4 and π i ( H P ∞ ) ⊗ Q = 0 if i ≠ 4 . It follows that rationally, i.e. after localisation of a space, H P ∞ is an Eilenberg–Maclane space K ( Q , 4 ) . That is H P Q ∞ ≃ K ( Z , 4 ) Q . (cf. the example K(Z,2)). See rational homotopy theory.

Quaternionic projective plane

The 8-dimensional H P 2 has a circle action, by the group of complex scalars of absolute value 1 acting on the other side (so on the right, as the convention for the action of c above is on the left). Therefore the quotient manifold

H P 2 / U ( 1 )

may be taken, writing U(1) for the circle group. It has been shown that this quotient is the 7-sphere, a result of Vladimir Arnold from 1996, later rediscovered by Edward Witten and Michael Atiyah.