Related papers: A Representability Theorem for Stacks in Derived G…
This paper presents a survey on formal moduli problems. It starts with an introduction to pointed formal moduli problems and a sketch of proof of a Theorem (independently proven by Lurie and Pridham) which gives a precise mathematical…
We use the newly developed stacky prismatic technology of Drinfeld and Bhatt-Lurie to give a uniform, group-theoretic construction of smooth stacks $\mathrm{BT}^{G,\mu}_{n}$ attached to a smooth affine group scheme $G$ over $\mathbb{Z}_p$…
We consider a general regularised interpolation problem for learning a parameter vector from data. The well known representer theorem says that under certain conditions on the regulariser there exists a solution in the linear span of the…
We describe derived moduli functors for a range of problems involving schemes and quasi-coherent sheaves, and give cohomological conditions for them to be representable by derived geometric n-stacks. Examples of problems represented by…
The representer theorem is one of the most important mathematical foundations for regularised learning and kernel methods. Classical formulations of the theorem state sufficient conditions under which a regularisation problem on a Hilbert…
We introduce the idea of *representation stability* (and several variations) for a sequence of representations V_n of groups G_n. A central application of the new viewpoint we introduce here is the importation of representation theory into…
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…
We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative…
We give necessary conditions for a category fibred in pseudo-abelian additive categories over the classifying topos of a profinite group to be a stack; these conditions are sufficient when the coefficients are $\mathbf{Q}$-linear. This…
We prove a relative GAGA theorem for perfect and pseudo-coherent complexes in non-archimedean analytic geometry, allowing bases given by Fredholm analytic rings, including those associated from affinoid perfectoid spaces. This answers a…
We show that the moduli problem of deformations of nilpotent displays by quasi-isogenies is representable, without using $p$-divisible groups. The main ingredients are Artin's criterion and the theory of truncated displays. This gives in…
In the study of automorphic representations over a function field, Hitchin moduli stack and its variants naturally appear and their geometry helps the comparison of trace formulae. We give a survey on applications of this observation to a…
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…
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…
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…
This work is devoted to the study of integral $p$-adic Hodge theory in the context of Artin stacks. For a Hodge-proper stack, using the formalism of prismatic cohomology, we establish a version of $p$-adic Hodge theory with the \'etale…
This is the second part of a series of papers devoted to develop Homotopical Algebraic Geometry. We start by defining and studying generalizations of standard notions of linear and commutative algebra in an abstract monoidal model category,…
We construct C-algebras for a class of surfaces that are inverse images of certain polynomials of arbitrary degree. By using the directed graph associated to a matrix, the representation theory can be understood in terms of ``loop'' and…
We develop a theory of good moduli spaces for derived Artin stacks, which naturally generalizes the classical theory of good moduli spaces introduced by Alper. As such, many of the fundamental results and properties regarding good moduli…
Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented…