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

Cristina Bertone

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

ResearcherUnclaimed source record
math.ACmath.AGmath.COSymbolic Computation

Catalog footprint

What is connected

10works
4topics
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

10 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
preprint2015arXiv

Quasi-Stable ideals and Borel-fixed ideals with a given Hilbert Polynomial

The present paper investigates properties of quasi-stable ideals and of Borel-fixed ideals in a polynomial ring $k[x_0,\dots,x_n]$, in order to design two algorithms: the first one takes as input $n$ and an admissible Hilbert polynomial $P(z)$, and outputs the complete list of saturated quasi-stable ideals in the chosen polynomial ring with the given Hilbert polynomial. The second algorithm has an extra input, the characteristic of the field $k$, and outputs the complete list of saturated Borel-fixed ideals in $k[x_0,\dots,x_n]$ with Hilbert polynomial $P(z)$. The key tool for the proof of both algorithms is the combinatorial structure of a quasi-stable ideal, in particular we use a special set of generators for the considered ideals, the Pommaret basis.

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

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
preprint2012arXiv

The cones of Hilbert functions of squarefree modules

In this paper, we study different generalizations of the notion of squarefreeness for ideals to the more general case of modules. We describe the cones of Hilbert functions for squarefree modules in general and those generated in degree zero. We give their extremal rays and defining inequalities. For squarefree modules generated in degree zero, we compare the defining inequalities of that cone with the classical Kruskal-Katona bound, also asymptotically.

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
preprint2010arXiv

Modular absolute decomposition of equidimensional polynomial ideals

In this paper, we present a modular strategy which describes key properties of the absolute primary decomposition of an equidimensional polynomial ideal defined by polynomials with rational coefficients. The algorithm we design is based on the classical technique of elimination of variables and colon ideals and uses a tricky choice of prime integers to work with. Thanks to this technique, we can obtain the number of absolute irreducible components, their degree, multiplicity and also the affine Hilbert function of the reduced components (namely, their initial ideal w.r.t. a degree-compatible term ordering) .

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Modular Las Vegas Algorithms for Polynomial Absolute Factorization

Let $f(X,Y) \in \ZZ[X,Y]$ be an irreducible polynomial over $\QQ$. We give a Las Vegas absolute irreducibility test based on a property of the Newton polytope of $f$, or more precisely, of $f$ modulo some prime integer $p$. The same idea of choosing a $p$ satisfying some prescribed properties together with $LLL$ is used to provide a new strategy for absolute factorization of $f(X,Y)$. We present our approach in the bivariate case but the techniques extend to the multivariate case. Maple computations show that it is efficient and promising as we are able to factorize some polynomials of degree up to 400.

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