Related papers: Grothendieck Duality and Transitivity I: Formal Sc…

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…

The article primarily surveys work that followed from the formulas discovered by Avramov and Iyengar in 2008, which permit one to compute certain Hochschild homology and cohomology modules as expressions involving dualizing complexes. One…

Our aim in this paper is to study the global invertibility of a locally Lipschitz map $f:X \to Y$ between (possibly infinite-dimensional) Finsler manifolds, stressing the connections with covering properties and metric regularity of $f$. To…

We show that if f: X --> Y is a finite, separable morphism of smooth curves defined over a finite field F_q, where q is larger than an explicit constant depending only on the degree of f and the genus of X, then f maps X(F_q) surjectively…

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…

We introduce the notion of a good map between topological spaces: a continuous map $f:X \to Y$ is *good* if for every non-empty irreducible locally closed subset $U \subseteq X$, there exists a non-empty open subset $W \subseteq Y$ such…

We introduce a framework for pulling back Cartier modules and their associated invariants along regular $F$-finite morphisms. To achieve this, we construct a relative Cartier isomorphism and operator for an arbitrary regular $F$-finite map…

On a suitable category of formal schemes equipped with codimension functions we construct a canonical pseudofunctor (-)^# taking values in the corresponding categories of Cousin complexes. Cousin complexes on such a formal scheme X…

We develop the theory of (op)fibrations of 2-multicategories and use it to define abstract six-functor-formalisms. We also give axioms for Wirthm\"uller and Grothendieck formalisms (where either $f^!=f^*$ or $f_!=f_*$) or intermediate…

Over a Noetherian, local ring R of prime characteristic p, the Frobenius functor F induces a diagonalizable map on certain quotients of rational Grothendieck groups. This leads to an explicit formula for the Dutta multiplicity, and it is…

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 study the preservation of semisimplicity for holonomic D-modules with respect to the direct and inverse image of mainly finite maps $\pi : X \to Y$ of smooth varieties. A natural filtration of the direct image $\pi_+({\mathcal O}_X)$ is…

Let $f$ be a piecewise continuous and monotonic map on the interval with at most finitely many discontinuities and turning points. In this paper we study properties about this class of maps and show its main difference from the continuous…

In a recent paper [3], the authors introduced a map $\mathcal{F}$ which associates a Deitmar scheme (which is defined over the field with one element, denoted by $\mathbb{F}_1$) with any given graph $\Gamma$. By base extension, a scheme…

Building on our previous work "Cartier modules: finiteness results" we start in this manuscript an in depth study of the derived category of Cartier modules and the cohomological operations which are defined on them. After localizing at the…

We study transcendental singularities of a Schr\"oder map arising from a rational function $f$, using results from complex dynamics and Nevanlinna theory. These maps are transcendental meromorphic functions of finite order in the complex…

For a normal F-finite variety $X$ and a boundary divisor $\Delta$ we give a uniform description of an ideal which in characteristic zero yields the multiplier ideal, and in positive characteristic the test ideal of the pair $(X,\Delta)$.…

Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…

In this article, we study the relative negative K-groups $K_{-n}(f)$ of a map $f: X \to S $ of schemes. We prove a relative version of the Weibel conjecture i.e. if $f: X \to S$ is a smooth affine map of noetherian schemes with $\dim S=d$…

Let $S$ be a base scheme, assumed separated and Noetherian. We define \emph{adequate classes} of morphisms of $S$-schemes by formalizing certain properties of homotopy equivalences of complex algebraic varieties. Other examples of adequate…