Related papers: Cartier Crystals

We show that the category of quasi-coherent Cartier crystals is equivalent to the category of unit Cartier modules on an F-finite noetherian ring R, and that these equivalent categories have finite global dimension, by showing that every…

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 \to O_X satisfying rC(m)=C(r^{p^e}m) for all m in M, r…

We construct the Cartier duality equivalence for affine commutative group schemes $G$ whose coordinate ring is a flat Mittag-Leffler module over an arbitrary base ring $R$. The dual $G^\vee$ of $G$ turns out to be an ind-finite ind-scheme…

In this article we introduce a slight modification of the definition of test modules which is an additive functor $\tau$ on the category of coherent Cartier modules. We show that in many situations this modification agrees with the usual…

For an endofunctor $F\colon\mathcal{C}\to\mathcal{C}$ on an ($\infty$-)category $\mathcal{C}$ we define the $\infty$-category $\operatorname{Cart}(\mathcal{C},F)$ of generalized Cartier modules as the lax equalizer of $F$ and the identity.…

We construct a canonical pseudofunctor ^# on the category of finite-type maps of (say) connected noetherian universally catenary finite-dimensional separated schemes, taking values in the category of Cousin complexes. This pseudofunctor is…

We generalize the adjunction between the functors $Rf_*$ and $f^!$ of derived categories of quasi-coherent sheaves for proper morphisms $f\colon X \to Y$ of Noetherian schemes to the following situation: Let $f$ be a finite type morphism…

Fix a noetherian scheme S. For any flat map f: X->Y of separated essentially-finite-type perfect S-schemes we define a canonical derived-category map c(f):\H(X)->f^!\H(Y), the fundamental class of f, where \H(Z) is the (pre-)Hochschild…

Let \fa be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. We explore the behavior of the two notions f_{\fa}(M), the finiteness dimension of M with respect to \fa, and, its dual notion q_{\fa}(M), the…

Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^\times when f is proper, but equal to the usual inverse…

We introduce a general categorical framework for finiteness conditions that unifies classical notions such as Noetherianness, Artinianness, and various forms of topological compactness. This is achieved through the concept of…

For an $F$-finite scheme $X$ separated over a perfect field $k$ of characteristic $p>0$ which admits an embedding into a smooth $k$-scheme, we establish an equivalence between the bounded derived categories of Cartier crystals on $X$ and…

We set up a formalism of Maurer-Cartan moduli sets for L-infinity algebras and associated twistings based on the closed model category structure on formal differential graded algebras (a.k.a. differential graded coalgebras). Among other…

Let $R$ be a ring essentially of finite type over an $F$-finite field. Given an ideal $\mathfrak{a}$ and a principal Cartier module $M$ we introduce the notion of a $V$-filtration of $M$ along $\mathfrak{a}$. If $M$ is $F$-regular then this…

We relate the variance theory for Cousin complexes -^# developed by Lipman, Nayak and the author to Grothendieck duality for Cousin complexes. Specifically for a Cousin complex F on (Y, \Delta)--with \Delta a codimension function on a…

In the derived category of the category of modules over a commutative Noetherian ring $R$, we define, for an ideal $\fa$ of $R$, two different types of cohomological dimensions of a complex $X$ in a certain subcategory of the derived…

Let $\fa$ be an ideal of a Noetherian local ring $R$ and let $C$ be a semidualizing $R$-module. For an $R$-module $X$, we denote any of the quantities $\fd_R X$, $\Gfd_R X$ and $\GCfd_RX$ by $\T(X)$. Let $M$ be an $R$-module such that…

For a variety $X$ separated over a perfect field of characteristic $p>0$ which admits an embedding into a smooth variety, we establish an anti-equivalence between the bounded derived categories of Cartier crystals on $X$ and constructible…

In this paper, we prove the Cartier duality for $(\phi, \hat{G})$-modules which are defined by Tong Liu to classify semistable Galois representations.

We prove that the $\infty$-category of $p$-typical topological Cartier modules, recently introduced by Antieau--Nikolaus, over some base $A$ is equivalent to the $\infty$-category of modules over a ring spectrum $\mathcal R_A$, which we…