Let $ X $ be a compact Riemann surface of genus $ g\geq 2 $ and $ M(G_2) $ be the moduli space of polystable principal $ G_2 $-bundles over $ X $. The Harder-Narasimhan types of the bundles induced a stratification of the moduli space $ M(G_2) $ called Shatz stratification. In this paper, a description of the Shatz strata of the unstable locus of $ M(G_2) $ corresponding to certain family of Harder-Narasimhan types (specifically, those of the form $ (\lambda, \mu, 0, -\mu, -\lambda) $ with $ \mu < \lambda\leq 0 $) was given. For this purpose, a family of vector bundles was constructed in which a 3-form and a 2-form were defined so that it was proved that they were strictly polystable principal $ G_2 $-bundles. From this, it was proved that, when the genus of $ X $ was $ g\geq 12 $, these Shatz strata were the disjoint union of a family of $ G_2 $-Hecke curves in $ M(G_2) $ that will be constructed along the paper. Therefore, the presented results provided an advance in the knowledge of the geometry of $ M(G_2) $ through the study of its Shatz strata and presented a methodological innovation, by using Hecke curves for this study.
Citation: Álvaro Antón-Sancho. A construction of Shatz strata in the polystable $ G_2 $-bundles moduli space using Hecke curves[J]. Electronic Research Archive, 2024, 32(11): 6109-6119. doi: 10.3934/era.2024283
Let $ X $ be a compact Riemann surface of genus $ g\geq 2 $ and $ M(G_2) $ be the moduli space of polystable principal $ G_2 $-bundles over $ X $. The Harder-Narasimhan types of the bundles induced a stratification of the moduli space $ M(G_2) $ called Shatz stratification. In this paper, a description of the Shatz strata of the unstable locus of $ M(G_2) $ corresponding to certain family of Harder-Narasimhan types (specifically, those of the form $ (\lambda, \mu, 0, -\mu, -\lambda) $ with $ \mu < \lambda\leq 0 $) was given. For this purpose, a family of vector bundles was constructed in which a 3-form and a 2-form were defined so that it was proved that they were strictly polystable principal $ G_2 $-bundles. From this, it was proved that, when the genus of $ X $ was $ g\geq 12 $, these Shatz strata were the disjoint union of a family of $ G_2 $-Hecke curves in $ M(G_2) $ that will be constructed along the paper. Therefore, the presented results provided an advance in the knowledge of the geometry of $ M(G_2) $ through the study of its Shatz strata and presented a methodological innovation, by using Hecke curves for this study.
[1] | M. J. Duff, M-theory on manifolds of $G_2$ holonomy: the first twenty years, preprint, arXiv: hep-th/0201062v6. |
[2] | J. Beckers, V. Hussin, P. Winternitz, Complex parabolic subgroups of $G_2$ and nonlinear differential equations, Lett. Math. Phys., 11 (1986), 81–86. https://doi.org/10.1007/BF00417468 doi: 10.1007/BF00417468 |
[3] | A. Ramanathan, Stable principal bundles on a compact Riemann surface, Math. Ann., 213 (1975), 129–152. https://doi.org/10.1007/BF01343949 doi: 10.1007/BF01343949 |
[4] | A. Ramanathan, Moduli for principal bundles over algebraic curves Ⅰ, Proc. Indian Acad. Sci. Math. Sci., 106 (1976), 301–328. https://doi.org/10.1007/BF02867438 doi: 10.1007/BF02867438 |
[5] | A. Ramanathan, Moduli for principal bundles over algebraic curves Ⅱ, Proc. Indian Acad. Sci. Math. Sci., 106 (1976), 421–449. https://doi.org/10.1007/BF02837697 doi: 10.1007/BF02837697 |
[6] | S. S. Shatz, The decomposition and specialization of algebraic families of vector bundles, Compos. Math., 35 (1977), 163–187. |
[7] | A. Ramanathan, Moduli of principal bundle, Algebraic geometry, in Algebraic Geometry, Lecture Notes in Mathematics, Springer, Berlin, Heidelberg, 732 (1979), 527–533. https://doi.org/10.1007/BFb0066661 |
[8] | M. F. Atiyah, R. Bott, The Yang-Mills equations over Riemann surfaces, Philos. Trans. R. Soc. London, Ser. A, 308 (1982), 523–615. https://doi.org/10.1098/rsta.1983.0017 doi: 10.1098/rsta.1983.0017 |
[9] | B. Anchouche, H. Azad, I. Biswas, Harder-Narasimhan reduction for principal bundles over a compact Kähler manifold, Math. Ann., 323 (2002), 693–712. https://doi.org/10.1007/s002080200322 doi: 10.1007/s002080200322 |
[10] | Á. Antón-Sancho, Shatz and Bialynicki-Birula stratifications of the moduli space of Higgs bundles, Hokkaido Math. J., 51 (2022), 25–56. https://doi.org/10.14492/hokmj/2019-202 doi: 10.14492/hokmj/2019-202 |
[11] | J. M. Hwang, N. Mok, Birationality of the tangent map for minimal rational curves, Asian J. Math., 8 (2004), 51–64. |
[12] | J. M. Hwang, S. Ramanan, Hecke curves and Hitchin discriminant, Sci. Ann. Ecole Norm. Sup., 37 (2004), 801–817. https://doi.org/10.1016/j.ansens.2004.07.001 doi: 10.1016/j.ansens.2004.07.001 |
[13] | I. Biswas, T. L. Gómez, V. Muñoz, Automorphisms of moduli spaces of vector bundles over a curve, Expo. Math., 31 (2013), 73–86. https://doi.org/10.1016/j.exmath.2012.08.002 doi: 10.1016/j.exmath.2012.08.002 |
[14] | A. Kouvidakis, T. Pantev, The automorphism group of the moduli space of semistable vector bundles, Math. Ann., 302 (1995), 225–269. https://doi.org/10.1007/BF01444495 doi: 10.1007/BF01444495 |
[15] | I. Choe, K. Chung, S. Lee, Minimal rational curves on the moduli spaces of symplectic and orthogonal bundles, J. London Math. Soc., 105 (2022), 543–564. https://doi.org/10.1112/jlms.12527 doi: 10.1112/jlms.12527 |
[16] | R. Bryant, Some remarks on $G_2$-structures, Proceedings of Gokova Geometry-Topology Conference 2005, (2006), 75–109. |
[17] | Á. Antón-Sancho, Automorphisms of order three of the moduli space of Spin-Higgs bundles, Hokkaido Math. J., 47 (2018), 387–426. https://doi.org/10.14492/hokmj/1529308825 doi: 10.14492/hokmj/1529308825 |
[18] | S. Subramanian, On principal $G_2$-bundles, Asian J. Math., 3 (1999), 353–357. https://doi.org/10.4310/AJM.1999.v3.n2.a3 doi: 10.4310/AJM.1999.v3.n2.a3 |
[19] | A. H. W. Schmitt, Moduli spaces for principal bundles, in Moduli Spaces and Vector Bundles, London Mathematical Society Lecture Note Series, Cambridge University Press, Cambridge, (2009), 388–424. https://doi.org/10.1017/CBO9781139107037.013 |
[20] | X. Sun, Minimal rational curves on moduli spaces of stable bundles, Math. Ann., 331 (2005), 925–937. https://doi.org/10.1007/s00208-004-0614-2 doi: 10.1007/s00208-004-0614-2 |
[21] | D. Anderson, Degeneracy of triality-symmetric morphisms, Algebra Number Theory, 6 (2012), 689–706. https://doi.org/10.2140/ant.2012.6.689 doi: 10.2140/ant.2012.6.689 |
[22] | A. Ito, M. Miura, S. Okawa, K. Ueda, The class of the affine line is a zero divisor in the Grothendieck ring: via $G_2$-Grassmannians, preprint, arXiv: 1606.04210. |