Related papers: Affine stacks (Champs affines)
Although contemporary model theory has been called "algebraic geometry minus fields", the formal methods of the two fields are radically different. This dissertation aims to shrink that gap by presenting a theory of logical schemes,…
We study algebraicity and smoothness of fixed point stacks for flat group schemes which have a finite composition series whose factors are either reductive or proper, flat, finitely presented, acting on algebraic stacks with affine,…
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…
The aim of this paper is to extend the definition of motivic homotopy theory from schemes to a large class of algebraic stacks and establish a six functor formalism. The class of algebraic stacks that we consider includes many interesting…
We develop the foundations of the deformation theory of compact complete affine space forms and affine crystallographic groups. Using methods from the theory of linear algebraic groups we show that these deformation spaces inherit an…
In this paper we will first introduce the notion of affine structures on a ringed space and then obtain several properties. Affine structures on a ringed space, arising mainly from complex analytical spaces of algebraic schemes over number…
One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by…
A new approach to \'etale homotopy theory is presented which applies to a much broader class of objects than previously existing approaches, namely it applies not only to all schemes (without any local Noetherian hypothesis), but also to…
We prove that if a group scheme of multiplicative type acts on an algebraic stack with affine, finitely presented diagonal then the stack of fixed points is algebraic. For this, we extend two theorems of [SGA3.2] on functors of subgroups of…
We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…
Let $S$ be a base scheme, assumed separated and Noetherian. We define \emph{adequate classes} of morphisms of $S$-schemes by formalizing certain properties of homotopy equivalences of complex algebraic varieties. Other examples of adequate…
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…
This is the first in a series of papers devoted to foundations of topological stacks. We begin developing a homotopy theory for topological stacks along the lines of classical homotopy theory of topological spaces. In this paper we go as…
We introduce a class of maps from an affine flat into a Riemannian manifold that solve an elliptic system defined by the natural second order elliptic operator of the affine structure and the nonlinear Riemann geometry of the target. These…
We develop a new method for analyzing moduli problems related to the stack of pure coherent sheaves on a polarized family of projective schemes. It is an infinite-dimensional analogue of geometric invariant theory. We apply this to two…
We give criteria for certain morphisms from an algebraic stack to a (not necessarily algebraic) stack to admit an (appropriately defined) scheme-theoretic image. We apply our criteria to show that certain natural moduli stacks of local…
Toen has interpreted the schematization problem as originally imagined by Grothendieck in "Pursuing Stacks" in such a way that solution(s) to this problem could be given. As he pointed out, there are many solutions available, and he gave…
For a (semi-)model category M, we define a notion of a ''homotopy'' Grothendieck topology on M, as well as its associated model category of stacks. We use this to define a notion of geometric stack over a symmetric monoidal base model…
We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…
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…