The divided power algebra Div(k^∞) over a field of characteristic p is GL-coherent, and its bounded derived category of finitely presented modules has a semi-orthogonal decomposition into pieces generated by D^(r) ⊗ L_λ.
Codimension and Projective Dimension up to Symmetry
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
Symmetric ideals in increasingly larger polynomial rings that form an ascending chain are investigated. We focus on the asymptotic behavior of codimensions and projective dimensions of ideals in such a chain. If the ideals are graded it is known that the codimensions grow eventually linearly. Here this result is extended to chains of arbitrary symmetric ideals. Moreover, the slope of the linear function is explicitly determined. We conjecture that the projective dimensions also grow eventually linearly. As part of the evidence we establish two non-trivial lower linear bounds of the projective dimensions for chains of monomial ideals. As an application, this yields Cohen-Macaulayness obstructions.
fields
math.AC 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
GL-algebras in positive characteristic III: the divided power algebra
The divided power algebra Div(k^∞) over a field of characteristic p is GL-coherent, and its bounded derived category of finitely presented modules has a semi-orthogonal decomposition into pieces generated by D^(r) ⊗ L_λ.