The inner automorphism 2-group of a group is essentially the sub-2-group of the automorphism 2-group $AUT(G)$ of $G$ of those automorphisms that are connected by a transformation to the identity: this makes the automorphism necessarily an inner automorphism.
In fact, more precisely the inner automorphism 2-group is the 2-group of these connecting transformations, i.e. it remembers the group element and the inner automorphism that it induces under conjugation.
Let $G$ be a group. Write $\mathbf{B}G$ for its delooping.
The inner automorphism 2-group $INN(G)$ of $G$ is the strict 2-group
whose objects are diagrams
in Grpd.
morphisms $\kappa : (\eta_1, \alpha_1) \to (\eta_2, \alpha_2)$ are commuting triangles of transformations
Equivalently, this is the action groupoid
of $G$ acting on itself.
Equivalently , this is the strict 2-group corresponding to the crossed module
with action $G \to Aut(G)$ given by right multiplication in $G$.
This makes it evident that $INN(G)$ is contractible
In fact, we may think of $INN(G)$ as the universal $G$-principal bundle in its incarnation in Grpd (as opposed to the more tradition incarnation in Top, to which it is Quillen equivalent by the homotopy hypothesis theorem).
To emphasize this we also write
We have a natural sequence of groupoids
It is an old theorem by Graeme Segal that under nerve followed by geometric realization this maps to the sequence of topological spaces
that is the universal $G$-bundle over the classifying space $\mathcal{B}G$ in its incarnation in Top.
The 2-group structure on $INN(G)$ is evident, and hence makes the fact evident that the universal $G$-bundle itself carries a group structure, which is compatibel with the group structure, in that the morphism $G \to \mathbf{E}G$ deloops to a morphism
This fact is useful in various applications in nonabelian cohomology.
Last revised on December 19, 2009 at 17:41:06. See the history of this page for a list of all contributions to it.