Related papers: On Lurie's theorem and applications
We develop a universal framework to study smooth higher orbifolds on the one hand and higher Deligne-Mumford stacks (as well as their derived and spectral variants) on the other, and use this framework to obtain a completely categorical…
Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…
We combine Lurie's generalization of the Hopkins-Miller theorem with work of Zink-Lau on displays to give a functorial construction of even-periodic commutative ring spectra, concentrated in chromatic layers 2 and above, associated to…
We prove that every algebraic stack, locally of finite type over an algebraically closed field with affine stabilizers, is \'etale-locally a quotient stack in a neighborhood of a point with a linearly reductive stabilizer group. The proof…
We prove a global uniform Artin-Rees lemma type theorem for sections of ample line bundles over smooth projective varieties. This result is used to prove an Artin-Rees lemma for the polynomial ring with uniform degree bounds. The proof is…
This paper proves a result on the existence of finite flat scheme covers of Deligne-Mumford stacks. This result is used to prove that a large class of smooth Deligne-Mumford stacks with affine moduli space are quotient stacks, and in the…
Revised: just some typos, reorganized a bit the article. It will be published in the VIASM Annual meeting, Hanoi. We give a detailed account of Deligne's letter to Drinfeld dated June 18, 2011, in which he shows that there are finitely many…
We classify thick subcategories of the $\infty$-categories of perfect modules over ring spectra which arise as functions on even periodic derived stacks satisfying affineness and regularity conditions. For example, we show that the thick…
We show that a formal Deligne--Mumford stack is formal-locally represented by a formal scheme. This is an analogue of Frobenius theorem for smooth foliations in any characteristic and without smoothness hypotheses on the ambient space.
We give a simple proof of the Riemann-Roch theorem for Deligne-Mumford stacks using the equivariant Riemann-Roch theorem and the localization theorem in equivariant K-theory together with some basic commutative algebra of Artin rings.
We prove an Atiyah-Segal isomorphism for the higher $K$-theory of coherent sheaves on quotient Deligne-Mumford stacks over $\C$. As an application, we prove the Grothendieck-Riemann-Roch theorem for such stacks. This theorem establishes an…
Given an algebraic stack $X$, one may compare the derived category of quasi-coherent sheaves on $X$ with the category of dg-modules over the dg-ring of functions on $X$. We study the analogous question in stable homotopy theory, for derived…
The paper describes relations between Liouville type theorems for solutions of a periodic elliptic equation (or a system) on an abelian cover of a compact Riemannian manifold and the structure of the dispersion relation for this equation at…
We prove an $L^p$-spectral multiplier theorem under the sharp regularity condition $s > d\left|1/p - 1/2\right|$ for sub-Laplacians on M\'etivier groups. The proof is based on a restriction type estimate which, at first sight, seems to be…
We use Morse theory to prove that the Lefschetz Hyperplane Theorem holds for compact smooth Deligne-Mumford stacks over the site of complex manifolds. For $Z \subset X$ a hyperplane section, $X$ can be obtained from $Z$ by a sequence of…
Using the notion of Levi form of a smooth distribution, we discuss the local and the global problem of existence of one horizontal section of a smooth vector bundle endowed with a horizontal distribution. The analysis will lead to the…
We prove that an algebraic stack with affine stabilizers over an arbitrary base is \'etale-locally a quotient stack around any point with a linearly reductive stabilizer. This generalizes earlier work by the authors of this article (stacks…
The goal of this paper is to prove Riemann-Roch type theorems for Deligne-Mumford algebraic stacks. To this end, we introduce a "cohomology with coefficients in representations" and a Chern character, and we prove a…
Working in a generic derived algebro-geometric context, we lay the foundations for the general study of affineness and local descendability. When applied to $\mathbf{E}_\infty$ rings equipped with the fpqc topology, these foundations give…
Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally,…