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_λ.
Castelnuovo-Mumford regularity up to symmetry
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
We study the asymptotic behavior of the Castelnuovo-Mumford regularity along chains of graded ideals in increasingly larger polynomial rings that are invariant under the action of symmetric groups. A linear upper bound for the regularity of such ideals is established. We conjecture that their regularity grows eventually precisely linearly. We establish this conjecture in several cases, most notably when the ideals are Artinian or squarefree monomial.
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_λ.