Abstract:For $\gamma \geq 7$ and $g \geq 6\gamma + 5$, we construct a family $\mathcal{F}^{\prime}$ of curves lying on cones in $\mathbb{P}^{g-3\gamma+1}$ over smooth non-degenerate curves of genus $\gamma$ and degree $g-2\gamma$ in $\mathbb{P}^{g-3\gamma+1}$. We show that $\dim \mathcal{F}^{\prime} = 2g-\gamma-1 + (g-3\gamma+1)^2$. For a general curve $X^{\prime}$ from the family $\mathcal{F}^{\prime}$, we compute the dimension of the space of its first-order deformations. We prove that the family $\mathcal{F}^{\prime}$ gives rise to an irreducible, non-reduced component $\mathcal{D}^{\prime}$ of the Hilbert scheme $\mathcal{I}_{2g-4\gamma + 1, g, g - 3\gamma + 1}$, which parametrizes smooth, irreducible, non-degenerate curves of degree $2g-4\gamma + 1$ and genus $g$ in $\mathbb{P}^{g-3\gamma+1}$. We obtain $\dim T_{[X^{\prime}]} \mathcal{D}^{\prime} = \dim \mathcal{D}^{\prime} + 1 = \dim \mathcal{F}^{\prime} + 1$.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper aims to explore and prove the existence of non - reduced components in the Hilbert scheme under certain conditions. Specifically, the goal of the paper is to construct a family of curves and prove that the components in the Hilbert scheme corresponding to these curves are non - reduced.
#### Background and Motivation
The Hilbert scheme \(I_{d,g,r}\) is a moduli space that parameterizes smooth, irreducible, non - degenerate curves in the projective space \(\mathbb{P}^r\) with a given degree \(d\) and genus \(g\). The geometric properties of these components can be very complex, possibly containing multiple components of different dimensions, which may be generically smooth or non - reduced.
#### Main Results
The main result of the paper is to prove that for a given \(\gamma\geq7\) and \(g\geq6\gamma + 5\), there exists a non - reduced component \(D'_{d - 1,g,R - 1}\) which belongs to the Hilbert scheme \(I_{2g-4\gamma + 1,g,g - 3\gamma + 1}\). The specific properties of this component are as follows:
1. **Dimension**: The dimension of the component \(D'_{d - 1,g,R - 1}\) is:
\[
\dim D'_{d - 1,g,R - 1}=\lambda_{d - 1,g,R - 1}+(R - 1)\gamma-2g + 3=2g-\gamma-1+R^2
\]
where \(\lambda_{d - 1,g,R - 1}\) is the expected dimension.
2. **Dimension of Tangent Space**: At a general point \([X']\in D'_{d - 1,g,R - 1}\), the dimension of the tangent space \(T_{[X']}D'_{d - 1,g,R - 1}\) is 1 more than the dimension of the component itself:
\[
\dim T_{[X']}D'_{d - 1,g,R - 1}=\dim D'_{d - 1,g,R - 1}+ 1
\]
3. **Geometric Structure of Curves**: The curve \(X'\) corresponding to a general point \([X']\in D'_{d - 1,g,R - 1}\) lies on a cone \(F'\) with a smooth curve \(Y'\) as the base, where the genus of \(Y'\) is \(\gamma\) and the degree is \(g - 2\gamma\). Moreover, \(X'\) passes through the vertex \(P'\) of the cone, and the projection from \(P'\) to a hyperplane induces a double - covering map \(\phi':X'\to Y'\).
#### Methods and Steps
The paper proves the above results through the following three main steps:
1. **Constructing a Family of Curves**: Construct a family of curves \(F'\), define the component \(D'_{d - 1,g,R - 1}\), and calculate its dimension.
2. **Calculating the Dimension of the First - Order Deformation Space**: Calculate the dimension of the first - order deformation space of a general curve \(X'\) in \(\mathbb{P}^{R - 1}\).
3. **Proving Non - Reducedness**: By comparing the dimension of the component and the dimension of the tangent space, prove that \(D'_{d - 1,g,R - 1}\) is a non - reduced component.
In conclusion, this paper successfully proves the existence of non - reduced components in the Hilbert scheme by constructing a specific family of curves and analyzing their geometric properties, thus deepening the understanding of this type of moduli space.