[Paper Review] Universal Verma modules and the Misra-Miwa Fock space

Arun Ram, Peter Tingley|arXiv (Cornell University)|Feb 2, 2010

Algebraic structures and combinatorial models26 references3 citations

TL;DR

This paper establishes a deep connection between the Misra-Miwa $v$-deformed Fock space representation of $U_v(\widehat{\mathfrak{sl}}_\ell)$ and polynomial Weyl modules for $U_q(\mathfrak{gl}_N)$ as $N \to \infty$. Using the Shapovalov determinant on universal Verma modules, it shows that the powers of $v$ appearing in the Fock space matrix elements correspond exactly to the $v$-valuations of the Shapovalov form on highest weight vectors in Weyl modules, providing a universal realization of these quantum group matrix coefficients.

ABSTRACT

The Misra-Miwa $v$-deformed Fock space is a representation of the quantized affine algebra of type A. It has a standard basis indexed by partitions and the non-zero matrix entries of the action of the Chevalley generators with respect to this basis are powers of $v$. Partitions also index the polynomial Weyl modules for the quantum group $U_q(gl_N)$ as $N$ tends to infinity. We explain how the powers of $v$ which appear in the Misra-Miwa Fock space also appear naturally in the context of Weyl modules. The main tool we use is the Shapovalov determinant for a universal Verma module

Motivation & Objective

• To explain the origin of the $v$-powers in the Misra-Miwa Fock space representation of $U_v(\widehat{\mathfrak{sl}}_\ell)$.
• To connect these $v$-powers to the representation theory of polynomial Weyl modules for $U_q(\mathfrak{gl}_N)$ as $N \to \infty$.
• To show that the $v$-powers in the Fock space action arise naturally as $v$-valuations of the Shapovalov form on highest weight vectors in Weyl modules.
• To establish this link using the Shapovalov determinant on universal Verma modules, providing a universal framework for the matrix coefficients.

Proposed method

• Utilizes the Shapovalov determinant formula for universal Verma modules to compute the norm of highest weight vectors in tensor products of Weyl modules with the standard representation.
• Applies the valuation $\text{val}_{\phi_{2\ell}}$ at the cyclotomic polynomial $\phi_{2\ell}$ to the Shapovalov form to extract the $v$-powers.
• Employs the universal Verma module framework of Kashiwara and Kamita to handle the $q$-deformation uniformly across $N$.
• Uses the evaluation map $\text{ev}_\lambda$ on the universal Verma module to relate matrix coefficients to $q$-integers and hook-length-like expressions.
• Relies on the triangularity condition to uniquely identify the highest weight vector in $\Delta^\mathcal{A}(\lambda) \otimes_{\mathcal{A}} V$.
• Applies the identity $\text{ev}_\lambda(s_k) = \text{val}_{\phi_{2\ell}}(v_\mu, v_\mu)$ to link the Fock space matrix element $\langle \mu | F_{\bar{i}} | \lambda \rangle$ to the valuation of the norm of the highest weight vector.

Experimental results

Research questions

• RQ1 Why do the matrix coefficients of the Chevalley generators in the Misra-Miwa Fock space appear as powers of $v$?
• RQ2 How can these $v$-powers be systematically derived from the representation theory of $U_q(\mathfrak{gl}_N)$ Weyl modules?
• RQ3 Is there a universal construction that explains the appearance of these $v$-powers across all $N$?
• RQ4 Can the Shapovalov determinant on universal Verma modules be used to compute the $v$-valuation of the norm of highest weight vectors in $\Delta(\lambda) \otimes V$?
• RQ5 What is the precise relationship between the $v$-powers in the Fock space and the $v$-valuation of the Shapovalov form on the corresponding highest weight vector?

Key findings

• The matrix coefficient $\langle \mu | F_{\bar{i}} | \lambda \rangle$ in the Misra-Miwa Fock space is equal to $v^{\text{val}_{\phi_{2\ell}}(v_\mu, v_\mu)}$, where $v_\mu$ is the unique highest weight vector in $\Delta^\mathcal{A}(\lambda) \otimes_{\mathcal{A}} V$ satisfying a triangularity condition.
• The $v$-valuation $\text{val}_{\phi_{2\ell}}(v_\mu, v_\mu)$ is computed via the Shapovalov determinant on the universal Verma module, linking it to the structure of the universal representation.
• The result is derived by showing $\text{ev}_\lambda(s_k) = \text{val}_{\phi_{2\ell}}(v_\mu, v_\mu)$, where $\text{ev}_\lambda(s_k)$ is the evaluation of a universal element related to the $q$-integers in the Shapovalov form.
• The valuation $\text{val}_{\phi_{2\ell}}$ captures the $v$-power precisely because $[x]$ is divisible by $\phi_{2\ell}$ iff $\ell \mid x$, and $[x]$ is not divisible by $\phi_{2\ell}^2$.
• The connection is universal: the same $v$-powers appear in the Fock space and in the $v$-valuation of the Shapovalov form across all $N$, as $N \to \infty$.
• The method provides a computational framework using the Shapovalov determinant and universal Verma modules to derive the $v$-powers without relying on specific $N$-dependent representations.