nLab
strict Lie 2-algebra

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

∞-Lie theory

∞-Lie theory

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Examples

∞-Lie groupoids

∞-Lie groups

∞-Lie algebroids

∞-Lie algebras

Contents

Idea

A strict Lie 2-algebra is the infinitesimal approximation to a smooth strict 2-group in generalization of how an ordinary Lie algebra is the infinitesimal approximation to a Lie group.

Definition

The notion of strict Lie 2-algebra is the special case of a general notion Lie 2-algebra for which the Jacobi identity does hold (and not just up to nontrivial isomorphism).

More precisely: a strict Lie 2-algebra is an ∞-Lie algebra with generators just in degree 1 and 2 and at most the unary and binary brackets being nontrivial.

Equivalently, this is a dg-Lie algebra with generators in the lowest two degrees.

In direct analogy to how strict 2-groups are equivalently encoded in a smooth crossed module of groups, a strict Lie 2-algebra is equivalently encoded in a differential crossed module of ordinary Lie algebras.

Examples

Derivation Lie 2-algebra

The Lie version of a smooth automorphism 2-group is the derivation Lie 2-algebra Der(𝔤) of an ordinary Lie algebra 𝔤. This is the one coming from the differential crossed module (𝔤→adder(𝔤)).

Revised on August 28, 2011 12:57:51 by Urs Schreiber (89.204.153.64)
Edit | Back in time (5 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: Lie groupoid, Lie theory for stacky Lie groupoids, Lie theory, NQ-supermanifold, Lie's three theorems, Lie algebroid, Lie integration, BRST complex, differentiable stack, Lie algebra, BV-BRST formalism, L-infinity-algebra, Chevalley-Eilenberg algebra, Weil algebra, smooth infinity-groupoid, Lie infinity-algebroid, Courant algebroid, Maurer-Cartan equation, differential graded Lie algebra, Lie infinity-algebroid representation, path groupoid, Atiyah Lie groupoid, orbifold, Lie group, orbispace, path n-groupoid, path infinity-groupoid, groupoid of Lie-algebra valued forms, Ehresmann connection, Killing form, formal group, differential crossed module, Lie 2-algebra, tangent Lie algebroid, invariant polynomial, super Lie algebra, super Poincare Lie algebra, String Lie 2-algebra, supergravity Lie 3-algebra, string 2-group, spin group, special orthogonal group, orthogonal group, Lie algebra cohomology, fivebrane 6-group, symplectic groupoid, Lie algebra extension, Chern-Weil theory, Maurer-Cartan form, Lie-Rinehart pair, symplectic Lie n-algebroid, Poisson Lie algebroid, nonabelian Lie algebra cohomology, strict Lie 2-algebra, infinity-Lie theory - contents, Atiyah Lie algebroid, foliation, local Lie group, Lie operad, differential 2-crossed module, 2-groupoid of Lie 2-algebra valued forms, LieAlg, infinity-Lie algebra cohomology, division algebra and supersymmetry, semisimple Lie algebra, Lie 2-group, Lie 3-algebra, curvature characteristic form, infinity-Lie theory, Cartan calculus, automorphism infinity-Lie algebra, E8, Lie derivative, 3-groupoid of Lie 3-algebra valued forms, Lie 3-group, infinity-Lie group, Jacobi identity, orthogonal Lie algebra, function algebras on infinity-stacks, matrix Lie algebra, matrix Lie group, diffeological groupoid, simple Lie algebra, abelian Lie algebra, simple Lie group, infinity-Lie algebroid-valued differential form, Lie 2-groupoid, proper Lie groupoid, Chern-Simons element, L-infinity operad, action Lie algebroid, classical Lie group, exceptional Lie group, inner derivation Lie 2-algebra, BF-theory, fivebrane Lie 6-algebra, effective Lie groupoid, Morita morphism, supergravity Lie 6-algebra, holonomy groupoid, general linear Lie algebra, Formal Moduli Problems and DG-Lie Algebras, model structure on dg-Lie algebras, formal groupoid, Tannaka duality for Lie groupoids, formal cohesive infinity-groupoid, smooth infinity-groupoid -- structures, line Lie n-algebra, homotopy groups of a Lie groupoid, Deligne groupoid, synthetic differential infinity-groupoid, endomorphism dg-Lie algebra, super L-infinity algebra, Quantization of Gauge Systems, semisimple Lie group, Gelfand-Fuks cohomology, compact Lie algebra, concrete smooth infinity-groupoid, model structure for L-infinity algebras, reductive Lie algebra, Hausdorff series, Connections, Curvature, and Cohomology, foliation of a Lie algebroid, simplicial Lie algebra, contents of contents, derivation Lie 2-algebra, bivector, G2, Heisenberg Lie algebra, symplectic infinity-groupoid, geometric quantization of symplectic groupoids, differential graded manifold, current algebra, unitary Lie algebra, Lie bialgebra, model structure on simplicial Lie algebras, Kac-Moody algebra, infinite-dimensional Lie group, E6, Hilbert's fifth problem, affine Lie algebra, smooth groupoid, special unitary Lie algebra, quantum affine algebra, synthetic differential super infinity-groupoid, maximal torus, Dirac manifold, bisection of a Lie groupoid, Lie-Poisson structure, PBW theorem, nonabelian Stokes theorem, universal enveloping E-n algebra, singular foliation, smooth 2-group, Cartan-Dirac structure on a Lie group, Cartan subalgebra, coadjoint action, Lie differentiation, Weyl group, Bott connection, type II supergravity Lie 2-algebra, Poisson cohomology, double Lie algebroid, foliation of a Lie groupoid