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

We prove a canonical bundle formula for generically finite morphisms in the setting of generalized pairs (with $\mathbb{R}$-coefficients). This complements Filipazzi's canonical bundle formula for morphisms with connected fibres. It is then…

We explicitly describe the Cartier dual of the $l$-th Frobenius kernel $N_l$ of the deformation group scheme, which deforms the additive group scheme to the multiplicative group scheme. Then the Cartier dual of $N_l$ is given by a certain…

We define canonical and $n$-canonical modules on a module-finite algebra over a Noether commutative ring and study their basic properties. Using $n$-canonical modules, we generalize a theorem on $(n,C)$-syzygy by Araya and Iima which…

Using a recent Furstenberg structure theorem, we obtain a quantitative multiple recurrence theorem relative to any locally compact second countable Noetherian module over a syndetic ring.

A canonization scheme for smooth equivalence relations on $\mathbb R^\omega$ modulo restriction to infinite perfect products is proposed. It shows that given a pair of Borel smooth equivalence relations $\mathsf E,\mathsf F$ on $\mathbb…

We investigate how one can detect the dualizing property for a chain complex over a commutative local noetherian ring R. Our focus is on homological properties of contracting endomorphisms of R, e.g., the Frobenius endomorphism when R…

Let f: X -> Z be a separated essentially-finite-type flat map of noetherian schemes, and \delta: X --> X \times_Z X the diagonal map. The fundamental class C_f (globalizing residues) is a map from the relative Hochschild functor…

We characterize the seminormality of an affine semigroup ring in terms of the dualizing complex, and the normality of a Cohen-Macaulay semigroup ring by the "shape" of the canonical module. We also characterize the seminormality of a toric…

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $\mathcal{D}(R)$ denote the derived category of $R$-modules. We investigate the theory of local homology in conjunction with Gorenstein flat modules. Let $X$ be a…

We provide an exposition of the canonical self-duality associated to a presentation of a finite, flat, complete intersection over a Noetherian ring, following work of Scheja and Storch.

We study rings which have Noetherian cohomology under the action of a ring of cohomology operators. The main result is a criterion for a complex of modules over such a ring to have finite injective dimension. This criterion generalizes, by…

In this paper, we investigate the relationship of F-regular (resp. F-pure) rings and log terminal (resp. log canonical) singularities. Also, we extend the notions of F-regularity and F-purity to "F-singularities of pairs." The notions of…

The goal of this paper is to establish fundamental properties of the Hochschild, topological Hochschild, and topological cyclic homologies of commutative, Noetherian rings, which are assumed only to be F-finite in the majority of our…

For a given class of modules $\A$, we denote by $\widetilde{\A}$ the class of exact complexes $X$ having all cycles in $\A$, and by $dw(\A)$ the class of complexes $Y$ with all components $Y_j$ in $\A$. We consider a two sided noetherian…

Given a morphism $f \colon X \to Y$ of schemes over a field, we prove several finiteness results about the fibers of the induced map on arc spaces $f_\infty \colon X_\infty \to Y_\infty$. Assuming that $f$ is quasi-finite and $X$ is…

Let $(R, \mathfrak{m})$ be a Noetherian local ring. In this paper, we introduce a dual notion for dualizing modules, namely codualizing modules. We study the basic properties of codualizing modules and use them to establish an equivalence…

We prove that for Noetherian, smooth, separated, integral, finite type schemes $X$ and $Y$ over an excellent Dedekind domain $R$, that are properly birational over $R$, we have $R^if_{*}\mathcal{O}_X \cong R^ig_{*} \mathcal{O}_Y$ and $R^i…

We extend Furstenberg's structure theorem to any standard Borel $G$-space, where $G$ is any locally compact second countable Noetherian module over a syndetic ring.

If $X$ is a smooth scheme over a perfect field of characteristic $p$, and if $\sD_X$ is the sheaf of differential operators on $X$ [EGAIV], it is well known that giving an action of $\sD_X$ on an $\sO_X$-module $\sE$ is equivalent to giving…

A quasi-coherent ringed scheme is a pair (X,A), where X is a scheme, and A is a noncommutative quasi-coherent O_X-ring. We introduce dualizing complexes over quasi-coherent ringed schemes and study their properties. For a separated…