Mauro PortaUniversity of PennsylvaniaTony Yue YUUniversité Paris-Sud
mathscidoc:1703.01002
Distinguished Paper Award in 2017
Selecta Mathematica, 2017
We propose a derived version of non-archimedean analytic geometry. Intuitively, a derived non-archimedean analytic space consists of an ordinary non-archimedean analytic space equipped with a sheaf of derived rings. Such a naive definition turns out to be insufficient. In this paper, we resort to the theory of pregeometries and structured topoi introduced by Jacob Lurie. We prove the following three fundamental properties of derived non-archimedean analytic spaces:
(1) The category of ordinary non-archimedean analytic spaces embeds fully faithfully into the ∞-category of derived non-archimedean analytic spaces.
(2) The ∞-category of derived non-archimedean analytic spaces admits fiber products.
(3) The ∞-category of higher non-archimedean analytic Deligne-Mumford stacks embeds fully faithfully into the ∞-category of derived non-archimedean analytic spaces. The essential image of this embedding is spanned by n-localic discrete derived non-archimedean analytic spaces.
We will further develop the theory of derived non-archimedean analytic geometry in our subsequent works. Our motivations mainly come from intersection theory, enumerative geometry and mirror symmetry.
@inproceedings{mauro2017derived,
title={Derived non-archimedean analytic spaces},
author={Mauro Porta, and Tony Yue YU},
url={http://archive.ymsc.tsinghua.edu.cn/pacm_paperurl/20170309051922599292623},
booktitle={Selecta Mathematica},
year={2017},
}
Mauro Porta, and Tony Yue YU. Derived non-archimedean analytic spaces. 2017. In Selecta Mathematica. http://archive.ymsc.tsinghua.edu.cn/pacm_paperurl/20170309051922599292623.