Pfaffians and shuffling relations for the spin module (Q368649)

Let \(R\) be a commutative ring, \(B\) be the polynomial ring \(B=R[\{x_{ij}\}]\) with \(1\leq i<j\leq n+1\), and \(X\) be the \((n+1)\times (n+1)\) alternating matrix with \(x_{ij}\) in row \(i\) and column \(j\) for \(1\leq i<j\leq n+1\). In this paper, the ring \(B\) is expressed as a free \(R\)-module using a basis of standard monomials \{pf\(_{T}\)\}, where each pf\(_{T}\) is a product of Pfaffians of \(X\) and \(T\) roams over a set of standard tableau. Furthermore, \(B\) is considered as quotient of the polynomial ring \(C=R[\{Y_I\}]\), where \(Y_I\) is a new variable and \(I\) varies over the set of sequences \(i_1<\dots<i_{2\ell}\) with \(1\leq i_1\) and \(i_{2\ell}\leq n+1\). The \(R\)-algebra homomorphism \(\varphi:C\to B\) sends \(Y_I\) to the Pfaffian of the submatrix of \(X\) which corresponds to \(I\). The main theorem of this paper describes the kernel of \(\varphi\). This kernel is generated by quadratic (but not necessarily homogeneous) elements of \(C\) and each of these generators is obtained from a non-standard tableau with two-rows. For example, when \(n=3\), \(C=R[Y_{14}, Y_{24}, Y_{34}, Y_{12}, Y_{13}, Y_{23}, Y_{1234}]\), the kernel of \(\varphi\) is generated by \(Y_{1234}-Y_{14}Y_{23}+Y_{24}Y_{13}-Y_{34}Y_{12}\) and this generator may be read by applying a shuffling relation to the non-standard tableau \(\left(\begin{matrix}2&3\\1\end{matrix}\right)\). The proof uses techniques from representation theory.