Derived Hom Spaces in Rigid Analytic Geometry

  • Mauro Porta

    Université de Strasbourg, France
  • Tony Yue Yu

    Université Paris-Saclay; Univ. Paris-Sud, Orsay, France
Derived Hom Spaces in Rigid Analytic Geometry cover

A subscription is required to access this article.


We construct a derived enhancement of Hom spaces between rigid analytic spaces. It encodes the hidden deformation-theoretic information of the underlying classical moduli space. The main tool in our construction is the representability theorem in derived analytic geometry, which has been established in our previous work. The representability theorem provides us with sufficient and necessary conditions for an analytic moduli functor to possess the structure of a derived analytic stack. In order to verify the conditions of the representability theorem, we prove several general results in the context of derived non-archimedean analytic geometry: derived Tate acyclicity, projection formula, and proper base change. These results also merit independent interest. Our main motivation comes from non-archimedean enumerative geometry. In our subsequent works, we will apply the derived mapping stacks to obtain non-archimedean analytic Gromov–Witten invariants.

Cite this article

Mauro Porta, Tony Yue Yu, Derived Hom Spaces in Rigid Analytic Geometry. Publ. Res. Inst. Math. Sci. 57 (2021), no. 3/4, pp. 921–958

DOI 10.4171/PRIMS/57-3-7