The moduli space of stable coherent sheaves via non-archimedean geometry

Abstract

We provide a construction of the moduli space of stable coherent sheaves in the world of non-archimedean geometry, where we use the notion of Berkovich non-archimedean analytic spaces. The motivation for our construction is Tony Yue Yu's non-archimedean enumerative geometry in Gromov-Witten theory. The construction of the moduli space of stable sheaves using Berkovich analytic spaces will give rise to the non-archimedean version of Donaldson-Thomas invariants. In this paper we give the moduli construction over a non-archimedean field $\kk$. We use the machinery of formal schemes, that is, we define and construct the formal moduli stack of (semi)-stable coherent sheaves over a discrete valuation ring $R$, and taking generic fiber we get the non-archimedean analytic moduli of semistable coherent sheaves over the fractional non-archimedean field $\kk$. For a moduli space of stable sheaves of an algebraic variety $X$ over an algebraically closed field $\kappa$, the analytification of such a moduli space gives an example of the non-archimedean moduli space. We generalize Joyce's $d$-critical scheme structure in \cite{Joyce} or Kiem-Li's virtual critical manifolds in \cite{KL} to the world of formal schemes, and Berkovich non-archimedean analytic spaces. As an application, we provide a proof for the motivic localization formula for a $d$-critical non-archimedean $\kk$-analytic space using global motive of vanishing cycles and motivic integration on oriented formal $d$-critical schemes. This generalizes Maulik's motivic localization formula for motivic Donaldson-Thomas invariants.

65 pages, changed typos, and corrected an error in the last example, many thanks to Prof. B. Szendroi for pointing this out, generalized the motivic localization formula to d-critical non-archimedean analytic spaces, and thanks to T. Yu for the valuable suggestion, the structure of the introduction reorganized, revised section 2, comments are very welcome

References in corpus (8)

• Stability structures, motivic Donaldson-Thomas invariants and cluster transformations
• Donaldson-Thomas invariants via microlocal geometry
• Desingularization of quasi-excellent schemes in characteristic zero
• A trace formula for rigid varieties, and motivic Weil generating series for formal schemes
• Stable logarithmic maps to Deligne--Faltings pairs II
• The refined BPS index from stable pair invariants
• Pro-Chern-Schwartz-MacPherson class for DM stacks
• Formal and rigid geometry: an intuitive introduction, and some applications

Cited by in corpus (3)

• Motivic virtual signed Euler characteristics and applications to Vafa-Witten invariants
• Twisted spectral correspondence and torus knots
• Note on the motivic DT/PT correspondence and the motivic Flop formula