The module theory of divided power algebras

zbMATH Open1398.13013arXiv1606.03431MaRDI QIDQ1670779FDOQ1670779

Authors: Rohit Nagpal, Andrew Snowden 

Publication date: 6 September 2018

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

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.

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

Recommendations

• scientific article; zbMATH DE number 3981307
• 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

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)

Cites Work

• Title not available (Why is that?)
• Algebraic \(K\)-theory
• On completeness of the Bergman metric and its subordinate metric
• Notes on Crystalline Cohomology. (MN-21)
• Anneaux et modules cohérents
• Decomposition theorem for homology groups of symmetric groups
• Title not available (Why is that?)
• Strong Divisibility and LCM-Sequences
• Periodicity in the cohomology of symmetric groups via divided powers

Cited In (9)

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

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)