Related papers: On Lurie's theorem and applications
We introduce a Grothendieck ring of higher Artin stacks generalizing the Grothendieck ring of algebraic varieties. We show that this ring is not trivial by noticing that it factors the invariant "number of rational points over a finite…
We calculate the category of D-modules on the loop space of the affine line in coherent terms. Specifically, we find that this category is derived equivalent to the category of ind-coherent sheaves on the moduli space of rank one de Rham…
A classical theorem of Titchmarsh relates the $L^2$-Lipschitz functions and decay of the Fourier transform of the functions. In this note, we prove the Titchmarsh theorem for Damek-Ricci space (also known as harmonic $NA$ groups) via moduli…
We give here a counter-example to a conjecture of Spivakovsky. M. Spivakovsky conjectured that the function that appears in the strong Artin approximation theorem is bounded by a linear function. First we show that there is no Liouville…
We prove a Tannaka duality theorem for $(\infty,1)$-categories. This is a duality between certain derived group stacks, or more generally certain derived gerbes, and symmetric monoidal $(\infty,1)$-categories endowed with particular…
In this paper we prove the fundamental lemma for Deligne-Lusztig functions. Namely, for every Deligne-Lusztig function $\phi$ on a $p$-adic group $G$ we write down an explicit linear combination $\phi^H$ of Deligne-Lusztig functions on an…
We study extension properties for morphisms of stacks of bundles for group algebraic spaces. Applications are a short proof of the classification of bundles on the projective line for smooth geometrically reductive groups and the existence…
As already observed by Gabriel, coherent sheaves on schemes obtained by gluing affine open subsets can be described by a simple gluing construction. An example due to Ferrand shows that this fails in general for pushouts along closed…
An old theorem of Charney and Lee says that the classifying space of the category of stable nodal topological surfaces and isotopy classes of degenerations has the same rational homology as the Deligne-Mumford compactification. We give an…
This note is but a research announcement, summarizing and explaining results proven and detailed in forthcoming papers. When one studies families of objects over curves, and the objects are parametrized by a Deligne-Mumford stack M, then…
Let $L$ be an exact Lagrangian submanifold of a cotangent bundle $T^* M$, asymptotic to a Legendrian submanifold $\Lambda \subset T^{\infty} M$. We study a locally constant sheaf of $\infty$-categories on $L$, called the sheaf of brane…
We give a new description of the data needed to specify a morphism from a scheme to a toric Deligne-Mumford stack. The description is given in terms of a collection of line bundles and sections which satisfy certain conditions. As…
Building on Olander's work on algebraic spaces, we prove Orlov's representability theorem relating fully faithful functors and Fourier--Mukai transforms between the bounded derived category of coherent sheaves to the case of smooth, proper,…
We define several versions of a class of varieties $X_{\mathfrak{g}}$ attached to a complex reductive Lie algebra $\mathfrak{g}$, generalizing the Hilbert scheme of points on the plane. These include trigonometric and elliptic versions…
In this paper we prove that every collection of measurable functions $f_\alpha$, $|\alpha|=m$ coincides a.e. with $m$th order derivatives of a function $g\in C^{m-1}$ whose derivatives of order $m-1$ may have any modulus of continuity…
We prove that torsors under parahoric group schemes on the punctured spectrum of Fontaine's ring $A_{\mathrm{inf}}$, extend to the whole spectrum. Using descent we can extend a similar result for the ring $\mathfrak{S}$ of Kisin and Pappas…
A sharp $L^p$ spectral multiplier theorem of Mihlin--H\"ormander type is proved for a distinguished sub-Laplacian on quaternionic spheres. This is the first such result on compact sub-Riemannian manifolds where the horizontal space has…
Arthur's conjectures predict the existence of some very interesting unitary representations occurring in spaces of automorphic forms. We prove the unitarity of the "Langlands element" (i.e., the one specified by Arthur) of all unipotent…
We introduce Deligne cohomology that classifies U(1) fibre bundles over 3-manifolds endowed with connections. We show how the structure of Deligne cohomology classes provides a way to perform exact (non-perturbative) computations in U(1)…
We prove that the perfect loop functor $LX$ of a quasi-projective scheme $X$ over a local non-archimedean field $k$ satisfies arc-descent, strengthening a result of Drinfeld. Then we prove that for an unramified reductive group $G$, the map…