Related papers: Representability of derived stacks
The representability theorem for stacks, due to Artin in the underived setting and Lurie in the derived setting, gives conditions under which a stack is representable by an $n$-geometric stack. In recent work of Ben-Bassat, Kelly, and…
In this note we revisit Lurie's representability theorem for geometric stacks and prove that one of the conditions can be mildly relaxed. The proof uses ideas from Hall--Rydh's work on the (classical) Artin's representability theorem. We…
Proving representability of derived moduli stacks of solutions to non-linear elliptic partial differential equations generally requires significant analytic machinery. In this paper, we instead show that representability naturally follows…
We prove a representability theorem for moduli functors of framed torsion-free sheaves on nonsingular complex projective surfaces, using formal geometry along a curve in the surface. This has as a consequence that a certain restriction…
We prove the representability theorem in derived analytic geometry. The theorem asserts that an analytic moduli functor is a derived analytic stack if and only if it is compatible with Postnikov towers, has a global analytic cotangent…
We generalize the notion of semi-universality in the classical deformation problems to the context of derived deformation theories. A criterion for a formal moduli problem to be semi-prorepresentable is produced. This can be seen as an…
Lurie's theorem states that there exists a sheaf of ring spectra on the site of formally \'etale Deligne--Mumford stacks over the moduli stack of $p$-divisible groups of height $n$, which agrees with the classical Landweber exact functor…
Representation theorems relate seemingly complex objects to concrete, more tractable ones. In this paper, we take advantage of the abstraction power of category theory and provide a general representation theorem for a wide class of…
We prove some finiteness theorems for the Picard functor of an algebraic stack, in the spirit of SGA 6, exp. XII and XIII. In particular, we give a stacky version of Raynaud's relative representability theorem, we give sufficient conditions…
The necessary and sufficient conditions for existence of a generalized representer theorem are presented for learning Hilbert space-valued functions. Representer theorems involving explicit basis functions and Reproducing Kernels are a…
We show that the class of representable substitution algebras is characterized by a set of universal first order sentences. In addition, it is shown that a necessary and sufficient condition for a substitution algebra to be representable is…
The goal of this article is to extend a theorem of Lurie \[ \mathsf{Sh}_A (X) = \mathsf{Fun}(\mathsf{Exit}_A (X), \mathsf{S}) \] representing constructible sheaves with values in $ \mathsf{S} $, the $ \infty $-category of spaces, on a…
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 theory of Schur functors provides a powerful and elegant approach to the representation theory of GL_n - at least to the so-called polynomial representations - especially to questions about how the theory varies with n. We develop…
We construct a derived enhancement of Hom spaces between rigid analytic spaces. It encodes the hidden deformation-theoretic informations of the underlying classical moduli space. The main tool in our construction is the representability…
We define quasi--locally presentable categories as big unions of coreflective subcategories which are locally presentable. Under appropriate hypotheses we prove a representability theorem for exact contravariant functors defined on a…
A family of regularization functionals is said to admit a linear representer theorem if every member of the family admits minimizers that lie in a fixed finite dimensional subspace. A recent characterization states that a general class of…
The Representation Theorem of Lions (RTL) is a version of the Lax--Milgram Theorem where completeness of one of the spaces is not complete. In this paper, RTL is deduced from an operator-theoretical version on normed space. The main point…
The results presented in this paper are refinements of some results presented in a previous paper. Three such refined results are presented. The first one relaxes one of the basic hypotheses assumed in the previous paper, and thus extends…
We describe an inductive machinery to prove various properties of representations of a category equipped with a generic shift functor. Specifically, we show that if a property (P) of representations of the category behaves well under the…