Showing 1–6 of 6 results for author: Fiorindo, L

Asymptotic behaviour of Vasconcelos invariants for products and powers of graded ideals

Authors: Luca Fiorindo, Dipankar Ghosh

Abstract: Let $R$ be a commutative Noetherian $\mathbb{N}$-graded ring. Let $N\subseteq M$ be finitely generated $\mathbb{Z}$-graded $R$-modules. Let $I_1,\ldots,I_r$ be non-zero proper homogeneous ideals of $R$. Denote ${\bf I}^{\underline{n}}:=I_1^{n_1}\cdots I_r^{n_r}$ for $\underline{n}=(n_1,\dots,n_r)\in\mathbb{N}^r$. In this paper, we prove that the (local) Vasconcelos invariant of… ▽ More Let $R$ be a commutative Noetherian $\mathbb{N}$-graded ring. Let $N\subseteq M$ be finitely generated $\mathbb{Z}$-graded $R$-modules. Let $I_1,\ldots,I_r$ be non-zero proper homogeneous ideals of $R$. Denote ${\bf I}^{\underline{n}}:=I_1^{n_1}\cdots I_r^{n_r}$ for $\underline{n}=(n_1,\dots,n_r)\in\mathbb{N}^r$. In this paper, we prove that the (local) Vasconcelos invariant of ${\bf I}^{\underline{n}}M/{\bf I}^{\underline{n}}N$ is eventually the minimum of finitely many linear functions in $\underline{n}$. The same holds for $M/{\bf I}^{\underline{n}}N$ under certain conditions. Some specific examples are provided, where these functions are not eventually linear in $\underline{n}$. However, when $R$ is a polynomial ring over a field, we show that the global Vasconcelos invariants of $R/{\bf I}^{\underline{n}}$ and ${\bf I}^{\underline{n}}/{\bf I}^{\underline{n}+\underline{1}}$ are, in fact, asymptotically linear in $\underline{n}$ with the leading coefficients given by the initial degrees of $I_1,\ldots,I_r$. The last result is surprising: It differs from the Castelnuovo-Mumford regularity, which is not always linear even over polynomial rings, as shown by Bruns-Conca. △ Less

Submitted 11 April, 2025; v1 submitted 31 January, 2024; originally announced January 2024.

Comments: Theorems 2.3 and 1.6 are added showing asymptotic linearity of the global v-numbers for products and powers of ideals in a polynomial ring over an integral domain. The leading coefficients of this function are given by the initial degrees of the ideals. Example 3.5 is added to show that, unlike global v-numbers, the linearity of local v-numbers cannot be expected even in the polynomial case

MSC Class: 13A02; 13A15; 13A30

On the asymptotic behaviour of the Vasconcelos invariant for graded modules

Authors: Luca Fiorindo, Dipankar Ghosh

Abstract: The notion of Vasconcelos invariant, known in the literature as v-number, of a homogeneous ideal in a polynomial ring over a field was introduced in 2020 to study the asymptotic behaviour of the minimum distance of projective Reed-Muller type codes. We initiate the study of this invariant for graded modules. Let $R$ be a Noetherian $\mathbb{N}$-graded ring, and $M$ be a finitely generated graded… ▽ More The notion of Vasconcelos invariant, known in the literature as v-number, of a homogeneous ideal in a polynomial ring over a field was introduced in 2020 to study the asymptotic behaviour of the minimum distance of projective Reed-Muller type codes. We initiate the study of this invariant for graded modules. Let $R$ be a Noetherian $\mathbb{N}$-graded ring, and $M$ be a finitely generated graded $R$-module. The v-number $v(M)$ can be defined as the least possible degree of a homogeneous element $x$ of $M$ for which $(0:_Rx)$ is a prime ideal of $R$. For a homogeneous ideal $I$ of $R$, we mainly prove that $v(I^nM)$ and $v(I^nM/I^{n+1}M)$ are eventually linear functions of $n$. In addition, if $(0:_M I)=0$, then $v(M/I^{n}M)$ is also eventually linear with the same leading coefficient as that of $v(I^nM/I^{n+1}M)$. These leading coefficients are described explicitly. The result on the linearity of $v(M/I^{n}M)$ considerably strengthens a recent result of Conca which was shown when $R$ is a domain and $M=R$, and Ficarra-Sgroi where the polynomial case is treated. △ Less

Submitted 10 January, 2025; v1 submitted 29 January, 2024; originally announced January 2024.

Comments: 15 pages. The final version after revision. To appear in Nagoya Mathematical Journal

MSC Class: 13A02; 13A15; 13A30; 13D45

Journal ref: Nagoya Math. J., (2025), 1--15

A Uniform Identification of Stable Sheaf Cohomology

Authors: Luca Fiorindo, Ethan Reed, Shahriyar Roshan Zamir, Hongmiao Yu

Abstract: This paper considers generalizations of certain arithmetic complexes appearing in the work of Raicu and VandeBogert in connection with the study of stable sheaf cohomology on flag varieties. Defined over the ring of integer valued polynomials, we prove an isomorphism of these complexes as conjectured by Gao, Raicu, and VandeBogert. In particular, this shows that a previously made identification be… ▽ More This paper considers generalizations of certain arithmetic complexes appearing in the work of Raicu and VandeBogert in connection with the study of stable sheaf cohomology on flag varieties. Defined over the ring of integer valued polynomials, we prove an isomorphism of these complexes as conjectured by Gao, Raicu, and VandeBogert. In particular, this shows that a previously made identification between the stable sheaf cohomology of hook and two column partition Schur functors applied to the cotangent sheaf of projective space can be made to be uniform with respect to these complexes. These results are extended to the projective space defined over the integers. △ Less

Submitted 20 May, 2025; v1 submitted 29 September, 2023; originally announced September 2023.

Comments: 16 pages

MSC Class: 13D02; 14F06; 05A19; 20G10

Hilbert functions and Jordan type of Perazzo Artinian algebras

Authors: Nancy Abdallah, Nasrin Altafi, Pietro De Poi, Luca Fiorindo, Anthony Iarrobino, Pedro Macias Marques, Emilia Mezzetti, Rosa M. Miró-Roig, Lisa Nicklasson

Abstract: We study Hilbert functions, Lefschetz properties, and Jordan type of Artinian Gorenstein algebras associated to Perazzo hypersurfaces in projective space. The main focus lies on Perazzo threefolds, for which we prove that the Hilbert functions are always unimodal. Further we prove that the Hilbert function determines whether the algebra is weak Lefschetz, and we characterize those Hilbert function… ▽ More We study Hilbert functions, Lefschetz properties, and Jordan type of Artinian Gorenstein algebras associated to Perazzo hypersurfaces in projective space. The main focus lies on Perazzo threefolds, for which we prove that the Hilbert functions are always unimodal. Further we prove that the Hilbert function determines whether the algebra is weak Lefschetz, and we characterize those Hilbert functions for which the weak Lefschetz property holds. By example, we verify that the Hilbert functions of Perazzo fourfolds are not always unimodal. In the particular case of Perazzo threefolds with the smallest possible Hilbert function, we give a description of the possible Jordan types for multiplication by any linear form. △ Less

Submitted 29 March, 2023; originally announced March 2023.

Comments: 23 pages

MSC Class: 13E10 (primary); 13D40; 14M05; 13H10

Polynomials with vanishing Hessian and Lefschetz properties

Authors: Luca Fiorindo

Abstract: The aim is to study Perazzo hypersurfaces $X=V(F)\subseteq\mathbb{P}(K^5)$, defined by $F(x_0,x_1,x_2,u,v) = p_0(u,v)x_0+p_1(u,v)x_1+p_2(u,v)x_2+g(u,v)$, where $p_0,p_1,p_2$ are algebraically dependent, but linearly independent forms of degree $d-1$ in $u,v$, and $g$ is a form in $u,v$ of degree $d$. These hypersurfaces are the "building blocks" for all possible hypersuface in $\mathbb{P}^4$ with… ▽ More The aim is to study Perazzo hypersurfaces $X=V(F)\subseteq\mathbb{P}(K^5)$, defined by $F(x_0,x_1,x_2,u,v) = p_0(u,v)x_0+p_1(u,v)x_1+p_2(u,v)x_2+g(u,v)$, where $p_0,p_1,p_2$ are algebraically dependent, but linearly independent forms of degree $d-1$ in $u,v$, and $g$ is a form in $u,v$ of degree $d$. These hypersurfaces are the "building blocks" for all possible hypersuface in $\mathbb{P}^4$ with vanishing Hessian. A minimal and a maximal Hilbert vector is found for the associated Artinian Gorenstein $K$-algebras $A_F$: in the minimal case they satisfy the Weak Lefschetz property, but in the maximal case they don't. Furthermore, we classify all Perazzo $3$-folds with minimal $h$-vector. We also summarise basic knowledge and already known results about hypersurfaces with vanishing Hessian and their geometry in low dimension, and also about Artinian Gorenstein $K$-algebras. △ Less

Submitted 23 December, 2022; v1 submitted 21 December, 2022; originally announced December 2022.

Comments: This dissertation is the author's Master thesis in Mathematics. This thesis has been written under the supervision of Prof. Emilia Mezzetti, and it was defended in Trieste on July $22^{nd}$ 2022. The thesis has been corrected of some misprints, but the original document can be found in [Fio]

Perazzo 3-folds and the weak Lefschetz property

Authors: Luca Fiorindo, Emilia Mezzetti, Rosa M. Miró-Roig

Abstract: We deal with Perazzo 3-folds in $\mathbb P^4$, i.e. hypersurfaces $X=V(f)\subset \mathbb P^4$ of degree $d$ defined by a homogeneous polynomial $f(x_0,x_1,x_2,u,v)=p_0(u,v)x_0+p_1(u,v)x_1+p_2(u,v)x_2+g(u,v)$, where $p_0,p_1,p_2$ are algebraically dependent but linearly independent forms of degree $d-1$ in $u,v$, and $g$ is a form in $u,v$ of degree $d$. Perazzo 3-folds have vanishing hessian and,… ▽ More We deal with Perazzo 3-folds in $\mathbb P^4$, i.e. hypersurfaces $X=V(f)\subset \mathbb P^4$ of degree $d$ defined by a homogeneous polynomial $f(x_0,x_1,x_2,u,v)=p_0(u,v)x_0+p_1(u,v)x_1+p_2(u,v)x_2+g(u,v)$, where $p_0,p_1,p_2$ are algebraically dependent but linearly independent forms of degree $d-1$ in $u,v$, and $g$ is a form in $u,v$ of degree $d$. Perazzo 3-folds have vanishing hessian and, hence, the associated graded artinian Gorenstein algebra $A_f$ fails the strong Lefschetz property. In this paper, we determine the maximum and minimum Hilbert function of $A_f$ and we prove that if $A_f$ has maximal Hilbert function it fails the weak Lefschetz property, while it satisfies the weak Lefschetz property when it has minimum Hilbert function. In addition, we classify all Perazzo 3-folds in $\mathbb P^4$ such that $A_f$ has minimum Hilbert function. △ Less

Submitted 16 March, 2023; v1 submitted 6 June, 2022; originally announced June 2022.

Comments: 21 pages; final version to be published in Journal of Algebra

MSC Class: 14J70; 14N07; 13E10