Related papers: On pro-cdh descent on derived schemes

We study pro excision in algebraic K-theory, following Suslin--Wodzicki, Cuntz--Quillen, Corti\~nas, and Geisser--Hesselholt, as well as Artin--Rees and continuity properties of Andr\'e--Quillen, Hochschild, and cyclic homology. Our key…

For a Cohen-Macaulay ring $R$, we exhibit the equivalence of the bounded derived categories of certain resolving subcategories, which, amongst other results, yields an equivalence of the bounded derived category of finite length and finite…

Over an algebraically closed field $\mathbb{K}$ with any characteristic, on an $N$-dimensional smooth projective $\mathbb{K}$-variety $\mathbf{P}$ equipped with $c\geqslant N/2$ very ample line bundles $\mathcal{L}_1,\dots,\mathcal{L}_c$,…

We show that the zeroth cohomology of M. Kontsevich's graph complex is isomorphic to the Grothendieck-Teichmueller Lie algebra grt_1. The map is explicitly described. This result has applications to deformation quantization and Duflo…

Let $K$ be a complete non-Archimedean field $K$ with separated power series, treated in the analytic Denef--Pas language. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$, whereby…

We examine the localizing subcategories of the derived category of quasi-coherent sheaves on the projective line over a field. We provide a complete classification of all such subcategories which arise as the kernel of a cohomological…

We establish a structure theorem on the arc space of a $k$-scheme of finite type. More precisely, we show that the arc space is locally for the pro-smooth toplogy a product of an infinite dimensional affine space and of a non-noetherian…

We prove the Noether-Lefschetz conjecture on the moduli space of quasi-polarized K3 surfaces. This is deduced as a particular case of a general theorem that states that low degree cohomology classes of arithmetic manifolds of orthogonal…

Important connections in representation theory arise from resolving a finite-dimensional algebra by an endomorphism algebra of a generator-cogenerator with finite global dimension; for instance, Auslander's correspondence, classical…

We give a new definition of the derived category of constructible $\ell$-adic sheaves on a scheme, which is as simple as the geometric intuition behind them. Moreover, we define a refined fundamental group of schemes, which is large enough…

Let $G$ be a nontrivial finite subgroup of $\SL_n(\C)$. Suppose that the quotient singularity $\C^n/G$ has a crepant resolution $\pi\colon X\to \C^n/G$ (i.e. $K_X = \shfO_X$). There is a slightly imprecise conjecture, called the McKay…

We show, for a finitely generated partially cancellative torsion-free commutative monoid $M$, that $K_i(R) \cong K_i(R[M])$ whenever $i \le -d$ and $R$ is a quasi-excellent $\Q$-algebra of Krull dimension $d \ge 1$. In particular,…

Over a commutative noetherian ring $R$ of finite Krull dimension, we show that every complex of flat cotorsion $R$-modules decomposes as a direct sum of a minimal complex and a contractible complex. Moreover, we define the notion of a…

We improve the exodromy equivalence of MacPherson, Treumann and Lurie in several ways: first, we allow stratified spaces that have locally weakly contractible strata, rather than being locally of singular shape, we remove all noetherianity…

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…

In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes…

Noether's theorem, which connects continuous symmetries to exact conservation laws, remains one of the most fundamental principles in physics and dynamical systems. In this work, we draw a conceptual parallel between two paradigms: the…

We build an infinite dimensional scheme parametrizing isomorphism classes of coherent quotients of a quasi-coherent sheaf on a projective scheme. The main tool to achieve the construction is a version of Grothendieck's Grassmannian…

A linear locally nilpotent derivation of the polynomial algebra $K[X_m]$ in $m$ variables over a field $K$ of characteristic 0 is called a Weitzenb\"ock derivation. It is well known from the classical theorem of Weitzenb\"ock that the…

In this short paper we combine the representability theorem introduced in [17, 18] with the theory of derived formal models introduced in [2] to prove the existence representability of the derived Hilbert space RHilb(X) for a separated…