アフィン量子Schur–Weyl双対性

Let $\mathpzc K$ be an arbitrary commutative ring containing an invertible element $\varepsilon$. Let ${\mathcal H}_{{\!\vartriangle\!}}(r)_{\mathpzc K}$ be the extended affine Hecke algebra of type $A$ with Hecke parameter $\varepsilon$, let $\Omega_{\mathpzc K}^{\otimes r}$ be the affine tensor space, and let ${\mathcal S}_{{\!\vartriangle\!}}(n,r)_{\mathpzc K}$ be the corresponding affine quantum Schur algebra. We first prove that the natural right action of ${\mathcal H}_{{\!\vartriangle\!}}(r)_{\mathpzc K}$ on $\Omega_{\mathpzc K}^{\otimes r}$ is always faithful. Assume further that $\mathpzc K$ is a field of characteristic $0$ and that $\varepsilon$ is not a root of unity. We prove that, for any $n\geq 2$, the natural algebra homomorphism $\xi_r:{\mathcal H}_{{\!\vartriangle\!}}(r)_{\mathpzc K}\rightarrow\operatorname{End}_{{\mathcal S}_{{\!\vartriangle\!}}(n,r)_{\mathpzc K}}(\Omega_{\mathpzc K}^{\otimes r})^{\mathrm{op}}$ is an isomorphism. This proves Conjecture~3.8.8 of \cite{DDF}. As an application, we prove the conjecture formulated in \cite[5.2.4]{DDF} concerning the center of the affine quantum Schur algebra. We also prove that ${\mathcal S}_{{\!\vartriangle\!}}(n,r)_{\mathpzc K}$ is left and right Noetherian whenever $\mathpzc K$ is a Noetherian commutative ring, which verify a conjecture in \cite[Rem. 1.7]{DY}.

35 pages