G2 manifold
   HOME

TheInfoList



OR:

In differential geometry, a ''G''2 manifold is a seven-dimensional Riemannian manifold with
holonomy group 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 geomet ...
contained in ''G''2. The
group A group is a number of persons or things that are located, gathered, or classed together. Groups of people * Cultural group, a group whose members share the same cultural identity * Ethnic group, a group whose members share the same ethnic ide ...
G_2 is one of the five exceptional
simple Lie group In mathematics, a simple Lie group is a connected non-abelian Lie group ''G'' which does not have nontrivial connected normal subgroups. The list of simple Lie groups can be used to read off the list of simple Lie algebras and Riemannian symm ...
s. It can be described as the
automorphism group In mathematics, the automorphism group of an object ''X'' is the group consisting of automorphisms of ''X'' under composition of morphisms. For example, if ''X'' is a finite-dimensional vector space, then the automorphism group of ''X'' is the g ...
of the
octonions In mathematics, the octonions are a normed division algebra over the real numbers, a kind of hypercomplex number system. The octonions are usually represented by the capital letter O, using boldface or blackboard bold \mathbb O. Octonions have ...
, or equivalently, as a proper subgroup of special orthogonal group SO(7) that preserves a
spinor In geometry and physics, spinors are elements of a complex vector space that can be associated with Euclidean space. Like geometric vectors and more general tensors, spinors transform linearly when the Euclidean space is subjected to a sligh ...
in the eight-dimensional
spinor representation In mathematics, the spin representations are particular projective representations of the orthogonal or special orthogonal groups in arbitrary dimension and signature (i.e., including indefinite orthogonal groups). More precisely, they are two e ...
or lastly as the subgroup of the
general linear group In mathematics, the general linear group of degree ''n'' is the set of invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, ...
GL(7) which preserves the non-degenerate 3-form \phi, the associative form. The
Hodge dual In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate symmetric bilinear form. Applying the operator to an element of the a ...
, \psi=*\phi is then a parallel 4-form, the coassociative form. These forms are
calibrations In measurement technology and metrology, calibration is the comparison of measurement values delivered by a device under test with those of a calibration standard of known accuracy. Such a standard could be another measurement device of know ...
in the sense of Reese Harvey and H. Blaine Lawson, and thus define special classes of 3- and 4-dimensional submanifolds.


Properties

All G_2-manifold are 7-dimensional,
Ricci-flat In the mathematical field of differential geometry, Ricci-flatness is a condition on the curvature of a Riemannian manifold. Ricci-flat manifolds are a special kind of Einstein manifold. In theoretical physics, Ricci-flat Lorentzian manifolds are ...
,
orientable In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "counterclockwise". A space i ...
spin manifolds. In addition, any compact manifold with holonomy equal to G_2 has finite fundamental group, non-zero first
Pontryagin class In mathematics, the Pontryagin classes, named after Lev Pontryagin, are certain characteristic classes of real vector bundles. The Pontryagin classes lie in cohomology groups with degrees a multiple of four. Definition Given a real vector bundl ...
, and non-zero third and fourth Betti numbers.


History

The fact that G_2 might possibly be the holonomy group of certain Riemannian 7-manifolds was first suggested by the 1955 classification theorem of
Marcel Berger Marcel Berger (14 April 1927 – 15 October 2016) was a French mathematician, doyen of French differential geometry, and a former director of the Institut des Hautes Études Scientifiques (IHÉS), France. Formerly residing in Le Castera in Las ...
, 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 Edmond Bonan (born 27 January 1937 in Haifa, Mandatory Palestine) is a French mathematician, known particularly for his work on special holonomy. Biography After completing his undergraduate studies ...
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. The first local examples of 7-manifolds with holonomy G_2 were finally constructed around 1984 by Robert Bryant, and his full proof of their existence appeared in the Annals in 1987. Next, complete (but still noncompact) 7-manifolds with holonomy G_2 were constructed by Bryant and Simon Salamon in 1989. The first compact 7-manifolds with holonomy G_2 were constructed by
Dominic Joyce Dominic David Joyce Fellow of the Royal Society, FRS (born 8 April 1968) is a British mathematician, currently a professor at the University of Oxford and a fellow of Lincoln College, Oxford, Lincoln College since 1995. His undergraduate and doc ...
in 1994. Compact G_2 manifolds are therefore sometimes known as "Joyce manifolds", especially in the physics literature. In 2013, it was shown by M. Firat Arikan, Hyunjoo Cho, and
Sema Salur 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 associa ...
that any manifold with a spin structure, and, hence, a G_2-structure, admits a compatible almost contact metric structure, and an explicit compatible almost contact structure was constructed for manifolds with G_2-structure.. In the same paper, it was shown that certain classes of G_2-manifolds admit a contact structure. In 2015, a new construction of compact G_2 manifolds, due to
Alessio Corti Alessio Corti (born 1965) is a Professor of Mathematics at Imperial College London working in Algebraic Geometry. Corti studied at the University of Pisa and Scuola Normale Superiore in Pisa, where he gained a diploma (Laurea) in 1987. He o ...
, Mark Haskins, Johannes Nordstrőm, and Tommaso Pacini, combined a gluing idea suggested by
Simon Donaldson Sir Simon Kirwan Donaldson (born 20 August 1957) is an English mathematician known for his work on the topology of smooth (differentiable) four-dimensional manifolds, Donaldson–Thomas theory, and his contributions to Kähler geometry. H ...
with new algebro-geometric and analytic techniques for constructing
Calabi–Yau manifold In algebraic 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 superstri ...
s with cylindrical ends, resulting in tens of thousands of diffeomorphism types of new examples.


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 M-theory is a theory in physics that unifies all consistent versions of superstring theory. Edward Witten first conjectured the existence of such a theory at a string theory conference at the University of Southern California in 1995. Witten's ...
compactified on a G_2 manifold leads to a realistic four-dimensional (11-7=4) theory with N=1 supersymmetry. The resulting low energy effective
supergravity In theoretical physics, supergravity (supergravity theory; SUGRA for short) is a modern field theory that combines the principles of supersymmetry and general relativity; this is in contrast to non-gravitational supersymmetric theories such as ...
contains a single supergravity
supermultiplet In theoretical physics, a supermultiplet is a representation of a supersymmetry algebra. Then a superfield is a field on superspace which is valued in such a representation. Naïvely, or when considering flat superspace, a superfield can simply b ...
, a number of chiral supermultiplets equal to the third
Betti number In algebraic topology, the Betti numbers are used to distinguish topological spaces based on the connectivity of ''n''-dimensional simplicial complexes. For the most reasonable finite-dimensional spaces (such as compact manifolds, finite simplici ...
of the G_2 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 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 associa ...
et al.) play an important role in G_2 geometry".


See also

* Spin(7)-manifold *
Calabi–Yau manifold In algebraic 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 superstri ...


References


Further reading

* * . *. {{String theory topics , state=collapsed Differential geometry Riemannian geometry Structures on manifolds