In this short note, we present some evidence towards the existence of an algebra of BPS $G_2$ instantons. These are instantonic configurations that govern the partition functions of 7d SYM theories on local $G_2$ holonomy manifolds $mathcal X$. To sh
ed light on such structure, we begin investigating the relation with parent 4d $mathcal N=1$ theories obtained by geometric engineering M-theory on $mathcal X$. The main point of this paper is to substantiate the following dream: the holomorphic sector of such theories on multi-centered Taub-NUT spaces gives rise to an algebra whose characters organise the $G_2$ instanton partition function. As a first step towards this program, we argue by string duality that a multitude of geometries $mathcal X$ exist that are dual to well-known 4d SCFTs arising from D3 branes probes of CY cones: all these models are amenable to analysis along the lines suggested by Dijkgraaf, Gukov, Neitzke and Vafa in the context of topological M-theory. Moreover, we discuss an interesting relation to Costellos twisted M-theory, which arises at local patches, and is a key ingredient in identifying the relevant algebras.
Motivated by M-theory, we study rank n K-theoretic Donaldson-Thomas theory on a toric threefold X. In the presence of compact four-cycles, we discuss how to include the contribution of D4-branes wrapping them. Combining this with a simple assumption
on the (in)dependence on Coulomb moduli in the 7d theory, we show that the partition function factorizes and, when X is Calabi-Yau and it admits an ADE ruling, it reproduces the 5d master formula for the geometrically engineered theory on A(n-1) ALE space, thus extending the usual geometric engineering dictionary to n>1. We finally speculate about implications for instanton counting on Taub-NUT.
We consider the non-perturbative superpotential for a class of four-dimensional $mathcal N=1$ vacua obtained from M-theory on seven-manifolds with holonomy $G_2$. The class of $G_2$-holonomy manifolds we consider are so-called twisted connected sum (
TCS) constructions, which have the topology of a K3-fibration over $S^3$. We show that the non-perturbative superpotential of M-theory on a class of TCS geometries receives infinitely many inequivalent M2-instanton contributions from infinitely many three-spheres, which we conjecture are supersymmetric (and thus associative) cycles. The rationale for our construction is provided by the duality chain of arXiv:1708.07215, which relates M-theory on TCS $G_2$-manifolds to $E_8times E_8$ heterotic backgrounds on the Schoen Calabi-Yau threefold, as well as to F-theory on a K3-fibered Calabi-Yau fourfold. The latter are known to have an infinite number of instanton corrections to the superpotential and it is these contributions that we trace through the duality chain back to the $G_2$-compactification.
We apply the modular approach to computing the topological string partition function on non-compact elliptically fibered Calabi-Yau 3-folds with higher Kodaira singularities in the fiber. The approach consists in making an ansatz for the partition fu
nction at given base degree, exact in all fiber classes to arbitrary order and to all genus, in terms of a rational function of weak Jacobi forms. Our results yield, at given base degree, the elliptic genus of the corresponding non-critical 6d string, and thus the associated BPS invariants of the 6d theory. The required elliptic indices are determined from the chiral anomaly 4-form of the 2d worldsheet theories, or the 8-form of the corresponding 6d theories, and completely fix the holomorphic anomaly equation constraining the partition function. We introduce subrings of the known rings of Weyl invariant Jacobi forms which are adapted to the additional symmetries of the partition function, making its computation feasible to low base wrapping number. In contradistinction to the case of simpler singularities, generic vanishing conditions on BPS numbers are no longer sufficient to fix the modular ansatz at arbitrary base wrapping degree. We show that to low degree, imposing exact vanishing conditions does suffice, and conjecture this to be the case generally.
