On the weak Lefschetz property for almost complete intersections generated by uniform powers of general linear forms

DOI10.1016/J.JALGEBRA.2019.12.029MaRDI QIDQ2300481zbMATH OpenOpenAlexFDO

Authors Quang Hoa Tran, Rosa M. Miró-Roig

Publication date 27 February 2020

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2001.06143

zbMATH Keywords

almost complete intersectionsArtinian algebrasgeneral linear formslinear systems of general pointspowers of linear formsweak Lefschetz property

Mathematics Subject Classification ID

Other special types of modules and ideals in commutative rings (13C13) Linkage, complete intersections and determinantal ideals (13C40) Syzygies, resolutions, complexes and commutative rings (13D02) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Commutative Artinian rings and modules, finite-dimensional algebras (13E10) Divisors, linear systems, invertible sheaves (14C20)

Abstract: In 2012, Migliore, the first author, and Nagel conjectured that, for all $ngeq4$, the artinian ideal $I=(L_0^d,ldots,L_{2n+1}^d)subsetR=k[x_0,ldots,x_{2n}]$ generated by the $d$-th powers of $2n+2$ general linear forms fails to have the weak Lefschetz property if and only if $d>1$. This paper is entirely devoted to prove partially this conjecture. More precisely, we prove that $R/I$ fails to have the weak Lefschetz property, provided $4leqnleq8,dgeq4$ or $d=2r,1leqrleq8,4leqnleq2r(r+2)-1$.

Review text

A standard graded Artinian algebra \(A = R/I\) (where \(R\) is a polynomial ring over a field \(k\)) is said to have the Weak Lefschetz Property (WLP) if there is a linear form \(\ell\) for which the induced map \(\times \ell : [A]_i \rightarrow [A]_{i+1}\) has maximal rank for all \(i\). A special case that has garnered much attention is when \(I\) is generated by powers of linear forms, especially when the linear forms are general ones. The case where \(I\) is an almost complete intersection, meaning that the number of minimal generators is one more than the codimension, has been studied in several papers. Now assume that \(k\) has characteristic zero, \(R = k[x_0, \dots, x_{2n}]\), and \(I = (L_0^d,\dots,L_{2n+1}^d)\). The WLP of such quotients was studied by the first author, \textit{U. Nagel} and the reviewer [Algebra Number Theory 6, No. 3, 487--526 (2012; Zbl 1257.13003)], who posed the following conjecture to complete the study: if \(n \geq 4\) then \(R/I\) fails to have the WLP if and only if \(d > 1\). Furthermore, if \(n=3\) then \(R/I\) fails to have the WLP when \(d=3\). The first author proved this when \(d=2\). \textit{U. Nagel} and \textit{B. Trok} [Trans. Am. Math. Soc. 372, No. 12, 8849--8870 (2019; Zbl 1426.13008)] recently proved it for \(n \gg 0\) and \(d \gg 0\). The last part of the conjecture was proved by \textit{R. Di Gennaro} et al. [J. Lond. Math. Soc., II. Ser. 89, No. 1, 194--212 (2014; Zbl 1290.13013); ``Comments on the WLP in degree 3 for 8 cubes in \(\mathbb{P}^6\), Preprint, \url{hal-02321118}]. In this paper the authors prove it when (i) \(4 \leq n \leq 8\) and \(d \geq 4\), and (ii) \(d = 2r\), \(1 \leq r \leq 8\) and \(4 \leq n \leq 2r(r+2)-1\). The methods extend the approach introduced by the first author, Nagel and the reviewer, converting to a problem about fat points and using Cremona transformations.

Recommendations

• Complete intersections of quadrics and the weak Lefschetz property
• Harbourne, Schenck and Seceleanu's conjecture
• On the weak Lefschetz property for powers of linear forms
• A classification of the weak Lefschetz property for almost complete intersections generated by uniform powers of general linear forms
• The Weak Lefschetz Property for monomial complete intersection in positive characteristic
• The Lefschetz question for ideals generated by powers of linear forms in few variables
• Lefschetz properties for complete intersection ideals generated by products of linear forms
• On the strong Lefschetz problem for uniform powers of general linear forms in \(k[x,y,z]\)
• The weak Lefschetz property for quotients by quadratic monomials
• A note on a conjecture regarding the weak Lefschetz property of a special class of Artinian algebras

Cites work

• An algorithm to bound the regularity and nonemptiness of linear systems in \(\mathbb P^n\)
• Combinatorics and geometry of power ideals
• Harbourne, Schenck and Seceleanu's conjecture
• scientific article; zbMATH DE number 4057653 (Why is no real title available?)
• Interpolation and the weak Lefschetz property
• Inverse system of a symbolic power. I
• Inverse systems, Gelfand-Tsetlin patterns and the weak Lefschetz property
• Lefschetz property and powers of linear forms in \(\mathbb{K}[x,y,z]\)
• On the strong Lefschetz problem for uniform powers of general linear forms in \(k[x,y,z]\)
• On the weak Lefschetz property for powers of linear forms
• Sagbi bases of Cox-Nagata rings
• Singular hypersurfaces characterizing the Lefschetz properties
• The weak Lefschetz property and powers of linear forms in \(\mathbb {K}[x,y,z]\)
• Weyl Groups, the Hard Lefschetz Theorem, and the Sperner Property

Cited in

(23)

• Powers of generic ideals and the weak Lefschetz property for powers of some monomial complete intersections
• On the structure of monomial complete intersections in positive characteristic
• Ideals of general forms and the ubiquity of the weak Lefschetz property.
• On the weak Lefschetz property for Hilbert functions of almost complete intersections
• The Lefschetz question for ideals generated by powers of linear forms in few variables
• The weak Lefschetz property of Gorenstein algebras of codimension three associated to the Apéry sets
• On the weak Lefschetz property for vector bundles on \(\mathbb{P}^2\)
• Lefschetz properties in algebra, geometry and combinatorics. Abstracts from the workshop held September 27 -- October 3, 2020 (hybrid meeting)
• Syzygy bundles and the weak Lefschetz property of monomial almost complete intersections
• The weak Lefschetz property for Artinian Gorenstein algebras of codimension three
• A classification of the weak Lefschetz property for almost complete intersections generated by uniform powers of general linear forms
• On the minimal number of generators of the quotient of a complete intersection by a general linear form
• On the weak Lefschetz property of graded modules over \(K[x,y]\)
• Inverse systems, Gelfand-Tsetlin patterns and the weak Lefschetz property
• The Weak Lefschetz Property for monomial complete intersection in positive characteristic
• The weak Lefschetz property and powers of linear forms in \(\mathbb {K}[x,y,z]\)
• On the weak Lefschetz property for powers of linear forms
• The weak Lefschetz property for quotients by quadratic monomials
• On the weak Lefschetz property for height four equigenerated complete intersections
• The weak Lefschetz property of Artinian algebras associated to paths and cycles
• Lefschetz properties in algebra, geometry and combinatorics: notes for the preparatory school
• Lefschetz property and powers of linear forms in \(\mathbb{K}[x,y,z]\)
• Syzygy bundles on \(\mathbb P^2\) and the weak Lefschetz property

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: On the weak Lefschetz property for almost complete intersections generated by uniform powers of general linear forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2300481)