Researcher profile

Lorenzo Robbiano

Lorenzo Robbiano contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.AC math.AG

Trust snapshot

Quick read

Trust 21 - Emerging

8works

0followers

2topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

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.

preprint2022arXiv

Restricted Gröbner fans and re-embeddings of affine algebras

In this paper we continue the study of good re-embeddings of affine K-algebras started in [KLR]. The idea is to use special linear projections to find isomorphisms between a given affine K-algebra K[X]/I, where X=(x_1,...,x_n), and K-algebras having fewer generators. These projections are induced by particular tuples of indeterminates Z and by term orderings $σ$ which realize Z as leading terms of a tuple F of polynomials in I. In order to efficiently find such tuples, we provide two major new tools: an algorithm which reduces the check whether a given tuple F is Z-separating to an LP feasibility problem, and an isomorphism between the part of the Gröbner fan of I consisting of marked reduced Gröbner bases which contain a Z-separating tuple and the Gröbner fan of the intersection of I and K[X\Z]. We also indicate a possible generalization to tuples Z which consist of terms. All results are illustrated by explicit examples.

preprint2020arXiv

Computing subschemes of the border basis scheme

A good way of parametrizing 0-dimensional schemes in an affine space $\mathbb{A}_K^n$ has been developed in the last 20 years using border basis schemes. Given a multiplicity $μ$, they provide an open covering of the Hilbert scheme ${\rm Hilb}^μ(\mathbb{A}^n_K)$ and can be described by easily computable quadratic equations. A natural question arises on how to determine loci which are contained in border basis schemes and whose rational points represent 0-dimensional $K$-algebras sharing a given property. The main focus of this paper is on giving effective answers to this general problem. The properties considered here are the locally Gorenstein, strict Gorenstein, strict complete intersection, Cayley-Bacharach, and strict Cayley-Bacharach properties. The key characteristic of our approach is that we describe these loci by exhibiting explicit algorithms to compute their defining ideals. All results are illustrated by non-trivial, concrete examples.

preprint2020arXiv

Saturations of Subalgebras, SAGBI Bases, and U-invariants

Given a polynomial ring $P$ over a field $K$, an element $g \in P$, and a $K$-subalgebra $S$ of $P$, we deal with the problem of saturating $S$ with respect to $g$, i.e. computing $Sat_g(S) = S[g, g^{-1}]\cap P$. In the general case we describe a procedure/algorithm to compute a set of generators for $Sat_g(S)$ which terminates if and only if it is finitely generated. Then we consider the more interesting case when $S$ is graded. In particular, if $S$ is graded by a positive matrix $W$ and $g$ is an indeterminate, we show that if we choose a term ordering $σ$ of $g$-DegRev type compatible with $W$, then the two operations of computing a $σ$-SAGBI basis of $S$ and saturating $S$ with respect to $g$ commute. This fact opens the doors to nice algorithms for the computation of $Sat_g(S)$. In particular, under special assumptions on the grading one can use the truncation of a $σ$-SAGBI basis and get the desired result. Notably, this technique can be applied to the problem of directly computing some $U$-invariants, classically called semi-invariants, even in the case that $K$ is not the field of complex numbers.

preprint2016arXiv

Implicitization of Hypersurfaces

We present new, practical algorithms for the hypersurface implicitization problem: namely, given a parametric description (in terms of polynomials or rational functions) of the hypersurface, find its implicit equation. Two of them are for polynomial parametrizations: one algorithm, "ElimTH", has as main step the computation of an elimination ideal via a \textit{truncated, homogeneous} Gröbner basis. The other algorithm, "Direct", computes the implicitization directly using an approach inspired by the generalized Buchberger-Möller algorithm. Either may be used inside the third algorithm, "RatPar", to deal with parametrizations by rational functions. Finally we show how these algorithms can be used in a modular approach, algorithm "ModImplicit", for avoiding the high costs of arithmetic with rational numbers. We exhibit experimental timings to show the practical efficiency of our new algorithms.

preprint2014arXiv

Hyperplane Sections, Groebner Bases, and Hough Transforms

The purpose of this paper is twofold. In the first part we concentrate on hyperplane sections of algebraic schemes, and present results for determining when Gröbner bases pass to the quotient and when they can be lifted. The main difficulty to overcome is the fact that we deal with non-homogeneous ideals. As a by-product we hint at a promising technique for computing implicitization efficiently. In the second part of the paper we deal with families of algebraic schemes and the Hough transforms, in particular we compute their dimension, and show that in some interesting cases it is zero. Then we concentrate on their hyperplane sections. Some results and examples hint at the possibility of reconstructing external and internal surfaces of human organs from the parallel cross-sections obtained by tomography.

preprint2012arXiv

An Algebraic Approach to Hough Transforms

The main purpose of this paper is to lay the foundations of a general theory which encompasses the features of the classical Hough transform and extend them to general algebraic objects such as affine schemes. The main motivation comes from problems of detection of special shapes in medical and astronomical images. The classical Hough transform has been used mainly to detect simple curves such as lines and circles. We generalize this notion using reduced Groebner bases of flat families of affine schemes. To this end we introduce and develop the theory of Hough regularity. The theory is highly effective and we give some examples computed with CoCoA.

preprint2011arXiv

Stable Complete Intersections

A complete intersection of n polynomials in n indeterminates has only a finite number of zeros. In this paper we address the following question: how do the zeros change when the coefficients of the polynomials are perturbed? In the first part we show how to construct semi-algebraic sets in the parameter space over which all the complete intersection ideals share the same number of isolated real zeros. In the second part we show how to modify the complete intersection and get a new one which generates the same ideal but whose real zeros are more stable with respect to perturbations of the coefficients.

preprint2010arXiv

The Geometry of Border Bases

The main topic of the paper is the construction of various explicit flat families of border bases. To begin with, we cover the punctual Hilbert scheme Hilb^μ(A^n) by border basis schemes and work out the base changes. This enables us to control flat families obtained by linear changes of coordinates. Next we provide an explicit construction of the principal component of the border basis scheme, and we use it to find flat families of maximal dimension at each radical point. Finally, we connect radical points to each other and to the monomial point via explicit flat families on the principal component.