Abstract
We study the moduli space of \(G_2\)-instantons on (projectively) flat bundles over torsion-free \(G_2\)-orbifolds. We prove that the moduli space is compact and smooth at the irreducible locus after adding small and generic holonomy perturbations. Consequently, we define the \(G_2\)-Casson invariant that is invariant under \(C^0\)-deformation of torsion-free \(G_2\)-structures. We compute this invariant for some orbifolds that arise in Joyce’s construction of compact \(G_2\)-manifolds.
Similar content being viewed by others
References
Adem, A., Leida, J., Ruan, Y.: Orbifolds and Stringy Topology. Cambridge Tracts in Mathematics, vol. 171. Cambridge University Press, Cambridge (2007)
Akbulut, S., Mrowka, T., Ruan, Y.: Torsion classes and a universal constraint on Donaldson invariants for odd manifolds. Trans. Am. Math. Soc. 347(1), 63–76 (1995)
Atiyah, M.F., Bott, R.: A Lefschetz fixed point formula for elliptic complexes. II. Applications. Ann. Math. 2(88), 451–491 (1968)
Atiyah, M.F., Patodi, V.K., Singer, I.M.: Spectral asymmetry and Riemannian geometry. III. Math. Proc. Cambridge Philos. Soc. 79(1), 71–99 (1976)
Berline, N, Getzler, E, Vergne, M.: Heat kernels and Dirac operators. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 298. Springer, Berlin (1992)
Cohen, A.M., Wales, D.B.: Finite subgroups of \(G_{2}({ C})\). Commun. Algebra 11(4), 441–459 (1983)
Crowley, D., Goette, S., Nordström, J.: An analytic invariant of \(G_2\)-manifolds. arXiv:1505.02734 (2015)
Crowley, D., Nordström, J.: New invariants of \(G_2\)-structures. Geom. Topol. 19(5), 2949–2992 (2015)
Doan, A., Walpuski, T.: On counting associative submanifolds and Seiberg–Witten monopoles. Pure Appl. Math. Q. 15(4), 1047–1133 (2019)
Donaldson, S.K., Kronheimer, P.B.: The Geometry of Four-Manifolds. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, 1990. Oxford Science Publications
Donaldson, S.K., Segal, E.: Gauge Theory in Higher Dimensions, II. In: Surveys in Differential Geometry. Volume XVI. Geometry of Special Holonomy and Related Topics, vol. 16 of Surv. Differ. Geom., pp. 1–41. Int. Press, Somerville, MA (2011)
Donaldson, S.K., Thomas, R.P.: Gauge theory in higher dimensions. In: The Geometric Universe (Oxford, 1996), pp. 31–47. Oxford Univ. Press, Oxford (1998)
Donaldson, S.K.: A journey through the mathematical world of Karen Uhlenbeck. To appear in H. Holden and R. Piene (eds.) "The Abel Prize 2018-2022" Spinger 2023 (2023)
Donaldson, S.K.: Floer Homology Groups in Yang–Mills Theory, volume 147 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge: With the assistance of M. Furuta and D, Kotschick (2002)
Donaldson, S.K.: The orientation of Yang–Mills moduli spaces and \(4\)-manifold topology. J. Differ. Geom. 26(3), 397–428 (1987)
Floer, A.: An instanton-invariant for \(3\)-manifolds. Commun. Math. Phys. 118(2), 215–240 (1988)
Galt, D., Ma, L: \(G_2\)-instantons on hyperkähler coassociative fibrations I. In preparation, (2024)
Gompf, R.E., Mrowka, T.S.: Irreducible \(4\)-manifolds need not be complex. Ann. Math. (2), 138(1), 61–111 (1993)
Griess, R.L., Jr.: Basic conjugacy theorems for \(G_2\). Invent. Math., 121(2), 257–277 (1995)
Haefliger, A.: Orbi-espaces. In: Sur les groupes hyperboliques d’après Mikhael Gromov (Bern, 1988), vol. 83 of Progr. Math., pp. 203–213. Birkhäuser Boston, Boston, MA (1990)
Joyce, D., Upmeier, M.: Canonical orientations for moduli spaces of \(G_2\)-instantons with gauge group \(SU(m)\) or \(U(m)\). J. Differ. Geom., to appear (2021)
Joyce, D.D.: Compact Riemannian \(7\)-manifolds with holonomy \(G_2\). I, II. J. Differ. Geom. 43(2), 291–328, 329–375 (1996)
Joyce, D.D.: Compact Manifolds with Special Holonomy. Oxford Mathematical Monographs, Oxford University Press, Oxford (2000)
Kawasaki, T.: The index of elliptic operators over \(V\)-manifolds. Nagoya Math. J. 84, 135–157 (1981)
Kobayashi, S., Nomizu, K.: Foundations of Differential Geometry. Vol I. Interscience Publishers (a division of John Wiley & Sons, Inc.), New York-London (1963)
Kronheimer, P.B., Mrowka, T.S.: Monopoles and Three-Manifolds. New Mathematical Monographs, vol. 10. Cambridge University Press, Cambridge (2007)
Kronheimer, P.B.: Instanton invariants and flat connections on the Kummer surface. Duke Math. J. 64(2), 229–241 (1991)
Kronheimer, P.B.: Four-manifold invariants from higher-rank bundles. J. Differ. Geom. 70(1), 59–112 (2005)
Kronheimer, P.B., Mrowka, T.S.: Embedded surfaces and the structure of Donaldson’s polynomial invariants. J. Differ. Geom. 41(3), 573–734 (1995)
Kronheimer, P.B., Mrowka, T.S.: Khovanov homology is an unknot-detector. Publ. Math. Inst. Hautes Études Sci. 113, 97–208 (2011)
Laurent-Gengoux, C., Jean-Louis, T., Ping, X.: Chern–Weil map for principal bundles over groupoids. Math. Z. 255(3), 451–491 (2007)
Lawson, Jr., H.B., Michelsohn, M.-L.: Spin Geometry, volume 38 of Princeton Mathematical Series. Princeton University Press, Princeton (1989)
Ma, L.: Surgery and excision for the Furuta–Ohta invariants on homology \(S^1 \times S^3\). J. Differ. Geom., to appear (2020)
Moerdijk, M.: Orbifolds as groupoids: an introduction. In: Orbifolds in Mathematics and Physics (Madison, WI, 2001), volume 310 of Contemp. Math., pp. 205–222. American Mathematical Society, Providence, RI (2002)
Nakajima, H.: Compactness of the moduli space of Yang–Mills connections in higher dimensions. J. Math. Soc. Japan 40(3), 383–392 (1988)
Platt, D.: \(G_2\)-instantons on resolutions of \(G_2\)-orbifolds. arXiv:2208.10903 (2022)
Sá Earp, H.N.: Instantons on \(G_2\)-manifolds. Imperial College London Ph.D. Thesis (2009)
Salamon, D.A., Walpuski, T.: Notes on the octonions. In: Proceedings of the Gökova Geometry-Topology Conference 2016, pp. 1–85. Gökova Geometry/Topology Conference (GGT), Gökova (2017)
Satake, I.: On a generalization of the notion of manifold. Proc. Natl. Acad. Sci. USA 42, 359–363 (1956)
Scaduto, C.: Computing \(\nu \)-invariants of Joyce’s compact \(G_2\)-manifolds. arXiv:2008.07239 (2020)
Segal, G.: Categories and cohomology theories. Topology 13, 293–312 (1974)
Shen, S., Yu, J.: Flat vector bundles and analytic torsion on orbifolds. Commun. Anal. Geom., to appear (2017)
Taubes, C.H.: Differential Geometry, volume 23 of Oxford Graduate Texts in Mathematics. Oxford University Press, Oxford, 2011. Bundles, Connections, Metrics and Curvature
Uhlenbeck, K.K.: Connections with \(L^{p}\) bounds on curvature. Commun. Math. Phys. 83(1), 31–42 (1982)
Walpuski, T.: \(G_2\)-Instantons on \(G_2\)-Manifolds. 2013. Thesis (Ph.D.)—Imperial College London
Wehrheim, K.: Anti-self-dual instantons with Lagrangian boundary conditions. I. Elliptic theory. Commun. Math. Phys. 254(1), 45–89 (2005)
William, P.T.: Three-Dimensional Geometry and Topology. Vol. 1, volume 35 of Princeton Mathematical Series. Princeton University Press, Princeton, NJ, 1997. Edited by Silvio Levy
Acknowledgements
The author is grateful for Simon Donaldson for suggesting this project with patient guidance and encouragement. He also wants to thank Donghao Wang, Daniel Platt, and Thomas Walpuski for enlightening discussions.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author has no Conflict of interest to declare that are relevant to the content of this article
Additional information
Communicated by E. Smith.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Ma, L. On Counting Flat Connections Over \(G_2\)-Orbifolds. Commun. Math. Phys. 405, 124 (2024). https://doi.org/10.1007/s00220-024-05013-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00220-024-05013-7