Showing 1–21 of 21 results for author: Guerrieri, L

Generic models of licci ideals parametrized by Schur functors

Authors: Lorenzo Guerrieri, Xianglong Ni, Jerzy Weyman

Abstract: Let R be a commutative Noetherian ring. Licci ideals are the ideals of R that can be linked in a finite number of steps to a complete intersection. Each licci ideal admits a rigid deformation, and two licci ideals are in the same Herzog class if they have a common deformation. In this work, we show how all the Herzog classes of licci ideals of codimension 3 can be parametrized in terms of pairs of… ▽ More Let R be a commutative Noetherian ring. Licci ideals are the ideals of R that can be linked in a finite number of steps to a complete intersection. Each licci ideal admits a rigid deformation, and two licci ideals are in the same Herzog class if they have a common deformation. In this work, we show how all the Herzog classes of licci ideals of codimension 3 can be parametrized in terms of pairs of partitions associated to Schur functors. This fact allows to describe in a purely combinatorial way the (infinite) graph whose vertices correspond to Herzog classes and edges represent direct links between representatives of such classes. As applications, we obtain results on the classification of multiplications in Tor Algebras, and new structure theorems for families of licci ideals. In the final section, we extend many of these results to arbitrary codimension, but under some conjectural assumptions. △ Less

Submitted 11 June, 2025; originally announced June 2025.

Comments: 48 pages, comments are welcome

MSC Class: 13D02; 13C05; 13C40

Structure theorems for Gorenstein ideals of codimension four with small number of generators

Authors: Tymoteusz Chmiel, Lorenzo Guerrieri, Xianglong Ni, Jerzy Weyman

Abstract: In this article we study minimal free resolutions of Gorenstein ideals of codimension four, using methods coming from representation theory. We introduce families of higher structure maps associated with such resolution, defined similarly to the codimension three case. As our main application, we prove that every Gorenstein ideal of codimension four minimally generated by six elements is a hyperpl… ▽ More In this article we study minimal free resolutions of Gorenstein ideals of codimension four, using methods coming from representation theory. We introduce families of higher structure maps associated with such resolution, defined similarly to the codimension three case. As our main application, we prove that every Gorenstein ideal of codimension four minimally generated by six elements is a hyperplane section of a Gorenstein ideal of codimension three, strengthening a result by Herzog-Miller and Vasconcelos-Villarreal. We state analogous conjectural results for ideals minimally generated by seven and eight elements. △ Less

Submitted 11 March, 2025; originally announced March 2025.

MSC Class: 13C05; 13D02; 13H10

The linkage class of a grade three complete intersection

Authors: Lorenzo Guerrieri, Xianglong Ni, Jerzy Weyman

Abstract: Working over a field of characteristic zero, we give structure theorems for all grade three licci ideals and their minimal free resolutions. In particular, we completely classify such ideals up to deformation. The descriptions of their resolutions extend earlier results by Buchsbaum-Eisenbud, Brown, and Sanchez. Our primary tool is the theory of higher structure maps originating from the study of… ▽ More Working over a field of characteristic zero, we give structure theorems for all grade three licci ideals and their minimal free resolutions. In particular, we completely classify such ideals up to deformation. The descriptions of their resolutions extend earlier results by Buchsbaum-Eisenbud, Brown, and Sanchez. Our primary tool is the theory of higher structure maps originating from the study of generic free resolutions of length three. △ Less

Submitted 30 November, 2024; originally announced December 2024.

MSC Class: 13C05

The reciprocal complements of classes of integral domains

Authors: Lorenzo Guerrieri

Abstract: Given an integral domain $D$ with quotient field $\mathcal{Q}(D)$, the reciprocal complement of $D$ is the subring $R(D)$ of $\mathcal{Q}(D)$ whose elements are all the sums $\frac{1}{d_1}+\ldots+\frac{1}{d_n} $ for $d_1, \ldots, d_n$ nonzero elements of $D$. In this article we study problems related with prime ideals, localizations and Krull dimension of rings of the form $R(D)$ and we describe t… ▽ More Given an integral domain $D$ with quotient field $\mathcal{Q}(D)$, the reciprocal complement of $D$ is the subring $R(D)$ of $\mathcal{Q}(D)$ whose elements are all the sums $\frac{1}{d_1}+\ldots+\frac{1}{d_n} $ for $d_1, \ldots, d_n$ nonzero elements of $D$. In this article we study problems related with prime ideals, localizations and Krull dimension of rings of the form $R(D)$ and we describe the reciprocal complements of classes of domains, including semigroup algebras and $ D+ \mathfrak{m} $ constructions. We also characterize when $R(D)$ is a DVR. △ Less

Submitted 1 November, 2024; originally announced November 2024.

Comments: 24 pages, comments are welcome

MSC Class: 13G05; 13A15; 13B30; 13F99; 20M25

The value semigroup of a plane curve singularity with several branches

Authors: M. D'Anna, F. Delgado, L. Guerrieri, N. Maugeri, V. Micale

Abstract: We present a constructive procedure, based on the notion of Apéry set, to obtain the value semigroup of a plane curve singularity from the value semigroup of its blow-up and viceversa. In particular we give a blow-down process that allows to reconstruct a plane algebroid curve form its blow-up, even if it is not local. Then we characterize numerically all the possible multiplicity trees of plane c… ▽ More We present a constructive procedure, based on the notion of Apéry set, to obtain the value semigroup of a plane curve singularity from the value semigroup of its blow-up and viceversa. In particular we give a blow-down process that allows to reconstruct a plane algebroid curve form its blow-up, even if it is not local. Then we characterize numerically all the possible multiplicity trees of plane curve singularities, obtaining in this way a constructive description of all their value semigroups. △ Less

Submitted 1 October, 2024; originally announced October 2024.

Comments: 38 pages, 4 figures

MSC Class: 14H20; 14H50; 13H15; 20M14

The reciprocal complement of a polynomial ring in several variables over a field

Authors: Neil Epstein, Lorenzo Guerrieri, K. Alan Loper

Abstract: The *reciprocal complement* $R(D)$ of an integral domain $D$ is the subring of its fraction field generated by the reciprocals of its nonzero elements. Many properties of $R(D)$ are determined when $D$ is a polynomial ring in $n\geq 2$ variables over a field. In particular, $R(D)$ is an $n$-dimensional, local, non-Noetherian, non-integrally closed, non-factorial, atomic G-domain, with infinitely m… ▽ More The *reciprocal complement* $R(D)$ of an integral domain $D$ is the subring of its fraction field generated by the reciprocals of its nonzero elements. Many properties of $R(D)$ are determined when $D$ is a polynomial ring in $n\geq 2$ variables over a field. In particular, $R(D)$ is an $n$-dimensional, local, non-Noetherian, non-integrally closed, non-factorial, atomic G-domain, with infinitely many prime ideals at each height other than $0$ and $n$. △ Less

Submitted 22 July, 2024; originally announced July 2024.

Comments: 24 pages. Comments are welcome!

An ADE correspondence for grade three perfect ideals

Authors: Lorenzo Guerrieri, Xianglong Ni, Jerzy Weyman

Abstract: Using the theory of "higher structure maps" from generic rings for free resolutions of length three, we give a classification of grade 3 perfect ideals with small type and deviation in local rings of equicharacteristic zero, extending the Buchsbaum-Eisenbud structure theorem on Gorenstein ideals and realizing it as the type D case of an ADE correspondence. We also deduce restrictions on Betti tabl… ▽ More Using the theory of "higher structure maps" from generic rings for free resolutions of length three, we give a classification of grade 3 perfect ideals with small type and deviation in local rings of equicharacteristic zero, extending the Buchsbaum-Eisenbud structure theorem on Gorenstein ideals and realizing it as the type D case of an ADE correspondence. We also deduce restrictions on Betti tables in the graded setting for such ideals. △ Less

Submitted 2 July, 2024; originally announced July 2024.

MSC Class: 13C05

Non-integrally closed Kronecker function rings and integral domains with a unique minimal overring

Authors: Lorenzo Guerrieri, K. Alan Loper

Abstract: It is well-known that an integrally closed domain $D$ can be express as the intersection of its valuation overrings but, if $D$ is not a Prüfer domain, the most of valuation overrings of $D$ cannot be seen as localizations of $D$. The Kronecker function ring of $D$ is a classical construction of a Prüfer domain which is an overring of $D[t]$, and its localizations at prime ideals are of the form… ▽ More It is well-known that an integrally closed domain $D$ can be express as the intersection of its valuation overrings but, if $D$ is not a Prüfer domain, the most of valuation overrings of $D$ cannot be seen as localizations of $D$. The Kronecker function ring of $D$ is a classical construction of a Prüfer domain which is an overring of $D[t]$, and its localizations at prime ideals are of the form $V(t)$ where $V$ runs through the valuation overrings of $D$. This fact can be generalized to arbitrary integral domains by expressing them as intersections of overrings which admit a unique minimal overring. In this article we first continue the study of rings admitting a unique minimal overring extending known results obtained in the 70's and constructing examples where the integral closure is very far from being a valuation domain. Then we extend the definition of Kronecker function ring to the non-integrally closed setting by studying intersections of Nagata rings of the form $A(t)$ for $A$ an integral domain admitting a unique minimal overring. △ Less

Submitted 15 April, 2023; v1 submitted 7 April, 2023; originally announced April 2023.

Comments: 30 pages, comments are welcome

MSC Class: 13A15; 13A18; 13B02; 13B21; 13B30; 13F05

Mapping free resolutions of length three II -- Module formats

Authors: Sara Angela Filippini, Lorenzo Guerrieri

Abstract: Let $M$ be a perfect module of projective dimension 3 in a Gorenstein, local or graded ring $R$. We denote by $\FF$ the minimal free resolution of $M$. Using the generic ring associated to the format of $\FF$ we define higher structure maps, according to the theory developed by Weyman in "Generic free resolutions and root systems" (Annales de l'Institut Fourier} 68.3 (2018), pp. 1241--1296). We in… ▽ More Let $M$ be a perfect module of projective dimension 3 in a Gorenstein, local or graded ring $R$. We denote by $\FF$ the minimal free resolution of $M$. Using the generic ring associated to the format of $\FF$ we define higher structure maps, according to the theory developed by Weyman in "Generic free resolutions and root systems" (Annales de l'Institut Fourier} 68.3 (2018), pp. 1241--1296). We introduce a generalization of classical linkage for $R$-module using the Buchsbaum--Rim complex, and study the behaviour of structure maps under this Buchsbaum--Rim linkage. In particular, for certain formats we obtain criteria for these $R$-modules to lie in the Buchsbaum--Rim linkage class of a Buchsbaum--Rim complex of length 3. △ Less

Submitted 19 January, 2024; v1 submitted 17 March, 2023; originally announced March 2023.

Comments: 30 pages

MSC Class: 13D02; 13C05; 13C40

Higher structure maps for free resolutions of length 3 and linkage

Authors: Lorenzo Guerrieri, Xianglong Ni, Jerzy Weyman

Abstract: Let $I$ be a perfect ideal of height 3 in a Gorenstein local ring $R$. Let $\mathbb{F}$ be the minimal free resolution of $I$. A sequence of linear maps, which generalize the multiplicative structure of $\mathbb{F}$, can be defined using the generic ring associated to the format of $\mathbb{F}$. Let $J$ be an ideal linked to $I$. We provide formulas to compute some of these maps for the free resol… ▽ More Let $I$ be a perfect ideal of height 3 in a Gorenstein local ring $R$. Let $\mathbb{F}$ be the minimal free resolution of $I$. A sequence of linear maps, which generalize the multiplicative structure of $\mathbb{F}$, can be defined using the generic ring associated to the format of $\mathbb{F}$. Let $J$ be an ideal linked to $I$. We provide formulas to compute some of these maps for the free resolution of $J$ in terms of those of the free resolution of $I$. We apply our results to describe classes of licci ideals, showing that a perfect ideal with Betti numbers $(1,5,6,2)$ is licci if and only if at least one of these maps is nonzero modulo the maximal ideal of $R$. △ Less

Submitted 15 March, 2023; v1 submitted 11 August, 2022; originally announced August 2022.

Comments: 33 pages

MSC Class: 13D02; 13C05; 13C40

Properties and applications of the Apéry set of good semigroups in $\mathbb{N}^d$

Authors: Lorenzo Guerrieri, Nicola Maugeri, Vincenzo Micale

Abstract: In this article we discuss some applications of the construction of the Apéry set of a good semigroup in $\mathbb{N}^d$ given in the previous paper [Partition of the complement of good semigroup ideals and Apéry sets, Communications in Algebra, 49, No. 10, 4136-4158 (2021))]. In particular we study: the duality of a symmetric and almost symmetric good semigroup, the Apéry set of non-local good sem… ▽ More In this article we discuss some applications of the construction of the Apéry set of a good semigroup in $\mathbb{N}^d$ given in the previous paper [Partition of the complement of good semigroup ideals and Apéry sets, Communications in Algebra, 49, No. 10, 4136-4158 (2021))]. In particular we study: the duality of a symmetric and almost symmetric good semigroup, the Apéry set of non-local good semigroups and the Apéry set of value semigroups of plane curves. △ Less

Submitted 11 April, 2022; originally announced April 2022.

Comments: 31 pages, 7 figures

MSC Class: 20M10; 20M14; 20M25

Rees algebras of ideals of star configurations

Authors: Alessandra Costantini, Ben Drabkin, Lorenzo Guerrieri

Abstract: In this article we study the defining ideal of Rees algebras of ideals of star configurations. We characterize when these ideals are of linear type and provide sufficient conditions for them to be of fiber type. In the case of star configurations of height two, we give a full description of the defining ideal of the Rees algebra, by explicitly identifying a minimal generating set. In this article we study the defining ideal of Rees algebras of ideals of star configurations. We characterize when these ideals are of linear type and provide sufficient conditions for them to be of fiber type. In the case of star configurations of height two, we give a full description of the defining ideal of the Rees algebra, by explicitly identifying a minimal generating set. △ Less

Submitted 20 August, 2021; v1 submitted 26 July, 2021; originally announced July 2021.

Comments: 32 pages. In this updated version, we fixed typos and made a few changes in the exposition of Sections 2, 3 and 6

MSC Class: 13A02; 13A30; 13F65

Mapping resolutions of length three I

Authors: Lorenzo Guerrieri, Jerzy Weyman

Abstract: We produce some interesting families of resolutions of length three by describing certain open subsets of the spectrum of the generic ring for such resolutions constructed in a recent paper by Weyman. We produce some interesting families of resolutions of length three by describing certain open subsets of the spectrum of the generic ring for such resolutions constructed in a recent paper by Weyman. △ Less

Submitted 27 July, 2022; v1 submitted 14 December, 2020; originally announced December 2020.

Comments: 23 pages

MSC Class: 13C05; 13D02

Partition of complement of good ideals and Apéry sets

Authors: Lorenzo Guerrieri, Nicola Maugeri, Vincenzo Micale

Abstract: Good semigroups form a class of submonoids of $\mathbb{N}^d$ containing the value semigroups of curve singularities. In this article, we describe a partition of the complements of good semigroup ideals, having as main application the description of the Apéry sets of good semigroups. This generalizes to any $d \geq 2$ the results of a recent paper of D'Anna, Guerrieri and Micale, which are proved i… ▽ More Good semigroups form a class of submonoids of $\mathbb{N}^d$ containing the value semigroups of curve singularities. In this article, we describe a partition of the complements of good semigroup ideals, having as main application the description of the Apéry sets of good semigroups. This generalizes to any $d \geq 2$ the results of a recent paper of D'Anna, Guerrieri and Micale, which are proved in the case $d=2$ and only for the standard Apéry set with respect to the smallest nonzero element. Several new results describing good semigroups in $\mathbb{N}^d$ are also provided. △ Less

Submitted 11 January, 2021; v1 submitted 25 May, 2020; originally announced May 2020.

Comments: 30 pages, 7 figures

MSC Class: 20M10; 20M14; 20M25

On the integral domains characterized by a Bezout Property on intersections of principal ideals

Authors: Lorenzo Guerrieri, K. Alan Loper

Abstract: In this article we study two classes of integral domains. The first is characterized by having a finite intersection of principal ideals being finitely generated only when it is principal. The second class consists of the integral domains in which a finite intersection of principal ideals is always non-finitely generated except in the case of containment of one of the principal ideals in all the o… ▽ More In this article we study two classes of integral domains. The first is characterized by having a finite intersection of principal ideals being finitely generated only when it is principal. The second class consists of the integral domains in which a finite intersection of principal ideals is always non-finitely generated except in the case of containment of one of the principal ideals in all the others. We relate these classes to many well-studied classes of integral domains, to star operations and to classical and new ring constructions. △ Less

Submitted 3 February, 2020; originally announced February 2020.

Comments: 22 pages

MSC Class: 13A15; 13F15; 13A18; 13F05; 13G05

On quasi-equigenerated and Freiman cover ideals of graphs

Authors: Benjamin Drabkin, Lorenzo Guerrieri

Abstract: A quasi-equigenerated monomial ideal $I$ in the polynomial ring $R= k[x_1, \ldots, x_n]$ is a Freiman ideal if $μ(I^2) = l(I)μ(I)- \binom{l(I)}{2}$ where $l(I)$ is the analytic spread of $I$ and $μ(I)$ is the number of minimal generators of $I$. Freiman ideals are special since there exists an exact formula computing the minimal number of generators of any of their powers. In this work we address… ▽ More A quasi-equigenerated monomial ideal $I$ in the polynomial ring $R= k[x_1, \ldots, x_n]$ is a Freiman ideal if $μ(I^2) = l(I)μ(I)- \binom{l(I)}{2}$ where $l(I)$ is the analytic spread of $I$ and $μ(I)$ is the number of minimal generators of $I$. Freiman ideals are special since there exists an exact formula computing the minimal number of generators of any of their powers. In this work we address the question of characterizing which cover ideals of simple graphs are Freiman. △ Less

Submitted 16 September, 2019; originally announced September 2019.

Comments: 26 pages

MSC Class: 13F20; 13A30; 13C05; 05C25

The Apéry Set of a Good Semigroup

Authors: Marco D'Anna, Lorenzo Guerrieri, Vincenzo Micale

Abstract: We study the Apéry set of good subsemigoups of $\mathbb N^2$, a class of semigroups containing the value semigroups of curve singularities with two branches. Even if this set in infinite, we show that, for the Apéry set of such semigroups, we can define a partition in "levels" that allows to generalize many properties of the Apéry set of numerical semigroups, i.e. value semigroups of one-branch si… ▽ More We study the Apéry set of good subsemigoups of $\mathbb N^2$, a class of semigroups containing the value semigroups of curve singularities with two branches. Even if this set in infinite, we show that, for the Apéry set of such semigroups, we can define a partition in "levels" that allows to generalize many properties of the Apéry set of numerical semigroups, i.e. value semigroups of one-branch singularities. △ Less

Submitted 31 January, 2019; v1 submitted 5 December, 2018; originally announced December 2018.

Comments: 24 pages, 6 figures

MSC Class: 13A18; 14H99; 13H99; 20M25

Directed unions of local monoidal transforms and GCD domains

Authors: Lorenzo Guerrieri

Abstract: Let $(R, \mathfrak{m})$ be a regular local ring of dimension $d \geq 2$. A local monoidal transform of $R$ is a ring of the form $R_1= R[\frac{\mathfrak{p}}{x}]_{\mathfrak{m}_1}$ where $x \in \mathfrak{p}$ is a regular parameter, $\mathfrak{p}$ is a regular prime ideal of $R$ and $ \mathfrak{m}_1 $ is a maximal ideal of $ R[\frac{\mathfrak{p}}{x}] $ lying over $ \mathfrak{m}. $ In this article we… ▽ More Let $(R, \mathfrak{m})$ be a regular local ring of dimension $d \geq 2$. A local monoidal transform of $R$ is a ring of the form $R_1= R[\frac{\mathfrak{p}}{x}]_{\mathfrak{m}_1}$ where $x \in \mathfrak{p}$ is a regular parameter, $\mathfrak{p}$ is a regular prime ideal of $R$ and $ \mathfrak{m}_1 $ is a maximal ideal of $ R[\frac{\mathfrak{p}}{x}] $ lying over $ \mathfrak{m}. $ In this article we study some features of the rings $ S= \cup_{n \geq 0}^{\infty} R_n $ obtained as infinite directed union of iterated local monoidal transforms of $R$. In order to study when these rings are GCD domains, we also provide results in the more general setting of directed unions of GCD domains. △ Less

Submitted 23 August, 2018; originally announced August 2018.

Comments: 21 pages, comments are welcome

MSC Class: 13A15; 13F15; 13G05; 13H05

Asymptotic invariants of ideals with Noetherian symbolic Rees algebra and applications to cover ideals

Authors: Ben Drabkin, Lorenzo Guerrieri

Abstract: Let $I$ be an ideal whose symbolic Rees algebra is Noetherian. For $m \geq 1$, the $m$-th symbolic defect, sdefect$(I,m)$, of $I$ is defined to be the minimal number of generators of the module $\frac{I^{(m)}}{I^m}$. We prove that sdefect$(I,m)$ is eventually quasi-polynomial as a function in $m$. We compute the symbolic defect explicitly for certain monomial ideals arising from graphs, termed cov… ▽ More Let $I$ be an ideal whose symbolic Rees algebra is Noetherian. For $m \geq 1$, the $m$-th symbolic defect, sdefect$(I,m)$, of $I$ is defined to be the minimal number of generators of the module $\frac{I^{(m)}}{I^m}$. We prove that sdefect$(I,m)$ is eventually quasi-polynomial as a function in $m$. We compute the symbolic defect explicitly for certain monomial ideals arising from graphs, termed cover ideals. We go on to give a formula for the Waldschmidt constant, an asymptotic invariant measuring the growth of the degrees of generators of symbolic powers, for ideals whose symbolic Rees algebra is Noetherian. △ Less

Submitted 28 March, 2019; v1 submitted 6 February, 2018; originally announced February 2018.

Comments: 22 pages, 5 figures

MSC Class: 13F20; 05C25

Lefschetz Properties of Gorenstein Graded Algebras associated to the Apéry Set of a Numerical Semigroup

Authors: Lorenzo Guerrieri

Abstract: In this paper we study the Weak Lefschetz property of two classes of standard graded Artinian Gorenstein algebras associated in a natural way to the Apéry set of numerical semigroups. To this aim we also prove a general result about the transfer of Weak Lefschetz property from an Artinian Gorenstein algebra to its quotients modulo a colon ideal. In this paper we study the Weak Lefschetz property of two classes of standard graded Artinian Gorenstein algebras associated in a natural way to the Apéry set of numerical semigroups. To this aim we also prove a general result about the transfer of Weak Lefschetz property from an Artinian Gorenstein algebra to its quotients modulo a colon ideal. △ Less

Submitted 22 August, 2018; v1 submitted 5 December, 2017; originally announced December 2017.

Comments: 22 pages

MSC Class: 13A30; 13E10; 13H10

Directed unions of local quadratic transforms of regular local rings and pullbacks

Authors: Lorenzo Guerrieri, William Heinzer, Bruce Olberding, Matt Toeniskoetter

Abstract: Let $\{ R_n, {\mathfrak m}_n \}_{n \ge 0}$ be an infinite sequence of regular local rings with $R_{n+1}$ birationally dominating $R_n$ and ${\mathfrak m}_nR_{n+1}$ a principal ideal of $R_{n+1}$ for each $n$. We examine properties of the integrally closed local domain $S = \bigcup_{n \ge 0}R_n$. Let $\{ R_n, {\mathfrak m}_n \}_{n \ge 0}$ be an infinite sequence of regular local rings with $R_{n+1}$ birationally dominating $R_n$ and ${\mathfrak m}_nR_{n+1}$ a principal ideal of $R_{n+1}$ for each $n$. We examine properties of the integrally closed local domain $S = \bigcup_{n \ge 0}R_n$. △ Less

Submitted 9 February, 2017; originally announced February 2017.

Comments: 23 pages; comments welcome

MSC Class: 13H05; 13A15; 13A18