On the degrees of relations on x₁^d₁, , x_n^d_n,(x₁ + + x_n)^d_n + 1 in positive characteristic

DOI10.1016/J.JALGEBRA.2014.11.004MaRDI QIDQ479787zbMATH OpenOpenAlexFDO

Authors Adela Vraciu

Publication date 5 December 2014

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

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

zbMATH Keywords

F-thresholdFrobenius homomorphismHilbert functionweak Lefschetz property

Mathematics Subject Classification ID

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35)

Abstract: We give a formula for the smallest degree of a non-Koszul relation on $x_1^{d_1},ldots,x_n^{d_n},(x_1+ldots+x_n{)}^{d_{n+1}}ink[x_1,ldots,x_n]$ (under certain assumptions on $d_1,ldots,d_{n+1}$) where $k$ is a field of positive characteristic $p$. As an application of our result, we give a formula for the diagonal F-threshold of a diagonal hypersurface. Another application is a characterization, depending on the characteristic $p$ of $k$, of the values of $d_1,ldots,d_{n+1}$ (satisfying certain assumptions) such that the ring $k[x_1,ldots,x_{n+1}]/(x_1^{d_1},ldots,x_{n+1}^{d_{n+1}})$ has the weak Lefschetz property.

Review text

The main goal of this article is to determine the minimal degree \(\mathcal{E}_p(d_1,\dots,d_{n+1})\) of a non-Koszul relation on \(x_1^{d_1},\dots,x_n^{d_n},(x_1+\cdots+x_n)^{d_{n+1}}\) in \(k[x_1,\dots,x_n]\), where \(k\) is a field of characteristic \(p \geq 0\). The answer is known in characteristic zero [\textit{L. Reid} et al., Can. Math. Bull. 34, No. 4, 525--535 (1991; Zbl 0757.13005)]; namely, when none of the elements \(x_1^{d_1},\dots,x_n^{d_n},(x_1+\cdots+x_n)^{d_{n+1}}\) is in the ideal generated by the others, the minimal degree of a non-Koszul relation is \(\mathcal{E}_0(d_1,\dots,d_{n+1}) = \left\lceil \frac{\sum_{i=1}^{n+1} d_i - n + 1}{2}\right\rceil\). Although, smaller degrees are possible in positive characteristic. In the main theorem, the author exhibits an explicit formula for \(\mathcal{E}_p(d_1,\dots,d_{n+1})\), provided some conditions on the integers \(d_1,\dots,d_{n+1}\) are satisfied. For instance, the largest power of \(p\) that is less than or equal to each \(d_i\) must be the same. As an application, the author gives an explicit formula for the diagonal \(F\)-threshold \(c^{\mathfrak{m}}(\mathfrak{m})\) of a diagonal hypersurface \(k[x_1,\dots,x_{n+1}]/(x_1^a+\cdots + x_{n+1}^a)\), with \(k\) a field of characteristic \(p>0\) and \(a\) an integer not divisible by \(p\). Another application is in the direction of determining whether the Artinian graded ring \(A=k[x_1,\dots,x_{n+1}]/(x_1^{d_1},\dots,x_{n+1}^{d_{n+1}})\) has the Weak Lefschetz Property (WLP). It is known that all monomial complete intersections have the WLP in characteristic zero [\textit{R. P. Stanley}, SIAM J. Algebraic Discrete Methods 1, 168--184 (1980; Zbl 0502.05004)] and [\textit{J. Watanabe}, Adv. Stud. Pure Math. 11, 303--312 (1987; Zbl 0648.13010)], but this is no longer true, in general, in positive characteristic \(p>0\). Among other things, the author gives a complete characterization for \(n=3\) of those values of \(d_1,\dots,d_{n+1}\) that satisfy the main theorem and for which \(A\) has the WLP.

Recommendations

• F-invariants of diagonal hypersurfaces
• Multigraded rings, diagonal subalgebras, and rational singularities
• Diagonal F-thresholds on binomial hypersurfaces
• Sur l'annulation de l'homologie du complexe de Koszul gradué
• Test ideals in diagonal hypersurface rings. II.
• Multiplicity bounds in graded rings
• The syzygies of the ideal (x₁^N, x₂^N, x₃^N, x₄^N) in the hypersurface ring defined by x₁^n + x₂^n + x₃^n + x₄^n
• F-THRESHOLDS OF GRADED RINGS
• Diagonal \(F\)-thresholds and \(F\)-pure thresholds of Hibi rings
• Socle degrees, resolutions, and Frobenius powers

Cites work

• F-thresholds of hypersurfaces
• \(F\)-pure thresholds of binomial hypersurfaces
• A note on the weak Lefschetz property of monomial complete intersections in positive characteristic
• A tour of the weak and strong Lefschetz properties
• Diagonal \(F\)-thresholds and \(F\)-pure thresholds of Hibi rings
• Diagonal F-thresholds on binomial hypersurfaces
• Discreteness and rationality of \(F\)-thresholds
• F-thresholds, tight closure, integral closure, and multiplicity bounds
• Formulas of F-thresholds and F-jumping coefficients on toric rings
• scientific article; zbMATH DE number 4057653 (Why is no real title available?)
• scientific article; zbMATH DE number 2212146 (Why is no real title available?)
• Monomial complete intersections, the weak Lefschetz property and plane partitions
• On Complete Intersections and Their Hilbert Functions
• Some surprising Hilbert-Kunz functions
• The Lefschetz properties of monomial complete intersections in positive characteristic
• The Weak Lefschetz Property for monomial complete intersection in positive characteristic
• The weak Lefschetz property, monomial ideals, and lozenges
• Weyl Groups, the Hard Lefschetz Theorem, and the Sperner Property

Cited in

(6)

• On the structure of monomial complete intersections in positive characteristic
• Hilbert-Kunz density functions and F-thresholds
• Algebraic stories from one and from the other pockets
• scientific article; zbMATH DE number 3939479 (Why is no real title available?)
• On the existence of \(F\)-thresholds and related limits
• An inequality on diagonal \(F\)-thresholds over standard-graded complete intersection rings

This page was built for publication: On the degrees of relations on \(x_1^{d_1}, \dots, x_n^{d_n},(x_1 + \dots + x_n)^{d_{n + 1}}\) in positive characteristic

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