Abstract: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)$.

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the invariant theory of quantum algebras, especially on the generalization of the First Fundamental Theorem (FFT) of the quantum group $U_q(\mathfrak{gl}_n)$ and the research on its related properties. Specifically: 1. **Quantum Weyl Algebra and Double Centralizer Property**: - The paper defines a quantum Weyl algebra $PD$, which is an analogue of the polynomial - coefficient differential operator algebra in the quantum context. - It is proved that $L\cap PD$ and $R\cap PD$ are mutual centralizers in $PD$, where $L$ and $R$ are the images of the quantum enveloping algebras $U_q(\mathfrak{gl}_m)$ and $U_q(\mathfrak{gl}_n)$ in $End(P)$ respectively. 2. **New First Fundamental Theorem**: - A new First Fundamental Theorem (FFT) of $U_q(\mathfrak{gl}_n)$ is established, which is a quantized generalization of the FFT in classical invariant theory. - Explicit formulas for generating $L_h\cap PD$ and $R_h\cap PD$ are given, where $L_h$ and $R_h$ are the images of the Cartan subalgebras of $U_q(\mathfrak{gl}_m)$ and $U_q(\mathfrak{gl}_n)$ in $End(P)$ respectively. 3. **Capelli Operators in Quantum Symmetric Spaces**: - The results of the paper are part of a research project on Capelli operators in quantum symmetric spaces. This naturally leads to a question: whether it is possible to define a quantum Weyl algebra in the setting of quantum symmetric spaces and realize the action of the quantum enveloping algebra (or its large subalgebras) through the elements in these algebras. In conclusion, the main goal of this paper is to generalize and deepen the understanding of quantum invariant theory by constructing and studying the quantum Weyl algebra $PD$ and its relationships with the quantum enveloping algebras $U_q(\mathfrak{gl}_m)$ and $U_q(\mathfrak{gl}_n)$.

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

Quantized Weyl algebras, the double centralizer property, and a new first fundamental theorem for U q (gl n )

A quantum analogue of the first fundamental theorem of invariant theory

A Quantum Analogue of the First Fundamental Theorem of Classical Invariant Theory

Central extensions of preprojective algebras, the quantum Heisenberg algebra, and 2-dimensional complex reflection groups

A combinatorial description of the centralizer algebras connected to the Links-Gould Invariant

The Schur-Weyl duality and Invariants for classical Lie superalgebras

Quantum affine $\frak{gl}_n$ via Hecke algebras

The $q$-Schur category and polynomial tilting modules for quantum $GL_n$

On some algebraic and geometric aspects of the quantum unitary group

The Center of A Quantum Affine Algebra at the Critical Level

The alternating central extension for the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$

The Integral quantum loop algebra of $\mathfrak{gl}_n$

Quantum Character Theory

A quantum cluster algebra of Kronecker type and the dual canonical basis

New quantum toroidal algebras from a correspondence with 5DN = 1 instantons on deformed ALE spaces

Quantum Berezinian for quantum affine superalgebra $U_q(\widehat{gl}_{M|N})$

Quantum Double of Uq((sl2)⩽0)

Quantum (dual) Grassmann superalgebra as $\mathcal U_q(\mathfrak{gl}(m|n))$-module algebra and beyond

Fused Hecke algebra and one-boundary algebras

On modular invariance of quantum affine $W$-algebras