Searcharxiv⌕ Search

arXiv subjects

Gail Letzter

Publications and source records attributed to Gail Letzter.

13 recordsLinked to original sources
arXiv2024

The Capelli eigenvalue problem for quantum groups

We introduce and study quantum Capelli operators inside newly constructed quantum Weyl algebras associated to three families of symmetric pairs. Both the center of a particular quantized enveloping algebra and the Capelli operators act semisimply on the polynomial part of these quantum Weyl algebras. We show how to transfer well-known properties of the center arising from the theory of quantum symmetric pairs to the Capelli operators. Using this information, we provide a natural realization of Knop-Sahi interpolation polynomials as functions that produce eigenvalues for quantum Capelli operators.

math.QA↗
arXiv2024

Quantized Weyl algebras, the double centralizer property, and a new First Fundamental Theorem for $U_q(\mathfrak{gl}_n)$

Let $\mathcal P:=\mathcal P_{m\times n}$ denote the quantized coordinate ring of the space of $m\times n$ matrices, equipped with natural actions of the quantized enveloping algebras $U_q(\mathfrak{gl}_m)$ and $U_q(\mathfrak{gl}_n)$. Let $\mathcal L$ and $\mathcal R$ denote the images of $U_q(\mathfrak{gl}_m)$ and $U_q(\mathfrak{gl}_n)$ in $\mathrm{End}(\mathcal P)$, respectively. We define a $q$-analogue of the algebra of polynomial-coefficient differential operators inside $\mathrm{End}(\mathcal P)$, henceforth denoted by $\mathcal{PD}$, and we prove that $\mathcal L\cap \mathcal{PD}$ and $\mathcal{R}\cap \mathcal{PD}$ are mutual centralizers inside $\mathcal{PD}$. Using this, we establish a new First Fundamental Theorem of invariant theory for $U_q(\mathfrak{gl}_n)$. We also compute explicit formulas in terms of $q$-determinants for generators of the intersections with $\mathcal{PD}$ of the images of the Cartan subalgebras of $U_q(\mathfrak{gl}_m)$ and $U_q(\mathfrak{gl}_n)$.

math.QA↗
arXiv2022

Weyl algebras for quantum homogeneous spaces

We present a new family of quantum Weyl algebras where the polynomial part is the quantum analog of functions on homogeneous spaces corresponding to symmetric matrices, skew symmetric matrices, and the entire space of matrices of a given size. The construction uses twisted tensor products and their deformations combined with invariance properties derived from quantum symmetric pairs. These quantum Weyl algebras admit $U_q(\mathfrak{gl}_N)$-module algebra structures compatible with standard ones on the polynomial part, have relations that are expressed nicely via matrices, and are closely related to an algebra arising in the theory of quantum bounded symmetric domains.

math.QA↗
arXiv2019

Translation functors and decomposition numbers for the periplectic Lie superalgebra $\mathfrak{p}(n)$

We study the category $\mathcal{F}_n$ of finite-dimensional integrable representations of the periplectic Lie superalgebra $\mathfrak{p}(n)$. We define an action of the Temperley--Lieb algebra with infinitely many generators and defining parameter $0$ on the category $\mathcal{F}_n$ by translation functors. We also introduce combinatorial tools, called weight diagrams and arrow diagrams for $\mathfrak{p}(n)$ resembling those for $\mathfrak{gl}(m|n)$. Using the Temperley--Lieb algebra action and the combinatorics of weight and arrow diagrams, we then calculate the multiplicities of standard and costandard modules in indecomposable projective modules and classify the blocks of $\mathcal{F}_n$. We also prove that indecomposable projective modules in this category are multiplicity-free.

math.RT↗
arXiv2018

Cartan Subalgebras for Quantum Symmetric Pair Coideals

There is renewed interest in the coideal subalgebras used to form quantum symmetric pairs because of recent discoveries showing that they play a fundamental role in the representation theory of quantized enveloping algebras. However, there is still no general theory of finite-dimensional modules for these coideals. In this paper, we establish an important step in this direction: we show that every quantum symmetric pair coideal subalgebra admits a quantum Cartan subalgebra which is a polynomial ring that specializes to its classical counterpart. The construction builds on Kostant and Sugiura's classification of Cartan subalgebras for real semisimple Lie algebras via strongly orthogonal systems of positive roots. We show that these quantum Cartan subalgebras act semisimply on finite-dimensional unitary modules and identify particularly nice generators of the quantum Cartan subalgebra for a family of examples.

math.RT↗
arXiv2018

The affine VW supercategory

We define the affine VW supercategory $\mathit{s}\hspace{-0.7mm}\bigvee\mkern-15mu\bigvee$, which arises from studying the action of the periplectic Lie superalgebra $\mathfrak{p}(n)$ on the tensor product $M\otimes V^{\otimes a}$ of an arbitrary representation $M$ with several copies of the vector representation $V$ of $\mathfrak{p}(n)$. It plays a role analogous to that of the degenerate affine Hecke algebras in the context of representations of the general linear group; the main obstacle was the lack of a quadratic Casimir element in $\mathfrak{p}(n)\otimes \mathfrak{p}(n)$. When $M$ is the trivial representation, the action factors through the Brauer supercategory $\mathit{s}\mathcal{B}\mathit{r}$. Our main result is an explicit basis theorem for the morphism spaces of $\mathit{s}\hspace{-0.7mm}\bigvee\mkern-15mu\bigvee$ and, as a consequence, of $\mathit{s}\mathcal{B}\mathit{r}$. The proof utilises the close connection with the representation theory of $\mathfrak{p}(n)$. As an application we explicitly describe the centre of all endomorphism algebras, and show that it behaves well under the passage to the associated graded and under deformation.

math.RT↗
arXiv2008

Macdonald difference operators and Harish-Chandra series

We analyze the centralizer of the Macdonald difference operator in an appropriate algebra of Weyl group invariant difference operators. We show that it coincides with Cherednik's commuting algebra of difference operators via an analog of the Harish-Chandra isomorphism. Analogs of Harish-Chandra series are defined and realized as solutions to the system of basic hypergeometric difference equations associated to the centralizer algebra. These Harish-Chandra series are then related to both Macdonald polynomials and Chalykh's Baker-Akhiezer functions.

math.QA↗
arXiv2004

Invariant differential operators for quantum symmetric spaces, I

This is the first paper in a series of two which proves a version of a theorem of Harish-Chandra for quantum symmetric spaces in the maximally split case: There is a Harish-Chandra map which induces an isomorphism between the ring of quantum invariant differential operators and the ring of invariants of a certain Laurent polynomial ring under an action of the restricted Weyl group. Here, we establish this result for all quantum symmetric spaces defined using irreducible symmetric pairs not of type EIII, EIV, EVII, or EIX. A quantum version of a related theorem due to Helgason is also obtained: The image of the center under this Harish-Chandra map is the entire invariant ring if and only if the underlying irreducible symmetric pair is not one of these four types.

math.QA↗
arXiv2004

Invariant differential operators for quantum symmetric spaces, II

The two papers in this series analyze quantum invariant differential operators for quantum symmetric spaces in the maximally split case. In this paper, we complete the proof of a quantum version of Harish-Chandra's theorem: There is a Harish-Chandra map which induces an isomorphism between the ring of quantum invariant differential operators and a ring of Laurent polynomial invariants with respect to the dotted action of the restricted Weyl group. We find a particularly nice basis for the quantum invariant differential operators that provides a new interpretation of difference operators associated to Macdonald polynomials. Finally, we set the stage for a general quantum counterpart to noncompact zonal spherical functions.

math.QA↗
arXiv2003

Quantum Zonal Spherical Functions and Macdonald Polynomials

A unified theory of quantum symmetric pairs is applied to q-special functions. Previous work characterized certain left coideal subalgebras in the quantized enveloping algebra and established an appropriate framework for quantum zonal spherical functions. Here a distinguished family of such functions, invariant under the Weyl group associated to the restricted roots, is shown to be a family of Macdonald polynomials, as conjectured by Koornwinder and Macdonald. Our results place earlier work for Lie algebras of classical type in a general context and extend to the exceptional cases.

math.QA↗
arXiv2002

Coideal Subalgebras and Quantum Symmetric Pairs

Coideal subalgebras of the quantized enveloping algebra are surveyed, with selected proofs included. The first half of the paper studies generators, Harish-Chandra modules, and associated quantum homogeneous spaces. The second half discusses various well known quantum coideal subalgebras and the implications of the abstract theory on these examples. The focus is on the locally finite part of the quantized enveloping algebra, analogs of enveloping algebras of nilpotent Lie subalgebras, and coideals used to form quantum symmetric pairs. The last family of examples is explored in detail. Connections are made to the construction of quantum symmetric spaces.

math.QA↗
arXiv2002

Quantum Symmetric Pairs and Their Zonal Spherical Functions

We study the space of biinvariants and zonal spherical functions associated to quantum symmetric pairs in the maximally split case. Under the obvious restriction map, the space of biinvariants is proved isomorphic to the Weyl group invariants of the character group ring associated to the restricted roots. As a consequence, there is either a unique set, or an (almost) unique two-parameter set of Weyl group invariant quantum zonal spherical functions associated to an irreducible symmetric pair. Included is a complete and explicit list of the generators and relations for the left coideal subalgebras of the quantized enveloping algebra used to form quantum symmetric pairs.

math.QA↗