Quaternionic projective space explained

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 . Quaternionic projective space of dimension n is usually denoted byHP ^{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

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,\ldots,q} _{n]}

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[cq _{0,cq} _{1\ldots,cq} _{n]} .

In the language of group actions,

HP ^{n} is the orbit space of H ^{n+1} \setminus\{( 0 ,\ldots, 0 )\} by the action of H ^{x} , the multiplicative group of non-zero quaternions. By first projecting onto the unit sphere inside H ^{n+1} one may also regard HP ^{n} as the orbit space of S ^{4n+3} by the action of Sp ( 1 ) , the group of unit quaternions.^[1] The sphere S ^{4n+3} then becomes a principal Sp(1)-bundle over HP ^{n} :Sp ( 1 ) \to S ^{4n+3} \to HP ^{n.}

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

There is also a construction of

HP ^{n} by means of two-dimensional complex subspaces of H ^{2n} , meaning that HP ^{n} lies inside a complex Grassmannian.

Topology

Homotopy theory

The space

HP ^{infty} , defined as the union of all finite HP ^{n} 's under inclusion, is the classifying space BS³. The homotopy groups of HP ^{infty} are given by \pi ^{inf ty} _{i( HP} ) = \pi ^{3 )} _{i(BS} \cong \pi _{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\pi ^{inf ty)} _{i( HP} ⊗ \Q \cong \begin{cases} \Q & i = 4 \ 0 & i ≠ 4 \end{cases}

It follows that rationally, i.e. after localisation of a space,

HP ^{infty} is an Eilenberg–Maclane space K(\Q, 4 ) . That is HP ^{inf ty} _{\Q} \simeq K(\Z, 4 ) _{\Q} . (cf. the example K(Z,2)). See rational homotopy theory.

In general,

HP ^{n} has a cell structure with one cell in each dimension which is a multiple of 4, up to 4 n . Accordingly, its cohomology ring is \Z[v]/v ^{n+1} , where v is a 4-dimensional generator. This is analogous to complex projective space. It also follows from rational homotopy theory that HP ^{n} has infinite homotopy groups only in dimensions 4 and 4 n +3 .

Differential geometry

HP ^{n} carries a natural Riemannian metric analogous to the Fubini-Study metric on CP ^{n} , with respect to which it is a compact quaternion-Kähler symmetric space with positive curvature.

Quaternionic projective space can be represented as the coset space

HP ^{n} = \operatorname{Sp}(n +1 )/\operatorname{Sp}(n) x \operatorname{Sp}( 1 )

where

\operatorname{Sp}(n) is the compact symplectic group.

Characteristic classes

Since

HP ^{1=S} ^{4} , its tangent bundle is stably trivial. The tangent bundles of the rest have nontrivial Stiefel–Whitney and Pontryagin classes. The total classes are given by the following formulas:w( HP ^{n)} = ( 1+ u) ^{n+1} p( HP ^{n)} = ( 1+ v) ^{2n+2} ( 1+4 v) ^{-1}

where

v is the generator of H ^{4(HP} ^{n;\Z)} and u is its reduction mod 2.^[2]

Special cases

Quaternionic 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.

Explicit expressions for coordinates for the 4-sphere can be found in the article on the Fubini–Study metric.

Quaternionic projective plane

The 8-dimensional

HP ^{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 manifoldHP ^{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.

Further reading

• V. I. Arnol'd . V.I. . Arnol'd . Relatives of the Quotient of the Complex Projective Plane by the Complex Conjugation . Tr. Mat. Inst. Steklova . 224 . 56–6 . 1999 . 10.1.1.50.6421 . Treats the analogue of the result mentioned for quaternionic projective space and the 13-sphere.

Notes and References

1. Book: Naber, Gregory L. . Physical and Geometrical Motivation . Topology, Geometry and Gauge fields . Springer . Texts in Applied Mathematics . 25 . 2011 . 1997 . 978-1-4419-7254-5 . 50 . 10.1007/978-1-4419-7254-5_0 . https://books.google.com/books?id=MObgBwAAQBAJ&pg=PR1.
2. R.H. . Szczarba . On tangent bundles of fibre spaces and quotient spaces . American Journal of Mathematics . 86 . 4 . 685–697 . 1964 . 10.2307/2373152 . 2373152 .