A classical approach to investigate a closed projective scheme $W$ consists of considering a ge\-ne\-ral hyperplane section of $W$, which inherits many properties of $W$. The inverse problem that consists in finding a scheme $W$ starting from a possible hyperplane section $Y$ is called a {\em lifting problem}, and every such scheme $W$ is called a {\em lifting} of $Y$. Investigations in this topic can produce methods to obtain schemes with specific properties. For example, any smooth point for $Y$ is smooth also for $W$. We characterize all the liftings of $Y$ with a given Hilbert polynomial by a parameter scheme that is obtained by gluing suitable affine open subschemes in a Hilbert scheme and is described through the functor it represents. %R3 We use constructive methods from Gr\"obner and marked bases theories. Furthermore, by classical tools we obtain an analogous result for equidimensional liftings. Examples of explicit computations are provided.
Functors of liftings of projective schemes / Bertone, Cristina; Cioffi, Francesca; Franco, Davide. - In: JOURNAL OF SYMBOLIC COMPUTATION. - ISSN 0747-7171. - 94:(2019), pp. 105-125. [10.1016/j.jsc.2018.07.003]
Functors of liftings of projective schemes
Cioffi, Francesca
;Franco, Davide
2019
Abstract
A classical approach to investigate a closed projective scheme $W$ consists of considering a ge\-ne\-ral hyperplane section of $W$, which inherits many properties of $W$. The inverse problem that consists in finding a scheme $W$ starting from a possible hyperplane section $Y$ is called a {\em lifting problem}, and every such scheme $W$ is called a {\em lifting} of $Y$. Investigations in this topic can produce methods to obtain schemes with specific properties. For example, any smooth point for $Y$ is smooth also for $W$. We characterize all the liftings of $Y$ with a given Hilbert polynomial by a parameter scheme that is obtained by gluing suitable affine open subschemes in a Hilbert scheme and is described through the functor it represents. %R3 We use constructive methods from Gr\"obner and marked bases theories. Furthermore, by classical tools we obtain an analogous result for equidimensional liftings. Examples of explicit computations are provided.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.