Abstract
Let X be a smooth projective curve of genus g ⩾ 2 over an algebraically closed field k of characteristic p > 0, and F: X → X (1) the relative Frobenius morphism. Let \(\mathfrak{M}_X^s (r,d)\) (resp. \(\mathfrak{M}_X^{ss} (r,d)\)) be the moduli space of (resp. semi-)stable vector bundles of rank r and degree d on X. We show that the set-theoretic map \(S_{Frob}^{ss} :\mathfrak{M}_X^{ss} (r,d) \to \mathfrak{M}_{X^{(1)} }^{ss} (rp,d + r(p - 1)(g - 1))\) induced by
is a proper morphism. Moreover, the induced morphism \(S_{Frob}^s :\mathfrak{M}_X^s (r,d) \to \mathfrak{M}_{X^{(1)} }^s (rp,d + r(p - 1)(g - 1))\) is a closed immersion. As an application, we obtain that the locus of moduli space \(\mathfrak{M}_{X^{(1)} }^s (p,d)\) consisting of stable vector bundles whose Frobenius pull backs have maximal Harder-Narasimhan polygons is isomorphic to the Jacobian variety JacX of X.
Similar content being viewed by others
References
Fantechi B, Göottsche L, Illusie L, et al. Fundamental Algebraic Geometry: Grothendieck’s FGA Explained. In: Mathematical Surveys and Monographs, vol. 123. Providence, RI: Amer Math Soc, 2005
Hartshorne R. Algebraic Geometry. In: Graduate Texts in Mathematics 52. New York: Springer-Verlag, 1977
Huybrechts D, Lehn M. The Geometry of Moduli Spaces of Sheaves. In: Aspects of Mathematics 31. Braunschweig: Friedr Vieweg Sohn, 1997
Joshi K, Pauly C. Hitchin-Mochizuki morphism, Opers and Frobenius-destabilized vector bundles over curves. ArXiv: 0912.3602, 2009
Joshi K, Ramanan S, Xia E Z, et al. On vector bundles destabilized by Frobenius pull-back. Compos Math, 2006, 142: 616–630
Liu Q. Algebraic Geometry and Arithmetic Curves. In: Oxford Graduate Texts in Mathematics 6. Oxford: Oxford University Press, 2006
Mehta V, Pauly C. Semistability of Frobenius direct images over curves. Bull Soc Math France, 2007, 135: 105–117
Osserman B. The generalized Verschiebung map for curves of genus 2. Math Ann, 2006, 336: 963–986
Shatz S S. The decomposition and specializations of algebraic families of vector bundles. Comput Math, 1977, 35: 163–187
Shepherd-Barron N I. Semistability and reduction mod p. Topology, 1998, 37: 659–664
Sun X. Remarks on semistability of G-bundles in positive characteristic. Compos Math, 1999, 119: 41–52
Sun X. Direct images of bundles under Frobenius morphisms. Invent Math, 2008, 173: 427–447
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Li, L. The morphism induced by Frobenius push-forward. Sci. China Math. 57, 61–67 (2014). https://doi.org/10.1007/s11425-013-4637-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11425-013-4637-6