Instantons and Donaldson invariants

Transcription

1 Instantons and Donaldson invariants George Korpas Trinity College Dublin IFT, November 20, 2015

2 A problem in mathematics

3 A problem in mathematics Important probem: classify d-manifolds up to diffeomorphisms.

4 A problem in mathematics Important probem: classify d-manifolds up to diffeomorphisms. E.g., in d = 3, the Poincaré conjecture [proved in 2002, Pelerman].

5 A problem in mathematics Important probem: classify d-manifolds up to diffeomorphisms. E.g., in d = 3, the Poincaré conjecture [proved in 2002, Pelerman]. The main such classification problem, still open, is in d = 4.

6 A problem in mathematics Important probem: classify d-manifolds up to diffeomorphisms. E.g., in d = 3, the Poincaré conjecture [proved in 2002, Pelerman]. The main such classification problem, still open, is in d = 4. One classification can be performed using appropriate topological invariants.

7 A problem in mathematics Important probem: classify d-manifolds up to diffeomorphisms. E.g., in d = 3, the Poincaré conjecture [proved in 2002, Pelerman]. The main such classification problem, still open, is in d = 4. One classification can be performed using appropriate topological invariants. Freedman: any two smooth simply connected 4-manifolds M 1, M 2 are homotopy equivalent if they have the same intersection form Q M, i.e. if Q M1 = Q M2.

8 A problem in mathematics Important probem: classify d-manifolds up to diffeomorphisms. E.g., in d = 3, the Poincaré conjecture [proved in 2002, Pelerman]. The main such classification problem, still open, is in d = 4. One classification can be performed using appropriate topological invariants. Freedman: any two smooth simply connected 4-manifolds M 1, M 2 are homotopy equivalent if they have the same intersection form Q M, i.e. if Q M1 = Q M2. where a, b H 2 (M, Z). Q M : H 2 (M, Z) H 2 (M, Z) Z Q M (a, b) = a b M

9 A problem in mathematics Not good enough since there exist exotic 4-manifolds, e.g. exotic R 4 s homeomorphic to the standard R 4 but not diffeomorphic to it.

10 A problem in mathematics Not good enough since there exist exotic 4-manifolds, e.g. exotic R 4 s homeomorphic to the standard R 4 but not diffeomorphic to it. We need some type of invariant able to distinguish between diffeomorphisms.

11 A problem in mathematics Not good enough since there exist exotic 4-manifolds, e.g. exotic R 4 s homeomorphic to the standard R 4 but not diffeomorphic to it. We need some type of invariant able to distinguish between diffeomorphisms. Donaldson: new class of invariants studying non-abelian instantons on 4-manifolds.

12 A problem in mathematics Not good enough since there exist exotic 4-manifolds, e.g. exotic R 4 s homeomorphic to the standard R 4 but not diffeomorphic to it. We need some type of invariant able to distinguish between diffeomorphisms. Donaldson: new class of invariants studying non-abelian instantons on 4-manifolds. Instantons: gauge field configurations satisfying the SD and ASD equations F = ±F where F = da + A A

13 A problem in mathematics Not good enough since there exist exotic 4-manifolds, e.g. exotic R 4 s homeomorphic to the standard R 4 but not diffeomorphic to it. We need some type of invariant able to distinguish between diffeomorphisms. Donaldson: new class of invariants studying non-abelian instantons on 4-manifolds. Instantons: gauge field configurations satisfying the SD and ASD equations F = ±F where F = da + A A and with instanton number k = 1 8π 2 tr F 2 = c 2 (E) M

14 A problem in mathematics Not good enough since there exist exotic 4-manifolds, e.g. exotic R 4 s homeomorphic to the standard R 4 but not diffeomorphic to it. We need some type of invariant able to distinguish between diffeomorphisms. Donaldson: new class of invariants studying non-abelian instantons on 4-manifolds. Instantons: gauge field configurations satisfying the SD and ASD equations F = ±F where F = da + A A and with instanton number k = 1 8π 2 tr F 2 = c 2 (E) E is the G-bundle, and moduli space of (k-instantons) M M G k = MG k (MG k 1 R4 ) (M G k 2 Sym2 R 4 )... (Sym k R 4 )

15 A problem in mathematics Not good enough since there exist exotic 4-manifolds, e.g. exotic R 4 s homeomorphic to the standard R 4 but not diffeomorphic to it. We need some type of invariant able to distinguish between diffeomorphisms. Donaldson: new class of invariants studying non-abelian instantons on 4-manifolds. Instantons: gauge field configurations satisfying the SD and ASD equations F = ±F where F = da + A A and with instanton number k = 1 8π 2 tr F 2 = c 2 (E) E is the G-bundle, and moduli space of (k-instantons) M M G k = MG k (MG k 1 R4 ) (M G k 2 Sym2 R 4 )... (Sym k R 4 ) Donaldson invariants are polynomials on (specific) cycles of H n (M). Physically: correlation functions of operators of the corresponding gauge theory on M.

16 A problem in physics One of the main objects of interest in a QFT is its partition function Z[Φ] = [DΦ] e is[φ]

17 A problem in physics One of the main objects of interest in a QFT is its partition function Z[Φ] = [DΦ] e is[φ] If one knows the partition function then it is possible to calculate the correlation functions of various operators of the theory.

18 A problem in physics One of the main objects of interest in a QFT is its partition function Z[Φ] = [DΦ] e is[φ] If one knows the partition function then it is possible to calculate the correlation functions of various operators of the theory. In general it is extremely hard to analytically study the partition function of a QFT.

19 A problem in physics One of the main objects of interest in a QFT is its partition function Z[Φ] = [DΦ] e is[φ] If one knows the partition function then it is possible to calculate the correlation functions of various operators of the theory. In general it is extremely hard to analytically study the partition function of a QFT. Despite that, progress in N = 2 SYM theories in mid 90 s (Seiberg-Witten solution) and all through the last 15 years (Nekrasov partition function, SUSY localization on S 4 by Pestun, etc) have allowed us to explicitly calculate the exact form of Z in some cases.

20 A problem in physics One of the main objects of interest in a QFT is its partition function Z[Φ] = [DΦ] e is[φ] If one knows the partition function then it is possible to calculate the correlation functions of various operators of the theory. In general it is extremely hard to analytically study the partition function of a QFT. Despite that, progress in N = 2 SYM theories in mid 90 s (Seiberg-Witten solution) and all through the last 15 years (Nekrasov partition function, SUSY localization on S 4 by Pestun, etc) have allowed us to explicitly calculate the exact form of Z in some cases. Here we will show how to compute the partition function of the topologically twisted N = 2 SYM living on a toric variety.

21 A problem in physics One of the main objects of interest in a QFT is its partition function Z[Φ] = [DΦ] e is[φ] If one knows the partition function then it is possible to calculate the correlation functions of various operators of the theory. In general it is extremely hard to analytically study the partition function of a QFT. Despite that, progress in N = 2 SYM theories in mid 90 s (Seiberg-Witten solution) and all through the last 15 years (Nekrasov partition function, SUSY localization on S 4 by Pestun, etc) have allowed us to explicitly calculate the exact form of Z in some cases. Here we will show how to compute the partition function of the topologically twisted N = 2 SYM living on a toric variety. A toric variety can be thought of, geometrically, as a generalization of the complex projective space P n.

22 The topological twist of N = 2 SYM Consider N = 2 SYM with gauge group G

23 The topological twist of N = 2 SYM Consider N = 2 SYM with gauge group G The Lagrangian of N = 2 SYM reads L = 1 trf F + θ 8g2 32π trf F + ( φ)2 + V (φ) + fermions

24 The topological twist of N = 2 SYM Consider N = 2 SYM with gauge group G The Lagrangian of N = 2 SYM reads L = 1 trf F + θ 8g2 32π trf F + ( φ)2 + V (φ) + fermions The global symmetry group of N = 2 SYM is the following one H = SU(2) + SU(2) }{{ SU(2) } I U(1) }{{ R } K Spin(4) R Spin(6)

25 The topological twist of N = 2 SYM Consider N = 2 SYM with gauge group G The Lagrangian of N = 2 SYM reads L = 1 trf F + θ 8g2 32π trf F + ( φ)2 + V (φ) + fermions The global symmetry group of N = 2 SYM is the following one H = SU(2) + SU(2) }{{ SU(2) } I U(1) }{{ R } K Spin(4) R Spin(6) Twisting is interpreting the rotation group as some other subgroup of H [Witten].

26 The topological twist of N = 2 SYM Consider N = 2 SYM with gauge group G The Lagrangian of N = 2 SYM reads L = 1 trf F + θ 8g2 32π trf F + ( φ)2 + V (φ) + fermions The global symmetry group of N = 2 SYM is the following one H = SU(2) + SU(2) }{{ SU(2) } I U(1) }{{ R } K Spin(4) R Spin(6) Twisting is interpreting the rotation group as some other subgroup of H [Witten]. Why twist?

27 The topological twist of N = 2 SYM Consider N = 2 SYM with gauge group G The Lagrangian of N = 2 SYM reads L = 1 trf F + θ 8g2 32π trf F + ( φ)2 + V (φ) + fermions The global symmetry group of N = 2 SYM is the following one H = SU(2) + SU(2) }{{ SU(2) } I U(1) }{{ R } K Spin(4) R Spin(6) Twisting is interpreting the rotation group as some other subgroup of H [Witten]. Why twist? Allow susy on general 4-manifolds with arbitrary curvature.

28 The topological twist of N = 2 SYM Consider N = 2 SYM with gauge group G The Lagrangian of N = 2 SYM reads L = 1 trf F + θ 8g2 32π trf F + ( φ)2 + V (φ) + fermions The global symmetry group of N = 2 SYM is the following one H = SU(2) + SU(2) }{{ SU(2) } I U(1) }{{ R } K Spin(4) R Spin(6) Twisting is interpreting the rotation group as some other subgroup of H [Witten]. Why twist? Allow susy on general 4-manifolds with arbitrary curvature. Oservables of twisted theory become a subset of the ones of the original one with some nice properties.

29 The topological twist of N = 2 SYM The twist of the N = 2 susy algebra consists of considering our rotation group as different subgroup of H, namely

30 The topological twist of N = 2 SYM The twist of the N = 2 susy algebra consists of considering our rotation group as different subgroup of H, namely K = SU(2) + SU(2) ) where SU(2) + = diag (SU(2) + SU(2) I.

31 The topological twist of N = 2 SYM The twist of the N = 2 susy algebra consists of considering our rotation group as different subgroup of H, namely K = SU(2) + SU(2) ) where SU(2) + = diag (SU(2) + SU(2) I. Under H = K U(1) R one of the susy generators becomes a scalar one, Q, while the overall procedure makes the theory a TQFT.

32 The topological twist of N = 2 SYM The twist of the N = 2 susy algebra consists of considering our rotation group as different subgroup of H, namely K = SU(2) + SU(2) ) where SU(2) + = diag (SU(2) + SU(2) I. Under H = K U(1) R one of the susy generators becomes a scalar one, Q, while the overall procedure makes the theory a TQFT. The theory is topological for the simple reason that certains correlators are invariant under variation of the metric. This means that the energy-momentum tensor is Q-exact.

33 The topological twist of N = 2 SYM The twist of the N = 2 susy algebra consists of considering our rotation group as different subgroup of H, namely K = SU(2) + SU(2) ) where SU(2) + = diag (SU(2) + SU(2) I. Under H = K U(1) R one of the susy generators becomes a scalar one, Q, while the overall procedure makes the theory a TQFT. The theory is topological for the simple reason that certains correlators are invariant under variation of the metric. This means that the energy-momentum tensor is Q-exact. Actually one gets the cohomology ring H = KernelQ ImageQ and the various observables are elements of the cohomology groups.

34 Donaldson-Witten theory The topologically twisted N = 2 theory is called Donaldson-Witten theory.

35 Donaldson-Witten theory The topologically twisted N = 2 theory is called Donaldson-Witten theory. The field content is slightly different than the original N = 2 SYM theory (Φ, A, Ψ, η, χ +, B + )

36 Donaldson-Witten theory The topologically twisted N = 2 theory is called Donaldson-Witten theory. The field content is slightly different than the original N = 2 SYM theory (Φ, A, Ψ, η, χ +, B + ) For bundles with non-vanishing first Chern class, c 1, we have c 1 = 1 trf H 2 (M) 2π M in order to be able to sum over all possible vacua of our theory and to allow any kind of fluxes.

37 Donaldson-Witten theory The topologically twisted N = 2 theory is called Donaldson-Witten theory. The field content is slightly different than the original N = 2 SYM theory (Φ, A, Ψ, η, χ +, B + ) For bundles with non-vanishing first Chern class, c 1, we have c 1 = 1 trf H 2 (M) 2π M in order to be able to sum over all possible vacua of our theory and to allow any kind of fluxes. Under the twist the Lagrangian reads L = iτ trf F + ω trf + QV 4π

38 Donaldson-Witten theory The topologically twisted N = 2 theory is called Donaldson-Witten theory. The field content is slightly different than the original N = 2 SYM theory (Φ, A, Ψ, η, χ +, B + ) For bundles with non-vanishing first Chern class, c 1, we have c 1 = 1 trf H 2 (M) 2π M in order to be able to sum over all possible vacua of our theory and to allow any kind of fluxes. Under the twist the Lagrangian reads L = iτ trf F + ω trf + QV 4π where ω H 2 (M, R) and V is a standard Q-exact term that makes localization possible. τ = i g 2 + θ 2π

39 Supersymmetric localization Idea: apply something called equivariant localization techniques to reduce the path integral to its susy fixed points.

40 Supersymmetric localization Idea: apply something called equivariant localization techniques to reduce the path integral to its susy fixed points. Consider for example C 2.

41 Supersymmetric localization Idea: apply something called equivariant localization techniques to reduce the path integral to its susy fixed points. Consider for example C 2. Coordinates of C 2 by z 1 and z 2 and allow z 1 e ɛ1 z 1 z 2 e ɛ2 z 2 This is the famous Ω-background of Nekrasov (think about it as a C 2 bundle over S 1 ).

42 Supersymmetric localization Idea: apply something called equivariant localization techniques to reduce the path integral to its susy fixed points. Consider for example C 2. Coordinates of C 2 by z 1 and z 2 and allow z 1 e ɛ1 z 1 z 2 e ɛ2 z 2 This is the famous Ω-background of Nekrasov (think about it as a C 2 bundle over S 1 ). Path integral, for our twisted theory in Ω-background receivesonly a finite contribution from point-like instantons (for the non-perturbative part). How it works?

43 Supersymmetric localization Idea: apply something called equivariant localization techniques to reduce the path integral to its susy fixed points. Consider for example C 2. Coordinates of C 2 by z 1 and z 2 and allow z 1 e ɛ1 z 1 z 2 e ɛ2 z 2 This is the famous Ω-background of Nekrasov (think about it as a C 2 bundle over S 1 ). Path integral, for our twisted theory in Ω-background receivesonly a finite contribution from point-like instantons (for the non-perturbative part). How it works? The Q-exactness of the V term requires we set the fermions to zero.

44 Supersymmetric localization Idea: apply something called equivariant localization techniques to reduce the path integral to its susy fixed points. Consider for example C 2. Coordinates of C 2 by z 1 and z 2 and allow z 1 e ɛ1 z 1 z 2 e ɛ2 z 2 This is the famous Ω-background of Nekrasov (think about it as a C 2 bundle over S 1 ). Path integral, for our twisted theory in Ω-background receivesonly a finite contribution from point-like instantons (for the non-perturbative part). How it works? The Q-exactness of the V term requires we set the fermions to zero. Then the instanton partition function only receives contributions from point-like instantons of the fixed points of C 2 [Nekrasov] and Zinst C2 can be calculated exactly.

45 The torus action on P2

46 The torus action on P 2 We will consider the case of P 2 = (C 3 \{0})/(C )

47 The torus action on P 2 We will consider the case of P 2 = (C 3 \{0})/(C ) Homogeneous coordinates of P 2 are [z 0 : z 1 : z 2 ] we can get three patches that locally look like C 2, i.e. we have three fixed points of the torus action.

48 The torus action on P 2 We will consider the case of P 2 = (C 3 \{0})/(C ) Homogeneous coordinates of P 2 are [z 0 : z 1 : z 2 ] we can get three patches that locally look like C 2, i.e. we have three fixed points of the torus action. The torus action itself is generated on each patch l = 0, 1, 2 by a vector field V (ɛ (l) 1, ɛ(l) 2 ).

49 The torus action on P 2 We will consider the case of P 2 = (C 3 \{0})/(C ) Homogeneous coordinates of P 2 are [z 0 : z 1 : z 2 ] we can get three patches that locally look like C 2, i.e. we have three fixed points of the torus action. The torus action itself is generated on each patch l = 0, 1, 2 by a vector field V (ɛ (l) 1, ɛ(l) 2 ). Susy is equivariant with respect to the maximal torus U(1) N+2 acting on P 2. The U(1) 2 factor is due to the vector field V.

50 The torus action on P 2 We will consider the case of P 2 = (C 3 \{0})/(C ) Homogeneous coordinates of P 2 are [z 0 : z 1 : z 2 ] we can get three patches that locally look like C 2, i.e. we have three fixed points of the torus action. The torus action itself is generated on each patch l = 0, 1, 2 by a vector field V (ɛ (l) 1, ɛ(l) 2 ). Susy is equivariant with respect to the maximal torus U(1) N+2 acting on P 2. The U(1) 2 factor is due to the vector field V. Actually this U(1) 2 factor corresponds to the same Ω-background of Nekrasov with parameters ɛ (l) 1 and ɛ (l) 2. Nekrasov only had one set of ɛ s since he worked in C 2 [Nekrasov 2002].

51 The torus action on P 2 For each patch l ɛ (l) 1 ɛ (l) 2 0 ɛ 1 ɛ 2 1 ɛ 2 ɛ 1 ɛ 2 2 ɛ 2 ɛ 1 ɛ 1

52 The torus action on P 2 For each patch l ɛ (l) 1 ɛ (l) 2 0 ɛ 1 ɛ 2 1 ɛ 2 ɛ 1 ɛ 2 2 ɛ 2 ɛ 1 ɛ 1 In order to compute the partition function we will need the Coulomb branch parameters a = (a 1,..., a N ).

53 The torus action on P 2 For each patch l ɛ (l) 1 ɛ (l) 2 0 ɛ 1 ɛ 2 1 ɛ 2 ɛ 1 ɛ 2 2 ɛ 2 ɛ 1 ɛ 1 In order to compute the partition function we will need the Coulomb branch parameters a = (a 1,..., a N ). Also note that for each patch the Coulomb branch parameters change slightly, we have [Nakajima et. al.] a (0) i = a i + p i ɛ 1 + q i ɛ 2 a (1) i = a i + p i (ɛ 1 ɛ 2 ) r i ɛ 2 a (2) i = a i + q i (ɛ 2 ɛ 1 ) r i ɛ 1 where p, q, r are some parameters whose sum is N, while i = 1,..., N.

54 Exact partition function The partition function for P 2 is then [Goottsche et. al., Bershtein et. al.] Z P2 full (q, x, z, y; ɛ 1,2 ) = {p i,q i,r i } da 2 l=0 Z C2 (q (l) ; a (l), ɛ (l) full 1,2 )yc(l) 1

55 Exact partition function The partition function for P 2 is then [Goottsche et. al., Bershtein et. al.] Z P2 full (q, x, z, y; ɛ 1,2 ) = {p i,q i,r i } da 2 l=0 Z C2 (q (l) ; a (l), ɛ (l) full 1,2 )yc(l) 1 that is, for P 2 we need to compute Nekrasov s partition function on each C 2 patch separately and then glue them together.

56 Exact partition function The partition function for P 2 is then [Goottsche et. al., Bershtein et. al.] Z P2 full (q, x, z, y; ɛ 1,2 ) = {p i,q i,r i } da 2 l=0 Z C2 (q (l) ; a (l), ɛ (l) full 1,2 )yc(l) 1 that is, for P 2 we need to compute Nekrasov s partition function on each C 2 patch separately and then glue them together. Nekrasov s instanton partition function has a combinatorial nature. Information is encoded in partitions of the instanton number represented by Young diagrams.

57 Exact partition function So we have the product of three partition functions. One for each patch of P 2.

58 Exact partition function So we have the product of three partition functions. One for each patch of P 2. The Nekrasov partition function on each patch is Z C2 inst(q; a, ɛ 1,2 ) = {Y α} q Y Z hyper ( a, Y, ɛ 1,2 )

59 Exact partition function So we have the product of three partition functions. One for each patch of P 2. The Nekrasov partition function on each patch is Z C2 inst(q; a, ɛ 1,2 ) = {Y α} q Y Z hyper ( a, Y, ɛ 1,2 ) and where Z hyper ( a, Y, ɛ 1,2 ) = N a,b=1 s Y a (a ba L Yb ɛ 1 + (A Ya + 1)ɛ 2 ) 1 (a ab + (L Yb + 1)ɛ 1 A Ya ɛ 2 ) 1 Here A is the Young diagram s arm function and L its leg function while q = e 2πiτ.

60 Exact partition function So we have the product of three partition functions. One for each patch of P 2. The Nekrasov partition function on each patch is Z C2 inst(q; a, ɛ 1,2 ) = {Y α} q Y Z hyper ( a, Y, ɛ 1,2 ) and where Z hyper ( a, Y, ɛ 1,2 ) = N a,b=1 s Y a (a ba L Yb ɛ 1 + (A Ya + 1)ɛ 2 ) 1 (a ab + (L Yb + 1)ɛ 1 A Ya ɛ 2 ) 1 Here A is the Young diagram s arm function and L its leg function while q = e 2πiτ. Once we have calculated the partition function on each patch we have to glue the patches together. But this is not trivial.

61 Example: U(2) and k = 1 This is the simplest example. The Young configurations that contribute are and

62 Example: U(2) and k = 1 This is the simplest example. The Young configurations that contribute are and The partition function on the first patch of P 2 is ( ) Z C2 (0) inst = q 2 1 ɛ 1 ɛ 2 a 12 (a 21 + ɛ 1 + ɛ 2 ) + 1 ɛ 1 ɛ 2 a 21 (a 12 + ɛ 1 + ɛ 2 )

63 Example: U(2) and k = 1 This is the simplest example. The Young configurations that contribute are and The partition function on the first patch of P 2 is ( ) Z C2 (0) inst = q 2 1 ɛ 1 ɛ 2 a 12 (a 21 + ɛ 1 + ɛ 2 ) + 1 ɛ 1 ɛ 2 a 21 (a 12 + ɛ 1 + ɛ 2 ) Using the equivariant variables ɛ (l) 1, ɛ(l) 2 for l = 0, 1, 2 we can easily write down the full partition function as the product Zinst C2 = Z C2 (0) inst ZC2 (1) inst ZC2 (2) inst

64 U(2) and k = 2 This is slightly more complicated since we have 5 Young configurations in total,,,,

65 U(2) and k = 2 This is slightly more complicated since we have 5 Young configurations in total,,,, For example, for the first configuration we have Z {2 } hyp = (2ɛ 2 1 ɛ 2a 12 ) 1 ( ɛ 1 + ɛ 2 )(a ɛ 1 + ɛ 2 )(a 21 + ɛ 1 + ɛ 2 )(a 12 ɛ 1 )

66 U(2) and k = 2 This is slightly more complicated since we have 5 Young configurations in total,,,, For example, for the first configuration we have Z {2 } hyp = (2ɛ 2 1 ɛ 2a 12 ) 1 ( ɛ 1 + ɛ 2 )(a ɛ 1 + ɛ 2 )(a 21 + ɛ 1 + ɛ 2 )(a 12 ɛ 1 ) Symmetries: Z { 2} hyp (a 12 ) = Z {2 } hyp (a 21 )

67 U(2) and k = 2 This is slightly more complicated since we have 5 Young configurations in total,,,, For example, for the first configuration we have Z {2 } hyp = (2ɛ 2 1 ɛ 2a 12 ) 1 ( ɛ 1 + ɛ 2 )(a ɛ 1 + ɛ 2 )(a 21 + ɛ 1 + ɛ 2 )(a 12 ɛ 1 ) Symmetries: Z { 2} hyp (a 12 ) = Z {2 } hyp (a 21 ) Find the rest of the configurations, then glue the three C 2 contributions together.

68 Full partition function on P 2 and Donaldson invariants I have not told you that we also need to consider the Z perturbative and Z 1 loop contributions as well. Each of those gets a contribution from each C 2 patch of P 2 as well.

69 Full partition function on P 2 and Donaldson invariants I have not told you that we also need to consider the Z perturbative and Z 1 loop contributions as well. Each of those gets a contribution from each C 2 patch of P 2 as well. Thus the real partition function on P 2 is Z P2 2 1=0 (Zpert C2 Z1 loop C2 ZC2 inst) (l)

70 Full partition function on P 2 and Donaldson invariants I have not told you that we also need to consider the Z perturbative and Z 1 loop contributions as well. Each of those gets a contribution from each C 2 patch of P 2 as well. Thus the real partition function on P 2 is Z P2 2 1=0 (Zpert C2 Z1 loop C2 ZC2 inst) (l) Nekrasov: instanton partition function is the same as the equivariant Donaldson invariants.

71 Full partition function on P 2 and Donaldson invariants I have not told you that we also need to consider the Z perturbative and Z 1 loop contributions as well. Each of those gets a contribution from each C 2 patch of P 2 as well. Thus the real partition function on P 2 is Z P2 2 1=0 (Zpert C2 Z1 loop C2 ZC2 inst) (l) Nekrasov: instanton partition function is the same as the equivariant Donaldson invariants. At the non-equivariant limit ɛ 1,2 0 then we get the corresponding Donaldson invariants.

72 Conclusion It is possible to calculate the partition function of certain susy gauge theories (we can add matter too) on 4-manifolds admitting certain isometries. We have shown how to do this for compact toric varieties with the representative being P 2. Other known example is P 1 P 1. Other examples?

73 Conclusion It is possible to calculate the partition function of certain susy gauge theories (we can add matter too) on 4-manifolds admitting certain isometries. We have shown how to do this for compact toric varieties with the representative being P 2. Other known example is P 1 P 1. Other examples? Hirzebruch surfaces ( P 1 bundles over P 1 ), etc..

74 Conclusion It is possible to calculate the partition function of certain susy gauge theories (we can add matter too) on 4-manifolds admitting certain isometries. We have shown how to do this for compact toric varieties with the representative being P 2. Other known example is P 1 P 1. Other examples? Hirzebruch surfaces ( P 1 bundles over P 1 ), etc.. The partition functions, if they can be calculated, in their non-equivariant limit should agree to the Donaldson invariants.

75 Conclusion It is possible to calculate the partition function of certain susy gauge theories (we can add matter too) on 4-manifolds admitting certain isometries. We have shown how to do this for compact toric varieties with the representative being P 2. Other known example is P 1 P 1. Other examples? Hirzebruch surfaces ( P 1 bundles over P 1 ), etc.. The partition functions, if they can be calculated, in their non-equivariant limit should agree to the Donaldson invariants. Applications extend to N = 2 theory where for M hyper 0 gives the Euler characteristic of N = 4 instanton moduli space,

76 Conclusion It is possible to calculate the partition function of certain susy gauge theories (we can add matter too) on 4-manifolds admitting certain isometries. We have shown how to do this for compact toric varieties with the representative being P 2. Other known example is P 1 P 1. Other examples? Hirzebruch surfaces ( P 1 bundles over P 1 ), etc.. The partition functions, if they can be calculated, in their non-equivariant limit should agree to the Donaldson invariants. Applications extend to N = 2 theory where for M hyper 0 gives the Euler characteristic of N = 4 instanton moduli space, (p, q)-brane webs, i.e. type IIB picture, etc..

77 Conclusion It is possible to calculate the partition function of certain susy gauge theories (we can add matter too) on 4-manifolds admitting certain isometries. We have shown how to do this for compact toric varieties with the representative being P 2. Other known example is P 1 P 1. Other examples? Hirzebruch surfaces ( P 1 bundles over P 1 ), etc.. The partition functions, if they can be calculated, in their non-equivariant limit should agree to the Donaldson invariants. Applications extend to N = 2 theory where for M hyper 0 gives the Euler characteristic of N = 4 instanton moduli space, (p, q)-brane webs, i.e. type IIB picture, etc.. One hopes to learn something about the nature of susy gauge field theories since the above constructions give access exact non-perturbative calculations.

78 Thank you!

79 Thank you! And a big thanks to the organizers!