Abstract:A primitive multiple scheme is a complex Cohen-Macaulay scheme $Y$ such that the associated reduced scheme $X=Y_{red}$ is smooth, irreducible, and that $Y$ can be locally embedded in a smooth variety of dimension $\dim(X)+1$. If $n$ is the multiplicity of $Y$, there is a canonical filtration $X=X_1\subset X_2\subset\cdots\subset X_n=Y$, such that $X_i$ is a primitive multiple scheme of multiplicity $i$. The simplest example is the trivial primitive multiple scheme of multiplicity $n$ associated to a line bundle $L$ on $X$: it is the $n$-th infinitesimal neighborhood of $X$, embedded if the line bundle $L^*$ by the zero section. Let ${\bf Z}_n={spec}(C[t]/(t^n))$. The primitive multiple schemes of multiplicity $n$ are obtained by taking an open cover $(U_i)$ of a smooth variety $X$ and by gluing the schemes $U_i\times{\bf Z}_n$ using automorphisms of $U_{ij}\times {\bf Z}_n$ that leave $U_{ij}$ invariant. This leads to the study of the sheaf of nonabelian groups $G_n$ of automorphisms of $X\times {\bf Z}_n$ that leave the $X$ invariant, and to the study of its first cohomology set. If $n\geq 2$ there is an obstruction to the extension of $X_n$ to a primitive multiple scheme of multiplicity $n+1$, which lies in the second cohomology group $H^2(X,E)$ of a suitable vector bundle $E$ on $X$. In this paper we study these obstructions and the parametrization of primitive multiple schemes. As an example we show that if $X=P_m$ with $m>=3$ all the primitive multiple schemes are trivial. If $X=P_2$, there are only two non trivial primitive multiple schemes, of multiplicities $2$ and $4$, which are not quasi-projective. On the other hand, if $X$ is a projective bundle over a curve, we show that there are infinite sequences $X=X_1\subset X_2\subset\cdots\subset X_n\subset X_{n+1}\subset\cdots$ of non trivial primitive multiple schemes.

One higher dimensional analog of jet schemes

Jet schemes of singular surfaces of types $D_4^0$ and $D_4^1$ in characteristic $2$

Jacobian schemes arising from hypersurface arrangements in $\mathbb P^n$

Blowing-ups of primitive multiple schemes

Jacobian Schemes Arising From Hypersurface Arrangements in P n

Jet Schemes, Quantum Dilogarithm and Feigin-Stoyanovsky's Principal Subspaces

Intersecting subvarieties of abelian schemes with group subschemes I

Nested Hilbert Schemes on Surfaces: Virtual Fundamental Class

Schemes of Finite Expansion and Universally Closed Curves

Derived categories of Quot schemes of locally free quotients

Families of jets of arc type and higher (co)dimensional Du Val singularities

Injectivity theorems and cubical descent for schemes, stacks, and analytic spaces

Jets-separation thresholds, Seshadri constants and higher Gauss-Wahl maps on abelian varieties

Derived hyperquot schemes

The geometry of double nested Hilbert schemes of points on curves

Primitive multiple schemes

IVHS via Kuznetsov components and categorical Torelli theorems for weighted hypersurfaces

Nested Hilbert Schemes on Hirzebruch surfaces and quiver varieties

Seshadri stratifications and standard monomial theory

Moduli of sheaves on fourfolds as derived Lagrangian intersections

Irreducibility of Some Nested Hilbert Schemes