Consider the determinantal varieties $X_r$ of $3\times 3$ matrices of rank at most $r$, which are defined by the vanishing of minors of size $r+1$. We illustrate computationally some of the known results about jets.
|
|
Since $X_0$ is a single point, its first jet scheme consists of a single (smooth) point.
|
|
|
The jets of $X_2$ (the variety of maximal minors) are known to be irreducible (see Theorem 3.1 in T. Košir, B.A. Sethuraman, Determinantal varieties over truncated polynomial rings [KS05], or Corollary 4.13 in R. Docampo, Arcs on determinantal varieties [Doc13]).
|
|
|
As for the case of $2\times 2$ minors, Theorem 5.1 in [KS05], Theorem 5.1 in C. Yuen, Jet schemes of determinantal varieties, and Corollary 4.13 in [Doc13] all count the number of components; the first two references describe the components further. As expected, the first jet scheme of $X_1$ has two components, one of them an affine space.
|
|
|
|
The other component is the so-called principal component of the jet scheme, i.e., the Zariski closure of the first jets of the smooth locus of $X_1$. To check this, we first establish that the first jet scheme is reduced (i.e. its ideal is radical), then use the principalComponent method with the option principalComponent(...,Saturate=>...) set to false to speed up computations.
|
|
|
Finally, as observed in Theorem 18 of S.R. Ghorpade, B. Jonov and B.A. Sethuraman, Hilbert series of certain jet schemes of determinantal varieties the Hilbert series of the principal component of the first jet scheme of $X_1$ is the square of the Hilbert series of $X_1$.
|
|