ﻻ يوجد ملخص باللغة العربية
We study the locus of the liftings of a homogeneous ideal $H$ in a polynomial ring over any field. We prove that this locus can be endowed with a structure of scheme $mathrm L_H$ by applying the constructive methods of Grobner bases, for any given term order. Indeed, this structure does not depend on the term order, since it can be defined as the scheme representing the functor of liftings of $H$. We also provide an explicit isomorphism between the schemes corresponding to two different term orders. Our approach allows to embed $mathrm L_H$ in a Hilbert scheme as a locally closed subscheme, and, over an infinite field, leads to find interesting topological properties, as for instance that $mathrm L_H$ is connected and that its locus of radical liftings is open. Moreover, we show that every ideal defining an arithmetically Cohen-Macaulay scheme of codimension two has a radical lifting, giving in particular an answer to an open question posed by L. G. Roberts in 1989.
The Hilbert scheme $mathbf{Hilb}_{p(t)}^{n}$ parametrizes closed subschemes and families of closed subschemes in the projective space $mathbb{P}^n$ with a fixed Hilbert polynomial $p(t)$. It is classically realized as a closed subscheme of a Grassman
We give a notion of combinatorial proximity among strongly stable ideals in a given polynomial ring with a fixed Hilbert polynomial. We show that this notion guarantees geometric proximity of the corresponding points in the Hilbert scheme. We define
Following the approach in the book Commutative Algebra, by D. Eisenbud, where the author describes the generic initial ideal by means of a suitable total order on the terms of an exterior power, we introduce first the generic initial extensor of a su
In this paper we study the local cohomology modules of Du Bois singularities. Let $(R,m)$ be a local ring, we prove that if $R_{red}$ is Du Bois, then $H_m^i(R)to H_m^i(R_{red})$ is surjective for every $i$. We find many applications of this result.
A classical approach to investigate a closed projective scheme $W$ consists of considering a general hyperplane section of $W$, which inherits many properties of $W$. The inverse problem that consists in finding a scheme $W$ starting from a possible