Abstract:The Robinson-Schensted-Knuth correspondence (RSK) is a bijection between nonnegative integer matrices and pairs of Young tableaux. We study it as a linear operator on the coordinate ring of matrices.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the linear - algebraic properties of the Robinson - Schensted - Knuth (RSK) correspondence. Specifically, it is the study of regarding RSK as a linear operator on the coordinate ring. RSK is an important combinatorial algorithm, which plays a role in the transformation between the "representation theory" and the "obvious" bases. The author aims to deeply explore the characteristics of RSK as a linear operator, especially its properties such as eigenvalues, diagonalizability, determinant and trace.
Described in more specific mathematical language, the paper focuses on:
1. **RSK as a linear operator**: RSK can be interpreted as a linear operator on the matrix coordinate ring \(R_{m,n}\), where \(R_{m,n}:=\mathbb{C}[z_{ij}]_{1\leq i\leq m, 1\leq j\leq n}\) is the coordinate ring of the \(m\times n\) complex matrix space.
2. **Transformation between bases**: \(R_{m,n}\) has two important bases: one is the "obvious" monomial base, and the other is the "representation theory" double - table base. RSK plays a role in the transformation between these two bases.
3. **Properties of the linear operator**: Study the properties of RSK as a linear operator, including:
- **Eigenvalues and eigenvectors**: Determine the eigenvalues of the RSK operator and its eigenvectors.
- **Diagonalizability**: Study when the RSK operator can be diagonalized.
- **Determinant and trace**: Calculate the determinant and trace of the RSK operator, and analyze their periodicity and polynomial growth properties.
4. **Weight space and RSK - commuting map**: By introducing the weight space and the RSK - commuting map, further decompose the RSK operator to better understand its structure and properties.
In summary, the main goal of this paper is to deeply study the properties of the RSK correspondence as a linear operator through linear - algebraic methods, thereby revealing its deep - level structure in combinatorial representation theory.