Abstract:We attach a $\mathfrak{sl}_2$ crystal, called cocrystal, to a symplectic Kashiwara-Nakashima (KN) tableau, whose vertices are skew KN tableaux connected via the Lecouvey-Sheats symplectic \emph{jeu de taquin}. These cocrystals contain all the needed information to compute right and left keys of a symplectic KN tableau. Motivated by Willis' direct way of computing type $A$ right and left keys, we also give a way of computing symplectic, right and left, keys without the use of the symplectic \emph{jeu de taquin}. On the other hand, we prove that Baker virtualization by folding $A_{2n-1}$ into $C_n$ commutes with dilatation of crystals. Thus we may alternatively utilize this Baker virtualization to embed a type $C_n$ Demazure crystal, its opposite and atoms into $A_{2n-1}$ ones. The right, respectively left keys of a KN tableau are thereby computed as $A_{2n-1}$ semistandard tableaux and returned back via reverse Baker embedding to the $C_n$ crystal as its right respectively left symplectic keys. In particular, Baker embedding also virtualizes the crystal of Lakshmibai-Seshadri paths as $B_n$-paths into the crystal of Lakshmibai-Seshadri paths as $\mathfrak{S}_{2n}$-paths. Lastly, as an application of our explicit symplectic right and left key maps, thanks to the isomorphism between Lakshmibai-Seshadri path and Kashiwara crystals we use, similarly to the ${{Gl}(n,\mathbb{C})}$ case, left and right key maps as a tool to test whether a symplectic KN tableau is \emph{standard} on a Schubert or Richardson variety in the flag variety $Sp(2n,\mathbb{C})/B$, with $B$ a Borel subgroup.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the calculation methods of right - keys and left - keys of symplectic Kashiwara - Nakashima (KN) tableaux. Specifically, the paper proposes the following points:
1. **Introduction of Cocrystals**: The paper first introduces a structure called "cocrystals", which can be attached to symplectic Kashiwara - Nakashima (KN) tableaux. The vertices of these cocrystals are skew KN tableaux connected by Lecouvey - Sheats symplectic jeu de taquin. These cocrystals contain all the information required to calculate the right - keys and left - keys of symplectic KN tableaux.
2. **Direct Calculation Method**: Inspired by Willis' method of directly calculating right - keys and left - keys of type A, the paper proposes a new algorithm that can directly calculate the right - keys and left - keys of symplectic KN tableaux without using symplectic jeu de taquin. This method uses matchings to replace Willis sequences to determine the elements that will appear in each column when the column lengths are exchanged.
3. **Baker Virtualization and Crystal Dilation**: The paper proves that Baker virtualization commutes with crystal dilation by folding A2n - 1 to Cn. This means that Cn - type Demazure crystals and their opposite crystals can be embedded into A2n - 1 - type crystals by Baker virtualization, and the symplectic right - keys and left - keys can be calculated by type A methods, and then return to Cn - type crystals by reverse Baker embedding.
4. **Applications**: Finally, the paper shows how to use the explicitly calculated symplectic right - keys and left - keys mappings to test whether a symplectic KN tableau is standard on the Schubert or Richardson variety of the flag manifold Sp(2n,C)/B.
### Main Contributions
- **New Calculation Method**: Provides a method for directly calculating the right - keys and left - keys of symplectic KN tableaux without relying on symplectic jeu de taquin.
- **Baker Virtualization**: Proves the commutativity of Baker virtualization and crystal dilation, providing another way to calculate symplectic right - keys and left - keys.
- **Theoretical Applications**: Applies these calculation methods to the standardness tests of Schubert and Richardson varieties, further enriching the applications of the standard monomial theory.
### Formula Examples
The formulas involved in the paper include but are not limited to:
- **Crystal Operators**:
\[
\text{If } a, b\in B \text{ and } e_i(a)=b, \text{ then } f_i(b) = a
\]
\[
\text{and } \text{wt}(b)=\text{wt}(a)+\alpha_i, \quad \epsilon_i(b)=\epsilon_i(a)- 1, \quad \phi_i(b)=\phi_i(a)+1
\]
- **Weight Function**:
\[
\phi_i(a)=\langle \text{wt}(a),\alpha_i^{\vee}\rangle+\epsilon_i(a) \quad \text{where } \alpha_i^{\vee}=\frac{2\alpha_i}{\langle \alpha_i,\alpha_i\rangle}
\]
These formulas and methods provide a solid theoretical basis for understanding and calculating the right - keys and left - keys of symplectic KN tableaux.