Abstract

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.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.