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.

arXiv comment65 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 (20)

• Stability structures, motivic Donaldson-Thomas invariants and cluster transformations
• Curve counting via stable pairs in the derived category
• Donaldson-Thomas invariants via microlocal geometry
• Desingularization of quasi-excellent schemes in characteristic zero
• A 'Darboux Theorem' for shifted symplectic structures on derived Artin stacks, with applications
• A trace formula for rigid varieties, and motivic Weil generating series for formal schemes
• Virtual signed Euler characteristics
• Stable logarithmic maps to Deligne--Faltings pairs II
• Categorification of Donaldson-Thomas invariants via Perverse Sheaves
• The refined BPS index from stable pair invariants
• Shifted Symplectic Structures
• Derived non-archimedean analytic spaces
• On a twisted de Rham complex, II
• Motivic Milnor fiber of cyclic L-infinity algebras
• On motivic Joyce-Song formula for the Behrend function identities
• Gopakumar-Vafa invariants via vanishing cycles
• A proof of the integral identity conjecture, II
• Pro-Chern-Schwartz-MacPherson class for DM stacks
• The Thom-Sebastiani theorem for the Euler characteristic of cyclic L-infinity algebras
• 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