No label defined (Q4339634)

Let \(X\) be an \(n\times n\) skew symmetric matrix of indeterminates over a field \(K\) and let \(K[P_{2t}]\subset K[X]\) be the \(K\)-subalgebra generated by the set \(P_{2t}(X)\) of \(2t\)-pfaffians of \(X\). For a set of indeterminates \(T = \{T_{\alpha} | \alpha \in P_{2t}(X)\}\) consider the presentation \(\varphi : K[T] \to K[P_{2t}]\) given by \(\varphi(T_{\alpha}) = \alpha\), \(\alpha \in P_{2t}(X)\). If the characteristic of \(K\) is zero or it is greater than \(\text{min} (2t, n-2t)\), then the ideal \(J = \text{ker} \varphi\) contains no quadrics (theorem 1.4). Let \(B\) be an integral domain, \(X = (X_{ij})\) a skew symmetric matrix of indeterminates of size \(n\) and let \(1\leq t_1\leq t_2\leq\dots \leq t_s \leq [\frac{n}{2}]\) be integers. If \((\text{min} (2t_i,n-2t_i))!\) is invertible in \(B\) for every \(i=1,2,\dots,s\), then there is a (possibly redundant) primary decomposition \(I_{2t_1}I_{2t_2}\cdots I_{2t_s} = \bigcap_{j=1}^{t_s}I_{2j}(X)^{(e_j)}\), where \(e_j = \sum_{i=1}^se(j,t_i)\) (theorem 2.4).