Related papers: $F$-finite schemes have a dualizing complex

Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…

Let $(R,\fm)$ be a Cohen-Macaulay local ring. If $R$ has a canonical module, then there are some interesting results about duality for this situation. In this paper, we show that one can indeed obtain similar these results in the case $R$…

Given an integer $N \geq 3$, we prove that for any ring $R$ and any finite locally free $R$-group scheme $G$ which is fppf-locally (over $R$) isomorphic the $N$-torsion subscheme of some elliptic curve $E/R$, there is a smooth affine curve…

A commutative noetherian ring with a dualizing complex is Gorenstein if and only if every acyclic complex of injective modules is totally acyclic. We extend this characterization, which is due to Iyengar and Krause, to arbitrary commutative…

In this paper we study $F$-divided bundles on irreducible Noetherian normal $F$-finite $\mathbb{F}_p$-schemes and we show that their Tannakian category is governed by the behaviour at the generic point. In particular, if $U\subset X$ is an…

We prove that a Noetherian ring $R$ is a splinter if and only if for every equidimensional surjective morphism $\operatorname{Spec}(S) \to \operatorname{Spec}(R)$, the map $R \to S$ is pure. This yields a large, nontrivial class of ring…

Hochster and Huneke showed that the property of F-regularity deforms for Gorenstein rings, i.e., if (R,m) is a Gorenstein local ring such that R/tR is F-regular for some nonzerodivisor t in m, then R is F-regular. This result was later…

We show that the existence of locally finite stability conditions on the bounded derived category $\mathbf{D}^{b}(X)$ of coherent sheaves on an affine Noetherian scheme $X$ is equivalent to $\dim X=0$. We also study the spaces of stability…

In this paper we study the properties of the finite topology on the dual of a module over an arbitrary ring. We aim to give conditions when certain properties of the field case are can be still found here. Investigating the correspondence…

Let $K$ be a Gorenstein noetherian ring of finite Krull dimension, and consider the category of cohomologically noetherian commutative differential graded rings $A$ over $K$, such that $H^0(A)$ is essentially of finite type over $K$, and…

A general principle suggests that "anything flat is a directed colimit of countably presentable flats". In this paper, we consider resolutions and coresolutions of modules over a countably coherent ring $R$ (e.g., any coherent ring or any…

Let $p$ be a prime number. We define the notion of $F$-finiteness of homomorphisms of $\mathbb F_p$-algebras, and discuss some basic properties. In particular, we prove a sort of descent theorem on $F$-finiteness of homomorphisms of…

We develop a formalism of unit $F$-modules in the style of Lyubeznik and Emerton-Kisin for rings which have finite $F$-representation type after localization and completion at every prime ideal. As applications, we show that if $R$ is such…

This a first step to develop a theory of smooth, etale and unramified morphisms between noetherian formal schemes. Our main tool is the complete module of differentials, that is a coherent sheaf whenever the map of formal schemes is of…

Using an old example of Nagata, we construct a Noetherian ring of prime characteristic p, whose Frobenius morphism is locally finite, but not finite.

We construct the semi-infinite tensor structure on the semiderived category of quasi-coherent torsion sheaves on an ind-scheme endowed with a flat affine morphism into an ind-Noetherian ind-scheme with a dualizing complex. The semitensor…

It is proved that a module $M$ over a Noetherian ring $R$ of positive characteristic $p$ has finite flat dimension if there exists an integer $t\ge 0$ such that $\operatorname{Tor}_i^R(M, {}^{f^{e}}\!R)=0$ for $t\le i\le t+\dim R$ and…

The behavior of the Frobenius map is investigated for valuation rings of prime characteristic. We show that valuation rings are always F-pure. We introduce a generalization of the notion of strong F-regularity, which we call F-pure…

In two recent papers, the author has developed a theory of graded annihilators of left modules over the Frobenius skew polynomial ring over a commutative Noetherian ring $R$ of prime characteristic $p$, and has shown that this theory is…

In this article, given a scheme $X$ we show the existence of canonical lifts of Frobenius maps in an inverse system of schemes obtained from the fiber product of the canonical prolongation sequence of arithmetic jet spaces $J^*X$ and a…