Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Cohomology and Extensions
Related concepts
geometric representation theory
representation, 2-representation, ∞-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Be?linson-Bernstein localization?
For a fixed group, to be called the equivariance group, then by a -equivariant group we mean a group object internal to -actions, e.g. internal to G-sets, G-spaces, or G-manifolds, etc.
Beware that the term “equivariant group” for this notion is non-standard; or rather: there is no other established term for this notion at all. The term is meant to rhyme on the established terminology of equivariant principal bundles, in which context it serves to make nicely transparent the full (but often hidden) internal nature of the concept: equivariant principal bundles have, in general, equivariant groups as their structure groups.
We discuss equivariant groups in/as topological spaces, for definiteness and due to their relevance as models in equivariant homotopy theory. All of the discussion generalizes, say to smooth manifolds or general toposes (see at category of G-sets – For internal group actions).
(convenient category of topological spaces)
We write
for any convenient category of topological spaces whose mapping space serves as an internal hom, such as
This means in particular that for , we have a natural bijection
between maps (meaning: continuous functions) out of the product topological space with and maps into the mapping space.
(topological -spaces)
For be a topological group – to be called the equivariance group – we write
for the category whose
objects are topological spaces equipped with continuous -actions
morphisms are -equivariant continuous functions between them (“maps”); i.e. for the category of “G-spaces”, often denote “” or even or similar.
(further conditions on the equivariance group)
For purposes of equivariant homotopy theory one typically assumes the topological equivariance group in Def. to be that underlying a compact Lie group, such as a finite group (as that guarantees that G-CW-complexes are well-behaved and that the equivariant Whitehead theorem holds). But for the plain point-set topology of equivariant groups and their equivariant bundles this condition is not necessary.
(topological G-spaces are cartesian monoidal) The category of topological G-spaces (Def. ) is a Cartesian monoidal category: The Cartesian product of two topological G-spaces is the underlying product topological space equipped with the diagonal action by :
(equivariant topological groups)
Given an equivariance group (Def. ), a -equivariant topological group is a group object internal to topological G-spaces (Def. ):
Since the forgetful functor from topological G-spaces (Def. ) to underlying topological spaces
preservesCartesian products (explicitly so by Remark ), it preserves group objects and hence sends -equivariant topological groups (Def. ) to underlying plain topological groups:
(Equivariant groups as semidirect product groups)
The category of -equivariant topological groups (Def. ) is equivalent
to that of semidirect product groups of the form
and regarded as pointed objects in the slice category of Groups over via the canonical homomorphisms
(which jointly witness the semidirect product as a split group extension of , see there).
This is a straightforward matter of unwinding the definitions:
First to see that we have a functor as claimed:
A group object in is, by definition, a plain topological group whose underlying topological space is equipped with a continuous -action and such such this -action preserves all its group operations. In other words, this is a group and a homomorphism to the group-automorphism group (whose hom-adjunct (1) is continuous).
This is exactly the data that determines the semidirect product group (4).
Moreover, a homomorphism of equivariant groups is a continuous group homomorphism whose underlying map is -equivariant in that
By (4) this means that induces a group homomorphism of semidirect product groups of the form
This construction
is clearly functorial.
It remains to see that this functor is a full subcategory-inclusion, hence a fully faithful functor, hence that it is a bijection on hom-sets for any pair of objects:
But by (6) the homomorphisms of semidirect product groups in its image are precisely those of the product form , and this is exactly the form of the homomorphisms between semidirect product groups that is picked out by slicing over and under (by Remark ).
Here and in the following we use that a group homomorphism out of a semidirect product group (4) is fixed already by its restriction to the two canonical subgroups
because every element of the semidirect product is equal to a product of elements from these subgroups:
This implies in particular that
(equivariant group actions as semidirect product group actions)
Under the identification from Prop. of -equivariant groups with semidirect product groups , we have an equivalence of their actions, given by:
with
We observe that the given formula in fact establishes a bijection between the two kinds of actions:
First, notice by the decomposition (7) in Remark , that any action of can be written in the form (9) for some actions and of and , respectively, satisfying some compatibility conditions:
the action property of is equivalently the action property of on elements of the form ;
the action property of on the underlying topological spaces is equivalently the action property of on elements of the form ;
the -equivariance of
is equivalent to the action property of on mixed pairs of elements of the form :
These three conditions exhaust the conditions on to be a -equivariant action. Therefore it just remains to see that they also exhaust the conditions on to be a plain action:
But the remaining mixed action conditions on
and
follow right from the definition (9) and using again (in the highlighted steps “”):
the action propery of from item 2 above;
the -equivariance of (10) from item 3 above.
In conclusion, is an action of the semidirect product group on iff is a -equivariant action of on .
This implies immediately that the condition for a map to be an action homomorphisms on both sides are the same.
And so the functor (8) is in fact an isomorphism on both objects as well as morphisms, hence in particular is an equivalence of categories.
Last revised on March 20, 2021 at 08:35:20. See the history of this page for a list of all contributions to it.