The stable limit DAHA: the structure of the standard representation

2025-04-04T01:50:28Z

We prove a number of results about the structure of the standard representation of the stable limit DAHA. More precisely, we address the triangularity, spectrum, and eigenfunctions of the limit Cherednik operators, and construct several PBW-type bases for the stable limit DAHA. We establish a remarkable triangularity property concerning the contribution of certain special elements of the PBW basis of a finite rank DAHA of high enough rank to the PBW expansion of a PBW basis element of the stable limit DAHA. The triangularity property implies the faithfulness of the standard representation. This shows that the algebraic structure defined by the limit operators associated to elements of the finite rank DAHAs is precisely the stable limit DAHA.

Homological Integrals for Weak Hopf Algebras

2025-04-03T22:10:31Z

We introduce the notion of a homological integral for an infinite-dimensional weak Hopf algebra and use the homological integral to prove several structure theorems. For example, we prove that the Artin--Schelter property and the Van den Bergh condition are equivalent for a noetherian weak Hopf algebra, and that the antipode is automatically invertible in this case. We also prove a decomposition theorem that states that any weak Hopf algebra finite over an affine center is a direct sum of Artin--Schelter Gorenstein, Cohen--Macaulay, GK dimension homogeneous weak Hopf algebras.

A spanning tree model for Khovanov homology, Rasmussen's s-invariant and exotic discs in the $4$-ball

2025-04-03T14:23:50Z

The checkerboard coloring of knot diagrams offers a graph-theoretical approach to address topological questions. Champanerkar and Kofman defined a complex generated by the spanning trees of a graph obtained from the checkerboard coloring whose homology is the reduced Khovanov homology. Notably, the differential in their chain complex was not explicitly defined. We explicitly define the combinatorial form of the differential within the spanning tree complex. We additionally provide a description of Rasmussen's $s$-invariant within the context of the spanning tree complex. Applying our techniques, we identify a new infinite family of knots where each of them bounds a set of exotic discs within the 4-ball.

Emergent version of Drinfeld's associator equations

2025-04-03T13:02:04Z

The works of Alekseev and Torossian [AT] and Alekseev, Enriquez, and Torossian [AET] show that any solution of Drinfeld's associator equations gives rise to a solution of the Kashiwara-Vergne equations in an explicit way. We introduce a weak version of Drinfeld's associator equations that we call the emergent version of the original equations. It is shown that solutions to the resulting linearized emergent Drinfeld's equations still lead to solutions to the linearized Kashiwara-Vergne equations. The emergent Drinfeld equations arise within a natural topological context of emergent braids, which we discuss. Our results are adjacent to the results of Bar-Natan, Dancso, Hogan, Liu and Scherich [BDHLS] on the relationship between emergent tangles and the Goldman-Turaev Lie bialgebra. We hope that in time our results will play a role in relating several bodies of work, on Drinfeld associators, Kashiwara-Vergne equations, and on expansions for classical tangles, for w-tangles, and for the Goldman-Turaev Lie bialgebra.

Spans of quantum-inequality projections

2025-04-02T13:57:34Z

A hereditarily atomic von Neumann algebra $A$ is a $W^*$ product of matrix algebras, regarded as the underlying function algebra of a quantum set. Projections in $A\overline{\otimes}A^{\circ}$ are interpreted as quantum binary relations on $A$, with the supremum of all $p\otimes (1-p)$ representing quantum inequality. We prove that the symmetrized weak$^*$-closed linear span of all such quantum-inequality projections is precisely the symmetric summand of the joint kernel of multiplication and opposite multiplication, a result valid without the symmetrization qualification for plain matrix algebras. The proof exploits the symmetries of the spaces involved under the compact unitary group of $A$, and related results include a classification of those von Neumann algebras (hereditarily atomic or not) for which the unitary group operates jointly continuously with respect to the weak$^*$ topology.

Tracial central states on compact quantum groups

2025-04-01T18:48:35Z

Motivated by classical investigation of conjugation invariant positive-definite functions on discrete groups, we study tracial central states on universal C*-algebras associated with compact quantum groups, where centrality is understood in the sense of invariance under the adjoint action. We fully classify such states on q-deformations of compact Lie groups, on free orthogonal quantum groups, quantum permutation groups and on quantum hyperoctahedral groups.

Quantum cellular automata and categorical dualities of spin chains

2025-04-01T16:59:25Z

Dualities play a central role in the study of quantum spin chains, providing insight into the structure of quantum phase diagrams and phase transitions. In this work we study categorical dualities, which are defined as bounded-spread isomorphisms between algebras of symmetry-respecting local operators on a spin chain. We consider generalized global symmetries that correspond to unitary fusion categories, which are represented by matrix-product operator algebras. A fundamental question about dualities is whether they can be extended to quantum cellular automata on the larger algebra generated by all local operators that respect the unit matrix-product operator. For conventional global symmetries, which are on-site representations of finite groups, this larger algebra is simply the tensor product of algebras associated to individual spins in the chain. We present a solution to the extension problem using the machinery of Doplicher-Haag-Roberts bimodules. Our solution provides a crisp categorical criterion for when an extension of a duality exists. We show that the set of possible extensions form a torsor over the invertible objects in the relevant symmetry category. As a corollary, we obtain a classification result concerning dualities in the group case.

A spanning tree model for chromatic homology

2025-04-01T14:24:55Z

After the discovery of Khovanov homology, which categorifies the Jones polynomial, an analogous categorification of the chromatic polynomial, known as chromatic homology, was introduced. Its graded Euler characteristic recovers the chromatic polynomial. In this paper, we present a spanning tree model for the chromatic complex, i.e., we describe a chain complex generated by certain spanning trees of the graph that is chain homotopy equivalent to the chromatic complex. We employ the spanning tree model over $\mathcal{A}_m:= \frac{\mathbb{Z}[x]}{}$ algebra to answer two open questions. First, we establish the conjecture posed by Sazdanovic and Scofield regarding the homological span of chromatic homology over $\\mathcal{A}_m$ algebra, demonstrating that for any graph $G$ with $v$ vertices and $b$ blocks, the homological span is $v - b$. Additionally, we prove a conjecture of Helme-Guizon, Przytycki, and Rong concerning the existence of torsion of order dividing $m$ in chromatic homology over $\mathcal{A}_m$ algebra.

Some results on the higher-rank graphs associated to crystals of semisimple Lie algebras

2025-04-01T11:53:02Z

In this paper we continue the study of the higher-rank graphs associated to finite-dimensional complex semisimple Lie algebras, introduced by the author and R. Yuncken, whose construction relies on Kashiwara's theory of crystals. First we prove that the Bruhat graphs of the corresponding Weyl groups, both weak and strong, can be embedded into the higher-rank graphs as colored graphs. Next, specializing to Lie algebras of type $A$, we connect some aspects of the construction of the higher-rank graphs with some well-known notions in combinatorics, most notably the keys of Lascoux and Sch\"utzenberger.

Generalized free wreath products and their operator algebras

2025-04-01T09:55:00Z

We develop a new approach on free wreath products, generalizing the constructions of Bichon and of Fima-Pittau. We show stability properties for certain approximation properties such as exactness, Haagerup property, hyperlinearity and K-amenability. We study qualitative properties of the associated von Neumann algebra: factoriality, primeness and absence of Cartan subalgebra and we give a formula for Connes' T-invariant. Finally, we give some explicit computations of K-theory groups for C*-algebras of generalized free wreath products.

Extremal monomial property of q-characters and polynomiality of the X-series

2025-03-31T22:09:51Z

The character of every irreducible finite-dimensional representation of a simple Lie algebra has the highest weight property. The invariance of the character under the action of the Weyl group W implies that there is a similar "extremal weight property" for every weight obtained by applying an element of W to the highest weight. In this paper we conjecture an analogous "extremal monomial property" of the q-characters of simple finite-dimensional modules over the quantum affine algebras, using the braid group action on q-characters defined by Chari. In the case of the identity element of W, this is the highest monomial property of q-characters proved in arXiv:math/9911112. Here we prove it for simple reflections. Somewhat surprisingly, the extremal monomial property for each w in W turns out to be equivalent to polynomiality of the "X-series" corresponding to w, which we introduce in this paper. We show that these X-series are equal to certain limits of the generalized Baxter operators for all w in W. Thus, we find a new bridge between q-characters and the spectra of XXZ-type quantum integrable models associated to quantum affine algebras. This leads us to conjecture polynomiality of all generalized Baxter operators, extending the results of arXiv:1308.3444.

Orthogonalization and polarization of Yangians

2025-03-31T22:09:34Z

For every family of orthogonal polynomials, we define a new realization of the Yangian of ${\mathfrak{gl}}_n$. Except in the case of Chebyshev polynomials, the new realizations do not satisfy the RTT relation. We obtain an analogue of the Christoffel-Darboux formula. Similar construction can be made for any family of functions satisfying certain recurrence relations, for example, $q$-Pochhhammer symbols and Bessel functions. Furthermore, using an analogue of the Jordan-Schwinger map, we define the ternary Yangian for an arbitrary semisimple Lie algebra as a flat deformation of the current algebra of certain ternary extension of the given Lie algebra.

On the unitarity and modularity of ribbon tensor categories associated with affine Lie algebras

2025-03-31T17:32:29Z

We study the unitarity and modularity of ribbon tensor categories derived from simple affine Lie algebras, via their associated quantum groups. Based on numerical calculations, and assuming two conjectures, we provide the complete picture for which values of $q$ these ribbon tensor categories are (pseudo-)unitary and for which values of $q$ they are modular. We compare our results with the extensive rigorous results appearing in the literature, finding complete agreement. For the cases that do not appear in the literature, we complete the picture.

Harish-Chandra Theorem for Two-parameter Quantum Groups

2025-03-31T17:28:11Z

This paper is devoted to investigating the centre of two-parameter quantum groups $U_{r,s}(\mathfrak{g})$ via establishing the Harish-Chandra homomorphism. Based on the Rosso form and the representation theory of weight modules, we prove that when rank $\mathfrak{g}$ is even, the Harish-Chandra homomorphism is an isomorphism, and in particular, the centre of the quantum group $\breve{U}_{r,s}(\mathfrak{g})$ of the weight lattice type is a polynomial algebra $\mathbb{K}[z_{\varpi_1},\cdots,z_{\varpi_n}]$, where canonical central elements $z_\lambda \; (\lambda \in \Lambda^+)$ are turned out to be uniformly expressed. For rank $\mathfrak{g}$ to be odd, we figure out a new invertible extra central generator $z_*$, which doesn't survive in $U_q(\mathfrak g)$, then the centre of $\breve{U}_{r,s}(\mathfrak{g})$ contains $\mathbb{K}[z_{\varpi_1},\cdots,z_{\varpi_n}]\otimes_\mathbb K\mathbb K[z_*^{\frac{1}{\ell}}, z_*^{-\frac{1}{\ell}}]$, where $\ell=2$, except $\ell=4$ for $D_{2k+1}$.

Quantum superalgebras and the free-fermionic Yang-Baxter equation

2025-03-31T15:06:50Z

The free-fermion point refers to a $\operatorname{GL}(2)\times\operatorname{GL}(1)$ parametrized Yang-Baxter equation within the six-vertex model. It has been known for a long time that this is connected with the quantum group $U_q(\mathfrak{gl}(1|1))$. We demonstrate that $R$-matrices from the finite quantum superalgebra $U_q(\mathfrak{gl}(1|1))$ recovers a dense subset of the free-fermion point of the six-vertex model and recover the prime, simple modules in the affine quantum superalgebra $U_q(\widehat{\mathfrak{gl}}(1|1))$. Either of these quantum groups can be used to generate the full free-fermion point, and we discuss them both. Our discussion includes 6 families of six-vertex models used by Brubaker, Bump, and Friedberg in connection with Tokuyama's theorem, a deformation of the Weyl character formula. Thus our work gives quantum group interpretations for those models, known informally as Tokuyama ice.