Non-obstructed subcanonical space curves (Q2366848)

``In 1960 \textit{A. Grothendieck} proved that there is a \(k\)-projective scheme \(\text{Hilb}^ n_{p(t)}\) which parametrizes from the functorial point of view all closed subschemes of \(\mathbb{P}^ n\) with given Hilbert polynomial \(p(t)\in\mathbb{Q}[t]\); we will say that a closed subscheme \(X\subset\mathbb{P}^ n\) is non-obstructed if the corresponding point \(x\) of the Hilbert scheme \(\text{Hilb}^ n_{p(t)}\) is nonsingular; otherwise, we will say that \(X\) is obstructed. A geometrical characterization of non-obstructedness is not known even for smooth space curves. Several examples of obstructed smooth space curves have been given by different authors. In this paper, we will prove the non-obstructedness of subcanonical 2- Buchsbaum space curves. As a corollary we will get that 2-Buchsbaum quasi-complete space curves not contained in a surface of degree \(<9\) are also non-obstructed. Recall that a curve \(C\subset\mathbb{P}^ 3\) is subcanonical if the canonical sheaf \(\omega_ C\) of \(C\) is isomorphic to \({\mathcal O}_ C(a)\) for some integer \(a\); and a curve \(C\subset\mathbb{P}^ 3\) is \(k\)-Buchsbaum if and only if \(k=\min\{t\mid m^ tM(C)=0\}\) where \(m=(X_ 0,X_ 1,X_ 2,X_ 3)\) and \(M(C)\) is the Hartshorne-Rao module of \(C\). A classical theorem of \textit{Giuseppe Gherardelli} says that a smooth irreducible subcanonical curve \(C\subset\mathbb{P}^ 3\) is arithmetically Cohen-Macaulay if and only if it is complete intersection. In Ann. Univ. Ferrara, Nuova Ser., Sez. VII 33, 89-111 (1987; Zbl 0657.14027), \textit{P. Ellia} and \textit{M. Fiorentini} proved that an integral subcanonical curve \(C\subset\mathbb{P}^ 3\) is arithmetically Buchsbaum if and only if \(C\) is the zero scheme of a section of \(N(t)\), \(t\geq 1\), where \(N\) is the null correlation bundle. Therefore, subcanonical \(k\)-Buchsbaum space curves , \(0\leq k\leq 1\), are non- obstructed. The aim of this paper is to extend this knowledge to subcanonical 2-Buchsbaum space curves with the hope of finding a clue which could facilitate the study of arbitrary subcanonical space curves''.