Related papers: Desingularization of quasi-excellent schemes in ch…

We prove that any noetherian quasi-excellent scheme of characteristic zero admits a strong desingularization which is functorial with respect to all regular morphisms. We show that as an easy formal consequence of this result one obtains…

Our main result establishes functorial desingularization of noetherian quasi-excellent schemes over $\bfQ$ with ordered boundaries. A functorial embedded desingularization of quasi-excellent schemes of characteristic zero is deduced.…

We prove Grothendieck's Conjecture on Resolution of Singulari-ties for quasi-excellent schemes X of dimension three and of arbitrary characteristic. This applies in particular to X = SpecA, A a reduced complete Noetherian local ring of…

We prove an embedded local uniformization theroem for a valuation centered on a point of a quasi-excellent scheme of characteristic zero. The proof reduces to valuations of rank 1 and consists in desingularizing the ideal formed by the…

The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. We settle it in the case when $G$ is quasi-split and $R$ is unramified. Some of…

Let k be an infinite perfect field of positive characteristic p and assume that strong resolution of singularities holds over k. We prove that, if X is a d-dimensional noetherian scheme whose underlying reduced scheme is essentially of…

The notions of $\mathbb Q$-Gorenstein scheme and of $\mathbb Q$-Gorenstein morphism are introduced for locally Noetherian schemes by dualizing complexes and (relative) canonical sheaves. These cover all the previously known notions of…

We study the following generalization of singularity categories. Let X be a quasi-projective Gorenstein scheme with isolated singularities and A a non-commutative resolution of singularities of X in the sense of Van den Bergh. We introduce…

Let k be an infinite field. Let R be the semi-local ring of a finite family of closed points on a k-smooth affine irreducible variety, let K be the fraction field of R, and let G be a reductive simple simply connected R-group scheme…

Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…

We prove a desingularization theorem for the quasi-smooth derived scheme, in the sense of Hekking. We also propose the conjecture that the K-theoretic integration of the virtual fundamental class of a quasi-smooth derived scheme could be…

Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…

Let $(\mathcal C,\otimes,1)$ be an abelian symmetric monoidal category satisfying certain conditions and let $X$ be a scheme over $(\mathcal C,\otimes,1)$ in the sense of To\"en and Vaqui\'{e}. In this paper we show that when $X$ is…

We prove the relative Grauert-Riemenschneider vanishing, Kawamata-Viehweg vanishing, and Koll\'ar injectivity theorems for proper morphisms of schemes of equal characteristic zero, solving conjectures of Boutot and Kawakita. Our proof uses…

This work studies conditions under which integral transforms induce exact functors on singularity categories between schemes that are proper over a Noetherian base scheme. A complete characterization for this behavior is provided, which…

We compare some algebras appeared in the recent attempts to prove resolution of singularities in positive characteristic. We also construct an algebra which encodes the same information and it is equivalent, up to integral closure, to the…

We prove a case of the Grothendieck-Serre conjecture: let $R$ be a Noetherian semilocal flat algebra over a Dedekind domain such that all fibers of $R$ are geometrically regular; let $G$ be a simply-connected reductive $R$-group scheme…

These lecture notes provide a unified overview of most known canonical desingularization methods in characteristic zero. It starts with discussing the classical method, and then proceeds with the recently discovered ones: logarithmic…

We introduce a notion of proper morphism for schematic finite spaces and prove the analogue of Grothendieck's finiteness theorem for it by means of the classic result for schemes and general descent arguments. This result also generalizes…

Given a recollement of three proper dg algebras over a noetherian commutative ring, e.g. three algebras which are finitely generated over the base ring, which extends one step downwards, it is shown that there is a short exact sequence of…