In
differential geometry, a ''G''
2 manifold is a seven-dimensional
Riemannian manifold
In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g'p'' on the tangent spac ...
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 geome ...
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 ...
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 symme ...
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 th ...
of the
octonions
In mathematics, the octonions are a normed division algebra over the real numbers, a kind of Hypercomplex number, hypercomplex Number#Classification, number system. The octonions are usually represented by the capital letter O, using boldface or ...
, or equivalently, as a proper subgroup of
special orthogonal group
In mathematics, the orthogonal group in dimension , denoted , is the group of distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by composing transformations. ...
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 equi ...
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
, 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 ...
,
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 known ...
in the sense of Reese Harvey and
H. Blaine Lawson
Herbert Blaine Lawson, Jr. is a mathematician best known for his work in minimal surfaces, calibrated geometry, and algebraic cycles. He is currently a Distinguished Professor of Mathematics at Stony Brook University. He received his PhD f ...
, and thus define special classes of 3- and 4-dimensional submanifolds.
Properties
All
-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 o ...
,
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 ...
spin manifold In differential geometry, a spin structure on an orientable Riemannian manifold allows one to define associated spinor bundles, giving rise to the notion of a spinor in differential geometry.
Spin structures have wide applications to mathematical ...
s. In addition, any compact manifold with holonomy equal to
has finite
fundamental group
In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of ...
, 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 bundle ...
, and non-zero third and fourth
Betti numbers
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 simplicia ...
.
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
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 Jim or James Simons may refer to:
*Jim Simons (mathematician) (born 1938), mathematician and hedge fund manager
*Jim Simons (golfer) (1950–2005), American golfer
*Jimmy Simons (born 1970), Dutch footballer
*Jimmy Simons, co-winner of 2001 Primeti ...
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 studie ...
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
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
were constructed by Bryant and Simon Salamon in 1989. 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. 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.
[.] 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
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 obt ...
, 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 superstring ...
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
In a supersymmetric theory the equations for force and the equations for matter are identical. In theoretical and mathematical physics, any theory with this property has the principle of supersymmetry (SUSY). Dozens of supersymmetric theories e ...
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. Witte ...
compactified on a
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 supermultiplet
Chirality is a property of asymmetry important in several branches of science. The word ''chirality'' is derived from the Greek (''kheir''), "hand", a familiar chiral object.
An object or a system is ''chiral'' if it is distinguishable from ...
s 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 simplicia ...
of the
manifold and a number of U(1)
vector 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 ...
s equal to the second Betti number. Recently it was shown that almost contact structures (constructed by
Sema Salur et al.)
play an important role in
geometry".
See also
*
Spin(7)-manifold
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 ...
*
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 superstring ...
References
Further reading
*
* .
*.
{{String theory topics , state=collapsed
Differential geometry
Riemannian geometry
Structures on manifolds