arXiv Science⌕ Search

arXiv subjects

Curtis Wendlandt

Publications and source records attributed to Curtis Wendlandt.

17 recordsLinked to original sources
arXiv2025

On the uniqueness of Yangians

Let $\mathfrak{g}$ be a simple Lie algebra over the complex numbers, and let $\mathfrak{g}[u]$ denote its polynomial current algebra. In the mid-1980s, Drinfeld introduced the Yangian of $\mathfrak{g}$ as the unique solution to a quantization problem for a natural Lie bialgebra structure on $\mathfrak{g}[u]$. More precisely, Theorem 2 of [Dokl. Akad. Nauk SSSR 283 (1985), no. 5, 1060-1064] asserts that $\mathfrak{g}[u]$ admits a unique homogeneous quantization, the Yangian of $\mathfrak{g}$, which is described explicitly via generators and relations, starting from a copy of $\mathfrak{g}$ and its adjoint representation. Although the representation theory of Yangians has since undergone substantial development, a complete proof of Drinfeld's theorem has not appeared. In this article, we present a proof of the assertion that $\mathfrak{g}[u]$ admits at most one homogeneous quantization. Our argument combines cohomological and computational methods, and outputs a presentation of any such quantization using Drinfeld's generators and a reduced set of defining relations.

math.QA↗
arXiv2024

Braid group actions, Baxter polynomials, and affine quantum groups

It is a classical result in representation theory that the braid group $\mathscr{B}_\mathfrak{g}$ of a simple Lie algebra $\mathfrak{g}$ acts on any integrable representation of $\mathfrak{g}$ via triple products of exponentials in its Chevalley generators. In this article, we show that a modification of this construction induces an action of $\mathscr{B}_\mathfrak{g}$ on the commutative subalgebra $Y_\hbar^0(\mathfrak{g})\subset Y_\hbar(\mathfrak{g})$ of the Yangian by Hopf algebra automorphisms, which gives rise to a representation of the Hecke algebra of type $\mathfrak{g}$ on a flat deformation of the Cartan subalgebra $\mathfrak{h}[t]\subset \mathfrak{g}[t]$. By dualizing, we recover a representation of $\mathscr{B}_\mathfrak{g}$ constructed in the works of Y. Tan and V. Chari, which was used to obtain sufficient conditions for the cyclicity of any tensor product of irreducible representations of $Y_\hbar(\mathfrak{g})$ and the quantum loop algebra $U_q(L\mathfrak{g})$. We apply this dual action to prove that the cyclicity conditions from the work of Tan are identical to those obtained in the recent work of the third author and S. Gautam. Finally, we study the $U_q(L\mathfrak{g})$-counterpart of the braid group action on $Y_\hbar^0(\mathfrak{g})$, which arises from Lusztig's braid group operators and recovers the aforementioned $\mathscr{B}_\mathfrak{g}$-action defined by Chari.

math.RT↗
arXiv2023

The R-matrix of the affine Yangian

Let g be an affine Lie algebra with associated Yangian Y_hg. We prove the existence of two meromorphic R-matrices associated to any pair of representations of Y_hg in the category O. They are related by a unitary constraint and constructed as products of the form R(s)=R^+(s)R^0(s)R^-(s), where R^+(s) = R^-_{21}(-s)^{-1}. The factor R^0(s) is a meromorphic, abelian R-matrix, and R^-(s) is a rational twist. Our proof relies on two novel ingredients. The first is an irregular, abelian, additive difference equation whose difference operator is given in terms of the q-Cartan matrix of g. The regularization of this difference equation gives rise to R^0(s) as the exponentials of the two canonical fundamental solutions. The second key ingredient is a higher order analogue of the adjoint action of the affine Cartan subalgebra of g on Y_hg. This action has no classical counterpart, and produces a system of linear equations from which R^-(s) is recovered as the unique solution. Moreover, we show that both operators give rise to the same rational R-matrix on the tensor product of any two highest-weight representations.

math.RT↗
arXiv2023

The R-matrix presentation for the rational form of a quantized enveloping algebra

Let $U_q(\mathfrak{g})$ denote the rational form of the quantized enveloping algebra associated to a complex simple Lie algebra $\mathfrak{g}$. Let $\lambda$ be a nonzero dominant integral weight of $\mathfrak{g}$, and let $V$ be the corresponding type $1$ finite-dimensional irreducible representation of $U_q(\mathfrak{g})$. Starting from this data, the $R$-matrix formalism for quantum groups outputs a Hopf algebra $\mathbf{U}_\mathrm{R}^\lambda(\mathfrak{g})$ defined in terms of a pair of generating matrices satisfying well-known quadratic matrix relations. In this paper, we prove that this Hopf algebra admits a Chevalley-Serre type presentation which can be recovered from that of $U_q(\mathfrak{g})$ by adding a single invertible quantum Cartan element. We simultaneously establish that $\mathbf{U}_\mathrm{R}^\lambda(\mathfrak{g})$ can be realized as a Hopf subalgebra of the tensor product of the space of Laurent polynomials in a single variable with the quantized enveloping algebra associated to the lattice generated by the weights of $V$. The proofs of these results are based on a detailed analysis of the homogeneous components of the matrix equations and generating matrices defining $\mathbf{U}_\mathrm{R}^\lambda(\mathfrak{g})$, with respect to a natural grading by the root lattice of $\mathfrak{g}$ compatible with the weight space decomposition of $\mathrm{End}(V)$.

math.QA↗
arXiv2022

The R-matrix formalism for quantized enveloping algebras

Let $U_\hbar\mathfrak{g}$ denote the Drinfeld-Jimbo quantum group associated to a complex semisimple Lie algebra $\mathfrak{g}$. We apply a modification of the $R$-matrix construction for quantum groups to the evaluation of the universal $R$-matrix of $U_\hbar\mathfrak{g}$ on the tensor square of any of its finite-dimensional representations. This produces a quantized enveloping algebra $\mathrm{U_R}(\mathfrak{g})$ whose definition is given in terms of two generating matrices satisfying variants of the well-known $RLL$ relations. We prove that $\mathrm{U_R}(\mathfrak{g})$ is isomorphic to the tensor product of the quantum double of the Borel subalgebra $U_\hbar\mathfrak{b}\subset U_\hbar\mathfrak{g}$ and a quantized polynomial algebra encoded by the space of $\mathfrak{g}$-invariants associated to the semiclassical limit $V$ of the underlying finite-dimensional representation of $U_\hbar\mathfrak{g}$. Using this description, we characterize $U_\hbar\mathfrak{g}$ and the quantum double of $U_\hbar\mathfrak{b}$ as Hopf quotients of $\mathrm{U_R}(\mathfrak{g})$ and as fixed-point subalgebras with respect to certain natural automorphisms. As an additional corollary, we deduce that $\mathrm{U_R}(\mathfrak{g})$ is quasitriangular precisely when the irreducible summands of $V$ are distinct.

math.QA↗
arXiv2022

On a conjecture of Khoroshkin and Tolstoy

We prove a no-go theorem on the factorization of the lower triangular part in the Gaussian decomposition of the Yangian's universal $R$-matrix, yielding a negative answer to a conjecture of Khoroshkin and Tolstoy from [Lett. Math. Phys. vol. 36 1996].

math.QA↗
arXiv2022

The restricted quantum double of the Yangian

Let $\mathfrak{g}$ be a complex semisimple Lie algebra with associated Yangian $Y_\hbar\mathfrak{g}$. In the mid-1990s, Khoroshkin and Tolstoy formulated a conjecture which asserts that the algebra $\mathrm{D}Y_\hbar\mathfrak{g}$ obtained by doubling the generators of $Y_\hbar\mathfrak{g}$, called the Yangian double, provides a realization of the quantum double of the Yangian. We provide a uniform proof of this conjecture over $\mathbb{C}[\![\hbar]\!]$ which is compatible with the theory of quantized enveloping algebras. As a byproduct, we identify the universal $R$-matrix of the Yangian with the canonical element defined by the pairing between the Yangian and its restricted dual.

math.QA↗
arXiv2020

Poles of finite-dimensional representations of Yangians

Let $\mathfrak{g}$ be a finite-dimensional simple Lie algebra over $\mathbb{C}$, and let $Y_{\hbar}(\mathfrak{g})$ be the Yangian of $\mathfrak{g}$. In this paper, we study the sets of poles of the rational currents defining the action of $Y_{\hbar}(\mathfrak{g})$ on an arbitrary finite-dimensional vector space $V$. Using a weak, rational version of Frenkel and Hernandez' Baxter polynomiality, we obtain a uniform description of these sets in terms of the Drinfeld polynomials encoding the composition factors of $V$ and the inverse of the $q$-Cartan matrix of $\mathfrak{g}$. We then apply this description to obtain a concrete set of sufficient conditions for the cyclicity and simplicity of the tensor product of any two irreducible representations, and to classify the finite-dimensional irreducible representations of the Yangian double.

math.RT↗
arXiv2020

The formal shift operator on the Yangian double

Let $\mathfrak{g}$ be a symmetrizable Kac-Moody algebra with associated Yangian $Y_\hbar\mathfrak{g}$ and Yangian double $\mathrm{D}Y_\hbar\mathfrak{g}$. An elementary result of fundamental importance to the theory of Yangians is that, for each $c\in \mathbb{C}$, there is an automorphism $\tau_c$ of $Y_\hbar\mathfrak{g}$ corresponding to the translation $t\mapsto t+c$ of the complex plane. Replacing $c$ by a formal parameter $z$ yields the so-called formal shift homomorphism $\tau_z$ from $Y_\hbar\mathfrak{g}$ to the polynomial algebra $Y_\hbar\mathfrak{g}[z]$. We prove that $\tau_z$ uniquely extends to an algebra homomorphism $\Phi_z$ from the Yangian double $\mathrm{D}Y_\hbar\mathfrak{g}$ into the $\hbar$-adic closure of the algebra of Laurent series in $z^{-1}$ with coefficients in the Yangian $Y_\hbar\mathfrak{g}$. This induces, via evaluation at any point $c\in \mathbb{C}^\times$, a homomorphism from $\mathrm{D}Y_\hbar\mathfrak{g}$ into the completion of the Yangian with respect to its grading. We show that each such homomorphism gives rise to an isomorphism between completions of $\mathrm{D}Y_\hbar\mathfrak{g}$ and $Y_\hbar\mathfrak{g}$ and, as a corollary, we find that the Yangian $Y_\hbar\mathfrak{g}$ can be realized as a degeneration of the Yangian double $\mathrm{D}Y_\hbar\mathfrak{g}$. Using these results, we obtain a Poincar\'{e}-Birkhoff-Witt theorem for $\mathrm{D}Y_\hbar\mathfrak{g}$ applicable when $\mathfrak{g}$ is of finite type or of simply-laced affine type.

math.QA↗
arXiv2019

The meromorphic R-matrix of the Yangian

Let g be a complex semisimple Lie algebra and Yg its Yangian. Drinfeld proved that the universal R-matrix of Yg gives rise to rational solutions of the quantum Yang-Baxter equations on irreducible, finite-dimensional representations of Yg. This result was recently extended by Maulik-Okounkov to symmetric Kac-Moody algebras, and representations arising from geometry. We show that this rationality ceases to hold for arbitrary finite-dimensional representations, at least if one requires such solutions to be natural with respect to the representation and compatible with tensor products. Equivalently, the tensor category of finite-dimensional representations of Yg does not admit rational commutativity constraints. We construct instead two meromorphic commutativity constraints, which are related by a unitarity condition. We show that each possesses an asymptotic expansion as s tends to infinity, which has the same formal properties as Drinfeld's R(s), and therefore coincides with the latter by uniqueness. In particular, we give an alternative, constructive proof of the existence of the universal R-matrix of Yg. Our construction relies on the Gauss decomposition R^+(s)R^0(s)R^-(s) of R(s). The divergent abelian term R^0 was resummed on finite-dimensional representations by the first two authors in arXiv:1403.5251. The main ingredient of the present paper is the construction of R^+(s) and R^-(s). We prove that they are rational functions on finite-dimensional representations, and that they intertwine the standard coproduct of Yg and the deformed Drinfeld coproduct introduced in arXiv:1403.5251.

math.QA↗
arXiv2017

The $R$-matrix presentation for the Yangian of a simple Lie algebra

Starting from a finite-dimensional representation of the Yangian $Y(\mathfrak{g})$ for a simple Lie algebra $\mathfrak{g}$ in Drinfeld's original presentation, we construct a Hopf algebra $X_\mathcal{I}(\mathfrak{g})$, called the extended Yangian, whose defining relations are encoded in a ternary matrix relation built from a specific $R$-matrix $R(u)$. We prove that there is a surjective Hopf algebra morphism $X_\mathcal{I}(\mathfrak{g})\twoheadrightarrow Y(\mathfrak{g})$ whose kernel is generated as an ideal by the coefficients of a central matrix $\mathcal{Z}(u)$. When the underlying representation is irreducible, we show that this matrix becomes a grouplike central series, thereby making available a proof of a well-known theorem stated by Drinfeld in the 1980's. We then study in detail the algebraic structure of the extended Yangian, and prove several generalizations of results which are known to hold for Yangians associated to classical Lie algebras in their $R$-matrix presentations.

math.QA↗
arXiv2017

Representations of twisted Yangians of types B, C, D: II

We continue the study of finite-dimensional irreducible representations of twisted Yangians associated to symmetric pairs of types B, C and D, with focus on those of types BI, CII and DI. After establishing that, for all twisted Yangians of these types, the highest weight of such a module necessarily satisfies a certain set of relations, we classify the finite-dimensional irreducible representations of twisted Yangians for the pairs $(\mathfrak{so}_N,\mathfrak{so}_{N-2} \oplus \mathfrak{so}_2)$ and $(\mathfrak{so}_{2n+1},\mathfrak{so}_{2n})$.

math.RT↗
arXiv2017

Equivalences between three presentations of orthogonal and symplectic Yangians

We prove the equivalence of two presentations of the Yangian $Y(\mathfrak{g})$ of a simple Lie algebra $\mathfrak{g}$ and we also show the equivalence with a third presentation when $\mathfrak{g}$ is either an orthogonal or a symplectic Lie algebra. As an application, we obtain an explicit correspondence between two versions of the classification theorem of finite-dimensional irreducible modules for orthogonal and symplectic Yangians.

math.RT↗
arXiv2017

Coproduct for the Yangian of an affine Kac-Moody algebra

Given an affine Kac-Moody algebra, we explain how to construct a coproduct for its associated Yangian. In order to prove that this coproduct is an algebra homomorphism, we obtain, in the first half of this paper, a minimalistic presentation of the Yangian when the Kac-Moody algebra is, more generally, symmetrizable.

math.QA↗
arXiv2016

Representations of twisted Yangians of types B, C, D: I

We initiate a theory of highest weight representations for twisted Yangians of types B, C, D and we classify the finite-dimensional irreducible representations of twisted Yangians associated to symmetric pairs of types CI, DIII and BCD0.

math.QA↗
arXiv2016

Twisted Yangians of small rank

We study quantized enveloping algebras called twisted Yangians associated with the symmetric pairs of types CI, BDI and DIII (in Cartan's classification) when the rank is small. We establish isomorphisms between these twisted Yangians and the well known Olshanskii's twisted Yangians of types AI and AII, and also with the Molev-Ragoucy reflection algebras associated with symmetric pairs of type AIII. We also construct isomorphisms with twisted Yangians in Drinfeld's original presentation.

math.QA↗