arXiv++ Combinatorics

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].

We study the tensor product $W$ of any number of "elementary" irreducible modules $V_1,...,V_k$ over the Yangian of the general linear Lie algebra. Each of these modules is determined by a skew Young diagram and a complex parameter. For any indices $i,j=1,...,k$ there is a canonical non-zero intertwining operator $A_{ij}$ between the tensor products $V_i\otimes V_j$ and $V_j\otimes V_i$. This operator is defined up to a scalar multipler. We show that the tensor product $W$ is irreducible, if and only if all operators $A_{ij}$ with $i<j$ are invertible. This implies that the Yangian module $W$ is irreducible, if and only if all pairwise tensor products $V_i\otimes V_j$ with $i<j$ are irreducible. We also introduce the notion of a Durfee rank of a skew Young diagram. For an ordinary Young diagram, this is the length of its main diagonal.

Recently N.Jing discovered a certain combinatorial identity from validity of the Serre relations in some vertex representations of quantum Kac-Moody algebras. We generalize this identity, in particular, extending it from polynomials to elliptic functions, and interprete the obtained identities in terms of tensor products of evaluation representations of the quantum loop algebra $U_q(\tilde{gl_2})$ or the elliptic quantum group $E_{ρ,γ}(sl_2)$.