Showing 1–17 of 17 results for author: Nicklasson, L

The weak Lefschetz property of whiskered graphs

Authors: Susan M. Cooper, Sara Faridi, Thiago Holleben, Lisa Nicklasson, Adam Van Tuyl

Abstract: We consider Artinian level algebras arising from the whiskering of a graph. Employing a result by Dao-Nair we show that multiplication by a general linear form has maximal rank in degrees 1 and $n-1$ when the characteristic is not two, where $n$ is the number of vertices in the graph. Moreover, the multiplication is injective in degrees $<n/2$ when the characteristic is zero, following a proof by… ▽ More We consider Artinian level algebras arising from the whiskering of a graph. Employing a result by Dao-Nair we show that multiplication by a general linear form has maximal rank in degrees 1 and $n-1$ when the characteristic is not two, where $n$ is the number of vertices in the graph. Moreover, the multiplication is injective in degrees $<n/2$ when the characteristic is zero, following a proof by Hausel. Our result in the characteristic zero case is optimal in the sense that there are whiskered graphs for which the multiplication maps in all intermediate degrees $n/2,\ldots,n-2$ of the associated Artinian algebras fail to have maximal rank, and consequently, the weak Lefschetz property. △ Less

Submitted 2 October, 2023; v1 submitted 7 June, 2023; originally announced June 2023.

Comments: 13 pages; revised version improves the main result (Cor. 3.2)

MSC Class: 13E10; 13F20; 13F55; 05E45

On binomial complete intersections

Authors: Filip Jonsson Kling, Samuel Lundqvist, Lisa Nicklasson

Abstract: We consider homogeneous binomial ideals $I=(f_1,\ldots,f_n)$ in $K[x_1, \ldots, x_n]$, where $f_i = a_i x_i^{d_i} - b_i m_i$ and $a_i \neq 0$. When such an ideal is a complete intersection, we show that the monomials which are not divisible by $x_i^{d_i}$ for $i=1,\ldots,n$ form a vector space basis for the corresponding quotient, and we describe the Macaulay dual generator in terms of a directed… ▽ More We consider homogeneous binomial ideals $I=(f_1,\ldots,f_n)$ in $K[x_1, \ldots, x_n]$, where $f_i = a_i x_i^{d_i} - b_i m_i$ and $a_i \neq 0$. When such an ideal is a complete intersection, we show that the monomials which are not divisible by $x_i^{d_i}$ for $i=1,\ldots,n$ form a vector space basis for the corresponding quotient, and we describe the Macaulay dual generator in terms of a directed graph that we associate to $I$. These two properties can be seen as a natural generalization of well-known properties for monomial complete intersections. Moreover, we give a description of the radical of the resultant of $I$ in terms of the directed graph. △ Less

Submitted 22 March, 2024; v1 submitted 11 May, 2023; originally announced May 2023.

Comments: 21 pages, 3 figures. v2: Extended results to be valid over any field. To appear in Journal of Algebra

MSC Class: 13C40; 13E10; 13F65; 13P15; 16S15

Journal ref: Journal of Algebra, Volume 649 (2024), Pages 12-34

Chain algebras of finite distributive lattices

Authors: Oleksandra Gasanova, Lisa Nicklasson

Abstract: We introduce a family of toric algebras defined by maximal chains of a finite distributive lattice. Applying results on stable set polytopes we conclude that every such algebra is normal and Cohen-Macaulay, and give an interpretation of its Krull dimension in terms of the combinatorics of the underlying lattice. When the lattice is planar, we show that the corresponding chain algebra is generated… ▽ More We introduce a family of toric algebras defined by maximal chains of a finite distributive lattice. Applying results on stable set polytopes we conclude that every such algebra is normal and Cohen-Macaulay, and give an interpretation of its Krull dimension in terms of the combinatorics of the underlying lattice. When the lattice is planar, we show that the corresponding chain algebra is generated by a sortable set of monomials and is isomorphic to a Hibi ring of another finite distributive lattice. As a consequence it has a defining toric ideal with a quadratic Gröbner basis, and its $h$-vector counts ascents in certain standard Young tableaux. If instead the lattice has dimension $n>2$, we show that the defining ideal has minimal generators of degree at least $n$. △ Less

Submitted 10 January, 2024; v1 submitted 10 April, 2023; originally announced April 2023.

Comments: To appear in Journal of Algebraic Combinatorics

MSC Class: 13F65; 13H10; 06A11

Journal ref: Journal of Algebraic Combinatorics, Volume 59, pages 473-494, (2024)

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

Monomial projections of Veronese varieties: new results and conjectures

Authors: Liena Colarte-Gómez, Rosa M. Miró-Roig, Lisa Nicklasson

Abstract: In this paper, we consider the homogeneous coordinate rings $A(Y_{n,d}) \cong \mathbb{K}[Ω_{n,d}]$ of monomial projections $Y_{n,d}$ of Veronese varieties parameterized by subsets $Ω_{n,d}$ of monomials of degree $d$ in $n+1$ variables where: (1) $Ω_{n,d}$ contains all monomials supported in at most $s$ variables and, (2) $Ω_{n,d}$ is a set of monomial invariants of a finite diagonal abelian group… ▽ More In this paper, we consider the homogeneous coordinate rings $A(Y_{n,d}) \cong \mathbb{K}[Ω_{n,d}]$ of monomial projections $Y_{n,d}$ of Veronese varieties parameterized by subsets $Ω_{n,d}$ of monomials of degree $d$ in $n+1$ variables where: (1) $Ω_{n,d}$ contains all monomials supported in at most $s$ variables and, (2) $Ω_{n,d}$ is a set of monomial invariants of a finite diagonal abelian group $G \subset GL(n+1,\mathbb{K})$ of order $d$. Our goal is to study when $\mathbb{K}[Ω_{n,d}]$ is a quadratic algebra and, if so, when $\mathbb{K}[Ω_{n,d}]$ is Koszul or G-quadratic. For the family (1), we prove that $\mathbb{K}[Ω_{n,d}]$ is quadratic when $s \ge \lceil \frac{n+2}{2} \rceil$. For the family (2), we completely characterize when $\mathbb{K}[Ω_{2,d}]$ is quadratic in terms of the group $G \subset GL(3,\mathbb{K})$, and we prove that $\mathbb{K}[Ω_{2,d}]$ is quadratic if and only if it is Koszul. We also provide large families of examples where $\mathbb{K}[Ω_{n,d}]$ is G-quadratic. △ Less

Submitted 16 March, 2023; originally announced March 2023.

Comments: To appear in Journal of Algebra

Journal ref: Journal of Algebra, Volume 626 (2023), Pages 82-108

Toric and non-toric Bayesian networks

Authors: Lisa Nicklasson

Abstract: In this paper we study Bayesian networks from a commutative algebra perspective. We characterize a class of toric Bayesian nets, and provide the first example of a Bayesian net which is proved non-toric under any linear change of variables. Concerning the class of toric Bayesian nets, we study their quadratic relations and prove a conjecture by Garcia, Stillman, and Sturmfels for this class. In ad… ▽ More In this paper we study Bayesian networks from a commutative algebra perspective. We characterize a class of toric Bayesian nets, and provide the first example of a Bayesian net which is proved non-toric under any linear change of variables. Concerning the class of toric Bayesian nets, we study their quadratic relations and prove a conjecture by Garcia, Stillman, and Sturmfels for this class. In addition, we give a necessary condition on the underlying directed acyclic graph for when all relations are quadratic. △ Less

Submitted 27 June, 2023; v1 submitted 12 August, 2022; originally announced August 2022.

MSC Class: 62R01; 62A09; 13F65; 13C70

Journal ref: SIAM Journal on Applied Algebra and Geometry. Vol. 7, no 3 (2023), p. 549-566

Syzygies, constant rank, and beyond

Authors: Marc Härkönen, Lisa Nicklasson, Bogdan Raiţă

Abstract: We study linear PDE with constant coefficients. The constant rank condition on a system of linear PDEs with constant coefficients is often used in the theory of compensated compactness. While this is a purely linear algebraic condition, the nonlinear algebra concept of primary decomposition is another important tool for studying such system of PDEs. In this paper we investigate the connection betw… ▽ More We study linear PDE with constant coefficients. The constant rank condition on a system of linear PDEs with constant coefficients is often used in the theory of compensated compactness. While this is a purely linear algebraic condition, the nonlinear algebra concept of primary decomposition is another important tool for studying such system of PDEs. In this paper we investigate the connection between these two concepts. From the nonlinear analysis point of view, we make some progress in the study of weak lower semicontinuity of integral functionals defined on sequences of PDE constrained fields, when the PDEs do not have constant rank. △ Less

Submitted 14 February, 2022; v1 submitted 23 December, 2021; originally announced December 2021.

Comments: 21 pages

MSC Class: 13N10; 13P25; 35G35; 49J45

Journal ref: Journal of Symbolic Computation, Volume 123, 2024

Staged tree models with toric structure

Authors: Christiane Görgen, Aida Maraj, Lisa Nicklasson

Abstract: A staged tree model is a discrete statistical model encoding relationships between events. These models are realised by directed trees with coloured vertices. In algebro-geometric terms, the model consists of points inside a toric variety. For certain trees, called balanced, the model is in fact the intersection of the toric variety and the probability simplex. This gives the model a straightforwa… ▽ More A staged tree model is a discrete statistical model encoding relationships between events. These models are realised by directed trees with coloured vertices. In algebro-geometric terms, the model consists of points inside a toric variety. For certain trees, called balanced, the model is in fact the intersection of the toric variety and the probability simplex. This gives the model a straightforward description, and has computational advantages. In this paper we show that the class of staged tree models with a toric structure extends far outside of the balanced case, if we allow a change of coordinates. It is an open problem whether all staged tree models have toric structure. △ Less

Submitted 23 July, 2021; v1 submitted 9 July, 2021; originally announced July 2021.

MSC Class: 62R01; 62A09; 13F65; 14M25

Journal ref: Journal of Symbolic Computation, Volume 113, 2022, Pages 242-268

Products of polymatroids with the strong exchange property

Authors: Lisa Nicklasson

Abstract: It was conjectured by White in 1980 that the toric ring associated to a matroid is defined by symmetric exchange relations. This conjecture was extended to discrete polymatroids by Herzog and Hibi, and they prove that the conjecture holds for polymatroids with the so called strong exchange property. In this paper we generalize their result to polymatroids that are products of polymatroids with the… ▽ More It was conjectured by White in 1980 that the toric ring associated to a matroid is defined by symmetric exchange relations. This conjecture was extended to discrete polymatroids by Herzog and Hibi, and they prove that the conjecture holds for polymatroids with the so called strong exchange property. In this paper we generalize their result to polymatroids that are products of polymatroids with the strong exchange property. This also extends a result by Conca on transversal polymatroids. △ Less

Submitted 19 February, 2021; v1 submitted 8 January, 2021; originally announced January 2021.

Comments: Errors in previous version were corrected

MSC Class: 13F65; 13C70; 16S37

Journal ref: Journal of Pure and Applied Algebra, Volume 226, Issue 6, June 2022, 106967

Gorenstein rings generated by strongly stable sets of quadratic monomials

Authors: Ralf Fröberg, Lisa Nicklasson

Abstract: We characterize all Gorenstein rings generated by strongly stable sets of monomials of degree two. We compute their Hilbert series in several cases, which also provides an answer to a question by Migliore and Nagel. We characterize all Gorenstein rings generated by strongly stable sets of monomials of degree two. We compute their Hilbert series in several cases, which also provides an answer to a question by Migliore and Nagel. △ Less

Submitted 23 September, 2021; v1 submitted 3 August, 2020; originally announced August 2020.

Comments: To appear in Communication in Algebra

MSC Class: 13F55; 13C40; 13D40; 13H10

Journal ref: Communications in Algebra, Volume 50, Issue 5, 2022

On decomposing monomial algebras with the Lefschetz properties

Authors: Oleksandra Gasanova, Samuel Lundqvist, Lisa Nicklasson

Abstract: We introduce a general technique for decomposing monomial algebras which we use to study the Lefschetz properties. We apply our technique to various classes of algebras, including monomial almost complete intersections and Gorenstein algebras. In particular, we prove that Gorenstein codimension three algebras arising from numerical semigroups have the strong Lefschetz property. We also study the r… ▽ More We introduce a general technique for decomposing monomial algebras which we use to study the Lefschetz properties. We apply our technique to various classes of algebras, including monomial almost complete intersections and Gorenstein algebras. In particular, we prove that Gorenstein codimension three algebras arising from numerical semigroups have the strong Lefschetz property. We also study the reverse of the splitting operation -- a gluing operation -- which gives a way to construct monomial algebras with the Lefschetz properties. △ Less

Submitted 29 November, 2021; v1 submitted 25 June, 2020; originally announced June 2020.

Comments: Journal version 16 pages, 5 figures

MSC Class: 13E10; 13H10; 13C40; 13F55

Journal ref: Journal of Pure and Applied Algebra, Vol. 226, Issue 6, 2022, 106968

Subalgebras generated in degree two with minimal Hilbert function

Authors: Lisa Nicklasson

Abstract: What can be said about the subalgebras of the polynomial ring, with minimal or maximal Hilbert function? This question was discussed in a recent paper by M. Boij and A. Conca. In this paper we study the subalgebras generated in degree two with minimal Hilbert function. The problem to determine the generators of these algebras transfers into a combinatorial problem on counting maximal north-east la… ▽ More What can be said about the subalgebras of the polynomial ring, with minimal or maximal Hilbert function? This question was discussed in a recent paper by M. Boij and A. Conca. In this paper we study the subalgebras generated in degree two with minimal Hilbert function. The problem to determine the generators of these algebras transfers into a combinatorial problem on counting maximal north-east lattice paths inside a shifted Ferrers diagram. We conjecture that the subalgebras generated in degree two with minimal Hilbert function are generated by an initial Lex or RevLex segment. △ Less

Submitted 8 September, 2020; v1 submitted 25 November, 2019; originally announced November 2019.

Comments: To appear in Mathematica Scandinavica

Journal ref: Mathematica Scandinavica. Vol. 127, No. 1 (2021) p. 5-27

On the Betti numbers and Rees algebras of ideals with linear powers

Authors: Lisa Nicklasson

Abstract: An ideal $I \subset \mathbb{k}[x_1, \ldots, x_n]$ is said to have linear powers if $I^k$ has a linear minimal free resolution, for all $k$. In this paper we study the Betti numbers of $I^k$, for ideals $I$ with linear powers. The Betti numbers are computed explicitly, as polynomials in $k$, for the ideal generated by all square free monomials of degree $d$, for $d=2, 3$ or $n-1$, and the product o… ▽ More An ideal $I \subset \mathbb{k}[x_1, \ldots, x_n]$ is said to have linear powers if $I^k$ has a linear minimal free resolution, for all $k$. In this paper we study the Betti numbers of $I^k$, for ideals $I$ with linear powers. The Betti numbers are computed explicitly, as polynomials in $k$, for the ideal generated by all square free monomials of degree $d$, for $d=2, 3$ or $n-1$, and the product of all ideals generated by $s$ variables, for $s=n-1$ or $n-2$. We also study the generators of the Rees ideal, for ideals with linear powers. Especially, we are interested in ideals for which the Rees ideal is generated by quadratic elements. This is related to a conjecture on matroids by White. △ Less

Submitted 19 February, 2021; v1 submitted 3 April, 2019; originally announced April 2019.

Comments: To appear in Journal of Algebraic Combinatorics

MSC Class: 13D02; 13A30

Journal ref: J. Algebr. Comb. 53, 575-592 (2021)

On generic principal ideals in the exterior algebra

Authors: Samuel Lundqvist, Lisa Nicklasson

Abstract: We give a lower bound on the Hilbert series of the exterior algebra modulo a principal ideal generated by a generic form of odd degree and disprove a conjecture by Moreno-Socías and Snellman. We also show that the lower bound is equal to the minimal Hilbert series in some specific cases. We give a lower bound on the Hilbert series of the exterior algebra modulo a principal ideal generated by a generic form of odd degree and disprove a conjecture by Moreno-Socías and Snellman. We also show that the lower bound is equal to the minimal Hilbert series in some specific cases. △ Less

Submitted 9 March, 2018; originally announced March 2018.

Comments: 20 pages, 2 figures

MSC Class: 15A75; 13D40; 13D02

Journal ref: J. Pure Appl. Alg. 223 (2019), no. 6, 2615--2634

The strong Lefschetz property of monomial complete intersections in two variables

Authors: Lisa Nicklasson

Abstract: In this paper we classify the monomial complete intersection algebras, in two variables, and of positive characteristic, which has the strong Lef- schetz property. Together with known results, this gives a complete classi- fication of the monomial complete intersections with the strong Lefschetz property. In this paper we classify the monomial complete intersection algebras, in two variables, and of positive characteristic, which has the strong Lef- schetz property. Together with known results, this gives a complete classi- fication of the monomial complete intersections with the strong Lefschetz property. △ Less

Submitted 23 March, 2017; originally announced March 2017.

Journal ref: Collect. Math.,69 (2018), 359-375

On the structure of monomial complete intersections in positive characteristic

Authors: Samuel Lundqvist, Lisa Nicklasson

Abstract: In this paper we study the Lefschetz properties of monomial complete intersections in positive characteristic. We give a complete classification of the strong Lefschetz property when the number of variables is at least three, which proves a conjecture by Cook II. We also extend earlier results on the weak Lefschetz property by dropping the assumption on the residue field being infinite, and by giv… ▽ More In this paper we study the Lefschetz properties of monomial complete intersections in positive characteristic. We give a complete classification of the strong Lefschetz property when the number of variables is at least three, which proves a conjecture by Cook II. We also extend earlier results on the weak Lefschetz property by dropping the assumption on the residue field being infinite, and by giving new sufficient criteria. △ Less

Submitted 9 November, 2016; v1 submitted 22 April, 2016; originally announced April 2016.

Journal ref: J. Algebra , 521 (2019), 213-234

On the Hilbert series of ideals generated by generic forms

Authors: Lisa Nicklasson

Abstract: There is a longstanding conjecture by Fröberg about the Hilbert series of the ring $R/I$, where $R$ is a polynomial ring, and $I$ an ideal generated by generic forms. We prove this conjecture true in the case when $I$ is generated by a large number of forms, all of the same degree. We also conjecture that an ideal generated by $m$'th powers of forms of degree $d$ gives the same Hilbert series as a… ▽ More There is a longstanding conjecture by Fröberg about the Hilbert series of the ring $R/I$, where $R$ is a polynomial ring, and $I$ an ideal generated by generic forms. We prove this conjecture true in the case when $I$ is generated by a large number of forms, all of the same degree. We also conjecture that an ideal generated by $m$'th powers of forms of degree $d$ gives the same Hilbert series as an ideal generated by generic forms of degree $md$. We verify this in several cases. This also gives a proof of the first conjecture in some new cases. △ Less

Submitted 24 February, 2015; originally announced February 2015.

Journal ref: Communications in Algebra (2017), vol. 45, no. 8, p. 3390-3395