BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Margherita Roggero

Margherita Roggero appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGmath.AC

Catalog footprint

What is connected

17works
2topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2016arXiv

Double-Generic Initial Ideal and Hilbert Scheme

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 subset of a Grassmannian and then the double-generic initial ideal of a so-called GL-stable subset of a Hilbert scheme. We discuss the features of these new notions and introduce also a partial order which gives another useful description of them. The double-generic initial ideals turn out to be the appropriate points to understand some geometric properties of a Hilbert scheme: they provide a necessary condition for a Borel ideal to correspond to a point of a given irreducible component, lower bounds for the number of irreducible components in a Hilbert scheme and the maximal Hilbert function in every irreducible component. Moreover, we prove that every isolated component having a smooth double-generic initial ideal is rational. As a byproduct, we prove that the Cohen-Macaulay locus of the Hilbert scheme parameterizing subschemes of codimension 2 is the union of open subsets isomorphic to affine spaces. This improves results by J. Fogarty (1968) and R. Treger (1989).

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On the functoriality of marked families

The application of methods of computational algebra has recently introduced new tools for the study of Hilbert schemes. The key idea is to define flat families of ideals endowed with a scheme structure whose defining equations can be determined by algorithmic procedures. For this reason, several authors developed new methods, based on the combinatorial properties of Borel-fixed ideals, that allow to associate to each ideal $J$ of this type a scheme $\mathbf{Mf}_{J}$, called $J$-marked scheme. In this paper we provide a solid functorial foundation to marked schemes and show that the algorithmic procedures introduced in previous papers do not depend on the ring of coefficients. We prove that for all strongly stable ideals $J$, the marked schemes $\mathbf{Mf}_{J}$ can be embedded in a Hilbert scheme as locally closed subschemes, and that they are open under suitable conditions on $J$. Finally, we generalize Lederer's result about Gröbner strata of zero-dimensional ideals, proving that Gröbner strata of any ideals are locally closed subschemes of Hilbert schemes.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Minimal Castelnuovo-Mumford regularity for a given Hilbert polynomial

Let $K$ be an algebraically closed field of null characteristic and $p(z)$ a Hilbert polynomial. We look for the minimal Castelnuovo-Mumford regularity $m_{p(z)}$ of closed subschemes of projective spaces over $K$ with Hilbert polynomial $p(z)$. Experimental evidences led us to consider the idea that $m_{p(z)}$ could be achieved by schemes having a suitable minimal Hilbert function. We give a constructive proof of this fact. Moreover, we are able to compute the minimal Castelnuovo-Mumford regularity $m_p(z)^{\varrho}$ of schemes with Hilbert polynomial $p(z)$ and given regularity $\varrho$ of the Hilbert function, and also the minimal Castelnuovo-Mumford regularity $m_u$ of schemes with Hilbert function $u$. These results find applications in the study of Hilbert schemes. They are obtained by means of minimal Hilbert functions and of two new constructive methods which are based on the notion of growth-height-lexicographic Borel set and called ideal graft and extended lifting.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The scheme of liftings and applications

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 Gröbner 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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Borel Degenerations of Arithmetically Cohen-Macaulay curves in P^3

We investigate Borel ideals on the Hilbert scheme components of arithmetically Cohen-Macaulay (ACM) codimension two schemes in P^n. We give a basic necessary criterion for a Borel ideal to be on such a component. Then considering ACM curves in P^3 on a quadric we compute in several examples all the Borel ideals on their Hilbert scheme component. Based on this we conjecture which Borel ideals are on such a component, and for a range of Borel ideals we prove that they are on the component.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Extensors and the Hilbert scheme

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 Grassmannian or a product of Grassmannians. In this paper we consider schemes over a field $k$ of characteristic zero and we present a new proof of the existence of the Hilbert scheme as a subscheme of the Grassmannian $\mathbf{Gr}_{p(r)}^{N(r)}$, where $N(r)= h^0 (\mathcal{O}_{\mathbb{P}^n}(r))$. Moreover, we exhibit explicit equations defining it in the Plücker coordinates of the Plücker embedding of $\mathbf{Gr}_{p(r)}^{N(r)}$. Our proof of existence does not need some of the classical tools used in previous proofs, as flattening stratifications and Gotzmann's Persistence Theorem. The degree of our equations is $\text{deg} p(t)+2$, lower than the degree of the equations given by Iarrobino and Kleiman in 1999 and also lower (except for the case of hypersurfaces) than the degree of those proved by Haiman and Sturmfels in 2004 after Bayer's conjecture in 1982. The novelty of our approach mainly relies on the deeper attention to the intrinsic symmetries of the Hilbert scheme and on some results about Grassmannian based on the notion of extensors.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The locus of points of the Hilbert scheme with bounded regularity

In this paper we consider the Hilbert scheme $Hilb_{p(t)}^n$ parameterizing subschemes of $P^n$ with Hilbert polynomial $p(t)$, and we investigate its locus containing points corresponding to schemes with regularity lower than or equal to a fixed integer $r'$. This locus is an open subscheme of $Hilb_{p(t)}^n$ and, for every $s\geq r'$, we describe it as a locally closed subscheme of the Grasmannian $Gr_{p(s)}^{N(s)}$ given by a set of equations of degree $\leq \mathrm{deg}(p(t))+2$ and linear inequalities in the coordinates of the Plücker embedding.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A Borel open cover of the Hilbert scheme

Let $p(t)$ be an admissible Hilbert polynomial in $\PP^n$ of degree $d$. The Hilbert scheme $\hilb^n_p(t)$ can be realized as a closed subscheme of a suitable Grassmannian $ \mathbb G$, hence it could be globally defined by homogeneous equations in the Plucker coordinates of $ \mathbb G$ and covered by open subsets given by the non-vanishing of a Plucker coordinate, each embedded as a closed subscheme of the affine space $A^D$, $D=\dim(\mathbb G)$. However, the number $E$ of Plucker coordinates is so large that effective computations in this setting are practically impossible. In this paper, taking advantage of the symmetries of $\hilb^n_p(t)$, we exhibit a new open cover, consisting of marked schemes over Borel-fixed ideals, whose number is significantly smaller than $E$. Exploiting the properties of marked schemes, we prove that these open subsets are defined by equations of degree $\leq d+2$ in their natural embedding in $\Af^D$. Furthermore we find new embeddings in affine spaces of far lower dimension than $D$, and characterize those that are still defined by equations of degree $\leq d+2$. The proofs are constructive and use a polynomial reduction process, similar to the one for Grobner bases, but are term order free. In this new setting, we can achieve explicit computations in many non-trivial cases.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Flat families by strongly stable ideals and a generalization of Groebner bases

Let J be a strongly stable monomial ideal in S=K[x_1,...,x_n] and let Mf(J) be the family of all homogeneous ideals I in S such that the set of all terms outside J is a K-vector basis of the quotient S/I. We show that an ideal I belongs to Mf(J) if and only if it is generated by a special set of polynomials, the J-marked basis of I, that in some sense generalizes the notion of reduced Groebner basis and its constructive capabilities. Indeed, although not every J-marked basis is a Groebner basis with respect to some term order, a sort of normal form modulo I (with the ideal I in Mf(J)) can be computed for every homogeneous polynomial, so that a J-marked basis can be characterized by a Buchberger-like criterion. Using J-marked bases, we prove that the family Mf(J) can be endowed, in a very natural way, with a structure of affine scheme that turns out to be homogeneous with respect to a non-standard grading and flat in the origin (the point corresponding to J), thanks to properties of J-marked bases analogous to those of Groebner bases about syzygies.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Term-ordering free involutive bases

In this paper, we consider a monomial ideal J in P := A[x1,...,xn], over a commutative ring A, and we face the problem of the characterization for the family Mf(J) of all homogeneous ideals I in P such that the A-module P/I is free with basis given by the set of terms in the Groebner escalier N(J) of J. This family is in general wider than that of the ideals having J as initial ideal w.r.t. any term-ordering, hence more suited to a computational approach to the study of Hilbert schemes. For this purpose, we exploit and enhance the concepts of multiplicative variables, complete sets and involutive bases introduced by Janet and we generalize the construction of J-marked bases and term-ordering free reduction process introduced and deeply studied for the special case of a strongly stable monomial ideal J. Here, we introduce and characterize for every monomial ideal J a particular complete set of generators F(J), called stably complete, that allows an explicit description of the family Mf(J). We obtain stronger results if J is quasi stable, proving that F(J) is a Pommaret basis and Mf(J) has a natural structure of affine scheme. The final section presents a detailed analysis of the origin and the historical evolution of the main notions we refer to.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Upgraded methods for the effective computation of marked schemes on a strongly stable ideal

Let $J\subset S=K[x_0,...,x_n]$ be a monomial strongly stable ideal. The collection $\Mf(J)$ of the homogeneous polynomial ideals $I$, such that the monomials outside $J$ form a $K$-vector basis of $S/I$, is called a {\em $J$-marked family}. It can be endowed with a structure of affine scheme, called a {\em $J$-marked scheme}. For special ideals $J$, $J$-marked schemes provide an open cover of the Hilbert scheme $\hilbp$, where $p(t)$ is the Hilbert polynomial of $S/J$. Those ideals more suitable to this aim are the $m$-truncation ideals $\underline{J}_{\geq m}$ generated by the monomials of degree $\geq m$ in a saturated strongly stable monomial ideal $\underline{J}$. Exploiting a characterization of the ideals in $\Mf(\underline{J}_{\geq m})$ in terms of a Buchberger-like criterion, we compute the equations defining the $\underline{J}_{\geq m}$-marked scheme by a new reduction relation, called {\em superminimal reduction}, and obtain an embedding of $\Mf(\underline{J}_{\geq m})$ in an affine space of low dimension. In this setting, explicit computations are achievable in many non-trivial cases. Moreover, for every $m$, we give a closed embedding $ϕ_m: \Mf(\underline{J}_{\geq m})\hookrightarrow \Mf(\underline{J}_{\geq m+1})$, characterize those $ϕ_m$ that are isomorphisms in terms of the monomial basis of $\underline{J}$, especially we characterize the minimum integer $m_0$ such that $ϕ_m$ is an isomorphism for every $m\geq m_0$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Rational components of Hilbert schemes

The Gröbner stratum of a monomial ideal $\id{j}$ is an affine variety that parametrizes the family of all ideals having $\id{j}$ as initial ideal (with respect to a fixed term ordering). The Gröbner strata can be equipped in a natural way of a structure of homogeneous variety and are in a close connection with Hilbert schemes of subvarieties in the projective space $\PP^n$. Using properties of the Gröbner strata we prove some sufficient conditions for the rationality of components of $\hilb_{p(z)}^n$. We show for instance that all the smooth, irreducible components in $\hilb_{p(z)}^n$ (or in its support) and the Reeves and Stillman component $H_{RS}$ are rational.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Conchoidal transform of two plane curves

The conchoid of a plane curve $C$ is constructed using a fixed circle $B$ in the affine plane. We generalize the classical definition so that we obtain a conchoid from any pair of curves $B$ and $C$ in the projective plane. We present two definitions, one purely algebraic through resultants and a more geometric one using an incidence correspondence in $\PP^2 \times \PP^2$. We prove, among other things, that the conchoid of a generic curve of fixed degree is irreducible, we determine its singularities and give a formula for its degree and genus. In the final section we return to the classical case: for any given curve $C$ we give a criterion for its conchoid to be irreducible and we give a procedure to determine when a curve is the conchoid of another.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Ideals with an assigned initial ideal

The stratum St(J,<) (the homogeneous stratum Sth(J,<) respectively) of a monomial ideal J in a polynomial ring R is the family of all (homogeneous) ideals of R whose initial ideal with respect to the term order < is J. St(J,<) and Sth(J,<) have a natural structure of affine schemes. Moreover they are homogeneous w.r.t. a non-standard grading called level. This property allows us to draw consequences that are interesting from both a theoretical and a computational point of view. For instance a smooth stratum is always isomorphic to an affine space (Corollary 3.6). As applications, in Sec. 5 we prove that strata and homogeneous strata w.r.t. any term ordering < of every saturated Lex-segment ideal J are smooth. For Sth(J,Lex) we also give a formula for the dimension. In the same way in Sec. 6 we consider any ideal R in k[x0,..., xn] generated by a saturated RevLex-segment ideal in k[x,y,z]. We also prove that Sth(R,RevLex) is smooth and give a formula for its dimension.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Segments and Hilbert schemes of points

Using results obtained from the study of homogeneous ideals sharing the same initial ideal with respect to some term order, we prove the singularity of the point corresponding to a segment ideal with respect to the revlex term order in the Hilbert scheme of points in $\mathbb{P}^n$. In this context, we look inside properties of several types of "segment" ideals that we define and compare. This study led us to focus our attention also to connections between the shape of generators of Borel ideals and the related Hilbert polynomial, providing an algorithm for computing all saturated Borel ideals with the given Hilbert polynomial.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Splitting type, global sections and Chern classes for torsion free sheaves on P^N

In this paper we compare a torsion free sheaf $\FF$ on $\PP^N$ and the free vector bundle $\oplus_{i=1}^n\OPN(b_i)$ having same rank and splitting type. We show that the first one has always "less" global sections, while it has a higher second Chern class. In both cases bounds for the difference are found in terms of the maximal free subsheaves of $\FF$. As a consequence we obtain a direct, easy and more general proof of the "Horrocks' splitting criterion", also holding for torsion free sheaves, and lower bounds for the Chern classes $c_i(\FF(t))$ of twists of $\FF$, only depending on some numerical invariants of $\FF$. Especially, we prove for rank $n$ torsion free sheaves on $\PP^N$, whose splitting type has no gap (i.e. $b_i\geq b_{i+1}\geq b_i-1$ for every $i=1, ...,n-1$), the following formula for the discriminant: \[ Δ(\FF):=2nc_2-(n-1)c_1^2\geq -{1/12}n^2(n^2-1)\] Finally in the case of rank $n$ reflexive sheaves we obtain polynomial upper bounds for the absolute value of the higher Chern classes $c_3(\FF(t)), ..., c_n(\FF(t))$, for the dimension of the cohomology modules $H^i\FF(t)$ and for the Castelnuovo-Mumford regularity of $\FF$; these polynomial bounds only depend only on $c_1(\FF)$, $c_2(\FF)$, the splitting type of $\FF$ and $t$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The stratum of a strongly stable ideal

Let J be a strongly stable monomial ideal in P=k[X0,...,Xn] and let BSt(J) be the family of all the homogeneous ideals in P such that the set N(J) of all the monomials that do not belong to J is a k-vector basis of the quotient P/I. We show that I belongs to BSt(J) if and only if it is generated by a special set of polynomials G, the J-basis of I, that in some sense generalizes the notions of Grobner and border basis (Theorem 10 and Corollary 12). Though not every J-basis is a Grobner basis with respect to some term ordering (Example 20), we define two Noetherian algorithms of reduction with respect to G, the G*-reduction (Definition 9) and the G**-reduction (Definition 15) and prove that J-bases can be characterized through a Buchberger-like criterion on the G**-reductions of S-polynomials (Theorem 17). Using J-bases, we prove that BSt(J) can be endowed, in a very natural way, of a structure of affine scheme, and that it turns out to be homogeneous with respect to a non-standard grading over the additive group Z^n+1 (Theorem 22).

0 citations0 reviewsNo code linkedOpen access