Are nearby crossed homomorphisms from compact Lie groups crossed-conjugate?

Question

Charles Rezk had highlighted in MO:q/123624 that "Nearby homomorphisms from compact Lie groups are conjugate", and in consequence -- further highlighted in Remark 2.2.1 of his Global Homotopy Theory and Cohesion -- that for $G$ and $\Gamma$ Lie groups with $G$ compact, the homomorphism space $\mathrm{Hom}(G,\Gamma) \subset \mathrm{Maps}(G,\,\Gamma)$ decomposes under the adjoint action of $\Gamma$ as:

$$ \mathrm{Hom}(G,\,\Gamma) \;\;\;\;\simeq\; \underset{ { [\phi] \in } \atop { H^1_{\mathrm{Grp}}(G,\,\Gamma) } }{\coprod} \; \Gamma/\mathrm{Stab}_\Gamma(\phi) \;\;\;\;\; \in \Gamma \mathrm{Act}(\mathrm{TopSp}) \,. $$

I am wondering: Is the generalization of this statement to crossed homomorphisms still true?

To recall, for $G$ and $\Gamma$ two groups, and in addition for

$$ \alpha \;\colon\; G \longrightarrow \mathrm{Aut}_{\mathrm{Grp}}(\Gamma) $$

an action of $G$ on $\Gamma$ by group automorphisms, a function $\phi \;\colon\; G \longrightarrow \Gamma$ is a crossed homomorphism if

$$ \underset{g_1, g_2 \in G}{\forall} \;\;\; \phi(g_1 \cdot g_2) \;=\; \phi(g_1) \cdot \alpha(g_1) \big( \phi(g_2) \big) \,. $$

Moreover, a pair $\phi$, $\phi'$ of such crossed homomorphisms is "crossed conjugate" (this terminology I seem to making up, but the definition is standard) if there exists $\gamma \in \Gamma$ such that

$$ \underset{g \in G}{\forall} \;\;\; \phi'(g) \;=\; \gamma^{-1} \cdot \phi(g) \cdot \alpha(g)(\gamma) \,. $$

So I am wondering: Are nearby crossed homomorphisms crossed conjugate?

I like to think about this as follows (by this Prop.):

The crossed-conjugation groupoid of crossed homomorphisms is isomorphic to the groupoid of (strict, i.e. $\mathrm{Grpd}$-enriched) sections of the groupoid bundle $\mathbf{B} (\Gamma \rtimes_\alpha G) \xrightarrow{ \mathbf{B}\mathrm{pr}_2 } \mathbf{B} \Gamma$ which is the groupoidal delooping of the semidirect product group projection.

In other words:

A crossed homomorphism $\phi \,\colon\, G \xrightarrow{\;} \Gamma$ is the same as an actual homomorphism of the form $\big( \phi(-),\, (-)\big) \;\colon\; G \longrightarrow \Gamma \rtimes G$; and under this identification, a crossed conjugation is just a plain conjugation with elements of the form $(\gamma, \mathrm{e})$ in $\Gamma \hookrightarrow \Gamma \rtimes G$.

In this equivalent reformulation, the question becomes:

For $G$ and $\Gamma$ Lie groups, with $G$ compact, are nearby homomorphisms of the form $\big( \phi(-),\, (-) \big) \;\colon\; G \xrightarrow{\;} \Gamma \rtimes G$ conjugate not just by any element in $\Gamma \rtimes G$, but by an element of the form $(\gamma, \mathrm{e})$ in $\Gamma \hookrightarrow \Gamma \rtimes G$?

Using just the fact that nearby plain homomorphisms out of compact Lie groups are plain conjugate, one can immediately deduce that this crossed generalization is true in the special case that the action $\alpha \,\colon\, G \to \Gamma \rtimes G$ restricts to the trivial action on the center of $G$. However, this special case does not seem to be too interesting. For example in the archetypical application to twistings of Real K-theory, $G$ is abelian.

So it looks like to make progress here one needs to go into any one of the proofs that construct the conjugation of nearby homomorphisms and see if they can be enhanced to incorporate the above "section constraint" in the case that the codomain group is a semidirect product with the domain group. I admit that I haven't really looked into these proofs yet, firing off this question first to see if anyone has thought about it.

Answer 1

Yes, this is true.

The space of crossed homomorphisms from $G$ to $\Gamma$ could be identified, by taking graphs, with the space $Y$ consisting of subgroups of $\Gamma\rtimes G$ which intersect $\Gamma$ trivially and project onto $G$. You ask for discreteness of $Y$ modulo the $\Gamma$-conjugation action. Every such subgroup is the image of an homomoprhism $G\to \Gamma\rtimes G$, thus may be identified as an element of the space $\text{Hom}(G,\Gamma\rtimes G)$ modulo the action of $\text{Aut}(G)$ by pre-composition. Let me write $X$ for the subspace of $\text{Hom}(G,\Gamma\rtimes G)$ which is the preimage of $Y$. We know, by local rigidity, that $\text{Hom}(G,\Gamma\rtimes G)$ is discrete mod the action of $\Gamma\rtimes G$ by post-composition via the inner action. Thus also $X$, which is a subspace $\text{Hom}(G,\Gamma\rtimes G)$, and $Y$, which is a qoutient of $X$, are discrete mod the action of $\Gamma\rtimes G$. We are thus left to show that $\Gamma$ acts transitively on each $\Gamma\rtimes G$-orbit in $Y$. Note that every element in $y\in Y$ is a subgroup of $\Gamma\rtimes G$ satisfying $\Gamma\cdot y=\Gamma\rtimes G$ and the subgroup $y$ clearly stabilizes the element $y$ by the conjugation action. Thus indeed $\Gamma$ acts transitively on the orbit of $y$.