This entry contains one chapter of geometry of physics. See there for background and context.
previous chapters: groups, principal bundles
next chapter: modules
The mathematical term group is short for group of symmetries, namely of symmetries of some object. That a group is the group of symmetries of some is technically expressed by there being an action of on . Generally, or at least if and this representation are suitably linear, this is also called a representation of (namely a representation of the abstract group as an actual group of symmetries).
The chapter geometry of physics – groups discusses in detail how in geometric homotopy theory groups are equivalent to groupoids which have a single object and as the automorphisms of that object, if only is regarded as a pointed object via the canonical base point inclusion .
This perspective turns out to be exceedingly useful for the discussion of the representations of : these turn out to be equivalent simply to -dependent types, hence to any bundles over . Given such, then the object that that this encodes an action on is the homotopy fiber of this map
In traditional literature this is familiar in special cases, where the perspective is usually the opposite: given an action of on , then there is the associated bundle which is associated to the -universal principal bundle via the action.
Indeed, in the generality of geometric homotopy theory, this association is an equivalence, so that actions and universal associated bundles are essentially the same concept.
We discuss here ordinary groups (i.e. infinity-groups which are just 1-groups), and their ordinary actions and ordinary associated bundles. Even that ordinary case profits from its formulation via action groupoids, but its key advantage is that this formulation seamlessly generalizes.
We discuss here traditional concept of discrete groups acting on a sets (“permutation representations”) but phrased in terms of action groupoids sliced over delooping groupoids. The discussion immediately, and essentially verbatim, generalizes to pre-smooth groupoids and to smooth groupoids proper.
Write Grpd for the (2,1)-category of groupoids, the full sub-(infinity,1)-category of ∞Grpd on the 1-truncated objects.
We write
for a groupoid object given by an explicit choice of set of objects and of morphisms and then write for the object that this presents in the -category. Given any such , we recover a presentation by choosing any essentially surjective functor (an atlas) out of a set (regarded as a groupoid) and setting
hence taking as the set of objects and the homotopy fiber product of with itself over as the set of morphism.
For a discrete group, then denotes the groupoid presented by with composition operation given by the product in the group. Of the two possible ways of making this identification, we agree to use
Given a discrete group and an action of on a set
then the corresponding action groupoid is
with composition given by the product in . Hence the objects of are the elements of , and the morphisms are labeled by elements and are such that .
Schematically:
For the unique and trivial -action on the singleton set , we have
This makes it clear that:
In the situation of def. , there is a canonical morphism of groupoids
which, in the above presentation, forgets the labels of the objects and is the identity on the labels of the morphisms.
This morphism is an isofibration.
For a discrete group, given two -actions and on sets and , respectively, then there is a natural equivalence between the set of action homomorphisms (“intertwiners”) , regarded as a groupoid with only identity morphisms, and the hom groupoid of the slice between their action groupoids regarded in the slice via the maps from prop.
One quick way to see this is to use, via the discussion at slice (infinity,1)-category, that the hom-groupoid in the slice is given by the homotopy pullback of unsliced hom-groupoids
Now since is an isofibration, so is , and hence this is computed as an ordinary pullback (in the above presentation). That in turn gives the hom-set in the 1-categorical slice. This consists of functors
which strictly preserves the -labels on the morphisms. These are manifestly the intertwiners.
The homotopy fiber of the morphism in prop. is equivalent to the set , regarded as a groupoid with only identity morphisms, hence we have a homotopy fiber sequence of the form
In the presentation of def. , is an isofibration, prop. . Hence the homotopy fibers of are equivalent to the ordinary fibers of computed in the 1-category of 1-groupoids. Since is the identity on the labels of the morphisms in this presentation, this ordinary fiber is precisely the sub-groupoid of consisting of only the identity morphismss, hence is the set regarded as a groupoid.
Conversely, the following construction extract a group action from a homotopy fiber sequence of groupoids of this form.
Given a homotopy fiber sequence of groupoids of the form
such that is equivalent to a set , define a -action on this set as follows.
Consider the homotopy fiber product
of with itself. By the pasting law applied to the total homotopy pullback diagram
there is a canonical equivalence of groupoids
such that one of the two canonical maps from the fiber product to is projection on the first factor. The other map under this equivalence we denote by :
The functor is clerly essentially surjective (every connected component of has a homotopy fiber under its map to ). This implies that is presented by
But this already exhibits as an action groupoid, in particular it mans that is really an action:
The morphism constructed in def. is a -action in that it satisfies the action propery, which says that the diagram (of sets)
For a discrete group, there is an equivalence of categories
between the category of permutation representations of and the full subcategory of the slice (2,1)-category of Grpd over on the 0-truncated objects.
This equivalence takes an action to its action groupoid.
By remark the construction of action groupoids is essentially surjective. By prop. it is fully faithful.
One remarkable consequence of prop. is that it says that categories of actions are slices of (2,1)-toposes, hence are slice (2,1)-toposes hence in particular are themselves (2,1)-topos. In particular there is an internal hom of actions. This is the conjugation action construction.
Given a discrete group and two -actions and on sets and , respectively, then the function set is naturally equipped with the conjugation action
which takes to
The conjugation action construction of def. is the internal hom in the category of actions.
We need to show that for any three permutation representations, functions
which intertwine the -action on with the conjugation action on are in natural bijection with functions
which intertwine the diagonal action on the Cartesian product with the action on .
The condition on means that for all and it sends
This is equivalently a function of two variables which sends
Since this has to hold for all values of the variables, it has to hold when substituing with . After this substitution the above becomes
This is the intertwining condition on . Conversely, given satisfying this for all values of the variables, then running the argument backwards shows that its hom-adjunct satisfies its required intertwining condition.
The following is immediate but conceptually important:
The invariants of the conjugation action on is the set of action homomorphisms/intertwiners.
Hence the inclusion of invariants into the conjugation action gives the inclusion of the external hom set of the category of -actions into the set underlying the internal hom
Given any with its canonical action of its automorphism group , regard any as equipped with the trivial -action.
Then the conjugation action, def. , on is the action by precomposition with automorphisms of .
At geometry of physics – principal bundles in the section Smooth principal bundles via smooth groupoids is discussed how smooth principal bundles for a Lie group over a smooth manifold are equivalently the homotopy fibers of morphisms of smooth groupoids (smooth stacks) of the form
Now given an action of on some smooth manifold , and regardiing this action via its action groupoid projection as discussed above, then we may consider these two morphisms into jointly
and so it is natural to construct their homotopy fiber product.
We now discuss that this is equivalently the associated bundle which is associated to the principal bundle via the action .
For a smooth group (e.g. a Lie group), a smooth manifold, a smooth -principal bundle over and a smooth action of on some smooth manifold , then the associated -fiber bundle is equivalently (regarded as a smooth groupoid) the homotopy pullback of the action groupoid-projection along a morphism which modulates
By the discussion at geometry of physics – principal bundles in the section Smooth principal bundles via smooth groupoids, the morphism of smooth groupoids is presented by a morphism of pre-smooth groupoids after choosing an open cover over wich trivialize and choosing a trivialization, by the zig-zag
where the top morphism is the Cech cocycle of the given local trivialization regarded as a morphism out of the Cech groupoid of the given cover.
Moreover, by prop. the morphism is a global fibration of pre-smooth groupoids, hence, by the discussion at geometry of physics – smooth homotopy types, the homotopy pullback in question is equivalently computed as the ordinary pullback of pre-smooth groupoids of along this
This pullback is computed componentwise. Hence it is the pre-smooth groupoid whose morphisms are pairs consisting of a morphism in the Cech groupoid as well as a morphism in the action groupoid, such that the group label of the latter equals the cocycle of the cocycle on the former. Schematically:
This means that the pullback groupoid has at most one morphism between every ordered pair of objects. Accordingly this groupoid is equivalence of groupoids equivalent to the quotient of its space of objects by the equivalence relation induced by its morphisms:
This is a traditional description of the associated bundle in question.
One advantage of the perspective on representations via action groupoids is that it gives a good formulation of the invariants and the coinvariants of actions. The invariants are the sections of the action groupoid projection, while the coivariants in fact are the action groupoid itself.
For a discrete group, a -action on some set , then the set of invariants of that action is equivalent to the groupoid of sections of the action groupoid projection of prop. , corresponding to the action via prop. .
The sections in question are diagrams in Grpd of the form
hence the groupoid which they form is equivalently the hom-groupoid
in the slice of Grpd over . As in the proof of prop. , with the fibrant presentation of prop. , this is equivalently given by strictly commuting diagrams of the form
These now are manifestly functors that are the identiy on the group labels of the morphisms
This shows that they pick precisely those elements which are fixed by the -action .
Moreover, since these functors are identity on the group labels, there are no non-trivial natural isomorphisms between them, and hence the groupoid of sections is indeed a set, the set of invariant elements.
More generally, we may consider sections of these groupoid projections after pulling them back along some cocycle:
Given an associated bundle modulated, as in prop. , by a morphism of smooth groupoids of the form , then its set of sections is equivalently the groupoid of diagrams
hence the groupoid of sections is equivalently the slice hom-groupoid
By the defining universal property of the homotopy pullback in prop. .
Taken together this means that invariants of group actions are equivalently the sections of the corresponding universal associated bundle.
Given an ordinary discrete group and an action of the group on some set , then for any element, the stabilizer group
is the subgroup of consisting of those group elements under whose action the element does not change (is “stable”):
We observe that this has the following intrinsic reformulation. Write again
for the action groupoid homotopy fiber sequence that corresponds to via prop. .
The stabilizer group of under acting on is equivalently the looping of the action groupoid at the point :
Since is a 1-groupoid, the loop space object is simply the automorphism group of regarded as an object in the action groupoid, hence the group of morphisms in from to . Comparison with def. shows that these morphisms are precisely those labeled by elements for which .
The above perspective on ordinary representations of ordinary groups on sets via their action groupoid projection has the advantage that it immediately generalizes to a definition where 1-groups act on more general homotopy types up to coherent homotopy, hence to infinity-representations or infinity-actions.
Given a discrete group and a Kan complex , then an infinity-representation or infinity-action of on is another Kan complex, to be denoted , equipped with a simplicial map to the nerve of , such that the homotopy fiber of that map is weakly homotopy equivalent to .
Given an abelian group and , write for the Kan complex which is the image under the Dold-Kan correspondence of the chain complex that is concentrated on in degree .
Then for a discrete group, the mapping complex
is the infinity-groupoid whose objects are the degree- group cocycles on with coefficients in (regarded as a -module with trivial action), whose morphisms are the coboundaries between these cocycles, and whose higher morphisms are higher order coboundaries-of-coboundaries.
Being a mapping space, this naturally carries a precomposition action by the automorphism infinity-group of , which is also known as the automorphism 2-group of . Restricting this to pointed automorphisms is is the 1-group of invertible group homomorphisms of .
We now consider any (∞,1)-topos and formulate the group actions and their associated bundles in general abstractly here.
By the discussion at geometry of physics – groups, group objects in an (∞,1)-category are equivalently pointed connected objects which we write , the group itself being the loop space object
formed at the given base point.
In view of this, the characterization of ordinary group action according to prop. has an immediate generalization to ∞-groups in any (∞,1)-topos
Given an ∞-group and any object , then an ∞-action of on is a homotopy fiber sequence in of the form
The object defined thereby we call the homotopy quotient of by via this action.
We had seen above in prop. that the traditional concept of stabilizer groups of group actions is equivalent to groups of loops in the action groupoid of the given action. This equivalent reformulation has an immediate generalization to ∞-actions, def. .
For an (∞,1)-topos, an object equipped with ∞-group structure, hence with a delooping G, and for an ∞-action of on some , exhibited by a homotopy fiber sequence of the form
Given a global element of
then the stabilizer -group of the -action at is the loop space object
Equivalently, def. , gives the loop space object of the 1-image of the morphism
As such the delooping of the stabilizer -group sits in a 1-epimorphism/1-monomorphism factorization which combines with the homotopy fiber sequence of prop. to a diagram of the form
In particular there is hence a canonical homomorphism of -groups
However, in contrast to the classical situation, this morphism is not in general a monomorphism anymore, hence the stabilizer is not a sub-group of in general.
(…)
(…)
(…)
Last revised on April 7, 2020 at 23:49:13. See the history of this page for a list of all contributions to it.