Categorical Yang-Baxter Eq. in Lie 2-Groups

• Categorical solution of the Yang-Baxter equation is an algebraic construction using Lie 2-groups and crossed homomorphisms to produce functorial R-matrices.
• The method employs crossed homomorphisms and relative Rota-Baxter operators to induce canonical factorization, mirroring group-theoretic cocycle decompositions.
• This framework bridges higher algebraic structures with quantum group techniques, offering new insights for integrable systems and categorical algebra.

A categorical solution of the Yang-Baxter equation is a functorial construction in the context of Lie 2-groups, generalizing set-theoretic and group-theoretic solutions to the Yang-Baxter equation (YBE) using higher algebraic structures. Recent developments have identified a precise mechanism for producing such categorical solutions via crossed homomorphisms and their relationship with relative Rota-Baxter operators on Lie 2-groups and crossed modules. These constructions induce R-matrices that obey a categorical version of the Yang-Baxter equation, with a functorial description in the field of Lie 2-groupoids (Lang et al., 2 Feb 2026).

1. Preliminaries: Lie 2-Groups and Crossed Modules

A strict Lie 2-group is defined as a Lie groupoid $P\rightrightarrows P_0$ that is also an internal group object in the category of Lie groupoids—equivalently, as a groupoid object in the category of Lie groups. The structure consists of manifolds $P$ (arrows) and $P_0$ (objects), with source and target maps $s, t : P \to P_0$, unit inclusion $\iota: P_0 \to P$, groupoid multiplication $*: P^{(2)} \to P$ (where $P^{(2)} = \{(p,p') \mid s(p) = t(p')\}$), and inversion operations, all subject to the groupoid and group compatibility axioms. Additionally, $P$ and $P_0$ are both Lie groups, and all structure maps are Lie-group homomorphisms.

Lie 2-groups and Lie group crossed modules are equivalent as categories: a strict Lie 2-group corresponds to a Lie-group crossed module $$(H_1 \xrightarrow{t} H_0,\, \Phi : H_0 \to \mathrm{Aut}(H_1))$$ with $H_0$, $H_1$ simply-connected Lie groups and morphisms covering the Peiffer identities.

2. Crossed Homomorphisms and Relative Rota-Baxter Operators

Let $\Phi = (\phi, \phi_0)$ be an action of $P\rightrightarrows P_0$ on another Lie 2-group $Q\rightrightarrows Q_0$, with $\phi: P \times Q \to Q$ and $\phi_0: P_0 \times Q_0 \to Q_0$ smooth Lie-group actions compatible with source and target. A crossed homomorphism with respect to this action is a pair of smooth maps $\mathcal{D}: P \to Q$, $\mathcal{D}_0: P_0 \to Q_0$ satisfying:

• For all $p, p' \in P$,

$$\mathcal{D}(p\cdot_P p') = \mathcal{D}(p) \cdot_Q \phi(p, \mathcal{D}(p')),$$

• For all $p_0, p_0' \in P_0$,

$$\mathcal{D}_0(p_0\cdot_{P_0} p_0') = \mathcal{D}_0(p_0) \cdot_{Q_0} \phi_0(p_0, \mathcal{D}_0(p_0')),$$

• $(\mathcal{D}, \mathcal{D}_0)$ is a groupoid morphism.

A relative Rota-Baxter operator on $P \rightrightarrows P_0$ is a pair $$(\mathcal{B}, \mathcal{B}_0): Q \to P,\, Q_0 \to P_0$$ satisfying the associative Rota-Baxter type condition for the action, and is a groupoid morphism. If $(\mathcal{B}, \mathcal{B}_0)$ is invertible, its set-theoretic inverse $(\mathcal{D}, \mathcal{D}_0)$ satisfies the crossed homomorphism cocycle conditions above [(Lang et al., 2 Feb 2026), Theorem 5.8].

3. Factorization and Decomposition via Crossed Homomorphisms

Analogous to the group case where a bijective 1-cocycle induces a decomposition $G = BC$ for subgroups $B, C$, a crossed homomorphism $(\mathcal{D}, \mathcal{D}_0)$ for a Lie 2-group $P \rightrightarrows P_0$ yields a canonical factorization. Define $$K \rightrightarrows K_0 := \ker(\mathcal{D}, \mathcal{D}_0)$$ and $$I \rightrightarrows I_0 := \operatorname{im}(\mathcal{D}, \mathcal{D}_0)$$. Every arrow $p \in P$ and object $p_0 \in P_0$ factors uniquely as

$$p = i \cdot k^{-1},\quad i \in I,\, k \in K; \qquad p_0 = i_0 \cdot k_0^{-1},\quad i_0 \in I_0,\, k_0 \in K_0.$$

This yields an isomorphism of Lie 2-groupoids,

$$P \rightrightarrows P_0 \cong (I \times K^{-1}) \rightrightarrows (I_0 \times K_0^{-1}).$$

A similar decomposition is central in the construction of classical and quantum group-theoretic objects, and this higher analog is established by extending Semenov-Tian-Shansky’s argument to the 2-group context [(Lang et al., 2 Feb 2026), Theorem 5.12].

4. Categorical Yang-Baxter Equation and Functorial R-Matrices

A crossed homomorphism on a Lie 2-group, in conjunction with a given action, yields a functorial R-matrix as a pair $$(R_\mathcal{D}, R_{\mathcal{D}_0}): (Q \times Q) \rightrightarrows (Q_0 \times Q_0) \to (Q \times Q) \rightrightarrows (Q_0 \times Q_0)$$, given by

$$R_\mathcal{D}(q, j) = (\phi(\mathcal{D}(q))\,j,\, \phi(\mathcal{D}(q))\,j^{-1} \cdot_Q q \cdot_Q j),$$

$$R_{\mathcal{D}_0}(q_0, j_0) = (\phi_0(\mathcal{D}_0(q_0))\,j_0,\, \phi_0(\mathcal{D}_0(q_0))\,j_0^{-1} \cdot_{Q_0} q_0 \cdot_{Q_0} j_0).$$

Direct verification using the cocycle and 2-group axioms shows that this R-matrix satisfies the categorical Yang-Baxter equation:

$$(R_\mathcal{D} \times \mathrm{id}_Q) \circ (\mathrm{id}_Q \times R_\mathcal{D}) \circ (R_\mathcal{D} \times \mathrm{id}_Q) = (\mathrm{id}_Q \times R_\mathcal{D}) \circ (R_\mathcal{D} \times \mathrm{id}_Q) \circ (\mathrm{id}_Q \times R_\mathcal{D}),$$

and similarly on $Q_0$ via $R_{\mathcal{D}_0}$ [(Lang et al., 2 Feb 2026), Theorem 5.15]. This establishes a functorial/categorical solution to the YBE in the setting of Lie 2-groups.

5. Equivalence with Crossed-Module Cocycle Data

The equivalence of categories between strict Lie 2-groups and Lie-group crossed modules extends to the categorical Yang-Baxter context. Under this correspondence, a crossed homomorphism $(\mathcal{D}, \mathcal{D}_0)$ for $P_1 \rightrightarrows P_0$ translates to a cocycle pair

$$\mathcal{D}_1: \ker s \to \ker s_Q, \qquad \mathcal{D}_0: P_0 \to Q_0$$

defining a twisted 1-cocycle for the associated crossed module. The groupoid-morphism condition on $(\mathcal{D}, \mathcal{D}_0)$ matches the cocycle condition for crossed modules, and the assignment is bijective at the level of equivalence classes [(Lang et al., 2 Feb 2026), Theorem 5.20].

6. Illustrative Examples

• Linear 2-groups: When $Q \rightrightarrows Q_0$ are vector spaces and $P \rightrightarrows P_0$ acts linearly, crossed homomorphisms correspond to affine maps satisfying

$$\mathcal{D}(p + p') = \mathcal{D}(p) + \phi(p)(\mathcal{D}(p')), \quad \mathcal{D}_0(p_0 + p_0') = \mathcal{D}_0(p_0) + \phi_0(p_0)(\mathcal{D}_0(p_0')).$$

• Heisenberg 2-group: For $Q_0 = V$ (symplectic vector space), $Q_1 = V \oplus \mathbb{R}$ (Heisenberg group), and $P_0 = P = G \subset \mathrm{Sp}(V)$, a crossed homomorphism is constructed as $\mathcal{D}_0: G \to V$, $\mathcal{D}_1: G \to V \oplus \mathbb{R}$, with $\mathcal{D}_1(g) = (\mathcal{D}_0(g),\,c(g))$, where $c(g)$ is the canonical symplectic 1-cocycle.
• Subgroup factorization: If $P \rightrightarrows P_0$ splits as $$A \rightrightarrows A_0 \times B \rightrightarrows B_0$$ in direct product form, projection onto one factor is a crossed homomorphism for the adjoint action.

In each instance, the cocycle and groupoid map conditions are checked by direct computation with the explicit structure involved (Lang et al., 2 Feb 2026).

7. Integration and Further Directions

The integration of Lie 2-algebra morphisms to generalized morphisms of strict Lie 2-groups is established via Morita equivalence, as demonstrated by Sheng and Zhu (Sheng et al., 2011). However, explicit butterfly data—such as the auxiliary group, explicit group homomorphisms, and cocycle equations—are not given in this reference, but only the existence of a generalized morphism is asserted through 2-group Morita equivalence. Explicit cocycle data for the categorical Yang-Baxter construction, when needed in full, require recourse to further references such as Noohi’s work on integrating morphisms of Lie 2-algebras (Sheng et al., 2011).

A plausible implication is that higher-categorical analogs of YBE solutions invite new factorization systems and R-matrix constructions at the 2-groupoid level, suggesting possible extensions to more general higher and infinity categorical structures. The categorical framework also systematically generalizes group-theoretic constructions underlying quantum group, Poisson–Lie, and integrable systems.

---

Selected References

arXiv ID	Title
(Lang et al., 2 Feb 2026)	Relative Rota-Baxter operators and crossed homomorphisms on Lie 2-groups
(Sheng et al., 2011)	Integration of Lie 2-algebras and their morphisms