http://arxiv.org/api/5y7ahCWyiw7T18rMUi3uSGtntI4 2025-04-22T00:00:00-04:00 19732 15 15 http://arxiv.org/abs/2504.13783v1 2025-04-18T16:34:34Z 2025-04-18T16:34:34Z

We consider a family of potential quasi-lisse affine vertex algebras $L_{k_m}(D_4)$ at levels $k_m =-6 + \frac{4}{2m+1}$. In the case $m=0$, the irreducible $L_{k_0}(D_4)$--modules were classified in arXiv:1205.3003, and it was proved in arXiv:1610.05865 that $L_{k_0}(D_4)$ is a quasi-lisse vertex algebra. We conjecture that $L_{k_m}(D_4)$ is quasi-lisse for every $m \in {\mathbb{Z}}_{>0}$, and that it contains a unique irreducible ordinary module. In this article we prove this conjecture for $m=1$, by using mostly computational methods. We show that the maximal ideal in the universal affine vertex algebra $V^{k_1}(D_4)$ is generated by three singular vectors of conformal weight six. The explicit formulas were obtained using software. Then we apply Zhu's theory and classify all irreducible $L_{k_1}(D_4)$--modules. It turns out that $L_{k_1}(D_4)$ has $405$ irreducible modules in the category $\mathcal O$, but a unique irreducible ordinary module. Finally, we prove that $L_{k_1}(D_4)$ is quasi-lisse by showing that its associated variety is contained in the nilpotent cone of $D_4$.

Dražen Adamović Ivana Vukorepa 13 pages http://arxiv.org/abs/2504.13362v1 2025-04-17T22:01:00Z 2025-04-17T22:01:00Z

The $q$-Onsager algebra, denoted by $O_q$, is defined by generators $W_0, W_1$ and two relations called the $q$-Dolan-Grady relations. In 2017, Baseilhac and Kolb gave some elements of $O_q$ that form a Poincar\'e-Birkhoff-Witt basis. The quantum torus, denoted by $T_q$, is defined by generators $x, y, x^{-1}, y^{-1}$ and relations $$xx^{-1} = 1 = x^{-1}x, \qquad yy^{-1} = 1 = y^{-1}y, \qquad xy=q^2yx.$$ The set $\{x^iy^j | i,j \in \mathbb{Z} \}$ is a basis for $T_q$. It is known that there is an algebra homomorphism $p: O_q \mapsto T_q$ that sends $W_0 \mapsto x+x^{-1}$ and $W_1 \mapsto y+y^{-1}.$ In 2020, Lu and Wang displayed a variation of $O_q$, denoted by $\tilde{\mathbf{U}}^{\imath}$. Lu and Wang gave a surjective algebra homomorphism $\upsilon : \tilde{\mathbf{U}}^{\imath} \mapsto O_q.$ \medskip In their consideration of $\tilde{\mathbf{U}}^{\imath}$, Lu and Wang introduced some elements \begin{equation} \label{intrp503} \{B_{1,r}\}_{r \in \mathbb{Z}}, \qquad \{H'_n\}_{n=1}^{\infty}, \qquad \{H_n\}_{n=1}^{\infty}, \qquad \{\Theta'_n\}_{n=1}^{\infty}, \qquad \{\Theta_n\}_{n=1}^{\infty}. \nonumber \end{equation} These elements are defined using recursive formulas and generating functions, and it is difficult to express them in closed form. A similar problem applies to the Baseilhac-Kolb elements of $O_q$. To mitigate this difficulty, we map everything to $T_q$ using $p$ and $\upsilon$. In our main results, we express the resulting images in the basis for $T_q$ and also in an attractive closed form.

Owen Goff 25 pages http://arxiv.org/abs/2504.13232v1 2025-04-17T14:51:21Z 2025-04-17T14:51:21Z

This article considers the problem of designing adaption and optimisation techniques for training quantum learning machines. To this end, the division algebra of quaternions is used to derive an effective model for representing computation and measurement operations on qubits. In turn, the derived model, serves as the foundation for formulating an adaptive learning problem on principal quantum learning units, thereby establishing quantum information processing units akin to that of neurons in classical approaches. Then, leveraging the modern HR-calculus, a comprehensive training framework for learning on quantum machines is developed. The quaternion-valued model accommodates mathematical tractability and establishment of performance criteria, such as convergence conditions.

Sayed Pouria Talebi Clive Cheong Took Danilo P. Mandic http://arxiv.org/abs/2303.12041v2 2025-04-17T14:01:53Z 2023-03-21T17:27:50Z

We develop the connection between the preprojective $K$-theoretic Hall algebra of a quiver $Q$ and the quantum loop group associated to $Q$ via stable envelopes of Nakajima quiver varieties.

Andrei Neguţ http://arxiv.org/abs/2504.12862v1 2025-04-17T11:40:43Z 2025-04-17T11:40:43Z

We provide and discuss complex analytic methods for overcoming the formal character of formal deformation quantization. This is a necessity for returning to physically meaningful statements, and accounts for the fact that the formal parameter $\hbar$ carries the interpretation of Planck's constant. As formal star products are given by a formal power series, this naturally leads into the realm of holomorphic functions and analytic continuation, both in finite and infinite dimensions. We propose a general notion of strict deformation quantization and investigate how one can use established results from complex analysis to think about the resulting objects. Within the main body of the text, the outlined program is then put into practice for strict deformation quantizations of constant Poisson structures on locally convex vector spaces and the strict deformation quantization of canonical mechanics on the cotangent bundle of a Lie group. Numerous auxiliary results, many of which are well-known yet remarkable in their own right, are provided throughout.

Michael Heins Doctoral Thesis in Mathematics, 3 figures, 203 pages http://arxiv.org/abs/2504.12843v1 2025-04-17T10:57:58Z 2025-04-17T10:57:58Z

Motivated by the interplay between quadratic algebras, noncommutative geometry, and operator theory, we introduce the notion of quadratic subproduct systems of Hilbert spaces. Specifically, we study the subproduct systems induced by a finite number of complex quadratic polynomials in noncommuting variables, and describe their Toeplitz and Cuntz--Pimsner algebras. Inspired by the theory of graded associative algebras, we define a free product operation in the category of subproduct systems and show that this corresponds to the reduced free product of the Toeplitz algebras. Finally, we obtain results about the K-theory of the Toeplitz and Cuntz--Pimsner algebras of a large class of quadratic subproduct systems.

Francesca Arici Yufan Ge http://arxiv.org/abs/2504.12808v1 2025-04-17T10:14:12Z 2025-04-17T10:14:12Z

Suppose a Lie group $G$ acts on a vertex algebra $V$. In this article we construct a vertex algebra $\tilde{V}$, which is an extension of $V$ by a big central vertex subalgebra identified with the algebra of functionals on the space of regular $\mathfrak{g}$-connections $(d+A)$. The category of representations of $\tilde{V}$ fibres over the set of connections, and the fibres should be viewed as $(d+A)$-twisted modules of $V$, generalizing the familiar notion of $g$-twisted modules. In fact, another application of our result is that it proposes an explicit definition of $(d+A)$-twisted modules of $V$ in terms of a twisted commutator formula, and we feel that this subject should be pursued further. Vertex algebras with big centers appear in practice as critical level or large level limits of vertex algebras. I particular we have in mind limits of the generalized quantum Langlands kernel, in which case $G$ is the Langland dual and $V$ is conjecturally the Feigin-Tipunin vertex algebra and the extension $\tilde{V}$ is conjecturally related to the Kac-DeConcini-Procesi quantum group with big center. With the current article, we can give a uniform and independent construction of these limits.

Boris L. Feigin Simon D. Lentner http://arxiv.org/abs/2407.00901v2 2025-04-17T03:47:13Z 2024-07-01T01:57:05Z

We introduce a unital associative algebra ${\mathcal{SV}ir\!}_{q,k}$, having $q$ and $k$ as complex parameters, generated by the elements $K^\pm_m$ ($\pm m\geq 0$), $T_m$ ($m\in \mathbb{Z}$), and $G^\pm_m$ ($m\in \mathbb{Z}+{1\over 2}$ in the Neveu-Schwarz sector, $m\in \mathbb{Z}$ in the Ramond sector), satisfying relations which are at most quartic. Calculations of some low-lying Kac determinants are made, providing us with a conjecture for the factorization property of the Kac determinants. The analysis of the screening operators gives a supporting evidence for our conjecture. It is shown that by taking the limit $q\rightarrow 1$ of ${\mathcal{SV}ir\!}_{q,k}$ we recover the ordinary ${\mathcal N}=2$ superconformal algebra. We also give a nontrivial Heisenberg representation of the algebra ${\mathcal{SV}ir\!}_{q,k}$, making a twist of the $U(1)$ boson in the Wakimoto representation of the quantum affine algebra $U_q(\widehat{\mathfrak{sl}}_2)$, which naturally follows from the construction of ${\mathcal{SV}ir\!}_{q,k}$ by gluing the deformed $Y$-algebras of Gaiotto and Rap$\check{\mathrm{c}}$\'{a}k.

H. Awata K. Harada H. Kanno J. Shiraishi 85 pages,(v2) several elucidations provided, typos fixed http://arxiv.org/abs/2504.12206v1 2025-04-16T15:54:42Z 2025-04-16T15:54:42Z

In this paper, we study the classification of finite GK-dimensional pre-Nichols algebras in the twisted Yetter-Drinfeld module category $_{\k G}^{\k G} \mathcal{YD}^\Phi$, where $G$ is a finite abelian group and $\Phi$ is a $3$-cocycle on $G$. These algebras naturally arise from quasi-quantum groups over finite abelian groups. We prove that all pre-Nichols algebras of nondiagonal type in $_{\k G}^{\k G} \mathcal{YD}^\Phi$ are infinite GK-dimensional, and every graded pre-Nichols algebra in $_{\k G}^{\k G} \mathcal{YD}^\Phi$ with finite GK-dimension is twist equivalent to a graded pre-Nichols algebra in an ordinary Yetter-Drinfeld module category $_{\k G}^{\k G} \mathcal{YD}^\Phi$, where $\mathbb{G}$ is a finite abelian group determined by $G$. In particular, we obtain a complete classification of finitely generated Nichols algebras with finite GK-dimension in $_{\k G}^{\k G} \mathcal{YD}^\Phi$. We prove that a finitely generated Nichols algebra in $_{\k G}^{\k G} \mathcal{YD}^\Phi$ is finite GK-dimensional if and only if it is of diagonal type and the corresponding root system is finite, i.e., an arithmetic root system. Via bosonization, this yields a large class of infinite quasi-quantum groups over finite abelian groups.

Yuping Yang 45 pages http://arxiv.org/abs/2504.12106v1 2025-04-16T14:14:51Z 2025-04-16T14:14:51Z

We define new crystal maps on $B(\infty)$ using its polyhedral realization, and show that the crystal $B(\infty)$ equipped with the new crystal maps is isomorphic to Kashiwara's $B(\infty)$ as bicrystals. In addition, we combinatorially describe the bicrystal structure of $B(\infty)$, which is called a sliding diamond rule. Using the bicrystal structure on $B(\infty)$, we define the extended crystal and show that it is isomorphic to the extended crystal introduced by Kashiwara and Park.

Taehyeok Heo 40 pages http://arxiv.org/abs/2406.16879v2 2025-04-16T09:26:59Z 2024-04-14T10:56:08Z

Finite dimensional simple modules of quantum affine algebras of type A correspond to semistandard Young tableaux of rectangular shapes. In this paper, we classify all prime modules corresponding to 2-column semistandard Young tableaux, up to a conjectural property. Moreover, we give a conjectural sufficient condition for a module corresponding to a tableau with more than two columns to be prime.

Nick Early Jian-Rong Li This is a part of the original file arXiv:2303.05618v3. The original file arXiv:2303.05618v3 is splited into two parts. The other part of the original file arXiv:2303.05618v3 has the title: Tropical Geometry, Quantum Affine Algebras, and Scattering Amplitudes http://arxiv.org/abs/2503.04297v2 2025-04-15T17:54:36Z 2025-03-06T10:35:51Z

We define a properad that encodes $n$-pre-Calabi-Yau algebras with vanishing copairing. These algebras include chains on the based loop space of any space $X$ endowed with a fundamental class $[X]$ such that $(X,[X])$ satisfies Poincar\'e duality with local system coefficients, such as oriented manifolds. We say that such a pair $(X,[X])$ is coformal when $C_*(\Omega X)$ is formal as an $n$-pre-Calabi-Yau algebra with vanishing copairing. Using a refined version of properadic Kaledin classes, we establish the intrinsic coformality of all spheres in characteristic zero. Furthermore, we prove that intrinsic formality fails for even-dimensional spheres in characteristic two.

Coline Emprin Alex Takeda 29 pages, comments are welcome http://arxiv.org/abs/2502.04440v2 2025-04-15T17:09:51Z 2025-02-06T19:00:01Z

Global invertible symmetries act unitarily on local observables or states of a quantum system. In this note, we aim to generalise this statement to non-invertible symmetries by considering unitary actions of higher fusion category symmetries $\mathcal{C}$ on twisted sector local operators. We propose that the latter transform in $\ast$-representations of the tube algebra associated to $\mathcal{C}$, which we introduce and classify using the notion of higher $S$-matrices of higher braided fusion categories.

Thomas Bartsch 18 pages, citations added http://arxiv.org/abs/2504.11260v1 2025-04-15T14:59:26Z 2025-04-15T14:59:26Z

We investigate the system of polynomial equations, known as $QQ$-systems, which are closely related to the so-called Bethe ansatz equations of the XXZ spin chain, using the methods of tropical geometry.

Rahul Singh Anton M. Zeitlin 22 pages http://arxiv.org/abs/2504.10682v1 2025-04-14T20:08:16Z 2025-04-14T20:08:16Z

We study the large $r$ asymptotic behaviour of the Turaev-Viro invariants of oriented Seifert fibered 3-manifolds at the root $q=e^\frac{2\pi i}{r}$. As an application, we prove the volume conjecture for large families of oriented Seifert fibered 3-manifolds with empty and non-empty boundary.

Shashini Marasinghe