Abstract:We develop the theory of truncated wedge schemes, a higher dimensional analog of jet schemes. We prove some basic properties and give an irreducibility criterion for truncated wedge schemes of a locally complete intersection variety analogous to Mustaţǎ's for jet schemes. We show that the reduced subscheme structure of a truncated wedge scheme of any monomial scheme is itself a monomial scheme in a natural way by explicitly describing generators of each of the minimal primes of any truncated wedge scheme of a monomial hypersurface. We give evidence that the irreducible components of the truncated wedge schemes of a reduced monomial hypersurface all have multiplicity one.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to develop a theory of high - dimensional analogy, namely the truncated wedge schemes, and explore its properties and applications. Specifically:
1. **Introduction and development of the theory**: The paper aims to introduce and develop the concept of truncated wedge schemes, which are mathematical objects that are two - dimensional analogies to arcs. By studying these objects, the author hopes to provide new perspectives and tools for geometric and algebraic problems.
2. **Basic properties and irreducibility criteria**: The author proves some basic properties about truncated wedge schemes and gives the irreducibility criteria for the truncated wedge schemes of locally complete intersection varieties, similar to Mustaţă's research results on jet schemes.
3. **Structure of monomial schemes**: For any monomial scheme, the author shows that the reduced subscheme structure of its truncated wedge scheme is itself a natural monomial scheme and clearly describes the generators of each minimal prime ideal.
4. **Multiplicities of irreducible components**: The author provides evidence that for a reduced monomial hypersurface, the multiplicities of all irreducible components of its truncated wedge scheme are one.
### Formula representation of specific problems
- **Definition of truncated wedge schemes**:
\[
W_m(X)=\text{Hom}_k(\text{Spec }k[s, t]/(s, t)^{m + 1}, X)
\]
Here, \(X\) is a \(k\)-scheme of finite type.
- **Irreducibility criteria**:
For a locally complete intersection variety \(X\), the truncated wedge scheme \(W_m(X)\) is pure - dimensional if and only if:
\[
\dim W_m(X)=\frac{1}{2}n(m + 1)(m + 2)
\]
where \(n\) is the dimension of \(X\).
- **Minimal prime ideals of monomial hypersurfaces**:
For a monomial hypersurface \(X = \text{Spec }k[x_1,\ldots,x_n]/(x_1^{a_1}\cdots x_r^{a_r})\), the minimal prime ideals of its truncated wedge scheme \(W_m(X)\) are given in the following form:
\[
P=(x_{i_k,j_k}:0\leq i_k + j_k<t_k,1\leq k\leq r)
\]
where \(0\leq t_k\leq m + 1\) and \(\sum a_kt_k\geq m + 1\).
By solving these problems, the paper provides new tools and methods for the study of high - dimensional geometry and algebraic geometry.