Cartier modules: Finiteness results

DOI10.1515/CRELLE.2011.087zbMATH Open1239.13007arXiv0909.2531OpenAlexW2963783577MaRDI QIDQ3105802FDOQ3105802

Authors: Manuel Blickle, Gebhard Böckle 

Publication date: 9 January 2012

Published in: Journal für die reine und angewandte Mathematik (Crelles Journal) (Search for Journal in Brave)

Abstract: On a locally Noetherian scheme X over a field of positive characteristic p we study the category of coherent O_X-modules M equipped with a p^{-e}-linear map, i.e. an additive map C: O_X o O_X satisfying rC(m)=C(r^{p^e}m) for all m in M, r in O_X. The notion of nilpotence, meaning that some power of the map C is zero, is used to rigidify this category. The resulting quotient category, called Cartier crystals, satisfies some strong finiteness conditions. The main reasult in this paper states that, if the Frobenius morphism on X is a finite map, i.e. if X is F-finite, then all Cartier crystals have finite length. We further show how this and related results can be used to recover and generalize other finiteness results of Hartshorne-Speiser, Lyubeznik, Sharp, Enescu-Hochster, and Hochster about the structure of modules with a left action of the Frobenius. For example, we show that over any regular F-finite scheme X Lyubeznkik's F-finite modules have finite length.

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

Recommendations

• A Cartan type theorem for finite-dimensional algebras
• Cartier modules and cyclotomic spectra
• On finiteness of multiplication modules
• Finitely cotilting modules
• scientific article
• Cartier modules on toric varieties
• Finite and infinite collections of multiplication modules
• Cartan-Dieudonné theorem for \({\mathcal {A}}\)-modules
• THE FINITISTIC DIMENSION CONJECTURE AND RELATIVELY PROJECTIVE MODULES
• Some results on cofinite modules

zbMATH Keywords

Frobenius actionCartier module

Mathematics Subject Classification ID

Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Positive characteristic ground fields in algebraic geometry (14G17)

Cites Work

• Relèvements modulo \(p^ 2\) et décomposition du complexe de de Rham. (Lifting modulo \(p^ 2\) and decomposition of the de Rham complex)
• Characterizations of Regular Local Rings of Characteristic p
• On Noetherian Rings of Characteristic p
• Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin
• Bass Numbers of Local Cohomology Modules
• \(F\)-adjunction
• Local cohomological dimension in characteristic p
• F-rational rings have rational singularities
• A characterization of rational singularities in terms of injectivity of Frobenius maps
• Local cohomology multiplicities in terms of étale cohomology
• Lie Groups and Lie Hyperalgebras Over a Field of Characteristic p > 0 (II)
• The Frobenius structure of local cohomology
• Graded annihilators of modules over the Frobenius skew polynomial ring, and tight closure
• An elementary approach to \(L\)-functions \(\text{mod }p\)
• The intersection homology \(D\)-module in finite characteristic
• Minimal \(\gamma \)-sheaves

Cited In (43)

• Openness of splinter loci in prime characteristic
• The category of \(F\)-modules has finite global dimension
• \(F\)-nilpotent rings and permanence properties
• Some properties and applications of \(F\)-finite \(F\)-modules
• \(F\)-jumping and \(F\)-Jacobian ideals for hypersurfaces
• Local cohomology and Lyubeznik numbers of \(F\)-pure rings
• Bernstein-Sato Polynomials in Commutative Algebra
• Discreteness and rationality of \(F\)-jumping numbers on singular varieties
• Compatible ideals in ℚ-Gorenstein rings
• Intermediate extensions of perverse constructible \(\mathbb{F}_p\)-sheaves commute with smooth pullbacks
• Tate algebras and Frobenius non-splitting of excellent regular rings
• Annihilators of Cartier quotients
• The associated graded module of the test module filtration
• \(F\)-signature and Hilbert-Kunz multiplicity: a combined approach and comparison
• A Carlitz module analogue of the Grunwald-Wang Theorem
• \(V\)-filtrations in positive characteristic and test modules
• Bernstein-Sato polynomials and test modules in positive characteristic
• Bernstein-Sato theory for singular rings in positive characteristic
• Bernstein–Sato functional equations, V-filtrations, and multiplier ideals of direct summands
• Functorial test modules
• Differentially fixed ideals in affine semigroup rings
• Test ideals via algebras of 𝑝^{-𝑒}-linear maps
• FROBENIUS ACTIONS ON LOCAL COHOMOLOGY MODULES AND DEFORMATION
• Rees algebras and generalized depth‐like conditions in prime characteristic
• ON THE INDEX OF ALGEBRAS OF CARTAN TYPE IN FINITE CHARACTERISTIC
• Frobenius and Cartier algebras of Stanley-Reisner rings
• An algorithm for producing F-pure ideals
• Uniform approximation of Abhyankar valuation ideals in function fields of prime characteristic
• On subadditivity of Kodaira dimension in positive characteristic over a general type base
• A sufficient condition for strong $F$-regularity
• Cartan-Dieudonné theorem for \({\mathcal {A}}\)-modules
• An explicit example of Frobenius periodicity
• An explicit version of the correspondence between Noetherian modules with Cartier maps and Artinian modules with Frobenius maps
• Frobenius line invariance of algebraic 𝐾-theory
• Frobenius and Cartier algebras of Stanley-Reisner rings. II
• \(D\)-modules, Bernstein-Sato polynomials and \(F\)-invariants of direct summands
• Positive characteristic algebraic geometry
• Cartier modules on toric varieties
• Discreteness of 𝐹-jumping numbers at isolated non-ℚ-Gorenstein points
• Test module filtrations for unit \(F\)-modules
• Local Cohomology—An Invitation
• A Koszul complex over skew polynomial rings
• A dual to tight closure theory

This page was built for publication: Cartier modules: Finiteness results

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