G2 manifold

Last updated

In differential geometry, a G2 manifold is a seven-dimensional Riemannian manifold with holonomy group contained in G2. The group is one of the five exceptional simple Lie groups. It can be described as the automorphism group of the octonions, or equivalently, as a proper subgroup of special orthogonal group SO(7) that preserves a spinor in the eight-dimensional spinor representation or lastly as the subgroup of the general linear group GL(7) which preserves the non-degenerate 3-form , the associative form. The Hodge dual, is then a parallel 4-form, the coassociative form. These forms are calibrations in the sense of Reese Harvey and H. Blaine Lawson, [1] and thus define special classes of 3- and 4-dimensional submanifolds.

Contents

Properties

All -manifold are 7-dimensional, Ricci-flat, orientable spin manifolds. In addition, any compact manifold with holonomy equal to has finite fundamental group, non-zero first Pontryagin class, and non-zero third and fourth Betti numbers.

History

The fact that might possibly be the holonomy group of certain Riemannian 7-manifolds was first suggested by the 1955 classification theorem of Marcel Berger, and this remained consistent with the simplified proof later given by Jim Simons in 1962. Although not a single example of such a manifold had yet been discovered, Edmond Bonan nonetheless made a useful contribution by showing that, if such a manifold did in fact exist, it would carry both a parallel 3-form and a parallel 4-form, and that it would necessarily be Ricci-flat. [2]

The first local examples of 7-manifolds with holonomy were finally constructed around 1984 by Robert Bryant, and his full proof of their existence appeared in the Annals in 1987. [3] Next, complete (but still noncompact) 7-manifolds with holonomy were constructed by Bryant and Simon Salamon in 1989. [4] The first compact 7-manifolds with holonomy were constructed by Dominic Joyce in 1994. Compact manifolds are therefore sometimes known as "Joyce manifolds", especially in the physics literature. [5] In 2013, it was shown by M. Firat Arikan, Hyunjoo Cho, and Sema Salur that any manifold with a spin structure, and, hence, a -structure, admits a compatible almost contact metric structure, and an explicit compatible almost contact structure was constructed for manifolds with -structure. [6] In the same paper, it was shown that certain classes of -manifolds admit a contact structure.

In 2015, a new construction of compact manifolds, due to Alessio Corti, Mark Haskins, Johannes Nordstrőm, and Tommaso Pacini, combined a gluing idea suggested by Simon Donaldson with new algebro-geometric and analytic techniques for constructing Calabi–Yau manifolds with cylindrical ends, resulting in tens of thousands of diffeomorphism types of new examples. [7]

Connections to physics

These manifolds are important in string theory. They break the original supersymmetry to 1/8 of the original amount. For example, M-theory compactified on a manifold leads to a realistic four-dimensional (11-7=4) theory with N=1 supersymmetry. The resulting low energy effective supergravity contains a single supergravity supermultiplet, a number of chiral supermultiplets equal to the third Betti number of the manifold and a number of U(1) vector supermultiplets equal to the second Betti number. Recently it was shown that almost contact structures (constructed by Sema Salur et al.) [6] play an important role in geometry". [8]

See also

Related Research Articles

<span class="mw-page-title-main">Calabi–Yau manifold</span> Riemannian manifold with SU(n) holonomy

In algebraic and differential geometry, a Calabi–Yau manifold, also known as a Calabi–Yau space, is a particular type of manifold which has properties, such as Ricci flatness, yielding applications in theoretical physics. Particularly in superstring theory, the extra dimensions of spacetime are sometimes conjectured to take the form of a 6-dimensional Calabi–Yau manifold, which led to the idea of mirror symmetry. Their name was coined by Candelas et al. (1985), after Eugenio Calabi who first conjectured that such surfaces might exist, and Shing-Tung Yau who proved the Calabi conjecture.

G<sub>2</sub> (mathematics) Simple Lie group; the automorphism group of the octonions

In mathematics, G2 is three simple Lie groups (a complex form, a compact real form and a split real form), their Lie algebras as well as some algebraic groups. They are the smallest of the five exceptional simple Lie groups. G2 has rank 2 and dimension 14. It has two fundamental representations, with dimension 7 and 14.

In mathematics and especially differential geometry, a Kähler manifold is a manifold with three mutually compatible structures: a complex structure, a Riemannian structure, and a symplectic structure. The concept was first studied by Jan Arnoldus Schouten and David van Dantzig in 1930, and then introduced by Erich Kähler in 1933. The terminology has been fixed by André Weil. Kähler geometry refers to the study of Kähler manifolds, their geometry and topology, as well as the study of structures and constructions that can be performed on Kähler manifolds, such as the existence of special connections like Hermitian Yang–Mills connections, or special metrics such as Kähler–Einstein metrics.

In the mathematical field of differential geometry, Ricci-flatness is a condition on the curvature of a (pseudo-)Riemannian manifold. Ricci-flat manifolds are a special kind of Einstein manifold. In theoretical physics, Ricci-flat Lorentzian manifolds are of fundamental interest, as they are the solutions of Einstein's field equations in vacuum with vanishing cosmological constant.

In differential geometry and mathematical physics, an Einstein manifold is a Riemannian or pseudo-Riemannian differentiable manifold whose Ricci tensor is proportional to the metric. They are named after Albert Einstein because this condition is equivalent to saying that the metric is a solution of the vacuum Einstein field equations, although both the dimension and the signature of the metric can be arbitrary, thus not being restricted to Lorentzian manifolds. Einstein manifolds in four Euclidean dimensions are studied as gravitational instantons.

<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 a general geometrical consequence of the curvature of the connection measuring the extent to which parallel transport around closed loops fails to preserve the geometrical data being transported. 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.

<span class="mw-page-title-main">Symmetric space</span> A (pseudo-)Riemannian manifold whose geodesics are reversible.

In mathematics, a symmetric space is a Riemannian manifold whose group of symmetries contains an inversion symmetry about every point. This can be studied with the tools of Riemannian geometry, leading to consequences in the theory of holonomy; or algebraically through Lie theory, which allowed Cartan to give a complete classification. Symmetric spaces commonly occur in differential geometry, representation theory and harmonic analysis.

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 differential geometry, a spin structure on an orientable Riemannian manifold (M, g) allows one to define associated spinor bundles, giving rise to the notion of a spinor in differential geometry.

In mathematics, a Spin(7)-manifold is an eight-dimensional Riemannian manifold whose holonomy group is contained in Spin(7). Spin(7)-manifolds are Ricci-flat and admit a parallel spinor. They also admit a parallel 4-form, known as the Cayley form, which is a calibrating form for a special class of submanifolds called Cayley cycles.

In differential geometry, a -structure is an important type of G-structure that can be defined on a smooth manifold. If M is a smooth manifold of dimension seven, then a G2-structure is a reduction of structure group of the frame bundle of M to the compact, exceptional Lie group G2.

The Geometry Festival is an annual mathematics conference held in the United States.

In the mathematical field of differential geometry, a calibrated manifold is a Riemannian manifold (M,g) of dimension n equipped with a differential p-formφ (for some 0 ≤ pn) which is a calibration, meaning that:

In mathematics, a nearly Kähler manifold is an almost Hermitian manifold , with almost complex structure , such that the (2,1)-tensor is skew-symmetric. So,

This page is a glossary of terms in string theory, including related areas such as supergravity, supersymmetry, and high energy physics.

<span class="mw-page-title-main">Edmond Bonan</span> French mathematician

Edmond Bonan is a French mathematician, known particularly for his work on special holonomy.

Sema Salur is a Turkish-American mathematician, currently serving as a Professor of Mathematics at the University of Rochester. She was awarded the Ruth I. Michler Memorial Prize for 2014–2015, a prize intended to give a recently promoted associate professor a year-long fellowship at Cornell University; and has been the recipient of a National Science Foundation Research Award beginning in 2017. She specialises in the "geometry and topology of the moduli spaces of calibrated submanifolds inside Calabi–Yau, G2 and Spin(7) manifolds", which are important to certain aspects of string theory and M-theory in physics, theories that attempt to unite gravity, electromagnetism, and the strong and weak nuclear forces into one coherent Theory of Everything.

In mathematics, and especially differential geometry and mathematical physics, gauge theory is the general study of connections on vector bundles, principal bundles, and fibre bundles. Gauge theory in mathematics should not be confused with the closely related concept of a gauge theory in physics, which is a field theory which admits gauge symmetry. In mathematics theory means a mathematical theory, encapsulating the general study of a collection of concepts or phenomena, whereas in the physical sense a gauge theory is a mathematical model of some natural phenomenon.

References

  1. Harvey, Reese; Lawson, H. Blaine (1982), "Calibrated geometries", Acta Mathematica , 148: 47–157, doi: 10.1007/BF02392726 , MR   0666108 .
  2. Bonan, Edmond (1966), "Sur les variétés riemanniennes à groupe d'holonomie G2 ou Spin(7)", Comptes Rendus de l'Académie des Sciences , 262: 127–129.
  3. Bryant, Robert L. (1987), "Metrics with exceptional holonomy", Annals of Mathematics , 126 (2): 525–576, doi:10.2307/1971360, JSTOR   1971360 .
  4. Bryant, Robert L.; Salamon, Simon M. (1989), "On the construction of some complete metrics with exceptional holonomy", Duke Mathematical Journal , 58 (3): 829–850, doi:10.1215/s0012-7094-89-05839-0, MR   1016448 .
  5. Joyce, Dominic D. (2000), Compact Manifolds with Special Holonomy, Oxford Mathematical Monographs, Oxford University Press, ISBN   0-19-850601-5 .
  6. 1 2 Arikan, M. Firat; Cho, Hyunjoo; Salur, Sema (2013), "Existence of compatible contact structures on -manifolds", Asian Journal of Mathematics , 17 (2): 321–334, arXiv: 1112.2951 , doi:10.4310/AJM.2013.v17.n2.a3, S2CID   54942812 .
  7. Corti, Alessio; Haskins, Mark; Nordström, Johannes; Pacini, Tommaso (2015). "G2-manifolds and associative submanifolds via semi-Fano 3-folds" (PDF). Duke Mathematical Journal . 164 (10): 1971–2092. doi:10.1215/00127094-3120743. S2CID   119141666.
  8. de la Ossa, Xenia; Larfors, Magdalena; Magill, Matthew (2021). "Almost contact structures on manifolds with a G2 structure". arXiv: 2101.12605 .{{cite journal}}: Cite journal requires |journal= (help)

Further reading