Crossed Homomorphisms on Lie 2-Groups

• Crossed Homomorphisms on Lie 2-Groups are smooth map pairs that relax strict morphism axioms, enabling weak morphisms between higher group objects.
• They classify 2-group extensions and provide categorical solutions to the Yang–Baxter equation by linking Lie groupoid structures with crossed modules.
• Their formal connection with relative Rota–Baxter operators enhances the study of higher cohomology and gauge theory within differential geometry.

A crossed homomorphism on Lie 2-groups is a fundamental structure underlying weak morphisms between higher group objects in differential geometry and categorical algebra. It encodes the data needed to realize a morphism of Lie 2-groups (equivalently, a morphism of crossed modules) where the strictness of standard morphism axioms is relaxed by higher coherent maps. Such structures have decisive applications in the classification of 2-group extensions, categorical solutions to the Yang–Baxter equation, and factorization theorems in higher gauge theory. The theoretical framework is now extended to a precise correspondence with relative Rota–Baxter operators, higher group cohomology, and infinitesimal Lie 2-algebra structures (Ludewig et al., 2023, Trentinaglia et al., 2010, Lang et al., 2 Feb 2026).

1. Lie 2-Groups and Crossed Modules

A strict Lie 2-group can be described in two equivalent ways:

• As a Lie groupoid

$\mathcal{P}: \quad P_1 \rightrightarrows P_0,$

where both $P_1$ (arrows) and $P_0$ (objects) are Lie groups, and all structure maps (source, target, identity, multiplication) are Lie group homomorphisms.

• As a crossed module of Lie groups

$(G_1 \xrightarrow{\mu} G_0),$

with $G_0$ and $G_1$ Lie groups, $\mu: G_1 \to G_0$ a Lie group homomorphism, and an action of $G_0$ on $G_1$ by automorphisms:

$g_0 \cdot g_1,$

satisfying

$P_1$0

for all $P_1$1, $P_1$2.

There exists a one-to-one correspondence between strict Lie 2-groups and crossed modules, which forms the basis for their classification and study (Trentinaglia et al., 2010, Lang et al., 2 Feb 2026).

2. Crossed Homomorphisms: Definition and Coherence

Given Lie 2-groups $P_1$3 and $P_1$4, and an action $P_1$5 of $P_1$6 on $P_1$7 (i.e., $P_1$8 and $P_1$9), a crossed homomorphism is a pair of smooth maps

$P_0$0

satisfying:

1. Crossed homomorphism property:

$P_0$1

and analogously for $P_0$2 on $P_0$3.

2. Lie groupoid morphism property:

$P_0$4

$P_0$5

$P_0$6

for composable $P_0$7.

Equivalently, the graph

$P_0$8

defines a Lie 2-subgroup of the semidirect product $P_0$9, projecting isomorphically to $(G_1 \xrightarrow{\mu} G_0),$0 (Lang et al., 2 Feb 2026).

In the crossed module formalism, crossed homomorphisms coincide with smooth maps $(G_1 \xrightarrow{\mu} G_0),$1 between group objects (for appropriate morphisms $(G_1 \xrightarrow{\mu} G_0),$2), satisfying the twisted cocycle and boundary compatibility conditions:

$(G_1 \xrightarrow{\mu} G_0),$3

(Trentinaglia et al., 2010).

3. Crossed Homomorphisms and Rota–Baxter Operators

A crucial recent result is the formal relationship between crossed homomorphisms and relative Rota–Baxter operators on Lie 2-groups. In the semidirect product context, a relative Rota–Baxter operator is a Lie groupoid morphism characterized by compatibility with the group actions. The key identification is that:

• The formal inverse of a relative Rota–Baxter operator is a crossed homomorphism, and vice versa.
• For a crossed homomorphism $(G_1 \xrightarrow{\mu} G_0),$4, the induced operator

$(G_1 \xrightarrow{\mu} G_0),$5

satisfies the axioms of a relative Rota–Baxter operator [(Lang et al., 2 Feb 2026), Theorem 5.4].

This relationship enables factorization theorems at the 2-group level and the construction of categorical Yang–Baxter solutions, generalizing classical group-theoretic results.

4. Structural Characterizations and Graph Theoretic Classification

Crossed homomorphisms on Lie 2-groups admit comprehensive structural characterizations:

• Graph Classification: Crossed homomorphisms correspond bijectively to Lie 2-subgroups of the semidirect product $(G_1 \xrightarrow{\mu} G_0),$6 with graphs that project isomorphically to $(G_1 \xrightarrow{\mu} G_0),$7 (Lang et al., 2 Feb 2026).
• Derived Actions: Every crossed homomorphism $(G_1 \xrightarrow{\mu} G_0),$8 induces a "derived" action:

$(G_1 \xrightarrow{\mu} G_0),$9

for which $G_0$0 is a genuine 1-cocycle.

• Infinitesimalization: The differential of a crossed homomorphism between Lie 2-groups provides a crossed homomorphism between the corresponding Lie 2-algebras [(Lang et al., 2 Feb 2026), Theorem 5.5].

These characterizations underpin the role of crossed homomorphisms in higher gauge theory, stacky Lie groups, and the structure theory of 2-group extensions (Trentinaglia et al., 2010).

5. Exemplary Constructions

Central Extensions and the String 2-Group

A paradigmatic example is furnished by U(1)–central extensions of the based loop group $G_0$1 of a compact, semisimple, and simply connected Lie group $G_0$2 (Ludewig et al., 2023):

$G_0$3

Restricting to loops supported on $G_0$4, $G_0$5, with $G_0$6 the path group. The crossed module

$G_0$7

is defined with $G_0$8 and the $G_0$9-action on $G_1$0 by conjugation. The Peiffer identity is enforced strictly by the "disjoint commutativity" of central extensions. If $G_1$1 is semisimple and simply connected, all such extensions are disjoint commutative; hence the resulting 2-group is strict.

Crossed Homomorphisms into Trivial 2-Groups

For the crossed module $G_1$2, any character $G_1$3 is a crossed homomorphism, encoding weak 2-group morphisms into the trivial 2-group (Trentinaglia et al., 2010).

Abelian Semidirect Example

For trivial 2-groups on $G_1$4, setting $G_1$5 for $G_1$6 and the conjugation action by $G_1$7 realizes a nontrivial crossed homomorphism (Lang et al., 2 Feb 2026).

6. Cohomological and Categorical Context

Crossed homomorphisms constitute the 1-cocycles in nonabelian cohomology $G_1$8 for Lie 2-groups. Correspondingly,

• They classify 2-group extensions and gauge equivalence classes in higher homotopy theory and topological quantum field theories.
• Crossed homomorphisms yield categorical solutions to the Yang–Baxter equation on the 2-groupoid, extending set-theoretic solutions in the group case.
• They implement factorization theorems analogously to how Rota–Baxter operators factor Lie groups, yielding decompositions of Lie 2-groups into matched pairs or cross modules (Lang et al., 2 Feb 2026).

7. Strictness, Disjoint Commutativity, and Morphism Weakening

Disjoint commutativity in central extensions of loop groups is pivotal for obtaining strict Lie 2-group structures from crossed modules, as shown explicitly for the string 2-group in (Ludewig et al., 2023). In the absence of strictness, crossed homomorphisms compensate the lack of exactness in morphisms by providing coherent higher transformations, captured categorically by Peiffer liftings and monoidal coherence maps. The structure of crossed homomorphisms thus interpolates between strict and weak morphisms of higher group objects, with implications for the classification, deformation, and homotopical invariance of 2-groupoids.