Computations with Frobenius Powers

DOI10.1080/10586458.2005.10128913MaRDI QIDQ5709302zbMATH OpenOpenAlexFDO

Authors Irena Swanson, Susan Hermiller

Publication date 29 November 2005

Published in Experimental Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0212238, https://eudml.org/doc/52865

zbMATH Keywords

binomial idealstight closureFrobenius powersGröbner bases

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35)

Abstract: It is an open question whether tight closure commutes with localization in quotients of a polynomial ring in finitely many variables over a field. Katzman showed that tight closure of ideals in these rings commutes with localization at one element if for all ideals I and J in a polynomial ring there is a linear upper bound in q on the degree in the least variable of reduced Groebner bases in reverse lexicographic ordering of the ideals of the form J + I^{[q]}. Katzman conjectured that this property would always be satisfied. In this paper we prove several cases of Katzman's conjecture. We also provide an experimental analysis (with proofs) of asymptotic properties of Groebner bases connected with Katzman's conjectures.

Recommendations

• Frobenius powers
• Computing the Frobenius number
• Computing special powers in finite fields
• Computing Frobenius maps and factoring polynomials
• scientific article; zbMATH DE number 1182964
• scientific article; zbMATH DE number 4058734
• Computation of Gröbner bases
• Power series in computer algebra
• Computing Power Series Expansions of Modular Forms
• Computing with D-algebraic power series

Cited in

(5)

• Castelnuovo–Mumford Regularity of Sums of Powers of Polynomial Ideals
• Generic bounds for Frobenius closure and tight closure
• Rewriting with Frobenius
• Computation of several power indices by generating functions
• Computing special powers in finite fields

This page was built for publication: Computations with Frobenius Powers

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