The module theory of divided power algebras

MaRDI QIDQ1670779zbMATH OpenFDO

Authors Rohit Nagpal, Andrew Snowden

Publication date 6 September 2018

Published in Illinois Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1606.03431, https://projecteuclid.org/euclid.ijm/1534924829

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) (p)-adic cohomology, crystalline cohomology (14F30) Other special types of modules and ideals in commutative rings (13C13)

Abstract: We study modules for the divided power algebra $D$ in a single variable over a commutative noetherian ring $k$. Our first result states that $D$ is a coherent ring. In fact, we show that there is a theory of Gr"obner bases for finitely generated ideals, and so computations with finitely presented $D$-modules are in principle algorithmic. We go on to determine much about the structure of finitely presented $D$-modules, such as: existence of certain nice resolutions, computation of the Grothendieck group, results about injective dimension, and how they interact with torsion modules. Our results apply not just to the classical divided power algebra, but to its $q$-variant as well, and even to a much broader class of algebras we introduce called "generalized divided power algebras." On the other hand, we show that the divided power algebra in two variables over $mathbf{Z}_p$ is not coherent.

Recommendations

• Publication:3745936
• Abelianizing the divided powers algebra of an algebra
• Puissances divisées en caractéristique non nulle. (Divided powers in non zero characteristic)
• Gröbner-coherent rings and modules
• Gröbner bases for \(D\)-modules on a non-singular affine algebraic variety

Cites work

• scientific article; zbMATH DE number 3710386 (Why is no real title available?)
• scientific article; zbMATH DE number 2024859 (Why is no real title available?)
• Algebraic \(K\)-theory
• Anneaux et modules cohérents
• Decomposition theorem for homology groups of symmetric groups
• Notes on Crystalline Cohomology. (MN-21)
• On completeness of the Bergman metric and its subordinate metric
• Periodicity in the cohomology of symmetric groups via divided powers
• Strong Divisibility and LCM-Sequences

Cited in

(10)

• Abelianizing the divided powers algebra of an algebra
• Determination of the irreducible divided power Hopf algebras
• Periodicity in the cohomology of finite general linear groups via \(q\)-divided powers
• Gröbner-coherent rings and modules
• Exterior powers of \(\pi\)-divisible modules over fields
• ZINBIEL ALGEBRAS AND COMMUTATIVE ALGEBRAS WITH DIVIDED POWERS
• Divided power structures on Hopf algebras and embedding Lie algebras into special-derivation algebras
• On Kähler differentials of divided power algebras
• Loewy filtration and quantum de Rham cohomology over quantum divided power algebra
• Graded amalgamated algebras along an ideal

Describes a project that uses

Uses Software

• OEIS
• MathOverflow

This page was built for publication: The module theory of divided power algebras

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