---
title: Categorical Yang-Baxter Eq. in Lie 2-Groups
url: https://www.emergentmind.com/topics/categorical-solution-of-the-yang-baxter-equation
type: topic
---

# Categorical Yang-Baxter Eq. in Lie 2-Groups

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 realm of Lie 2-groupoids [2602.02041].

## 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 [2602.02041, 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 [2602.02041, 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}$ [2602.02041, 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 [2602.02041, 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 [2602.02041].

## 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 [1109.4002]. 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 [1109.4002].

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                                                                                                                  |
|---------------|-----------------------------------------------------------------------------------------------------------------------|
| 2602.02041    | Relative Rota-Baxter operators and crossed homomorphisms on Lie 2-groups                                              |
| 1109.4002     | Integration of Lie 2-algebras and their morphisms                                                                     |

Source: https://www.emergentmind.com/topics/categorical-solution-of-the-yang-baxter-equation