Related papers: Analytification of mapping stacks
We introduce the notion of the moduli stack of relations of a quiver. When the quiver with relations is derived-equivalent to an algebraic variety, the corresponding compact moduli scheme can be viewed as a compact moduli of noncommutative…
We exploit the theory of $\infty$-stacks to provide some basic definitions and calculational tools regarding stratified homotopy theory of stratified topological stacks.
In the present paper, we study several complex manifolds by using the following idea. First, we construct a certain moduli space and study the fundamental group of this space. This fundamental group is naturally mapped to the groups…
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…
In this paper we prove that the cohomology groups with compact support of stacks of shtukas are modules of finite type over a Hecke algebra. As an application, we extend the construction of excursion operators, defined by V. Lafforgue on…
In this article we study motives corresponding to the moduli stacks of G-shtukas and their local models. In particular we deal with the question of describing their motivic fundamental invariants. As an application, we provide a criterion…
We introduce an extension of the standard cohomology which is characterised by maps that fail to be classical cocycles by products of simpler maps. The construction is motivated by the study of Manin's noncommutative modular symbols and of…
The goal of this paper is to show that Stokes data coming from flat bundles form a locally geometric derived stack locally of finite presentation. This generalizes existing geometricity results on Stokes data in four different directions:…
We investigate the possibility of extending the non-functionally complete logic of a collection of Boolean connectives by the addition of further Boolean connectives that make the resulting set of connectives functionally complete. More…
A class of models is presented, in the form of continuation monads polymorphic for first-order individuals, that is sound and complete for minimal intuitionistic predicate logic. The proofs of soundness and completeness are constructive and…
Let Spec(A) be an affine derived stack. We give two proofs of the existence of a canonical map from the moduli space of shifted Poisson structures (in the sense of Pantev-To\"en-Vaqui\'e-Vezzosi, see http://arxiv.org/abs/1111.3209 ) on…
We first recall Grothendieck's notion of n-truncated Barsotti-Tate group. Such groups form an algebraic stack over the integers. The problem is to give an illuminating description of its reductions modulo powers of p. A related problem is…
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…
We propose a derived version of non-archimedean analytic geometry. Intuitively, a derived non-archimedean analytic space consists of an ordinary non-archimedean analytic space equipped with a sheaf of derived rings. Such a naive definition…
These are expanded notes on a lecture of the same title at the 2015 AMS summer institute in algebraic geometry. We give an introduction and overview of the "beyond geometric invariant theory" program for analyzing moduli problems in…
We extend the stable motivic homotopy category of Voevodsky to the class of scalloped algebraic stacks, and show that it admits the formalism of Grothendieck's six operations. Objects in this category represent generalized cohomology…
This is an expended and revised version of the preprint "Schematization of homotopy types". The purpose of this work is to introduce a notion of \emph{affine stacks}, which is a homotopy version of the notion of affine schemes, and to give…
We provide an account of the construction of the moduli stack of elliptic curves as an analytic orbifold. While intimately linked to Thurston's point of view on the subject (discrete groups acting properly and effectively on differentiable…
Deterministic equilibrium flows in transport networks can be investigated by means of Markov's processes defined on the dual graph representations of the network. Sustained movement patterns are generated by a subset of automorphisms of the…
This paper investigates the derived and spectral analogs of logarithmic geometry. We develop the deformation theory for animated log rings and $\mathbb{E}_\infty$-log rings and examine the corresponding theories of derived and spectral log…