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 (Q479787): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
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. | |||
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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Alessandro De Stefani / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13A35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6377602 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Frobenius homomorphism | |||
Property / zbMATH Keywords: Frobenius homomorphism / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
F-threshold | |||
Property / zbMATH Keywords: F-threshold / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hilbert function | |||
Property / zbMATH Keywords: Hilbert function / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
weak Lefschetz property | |||
Property / zbMATH Keywords: weak Lefschetz property / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W217967411 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1510.00676 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Discreteness and rationality of \(F\)-thresholds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: $F$-thresholds of hypersurfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on the weak Lefschetz property of monomial complete intersections in positive characteristic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diagonal F-thresholds and F-pure Thresholds of Hibi Rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Lefschetz properties of monomial complete intersections in positive characteristic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The weak Lefschetz property, monomial ideals, and lozenges / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some surprising Hilbert-Kunz functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: $F$-pure thresholds of binomial hypersurfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formulas of F-thresholds and F-jumping coefficients on toric rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: F-thresholds, tight closure, integral closure, and multiplicity bounds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Weak Lefschetz Property for monomial complete intersection in positive characteristic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monomial complete intersections, the weak Lefschetz property and plane partitions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diagonal<i>F</i>-Thresholds on Binomial Hypersurfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A tour of the weak and strong Lefschetz properties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5694889 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Complete Intersections and Their Hilbert Functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weyl Groups, the Hard Lefschetz Theorem, and the Sperner Property / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3792779 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 09:42, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | 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 |
scientific article |
Statements
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 (English)
0 references
5 December 2014
0 references
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.
0 references
Frobenius homomorphism
0 references
F-threshold
0 references
Hilbert function
0 references
weak Lefschetz property
0 references
0 references
0 references