-
Jordan degree type for codimension three Gorenstein algebras of small Sperner number
Authors:
Nancy Abdallah,
Nasrin Altafi,
Anthony Iarrobino,
Joachim Yaméogo
Abstract:
The Jordan type $P_{A,\ell}$ of a linear form $\ell$ acting on a graded Artinian algebra $A$ over a field $\sf k$ is the partition describing the Jordan block decomposition of the multiplication map $m_\ell$, which is nilpotent. The Jordan degree type $\mathcal S_{A,\ell}$ is a finer invariant, describing also the initial degrees of the simple submodules of $A$ in a decomposition of $A$ as…
▽ More
The Jordan type $P_{A,\ell}$ of a linear form $\ell$ acting on a graded Artinian algebra $A$ over a field $\sf k$ is the partition describing the Jordan block decomposition of the multiplication map $m_\ell$, which is nilpotent. The Jordan degree type $\mathcal S_{A,\ell}$ is a finer invariant, describing also the initial degrees of the simple submodules of $A$ in a decomposition of $A$ as ${\sf k}[\ell]$-modules. The set of Jordan types of $A$ or Jordan degree types (JDT) of $A$ as $\ell$ varies, is an invariant of the algebra. This invariant has been studied for codimension two graded algebras. We here extend the previous results to certain codimension three graded Artinian Gorenstein (AG) algebras - those of small Sperner number. Given a Gorenstein sequence $T$ - one possible for the Hilbert function of a codimension three AG algebra - the irreducible variety $\mathrm{Gor}(T)$ parametrizes all Gorenstein algebras of Hilbert function $T$. We here completely determine the JDT possible for all pairs $(A,\ell), A\in \mathrm{Gor}(T)$, for Gorenstein sequences $T$ of the form $T=(1,3,s^k,3,1)$ for Sperner number $s=3,4,5$ and arbitrary multiplicity $k$. For $s=6$ we delimit the prospective JDT, without verifying that each occurs.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Betti numbers for connected sums of graded Gorenstein artinian algebras
Authors:
Nasrin Altafi,
Roberta Di Gennaro,
Federico Galetto,
Sean Grate,
Rosa M. Miro-Roig,
Uwe Nagel,
Alexandra Seceleanu,
Junzo Watanabe
Abstract:
The connected sum construction, which takes as input Gorenstein rings and produces new Gorenstein rings, can be considered as an algebraic analogue for the topological construction having the same name. We determine the graded Betti numbers for connected sums of graded Artinian Gorenstein algebras. Along the way, we find the graded Betti numbers for fiber products of graded rings; an analogous res…
▽ More
The connected sum construction, which takes as input Gorenstein rings and produces new Gorenstein rings, can be considered as an algebraic analogue for the topological construction having the same name. We determine the graded Betti numbers for connected sums of graded Artinian Gorenstein algebras. Along the way, we find the graded Betti numbers for fiber products of graded rings; an analogous result was obtained in the local case by Geller. We relate the connected sum construction to the doubling construction, which also produces Gorenstein rings. Specifically, we show that a connected sum of doublings is the doubling of a fiber product ring.
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
Jordan type of an Artinian algebra, a survey
Authors:
Nasrin Altafi,
Anthony Iarrobino,
Pedro Macias Marques
Abstract:
We consider Artinian algebras $A$ over a field $\mathsf{k}$, both graded and local algebras. The Lefschetz properties of graded Artinian algebras have been long studied, but more recently the Jordan type invariant of a pair $(\ell,A)$ where $\ell$ is an element of the maximal ideal of $A$, has been introduced. The Jordan type gives the sizes of the Jordan blocks for multiplication by $\ell$ on…
▽ More
We consider Artinian algebras $A$ over a field $\mathsf{k}$, both graded and local algebras. The Lefschetz properties of graded Artinian algebras have been long studied, but more recently the Jordan type invariant of a pair $(\ell,A)$ where $\ell$ is an element of the maximal ideal of $A$, has been introduced. The Jordan type gives the sizes of the Jordan blocks for multiplication by $\ell$ on $A$, and it is a finer invariant than the pair $(\ell,A)$ being strong or weak Lefschetz. The Jordan degree type for a graded Artinian algebra adds to the Jordan type the initial degree of ``strings'' in the decomposition of $A$ as a $\mathsf{k}[\ell]$ module. We here give a brief survey of Jordan type for Artinian algebras, Jordan degree type for graded Artinian algebras, and related invariants for local Artinian algebras, with a focus on recent work and open problems.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Forcing the weak Lefschetz property for equigenerated monomial ideals
Authors:
Nasrin Altafi,
Samuel Lundqvist
Abstract:
We classify the minimal number of generators of artinian equigenerated monomial ideals $I$ such that $\Bbbk[x_1,\ldots,x_n]/I$ is forced to have the weak Lefschetz property.
We classify the minimal number of generators of artinian equigenerated monomial ideals $I$ such that $\Bbbk[x_1,\ldots,x_n]/I$ is forced to have the weak Lefschetz property.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
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.
-
A note on Jordan types and Jordan degree types
Authors:
Nasrin Altafi
Abstract:
We discuss whether the Jordan degree type encodes \break more information about graded artinian Gorenstein algebras than the Jordan type for linear forms. We show that in codimension two, the Jordan type determines the Jordan degree type. We provide examples showing that this is no longer the case in higher codimensions.
We discuss whether the Jordan degree type encodes \break more information about graded artinian Gorenstein algebras than the Jordan type for linear forms. We show that in codimension two, the Jordan type determines the Jordan degree type. We provide examples showing that this is no longer the case in higher codimensions.
△ Less
Submitted 3 April, 2023; v1 submitted 23 March, 2023;
originally announced March 2023.
-
Lefschetz properties of some codimension three Artinian Gorenstein algebras
Authors:
Nancy Abdallah,
Nasrin Altafi,
Anthony Iarrobino,
Alexandra Seceleanu,
Joachim Yaméogo
Abstract:
Codimension two Artinian algebras $A$ have the strong and weak Lefschetz properties provided the characteristic is zero or greater than the socle degree. It is open to what extent such results might extend to codimension three AG algebras - the most promising results so far have concerned the weak Lefschetz property for such algebras. We here show that every standard-graded codimension three Artin…
▽ More
Codimension two Artinian algebras $A$ have the strong and weak Lefschetz properties provided the characteristic is zero or greater than the socle degree. It is open to what extent such results might extend to codimension three AG algebras - the most promising results so far have concerned the weak Lefschetz property for such algebras. We here show that every standard-graded codimension three Artinian Gorenstein algebra $A$ having low maximum value of the Hilbert function - at most six - has the strong Lefschetz property, provided that the characteristic is zero. When the characteristic is greater than the socle degree of $A$, we show that $A$ is almost strong Lefschetz. This quite modest result is nevertheless arguably the most encompassing so far concerning the strong Lefschetz property for graded codimension three AG algebras.
△ Less
Submitted 2 March, 2022;
originally announced March 2022.
-
Monomial ideals and the failure of the Strong Lefschetz property
Authors:
Nasrin Altafi,
Samuel Lundqvist
Abstract:
We give a sharp lower bound for the Hilbert function in degree $d$ of artinian quotients $\Bbbk[x_1,\ldots,x_n]/I$ failing the Strong Lefschetz property, where $I$ is a monomial ideal generated in degree $d \geq 2$. We also provide sharp lower bounds for other classes of ideals, and connect our result to the classification of the Hilbert functions forcing the Strong Lefschetz property by Zanello a…
▽ More
We give a sharp lower bound for the Hilbert function in degree $d$ of artinian quotients $\Bbbk[x_1,\ldots,x_n]/I$ failing the Strong Lefschetz property, where $I$ is a monomial ideal generated in degree $d \geq 2$. We also provide sharp lower bounds for other classes of ideals, and connect our result to the classification of the Hilbert functions forcing the Strong Lefschetz property by Zanello and Zylinski.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
Jordan types with small parts for Artinian Gorenstein algebras of codimension three
Authors:
Nasrin Altafi
Abstract:
We study Jordan types of linear forms for graded Artinian Gorenstein algebras having arbitrary codimension. We introduce rank matrices of linear forms for such algebras that represent the ranks of multiplication maps in various degrees. We show that there is a 1-1 correspondence between rank matrices and Jordan degree types. For Artinian Gorenstein algebras with codimension three we classify all r…
▽ More
We study Jordan types of linear forms for graded Artinian Gorenstein algebras having arbitrary codimension. We introduce rank matrices of linear forms for such algebras that represent the ranks of multiplication maps in various degrees. We show that there is a 1-1 correspondence between rank matrices and Jordan degree types. For Artinian Gorenstein algebras with codimension three we classify all rank matrices that occur for linear forms with vanishing third power. As a consequence, we show for such algebras that the possible Jordan types with parts of length at most four are uniquely determined by at most three parameters.
△ Less
Submitted 4 June, 2021; v1 submitted 5 August, 2020;
originally announced August 2020.
-
Hilbert Functions of Artinian Gorenstein algebras with the Strong Lefschetz Property
Authors:
Nasrin Altafi
Abstract:
We prove that a sequence $h$ of non-negative integers is the Hilbert function of some Artinian Gorenstein algebra with the strong Lefschetz property if and only if it is an SI-sequence. This generalizes the result by T. Harima which characterizes the Hilbert functions of Artinian Gorenstein algebras with the weak Lefschetz property. We also provide classes of Artinian Gorenstein algebras obtained…
▽ More
We prove that a sequence $h$ of non-negative integers is the Hilbert function of some Artinian Gorenstein algebra with the strong Lefschetz property if and only if it is an SI-sequence. This generalizes the result by T. Harima which characterizes the Hilbert functions of Artinian Gorenstein algebras with the weak Lefschetz property. We also provide classes of Artinian Gorenstein algebras obtained from the ideal of points in $\mathbb{P}^n$ such that some of their higher Hessians have non-vanishing determinants. Consequently, we provide families of such algebras satisfying the SLP.
△ Less
Submitted 1 July, 2021; v1 submitted 21 July, 2020;
originally announced July 2020.
-
Number of generators of ideals in Jordan cells of the family of graded Artinian algebras of height two
Authors:
Nasrin Altafi,
Anthony Iarrobino,
Leila Khatami,
Joachim Yaméogo
Abstract:
We let $A=R/I$ be a standard graded Artinian algebra quotient of $R={\sf k}[x,y]$, the polynomial ring in two variables over a field ${\sf k}$ by an ideal $I$, and let $n$ be its vector space dimension. The Jordan type $P_\ell$ of a linear form $\ell\in A_1$ is the partition of $n$ determining the Jordan block decomposition of the multiplication on $A$ by $\ell$ -- which is nilpotent. The first th…
▽ More
We let $A=R/I$ be a standard graded Artinian algebra quotient of $R={\sf k}[x,y]$, the polynomial ring in two variables over a field ${\sf k}$ by an ideal $I$, and let $n$ be its vector space dimension. The Jordan type $P_\ell$ of a linear form $\ell\in A_1$ is the partition of $n$ determining the Jordan block decomposition of the multiplication on $A$ by $\ell$ -- which is nilpotent. The first three authors previously determined which partitions of $n=\dim_{\sf k}A$ may occur as the Jordan type for some linear form $\ell$ on a graded complete intersection Artinian quotient $A=R/(f,g)$ of $R$, and they counted the number of such partitions for each complete intersection Hilbert function $T$ arXiv:1810.00716.\par
We here consider the family $\mathrm{G}_T$ of graded Artinian quotients $A=R/I$ of $R={\sf k}[x,y]$, having arbitrary Hilbert function $H(A)=T$. The Jordan cell $\mathbb V(E_P)$ corresponding to a partition $P$ having diagonal lengths $T$ is comprised of all ideals $I$ in $R$ whose initial ideal is the monomial ideal $E_P$ determined by $P$. These cells give a decomposition of the variety $\mathrm{G}_T$ into affine spaces. We determine the generic number $κ(P)$ of generators for the ideals in each cell $\mathbb V(E_P)$, generalizing a result of arXiv:1810.00716. In particular, we determine those partitions for which $κ(P)=κ(T)$, the generic number of generators for an ideal defining an algebra $A$ in $\mathrm{G}_T$. We also count the number of partitions $P$ of diagonal lengths $T$ having a given $κ(P)$. A main tool is a combinatorial and geometric result allowing us to split $T$ and any partition $P$ of diagonal lengths $T$ into simpler $T_i$ and partitions $P_i$, such that $\mathbb V(E_P)$ is the product of the cells $\mathbb V(E_{P_i})$, and $T_i$ is single-block: $\mathrm{G}_{T_i}$ is a Grassmannian.
△ Less
Submitted 21 November, 2022; v1 submitted 21 June, 2020;
originally announced June 2020.
-
Complete intersection Jordan types in height two
Authors:
Nasrin Altafi,
Anthony Iarrobino,
Leila Khatami
Abstract:
We determine every Jordan type partition that occurs as the Jordan block decomposition for the multiplication map by a linear form in a height two homogeneous complete intersection (CI) Artinian algebra $A$ over an algebraically closed field $\sf k$ of characteristic zero or large enough. We show that these CI Jordan type partitions are those satisfying specific numerical conditions; also, given t…
▽ More
We determine every Jordan type partition that occurs as the Jordan block decomposition for the multiplication map by a linear form in a height two homogeneous complete intersection (CI) Artinian algebra $A$ over an algebraically closed field $\sf k$ of characteristic zero or large enough. We show that these CI Jordan type partitions are those satisfying specific numerical conditions; also, given the Hilbert function $H(A)$, they are completely determined by which higher Hessians of $A$ vanish at the point corresponding to the linear form. We also show new combinatorial results about such partitions, and in particular we give ways to construct them from a branch label or hook code, showing how branches are attached to a fundamental triangle to form the Ferrers graph.
△ Less
Submitted 6 June, 2020; v1 submitted 1 October, 2018;
originally announced October 2018.
-
The weak Lefschetz property of equigenerated monomial ideals
Authors:
Nasrin Altafi,
Mats Boij
Abstract:
We determine a sharp lower bound for the Hilbert function in degree $d$ of a monomial algebra failing the weak Lefschetz property over a polynomial ring with $n$ variables and generated in degree $d$, for any $d\geq 2$ and $n\geq 3$. We consider artinian ideals in the polynomial ring with $n$ variables generated by homogeneous polynomials of degree $d$ invariant under an action of the cyclic group…
▽ More
We determine a sharp lower bound for the Hilbert function in degree $d$ of a monomial algebra failing the weak Lefschetz property over a polynomial ring with $n$ variables and generated in degree $d$, for any $d\geq 2$ and $n\geq 3$. We consider artinian ideals in the polynomial ring with $n$ variables generated by homogeneous polynomials of degree $d$ invariant under an action of the cyclic group $\mathbb{Z}/d\mathbb{Z}$, for any $n\geq 3$ and any $d\geq 2$. We give a complete classification of such ideals in terms of the weak Lefschetz property depending on the action.
△ Less
Submitted 5 July, 2018;
originally announced July 2018.
-
Lefschetz properties of monomial ideals with almost linear resolution
Authors:
Nasrin Altafi,
Navid Nemati
Abstract:
We study the WLP and SLP of artinian monomial ideals in $S=\mathbb{K}[x_1,\dots ,x_n]$ via studying their minimal free resolutions. We study the Lefschetz properties of such ideals where the minimal free resolution of $S/I$ is linear for at least $n-2$ steps. We give an affirmative answer to a conjecture of Eisenbud, Huneke and Ulrich for artinian monomial ideals with almost linear resolutions.
We study the WLP and SLP of artinian monomial ideals in $S=\mathbb{K}[x_1,\dots ,x_n]$ via studying their minimal free resolutions. We study the Lefschetz properties of such ideals where the minimal free resolution of $S/I$ is linear for at least $n-2$ steps. We give an affirmative answer to a conjecture of Eisenbud, Huneke and Ulrich for artinian monomial ideals with almost linear resolutions.
△ Less
Submitted 4 March, 2018;
originally announced March 2018.
-
Free resolution of powers of monomial ideals and Golod rings
Authors:
Nasrin Altafi,
Navid Nemati,
S. A. Seyed Fakhari,
Siamak Yassemi
Abstract:
Let $S = \mathbb{K}[x_1, \dots, x_n]$ be the polynomial ring over a field $\mathbb{K}$. In this paper we present a criterion for componentwise linearity of powers of monomial ideals. In particular, we prove that if a square-free monomial ideal $I$ contains no variable and some power of $I$ is componentwise linear, then $I$ satisfies gcd condition. For a square-free monomial ideal $I$ which contain…
▽ More
Let $S = \mathbb{K}[x_1, \dots, x_n]$ be the polynomial ring over a field $\mathbb{K}$. In this paper we present a criterion for componentwise linearity of powers of monomial ideals. In particular, we prove that if a square-free monomial ideal $I$ contains no variable and some power of $I$ is componentwise linear, then $I$ satisfies gcd condition. For a square-free monomial ideal $I$ which contains no variable, we show that $S/I$ is a Golod ring provided that for some integer $s\geq 1$, the ideal $I^s$ has linear quotient with respect to a monomial order. We also provide a lower bound for some Betti numbers of powers of a square-free monomial ideal which is generated in a single degree.
△ Less
Submitted 29 September, 2013; v1 submitted 24 September, 2013;
originally announced September 2013.
