SearcharxivSearch

arXiv subjects

Evgeny Mukhin

Publications and source records attributed to Evgeny Mukhin.

At least 19 recordsLinked to original sources

Intertwiners of representations of exceptional type quantum affine superalgebras

We give explicit formulas for the smallest non-trivial irreducible representation $V$ of quantum affine superalgebras in types D$_{2\vert 1;α}$, $\dim V=18$ (in the all-fermionic parity), F$_{3\vert 1}$, $\dim V=41$ (in the distinguished parity), and G$_{2\vert 1}$, $\dim V=32$ (in the distinguished parity), both in the Drinfeld-Jimbo and in the new Drinfeld realizations. We use this information to obtain an explicit expression for the corresponding $R$-matrices.

math.QA

Athinization of irreducible $\widehat{\mathfrak{gl}}_n$-modules with dominant highest weights

We study the Gelfand-Tsetlin realization of generic Verma modules for the affine Lie algebra $\widehat{\mathfrak{gl}}_n$ by viewing them as thin modules over the affine Yangian $Y(\widehat{\mathfrak{sl}}_n)$. By results of arXiv:0812.4656, these modules admit a basis indexed by periodic Gelfand-Tsetlin patterns with explicit formulas for the Yangian action, and we identify them with the evaluation modules introduced by Kodera arXiv:1806.09884. Our main result describes the specialization from generic highest weights to dominant highest weights (not necessarily integral). We call the resulting construction athinization: an irreducible $\widehat{\mathfrak{gl}}_n$-module, which is not thin as a module over the affine Kac-Moody algebra, is realized as a thin module over the larger (and ''more affine'') algebra $Y(\widehat{\mathfrak{sl}}_n)$. Combinatorially, this realization is obtained by restricting the generic periodic Gelfand-Tsetlin basis to a distinguished subset of permitted patterns. We prove that the span of these patterns carries a well-defined affine Yangian action. In particular, this construction yields explicit Gelfand-Tsetlin-type bases for admissible representations of $\widehat{\mathfrak{gl}}_n$ in the sense of Kac-Wakimoto, providing a new combinatorial realization of these modules. We compare the formulas for characters coming from this combinatorics with those for minimal models of $W$-algebras of the type $A_n$ via the principal specialization. Further, we obtain analogous results for representations of $U_q\widehat{\mathfrak{gl}}_n$ via their realization as thin modules over the quantum toroidal algebra of $\mathfrak{gl}_n$.

math.RT

Monodromy free Schrödinger operators and affine $\mathfrak{sl}_2$ master functions

Given a non-zero polynomial $P(x)$, we study Fuchsian differential operators of the form $L=\partial_x^2-u(x)$ such that for all $λ\in\mathbb{C}$ the operator $L+λP(x)$ is monodromy free. We prove that all such operators are obtained from populations of critical points of ${\widehat{\mathfrak{sl}}_2}$ master functions. Moreover, we show that the reproduction procedure of critical points corresponds to a Darboux transformation of operator $P^{-1}(x)L$. As a result, we obtain a classification of all operators $L$ with such properties in the case of $P(x)=x^k$.

math.QA

Combinatorial bases in quantum toroidal $\mathfrak{gl}_2$ modules

We show that many tame modules of the quantum toroidal $\mathfrak{gl}_2$ algebra can be explicitly constructed in a purely combinatorial way using the theory of $q$-characters. The examples include families of evaluation modules obtained from analytic continuation and automorphism twists of Verma modules of the quantum affine $\mathfrak{gl}_2$ algebra. The combinatorial bases in the modules are labeled by colored plane partitions with various properties.

math.QA

Finding All Solutions of qKZ Equations in Characteristic $p$

In [J. Lond. Math. Soc. 109 (2024), e12884, 22 pages, arXiv:2208.09721], the difference qKZ equations were considered modulo a prime number $p$ and a family of polynomial solutions of the qKZ equations modulo $p$ was constructed by an elementary procedure as suitable $p$-approximations of the hypergeometric integrals. In this paper, we study in detail the first family of nontrivial examples of the qKZ equations in characteristic $p$. We describe all solutions of these qKZ equations in characteristic $p$ by demonstrating that they all stem from the $p$-hypergeometric solutions. We also prove a Lagrangian property (called the orthogonality property) of the subbundle of the qKZ bundle spanned by the $p$-hypergeometric sections. This paper extends the results of [arXiv:2405.05159] on the differential KZ equations to the difference qKZ equations.

math-ph

$p$-curvature operators and Satake-type phenomenon for $\frak{sl}_2$ KZ equations with $κ=\pm 2$

The $\frak{sl}_2$ KZ differential equations with values in the tensor power of the fundamental representation with parameter $κ=\pm 2$ are considered. A Satake-type correspondence is established over complex numbers and subsequently reduced to finite characteristic. This correspondence enables the study of the KZ equations on the lower weight subspaces of the tensor power in terms of the wedge powers of the weight subspace of the weight just below the highest weight. We apply this approach to analyze the $p$-curvature operators associated with our KZ equations, evaluate the dimension of the solution space in characteristic $p$, and determine whether all solutions are generated by the so-called $p$-hypergeometric solutions. In particular, we show that not all solutions of the KZ equations with $κ=2$ in characteristic $p$ are generated by $p$-hypergeometric solutions. Previously, no such examples were known.

math.NT

Positivity and universal Plücker coordinates for spaces of quasi-exponentials

A quasi-exponential is an entire function of the form $e^{cu}p(u)$, where $p(u)$ is a polynomial and $c \in \mathbb{C}$. Let $V = \langle e^{h_1u}p_1(u), \dots, e^{h_Nu}p_N(u) \rangle$ be a vector space with a basis of quasi-exponentials. We show that if $h_1, \dots, h_N$ are nonnegative and all of the complex zeros of the Wronskian $\operatorname{Wr}(V)$ are real, then $V$ is totally nonnegative in the sense that all of its Grassmann-Plücker coordinates defined by the Taylor expansion about $u=t$ are nonnegative, for any real $t$ greater than all of the zeros of $\operatorname{Wr}(V)$. Our proof proceeds by showing that the higher Gaudin Hamiltonians $T_λ^G(t)$ introduced in [ALTZ14] are universal Plücker coordinates about $u=t$ for the Wronski map on spaces of quasi-exponentials. The result that $V$ is totally nonnegative follows from the fact that $T_λ^G(t)$ is positive semidefinite, which we establish using partial traces. We also show that if $h_1 = \cdots = h_N = 0$ then $T_λ^G(t)$ equals $β^λ(t)$, which is the universal Plücker coordinate for the Wronski map on spaces of polynomials introduced in [KP23].

math.CV

Intertwiners of representations of untwisted quantum affine algebras and Yangians revisited

We discuss applications of the $q$-characters to the computation of the $R$-matrices. In particular, we describe the $R$-matrix acting in the tensor square of the first fundamental representation of E$_8$ and in a number of other cases, where the decomposition of the tensor squares with respect to non-affine quantum algebra has non-trivial multiplicities. As an illustration, we also recover $R$-matrices acting in the multiplicity free-case on the tensor squares of the first fundamental representations of all other types of untwisted quantum affine algebras. The answer is written in terms of projectors related to the decomposition of the tensor squares with respect to non-affine quantum algebras. Then we give explicit expressions for the $R$-matrices in terms of matrix units with respect to a natural basis (except for the case of E$_8$). We give similar formulas for the Yangian $R$-matrices.

math.QA

$Q$-functions for lambda opers

We consider the Schrödinger operators which are constructed from the $λ$-opers corresponding to solutions of the $\widehat{\mathfrak{sl}}_2$ Gaudin Bethe Ansatz equations. We define and study the connection coefficients called the $Q$-functions. We conjecture that the $Q$-functions obtained from the $λ$-opers coincide with the $Q$-functions of the Bazhanov-Lukyanov-Zamolodchikov opers with the monster potential related to the quantum KdV flows. We give supporting evidence for this conjecture.

math-ph

The deformed Tanisaki-Garsia-Procesi modules

The polynomial ideals studied by A. Garsia and C. Procesi play an important role in the theory of Kostka polynomials. We give multiparameter flat deformations of these ideals and define an action of the extended affine symmetric group on the corresponding quotient algebras multiplied by the sign representation. We show that the images of these modules under the affine Schur-Weyl duality are dual to the local Weyl modules for the loop algebra $\mathfrak{sl}_{n+1}[t^{\pm 1}].$

math.RT

Representations of quantum toroidal superalgebras and plane $\mathbf{s}$-partitions

We construct Fock and MacMahon modules for the quantum toroidal superalgebra $\mathcal{E}_\mathbf{s}$ associated with the Lie superalgebra $\mathfrak{gl}_{m|n}$ and parity $\mathbf{s}$. The bases of the Fock and MacMahon modules are labeled by super-analogs of partitions and plane partitions with various boundary conditions, while the action of generators of $\mathcal{E}_\mathbf{s}$ is given by Pieri type formulas. We study the corresponding characters.

math.QA

Braid actions on quantum toroidal superalgebras

We prove that the quantum toroidal algebras $\mathcal{E}_\mathbf{s}$ associated with different root systems $\mathbf{s}$ of $\mathfrak{gl}_{m|n}$ type are isomorphic. We also show the existence of Miki automorphism of $\mathcal{E}_\mathbf{s}$, which exchanges the vertical and horizontal subalgebras. To obtain these results, we establish an action of the toroidal braid group on the direct sum $\oplus_\mathbf{s} \mathcal{E}_\mathbf{s}$ of all such algebras.

math.QA

Solutions of the $sl_2$ qKZ equations modulo an integer

We study the qKZ difference equations with values in the $n$-th tensor power of the vector $sl_2$ representation $V$, variables $z_1,\dots,z_n$ and integer step $κ$. For any integer $N$ relatively prime to the step $κ$, we construct a family of polynomials $f_r(z)$ in variables $z_1,\dots,z_n$ with values in $V^{\otimes n}$ such that the coordinates of these polynomials with respect to the standard basis of $V^{\otimes n}$ are polynomials with integer coefficients. We show that the polynomials $f_r(z)$ satisfy the qKZ equations modulo $N$. Polynomials $f_r(z)$ are modulo $N$ analogs of the hypergeometric solutions of the \qKZ/ equations given in the form of multidimensional Barnes integrals.

math.QA

Quantum Toroidal Comodule Algebra of Type $A_{n-1}$ and Integrals of Motion

We introduce an algebra $\mathcal{K}_n$ which has a structure of a left comodule over the quantum toroidal algebra of type $A_{n-1}$. Algebra $\mathcal{K}_n$ is a higher rank generalization of $\mathcal{K}_1$, which provides a uniform description of deformed $W$ algebras associated with Lie (super)algebras of types BCD. We show that $\mathcal{K}_n$ possesses a family of commutative subalgebras.

math.QA

Frobenius-like structure in Gaudin model

We introduce a Frobenius-like structure for the $\frak{sl}_2$ Gaudin model. Namely, we introduce potential functions of the first and second kind. We describe the Shapovalov form in terms of derivatives of the potential of the first kind and the action of Gaudin Hamiltonians in terms of derivatives of the potential of the second kind.

math.QA

Jacobi-Trudi identity and Drinfeld functor for super Yangian

We show that the quantum Berezinian which gives a generating function of the integrals of motions of XXX spin chains associated to super Yangian $\mathrm{Y}(\mathfrak{gl}_{m|n})$ can be written as a ratio of two difference operators of orders $m$ and $n$ whose coefficients are ratios of transfer matrices corresponding to explicit skew Young diagrams. In the process, we develop several missing parts of the representation theory of $\mathrm{Y}(\mathfrak{gl}_{m|n})$ such as $q$-character theory, Jacobi-Trudi identity, Drinfeld functor, extended T-systems, Harish-Chandra map.

math.QA