nLab
G2

Context

Group Theory

\infty-Lie theory

∞-Lie theory

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Examples

\infty-Lie groupoids

\infty-Lie groups

\infty-Lie algebroids

\infty-Lie algebras

Contents

Idea

The Lie group G 2G_2 is one (or rather: three) of the exceptional Lie groups. One way to characterize it is as the automorphism group of the octonions. Another way to characterize it is as the subgroup of the general linear group GL(7)GL(7) of those elements that preserve the canonical differential 3-form ,()×()\langle ,(-)\times (-) \rangle on the Cartesian space 7\mathbb{R}^7. As such, the group G 2G_2 is a higher analog of the symplectic group (which is the group that preserves a canonical 2-form on any 2n\mathbb{R}^{2n}), obtained by passing from symplectic geometry to 2-plectic geometry.

Definition

Definition

On the Cartesian space 7\mathbb{R}^7 consider the associative 3-form, the constant differential 3-form ωΩ 3( 7)\omega \in \Omega^3(\mathbb{R}^7) given on tangent vectors u,v,w 7u,v,w \in \mathbb{R}^7 by

ω(u,v,w)u,v×w, \omega(u,v,w) \coloneqq \langle u , v \times w\rangle \,,

where

Then the group G 2GL(7)G_2 \hookrightarrow GL(7) is the subgroup of the general linear group acting on 7\mathbb{R}^7 which preserves the canonical orientation and preserves this 3-form ω\omega. Equivalently, it is the subgroup preserving the orientation and the Hodge dual differential 4-form ω\star \omega.

See for instance the introduction of (Joyce).

Properts

General

The inclusion G 2GL(7)G_2 \hookrightarrow GL(7) of def. 1 factors through the special orthogonal group

G 2SL(7)GL(7). G_2 \hookrightarrow SL(7) \hookrightarrow GL(7) \,.

Relation to higher prequantum geometry

The 3-form ω\omega from def. 1 we may regard as equipping 7\mathbb{R}^7 with 2-plectic structure. From this point of view G 2G_2 is the linear subgroup of the 2-plectomorphism group, hence (up to the translations) the image of the Heisenberg group of ( 7,ω)(\mathbb{R}^7, \omega) in the symplectomorphism group.

Or, dually, we may regard the 4-form ω\star \omega of def. 1 as being a 3-plectic structure and G 2G_2 correspondingly as the linear part in the 3-plectomorphism group of 7\mathbb{R}^7.

References

General

Surveys are in

  • Spiro Karigiannis, What is… a G 2G_2-manifold (pdf)

  • Wikipedia, G2 .

The definitions are reviewed for instance in

  • Dominic Joyce, Compact Riemannian 7-manifolds with holonomy G 2G_2, Journal of Differential Geometry vol 43, no 2 (pdf)
  • The octonions and G 2G_2 (pdf)

Discussion in terms of the Heisenberg group in 2-plectic geometry is in

Cohomological properties are discussed in

  • Younggi Choi, Homology of the gauge group of exceptional Lie group G 2G_2, J. Korean Math. Soc. 45 (2008), No. 3, pp. 699–709

Applications in physics

Discussion of Yang-Mills theory with G 2G_2 as gauge group is in

  • Ernst-Michael Ilgenfritz, Axel Maas, Topological aspects of G2 Yang-Mills theory (arXiv:1210.5963)
Revised on December 15, 2012 06:26:23 by Urs Schreiber (71.195.68.239)