On jet schemes of Pfaffian ideals (Q2323317)

For an ideal \(I\) in a polynomial ring one can associate a family of jet scheme ideals \(\mathcal{J} = \{I^{(k)}\}_{k \in \mathbb{N}_+}\). In his paper (see [Invent. Math. 145, No. 3, 397--424 (2001; Zbl 1091.14004)]) \textit{M. Mustaţă} has shown (among others) that the jet schemes of a determinantal variety of \(r \times r\)-matrices of rank at most \(r-1\) are irreducible. The authors start to investigate jet scheme ideals of Pfaffians. Let \(X\) denote a \(n \times n\)-skew symmetric matrix of indeterminates over an algebraically closed field \(K\). Let \(I_r \subset K[X]\) denote the Pfaffian ideal of size \(2r\). Then they investigate the jet scheme ideals \(I^{n,k}_r\). Among others it is shown: (1) \(I^{2r,k}_r\) is prime of codimension \(k\). (2) \(I^{2r+1,k}_r\) is prime of codimension \(3k\). (3) \(I^{n,k}_r\) is reducible and not pure for \(n \geq 2r+2\) and \(r \geq 2\). -- The main idea of their proofs is a reduction technique from the study of \(I^{n,k}_r\) to that of some \(I^{n_1,k_1}_{r_1}\) with \(n_1 \leq n, k_1 \leq k, r_1 \leq r\) and results about Gröbner bases.