superalgebra and (synthetic ) supergeometry
Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Cohomology and Extensions
Related concepts
A super-translation group is a supergroup generalization of the translation group, hence of the additive Lie group . Its underlying supermanifold is a super-Euclidean space or super-Minkowski spacetime.
Given a super Poincaré Lie algebra extension of a orthogonal Lie algebra for some spin representation , then the corresponding super-translation Lie algebra is the quotient
See at super Minkowski spacetime.
The underlying super vector space of this is
where is the vector space underlying the given spin representation.
The super Lie algebra structure is mildly non-abelian with the only non-trivial bracket being that between two spinors and given by the bilinear pairing (the charge conjugation matrix) between two spinors:
where is a basis for the translation generators in .
The super-translation Lie algebra is a super-Lie algebra extension of the abelian super Lie algebra which is just the superpoint by the super Lie algebra cocycles
for , where are the basis elements of .
This simple but maybe noteworthy fact has been highlighted in the context of the brane scan in (CAIP 99, section 2.1).
This mechanism plays a role in string theory when realizing as a central extension of , for this formalizes aspects of the idea that type IIA string theory with a D0-brane condensate is 11-dimensional supergravity/M-theory (FSS 13).
The additive group structure on is given on generalized elements in (i.e. in the logic internal to) the topos of sheaves on the category SCartSp of cartesian superspaces by
Recall how the notation works here: by the Yoneda embedding we have a full and faithful functor
and we also have the theorem, discussed at supermanifolds, that maps from some into is given by a tuple of even section and odd sections . The above notation specifies the map of supermanifolds by displaying what map of sets of maps from some test object it corresponds to under the Yoneda embedding.
Now, for each SDiff there is a group structure on the hom-set given by precisely the above formula for this given
where etc and where the addition and product on the right takes place in the function super algebra .
Since the formula looks the same for all , one often just writes it without mentioning as above.
We spell out the super-translation super Lie group-structure on the supermanifold underlying super Minkowski spacetime, hence equivalently of the quotient super Lie group of the super Poincaré group (the “supersymmetry” group) by its Lorentzian spin-subgroup:
Here
is the spatial dimension (a natural number),
is a real spin representation equipped with a linear map
which is symmetric and -equivariant.
First, the super-Minkowski super Lie algebra structure on the super vector space
is defined, dually, by the Chevalley-Eilenberg dgc-superalgebra with generators of bidegree
generator | bidegree |
---|---|
for indexing a linear basis of and indexing a linear basis of by the differential equations
The first differential is the linear dual of the archetypical super Lie bracket in the supersymmetry super Lie algebra which takes two odd elements to a spatial translation. The second differential is the linear dual of the fact that in the absence of rotational generators, no Lie bracket in the supersymmetry alegbra results in a non-vanishing odd element.
Next we regard not just as a super vector space but as a Cartesian supermanifold. As such it has canonical coordinate functions
generator | bidegree |
---|---|
On this supermanifold, consider the super coframe field
(where on the left we have the tangent bundle and on the right its typical fiber super vector space) given by
It is clear that this is a coframe field in that for all it restricts to an isomorphism
and the peculiar second summand in the first line is chosen such that its de Rham differential has the same form as the differential in the Chevalley-Eilenberg algebra (2).
(Incidentally, a frame field linear dual to the coframe field (3) is
which are the operators often stated right away in introductory texts on supersymmetry.)
This fact, that the Maurer-Cartan equations of a coframe field (3) coincide with the defining equations (2) of the Chevalley-Eilenberg algebra of a Lie algebra of course characterizes the left invariant 1-forms on a Lie group, and hence what remains to be done now is to construct a super Lie group-structure on the supermanifold with respect to which the coframe (3) is left invariant 1-form.
Recalling (from here) that a morphism of supermanifolds is dually given by a reverse algebra homomorphism between their function algebras, which in the present case are freely generated by the above coordinate functions, we denote the canonical coordinates on the Cartesian product by for the first factor and for the second, and declare a group product operation as follows:
(cf. CAIP99, (2.1) & (2.6))
Here the choice of notation for the coordinates on the left is adapted to thinking of this group operation equivalently as the left multiplication action of the group on itself, which makes the following computation nicely transparent.
Indeed, the induced left action of the super-group on its odd tangent bundle
is dually given by
and left-invariance of the coframe (2) means that it is fixed by this operation (so the differential in the following computation is just that of the second factor, hence acting on unprimed coordinates only):
This shows that if (4) is the group product of a group object in SuperManifolds then the corresponding super Lie algebra is the super-Minkowski super translation Lie algebra and hence that this group object is the desired super-Minkowski super Lie group.
So, defining the remaining group object-operations as follows:
we conclude by checking the group object-axioms:
For associativity we need to check that the following diagram commutes:
and indeed it does — the term vanishes because the anti-commute among themselves, while the pairing (1) is symmetric:
For unitality we need to check that the following diagram commutes:
and indeed it does:
And finally, for invertibility we need to check that the following diagram commutes:
and indeed it does:
On the -dimensional super translation group :
Veeravalli Varadarajan, pp. 277 of: Supersymmetry for mathematicians: An introduction, Courant Lecture Notes in Mathematics 11, American Mathematical Society (2004) [doi:10.1090/cln/011, pdf]
Pierre Deligne: from 56:41 in lecture I of: Supermoduli – Methods from Algebraic Geometry, lecture series at Supermoduli Workshop, Simons Center @ Stony Brook (2015) [scgp video: I, II, III, IV, V; YouTube:I]
The group law for general , stated in algebraic form:
(in the context of the brane scan)
Last revised on August 27, 2024 at 15:48:39. See the history of this page for a list of all contributions to it.