Source author record

Francesca Cioffi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.AC math.CO

Catalog footprint

Research overview

10works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

An effective decomposition theorem for Schubert varieties

Given a Schubert variety $\mathcal{S}$ contained in a Grassmannian $\mathbb{G}_{k}(\mathbb{C}^{l})$ , we show how to obtain further information on the direct summands of the derived pushforward $R π_{*} \mathbb{Q}_{\tilde{\mathcal{S}}}$ given by the application of the decomposition theorem to a suitable resolution of singularities $π: \tilde{\mathcal{S}} \rightarrow \mathcal{S}$ . As a by-product, Poincaré polynomial expressions are obtained along with an algorithm which computes the unknown terms in such expressions and which shows that the actual number of direct summands happens to be less than the number of supports of the decomposition.

preprint2022arXiv

Regularity of primes associated with polynomial parametrisations

We prove a doubly exponential bound for the Castelnuovo-Mumford regularity of prime ideals defining varieties with polynomial parametrisation.

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).

preprint2015arXiv

A combinatorial description of finite O-sequences and aCM genera

The goal of this paper is to explicitly detect all the arithmetic genera of arithmetically Cohen-Macaulay projective curves with a given degree $d$ . It is well-known that the arithmetic genus $g$ of a curve $C$ can be easily deduced from the $h$ -vector of the curve; in the case where $C$ is arithmetically Cohen-Macaulay of degree $d$ , $g$ must belong to the range of integers $\big\{0,\ldots,\binom{d-1}{2}\big\}$ . We develop an algorithmic procedure that allows one to avoid constructing most of the possible $h$ -vectors of $C$ . The essential tools are a combinatorial description of the finite O-sequences of multiplicity $d$ , and a sort of continuity result regarding the generation of the genera. The efficiency of our method is supported by computational evidence. As a consequence, we single out the minimal possible Castelnuovo-Mumford regularity of a curve with Cohen-Macaulay postulation and given degree and genus.

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.

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.

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.

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$ .

preprint2012arXiv

When the positivity of the h-vector implies the Cohen-Macaulay property

We study relations between the Cohen-Macaulay property and the positivity of $h$ -vectors, showing that these two conditions are equivalent for those locally Cohen-Macaulay equidimensional closed projective subschemes $X$ , which are close to a complete intersection $Y$ (of the same codimension) in terms of the difference between the degrees. More precisely, let $X\subset \mathbb P^n_K$ ( $n\geq 4$ ) be contained in $Y$ , either of codimension two with $deg(Y)-deg(X)\leq 5$ or of codimension $\geq 3$ with $deg(Y)-deg(X)\leq 3$ . Over a field $K$ of characteristic 0, we prove that $X$ is arithmetically Cohen-Macaulay if and only if its $h$ -vector is positive, improving results of a previous work. We show that this equivalence holds also for space curves $C$ with $deg(Y)-deg(C)\leq 5$ in every characteristic $ch(K)\neq 2$ . Moreover, we find other classes of subschemes for which the positivity of the $h$ -vector implies the Cohen-Macaulay property and provide several examples.

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.

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.

Francesca Cioffi

Research overview

Is this your work?

10 publications

An effective decomposition theorem for Schubert varieties

Regularity of primes associated with polynomial parametrisations

Double-Generic Initial Ideal and Hilbert Scheme

A combinatorial description of finite O-sequences and aCM genera

Minimal Castelnuovo-Mumford regularity for a given Hilbert polynomial

The scheme of liftings and applications

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

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

When the positivity of the h-vector implies the Cohen-Macaulay property

Segments and Hilbert schemes of points

See the researcher in context

Building this map preview