Quaternionic manifold

Last updated September 14, 2024

In differential geometry, a quaternionic manifold is a quaternionic analog of a complex manifold. The definition is more complicated and technical than the one for complex manifolds due in part to the noncommutativity of the quaternions and in part to the lack of a suitable calculus of holomorphic functions for quaternions. The most succinct definition uses the language of G-structures on a manifold. Specifically, a quaternionic n-manifold can be defined as a smooth manifold of real dimension 4n equipped with a torsion-free $\operatorname {GL} (n,\mathbb {H} )\cdot \mathbb {H} ^{\times }$ -structure. More naïve, but straightforward, definitions lead to a dearth of examples, and exclude spaces like quaternionic projective space which should clearly be considered as quaternionic manifolds.

Early history

Marcel Berger's 1955 paper^[1] on the classification of Riemannian holonomy groups first raised the issue of the existence of non-symmetric manifolds with holonomy Sp(n)·Sp(1).Interesting results were proved in the mid-1960s in pioneering work by Edmond Bonan ^[2] and Kraines^[3] who have independently proven that any such manifold admits a parallel 4-form $\Omega$ .The long-awaited analog of strong Lefschetz theorem was published ^[4] in 1982 : $\Omega ^{n-k}\wedge \bigwedge ^{2k}T^{*}M=\bigwedge ^{4n-2k}T^{*}M.$

Definitions

The enhanced quaternionic general linear group

If we regard the quaternionic vector space $\mathbb {H} ^{n}\cong \mathbb {R} ^{4n}$ as a right $\mathbb {H}$ -module, we can identify the algebra of right $\mathbb {H}$ -linear maps with the algebra of $n\times n$ quaternionic matrices acting on $\mathbb {H} ^{n}$ from the left. The invertible right $\mathbb {H}$ -linear maps then form a subgroup $\operatorname {GL} (n,\mathbb {H} )$ of $\operatorname {GL} (4n,\mathbb {R} )$ . We can enhance this group with the group $\mathbb {H} ^{\times }$ of nonzero quaternions acting by scalar multiplication on $\mathbb {H} ^{n}$ from the right. Since this scalar multiplication is $\mathbb {R}$ -linear (but not $\mathbb {H}$ -linear) we have another embedding of $\mathbb {H} ^{\times }$ into $\operatorname {GL} (4n,\mathbb {R} )$ . The group $\operatorname {GL} (n,\mathbb {H} )\cdot \mathbb {H} ^{\times }$ is then defined as the product of these subgroups in $\operatorname {GL} (4n,\mathbb {R} )$ . Since the intersection of the subgroups $\operatorname {GL} (n,\mathbb {H} )$ and $\mathbb {H} ^{\times }$ in $\operatorname {GL} (4n,\mathbb {R} )$ is their mutual center $\mathbb {R} ^{\times }$ (the group of scalar matrices with nonzero real coefficients), we have the isomorphism

\operatorname {GL} (n,\mathbb {H} )\cdot \mathbb {H} ^{\times }\cong (\operatorname {GL} (n,\mathbb {H} )\times \mathbb {H} ^{\times })/\mathbb {R} ^{\times }.

Almost quaternionic structure

An almost quaternionic structure on a smooth manifold $M$ is just a $\operatorname {GL} (n,\mathbb {H} )\cdot \mathbb {H} ^{\times }$ -structure on $M$ . Equivalently, it can be defined as a subbundle $H$ of the endomorphism bundle $\operatorname {End} (TM)$ such that each fiber $H_{x}$ is isomorphic (as a real algebra) to the quaternion algebra $\mathbb {H}$ . The subbundle $H$ is called the almost quaternionic structure bundle. A manifold equipped with an almost quaternionic structure is called an almost quaternionic manifold.

The quaternion structure bundle $H$ naturally admits a bundle metric coming from the quaternionic algebra structure, and, with this metric, $H$ splits into an orthogonal direct sum of vector bundles $H=L\oplus E$ where $L$ is the trivial line bundle through the identity operator, and $E$ is a rank-3 vector bundle corresponding to the purely imaginary quaternions. Neither the bundles $H$ or $E$ are necessarily trivial.

The unit sphere bundle $Z=S(E)$ inside $E$ corresponds to the pure unit imaginary quaternions. These are endomorphisms of the tangent spaces that square to −1. The bundle $Z$ is called the twistor space of the manifold $M$ , and its properties are described in more detail below. Local sections of $Z$ are (locally defined) almost complex structures. There exists a neighborhood $U$ of every point $x$ in an almost quaternionic manifold $M$ with an entire 2-sphere of almost complex structures defined on $U$ . One can always find $I,J,K\in \Gamma (Z|_{U})$ such that

I^{2}=J^{2}=K^{2}=IJK=-1

Note, however, that none of these operators may be extendable to all of $M$ . That is, the bundle $Z$ may admit no global sections (e.g. this is the case with quaternionic projective space $\mathbb {HP} ^{n}$ ). This is in marked contrast to the situation for complex manifolds, which always have a globally defined almost complex structure.

Quaternionic structure

A quaternionic structure on a smooth manifold $M$ is an almost quaternionic structure $Q$ which admits a torsion-free affine connection $\nabla$ preserving $Q$ . Such a connection is never unique, and is not considered to be part of the quaternionic structure. A quaternionic manifold is a smooth manifold $M$ together with a quaternionic structure on $M$ .

Special cases and additional structures

Hypercomplex manifolds

A hypercomplex manifold is a quaternionic manifold with a torsion-free $\operatorname {GL} (n,\mathbb {H} )$ -structure. The reduction of the structure group to $\operatorname {GL} (n,\mathbb {H} )$ is possible if and only if the almost quaternionic structure bundle $H\subset \operatorname {End} (TM)$ is trivial (i.e. isomorphic to $M\times \mathbb {H}$ ). An almost hypercomplex structure corresponds to a global frame of $H$ , or, equivalently, triple of almost complex structures $I,J$ , and $K$ such that

I^{2}=J^{2}=K^{2}=IJK=-1

A hypercomplex structure is an almost hypercomplex structure such that each of $I,J$ , and $K$ are integrable.

Quaternionic Kähler manifolds

A quaternionic Kähler manifold is a quaternionic manifold with a torsion-free $\operatorname {Sp} (n)\cdot \operatorname {Sp} (1)$ -structure.

Hyperkähler manifolds

A hyperkähler manifold is a quaternionic manifold with a torsion-free $\operatorname {Sp} (n)$ -structure. A hyperkähler manifold is simultaneously a hypercomplex manifold and a quaternionic Kähler manifold.

Twistor space

Given a quaternionic $n$ -manifold $M$ , the unit 2-sphere subbundle $Z=S(E)$ corresponding to the pure unit imaginary quaternions (or almost complex structures) is called the twistor space of $M$ . It turns out that, when $n\geq 2$ , there exists a natural complex structure on $Z$ such that the fibers of the projection $Z\to M$ are isomorphic to $\mathbb {CP} ^{1}$ . When $n=1$ , the space $Z$ admits a natural almost complex structure, but this structure is integrable only if the manifold is self-dual. It turns out that the quaternionic geometry on $M$ can be reconstructed entirely from holomorphic data on $Z$ .

The twistor space theory gives a method of translating problems on quaternionic manifolds into problems on complex manifolds, which are much better understood, and amenable to methods from algebraic geometry. Unfortunately, the twistor space of a quaternionic manifold can be quite complicated, even for simple spaces like $\mathbb {H} ^{n}$ .

Related Research Articles

In group theory, the quaternion group Q₈ (sometimes just denoted by Q) is a non-abelian group of order eight, isomorphic to the eight-element subset $of the quaternions under multiplication. It is given by the group presentation$

<span class="mw-page-title-main">Symplectic group</span> Mathematical group

In mathematics, the name symplectic group can refer to two different, but closely related, collections of mathematical groups, denoted $Sp(2 n, F)$ and $Sp(n)$ for positive integer n and field F (usually C or R). The latter is called the compact symplectic group and is also denoted by $. Many authors prefer slightly different notations, usually differing by factors of 2 . The notation used here is consistent with the size of the most common matrices which represent the groups. In Cartan's classification of the simple Lie algebras, the Lie algebra of the complex group Sp(2 n, C) is denoted C n, and Sp(n) is the compact real form of Sp(2 n, C) . Note that when we refer to the (compact) symplectic group it is implied that we are talking about the collection of (compact) symplectic groups, indexed by their dimension n .$

In mathematics, the unitary group of degree n, denoted U(n), is the group of n × n unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL(n, C), and it has as a subgroup the special unitary group, consisting of those unitary matrices with determinant 1.

In mathematics, the special unitary group of degree $n$ , denoted $SU(n)$ , is the Lie group of $n \times n$ unitary matrices with determinant 1.

In mathematics, complex geometry is the study of geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of spaces such as complex manifolds and complex algebraic varieties, functions of several complex variables, and holomorphic constructions such as holomorphic vector bundles and coherent sheaves. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis.

Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition.

In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since become fundamental concepts in many branches of mathematics and physics, such as string theory, Chern–Simons theory, knot theory, Gromov–Witten invariants. Chern classes were introduced by Shiing-Shen Chern.

In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product $of a space with a group . In the same way as with the Cartesian product, a principal bundle is equipped with$

An action of $on, analogous to for a product space.$
A projection onto $. For a product space, this is just the projection onto the first factor, .$

In mathematics the spin group, denoted Spin(n), is a Lie group whose underlying manifold is the double cover of the special orthogonal group SO(n) = SO(n, R), such that there exists a short exact sequence of Lie groups (when n ≠ 2)

In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold M using partial differential equations. The key observation is that, given a Riemannian metric on M, every cohomology class has a canonical representative, a differential form that vanishes under the Laplacian operator of the metric. Such forms are called harmonic.

<span class="mw-page-title-main">Holonomy</span> Concept in differential geometry

In differential geometry, the holonomy of a connection on a smooth manifold is the extent to which parallel transport around closed loops fails to preserve the geometrical data being transported. Holonomy is a general geometrical consequence of the curvature of the connection. For flat connections, the associated holonomy is a type of monodromy and is an inherently global notion. For curved connections, holonomy has nontrivial local and global features.

In differential geometry, a hyperkähler manifold is a Riemannian manifold $endowed with three integrable almost complex structures that are Kähler with respect to the Riemannian metric and satisfy the quaternionic relations . In particular, it is a hypercomplex manifold. All hyperkähler manifolds are Ricci-flat and are thus Calabi-Yau manifolds.$

In mathematics, deformation theory is the study of infinitesimal conditions associated with varying a solution P of a problem to slightly different solutions P_ε, where ε is a small number, or a vector of small quantities. The infinitesimal conditions are the result of applying the approach of differential calculus to solving a problem with constraints. The name is an analogy to non-rigid structures that deform slightly to accommodate external forces.

In mathematics, the Bott periodicity theorem describes a periodicity in the homotopy groups of classical groups, discovered by Raoul Bott, which proved to be of foundational significance for much further research, in particular in K-theory of stable complex vector bundles, as well as the stable homotopy groups of spheres. Bott periodicity can be formulated in numerous ways, with the periodicity in question always appearing as a period-2 phenomenon, with respect to dimension, for the theory associated to the unitary group. See for example topological K-theory.

In differential geometry, a G-structure on an n-manifold M, for a given structure group G, is a principal G-subbundle of the tangent frame bundle FM (or GL(M)) of M.

In differential geometry, a quaternion-Kähler manifold (or quaternionic Kähler manifold) is a Riemannian 4n-manifold whose Riemannian holonomy group is a subgroup of Sp(n)·Sp(1) for some $. Here Sp(n) is the sub-group of consisting of those orthogonal transformations that arise by left -multiplication by some quaternionic matrix, while the group of unit-length quaternions instead acts on quaternionic -space by right scalar multiplication. The Lie group generated by combining these actions is then abstractly isomorphic to .$

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 $Quaternionic projective space of dimension n is usually denoted by$

In differential geometry, a hypercomplex manifold is a manifold with the tangent bundle equipped with an action by the algebra of quaternions in such a way that the quaternions $define integrable almost complex structures.$

<span class="mw-page-title-main">Classical group</span>

In mathematics, the classical groups are defined as the special linear groups over the reals $, the complex numbers and the quaternions together with special automorphism groups of symmetric or skew-symmetric bilinear forms and Hermitian or skew-Hermitian sesquilinear forms defined on real, complex and quaternionic finite-dimensional vector spaces. Of these, the complex classical Lie groups are four infinite families of Lie groups that together with the exceptional groups exhaust the classification of simple Lie groups. The compact classical groups are compact real forms of the complex classical groups. The finite analogues of the classical groups are the classical groups of Lie type . The term "classical group" was coined by Hermann Weyl, it being the title of his 1939 monograph The Classical Groups .$

In algebraic geometry and differential geometry, the nonabelian Hodge correspondence or Corlette–Simpson correspondence is a correspondence between Higgs bundles and representations of the fundamental group of a smooth, projective complex algebraic variety, or a compact Kähler manifold.

References

Besse, Arthur L. (1987). Einstein Manifolds . Berlin: Springer-Verlag. ISBN 3-540-15279-2.
Joyce, Dominic (2000). Compact Manifolds with Special Holonomy. Oxford University Press. ISBN 0-19-850601-5.

↑ Berger, Marcel (1955). "Sur les groups d'holonomie des variétés à connexion affine et des variétés riemanniennes" (PDF). Bull. Soc. Math. France. 83: 279–330. doi: 10.24033/bsmf.1464 .
↑ Bonan, Edmond (1965). "Structure presque quaternale sur une variété differentiable". Comptes Rendus de l'Académie des Sciences. 261: 5445–8.
↑ Kraines, Vivian Yoh (1966). "Topology of quaternionic manifolds" (PDF). Transactions of the American Mathematical Society. 122 (2): 357–367. doi: 10.1090/S0002-9947-1966-0192513-X . JSTOR 1994553.
↑ Bonan, Edmond (1982). "Sur l'algèbre extérieure d'une variété presque hermitienne quaternionique". Comptes Rendus de l'Académie des Sciences. 295: 115–118.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Berger, Marcel (1955). "Sur les groups d'holonomie des variétés à connexion affine et des variétés riemanniennes" (PDF). Bull. Soc. Math. France. 83: 279–330. doi: 10.24033/bsmf.1464 .

[2] Bonan, Edmond (1965). "Structure presque quaternale sur une variété differentiable". Comptes Rendus de l'Académie des Sciences. 261: 5445–8.

[3] Kraines, Vivian Yoh (1966). "Topology of quaternionic manifolds" (PDF). Transactions of the American Mathematical Society. 122 (2): 357–367. doi: 10.1090/S0002-9947-1966-0192513-X . JSTOR 1994553.

[4] Bonan, Edmond (1982). "Sur l'algèbre extérieure d'une variété presque hermitienne quaternionique". Comptes Rendus de l'Académie des Sciences. 295: 115–118.

[1]

[2]

[3]

[4]