{'fraction_non_alphanumeric': 0.04720141528964505, 'fraction_numerical': 0.02484285015244476, 'mean_word_length': 3.9611951447245564, 'pattern_counts': {'":': 3, '<': 3, '<?xml version=': 0, '>': 7, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 28, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
4-manifolds and topological modular forms

We build a connection between topology of smooth 4-manifolds and the theory of topological modular forms by considering topologically twisted compactification of 6d (1,0) theories on 4-manifolds with flavor symmetry backgrounds. The effective 2d theory has (0,1) supersymmetry and, possibly, a residual flavor symmetry. The equivariant topological Witten genus of this 2d theory then produces a new invariant of the 4-manifold equipped with a principle bundle, valued in the ring of equivariant weakly holomorphic (topological) modular forms. We describe basic properties of this map and present a few simple examples. As a byproduct, we obtain some new results on 't Hooft anomalies of 6d (1,0) theories and a better understanding of the relation between 2d (0,1) theories and TMF spectra.

1 Introduction The existence of non-trivial superconformal theories in six dimensions has been one of the major discoveries of the past few decades in string theory. These come in two classes depending on the number of supersymmetries: (2,0) or (1,0). The case of (2, 0) has been the most studied one and it comes in ADE-types [1]. The A-type is realized by parallel M5 branes in M-theory [2]. The (1, 0) is far more extensive in variety and a recent classification of them has been proposed in [3][4][5] . They are related to singularities in elliptic Calabi-Yau threefolds. 1 These theories are interesting in their own right in 6 dimensions as novel quantum systems which are decoupled from gravity. Moreover there has been tremendous activity by studying their compactifications down to 4 and 3 dimensions to get novel theories even in lower dimensions. On the other hand (2, 0) theories have been used to obtain invariants for manifolds in 4 and 3 dimensions [6][7][8][9][10][11][12][13][14]. Namely one considers topologically twisted theories by embedding an SU (2) + part of spin connection SU (2) + × SU (2) − for 4-manifolds or the SU (2) holonomy for the three manifold, with an SU (2) subgroup of R-symmetry group which is SO(5), leading to supersymmetric theories in lower dimensions. In particular for the generic 4-manifolds this leads to is (0, 2) in 2 dimensions and for the case of 3-manifolds leading to N = 2 theories in 3d. However there are far more 6 dimensional (1, 0) theories and it is natural to ask what kinds of invariants do they lead to when compactifying them to lower dimensions. Unlike the (2, 0) case, the R-symmetry for these theories is exactly SU (2) so it is the most economical one to allow defining topologically twisted theories for 4-and 3-manifolds! Twisted compactifications of them on 4-manifolds lead to (0, 1) supersymmetric theories in 2d 2 and N = 1 supersymmetric theories in 3d. Topological aspects of the resulting 2d and 3d theories can be viewed as invariants associated to 4-and 3manifolds. In other words we associate to each three-manifold a 3d N = 1 supersymmetric quantum field theory where T labels a particular 6d (1,0) Theory. Similarly to each 4-manifold it associates a 2d (0, 1) theory, Evaluating an elliptic genus [15] of T [M 4 ] thus should produce an invariant of M 4 valued in the ring of modular forms MF. The ordinary elliptic genus is believed to be extendable to the so-called topological Witten genus σ, valued in the ring π * TMF of (stable) homotopy groups of the spectrum of topological modular forms TMF. 3 Thus, naively, we have the following diagram: However, the 6d (1, 0) theories are typically richer than their (2, 0) counterparts: They typically come equipped with additional global symmetries. This allows one to turn on background gauge fields in the flavor group G. In the 4d case this amounts to choosing an instanton background and in 3d case to a flat bundle in G. 4 Due to various technicalities, discussed in detail in the main part of the paper, one needs to refine the statement as follows. Let the flavor symmetry of the 6d theory be G, and the maximal order (modulo -in the multiplicative sense -perfect squares) of the elements of the defect group [16] be N 0 . This is related to the analog notion of "spin structure" for the 6d (1, 0) theory and is needed to define the partition function of (1, 0) theories on 6-manifolds. Fix a subgroup G ⊂ G for which we have turned on the background field on the 4-manifold and let G 2d := Centralizer G (G ) (1.4) be its centralizer subgroup. This corresponds to the group which can be viewed as the surviving portion of the flavor symmetry group in 2d. Then there is a following diagram 2 If it is a Kähler manifold, the supersymmetry of the 2d theory will be enhanced to (0, 2) while for hyper-Kähler manifolds it leads to (0, 4) theories. 3 See Section 3 and Appendix A for details. 4 We can use abelian subfactors in G and turn on constant fluxes in addition to the above choices.
-2 -of maps: T σ equivariant elliptic genus (1.5) where MF G 2d (Γ 0 (N 0 )) is the ring of weakly holomorphic G 2d -equivariant modular forms with respect to congruence subgroup Γ 0 (N 0 ) and R(G 2d ) is the representation ring of G 2d . In general, we do not expect the map σ, the equivariant topological Witten genus, to be defined for all 2d theories obtained in this way, but only for those theories whose space of bosonic zero-modes is G 2d -compact (i.e. fixed loci under the G 2d -action are all compact). However, as we will see later, the composition σ • T is still expected to be defined for (almost) all 4-manifolds if a generic map to BG is chosen. This is because twisting the 2d partition function with flavor symmetry G 2d will get rid of zero modes and renders the path-integral finite.
To get invariants for the three manifolds in this way, the easiest thing to consider is M 3 × S 1 and turn on instanton flavor background leading again to (0, 1) theory in 2d for each choice of instanton background. 5 Finally the main question is how do we actually compute the corresponding modular forms for arbitrary M 4 with some G-bundle on it. It turns out that this is not easy, unfortunately. Nevertheless for some special cases of the 6d theory and for some special M 4 such as product of a pair of Riemann surfaces, we have managed to compute it. The idea is to use the knowledge of the 4d N = 1 theory obtained for these theories when we compactify from 6d to 4d on a Riemann surface [17][18][19], and use this to compute the partition function on T 2 times another Riemann surface. Part of the difficulty in computing the partition functions is that the 6d (1, 0) theories do not typically have a tangible field theoretic description. However, compactifying them on a circle, and going to 5d, they do seem to have convenient gauge theoretic descriptions. Viewing this circle as one of the two circles of elliptic genus torus T 2 , we formulate the necessary computation to obtain Witten genus from this 5d perspective. Even though we have not used this picture to do explicit computations, we believe this may hold the key to more general approach to such computations in the future.
From a mathematical perspective, since 6d (1, 0) theories are classified by singularities of elliptic Calabi-Yau threefolds, we can summarize the maps by saying that each singular elliptic Calabi-Yau ECY gives rise to a map from 4-manifolds (which of course includes M 3 × S 1 ) to topological modular forms: ECY : {4-manifolds} → π * (TMF). 5 If G is trivial, there are other ways, discussed in the paper, where we can obtain invariants for M3.
If resulting 6d (1, 0) theory is relative or has flavor symmetries, the target should of course be π * TMF G 2d (Γ 0 (N 0 )). As we will explain later, this map can be upgraded into a functor between categories. Although this does not necessarily provide stronger invariants, it incorporates 3-manifolds into the story in an interesting way. In a sense the new invariants we associate to four manifolds are extensions of Donaldson's invariants: If we reverse the order of compactification and first compactify on T 2 and then on the four-manifold, the theory has N = 2 supersymmetry in four dimensions. It differs from the usual twist studied by Witten [20], in that it includes extra degrees of freedom coming from six dimensions. These extra fields would lead to a modular partition function instead of what one has in the case of Donaldson theory. In that sense they have a feature more similar to N = 4 Yang-Mills theory which leads to modular partition functions [6]. On the other hand they categorify the four manifold invariants, in the sense that if we compactify the 6d (1, 0) theory on a four manifold the Hilbert space of supersymmetric states of the (0, 1) theory in 2d together with all the residual flavor symmetries which act on them. Thus we end up with a rich class of invariants for four manifolds which from the physics perspective is rather interesting and one expects them to lead to new mathematical insights in understanding invariants for four manifolds.
The paper is organized as follows. The maps T and σ are carefully introduced in sections 2 and 3, respectively. In particular, many parts of section 2 are devoted to various aspects of compactification on 4-manifolds, from six dimensions down to two dimensions. The latter, then, becomes the main subject of section 3, where connections to TMF are introduced and, in particular, what one might call "equivariant TMF" is proposed based on physics of 2d (0, 1) theories. The discussion in sections 2 and 3 applies to general (0, 1) theories in six and two dimensions. Concrete examples, which illustrate this general discussion, are worked out in section 4. The "mathematical content" of 2d (0, 1) theories T [M 4 ] and 3d N = 1 theories T [M 3 ] involves delicate invariants of 4-manifolds and 3manifolds, which sometimes can be formulated using standard gauge theory techniques. This is explained in section 5. In Appendix A we review some relevant facts about the spectrum of the topological modular forms. In Appendix B we give a brief review of Bauer-Furuta invariants. Finally, in Appendix C, we look back at the "big picture" and ask how far, beyond the existent set of invariants, can 6d (1, 0) theories take us in exploring the wild world of smooth 4-manifolds.
group is contained in an SO(4) E × U (1) E subgroup of SO(6) E . Along the 4-manifold M 4 , we perform a partial topological twist to preserve at least one supercharge. The supersymmetry algebra of the 6d theory contains an SU (2) R R-symmetry. The topological twist is then realized by identifying the SU (2) R principle bundle with the SU (2) + factor of Spin(4) E = SU (2) + × SU (2) − bundle, the lift of the SO(4) E orthonormal tangent frame bundle of M 4 . Later in the paper we will further elaborate on the requirement of M 4 being Spin and when this condition can be relaxed. After the twist, the supercharges transform as (4,2) → ((2, 1) (2. 2) The supercharge in the (1, 1) + 1 2 representation becomes a scalar on the M 4 , and therefore defines a globally constant supersymmetry transformation along M 4 of general holonomy. By taking the size of M 4 to be small compared to the size of T 2 τ , one obtains an effective 2d theory which, by analogy with [9], we shall denote as T [M 4 ] without making explicit the dependence on the choice of the parent 6d theory. From the viewpoint of this 2d theory, the supercharge in the (1, 1) + 1 2 representation will be the supercharge of the two-dimensional (0, 1) supersymmetry algebra.
While in general the physical theory T [M 4 ] may depend on the conformal class of the metric on M 4 , in this paper we study supersymmetry-protected quantities that are invariant under diffeomorphism of M 4 and, therefore, are independent of the choice of the metric. One such invariant that will play a central role in this paper is the partition function of the 6d theory on M 4 × T 2 τ with an odd Spin structure on T 2 τ . As it is protected by supersymmetry, one indeed expects it to depend only on the diffeomorphism class of M 4 , which is completely determined by the topology and smooth structure.
In particular, this partition function should not depend on the relative size of M 4 and T 2 τ . This allows different interpretations of the 6d partition function: 3) The second quantity in (2.3) is the elliptic genus of T [M 4 ], given by a trace over the Hilbert space of T [M 4 ] on a circle in the Ramond sector [15].
Here, as usual, q = exp(2πiτ ). The third quantity in (2.3) is the partition function of the effective 5d theory obtained by compactification of the 6d theory on a circle with fixed value q of the holonomy of U (1) Kaluza-Klein (KK) graviphoton symmetry along S 1 . Finally, Z 4d [M 4 ](τ ) is the partition function of the effective 4d theory obtained by further compactifying the 5d theory on a circle, with all KK modes included. The 4d theory has N = 2 supersymmetry and is topologically twisted on M 4 . The 4d R-symmetry is SU (2) R where SU (2) R is inherited from the parent 6d theory. Therefore, from the 4d point of view the topological twist is the usual Donaldson-Witten twist performed by identifying the SU (2) R with the SU (2) + factor of Spin(4) E = SU (2) + × SU (2) − space-time symmetry. The same conclusion, of course, follows from the fact that 4d N = 2 theories (unlike N = 4) have an essentially unique topological twist on manifolds of generic holonomy 6 . Generically the 4d theory is not superconformal and does not have extra U (1) r Rsymmetry. Due to the KK modes it has hypers with mass of order τ which explicitly brake it. The parameter τ can also appear in 4d theory as a holomorphic gauge coupling constant. In certain special cases one can expect an effective 4d description in terms of a superconformal 4d theory where τ in (2.3) plays the role of a holomorphic exactly marginal coupling. We will elaborate on the 4d and 5d interpretations on the partition function in Section 5.
Note that, apart from the usual elliptic genus (2.4), it is believed that there exist other quantities invariant under SUSY-preserving deformations of 2d (0, 1) theories valued in finite cyclic subgroups of the commutative ring π * TMF [21,22]. Here, TMF is the spectrum of a generalized cohomology theory known as "topological modular forms" and π * denotes stable homotopy groups (see e.g. [23]). Roughly speaking, the commutative ring π * TMF can be understood as an extension of the subring of weakly holomorphic modular forms, where the ordinary elliptic genus takes values, by the ideal of π * TMF generated by all torsion elements. For details see section 3 and Appendix A.
Specifically, for each 2d (0, 1) theory with the gravitational anomaly there should be an invariant, which we call the topological Witten genus, 7 valued in the abelian group π d TMF. The value of the invariant in the free part of π d TMF coincides with the usual elliptic genus and can be non-zero only when d ≡ 0 mod 4, but there are in addition torsion-valued invariants. The simplest example is the mod-2 index first mentioned in [15], while the more general torsion-valued invariants are currently understood only in terms of 2d (0, 1) sigma-models with compact target space. We expect that such invariants, much like the usual elliptic genus discussed earlier, all have appropriate counterparts on the 4-manifold side. Since they are still associated to an elliptic curve, we expect that on the 5d/4d side one would need to consider certain observables of the same 5d/4d theory or its mild modification (such as e.g. orbifolding). Such observables then should produce torsion-valued invariants of smooth 4-manifolds.
Although in this paper we do not provide an explicit realization of such torsion-valued invariants directly in terms of 4-manifolds, it is natural to expect that, at least in some cases, such invariants are closely related to (equivariant) Bauer-Furuta invariant [24,25] (also see Appendix B for a brief review) and its possible generalizations. Bauer-Furuta invariant and its generalizations are valued in the (equivariant) stable homotopy groups of spheres. The value of an invariant is given by the homotopy class of a certain "monopole map", determined by the action of the supercharge on the space of fields in an N = 2 4d topologically twisted gauge theory on M 4 . The possibility of the relation to the invariants constructed via compactifications of 6d (1,0) theories is supported by the fact that the torsion part of the ring π * tmf in low degrees is very close to π * S, the ring of stable homotopy groups of spheres. Moreover, there is a canonical map S → tmf between the corresponding spectra. It would be interesting to investigate if one can use a similar approach to define invariants valued in the torsion subgroups of π * TMF for general (0, 1) 2d theories.

Flux compactifications of 6d (1, 0) theories
For a generic 6d theory and a 4-manifold M 4 , the most basic partition function (2.3) is often divergent due to presence of non-compact bosonic zero-modes. As we illustrate explicitly in section 2.8, these non-compact zero modes originate from 6d bosonic zero modes and then persist in 2d and 5d/4d descriptions as well. Thus, from the 5d/4d perspective, they make the partition function Z 5d [M 4 × S 1 ](q) = Z 4d [M 4 ](τ ) ill-defined because the moduli spaces of the solutions of the corresponding BPS equations are non-compact. (And, as will be discussed in section 2.12, their virtual fundamental class is ill-defined.) This problem, of course, also appears at the level of the 2d partition function, the elliptic genus (2.4), because such non-compact zero-modes are present in the 2d theory T [M 4 ] as well. The presence of non-compact bosonic zero-modes also makes the torsion-valued invariants mentioned earlier ill-defined. And, even when there are no such bosonic zero-modes, there might be fermionic zero-modes which can force that partition function to vanish. However, all such issues can be fixed by turning on non-trivial background fields for global symmetries.
An important feature that distinguishes 6d (1, 0) theories from 6d (2, 0) theories is that the former generically have non-trivial flavor symmetries. Using these symmetries, one can define more general compactifications on M 4 × T 2 τ by turning on background vector fields for the global symmetry G, while still preserving at least one real supercharge. Similar general backgrounds were considered for compactifications of 6d (1, 0) theories on Riemann surfaces in [18,19,26]. On a Riemann surface one can turn on fluxes for an abelian subgroup of the global symmetry G as well as the holonomies consistent with the chosen fluxes. On 4-manifolds there is a new feature: namely, apart from turning on fluxes and holonomies, one can also consider configurations with non-trivial instanton number for a non-abelian subgroup of G. In order to preserve supersymmetry, the background field should be self-dual. This is the same condition as imposed on dynamical gauge fields of 4d N = 2 theories by supersymmetric localization, except in the present context they are fixed background fields and are not integrated over.

4-manifolds with special holonomy
In special cases when M 4 admits a metric of reduced holonomy, the supersymmetry of the 2d theory T [M 4 ] is enhanced. In particular, for a generic Kähler M 4 the holonomy group is U (2) ⊂ SO(4) and the supercharges in (2.2) are further decomposed as follows, Both of the two supercharges in 1 0,+ 1 2 representation can be made constant along the M 4 and the effective 2d theory T [M 4 ] will have (0, 2) supersymmetry.
When M 4 is hyper-Kähler, the holonomy is further reduced to SU (2) ⊂ U (2) and there will be four constant supercharges forming (0, 4) super-Poincaré algebra in 2d. Furthermore, in the hyper-Kähler case the twisted theory is equivalent to the untwisted one, since the SU (2) + bundle used for twisting becomes trivial.
Another special case is when is embedded as the diagonal subgroup. The supercharges then transform in the following representations: . (2.7) The two supercharges in representations 1 ± 1 2 are constant along M 3 and form the (1, 1) superalgebra of the 2d theory T [M 4 ]. Alternatively, one can compactify the 6d theory directly on M 3 and obtain an effective 3d N = 1 theory which, by analogy with [27], we denote T [M 3 ].
Note that the case M 4 = M 3 × S 1 is somewhat degenerate, because when the supersymmetry is enhanced to (1, 1) the elliptic genus (2.4) of T [M 4 ] becomes q-independent. One way to avoid this is to consider instead From the 2d point of view, this means choosing different Spin structure on T 2 τ for left-and right-moving fermions. Such background, however, generically does not have a natural lift to 6d theory on M 4 × T 2 τ because e.g. a single 6d spinor field can produce 2d fermions of different chirality, as will be explicitly demonstrated in section 2.8. Another issue with (2.8) is that it cannot be lifted to a partition function of the 3d theory T [M 3 ] on T 3 = S 1 × T 2 τ because F R , the chiral fermion number symmetry, emerges only in the strict 2d limit. A more clever way to produce invariants of 3-manifolds in this framework is to construct a certain 4-manifold for each M 3 in a "canonical way," other than just M 3 × S 1 . We shall pursue this approach in section 2.13.

Anomaly polynomial reduction
Some basic information about the effective 2d theory can be obtained from its anomaly polynomial I 4 . It can be obtained by integrating the degree-8 anomaly polynomial I 8 of the 6d theory over M 4 . The anomaly polynomials of general 6d theories were studied in [28,29]. Various explicit examples can be found in [30].
The anomaly polynomial of a generic 6d (1,0) theory with global symmetry G has the following form, where c 2 (R) is the second Chern class for the R-symmetry bundle, p 1 (T ) and p 2 (T ) are Pontryagin classes of the tangent bundle, and α, β, γ, δ are real coefficients. In the above formula, we explicitly separated the contribution coming from the 't Hooft anomalies for the global symmetry G, possibly mixed with other symmetries, Here, ω (i) n (G) can be understood as elements of H 2n (BG, Q), 8 so that the whole anomaly polynomial is I 8 ∈ H 8 (BSO × BG × BSU (2) R , Q) and defines a Chern-Simons-like invertible TQFT in 7 dimensions. The question of proper quantization of the coefficients will be addressed in section 2.11.
The anomaly polynomial of the effective 2d theory T [M 4 ] can be obtained by integrating the above mentioned 8-form over a 4-manifold. When no background for the flavor symmetry G is turned on, and when the 4-manifold M 4 is of generic holonomy, the anomaly polynomial of T [M 4 ] reads and ω (2d) where χ and σ denote Euler characteristic and signature of M 4 .

Central charges and Kähler 4-manifolds
If the 4-manifold M 4 is Kähler, the effective 2d theory has (0, 2) supersymmetry and one can make a naive prediction for individual values of the central charges c L and c R . This is because for Kähler M 4 , the U (1) R subgroup of the six-dimensional SU (2) R symmetry remains unbroken after the topological twist. This U (1) R can be identified with an Rsymmetry in the 2d theory. Assuming that U (1) R is exactly the R-symmetry of the IR SCFT (i.e. it does not mix under the RG flow with any U (1) global symmetries either originating from 6d, or emerging in the infrared), we have 14) 8 When G = SU (N ) or U (N ) they coincide with Chern classes up to factors, ω where c R = 18 · (3ασ − 2βσ + 2αχ). (2.15) When the 4-manifold is hyper-Kähler (in the closed case this means it is K3 or T 4 ) we have 2χ + 3σ = 0 and therefore which, taking into account the fact that σ/16 ∈ Z and the quantization condition (2.91) on β, is always a multiple of 6, which is consistent with the small N = 4 2d superconformal algebra in the right-moving sector of the 2d theory T [M 4 ]. When the R-symmetry is SU (2) R , or if the 6d theory has no U (1) factors in the flavor symmetry G (and no accidental symmetries appear in the IR) then there should be no mixing between 2d R-symmetry and flavor symmetries. However, even in these cases it may happen that the formulas (2.15)-(2.16) do not give the right value of the right-moving central charge of the 2d (1,0) SCFT T [M 4 ] in the IR. It is possible that the UV U (1) R (SU (2) R in the hyper-Kähler case) R-symmetry "splits" into a U (1) (resp. SU (2)) leftmoving global symmetry times U (1)) (resp. SU (2)) right-moving R-symmetry. Then the anomaly of U (1) (SU (2)) UV symmetry gives just the difference between the levels of those chiral IR U (1)'s (SU (2)'s), not just the level of the IR U (1) (SU (2)) right-moving R-symmetry. A similar scenario was also proposed of for effective (0,4) 2d theories obtained by compactification of 6d (2,0) theories on S 2 × Riemann surface [31].
This phenomenon can be already observed in the case of theory of a single free (1,0) 6d hypermultiplet (cf. Section 2.8). The formulas above give c R = 0 for any Kähler 4manifold. When σ > 0 this indeed agrees with the fact 2d theory consists of σ/8 (0,2) Fermi multiplets with R-charge zero. However, when σ < 0 the 2d theory is −σ/8 (0,2) chiral multiplets with R-charge 1 and the actual c R = −3σ/16. This is explained by observing that U (1) R , the maximal torus of the six-dimensional SU (2) R , acts on both left-and rightmoving scalars of the 2d chiral multiplets with the same charge. Its anomaly is zero and not the same as the anomaly of the U (1) R-symmetry acting on just the right-moving scalar.
In Appendix C we discuss the relation between conditions c R > 0, c L > 0 and the geography of complex surfaces.

Turning on flavor symmetry background
In this section we consider the effect of turning on a non-trivial bundle for a subgroup of the flavor symmetry G ⊂ G. In particular, as we explain below, in general it modifies the anomaly polynomial of the effective 2d theory. For calculation of anomalies, only the isomorphism class of a G -gauge bundle over M 4 matters. Equivalently, the relevant information is given by the homotopy class of the map to the classifying space of BG : Lie group G j inside G the choice of the map to BG j in particular involves the choice of the instanton number in H 4 (M 4 , Z). It is given by the pullback of the free generator of H 4 (BG j , Z) ∼ = Z. Note, that supersymmetry requires a positivity condition on the instanton numbers (defined with the proper sign), and unless it is satisfied, the supersymmetry protected quantities, such as the partition function, will vanish. As in the introduction, let be the centralizer subgroup of G in G. It has a meaning of the flavor symmetry that remains unbroken in the effective 2d theory after turning on a generic background for the G -bundle on M 4 . Sometimes, we will denote the effective 2d theory as T [(M 4 , µ)] in order to emphasize the dependence on the topological type of a background flavor symmetry bundle. Thus, the compactification of the 6d theory on 4-manifolds defines the following map, In what follows we determine explicitly the anomaly polynomial of T [(M 4 , µ)]. Since G and G 2d := Centralizer G (G ) are two commuting subgroups of G, the multiplication map is a homomorphism and therefore induces a continuous map The maps µ, and φ can be used to construct the following map reducing cohomological grading by 4: : is the pairing with the fundamental class of M 4 , supported in degree 4. We will also need the following map preserving cohomological grading: with the pullback being the projection on the unit in the cohomology ring, * : The anomaly polynomial of the effective 2d theory on M 4 of generic holonomy is then modified to and ω (2d) In a more formal way, the relation between I 8 and I 4 can be described as follows. Assuming the coefficients of the anomaly polynomials are rational numbers (the question of the proper quantization condition on the coefficients will be discussed in section 2.11), the anomaly polynomial of the 6d theory can be understood as a Q-valued bordism invariant of Spin manifolds with SU (2) R and G-bundles, where, as usual, Ω ξ d (X) denotes d-dimensional bordism group of manifolds equipped with a ξ-structure and a map to X. The elements of the group are represented by pairs (M d , α) where M d is a d-manifold equipped with a ξ-structure and α : M d → X. Similarly, (2.32) Then, consider the map where λ : M 4 → SU (2) R is the map determined by the topological twisting procedure, that is the projection onto the first component of the Spin structure map Then, the relation between the two anomaly polynomials can be concisely written as The anomaly polynomials describe only perturbative 't Hooft anomalies of the respective theories. The explicit relation between non-perturbative anomalies in 6d and 2d can be obtained in a similar way. We will further elaborate on this in section 2.11.
One of the nice bonus features of the flavor symmetry background, already mentioned earlier, is that it helps to regularize the partition function (2.3) which otherwise might be ill-defined due to bosonic zero-modes. When this happens, the extension of the elliptic genus to the value of the topological Witten genus in π * TMF may also be ill-defined. There is, however, a simple toy example of the map from 4-manifolds to π * TMF that avoids this problem and is completely well-defined, even without flavor symmetry backgrounds.

A toy model
There is a simple map where the right-hand side is actually the ordinary, familiar version of the TMF (i.e. nonequivariant and level-1). This map is quite simple and depends only on the topology of M 4 . It vanishes on many 4-manifolds, but at the same time the image contains some non-trivial torsion elements and has simple behavior under the connected sum. Specifically, the map is given by post-composing the map , viewed as the space of harmonic 2-forms. This is the direct (0, 1) analogue of the (0, 2) lattice CFT considered in [10]. Note that, while the 2d theory depends on the conformal class of the metric on M 4 , theories associated to homeomorphic 4-manifolds can be continuously connected while preserving (0, 1) supersymmetry and, therefore, have the same TMF class. The composition with the topological Witten genus gives a topological modular form of degree determined by b ± 2 of the manifold, Although the map (2.37) does not arise from any physical 6d theory, it exhibits many qualitative features of the full-fledged map in (1.5). This is because the 2d lattice SCFT can be understood as a subsector of the 2d theory produced by compactification of a single 6d (1, 0) tensor multiplet, which will be discussed in detail in section 2.8. More precisely, this is the sector that arises from the reduction of the self-dual 2-form field, arguably the most non-trivial ingredient of 6d theories! At the same time, unlike 2d theories T [M 4 ] that arise from compactification of a full 6d SCFTs, the lattice SCFT above has no non-compact bosonic zero-modes and is always an absolute Spin-theory. The absoluteness follows from the fact that the lattice H 2 (M 4 , Z) is self-dual for closed 4-manifolds. So, there is a unique partition function for a given Spin structure on T 2 τ . Another simplification compared to the map M 4 → T [M 4 ] is that the definition of the map (2.37) requires neither Spin structure on M 4 , nor smooth structure.
In certain cases the lattice SCFT can be given a nice compact supersymmetric sigmamodel description. For example, when M 4 = S 2 × S 2 , it can be described as a (0, 1) sigma-model with target S 1 with an odd Spin structure, cf. [10]. The size of S 1 is given by the ratio of the sizes of S 2 's in M 4 . The topological Witten genus in this case is given by the value of a mod-2 index of the Dirac operator on the target space. The value in this case is non-trivial and is given by the generator η ∈ π 1 tmf Z 2 ⊂ π 1 TMF π 1 tmf ∆ −24 . (2.39) Another example worth mentioning is M 4 = CP 2 . The (0, 1) lattice SCFT in this case can be described in terms of the following free fields: a compact real chiral (right-moving or, equivalently, holomorphic) boson φ and a real right-moving fermion ψ 3 . In terms of these fields, the supercharge can be written as Q = ∂φψ 3 . According to the well-known bosonisation, a theory of a free compact real chiral boson is equivalent to a theory of one free complex right-moving fermion ψ ≡ ψ 1 + iψ 2 . Moreover, under the bosonisation map, the fields are related in such a way that ∂φ = ψ 1 ψ 2 . Therefore, we arrive at a theory of three right-moving fermions with the supercharge Q = ψ 1 ψ 2 ψ 3 . The value of the topological Witten genus for the latter is believed to be, cf. [32], where ν is the generator of the Z 24 group. 9 This fact can be understood as follows. The theory of three free real fermions with the supercharge Q = ψ 1 ψ 2 ψ 3 can be interpreted as the (0, 1) supersymmetric SU (2) WZW [33,34] with zero bosonic level (the total level of the affine SU (2) symmetry differs by +2 from the bosonic one). In the UV such theory can be described as an S 3 sigma-model with a String-structure given by the generator [S 3 ] ∈ H 3 (S 3 , Z) ∼ = Z or, in the string terminology, one unit of NS-NS flux (see e.g. [35]).
Here we use the fact that on oriented S 3 the space of String-structures can be canonically identified with H 3 (S 3 , Z). Note that the map T, unlike the full-fledged map T given by twisted compactification of a 6d SCFT, is multiplicative in the π * TMF ring under the connected sum operation. This is because connected sum operation corresponds to stacking 2d lattice SCFTs up to continuous deformation, i.e., (2.41) Note that we have the relations η 3 = 12ν, η 4 = 0, so in particular taking connected sum with S 2 × S 2 is a nilpotent operation of order-4. The same is true for the CP 2 # operation, since ν 4 = 0. Table 1. Some examples of values of the map T : {4-manifolds} → π * TMF. As in the rest of the paper η and ν denote the generators of π 1 tmf ∼ = Z 2 and π 3 tmf ∼ = Z 24 respectively, and [E 4 /∆] is a generator of π −16 TMF that will be explained later. The graded ring π * tmf is understood as a subring of π * TMF := π * tmf[∆ −24 ]).

T [M 4
] for 6d (1, 0) hyper, vector and tensor multiplets In this section we consider the KK reduction of three basic 6d (1, 0) multiplets -tensor, hyper, and vector -on a 4-manifold. For the sake of technical simplicity we assume that the homology of M 4 has no torsion. Then, compactification of free 6d (1, 0) multiplets on M 4 with topological twist described earlier gives the following 2d (0,1) content: 6d (1, 0) tensor multiplet: • (0, 1) Γ = H 2 (M 4 , Z) lattice CFT described in detail in section 2.7. Note that in case when H 2 (M 4 , Z) has torsion, the lattice SCFT will be stacked with a 2d TQFT, which is a Tor H 2 (M 4 , Z)-finite-group gauge theory.
As one can see, the presence of b 0 non-compact chiral multiplets makes the elliptic genus, and, more generally, topological Witten genus ill-defined. On the other hand, if one reduces the tensor multiplet on T 2 τ , it will produce a 4d N = 2 vector multiplet. For completeness, let us also write the formula for the resulting gravitational anomaly in 2d, which can be obtained by combining the contributions from the fields above, Equivalently it can be obtained by integration of the 6d anomaly polynomial over M 4 , as described in section 2.4.
The field content depends on the sign of the signature of M 4 , and when σ = 0, the 2d theory is trivial.
The results above are given by counting harmonic spinors on a 4-manifold. Note that, naively, we get h ± copies 2d (0,1) Fermi/chiral multiplet, where h ± denote the number of chiral/anti-chiral harmonic spinors. However, since each pair of Fermi and chiral multiplets can be given a mass, only the difference h + − h − matters and its value is determined by the index theorem. Note, in this simple example one can see explicitly that, in order to define a map from 4-manifolds to 2d (0, 1) theories one needs 4-manifolds to be Spin; otherwise, the signature is not divisible by 4 in general. For smooth Spin manifolds, σ ∈ 16 Z by Rokhlin theorem, and the formulas above make sense.
Again, for σ < 0 and without flavor symmetry backgrounds, the presence of |σ|/4 non-compact chiral multiplets will make the topological Witten genus ill-defined.
• b 1 (0, 1) compact chiral multiplets. The compactness follows from the fact that the scalar fields are given by holonomies of the vector field on the 4-manifold. After taking into account large gauge transformations, they are effectively valued in • b 0 (0, 1) vector multiplets (equivalent to Fermi multiplets on shell).
Unlike the cases of tensor and hyper-multiplets, here one finds no non-compact bosonic zero-modes for any M 4 . If one reverses the order of compactification, the 6d vector multiplet on T 2 τ gives a 4d N = 2 vector multiplet, same as in the case of 6d tensor multiplet. The corresponding gravitational anomaly is Equivalently, it can be obtained by integrating the 6d anomaly polynomial over M 4 .

A cure for non-compactness: equivariant partition functions
Consider first non-compact zero modes that originate from 6d hyper multiplets. A nice feature of 6d theories is that they generically have flavor symmetries that act non-trivially on the Higgs branch. Suppose no background flavor symmetry fields are turned on along M 4 . By computing the partition function on T 2 τ × M 4 equivariantly with respect to the unbroken flavor symmetry G 2d , one can hope that is will become finite. This will indeed be the case if there are no fixed points under the G 2d -action at the infinite boundary of the Higgs branch. By the equivariant partition function on T 2 τ × M 4 we mean the partition function with a non-trivial holonomy of the background G 2d -gauge fields along the time circle of T 2 τ turned on. In particular, for each U (1) i subgroup of G 2d this will give a U (1)-valued parameter x i (which can be naturally analytically continued to a C * -valued parameter). This will modify the partition function of the 2d theory T [M 4 ] on the torus from (2.4) to where h i denote the weights of the U (1) i -action on the Hilbert space of 2d theory on a circle. Here and in the rest of the paper, the subscript "R" stands for the Ramond sector of the Hilbert space on a circle. When it is well-defined, the right-hand side of (2. 48) gives an element of ]. Naively, one would expect the result to be a multi-variable weak Jacobi modular form. However, in general this will be spoiled by the fact that the theory T [M 4 ] should be regarded as a relative theory. We will address this in more detail in section 2.10.
The Hilbert space at each q-degree carries a representation of G 2d , and turning on a holonomy g ∈ G 2d gives a q-series with coefficients in the ring of characters of G 2d . Therefore, the equivariant elliptic genus, when well-defined, can be understood as a map where R(G) is the representation ring of G 2d , χ R are characters of irreducible representations of G 2d , and each coefficient c R,m ∈ Z ≥0 counts the multiplicity of R in the BPS Hilbert space with q-degree m. Composing it with the map (2.19) we get: We propose that the second map can be refined by replacing the equivariant elliptic genus with an appropriately defined equivariant topological Witten genus valued in the ring of G 2d -equivariant topological modular forms. However, in order to make a more precise statement one needs to address the issue of possible relativeness of the 2d theories in the image of the map T .
The non-compact zero modes originating from tensor multiplets are more subtle, since the flavor symmetry does not act on them. However, we would like to point out that free tensor multiplets actually are not present in 6d SCFTs, so a priori it is not obvious if they would contribute or not. One can hope that similarly to the compactification on 6d (2, 0) theories they do not actually contribute to supersymmetric configurations, as was argued in [6].

Defect group, relativeness and modularity level
In this section, we will for a moment ignore the technicalities associated with zero modes and background flavor symmetry bundles , and instead address a different and, in a sense, completely independent technical complication. This complication comes from the fact that many 6d (1, 0) SCFTs should be understood as relative theories, rather than absolute ones (see [36] for a general framework and discussion of such relative theories). A relative theory can be understood as a theory leaving on the boundary of a non-invertible TQFT. The partition function of a d-dimensional relative theory on a manifold M d is not a number, but rather a vector in the Hilbert space of the d + 1-dimensional TQFT on M d . In the case of a 6d (1, 0) theory, the corresponding 7d TQFT is an abelian 3-form Chern-Simons theory with action where Ω is the symmetric Dirac pairing matrix on the charge lattice of self-dual strings Λ string . In a way, the relation between 6d theory of self-dual 2-forms to 7d 3-form Chern-Simons theory is analogous to the relation between chiral WZW in 2d and 3d Chern-Simons theory. The essential information about this 7d TQFT is captured by the defect group It was proposed in [16] that, for a 6d SCFT with an F-theory realization, the defect group can be identified with the first cohomology of the three-dimensional link of the singularity in the base in the conformal limit. Note that the defect group comes equipped with a perfect bilinear pairing which is inherited from the symmetric Dirac pairing (i.e. intersection form) on Λ string . It can also be identified with the linking pairing on the first cohomology of the link of the singularity. On a general 6-manifold M 6 , k together with the intersection pairing on cohomology defines a non-degenerate antisymmetric form on H 3 (M 6 , C), and the partition function of the 6d SCFT will be labeled by elements of a Lagrangian subgroup of H 3 (M 6 , C), which, by definition, is a subgroup maximally isotropic with respect to the pairing. We are interested in the case M 6 = M 4 × T 2 τ . Suppose, for simplicity, that M 4 is simply-connected and fix a basis in H 1 (T 2 τ , Z). Then, there is natural choice of a Lagrangian subgroup isomorphic to . And, the partition function of the 6d theory can be defined as a vector labeled by a discrete flux [16,37,38], A simple example of this phenomenon is when the 6d SCFT is a (2, 0) theory of type A 1 . Then C = Z 2 and the the discrete flux a ∈ H 2 (M 4 , Z 2 ) can be identified with the 't Hooft flux of SU (2) N = 4 4d SYM on M 4 (the second Stiefel-Whitney class w 2 of the Under the change of basis on H 1 (T 2 τ , Z) the vector of partition functions transforms as follows (up to an overall extra phase corresponding to gravitational anomaly determined by anomaly polynomials): is defined by composition of intersection form on the second cohomology of M 4 with perfect pairing on C (2.53). Note that the diagonal pairing a, a is well-defined modulo 2Z when M 4 is Spin.
Since the partition function of the 6d theory on M 4 × T 2 τ can be also interpreted as the elliptic genus of the effective 2d theory T [M 4 ], it follows that the 2d theory is also relative, The corresponding 3d TQFT is the compactification of 7d 3-form Chern-Simons theory on M 4 which is the 3d Abelian Chern-Simons theory with (2.56) being Dirac pairing on the anyons. The relativeness of the 2d (0, 1) theory corresponds to the fact the elliptic genus is not a modular form but rather a vector valued modular form transforming under SL(2, Z) according to (2.55). Instead of dealing with vector-valued modular forms one can just consider Z 4d 0 [M 4 ](τ ), the partition function with vanishing discrete flux. For example, when the 6d theory is the (2, 0) theory of type A 1 , this is the partition function of 4d N = 4 SYM on M 4 with gauge group SU (2), which is known to be a modular form for the Γ 0 (2) congruence subgroup of SL(2, Z). In general, Z 4d 0 [M 4 ](τ ) is a modular form for Γ 0 (N 0 ), where N 0 is the smallest positive integer that annihilates C, i.e. N 0 · a = 0 for all a ∈ C. N 0 is also the maximal order of elements in C and can be understood more concretely as follows. The defect group is (non-canonically) isomorphic to a product of finite cyclic groups, The perfect pairing (2.53) on C is then zero on a pair of elements from two different cyclic factors, while for elements from the same factor it is given by where q i is coprime with p i . Then, is the least common multiple of all p i 's. It follows that T N 0 acts trivially on all components of the vector-valued partition function, where we used the fact that the intersection pairing on a spin 4-manifold in even. The zeroflux partition function Z To summarize, we get an invariant of T [M 4 ] under supersymmetry-preserving deformations valued in MF(N 0 ) := MF(Γ 0 (N 0 )), the ring of modular forms of level N 0 . These are modular forms invariant (up to a factor determined by weight) under the Γ 0 (N 0 ) congruence subgroup. Much as for absolute 2d (0, 1) theories, where the usual elliptic genus can be refined by the topological elliptic genus valued in π * TMF, for relative T [M 4 ] we expect to have a topological Witten genus valued in π * TMF(N 0 ), where TMF(N 0 ) := TMF(Γ 0 (N 0 )) is the spectrum of topological weakly holomorphic modular forms of level N 0 (see e.g. [39,40]).
Composing it with the map T , the compactification of a given 6d SCFT on M 4 , and ignoring the issues with non-compactness we get ("naive version"): Turning on a non-trivial flavor symmetry background on M 4 and replacing the maps by their equivariant version, we arrive at the refined version of the map (2.50): . This is the diagram announced in the Introduction. Finally, let us note that theories with the defect group, such that in the decomposition (2.58) can effectively be made absolute by considering a linear combination is a subgroup of C on which the induced pairing is trivial. This ensures that Z above is invariant under the full SL(2, Z). More generally, let p i = p i k 2 i where k i ∈ Z and p i is an integer with no perfect square factors. Then one can redefine and construct a modular form w.r.t. Γ 0 (N 0 ).

Relativeness and quantization of coefficients of the anomaly polynomials
The relative nature of the 6d and 2d theories can also be seen on the level of quantization of coefficients in the anomaly polynomials. Let us first assume that the 6d (1, 0) theory is an absolute one. Then the 't Hooft anomalies of such theories should be captured by a 7d invertible TQFT (an SPT in condensed matter language). An invertible TQFT is, in a sense, a classical topological field theory with the action S 7d , which depends on topology of the space-time manifold M 7 and on background gauge fields for the corresponding symmetries. The perturbative anomalies are encoded in a degree-8 anomaly polynomial I 8 (2.9), which determines the corresponding part of the action by the descent procedure, which defines a Chern-Simons-like theory in seven dimensions. Given that the action of the invertible TQFT is normalized such that the partition function is exp 2πi S 7d , the latter is well-defined by (2.66) if The manifolds that one can plug in the formulas above are not arbitrary, but should be such that they can be equipped with a certain stable structure -a lift of the map to BO, the classifying space of the stable orthogonal group -needed to define the boundary 6d theory and the 7d TQFT in the bulk. First of all, one obviously needs orientation and Spin structure, because 6d SCFTs in question do not have time-reversal symmetry and contain fermions. The existence of such structures is equivalent to the conditions w 1 = 0 and w 2 = 0. Then, the Wu formula implies w 3 = 0. Moreover, one can argue that the presence of self-dual 2-form fields also requires w 4 = 0 [41,42]. This can be argued as follows. Consider a theory with a single self-dual 2-form field with unit Dirac pairing Ω = 1 on Λ string ∼ = Z. The corresponding 7d Chern-Simons theory has a 3-form C. From the M-theory realization of such theory one can argue that the quantization condition for the 4-form flux G = dC in 7d Chern-Simons theory is shifted from the naive one [41,42]: Note that p 1 /2 is a well-defined integer cohomology class for a Spin manifold. Moreover, since p 1 /4 makes sense as an element of integer cohomology when w 4 = 0. However, in order to actually define p 1 /4 (given p 1 /2 is already defined by a choice of Spin structure) one needs to make some choice, which corresponds to the ambiguity of lifting p 1 /2 from the 3rd to 2nd space in the following part of the long exact sequence obtained from the short exact sequence of the coefficients This choice is equivalent to a choice of a O w 1 , w 2 , w 4 -structure on X 7 , 10 that is the lift of Spin structure with respect to of the classifying spaces. This is sometimes referred to as a Wu-structure. As usual K(Z 2 , 4) ≡ B 4 Z 2 is the 4-th Eilenberg-Maclane space for Z 2 . As an affine space, the space of such choices is isomorphic to H 3 (M 7 , Z 2 ). Note that this is the same as the choices of quadratic refinement of the linking pairing on Tor H 3 (M 7 , Z) (cf. [43,44]). However, in the BO w 1 , w 2 , w 4 language, this structure can be understood universally in any dimensions.
In particular, the 6-manifold where 6d theory lives should also have O w 1 , w 2 , w 4 structure, which is induced by O w 1 , w 2 , w 4 structure of the 7-manifold where the 3-form Chern-Simons theory lives. 11 The classifying space BO w 1 , w 2 , w 4 can be inserted between BSpin BO w 1 , w 2 and BString in the Postnikov tower for BO, in the sense that there is a diagram of fibrations, One can explicitly see that the condition w 4 = 0 is indeed required in order to have is the anomaly polynomial of a single tensor multiplet (2.43). Indeed, the gravitational part can be written as is the A-roof genus associated with the index of the Dirac operator, and gives the signature when evaluated on a 8-manifold. On a general Spin 8-manifold (2.74) obviously fails (e.g. for M 8 = HP 2 the signature is 1). But when w 4 = 0 the intersection form of 8-manifold is even and, therefore, the signature is a multiple of 8. 12 Therefore, for absolute theories, I 8 belongs to a particular subspace in (2.31), 13 ]. Its anomaly polynomial I 4 therefore should also satisfy a proper quantization constraint: or, equivalently In particular, using the explicit formula (2.11) this implies that Z on any Spin manifold X 4 . The anomaly polynomial I 4 can be obtained by integrating I 8 over M 4 as was described in detail in section (2.4). The condition (2.80) indeed will be automatically satisfied because The anomaly polynomials (2.79) and (2.81) describe only perturbative anomalies in 6d and 2d respectively. These are anomalies valued in free abelian groups. In general there are also corresponding non-perturbative anomalies valued in torsion abelian groups [45][46][47], (2.87) Here the O w 1 , w 2 , w 4 -structure on M 4 × X 3 is induced by Spin structures on M 4 and X 3 . 14 If the 6d theory is relative, then it can not be considered as a boundary theory of an invertible TQFT. The quantization condition in the anomaly polynomial will be in general 14 Consider, for simplicity, the case of a simply-connected M4. As was pointed out above, the choice of modified. As we have seen in the section 2.10 the relativeness of the theory is effectively measured by an integer N 0 ≥ 1, the maximal order of the elements of the 6d defect group C, with perfect squares removed. In general, the quantization condition on the coefficients of the anomaly polynomials in 6d and 2d will then be modified to and respectively. In particular, we now have By plugging in (2.88) the following O w 1 , w 2 , w 4 8-manifolds with SU (2) R bundles: we obtain the explicit conditions on the coefficients of the 6d anomaly polynomial (2.9). The 4 pairs of 8-manifolds with SU (2)-bundles above are representatives of Ω O w 1 ,w 2 ,w 4 8 (BSU (2)) bordism group and generate it over rational numbers, but are not necessarily generators over integers. So the actual quantization conditions may be stronger. Namely, the actual values of α, β, γ, δ for 6d (1, 0) theories may always lie in a certain sublattice of the lattice given by (2.91). We find that in all simple examples a stronger condition, 576 N 0 (2γ + δ) ∈ Z, is actually satisfied, instead of the one in the third line in (2.91 Known examples of absolute 6d SCFTs include E-string theories of arbitrary rank, theories describing N M5-branes probing a C 2 /Γ singularity (without decoupling fields associated with center of mass) and minimal conformal matter. We checked that the condition (2.88) with N 0 = 1 is indeed satisfied for these theories, and thus (2.82) and (2.80) hold.
On the other hand, the so-called O(−p) theories -denoted by the base of the corresponding elliptic fibration in F-theory -with p = 3, 4, 5, 6, 7, 8, 12 are simple examples of relative 6d (1,0) theories 16 . Their defect group is C = Z p . The theory O(−4) is, in a sense, exceptional, because 4 = 2 2 and it can be made effectively absolute, as explained in section 2.10. Indeed, one can check that the anomaly polynomial satisfies (2.88) with N 0 = 1. For other theories, though, only the weaker quantization condition (2.88) with N 0 = p generically holds. This is again up to a removal of total squares from p. For example, the defect group Z 12 = Z 3 × Z 2 2 for the O(−12) theory can be effectively turned into Z 3 .
After reduction on M 4 , it may happen that the anomaly polynomial actually satisfies stronger quantization condition than predicted by (2.89). This is because products X 4 ×M 4 generate a quite restricted subgroup in the full 8-dimensional bordism group. Indeed, one can show that, for all O(−n) theories except O(−5) and O(−7), the anomaly polynomial of the effective 2d theory will always satisfy (2.80) (and, therefore, (2.82)). For example, in the case of the O(−12) theory, which is expected to have no flavor symmetry, we get This is related to the fact that these theories, after reduction on T 2 τ , are self-dual under the full SL(2, Z) duality group. This indicates that the effective 2d theory T [M 4 ] in this case can be effectively made absolute, so that the index is a single modular form for the full SL(2, Z).
On the other hand, for compactifications of O(−5) and O(−7) theories only (2.89) and (2.90) hold, with N 0 = 5, 7 and, in fact, these conditions can be saturated.

Relation between anomalies in various dimensions
Anomalies play a very important role in our story. This is already clear from their prominent appearance in the previous subsections, and will be even more so in section 3. For this reason, we wish to explain the relation between anomalies of the following theories: where all vertical arrows represent a circle compactification, and the arrow relating 6d and 2d anomalies was already discussed in sections 2.4, 2.6, and 2.11. Aside from helping us understand how same anomalies look from different vantage points, (2.93) will also highlight one key message of this paper: the importance of KK modes and stark contrast with topological twists of ordinary Lagrangian 4d N = 2 theories on M 4 . Recall, that the latter have U (1) r R-symmetry which plays an important role [20] and whose anomaly controls vanishing of the partition function on M 4 . As we explain below, this is not the case for the setup of the present paper, even though after reduction on T 2 τ one finds a 4d theory with N = 2 supersymmetry and the Donaldson-Witten twist on M 4 , mentioned in section 2.1.
Before we can see various symmetries and their anomalies related to U (1) r in other corners of the diagram (2.93), let us start with the right corner, i.e. 6d (1, 0) theory reduced on a 2-torus T 2 τ . The anomaly polynomial of the 4d N = 2 theory contains the following terms: where r denotes U (1) r r-symmetry bundle, n h and n v are the effective numbers of hyper and vector multiplets, respectively, and ω (4d) 2 ∈ H 4 (BG, Q). 17 In (2.94) we only kept terms linear in c 1 (r). Equivalently, instead of n h and n v one can use 4d central charges a and c, Note that, unlike the SU (2) R symmetry, which is present both in 6d and 4d (before topological twisting), the U (1) r symmetry appears only in 4d theory in the IR. In particular, the 4d anomaly polynomial above cannot be obtained by simply integrating the 6d anomaly polynomial I 8 over the 2-torus. This procedure would obviously give zero, since the tangent bundle of the torus is trivial. Nevertheless, for the so-called "very-Higgsable" 6d SCFTs [30], one can find expression of the coefficients in (2.94) from the coefficients in (2.9). Namely, The 4d theory on the 4-manifold M 4 , with vanishing flavor symmetry background, produces an effective 0d theory with the following r-charge anomaly, Such an anomaly can also be referred to as the "ghost-number anomaly" if one identifies r-charge with the "ghost-number." Using the relations (2.96), for very Higgsable 6d SCFTs one obtains In the presence of a non-trivial background for flavor symmetry fields, the r-charge anomaly becomes where the operation Φ is defined in (2.22) in section 2.6. In particular, for the three basic 6d (1, 0) supermultiplets discussed in section 2.8, we find As in [10], these values have interpretation in 2d (0, 1) theory T [M 4 ]: #left-moving fermions − #right-moving fermions = which suggest that the total r-charge anomaly ∆r can be related to a 't Hooft anomaly in 2d. Namely, it should be a global symmetry such that the fermions arising from compactification of hyper and vector multiplets are in conjugate representation compared to the fermions arising from compactification of a tensor multiplet. We will further elaborate on this later in the present subsection. Suppose for a moment that the 4d theory in question has an N = 2 Lagrangian description with a gauge group H and matter in the representation R H . In other words, it has a vector multiplet valued in the Lie algebra Lie(H) and a matter hypermultiplet valued in R H . Then, the localization procedure tells us that the Feynman path integral can be reduced to the finite-dimensional integral over the moduli space M of solutions to certain generalized first-order differential equations on M 4 . Such equations are non-abelian monopole equations studied in e.g. [49], where the focus was on the SU (N ) gauge group. In section 5, we discuss in more detail the moduli spaces of solutions to such equations, as well as their five-dimensional lifts.
After localization, the partition function (2.3)-(2.4) naively reduces to the following sum of finite-dimensional integrals Our situation is quite different in a number of ways. Not only the virtual dimension is independent on n, but the vanishing of the r-charge anomaly is not required for the partition function (2.3) to be well defined. Indeed, the crucial contribution to (2.3) comes from the tower of Kaluza-Klein modes, which break the U (1) r symmetry to a discrete subgroup that we discuss next. Another crucial difference is that we are computing equivariant integrals over moduli spaces, which in general regularize both bosonic and fermionic zero-modes.
While the SU (2) R subgroup of the 4d N = 2 R-symmetry U (1) r × SU (2) R is already manifest in 6d, the U (1) r part is not. In particular there is no direct way to see the corresponding anomaly captured by (2.94) in 6d, or in the effective 2d theory T [M 4 ]. Nevertheless, we would like to argue that a remnant of this anomaly can still be seen in a certain way.
First, let us try to understand if we can see the 4d U (1) r anomaly in 1d N = 1 supersymmetric Quantum Mechanics (SQM) obtained by compactifying 5d N = 1 theory on M 4 or equivalently, by reducing T [M 4 ] on a circle S 1 . In 5d, there is still only SU (2) R-symmetry. Moreover, we know that there are no anomalies of any continuous symmetries in 5d. However, if we reduce 5d theory on a circle and take the strict limit of zero size S 1 , we get a 4d theory which has emergent U (1) r that does have 't Hooft anomaly, and one can still ask whether some part of this U (1) r and its anomaly is manifest in 5d.
Indeed, in 5d there is a discrete symmetry that enhances to U (1) r in 4d, and this discrete symmetry can be anomalous. Let us choose a normalization of r-charges, such that 4d fermions have r = ±1 (the choice of sign depends on their chirality and is different for vector and hyper multiplets), the scalars in the 4d vector multiplets have r = +2 and all other fields in 4d vector and hyper multiplets have zero r-charge. We claim that in 5d (and in Euclidean signature, to be precise) we can see a Z 4 subgroup of U (1) r . The generator of this subgroup acts on the complex scalar in the 4d N = 2 vector by multiplying it by −1. In terms of 5d fields, this scalar is where φ R and A 5d are real scalar and vector bosonic fields in 5d N = 1 vector multiplet. Because of large gauge transformations, the gauge invariant combination is exp(φ C ) ∈ C * . The U (1) r then emerges as the (double cover of) rotation symmetry of C in the limit of zero radius, when C * effectively turns into C. (It corresponds to the local rotation around 1 of C * .) However, the symmetry is still present for finite radius. In particular, it involves the sign change of the 5-th component of the gauge field, Therefore, it is a time-reversal symmetry T in the effective 1d QM (if time is the coordinate along the circle S 1 ). Note that, in principle, there is some choice in how the time-reversal symmetry acts on fields 18 , and only the action on the gauge fields is unambiguous. One also needs to commit to the condition T 2 = 1 or T 2 = (−1) F , where F is the fermion number. (Again, this is in Euclidean signature, and in Minkowski signature the conditions are reversed). We are interested in the second choice, so that T acts as ±i on fermions, which is precisely the action of the generator of the Z 4 subgroup of U (1) r in the 4d limit. Thus, we have identified a Z 4 subgroup of U (1) r with a Z 4 symmetry generated by T in 1d SQM. What about anomaly? The anomalies of time-reversal symmetry in 1d are classified by Z in the free case, which is reduced to [46,47,50] Hom in the interacting case. This comes from the bordism group of 2-manifolds Ω Pin − 2 (pt) ∼ = Z 8 . Massless 1d fermions contribute ±1 to this anomaly depending on whether T acts as +i or −i on them.
Consider 1d fields that are obtained by KK reduction of 5d vector and hyper multiplets. Equivalently, these fields can be obtained by dimensional reduction of 2d theory described in section 2.8. Then one can see that the U (1) r anomaly is indeed the same as the timereversal anomaly, up to the fact that the latter is valued modulo 8 in the interacting case. Note that 1d time-reversal anomaly can be understood as the 4-manifold compactification of 5d time-reversal anomaly, which is valued in Hom Ω Pin − 6 (pt), U (1) ∼ = Z 16 .
(2.111) However, we can only see the Z 8 subgroup of Z 16 in supersymmetic theories. This compactification is done similar to (2.86)-(2.87). From the 2d/6d point of view, the time-reversal symmetry anomaly in 1d/5d can be understood as the anomaly of a certain Z 2 global symmetry. Note that there is a general correspondence between time-reversal anomaly in d dimensions and Z 2 global symmetry anomaly in d + 1, which can be explained, for example, by the Smith isomorphism between (non-trivial factors of) Ω Pin − d (pt) and Ω Spin d+1 (BZ 2 ) bordism groups [46]. In particular, the classification of anomalies of a Z 2 global symmetries in 2d is also either Z or Z 8 in the free or interacting cases, respectively. And this Z 2 acts on the 2d fermions either as (−1) F L or as (−1) F R , where the choice depends on whether the eigenvalue of T in the 1d system is either +i or −i.

3-manifolds
Given an invariant of 4-manifolds, the most straightforward way to produce invariants of 3-manifolds is to consider 4-manifolds of the form M 3 × S 1 . As was pointed out in 18 These choices correspond to different ways of putting the theory on non-orientable manifolds. section 2.3, without any flavor symmetry background, this invariant is not very interesting because the 2d supersymmetry is enhanced to N = (1, 1). However, for a general flavor symmetry background, that is a map the supersymmetry will still be (0, 1) and the (topological) Witten genus will be non-trivial. In particular, this will be the case when the map above is not homotopic to a product of maps M 3 → BG 1 and S 1 → BG 2 , where G 1,2 are two commuting subgroups of G . Therefore, for a fixed 6d (1, 0) theory with flavor symmetry G one produces invariants of 3-manifolds equipped with the map (2.112) valued in G 2d := Centralizer G (G )-equivariant TMF.
Another way to produce non-trivial invariants is to consider 4-manifolds associated to 3-manifolds via where Z 4 is some fixed "canonical" 4-manifold, for example Z 4 = CP 2 , or CP 2 , or S 2 × S 2 . Then, even with a trivial flavor symmetry background the effective 2d theory will have generically (0, 1) supersymmetry and the corresponding (topological) Witten genus is expected to be non-trivial. In fact, under mild assumptions, the connected sum defines a commutative algebra inside TMF * and each M 3 gives rise to a module, which should be a rather powerful invariant for M 3 . The multiplication in this algebra is almost always different from the ring multiplication, as the latter is realized by taking the disjoint union of 4-manifolds, not the connected sum. 19 Instead of considering invariants of standalone 3-manifolds, one can also consider invariants of 4-manifolds with 3-manifold boundaries. Compactification of a 6d theory on a 4-manifold with boundary then produces a 3d effective N = 1 theory with a boundary condition which breaks supersymmetry to (1, 0) in 2d. Different 4-manifolds with the same boundary correspond to different boundary conditions in the same 3d theory T [M 3 ]. This is analogous to the setup considered in [9] where compactification of a 6d (2, 0) theory on a 4-manifold with boundary gives an effective 3d N = 2 theory with (0, 2) boundary condition. As in [51] and op. cit. one can use this point of view to interpret gluing of 4-manifolds along a common boundary in terms of "sandwiching" 3-dimensional N = 1 theories. In particular, it means there must exist many non-trivial 2d (0, 1) dualities which correspond to 4d Kirby moves.
Another interesting question is whether the cutting-and-gluing mentioned above is funtorial. In other words, given a 6d (1, 0) theory, can one upgrade the map T : {4-manifolds} → π * (TMF) (2.114) 19 In the toy model discussed in section 2.7, the two actually coincide, but the toy model doesn't come from any 6d theory. Instead, it is obtained by taking a subsector of the 6d free tensor multiplet on M4.
into a functor T : Cob 4 → π * (TMF)−mod, (2.115) where the left-hand side is the category of smooth 4-dimensional cobordisms and the righthand side is the category of modules over the ring π * (TMF)? This is a "4d TQFT over the ring π * (TMF)" that associates each 3-manifold a π * (TMF)-module, each cobordism a map between modules, and each closed 4-manifolds an elements in π * (TMF).

2d (0,1) theories and topological modular forms
The theory of topological modular forms, usually abbreviated as "tmf," was originally constructed by Hopkins and Miller to be the "universal elliptic cohomology theory." The name for this cohomology theory is motivated by the fact that the cohomology ring of a point is rationally isomorphic to the ring of integral modular forms (for the full modular group SL(2, Z)). The most important facts about tmf relevant for the present paper are gathered in appendix A. See also [52,53] for an introduction and [54] for a comprehensive overview.
There are three different versions of closely related generalized cohomology theories, tmf * , Tmf * and TMF * . Most relevant to us is the last one, TMF * , which gives a 576periodic generalized cohomology theory. The original construction of topological modular forms uses homotopy theory, and it has been an important unsolved problem to give a geometric interpretation of the TMF cocycles. Stolz and Teichner proposed that the TMF cohomology classes could be represented by supersymmetric theories in two dimensions [21,22]. We interpret their proposal as follows. Given a topological space X, Here all continuous SUSY-preserving deformations are allowed, and as will be made clear later, the right-hand side is also naturally a graded abelian group. In other words, if we denote the space of all 2d (0, 1) theories as T , we expect where the right-hand side stands for homotopy class of maps from X to T . 20 The first step toward understand this proposal is to establish an isomorphism when X is a point which is what we will explore in the first half of this section. In the second half, we will discuss the equivariant version of TMF, which we need for applications to 4-manifold invariants. 20 In this section, by a 2d (0, 1) theory we always mean a Euclidean theory on a torus with an odd Spin structure (i.e. periodic boundary conditions for fermions on both a-and b-cycles). Although we only discuss absolute theories with well-defined partition functions, much can be generalized to relative theories by replacing TMF with TMF(N0).

Space of theories as a ring spectrum
The left-hand side of (3.3) can be identified with the homotopy groups of the TMF spectrum, which is commonly denoted as π * (TMF). 21 It forms a ring and has a delicate structure, of which we already had a glimpse in section 2.7. On the right-hand side, T is a sequence of spaces T d , each defined as the space of 2d (0, 1) theories with central charges satisfying 2(c R − c L ) = d. At a given degree d ∈ Z, we have The proposed relations (3.2) and (3.3) have many interesting implications for the theory space T . First of all, as TMF is an E ∞ -ring spectrum, for (3.2) to hold, the space of theories T also needs to be an E ∞ -ring spectrum. The ring structure on T is given by the following three operations: • The sum "+": taking the sum T 1 + T 2 of two QFTs. The new theory will have two disconnected branches; going onto one of them recovers T 1 or T 2 . The moduli space of the new theory is the disjoint union of the moduli spaces of T 1 and T 2 . If T 1 and T 2 are sigma models onto M 1 and M 2 , the new theory is the sigma model onto M 1 Π M 2 . In general, T 1 and T 2 need not to have the same degree.
• The multiplication "×": taking tensor product T 1 ⊗ T 2 of two QFTs. The new theory is obtained by stacking T 1 and T 2 together without interaction. When T 1 and T 2 are sigma models, the new theory is the sigma model onto the Cartesian product M 1 × M 2 .
• The reversal "−": flipping the parity of a QFT. The new theory has the same dynamics as the old theory, but the parity of the vacuum is flipped, from fermionic to bosonic or vice versa. For a sigma model, this operation corresponds to reversing the orientation of the target.
The multiplicative unit 1 is given by a theory with a single gapped vacuum and no degrees of freedoms. Tensor product of this theory and another theory leaves that other theory unaffected, 1 ⊗ T T ⊗ 1 T . The additive unit 0 is the trivial theory with no vacuum and no degrees of freedom. It can be viewed as the sigma model to the empty manifold. Like the empty manifold, which should be viewed as a manifold of all dimensions simultaneously, the trivial theory should be viewed as a theory living in all possible degrees. Multiplying the trivial theory with another theory gives a trivial theory, 0⊗T T ⊗0 0.
What is more interesting beside the ring structure is that the space T of 2d (0, 1) theories also has to be an Ω-spectrum. This means that we must have a structure map 22 More precisely, we have π * (TMF) = TMF − * (pt). 22 The structure map is in this direction and not the opposite because the TMF spectrum is given by for each d, which is a weak homotopy equivalence. In other words, the induced map on homotopy groups is an isomorphism It would be interesting to understand the above maps from physics. However, quantum field theory indeed predicts a map in the opposite direction that should be the homotopy inverse of s d , given by viewing an S 1 -family of 2d (0, 1) theories of degree d − 1 as a single theory of degree d.

A dictionary
One might consider establishing (3.4) in three steps: 1. Construct a 2d (0, 1) theory for each TMF class.

Use invariants to show that theories representing different TMF classes cannot be deformed into each other.
3. Show that theories representing the same TMF class can always be deformed into each other.
We will partially complete the first step, and we hope to further explore the rest in future work. The spectra π * (TMF) form a graded ring, which can be viewed as a graded module over π 0 (TMF) = Z[x]. Since we expect the relation TMF(pt) = π * (T ) to be a ring homomorphism, we need to first identify the generators, and then verify that the ring structures are the same. A nearly complete dictionary for generators in degrees d ∈ [−24, 24] is summarized in Table 2, with the notations and details to be explained in the following subsections.

E 4 , 2E 6 and 24∆ from sigma models
The free part of π * (TMF) can be represented by modular forms in the image of the map π * (TMF) → MF * . (3.8) denotes the ring of integral weakly holomorphic modular forms, with E 4 , E 6 and ∆ being the fourth and the sixth Eisentein series and the modular discriminant, placed in degrees 8, 12, and 24, respectively. The map (3.8) is zero on torsion elements of π * (TMF), and non-zero on the free part. The image of x is the j-invariant j := E 3 4 /∆. From degree 0 up to degree 28, the image is generated as a Z[x]-module by 1, 2E 2 4 E 6 /∆, E 4 , 2E 6 , E 2 4 , 2E 4 E 6 , 24∆, E 3 4 , 2E 2 4 E 6 . And we will find the 2d (0, 1) theories for these generators first. Generators in terms of (0, 1) theory 0 Let us remind that the usual physical quantity Tr R (−1) F q L 0 , with trace taken over the Ramond sector of the Hilbert space on the torus, is not a modular form, but rather a modular function transforming under SL(2, Z) with a certain multiplier system that depends on the gravitational anomaly c R − c L = d/2. Multiplying it by η d makes it into a true modular form of weight d/2, which represents a free element of π d (TMF). Many TMF classes in positive degrees can be represented by string manifolds, and (0,1) sigma models onto these manifolds give a (tautological) way to construct the corresponding quantum field theories. Since the topological Witten genus map MString * → tmf * is surjective [55,56], all TMF classes coming from tmf can be represented this way.
To find the string manifold corresponding to E 4 , consider the following construction [48]. The open 8-manifold X 8 obtained by −E 8 -plumbing has an exotic 7-sphere as its boundary. Then, the boundary sum 28 X 8 gives a manifold whose boundary is S 7 . Capping it off with an 8-ball gives a closed 8-manifold Y 8 with signature 28 × 8 = 224. X 8 is parallelizable by construction. As a consequence, the tangent bundle of Y 8 is almost parallelizable with only the top Pontryagin class being non-trivial. This in particular implies that Y 8 is string. Then, it follows from Hirzebruch signature theorem that and its Witten genus is given by E 4 . Similarly, one can find a manifold that corresponds to 2E 6 . One now takes the open 12-manifold X 12 obtained by −E 8 -plumbing. As the group of exotic spheres in dimension 11 is Z 992 , one can now take 992 copies of X 12 , form the boundary sum, and glue a 12-ball to get a closed 12-manifold. The resulting string manifold Y 12 has signature −992 × 8, p 3 = −120960 and has A(Y 12 ) = 2. The Witten genus of Y 12 is given by 2E 6 . Due to Rokhlin's theorem, the A-genus of a 12-manifold is even, so it is impossible to obtain E 6 from a sigma model. 23 This construction also works for higher dimension, but we don't expect to get anything new, as all these TMF classes can be expressed in terms of [E 4 ] and [2E 6 ]. For example, in dimension 16, we can take 8128 copies of X 16 . 24 Capping it off again gives Y 16 with A(Y 16 ) = 1. So Y 16 gives E 2 4 , which can also be obtained by taking Y 8 × Y 8 . 23 As an aside, there is a generalization of Rokhlin's theorem for general (0, 1) theories, which states that when the degree d ≡ 4 mod 8, the Witten index is even. This is because the BPS Hilbert space in this case is equipped with a quaternionic structure, making the dimension always even. Similar results also hold for N = 1 quantum mechanics in 0+1 dimensions. 24 For X d obtained in this way, ∂X d is a generator of bP d+1 , which is a subgroup of Θ d represented by exotic sphere that bound parallelizable manifolds. For d = 16, bP d+1 ∼ = Z8128 while Θ d ∼ = bP d+1 ⊕ Z2.
There also exist a 24-dimensional manifold Y 24 whose Witten genus is 24∆. An explicit construction of such a Y 24 is in [56,Sec. 9]. Further, there is also a more recent construction using ternary code giving a different field theory representative of this TMF class [57]. They also constructed representatives for 12∆ 2 , 8∆ 3 , 6∆ 4 and 24∆ 5 . As these theories are N = 1 holomorphic CFTs, one can put them on the left-moving sector, giving representatives for 12∆ −2 , 8∆ −3 , 6∆ −4 and 24∆ −5 as well.
For the other sigma models we described here, it would also be interesting to find equivalent description at the IR conformal fixed points.

Left-moving compact bosons
In negative degrees, TMF classes can no longer be represented by sigma models, and this is where we hope QFT can help to gain insight into the TMF spectrum. We first consider the simplest chiral CFT given by compact bosons.
Left-moving bosons are absolute when they propagate on R n /Λ n with Λ n being an even self-dual lattice. The simplest case is when n = 8 and Λ 8 is the E 8 root lattice. Then, the theory T E 8 is a chiral E 8 WZW theory with level 1. This gives a degree-(−16) TMF class which corresponds to the modular form E 4 /∆. Tensor product of this theory with a sigma model to Y 8 × Y 8 gives the sought after generator x in π 0 (TMF).
Using instead the Leech lattice gives a TMF class in degree −48 corresponding to j−720 ∆ 2 . One can consider a Z 2 -orbifold of this theory, which leads to j−744 ∆ 2 . The difference 24∆ −2 is twice the generator 12∆ −2 in this degree. One cannot hope to do better using lattices, as the coefficient of the ∆ k term of the theta series of any even self-dual lattice of dimension 24k is divisible by 24, cf. [58, Thm. 12.1].

Affine Lie algebras
The chiral E 8 WZW theory at level 1 has generalizations: one can consider modular invariant modules of more general affine Lie algebras. Here, we will only give an example related to free fermions.
2r free left-moving fermions transform under the vector representation of so(2r) 1 and provide an example of a theory that is not absolute. However, in some cases, we can add a spinor module to get a modular invariant chiral CFT. We will consider the case of r = 12. The characters are Then, the following combination gives a absolute chiral theory whose elliptic genus is simply 24, without any q-dependence. Therefore, this theory defines a class in degree −24, which maps into the modular form 24∆ −1 . By using other affine Lie algebras, we hope to obtain multiples of ∆ −d in similar ways for other d. The most important one is ∆ −24 which gives the periodicity of TMF.

Lie groups, torsion elements and ring structure
Another class of interesting manifolds consists of Lie groups with the left-invariant framing (cf. [32]). In fact, such manifolds give all the torsion elements of low positive degrees in Table 2. Important ones are U (1), SU (2), SU (3), Sp(2), G 2 and their products.
Apart from identifying the generators, we also wish to understand the ring structure. One of the most intriguing features is that x has a non-trivial product only with the generators of TMF that descend to generators of real K-theory. It is not clear why this has to be the case. However, one can see that x indeed multiplies trivially on σ(S 3 ), because Y 8 × S 3 is string-cobordant to the empty set. In fact, Ω string 11 = 0.

Generalizations to higher dimensions
As field theories with minimal supersymmetry in dimension one and two are classified by generalized cohomology theories -KO-theory and TMF respectively -one may ask what happens in higher dimensions or with enhenced supersymmetry. Since in any dimensions, theories can still be added or multiplied, connected components of the space of theories will always form a ring. However, it is no longer obvious that whether the space of theories still form a spectrum, as it is unclear how to make sense of the "pushforward operation" (viewing a family of theories parametrized by a compact topological space as a single theory) with extended supersymmetry or in higher dimensions.
As KO and TMF are closely related to the Thom spectra MSpin and MString, it is tempting to ask what is the role played by MFivebrane, and whether there is a spectrum FB related to 6d physics, whose connective version fb has a "Fivebrane orientation," given by an E ∞ map MFivebrane → fb. (3.15) Here MFivebrane, sometimes denoted as MO 9 , is the Thom spectrum of the 8-connected cover of BO that fits in the Whitehead tower and BFivebrane is obtained by killing all homotopy groups of BO upto π 8 (BO) = Z. A manifold M admits a Fivebrane structure if the classifying map M → BO for the tangent bundle can be lifted to a map M → BFivebrane. Some evidence that the Fivebrane structure is relevant for 6d theories was found in [59].

What we do and do not know about "equivariant TMF"
The coefficient ring π * TMF is where the invariants of 2d (0, 1) theories under supersymmetrypreserving deformations are valued. Similarly, we expect that there exists an equivariant version π * TMF G to be the home for invariants under deformations preserving both supersymmetry and flavor symmetry G. 25 Similar to TMF * , we expect TMF * G to be a generalized cohomology theory represented by T G , the space of 2d (0, 1) theories with flavor symmetry G, which is expected to be also an E ∞ -ring spectrum. Unfortunately, the equivariant version of TMF has not been fully developed yet in the mathematical literature. In this section we collect various predictions for equivariant TMF that follow from its proposed physical interpretation.

Gradings
Let us first describe the expected grading structure on π * TMF G . There are well-known invariants of quantum field theories: 't Hooft anomalies for global symmetries (including space-time symmetries). They are valued in a discrete abelian group and additive under stacking (i.e. taking tensor products) of theories. Therefore, such an abelian group can play the role of an additional grading. Using the fact that 't Hooft anomalies in 2d are in one-to-one correspondence with equivariant invertible TQFTs in 3d, it follows that for 2d theories with fermions and global symmetry G this group is given by [45][46][47]: where the first term is a free abelian group and the second one is torsion. Elements of the first term are usually referred to as anomaly polynomials in the physics literature. Let us check that this agrees with the familiar structure in the non-equivariant case. When G = 1, we have A general element of A is then given by (3.20) The coefficient d = 2(c R − c L ), the gravitational anomaly of the 2d theory, is indeed the grading d on π d TMF G .
where KO is the spectrum of the real K-theory. The Witten genus map (understood as q-series with coefficients valued in the KO-groups of a point) factors through the above maps at the level of stable homotopy groups. Namely,  Table 3. The grading d has the following geometric meaning: when the quantum mechanics is an N = 1 sigma model with a d-dimensional target manifold, it has invariant valued in π d KO. Mathematically it is realized by Atiyah-Bott-Shapiro orientation map of spectra [62], where the target manifold represents an element in M Spin. Note, that in order to define N = 1 quantum mechanics one needs to introduce Spin structure on the target [63]. The Hilbert space H can then be identified with the space of sections of the spinor bundle and the supercharge Q with the Dirac operator. The fermion number F , when non-anomalous (i.e. when d ≡ 0 mod 2), can be identified with the chirality of the spinors. When d ≡ 0 mod 4 the corresponding invariant of the supersymmetric quantum mechanics is the usual Z-valued Witten index, which can be defined as over the Hilbert space. When d = 1 one can define the invariant as where Q is the supercharge. When d = 2, one can define the invariant as As in the case of equivariant TMF (see section 3.2.1) we expect the gradings to be identified with 't Hooft anomalies. We propose that the Z 8 grading of π * KO can be identified with the anomalies of Pin − spacetime symmetry valued in Note, that 1d Euclidean quantum mechanics obtained by dimensional reduction of a 2d Euclidean theory has time-reversal (i.e. orientation-reversal) symmetry because time-reversal transformation can be lifted to the space-time rotational symmetry. To be precise, by a reduction from 2d to 1d we mean a compactification on a circle and taking the strict zero radius limit. The unit of the anomaly (3.28) can be produced by a free real fermion. The sign of the contribution depends on whether the time-reversal transformation acts as i or −i on it. (Both are consistent with T 2 = (−1) F condition.) If the fermion is understood as the dimensional reduction of a 2d fermion, then the choice of sign corresponds to the choice of chirality, which can be seen from the fact that the time-reversal transformation in 1d is lifted to a rotation by π in 2d. Therefore the Z 8 -valued anomaly in 2d can be understood as the remnant of the Z-valued gravitational anomaly in 2d. It follows that both definitions of the grading d coincide at least for a sigma model with T d target.
There is also a way to see it at the level of reduction of the corresponding invertible TQFTs from 3d to 2d. The unit of the gravitational anomaly in 4d corresponds to level-1 Spin-gravitational 3d Chern-Simons theory that can be understood as the boundary term to p 1 (T M )/48. Its value of the action on a torus T 3 with an odd Spin structure along all 3 circles is equal to 1/2 mod 1, which is easy to see from cutting a K3 surface in half in a symmetric way along such T 3 and using the fact that p 1 [K3] = 48. The value of the partition function of the invertible TQFT is then e 2πi(1/2) = −1.
On the other hand the effective action of the 2d invertible TQFT generating (3.28) is the Arf-Brown-Kervaire invariant [46]. Compactification of the T 3 down to 2d gives T 2 with odd Spin structure. The value of the invariant is 4 mod 8, and value of the partition function of the invertible TQFT is then e 2πi(4/8) = −1, the same as the above.
Verifying the agreement of the generator of Ω Pin − 2 (pt) is, however, more involved since one has to properly lift a 2d non-orientable Pin − -manifold to a 3-dimensional oriented Spin manifold. In the 1d boundary of a 2d TQFT the orientation reversal should be lifted to a rotation by π in the 2d boundary of the 3d TQFT. Therefore, it is natural to lift a non-orientable 2-manifold Σ to ( Σ × S 1 )/Z 2 where Σ is the orientation double cover of Σ and Z 2 acts as the deck transformation on Σ and as reflection on S 1 .
Consider the 3-manifold RP 3 #RP 3 which is known to be a circle bundle over RP 2 , obtained as a quotient (S 2 × S 1 )/Z 2 where Z 2 acts as described above (see e.g. [66]). Each RP 3 can be understood as the boundary of the unit disk bundle of O(2) complex line bundle over CP 1 . Gluing two copies of such 4-manifolds together along the common boundary produces CP 2 #CP 2 . Therefore, RP 3 #RP 3 can be obtained by cutting 4#CP 2 in half in a symmetric way. Since p 1 [4#CP 2 ]/48 = 1/4, the value of the Spin-gravitational Chern-Simons invariant on RP 3 #RP 3 is then 1/8 mod 1. This is in agreement with the value of the Arf-Brown-Kervaire invariant on RP 2 , which is 1 mod 8.
One should expect that there is an equivariant version of the map (3.22). Therefore, part of the information about the equivariant TMF can be captured by the equivariant KO-theory. The coefficient ring of the latter has representation theoretic description [67][68][69]. Similarly to the non-equivariant case [62], The d-th group G-equivariant KO-group of a point KO d G (pt) = KO d,0 G (pt) can be obtained as the quotient of the Groethendieck groups of G-equivariant modules of the Clifford algebras of dimensions d and d + 1. The result is summarized in the second column in Table 3, where R(G), RSp(G) and RO(G) are representation rings of complex, symplectic and real representations respectively. Now let us elaborate on the meaning of the additional superscript "0" in KO d,0 (BG). As was previously mentioned, we expect invariants of supersymmetic quantum mechanics to be valued in a ring graded by the group of 't Hooft anomalies of the protected symmetries (or, equivalently, equivariant invertible TQFTs in 2d). The generalization of (3.18) for non-trivial G is given by 26 The forgetful map Ω Pin − 2 (BG) → Ω Pin − 2 (pt) induces the first map in the short exact sequence which splits in all simple examples. The index 0 in KO d,0 (BG) then indicates that we restricted our attention to the grading (i.e. anomaly, valued in A G 1d ) in the image of the first map in (3.30). In other words, the 't Hooft anomaly for the symmetry G itself is trivial. This is the situation when the Hilbert space forms an honest representation of G, rather than a projective one, and one can indeed define invariants valued in the equivairant KO-groups listed in the Table 3. Namely, for d = 0 (or 4) mod 8 it is dim ker Q| F =0 − dim ker Q| F =1 considered as an element of the representation ring RO(G) (or RSp(G)). For d = 1 (or 5) mod 8, it is dim ker Q considered as an element of RO(G) (or RSp(G)) modulo R(G). And, for d = 2 (or 6) mod 8, it is dim ker Q| F =0 considered as an element of R(G) modulo RSp(G) (or RO(G)), cf. [70].
For more general grading with non-vanishing class in A G 1d /A 1 1d , the Hilbert space in general forms a projective representation of G, and one should replace the representation rings R(G), RO(G), RSp(G) with the appropriate abelian groups of projective representations (altogether they still form a ring with gradings in A G 1d ).

The free part
As reviewed in section 3, the "free part" of the coefficient ring of topological modular forms π * TMF can be explicitly described as a subring of the ring of weakly holomorphic modular forms, Here I Tor is the ideal of torsion elements. The cokernel of the embedding map is explicitly described in [71]. In particular, both rings are rationally isomorphic, We expect that a similar statement should hold in the equivariant case. Consider first the case when G is a simply-connected simple Lie group or U (1). Then it is natural to propose that For G = U (1) the right-hand side, J * , * , is the ring of meromorphic Jacobi forms [72]. In the case of simple Lie group G, it is a natural generalization, the ring of meromorphic Jacobi forms associated to the root system of type G [73]. This ring has two integral gradings: the weight (the direct anolog of a weight of a modular form) and the index. This is in agreement with the general proposal for the grading group (3.17), with the generators being p 1 /48 and a characteristic class ω 2 (G) ∈ H 4 (BG, Z) that correspond to weight and index, respectively. (When G = U (1) or SU (N ), ω 2 is given by the second Chern character, and we have ω 2 (G) = c 2 1 (G)/2 or ω 2 (G) = c 2 (G), respectively.) Note, that here we assume that weight and index are properly quantized. For example, when G = U (1) one needs to consider half-integer weights and indices according to their usual normalization so that, in particular, the ordinary Jacobi theta function (and its inverse) is included. This is the value of the elliptic genus of the pair of (0, 1) Fermi (chiral) multiplets forming an irreducible representation of G = U (1).
Let us consider a slightly more general example for the case G = U (1). Take free (or, possibly, with a superpotential) 2n f (0, 1) Fermi and 2n c (0, 1) chiral multiplets. Let us combine them into pairs forming U (1) representations of charges n i and m i respectively. The equivariant index, rescaled by η(q) d (see Appendix A and Section 3 for details) should be an element of the free part of TMF d, * G (pt) with d = 2n c − 2n f , where d is the weight grading. The rescaled index (in the Ramond sector) is given by (3.36) Now, using the fact that θ(e u ; q)/(q; q) 2 where P 4k is a certain polynomial of degree 4k of Eisenstein series E 2m (given deg E 2m = 4m) with rational coefficients. Note that E 2 does not appear if and only if i.e. there is no 't Hooft anomaly for G = U (1). Restricting to this case corresponds to taking the subring TMF d,0 G (pt) ⊂ TMF d, * G (pt). This is analogous to considering the subring KO d,0 BG (pt) ⊂ KO d, * BG (pt). As was explained in section 3.2.2, KO d,0 BG (pt) is the ordinary coefficient ring of the equivariant KO-theory. In this case P 4k (. . .) can be interpreted as an element of π 4k TMF ⊗ Q. Taking into account that u can be interpreted as the generator of H * (BU (1) (3.40) The right-hand side can be understood as the result of applying the Atiyah-Hirzebruch spectral sequence to TMF d (BG), assuming free elements survive to E ∞ , E p,q 2 = H p (BG, π q TMF) ⇒ TMF p−q (BG). (3.41) This suggests that, similarly to the Atiyah-Segal completion [67] that connects K G (pt) with K(BG) (see also [68] for a detailed discussion of such relation for KO-theory), there might exist a close relation between TMF d,0 G (pt) and TMF d (BG). Note that the example above with G = U (1) can be straightforwardly generalized to any semisimple Lie group G by considering its maximal torus ∼ = U (1) rank G and imposing Weyl invariance.
Consider now the other extreme, when G is a finite group. Then, the proposed grading group is When the grading is restricted to the image of this map, we propose that TMF * , * (BG) ⊗ Q can be identified with the ring of meromorphic functions in q = e 2πiτ and a commuting pair h, g ∈ G, transforming under SL(2, Z) as where g,h is a U (1)-valued multiplier system that can be explicitly constructed from a given 3-cocycle in H 3 (BG, U (1)), see e.g. [74][75][76][77].

Equivariance and level structure
Equivariance and level structure can be combined in essentially independent manner. In the diagram below we list the hierarchy of 2d (0, 1) theories and their invariants: [Target] (3.45) where mf (MF) stands for the ring of (weakly holomorphic) modular forms, Γ ⊂ SL(2, Z), R(H) is representation ring of H. In the table above, 2d (0, 1) sigma models are with compact target space and have no left-moving fermions, and H-actions are assumed to have compact fixed loci.

Examples
In this section, we give some examples illustrating various aspects of the general program outline in previous sections.

4.1
N M5-branes probing C 2 /Z k singularity While more general 6d (1, 0) SCFTs can be constructed via F-theory, we will first focus on a two-parameter family that can be realized as the world-volume theory of N M5-branes probing a R × C 2 /Z k singularity (here Z k acts as rotations by opposite phases on C 2 ). The topologically twisted compactification of the 6d theory on a spin 4-manifold M 4 then can be realized geometrically in M-theory as follows (4.1) X 8 here is a local Spin(7)-holonomy space given by the total space of a fibration obtained by identifying the SU (2) + factor in Spin(4) M 4 = SU (2) + × SU (2) − holonomy group of M 4 with the SU (2) isometry group of C 2 /Z k . The 4-manifold M 4 then is Cayley cycle in X 8 . The geometry involving a spin 3-manifold M 3 is similar -M 3 will now be embedded in a 7-dimensional G 2 -manifold as an associative cycle, with Z k singularity fibered along it by identifying Spin(3) M 3 = SU (2) holonomy of M 3 with SU (2) isometry of C 2 /Z k : For k = 1 such setup which provides a correspondence between 3-manifolds and 3d N = 2 theories was considered in [78].
To set up the convention, we now describe more explicitly the twisting procedure. We use φ 1 , . . . , φ 5 to parametrize the C 2 ×R 5 transverse space and to denote the corresponding five scalars coming on the M5-brane world-volume. The R 5 direction is not used for topological twist, while the isometry group of C 2 = R 4 is SO(4) with the double cover being Spin(4) = SU (2) + × SU (2) − . The two copies of SU (2) act on by multiplication of the left and right. And Z k is generated by the left-multiplication of e 2πi/k 0 0 e −2πi/k . (4.5) For generic values of k, the commutant of Z k in Spin (4) is SU (2) + , 27 which is identified with the R-symmetry group of the 6d (1, 0) theory. After the topological twist, φ 1,...,4 will transform under a complex two dimensional (real 4 dimensional) representation of SU (2) + factor in Spin(4) M 4 (or SU (2) = Spin(3) M 3 ), while φ 5 will remain a singlet. Notice that even for k = 1 this M-theory setup is different (and generically preserves half as much supersymmetry) from the one usually used to describe 6d (2,0) theories topologically twisted on 4-and 3-manifolds, where 5-branes wrap coassociative cycle in a G 2 -manifold and a Lagrangian cycle in a Calabi-Yau 3-fold respectively.
When k = 1 the supersymmetry is actually (2, 0). However, effectively one can consider the (2, 0) theory as (1, 0) with flavor symmetry G = SU (2) f . This follows from decomposition of the (2, 0) R-symmetry group as Spin (5) In other words, we consider a 6d (2, 0) theory on M 4 × T 2 τ , with Donaldson-Witten twist that uses only SU (2) R subgroup, i.e. the one that can be generalized to any 6d (1, 0) theory. Also, when this twist is applied to (2, 0) the resulting effective 2d theory T [M 4 ] has the same amount of SUSY as for compactifications of (1, 0), so, in a sense, for this twist there is no qualitative difference between 6d (2, 0) and (1, 0) theories.
Using the general formula for the anomaly polynomial of (N, k) theories, one finds the central charges with trivial SU (2) f flavor symmetry background on M 4 = Σ 1 × Σ 2 to be c L = 41(g 1 − 1)(g 2 − 1), c R = 42(g 1 − 1)(g 2 − 1). (4.6) The case of M 4 = Σ 1 × Σ 2 can be studied by first compactifying it on Σ 1 and then computing Σ 2 × T 2 index of the effective theory. The effective 4d N = 1 is a particular member of the family of 4d N = 1 theories obtained by wrapping M5-branes on the zero section of L p × L q bundle over Σ 1 such that c 1 (L n ) = n and p + q = 2 − 2g 1 . This has been considered in the literature and in certain cases there is a Lagrangian description. The case when p = q = 1 − g 1 corresponds to the case when the SU (2) f background on Σ 1 is trivial. If it also trivial along Σ 2 it means that G = 1, G 2d = G = SU (2) f in term of the general setup. When p = q, this corresponds to turning on non-trivial flux of G = U (1) f ⊂ G = SU (2) f along Σ 1 . If the flavor symmetry background along Σ 2 remains inside the same subgroup, then the unbroken 2d flavor symmetry group is The case of two M5-branes gives the A 1 (2, 0) theory after decoupling the center of mass motion. As was mentioned before, one can first compactify the 6d (2, 0) theory on Σ 1 to get an effective 4d N = 1 theory described, for example, in [17]. Compared to the usual class S theories, here one has trinions colored by ±. The trinions of the same type are glued by N = 2 vector multiplet and trinions of different types are glued by N = 1 vector multiplets. In general the resulting theory has U (1) r and U (1) f non-anomalous flavor symmetry and there is a way to identify the correct IR R-symmetry (i.e. how it mixes with U (1) f ). For the twist corresponding to the trivial flux along Σ 1 there are equal number of ± trinions in the generalized quiver. In this case U (1) f enhances to SU (2) f . The case of having different numbers of ± trinions corresponds to having a non-trivial U (1) f flux along Σ 1 given by the difference of these numbers.
Denote the flux of G = U (1) f ⊂ G = SU (2) f along Σ i as n i ∈ Z. Let us first pick For the manifold of this particular type (M 4 = Σ 1 × Σ 2 ) the resulting twist (for R-and flavor symmetries together) can be also interpreted as Kapustin-Witten (aka "Langlands") twist of 4d N = 4 SYM, i.e. the one where we twist the full SO(4) on M 4 .
The result for the partition function is the following (Note that the symmetry g 1 ↔ g 2 is a non-trivial self-consistency test since the calculation treats Σ 1 and Σ 2 in a very asymmetric fashion): and v is the U (1) f = G 2d fugacity. Note that with the choice of fluxes (4.7) 2d theory actually has (2,2) symmetry, but turning on v breaks it to (0,2)).
Consider now a different background: The unbroken 2d flavor symmetry is again The result for the partition function reads (414 + 75/v 4 + 284/v 2 + 284v 2 + 75v 4 )q 2 + O(q 3 )). (4.13) Note that in this case the overall factor has infinite series in v, unlike for n 1 = (g 1 − 1), n 2 = −(g 2 − 1) case. Finally consider the case g 1 = 2 with zero flux. One possible way to realize the corresponding 4d N = 1 theory is by the following content: Here the normalization of R-charge is such that supercharges have charge 1. The fact that it is half-integer for chirals gives some technical difficulties, so that later we have to consider condition (g 2 − 1) ∈ 2Z. Note that naively SU (2) f is part of U (2) f = (U (1) t × SU (2) f )/Z 2 global symmetry, but its diagonal U (1) t is anomalous (there are c 1 (U (1) t )c 2 (SU (2) i ) terms in the anomaly polynomial). If one tries to calculate Σ 2 ×T 2 τ partition function of this theory by the same method, the following problem arises: the corresponding Bethe equations are degenerate, i.e. have infinite number of solutions.

4.1.2
(N, k) = (2, 2) theory on M 4 = Σ 1 × Σ 2 As in the case of (N, k) = (2, 1) theory, to calculate the partition function of 6d (N, k) = (2, 2) theory on Σ 1 ×Σ 2 ×T 2 τ one can first reduce the theory on Σ 1 and then calculate Σ 2 ×T 2 τ topologically twisted index [79] of the effective 4d N = 1 theory. The effective 4d theory is not Lagrangian per se, but can be constructed from pieces that have Lagrangian description [18]. In particular, such construction involves taking certain couplings to infinity and gauging on a global symmetries which are not present in UV but appear in the IR. Still this description is sufficient for calculation of the index using localization. In other words, one needs to generalize the calculation of S 3 × S 1 superconformal index done in [18] to the case of Σ 2 × T 2 τ index. The latter case is technically more involved. In particular it requires solving a system of rather complicated algebraic (at finite order in q) Bethe ansatz equations. Again, one has to require (g 2 − 1) ∈ 2Z in order to apply localization.
For closed Σ 1,2 with no flavor symmetry fluxes the reduction of the anomaly polynomial gives the following formula for the central charges: In general we would like to turn on some fluxes along Σ 1 × Σ 2 . The 6d theory has flavor symmetry SO(7) ⊃ SU (2)×SU (2)×U (1) with maximal torus U (1) β ×U (1) γ ×U (1) t (in the notations of [18]). The effective 4d theory obtained by compactification of the 6d theory on Σ 1 with fluxes w.r.t. U (1) β × U (1) γ × U (1) t can be again described by gluing together certain trinion theories T ± A and T ± B . Each trinion corresponds to a sphere with three ("maximal") punctures. Each puncture breaks SO(7) flavor symmetry down to a certain SU (2) × U (1) 2 subgroup. There are punctures of two different "colors" corresponding to different embeddings. The trinions T ± A have all three punctures of the same color while T ± B have punctures of different color. The theories T + A and T + B correspond to spheres supporting fluxes (1/4,1/4,1) and (-1/4,1/4,1) respectively. The theories T − A and T − B correspond to spheres with opposite fluxes and differ by charge conjugation. Each puncture also introduces SU (2) 2 global symmetry, so that gluing punctures together corresponds to gauging the diagonal of SU (2) 2 × SU (2) 2 symmetry (after introducing extra matter depending on the type of punctures). The trinion theories T ± A and T ± B can be build from building blocks that have Lagrangian description. The description involves three copies of SU (2) gauge groups. We direct the reader to [18] for the details.
Consider for example genera g 1 = 2 and g 2 = 3. If we have zero fluxes (0, 0, 0) (i.e. G = 1) along Σ 1 , then one encounters again the problem that the Bethe equations, that arise in calculation of the partition function of the effective 4d N = 1 on Σ 2 × T 2 τ , are degenerate.
If we instead take fluxes (1/2, 1/2, 2) along Σ 1 (this preserves SU (2) diag × U (1) 2 flavor symmetry in 4d and can be realized, for example, by gluing two copies of T + A theories), the Bethe equations are non-degenerate, and one can get a finite answer when the fugacities (β, γ, t) of unbroken part of SO(7) are turned on.

E-string theory
The calcuation of the partition function on M 4 = Σ 1 × Σ 2 with possible fluxes can be done similarly to the case of (N, k) = (2, 2) theory, by using the results of [19]. Consider for example the case g 1 = 1, g 2 = 2 with one unit of flux for G = U (1) ⊂ G = E 8 along Σ 1 . The flux breaks E 8 flavor symmetry down to E 7 × U (1). The compactification on Σ 1 first produces the 4d N = 1 theory that has Lagrangian description with SU (2) 2 gauge symmetry, SU (8) × U (1) flavor symmetry and the chiral multiplets in the following representations: There are also the following terms turned on in the superpotential: 2 F 2 with obvious projections on the trivial representation. The SU (8) flavor symmetry is enhanced to E 7 in the IR.
Calculation of the T 2 τ × Σ 2 topologically twisted index of this theory yields: (4.20) where t is the U (1) flavor fugacity and d denotes representation of E 7 of dimension d.

Twisted indices of 5d theories
While our starting point in 6d involves mostly non-Lagrangian theories, many of their Kaluza-Klein reductions to 5d admit Lagrangian descriptions that are conjectured to capture all information in the BPS sector of the 6d theory. This allows to define (and compute) topologically twisted indices of the resulting 5d gauge theories on S 1 × M 4 , which recover the elliptic genera of T [M 4 ], the effective theory obtained by partially twisting the 6d theory on a 4-manifold.
Therefore, compared to our previous discussion, in this section we decompactify one circle in T 2 τ and instead consider the geometry After reducing on the S 1 factor, one obtains a 5d N = 1 theory on M 4 × R with a partial twist on M 4 . Then supersymmetric vacua of the effective 1d N = 1 quantum mechanics on R can be identified with solutions to a system of BPS equations. As these equations are PDEs on M 4 , we will refer to them as the "4d BPS equations." They will depend on the flavor symmetry background µ, and the moduli space of solutions M BPS (M 4 , µ) will have disconnected components labeled by topological types of the gauge bundle. They correspond to mutually non-interacting sectors of the quantum mechanics on R, which we will loosely refer to as "instanton number sectors." Using intersection theory on the moduli space M BPS (M 4 , µ), one can hope to define numerical invariants of M 4 for a given µ and a given instanton number sector. However, the physical system also predicts that there is a vector space associated to the pair (M 4 , µ), given by the BPS Hilbert space H BPS of the 1d N = 1 quantum mechanics. To obtain such BPS Hilbert space it is usually not sufficient to view the 1d theory as a sigma model onto M BPS because there can be 1) singularities on M BPS and 2) quantum tunneling effects (sometime referred to as "worldline instantons"). When M 4 has b + 2 > 1, M BPS is expected to be smooth for a generic choice of the metric, so here we will not worry about singularities. To cure the second problem, one needs to consider configurations that can also vary along the R direction.
However, a priori we actually do not expect that the BPS Hilbert space itself is the invariant of (M 4 , µ) since it can change under continuous deformations, including deformations of the metric on M 4 . To be more specific, assume that the fermionic parity is non-anomalous 28 then the vector space is Z 2 graded (H BPS = H 0 ⊕ H 1 ) and can be understood as Z 2 graded complex on which the differential, physically realized as the supercharge, acts trivially. The individual components H 0 and H 1 can vary under small deformations, 29 in particular deformations of the metric on the 4-manifold. This can happen already on the level of an ordinary 1d N = 1 sigma-model, where H 0 and H 1 are vector spaces of chiral harmonic spinors on the target, and their dimensions can depend on the metric of the target. The equivalence class of the formal difference H 0 −H 1 , considered as the virtual vector space (moreover, a virtual representation of the 5d global symmetries), is, however, an invariant. The difference should be also immune to any tunneling effects. Therefore one can identify H 0 − H 1 with the index of the Dirac operator on M BPS (M 4 , µ). The isomorphism class of the virtual vector space H 0 − H 1 is completely captured by the equivariant Euler characteristics of H BPS , which can be also understood as the twisted index of the 5d theory, with holonomies for global symmetries turned on along the S 1 circle of S 1 × M 4 . It can be expressed as an equivariant A-genus on M BPS that can be computed via a fixed point formula. 30 If the 5d theory is a reduction of a 6d theory, then it will have a canonical symmetry U (1) q coming from the rotation of the 6d-to-5d circle, i.e. the graviphoton of KK compactification. In the 5d gauge theory description, U (1) q is in general a mixture of instanton symmetry and flavor symmetry, and thus acts on the moduli space non-trivially. Therefore, the twisted partition function, with the fugacity for U (1) q turned on, has good chance of being well-defined even if the 6d theory has no flavor symmetry. In general, apart from U (1), the 5d theory has global symmetry G 2d ⊂ G unbroken by the background µ. 31 The symmetry G 2d can be also realized as the mixture of instanton and flavor symmetries. An example of such scenario is given by the E-string theory on a circle, where the effective 5d theory is an SU (2) gauge theory with 8 flavors and a U (1) subgroup of G = E 8 in the 6d theory is the U (1) instanton symmetry in 5d.
Let us be more explicit. Suppose the 6d (1, 0) theory on S 1 can be described in terms of a 5d N = 1 theory with the gauge group H = L i=1 H i (where H i is a simple Lie group or U (1)) and hypermultiplets in some quaternionic representation R H of H. The 5d theory (in background µ) has U (1) q × G 2d global symmetry. Let the generator of U (1) q be a linear combination of the generators of U (1) i instanton symmetries corresponding to gauge groups H i , whose currents are 1 8π 2 Tr(F i ∧ F i ), with coefficients c i and an ordinary U (1) flavor symmetry acting on hypermultiplets. This flavor symmetry action on hypermultiplets induces action of U (1) q on M BPS . Similarly, G 2d both acts on the hypermultiplets as a usual flavor symmetry, which induces an action of G 2d on M BPS , and as combination of instanton symmetries. The latter action is realized by certain homomorphisms The partition function of the 5d theory on S 1 × M 4 with holonomy g ∈ G 2d around S 1 and (complexified) holonomy q of U (1) q then reads When the dimension of MBPS is not even, instead of the (equivariant) index of the Dirac operator, one can define torsion-valued equivariant KO-classes via the equivariant Atiyah-Bott-Shapiro map (see e.g. [80]). Similarly, when the dimension is 2 mod 4, there will also be torsion classes supplementing the equivariant index. 31 More generally one may consider 5d theory obtained by compactification of 6d theory on S 1 with a non-trivial holonomy h ∈ G 2d ⊂ G. Then the actual global symmetry of 5d theory on M4 would be G 1d := CentralizerG 2d (h) ⊂ G 2d and one would need to replace G 2d with G 1d where appropriate in the formulas below. Equivalently, one can understand the original integral in the virtual sense. However, let us assume, for simplicity of the discussion, that the BPS equations are not degenerate and the bundle of fermion zero modes E is trivial. The right-hand side of (5.3) in principle can be defined for any 5d gauge theory, with some global symmetries U (1) q and G 2d that act as combinations of instanton and flavor symmetries. However, only for 5d theories that arise from compactification of 6d theories on a circle, one expects (5.3) to be modular in τ , with a multiplier system determined by c R − c L and 2d 't Hooft anomaly of G 2d . Also, let us emphasize that although the partition function (5.3) is written in terms of moduli spaces of solutions of 4d BPS equations on M 4 , it is not the same as the partition function of the 4d N = 2 theory obtained by dimensional reduction. In particular, the latter would involve an integration of a different 32 The simplest example of this is the theory of a singe 5d hypermultiplet and no gauge field. The virtual dimension of MBPS is −σ/4. For a generic metric on M4 we have: where V denotes a trivial bundle with constant fiber V . • The 6d theory always give rise to modular forms, which in general cannot be recovered from the 4d theory obtained by dimensional reduction. In fact, the 4d theory often contains strict less information and cannot even be used to obtain a q-series. An example is the E-string theory in 6d which has Minahan-Nemeschansky's E 8 theory as a 4d limit. The latter theory has no marginal deformation and its twisted partition function on a 4-manifold is not naturally a q-series. On the other hand, the E-string theory can give rise to q-series, which was explicitly computed in the previous section for a class of 4-manifolds.
• The 6d and 5d theories often contain other interesting information that is not visible in the 4d theory. For example, the 5d N = 1 SU (2) gauge theory with N F = 4 has enhanced D 5 symmetry [81], while the 4d reduction only captures a D 4 subgroup. Therefore, there is no computation in the purely 4d point of view that can reproduce an equivariant partition function with D 5 symmetry. Also, the partition functions of 6d and 5d theories are naturally series with integer coefficients, while the partition function of the 4d theory is only expected to be a series with rational coefficients.
• Using higher dimensional theories, one can obtain stronger invariants of 4-manifolds that are topological modular forms, (virtual) vector spaces, or modules over the ring of topological modular forms. These are only available if one studies 6d or 5d theories.
One can also run the above program on 3-manifolds. As we have concluded in section 2.13, for the 2d (1, 1) theory T [M 3 × S 1 ], only the sector with zero instanton number can give non-trivial invariants for M 3 . Such invariants, viewed as TMF classes, take values in the subring Z ⊂ π * TMF, and one might regard them as uninteresting. However, due to enhanced supersymmetry, they can be categorified to homological invariants, one for each inequivalent flavor background µ, and carries an action of G 2d . The collection of these homological invariants might be powerful at distinguishing 3-manifolds.
When M 4 = M 3 ×S 1 , it is possible to further reduce the 4d BPS equations by assuming that the fields are constant along the circle. The resulting system of PDEs on M 3 will be referred to as the "3d BPS equations." We expect to have the relation between the moduli space of solutions to BPS equations on M 3 and the moduli space of vacua of the 3d N = 1 theory T [M 3 ] on S 1 × R 2 , both are labeled by the 6d (1, 0) theory and depend on the flavor symmetry background. This gives a way to test proposals for As the 3d equations are simpler while having all the essential ingredients, we will start from there and then move to 4d and 5d. We will consider general 5d N = 1 gauge theories, which may or may not come from a 6d (1, 0) SCFT. This would enable one to categorify 4-manifold invariants such as the Donaldson and Seiberg-Witten invariants whose corresponding 4d N = 2 theory cannot be lifted to be a 6d SCFT.

3d BPS equations
BA Ω, (5.9) 33 We work with Lorentzian signature in this section.
where Ω is the symplectic form on the 4 of Spin (1,4) and A, B are indices for the 2 of SU (2) R . For the two scalar supercharges, we denote the two corresponding SUSY variation parameters as ε + and ε − , where the subscripts denote helicity in R 1,1 . The BPS equations are obtained from the variation of fermionic fields, given by (5.10) Here I = 1, 2, 3 is the index for 3 of SU (2) R . One can choose the ε above to be any linear combination ε = aε + + bε − and the BPS equation will in principal depend on a, b. We first consider the case of a = 1 and b = 0. Notice that γ µ with µ = 1, 2, 3 will flip the helicity in R 1,1 , and, as a consequence, each equation in (5.10) will give rise to two BPS equations coming from terms with even/odd number of γ's. Define µ(q) as the moment map for the H-action on R H , it is valued in h times 3 of SU (2) R . After the twist it defines an h-valued "squaring map" from the spinor bundle S(M 3 ) to Ω 1 (M 3 ) which can be expressed in component language as µ(q) = q i σ I T a ij q j dx I locally. Then the equation of motion for D is D = µ(q). (5.11) Now the BPS equations are given by For general a, b we have 34 where / D A is the Dirac operator and equations for q are omitted. For generic a and b, this set of equations is equivalent to (5.12), but when a = b, since ε + + ε − is invariant under the flipping of helicity, we have only one-half of the equations, (5.14) Similar phenomenon happens for a = −b, for which ε is anti-invariant under the flipping of helicity in R 1,1 and we have The exact equations will depends on conventions for ε±.

4d and 5d BPS equations
Before further analyzing the above equations, we derive a set of related equations on 4manifolds. The holonomy group of a general 4-manifold M 4 is SO(4). We consider its double cover Spin(4) = SU (2) + × SU (2) − . A general 5d N = 1 theory can be twisted over M 4 by replacing SU (2) + with the diagonal subgroup SU (2) + of SU (2) + × SU (2) R . The supercharges transform under the SU (2) + × SU (2) − × SU (2) R and SU (2) + × SU (2) − respectively as We will denote the scalar supercharge as Q 0 and the corresponding SUSY parameter ε 0 . The fields will transform in the following way after the twist, Now q and q are sections of the spinor bundle S + (M 4 ), 35 and φ := −iA 5 is a h-valued real scalar over M 4 satisfying φ = φ † . The BPS equations are now straightforward to derive from the variation of λ and ψ. Since ε 0 has definite helicity under Spin(4) and a γ will flip helicity, there will be at least two equations coming from variations of either λ and ψ. In fact, there is an additional one from the "trace part" of the variation of λ. Another way to see that there are three equation coming out of δλ is to notice that this variation is also decomposed as (1, 1) ⊕ (3, 1) ⊕ (2, 2) under SU (2) + × SU (2) − , and each piece gives rise to an independent equation. In total, we have Here ϕ = φ + iφ , 36 and µ + is now the squaring map from sections of S + (M 4 ) ⊗ R H to Ω 2,+ (M 4 , ad(H)) is again coming from the equation of motion for D. 35 When M4 is not Spin, one needs to twist the H-bundle to make S + ⊗ RH well defined. For the 6d theory obtained by N M5-branes probing C 2 /Γ singularity, there is always a U (1) factor in H, which can be used to deal with this problem, as all oriented 4-manifolds are Spin c . 36 We use Euclidean signature the above equations. Also, one can choose the gauge with φ = 0.
One can also allow fields to have non-trivial dependence on the time direction. This leads to a system of flow equations: where F 0 is a one-form on M 4 that satisfies (F 0 ) µ = F 0µ locally. Now we have all the 3d/4d/5d BPS equations (5.12), (5.18) and (5.19). When flavor backgrounds are turned on, one only needs to make obvious modifications to the equations by making the covariant derivative also dependent on the background flavor connections. Supersymmetry further demands that the connections for flavor symmetries are self-dual for the non-abelian part and may have constant curvature for the abelian part.

Vanishing theorems
We now analyze the BPS equations in greater detail. The first step is to prove a vanishing theorems.
We start with the three equations which are shared between the 4d and 5d BPS equations.
Using the Lichnerowicz-Weitzenböck formula where ∇ A is the covariant derivative assoicated with A and the Levi-Civita connection, R is the scalar curvature and / F + : Γ(S + ⊗ R H ) → Γ(S + ⊗ R H ) the Clifford action, we have

This leads to
Vanishing Theorem. If the metric on M 4 has positive scalar curvature, then we must have q = q = 0 and F + A = 0 for the 4d and 5d BPS equations to hold.
Analogous theorem also holds for the 3d equations, which can be viewed as a direct corollary of the above theorem applied to S 1 -invariant configurations on M 4 = M 3 × S 1 .

M BPS for L(p, 1) × S 1
As an application of the vanishing theorem, we determine M BPS for M 4 = L(p, 1) × S 1 . The vanishing theorem ensures that q = q = 0, which leaves only two non-trivial equations

Abelian theories
We now consider the case where we have an abelian theory in 5d. It could come from the 6d (1,0) theory obtained by a M5-brane probing C 2 /Γ singularity, or it could be a theory without a 6d lift, such as the U (1) theory with a fundamental hypermultiplet. As it turns out, in abelian theories, there won't be tunneling effects and therefore the exact BPS Hilbert space H BPS is given by just by counting solutions of 4-dimensional equation, as described in the beginning of the section.
To see this, consider a general t-dependent solution to the 5d BPS equations (5.19) (A, A 0 , φ, q, q). Since H is abelian, the field φ, transforming in the adjoint of H, is now a collection of decoupled free fields. And we also have D 0 = ∂ 0 . As a consequence, (5.19) implies Now we only needs to show that we can make A and A 0 time-independent by doing a gauge transformation with a function f on M 4 × R t . Since we have (5.30) it is easy to see that the gauge transformation given by the globally-defined function will make ∂ 0 A = 0. After this gauge transformation, we will also have becoming independent of time. This leads to Vanishing Theorem for Q. When H is abelian, an arbitrary solutions of the 5d BPS equation will be gauge equivalent to a time-independent solution.
So modulo the field A 0 = −φ, solutions of the 5d equations are in one-to-one correspondence with the solutions of 4d multi-monopole equations. In other words, the homology groups are generated by solutions of the 4d equations with no differentials. For the nonabelian case, we expect H BPS to be in general Z 2 -graded. However, since the abelian case has no differential, it will now be Z-graded. The grading is given by the index of an elliptic operator T : Ω 1 ⊕ (S + ⊗ P (R H )) → Ω 0 ⊕ Ω 2,+ ⊕ (S − ⊕ P (R H )) (5.33) given by the multi-monopole equations, with P (R H ) being the vector bundle associated with the gauge principal H-bundle P . For each factor of U (1) in H = U (1) r , there will be an abelian instanton symmetry in the 5d theory. Therefore, one can make the homology Z r+1 -graded. We also observe "flavorhomology interlocking"-the homological degree can be written as a linear combination of instanton numbers of U (1)'s in H.

An alternative viewpoints on the BPS equations
The number of solutions to the 3d BPS equations are the same as the number of supersymmetric vacua of T [M 3 ], or equivalently, its Witten index. If one replaces R 3 in (4.1) with T 3 and perform compactification on it first, one would obtain a 3d N = 4 (or 3d N = 8 for k = 1) theory T [T 3 ] twisted on M 3 . It is not hard to see that the twist, using SU (2) H of the SU (2) C × SU (2) H R-symmetry of the 3d N = 4 theory, exactly gives the Rozansky-Witten theory of the Coulomb branch.
The homotopy groups of the spectrum E is defined as π n (E) := lim k→∞ π k+n (E k ) = E −n (pt). (A.4) For an abelian group G, the singular cohomology H * (−, G) is given by the Eilenberg-Maclane spectrum where U , Sp and O stand for U (∞), Sp(∞) and O(∞) respectively. Both spectra are periodic with period 2 and 8. Further, K-theory is even, meaning that K 2n+1 (pt) = 0. Another even periodic cohomology theory, closely related to topological modular forms, is the elliptic cohomology Ell C/R . We won't detail its construction and only will remark that it depends on a choice of an elliptic curve C over a commutative ring R.
As an elliptic curve over R is the same as a map Spec(R) → M ell (A.11) where M ell is the moduli stack of elliptic curves, 38 the elliptic cohomologies define a presheaf of cohomology theories over M ell . However, this presheaf cannot be made into a sheaf and it has no global section. The insight of Goerss, Hopkins and Miller is that the category of spectra is better behaved, and one can ask for a sheaf of spectra O top over M ell . They proved that this sheaf indeed exists. More precisely, there is a sheaf of E ∞ -ring spectra O top on M ell in theétale topology, which is a E ∞ -ring spectrum. The associated cohomology theory is no longer an elliptic cohomology. Instead, it should be viewed as the universal elliptic cohomology theory.

A.2 Topological modular forms
There are several variants of TMF. One is Tmf := O top (M ell ). (A.14) Here M ell is the Deligne-Mumford compactification of M ell by allowing nodal singularities, which O top extends over. The connective cover of Tmf is known as tmf, and has the property π <0 (tmf) = 0. (A.15) The version TMF is periodic with the "periodicity element" commonly denoted as ∆ −24 ∈ π −576 (TMF). It is related to the other versions via TMF = tmf ∆ −24 = Tmf ∆ −24 .
(A.17) Therefore, to understand π * (TMF), it suffices to describe π * (tmf). There are three ring homomorphisms involving the latter, and when combined, can shed much light on its structure.
• The first is the Hurewicz homomorphism from the homotopy groups of spheres π * (S) → π * (tmf). (A. 18) This map is an isomorphism upto degree 6 and allows us to identify tmf classes in low degrees with elements in π * (S). Recall that the generator of the latter in low degrees are the unit 1 ∈ π 0 (S) and the two Hopf invariants η ∈ π 1 (S) and ν ∈ π 3 (S), which satisfy the relations 2η = 24ν = η 4 = ν 4 = 2ν 2 = 0 (A. 19) and η 3 = 12ν. (A.20) • The second is the topological Witten genus map Ω String * → π * (tmf) (A. 21) coming from the String-orientation of tmf, analogous to the Atiyah-Bott-Shapiro map Ω Spin * → π * (KO) given by the Spin orientation of KO. In fact, the Hurewicz homomorphism factorizes through the topological Witten genus map, as it comes from the fact that the sphere spectrum S is the unit object in the category of E ∞spectra. Further, this map is surjective, which means that every element in tmf can be represented by a String manifold. For example, when n = 24, MF 12 Z ⊕ Z is generated by E 3 4 and ∆, but π n (tmf) Z ⊕ Z is generated by the pre-image of E 3 4 and 24∆.

B Bauer-Furuta invariants and their generalizations
As was briefly mentioned at the end of Section 2.1, one can expect that invariants of 4manifolds valued in the torsion subgroups of π * TMF are closely related to Bauer-Furuta invariants [24,25] and their possible generalizations. In particular, take 6d (0, 1) theory that consists of a vector multiplet and a charged hypermultiplet and take the strict 4d limit (that is, forget all KK modes). As we discussed earlier, on a closed simply-connected 4-manifold M 4 , after the topological twist, bosonic modes of the hypermultiplet are sections of the spinor bundle S + , while that of a vector multiplet take values in A, the space of connections on a line bundle L. The Seiberg-Witten equations define a U (1)-equivariant map between these spaces: In this setting, the Bauer-Furuta invariant is a stable homotopy class of the U (1)-equivariant map of spheres, where µ fin : C c + ⊕ R d + → C c − ⊕ R d − is a finite-dimensional approximation to µ. When 4-manifold M 4 is Spin, this map is, in fact, a Pin 2 -equivariant proper map where R is the non-trivial 1-dimensional representation of Pin 2 defined by the multiplication by Pin 2 /S 1 = {±1}, and non-negative integers c i and d i satisfy The group Pin 2 here is the centralizer of S 1 in Sp (1) . For example, the case of d = 0 corresponds to π 1 (S) ∼ = Z 2 , and the corresponding (nonequivariant) Bauer-Furuta invariant is a mod 2 reduction of the Seiberg-Witten invariant. However, already in the next case of d = 1, we see that numerical Seiberg-Witten invariants vanish, whereas Bauer-Furuta invariants take values in π 2 (S) ∼ = Z 2 . This Bauer-Furuta invariant is non-trivial e.g. for the connected sum K3#K3.
The discussion in the present section suggests a promising avenue for constructing new 4-manifold invariants, in particular, when homotopy theoretic and equivariant techniques are combined together. The simplest example of a promising direction that, to the best of our knowledge, has not been explored so far is the "multi-monopole version of the Bauer-Furuta invariant" based on the generalization of Seiberg-Witten equations with N f spinor fields Ψ i : ∂ / Ψ i = 0, i = 1, . . . , N f , Unlike the standard Seiberg-Witten equations (which correspond to N f = 1), when N f > 1 the moduli space M N f of solutions to these multi-monopole equations is non-compact. This problem, however, can be circumvented by considering SU (N f )-equivariant integrals over M N f since, as shown in [10], the set of fixed points is compact. Although this gives a finite result for the "SU (N f )-equivariant multi-monopole invariants," they all can be expressed in terms of Seiberg-Witten invariants. A natural way to extract further information is to consider SU (N f )-equivariant Bauer-Furuta invariants based on (B.6).
It is very tempting to ask if the geometrical bounds (C.4) are related to the physical bounds (C.1), (C.3) and (C.2). Unfortunately, the answer seems to be negative.
Nevertheless one can still ask what the conditions on the 6d anomaly polynomial coefficients α, β, γ, δ are so that the unitarity bounds c L , c R > 0 are satisfied for almost 39 Minimal surface is a surface that cannot be obtained by blowing up any other surface at a point.
Topologically this means that it is not a connected sum of any other surface with CP 2 . Surfaces of general type on the formal level means that the Kodaira dimension is 2. Figure 1. The figure displays two regions in the 3d projective space of 6d anomaly polynomials in the affine chart where α = 1, parametrized by β/α, γ/α, δ/α. The red one is the region carved out by the inequalities (C.2). The blue one is the region given by condition that c L , c R > 0 for almost all minimal surfaces of general type (meaning that we take χ and σ to be large that the inequalities (C.4) can be replaced by homogeneous ones).
all minimal surfaces of general type (meaning that we take χ and σ to be large that the inequalities (C.4) can be replaced by homogeneous ones), and whether it has a non-trivial intersection with conditions (C.2). The answer turns out to be positive, although neither of two systems of inequalities imply the other. See Figure 1. One can check that the (naive) expressions for supercharges (C.1) indeed produce positive quantities for O(−n) theories and general rank E-string theories assuming χ and σ satisfy the conditions (C.4).