BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Paolo Lella

Paolo Lella contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ACmath.AGmath.COSymbolic ComputationMathematical Software

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

9 published item(s)

preprint2020arXiv

The Gröbner fan of the Hilbert scheme

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 a graph whose vertices correspond to strongly stable ideals and whose edges correspond to pairs of adjacent ideals. Every term order induces an orientation of the edges of the graph. This directed graph describes the behavior of the points of the Hilbert scheme under Gröbner degenerations with respect to the given term order. Then, we introduce a polyhedral fan that we call Gröbner fan of the Hilbert scheme. Each cone of maximal dimension corresponds to a different directed graph induced by a term order. This fan encodes several properties of the Hilbert scheme. We use these tools to present a new proof of the connectedness of the Hilbert scheme. Finally, we improve the technique introduced in the paper "Double-generic initial ideal and Hilbert scheme" by Bertone, Cioffi and Roggero to give a lower bound on the number of irreducible components of the Hilbert scheme.

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

An efficient implementation of the algorithm computing the Borel-fixed points of a Hilbert scheme

Borel-fixed ideals play a key role in the study of Hilbert schemes. Indeed each component and each intersection of components of a Hilbert scheme contains at least one Borel-fixed point, i.e. a point corresponding to a subscheme defined by a Borel-fixed ideal. Moreover Borel-fixed ideals have good combinatorial properties, which make them very interesting in an algorithmic perspective. In this paper, we propose an implementation of the algorithm computing all the saturated Borel-fixed ideals with number of variables and Hilbert polynomial assigned, introduced from a theoretical point of view in the paper "Segment ideals and Hilbert schemes of points", Discrete Mathematics 311 (2011).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Computable Hilbert Schemes

In this PhD thesis we propose an algorithmic approach to the study of the Hilbert scheme. Developing algorithmic methods, we also obtain general results about Hilbert schemes. In Chapter 1 we discuss the equations defining the Hilbert scheme as subscheme of a suitable Grassmannian and in Chapter 5 we determine a new set of equations of degree lower than the degree of equations known so far. In Chapter 2 we study the most important objects used to project algorithmic techniques, namely Borel-fixed ideals. We determine an algorithm computing all the saturated Borel-fixed ideals with Hilbert polynomial assigned and we investigate their combinatorial properties. In Chapter 3 we show a new type of flat deformations of Borel-fixed ideals which lead us to give a new proof of the connectedness of the Hilbert scheme. In Chapter 4 we construct families of ideals that generalize the notion of family of ideals sharing the same initial ideal with respect to a fixed term ordering. Some of these families correspond to open subsets of the Hilbert scheme and can be used to a local study of the Hilbert scheme. In Chapter 6 we deal with the problem of the connectedness of the Hilbert scheme of locally Cohen-Macaulay curves in the projective 3-space. We show that one of the Hilbert scheme considered a "good" candidate to be non-connected, is instead connected. Moreover there are three appendices that present and explain how to use the implementations of the algorithms proposed.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The Hilbert schemes of locally Cohen-Macaulay curves in P^3 may after all be connected

Progress on the problem whether the Hilbert schemes of locally Cohen-Macaulay curves in projective 3 space are connected has been hampered by the lack of an answer to a question that was raised by Robin Hartshorne in his paper "On the connectedness of the Hilbert scheme of curves in projective 3 space" Comm. Algebra 28 (2000) and more recently in the open problems list of the 2010 AIM workshop Components of Hilbert Schemes available at http://aimpl.org/hilbertschemes: does there exist a flat irreducible family of curves whose general member is a union of d disjoint lines on a smooth quadric surface and whose special member is a locally Cohen-Macaulay curve in a double plane? In this paper we give a positive answer to this question: for every d, we construct a family with the required properties, whose special fiber is an extremal curve in the sense of Martin-Deschamps and Perrin. From this we conclude that every effective divisor in a smooth quadric surface is in the connected component of its Hilbert scheme that contains extremal curves.

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

A network of rational curves on the Hilbert scheme

In this paper we introduce an effective method to construct rational deformations between couples of Borel-fixed ideals. These deformations are governed by flat families, so that they correspond to rational curves on the Hilbert scheme. Looking globally at all the deformations among Borel-fixed ideals defining points on the same Hilbert scheme, we are able to give a new proof of the connectedness of the Hilbert scheme and to introduce a new criterion to establish whenever a set of points defined by Borel ideals lies on a common component of the Hilbert scheme. The paper contains a detailed algorithmic description of the technique and all the algorithms are made available.

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