English

A Dual Representation in Spectral Algebraic Geometry

Algebraic Geometry 2021-06-17 v2

Abstract

Given a spectral Deligne-Mumford stack XX, we define a perception of XX to be a collection of a certain class of morphisms YXY \rightarrow X. For the class of affine morphisms in SpDM, we show that from QCoh(XX) on can extract the affine perception AffX\text{Aff}_X of XX on the one hand, and a subcategory of an \infty-category of representations Repg\text{Rep}_{\mathfrak{g}_*} of a dg Lie algebra g\mathfrak{g}_* associated with XX on the other. For the class of local morphisms SpeˊRX\text{Sp\'et } R \rightarrow X, the local perception of XX is given by the functor X=Hom(Speˊt(),X)\mathbf{X} = \text{Hom}(\text{Sp\'et}(-), X) it represents. If X\mathbf{X} is a geometric stack, Tannaka duality allows us to recover X\mathbf{X} from QCoh(X)\text{QCoh}(\mathbf{X}), from which we can also get, after base change, a subcategory of Repg\text{Rep}_{\mathfrak{g}_*}. We generalize those results by considering functors X:CAlgcnS\mathbf{X}: \text{CAlg}^{\text{cn}} \rightarrow \mathcal{S} that are representable in accordance with the spectral Artin representability theorem of Lurie.

Keywords

Cite

@article{arxiv.2006.15687,
  title  = {A Dual Representation in Spectral Algebraic Geometry},
  author = {Renaud Gauthier},
  journal= {arXiv preprint arXiv:2006.15687},
  year   = {2021}
}

Comments

22 pages. An incorrect argument in the section relating quasi-coherent sheaves has been fixed

R2 v1 2026-06-23T16:40:59.488Z