We discuss the Bethe ansatz in the Gaudin model on the tensor product of finite-dimensional $sl_2$-modules over the field $F_p$ with $p$ elements, where $p$ is a prime number. We define the Bethe ansatz equations and show that if $(t^0_1,\dots,t^0_k)$ is a solution of the Bethe ansatz equations, then the corresponding Bethe vector is an eigenvector of the Gaudin Hamiltonians. We characterize solutions $(t^0_1,\dots,t^0_k)$ of the Bethe ansatz equations as certain two-dimensional subspaces of the space $F_p[x]$. We consider the case when the number of parameters $k$ equals 1. In that case we show that the Bethe algebra, generated by the Gaudin Hamiltonians, is isomorphic to the algebra of functions on the scheme defined by the Bethe ansatz equation. If in addition the tensor product is the product of vector representations, then the Bethe algebra is also isomorphic to the algebra of functions on the fiber of a suitable Wronski map.

Aug 22 2017

math.QA arXiv:1708.06082v1

Let $p$ be an odd prime and let $\widehat{\sigma}$ be an order $p$ automorphism of $V_{\sqrt{2}A_{p-1}}$ which is a lift of a $p$-cycle in the Weyl group ${\rm Weyl}(A_{p-1})\cong {\mathfrak S}_p$. We study a certain extension $V$ of a tensor product of finitely many copies of the orbifold model $V_{\sqrt{2}A_{p-1}}^{\langle \widehat{\sigma} \rangle}$ and give a criterion for $V$ that every irreducible $V$-module is a simple current.

Given a module $M$ for the algebra $\mathcal{D}_{\mathtt{q}}(G)$ of quantum differential operators on $G$, and a positive integer $n$, we may equip the space $F_n^G(M)$ of invariant tensors in $V^{\otimes n}\otimes M$, with an action of the double affine Hecke algebra of type $A_{n-1}$. Here $G= SL_N$ or $GL_N$, and $V$ is the $N$-dimensional defining representation of $G$. In this paper we take $M$ to be the basic $\mathcal{D}_{\mathtt{q}}(G)$-module, i.e. the quantized coordinate algebra $M= \mathcal{O}_{\mathtt{q}}(G)$. We describe a weight basis for $F_n^G(\mathcal{O}_{\mathtt{q}}(G))$ combinatorially in terms of walks in the type $A$ weight lattice, and standard periodic tableaux, and subsequently identify $F_n^G(\mathcal{O}_{\mathtt{q}}(G))$ with the irreducible "rectangular representation" of height $N$ of the double affine Hecke algebra.

Aug 22 2017

math.QA arXiv:1708.05990v1

We provide a novel and simple description of Schellekens' seventy-one affine Kac-Moody structures of self-dual vertex operator algebras of central charge 24 by utilizing cyclic subgroups of the glue codes of the Niemeier lattices with roots. We also discuss a possible uniform construction procedure of the self-dual vertex operator algebras of central charge 24 starting from the Leech lattice. This also allows us to consider the uniqueness question for all non-trivial affine Kac-Moody structures. We finally discuss our description from a Lorentzian viewpoint.

Aug 22 2017

math.QA arXiv:1708.05760v1

We address the problem of studying multiparameter quamtum groups (=MpQG's) at roots of unity, namely quantum universal enveloping algebras U_q(g) depending on a matrix of parameters q = (q_ij). This is performed via the construction of quantum root vectors and suitable "integral forms" of U_q(g), a restricted one --- generated by quantum divided powers and quantum binomial coefficients --- and an unrestricted one --- where quantum root vectors are suitably renormalized. The specializations at roots of unity of either forms are the "MpQG's at roots of unity" we are investigating. In particular, we study special subalgebras and quotients of our MpQG's at roots of unity --- namely, the multiparameter version of small quantum groups --- and suitable associated quantum Frobenius morphisms, that link the (specializations of) MpQG's at roots of 1 with MpQG's at 1, the latter being classical Hopf algebras bearing a well precise Poisson-geometrical content. A key point in the discussion --- often at the core of our strategy --- is that every MpQG is actually a 2 --cocycle deformation of the algebra structure of (a lift of) the "canonical" one-parameter quantum group by Jimbo-Lusztig, so that we can often rely on already established results available for the latter. On the other hand, depending on the chosen multiparameter q our quantum groups yield --- through the choice of integral forms and their specialization --- different semiclassical structures, namely different Lie coalgebra structures and Poisson structures on the Lie algebra and algebraic group underlying the canonical one-parameter quantum group.