http://arxiv.org/api/7c0Dexj23rsFnRRhf9EqfJ70JJk 2025-04-22T00:00:00-04:00 19732 105 15 http://arxiv.org/abs/2503.21390v1 2025-03-27T11:34:45Z 2025-03-27T11:34:45Z

Vertex F-algebras are a deformation of the concept of an ordinary vertex algebra in which the additive formal group law is replaced by an arbitrary formal group law F. The main theorem of this paper constructs a Lie algebra from a vertex F-algebra - for the additive formal group law, this extends Borcherds' well-known construction for ordinary vertex algebras. Our construction involves the new concept of an F-residue and some other new algebraic concepts, which are deformations of familiar concepts for the special case of an additive formal group law.

Markus Upmeier 20 pages http://arxiv.org/abs/2503.16074v2 2025-03-27T10:47:38Z 2025-03-20T12:10:23Z

Kashuba and Mathieu proposed a conjecture on vanishing of some components of the homology of certain Lie algebras, implying a description of the $GL_d$-module structure of the free $d$-generated Jordan algebra. Their conjecture relies on a functorial version of the Tits-Kantor-Koecher construction that builds Lie algebras out of Jordan algebras. Recently, Shang used a functorial construction of Allison, Benkart and Gao that builds Lie algebras out of alternative algebras to propose another conjecture on vanishing of some components of the homology of certain Lie algebras, implying a description of the $GL_d$-module structure of the free $d$-generated alternative algebra. In this note, we explain why the conjecture of Shang is not true.

Vladimir Dotsenko 21 pages, includes SageMath code in the Appendix. Version 2 implements several major changes: the main result is stronger (in particular, the conjecture is disproved already for two generators), and the argument is restructured to make all the main computations verifiable by a human http://arxiv.org/abs/2503.21265v1 2025-03-27T08:45:27Z 2025-03-27T08:45:27Z

We give a complete list of indecomposable exact module categories over the finite tensor category $\mathrm{Rep}(u_q(\mathfrak{sl}_2))$ of representations of the small quantum group $u_q(\mathfrak{sl}_2)$, where $q$ is a root of unity of odd order. Each of them is given as the category of representations of a left comodule algebra over $u_q(\mathfrak{sl}_2)$ explicitly presented by generators and relations.

Daisuke Nakamura Okayama University of Science Taiki Shibata Okayama University of Science Kenichi Shimizu Shibaura Institute of Technology 49 pages http://arxiv.org/abs/2503.01501v2 2025-03-26T19:13:04Z 2025-03-03T13:11:04Z

We study the quantum metric structure arising from length functions on quantum groups and show that for coamenable quantum groups of Kac type, the quantum metric information is captured by the algebra of central functions. Using this, we provide the first examples of length functions on (genuine) quantum groups which give rise to compact quantum metric spaces.

Are Austad David Kyed 29 pages. Minor changes and clarifications added http://arxiv.org/abs/2204.13729v3 2025-03-26T19:05:01Z 2022-04-28T18:18:16Z

We introduce an explicit family of representations of the double affine Hecke algebra $\mathbb{H}$ acting on spaces of quasi-polynomials, defined in terms of truncated Demazure-Lusztig type operators. We show that these quasi-polynomial representations provide concrete realizations of a natural family of cyclic $Y$-parabolically induced $\mathbb{H}$-representations. We recover Cherednik's well-known polynomial representation as a special case. The quasi-polynomial representation gives rise to a family of commuting operators acting on spaces of quasi-polynomials. These generalize the Cherednik operators, which are fundamental in the study of Macdonald polynomials. We provide a detailed study of their joint eigenfunctions, which may be regarded as quasi-polynomial, multi-parametric generalizations of nonsymmetric Macdonald polynomials. We also introduce generalizations of symmetric Macdonald polynomials, which are invariant under a multi-parametric generalization of the standard Weyl group action. We connect our results to the representation theory of metaplectic covers of reductive groups over non-archimedean local fields. We introduce root system generalizations of the metaplectic polynomials from our previous work by taking a suitable restriction and reparametrization of the quasi-polynomial generalizations of Macdonald polynomials. We show that metaplectic Iwahori-Whittaker functions can be recovered by taking the Whittaker limit of these metaplectic polynomials.

Siddhartha Sahi Jasper Stokman Vidya Venkateswaran 138 pages. v3: incorporated referees comments http://arxiv.org/abs/2503.20905v1 2025-03-26T18:22:56Z 2025-03-26T18:22:56Z

We prove the slogan, promoted by Walker and Freed-Teleman twenty years ago, that "The Witten-Reshetikhin-Turaev 3-TQFT is a boundary condition for the Crane-Yetter 4-TQFT" and generalize it to the non-semisimple case following ideas of Jordan, Reutter and Walker. To achieve this, we prove that the Crane-Yetter 4-TQFT and its non-semisimple version arXiv:2306.03225 are once-extended TQFTs, using the main result of arXiv:2412.14649. We define a boundary condition, partially defined in the non-semisimple case, for this 4D theory. When the ribbon category used is modular, possibly non-semisimple, we check that the composition of this boundary condition with the values of the 4-TQFT on bounding manifolds reconstructs the Witten-Reshetikhin-Turaev 3-TQFTs and their non-semisimple versions arXiv:1912.02063, in a sense that we make precise.

Benjamin Haïoun Many figures. Comments welcome! http://arxiv.org/abs/2503.20691v1 2025-03-26T16:22:36Z 2025-03-26T16:22:36Z

Double-scaled SYK (DSSYK) is known to have an underlying quantum group theoretical description. We precisely pinpoint the quantum group structure, improving upon earlier work in the literature. This allows us to utilize this framework for bulk gravitational applications. We explain bulk discretization in DSSYK from the underlying irreducibility of the representations. We derive trumpet and brane amplitudes using character insertions of the quantum group, simplifying earlier calculations. Most importantly, we factorize the bulk Hilbert space dual to DSSYK in the quantum group description using a complete set of edge degrees of freedom living at a bulk entangling surface. An analogous treatment for $\mathcal{N}=1$ DSSYK is provided in the same quantum group theoretical framework.

Andreas Belaey Thomas G. Mertens Thomas Tappeiner 46 pages + appendices http://arxiv.org/abs/2308.00835v2 2025-03-26T14:41:12Z 2023-08-01T20:52:06Z

In this paper we prove that the classical Lie bracket of vector fields can be generalized to the noncommutative setting by antisymmetrizing (in a suitable noncommutative sense) their compositions. This construction turns out to depend on the representability of linear differential operators, as it relies on the interpretation of vector fields as differential operators. In particular we provide necessary and sufficient conditions for (noncommutative) jet modules to be representing objects for differential operators. Furthermore, the primary ingredient for guaranteeing the closure of a bracket operation is a treatment of symbols, which classically represent, in an intrinsic way, the highest-order term of a differential operator. Thus, we provide an extensive theory of symbols herein.

Keegan J. Flood Mauro Mantegazza Henrik Winther 41 pages. Improved examples and expanded the theoretical framework http://arxiv.org/abs/2407.02480v4 2025-03-26T12:03:03Z 2024-07-02T17:57:31Z

We construct common triangular bases for almost all the known (quantum) cluster algebras from Lie theory. These bases provide analogs of the dual canonical bases, long anticipated in cluster theory. In cases where the generalized Cartan matrices are symmetric, we show that these cluster algebras and their bases are quasi-categorified. We base our approach on the combinatorial similarities among cluster algebras from Lie theory. For this purpose, we introduce new cluster operations to propagate structures across different cases, which allow us to extend established results on quantum unipotent subgroups to other such algebras. We also obtain fruitful byproducts. First, we prove A=U for these quantum cluster algebras. Additionally, we discover rich structures of the locally compactified quantum cluster algebras arising from double Bott-Samelson cells, including T-systems, standard bases, and Kazhdan-Lusztig type algorithms. Notably, in type ADE, we obtain their monoidal categorifications via monoidal categories associated with positive braids. As a special case, these categories provide monoidal categorifications of the quantum function algebras in type ADE.

Fan Qin 40 pages; Added Remark 1.5; Updated Example 7.8; Minor corrections http://arxiv.org/abs/2308.16865v3 2025-03-26T09:37:11Z 2023-08-31T17:06:26Z

We study the trigonometric quantum spin-Calogero-Sutherland model, and the Haldane-Shastry spin chain as a special case, using a Bethe-ansatz analysis. We harness the model's Yangian symmetry to import the standard tools of integrability for Heisenberg spin chains into the world of integrable long-range models with spins. From the transfer matrix with a diagonal twist we construct Heisenberg-style symmetries (Bethe algebra) that refine the usual hierarchy of commuting Hamiltonians (quantum determinant) of the spin-Calogero-Sutherland model. We compute the first few of these new conserved charges explicitly, and diagonalise them by Bethe ansatz inside each irreducible Yangian representation. This yields a new eigenbasis for the spin-Calogero-Sutherland model that generalises the Yangian Gelfand-Tsetlin basis of Takemura-Uglov. The Bethe-ansatz analysis involves non-generic values of the inhomogeneities. Our review of the inhomogeneous Heisenberg XXX chain, with special attention to how the Bethe ansatz works in the presence of fusion, may be of independent interest.

Gwenaël Ferrando Jules Lamers Fedor Levkovich-Maslyuk Didina Serban 10.21468/SciPostPhys.18.1.035 v1: 42 pages, 3 figures. v2: minor improvements, 44 pages, 4 figures. v3: minor improvements, published version, 44 pages, 4 figures SciPost Phys. 18, 035 (2025) http://arxiv.org/abs/2503.19882v1 2025-03-25T17:47:36Z 2025-03-25T17:47:36Z

We give a geometric proof of inverse Hamiltonian reduction for all finite W-algebras in type $A$, a certain embedding of the finite W-algebra corresponding to an arbitrary nilpotent in $\mathfrak{gl}_N$ into that corresponding to a larger nilpotent with respect to the closure order on orbits, tensored with an auxiliary algebra of differential operators. We first prove a classical analogue for equivariant Slodowy slices using multiplication maps on generalized slices in the affine Grassmannian, then deduce the result for equivariant finite W-algebras by Fedosov quantization. This implies the statement for finite W-algebras, as well as Kostant-Whittaker reductions of arbitrary algebras in the category of Harish Chandra bimodules, including quantizations of Moore--Tachikawa varieties.

Dylan Butson Sujay Nair 50 pages http://arxiv.org/abs/2503.19830v1 2025-03-25T16:46:34Z 2025-03-25T16:46:34Z

We discuss the cohomology of the bridgeless graph complex, that is, the subcomplex of the Kontsevich graph complex spanned by bridgeless graphs.

Thomas Willwacher http://arxiv.org/abs/2204.12401v3 2025-03-25T15:21:50Z 2022-04-26T15:58:16Z

In this article we construct three infinite families of endofunctors $J_d^{(n)}$, $J_d^{[n]}$, and $J_d^n$ on the category of left $A$-modules, where $A$ is a unital associative algebra over a commutative ring $\mathbb{k}$, equipped with an exterior algebra $\Omega^\bullet_d$. We prove that these functors generalize the corresponding classical notions of nonholonomic, semiholonomic, and holonomic jet functors, respectively. Our functors come equipped with natural transformations from the identity functor to the corresponding jet functors, which play the r\^{o}les of the classical prolongation maps. This allows us to define the notion of linear differential operators with respect to $\Omega^{\bullet}_d$. We show that if $\Omega^1_d$ is flat as a right $A$-module, the semiholonomic jet functor satisfies the semiholonomic jet exact sequence $0 \rightarrow \bigotimes^n_A \Omega^1_d \rightarrow J^{[n]}_d\rightarrow J^{[n-1]}_d \rightarrow 0$. Moreover, we construct a functor of symmetric (in a suitable noncommutative sense) forms $S^n_d$ associated to $\Omega^\bullet_d$, and proceed to introduce the corresponding noncommutative analogue of the Spencer $\delta$-complex. We give necessary and sufficient conditions under which the holonomic jet functor $J_d^n$ satisfies the (holonomic) jet exact sequence, $0\rightarrow S^n_d \rightarrow J_d^n \rightarrow J_d^{n-1} \rightarrow 0$. In particular, for $n=1$ the sequence is always exact, for $n=2$ it is exact for $\Omega^1_d$ flat as a right $A$-module, and for $n\ge 3$, it is sufficient to have $\Omega^1_d$, $\Omega^2_d$, and $\Omega^3_d$ flat as right $A$-modules and the vanishing of the Spencer $\delta$-cohomology $H^{\bullet,2}_{\delta_d}$.

Keegan J. Flood Mauro Mantegazza Henrik Winther 61 pages. Improved presentation. Corrected minor errors. Included minor new results http://arxiv.org/abs/2503.19532v1 2025-03-25T10:40:01Z 2025-03-25T10:40:01Z

Building on the work of Nenciu we provide examples of non-factorizable ribbon Hopf algebras, and introduce a stronger notion of non-factorizability. These algebras are designed to provide invariants of $4$-dimensional $2$-handlebodies up to 2-deformations. We prove that some of the invariants derived from these examples are invariants dependent only on the boundary or on the presentation of the fundamental group of the 2-handlebody.

Quentin Faes Maksymilian Manko 39 pages http://arxiv.org/abs/2312.01088v2 2025-03-25T02:31:55Z 2023-12-02T09:42:05Z

We show that Kazhdan and Lusztig's category $KL^k(\mathfrak{sl}_2)$ of modules for the affine Lie algebra $\widehat{\mathfrak{sl}}_2$ at an admissible level $k$, equivalently the category of finite-length grading-restricted generalized modules for the universal affine vertex operator algebra $V^k(\mathfrak{sl}_2)$, is a braided tensor category. Although this tensor category is not rigid, we show that the subcategory of all rigid objects in $KL^k(\mathfrak{sl}_2)$ is equal to the subcategory of all projective objects, and that every simple module in $KL^k(\mathfrak{sl}_2)$ has a projective cover. Moreover, we show that the full subcategory of projective objects in $KL^k(\mathfrak{sl}_2)$ is monoidal equivalent to the category of tilting modules for quantum $\mathfrak{sl}_2$ at the root of unity $\zeta=e^{\pi i/(k+2)}$. Using this, we establish a universal property of the tensor category $KL^k(\mathfrak{sl}_2)$, and as an application, we prove a weak Kazhdan-Lusztig correspondence, that is, we obtain an exact essentially surjective (but not full or faithful) tensor functor from $KL^k(\mathfrak{sl}_2)$ to the category of finite dimensional weight modules for the quantum group associated to $\mathfrak{sl}_2$ at the root of unity $\zeta $. We also use the universal property to classify the categories $KL^k(\mathfrak{sl}_2)$ up to (braided) tensor equivalence and to obtain a tensor-categorical version of quantum Drinfeld-Sokolov reduction, that is, we construct a braided tensor functor from $KL^k(\mathfrak{sl}_2)$ to a category of modules for the Virasoro algebra at central charge $1-\frac{6(k+1)^2}{k+2}$.

Robert McRae Jinwei Yang 10.1112/plms.70043 73 pages, final version incorporating referee comments and added references, appendix on structure of tilting modules removed and replaced with references to the quantum group literature Proc. London Math. Soc., Vol. 130 (2025), no. 4, Paper No. e70043