Representability theorem in derived analytic geometry (Q2216749): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1704.01683 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3325851 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5733758 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5360829 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lax colimits and free fibrations in \(\infty\)-categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher Topos Theory (AM-170) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Shifted symplectic structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Comparison results for derived Deligne-Mumford stacks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher analytic stacks and GAGA theorems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Derived non-Archimedean analytic spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4472986 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3649479 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Derived algebraic geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homotopical algebraic geometry. I: Topos theory / rank
 
Normal rank

Latest revision as of 05:14, 24 July 2024

scientific article
Language Label Description Also known as
English
Representability theorem in derived analytic geometry
scientific article

    Statements

    Representability theorem in derived analytic geometry (English)
    0 references
    0 references
    0 references
    17 December 2020
    0 references
    In the paper under review, the authors prove a representability theorem in derived analytic geometry, analogous to Lurie's generalization of Artin's representablility criteria to derived algebraic geometry. This is an important, standard type result for the study of moduli problems and a crucial step towards a solid theory of derived analytic geometry. More specifically, the authors show that a derived stack for the étale site of derived analytic spaces is a derived analytic stack if and only if it is compatible with Postnikov towers, has a global analytic cotangent complex, and its truncation is an analytic stack in the classical (underived) sense. The result applies both to complex analytic geometry and non-archimedean analytic geometry. Central to representability results as in the present paper is deformation theory, which the authors develop here for the derived analytic setup. The authors define an analytic version of the cotangent complex which controls the deformation theory of the derived stack. As in the algebraic setting, the cotangent complex represents a functor of derivations. One key step in order to define the analytic cotangent complex is the elegant description of the \(\infty\)-category of modules over a derived analytic space \(X\) as the \(\infty\)-category of spectrum objects of a certain \(\infty\)-category associated with \(X\). Another important construction is the analytification functor which they establish in the derived setting. To apply derived geometry to classical moduli problems, one may try to enrich classical moduli spaces with derived structures. The paper under review is an important tool in verifying when such enrichments are indeed the correct ones.
    0 references
    0 references
    representability
    0 references
    deformation theory
    0 references
    analytic cotangent complex
    0 references
    derived geometry
    0 references
    rigid analytic geometry
    0 references
    complex geometry
    0 references
    derived stacks
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references