2D Coalgebra Structures

• 2D coalgebra structures extend classical coalgebra and bialgebra theory to square lattices by defining horizontal and vertical coproduct maps with rigorous compatibility conditions.
• They provide a systematic framework for embedding quantum group symmetries into tensor network models, such as PEPS, enhancing the analysis of quantum many-body systems.
• Various constructions—trivial, Lie algebra-like, cross-like, and quasi-1D with group-like factors—demonstrate their versatility in modeling complex algebraic and physical phenomena.

A two-dimensional (2D) coalgebra structure is an extension of classical coalgebra and bialgebra theory designed to operate naturally on two-dimensional lattice systems, most typically square lattices. Such structures integrate horizontal and vertical coproducts satisfying compatibility and associativity conditions, thereby allowing the consistent embedding of algebraic symmetries, such as those from Hopf algebras and quantum groups, into higher-dimensional combinatorial or physical models. This approach enables a systematic way to model and analyze quantum group symmetries, R-matrix intertwiners, and algebraically consistent growth in two spatial directions, with direct implications and realizations in tensor network models of quantum many-body physics (Garre-Rubio et al., 30 Jul 2025).

1. Two-Dimensional Coproducts and Compatibility Conditions

The 2D coalgebra framework is based on the definition of two families of linear coproduct maps acting along the x (horizontal) and y (vertical) directions of a square lattice. For a fixed vector space $V$, these are:

• Horizontal maps: $${}^{n}_x : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$
• Vertical maps: $${}^{n}_y : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$

Each maps a string (or layer) of vectors to an extended one with another row or column, acting on the tensor product powers. Quasi–1D associativity is enforced for each direction individually:

$$({}^n_i \otimes 1_n) \circ {}^n_i = (1_n \otimes {}^n_i) \circ {}^n_i, \quad i = x, y$$

When extending from 1D strings to full 2D lattices (e.g., $n \times m$ array), a crucial compatibility requirement is that the modes of horizontal and vertical expansion commute in the minimal overlapping region, expressed for $2 \times 2$ blocks as:

${}^2_x \circ {}^1_y = {}^2_y \circ {}^1_x$

In general, the higher-dimensional coproduct ${}^{n,m}$ on an $n \times m$ block is defined recursively using combinations of ${}^k_x$ and $${}^{n}_x : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$0 in an order-independent manner:

$${}^{n}_x : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$1

Compatible counit maps $${}^{n}_x : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$2 and $${}^{n}_x : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$3 undo these coproducts analogously to the 1D setting.

If $${}^{n}_x : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$4 is an algebra $${}^{n}_x : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$5 and these coproducts are algebra homomorphisms, then this structure extends to a 2D bialgebra, and the addition of suitable antipode maps yields a 2D Hopf algebra.

2. Explicit Examples of 2D Coalgebra Structures

Different 2D coalgebra structures arise depending on how the elementary coproducts are defined:

• Trivial (Tensor-Product) Case: Taking a trivial 1D coproduct $${}^{n}_x : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$6, both $${}^{n}_x : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$7 and $${}^{n}_x : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$8 can be taken as repeated tensor products of $${}^{n}_x : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$9, yielding as a result that the $${}^{n}_y : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$0 state is $${}^{n}_y : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$1. This is permutation-invariant and corresponds to a product (or trivial) PEPS.
• Lie Algebra–like Construction: Using a 1D primitive coproduct such as $${}^{n}_y : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$2, one can combine a nontrivial action in one direction with the trivial map in the other, yielding a state spread over the lattice with shifted contributions along a row or column.
• Cross-Like (Genuine 2D) Construction: One defines basis elements labeled $${}^{n}_y : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$3 and sets up coproducts so that a central site (say, $${}^{n}_y : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$4) gives rise to a cross-shaped pattern of decorated adjacent sites and edges. The resulting action is not a simple tensor product of 1D maps but a truly two-dimensional operation, with flexibility to introduce nonlocal twists by index reordering.
• Quasi-1D Coproducts with Group-Like Elements: If the elementary 1D coproduct is of the form $${}^{n}_y : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$5 for certain group-like elements $${}^{n}_y : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$6 (with $${}^{n}_y : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$7, etc.), it is possible to construct a 2D coproduct that shuffles these decorations in a square, consistent with the minimal compatibility conditions. This approach accommodates Taft–Hopf algebras and other quantum groups.

3. Quantum Group Extensions in 2D

The framework allows direct 2D analogues of standard quantum group constructions—particularly $${}^{n}_y : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$8:

• 1D Quantum Group $${}^{n}_y : V^{\otimes n} \to V^{\otimes n} \otimes V^{\otimes n}$$9: Generated by $$({}^n_i \otimes 1_n) \circ {}^n_i = (1_n \otimes {}^n_i) \circ {}^n_i, \quad i = x, y$$0 with coproducts

$$({}^n_i \otimes 1_n) \circ {}^n_i = (1_n \otimes {}^n_i) \circ {}^n_i, \quad i = x, y$$1

• 2D Quantum Group Construction: The approach is to lift these generators to operators acting on the full $$({}^n_i \otimes 1_n) \circ {}^n_i = (1_n \otimes {}^n_i) \circ {}^n_i, \quad i = x, y$$2 lattice:

$$({}^n_i \otimes 1_n) \circ {}^n_i = (1_n \otimes {}^n_i) \circ {}^n_i, \quad i = x, y$$3

where the plaquette operator is a block matrix with the central component $$({}^n_i \otimes 1_n) \circ {}^n_i = (1_n \otimes {}^n_i) \circ {}^n_i, \quad i = x, y$$4 and periphery decorated by appropriate $$({}^n_i \otimes 1_n) \circ {}^n_i = (1_n \otimes {}^n_i) \circ {}^n_i, \quad i = x, y$$5 factors.

• Commutation Relations and R-Matrix: The 2D operators obey generalizations of the algebraic relations (e.g., $$({}^n_i \otimes 1_n) \circ {}^n_i = (1_n \otimes {}^n_i) \circ {}^n_i, \quad i = x, y$$6), and the construction yields a 2D $$({}^n_i \otimes 1_n) \circ {}^n_i = (1_n \otimes {}^n_i) \circ {}^n_i, \quad i = x, y$$7-matrix intertwining relation that, in the semiclassical $$({}^n_i \otimes 1_n) \circ {}^n_i = (1_n \otimes {}^n_i) \circ {}^n_i, \quad i = x, y$$8 limit, reduces to the familiar non-deformed algebra.

4. Tensor Network Realizations and Physical Implications

A significant result is that the 2D coalgebra structures constructed have a natural interpretation in tensor network models, specifically projected entangled pair states (PEPS):

• PEPS Realization: Each local PEPS tensor is interpreted as a local coproduct, and after contraction over the lattice (gluing via virtual indices and appropriate boundary conditions, such as an MPS boundary), the state produced encodes a 2D coalgebra structure.
• Physical State Recovery and Injectivity: The contraction with the boundary functional ensures that, for injective PEPS, the entire physical state can be recovered. This encapsulates the growth conditions of the 2D coalgebra: physical symmetries and invariants are propagated across the lattice in a way compatible with the algebraic structure.
• Implications for Symmetry and Topology: This embedding of symmetry at the tensor level provides a bridge to categorical symmetries, fusion 2-categories, and topological phases in quantum many-body physics.

5. Extension to Higher Lattice Geometries and Categorical Structures

While the explicit constructions focus on 2D square lattices, the formalism is generalizable:

• Triangular and Cubic Lattices: Analogous growth maps for other regular tessellations (triangles in 2D; cubes in 3D) can be defined, with appropriate compatibility constraints among the additional directions (e.g., for $$({}^n_i \otimes 1_n) \circ {}^n_i = (1_n \otimes {}^n_i) \circ {}^n_i, \quad i = x, y$$9 in 3D, the minimal cube requires commutations of all three direction coproducts).
• Fusion 2-Categories and Categorical Symmetry: The 2D coalgebra and bialgebra structures align with the algebraic aspects of fusion 2-categories. The 2D R-matrix plays a role analogous to higher intertwiners in topological quantum field theory, suggesting a fertile field of interaction between higher algebra and physics.

6. Summary Table: Types of 2D Coalgebra Constructions

Structure Type	Defining Coproducts	Physical/Combinatorial Example
Trivial tensor product	$n \times m$0	Permutation-invariant PEPS
Lie algebra-like	$n \times m$1	Spread of algebra elements across lattice
Cross-like genuine 2D	Explicit decorated basis (see text)	Nonlocal correlations (cross-shaped)
Quasi-1D with group-like factors	$n \times m$2	Embedding Taft-Hopf algebra
Quantum group ($n \times m$3)	Lattice-lifted $n \times m$4 and $n \times m$5	2D quantum group symmetries, R-matrix

7. Prospects and Future Directions

The construction of 2D coalgebras provides a foundational framework for the algebraic modeling of quantum group symmetries on higher-dimensional lattices. Its compatibility with PEPS and related tensor network states positions it as a central tool in the analysis and realization of many-body quantum systems, and its potential extension toward higher categorical structures and fusion 2-categories heralds new advances in both pure algebraic theory and mathematical physics. The algebraically consistent embedding of these symmetries opens avenues for the study of categorical symmetry, topological invariants, and non-trivial entanglement patterns in quantum field theory and condensed matter systems (Garre-Rubio et al., 30 Jul 2025).