A Contemporary Study in Gauge Theory and Mathematical Physics: Holomorphic Anomaly in Gauge Theory on ALE Space & Freudenthal Gauge Theory
Total Page:16
File Type:pdf, Size:1020Kb
A Contemporary Study in Gauge Theory and Mathematical Physics: Holomorphic Anomaly in Gauge Theory on ALE Space & Freudenthal Gauge Theory by Sheng-Yu Darren Shih A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Physics in the Graduate Division of the University of California, Berkeley Committee in charge: Professor Bruno Zumino, Chair Professor Ori J. Ganor Professor Mariusz Wodzicki Spring 2014 A Contemporary Study in Gauge Theory and Mathematical Physics: Holomorphic Anomaly in Gauge Theory on ALE Space & Freudenthal Gauge Theory Copyright 2014 by Sheng-Yu Darren Shih 1 Abstract A Contemporary Study in Gauge Theory and Mathematical Physics: Holomorphic Anomaly in Gauge Theory on ALE Space & Freudenthal Gauge Theory by Sheng-Yu Darren Shih Doctor of Philosophy in Physics University of California, Berkeley Professor Bruno Zumino, Chair This thesis covers two distinct parts: Holomorphic Anomaly in Gauge Theory on ALE Space and Freudenthal Gauge Theory. In part I, I presented a concise review of the Seiberg-Witten curve, Nekrasov’s Ω- background, geometric engineering and the holomorphic anomaly equation followed by my published work: Holomorphic Anomaly in Gauge Theory on ALE Space, where an Ω- deformed = 2 SU(2) gauge theory on A space and its five dimension lift is studied. N 1 We find that the partition functions can be reproduced via special geometry and the holo- morphic anomaly equation. Schwinger type integral expressions for the boundary conditions at the monopole/dyon point in moduli space are inferred. The interpretation of the five- dimensional partition function as the partition function of a refined topological string on A (local P1 P1) is suggested. 1× × In part II, I give a comprehensive review of the Freudenthal Triple System, including Freudenthal’s original construction from Jordan Triple Systems and its relation to Lie alge- bra, Yang-Baxter equation, and 4d = 2 BPS black holes, where the novel Freudenthal-dual N was discovered. I also present my published work on the Freudenthal Gauge Theory, where we construct the most generic gauge theory admitting F-dual, and prove a no-go theorem that forbids coupling of a F-dual invariant gauge theory to supersymmetry. i I dedicate this work to my advisor Prof. Bruno Zumino. It is really my greatest honor to work with one of the most insightful physicist and finest gentleman in the world. ii Contents Contents ii List of Figures v List of Tables vi 1 Introduction 1 I Holomorphic Anomaly in Gauge Theory on ALE Space 3 2 Background Knowledge 4 2.1 Review of =2 SU(2)gaugetheory...................... 4 2.1.1 LowEnergyEffectiveN Theory and Prepotential . 5 2.1.2 Seiberg-WittenCurve........................... 5 2.2 Nekrasov’s Localization Formula and the Ω Background . .... 7 2.2.1 Nekrasov’s Partition Function . 7 2.2.2 TheΩBackground ............................ 8 2.3 Geometric Engineering of =2 SU(2)PureGaugeTheory . 10 2.3.1 Generalities of GeometricN Engineering . 10 2.3.2 Double Scaling Limit . 11 2.4 Review of Holomorphic Anomaly Equation . 11 2.4.1 TopologicalTwist............................. 12 2.4.2 Holomorphic Anomaly Equation . 13 2.4.3 Extended Holomorphic Anomaly Equation . 15 3 Holomorphic Anomaly in Gauge Theory in ALE Space 17 3.1 Introduction.................................... 17 3.2 Instanton counting via localization . 19 3.2.1 Generalities ................................ 19 3.2.2 A1 viaorbifold .............................. 20 3.2.3 A1 viablowup............................... 22 3.3 B-model approach to SU(2)gaugetheoryin4d . .. 23 iii 3.3.1 Generalities ................................ 23 + 3.3.2 Z2 ..................................... 26 − 3.3.3 Z2 ..................................... 28 3.4 Instanton partition functions in 5d . 30 3.4.1 Generalities ................................ 30 3.4.2 U(1).................................... 31 3.4.3 U(2).................................... 33 3.5 B-model approach to U(2)gaugetheoryin5d . .. 34 3.5.1 Generalities ................................ 34 + 3.5.2 ZSU(2) ................................... 35 − 3.5.3 ZSU(2) ................................... 36 3.6 Conclusion..................................... 37 II Freudenthal Gauge Theory 39 4 Background Knowledge 40 4.1 FreudenthalTripleSystem . 40 4.1.1 Review of Jordan Algebras of Cubic Forms . 41 4.1.2 Freudenthal’s construction . 42 4.2 Freudenthal Triple System and Lie Algebra . .. 43 4.2.1 From FTS to (Exceptional) Lie Algebra . 43 4.2.2 FromLieAlgebratoFTS ........................ 44 4.3 Yang-Baxter Equation and Okubo’s solution . .. 46 4.3.1 OverviewofYang-BaxterEquation . 46 4.3.2 Okubo’ssolution ............................. 46 4.4 5d/4d =2SupergravityandF-dual . 47 4.4.1N 5-dim =2SUGRA .......................... 48 4.4.2 DimensionN Reduction to 4-dim . 49 4.4.3 The Freudenthal Triple System and 4D BlackHoles.......... 50 4.4.4 F-dual................................... 51 5 Freudenthal Gauge Theory 53 5.1 Introduction.................................... 53 5.2 FreudenthalTripleSystems . 54 5.2.1 Definition of a Freudenthal Triple System . 55 5.2.2 FreudenthalDuality ........................... 56 5.3 FreudenthalGaugeTheory. 58 5.3.1 GlobalSymmetry............................. 58 5.3.2 GaugeSymmetry ............................. 59 5.3.3 The Minimal Action . 60 5.4 Generalization? .................................. 61 iv 5.4.1 CoupletoaVectorSpace......................... 61 5.4.2 ANo-GoTheorem ............................ 62 5.5 ConcludingRemarks ............................... 63 5.6 Appendix ..................................... 64 5.6.1 A Freudenthalduality ......................... 64 5.6.2 B Axioms of V ............................. 65 A Lie Algebra from FTS 66 B Review of Special Geometry 67 B.1 StringTheoryConstruction . 67 B.1.1 IIB/Y ................................... 68 B.1.2 IIA/Y ................................... 69 C The Yang-Baxtere Equation and the Spin Chain 70 C.1 SpinChainandIntegrableSystems . 70 C.2 FromYBEToFCR................................ 72 Bibliography 73 v List of Figures 2.1 Dual 1-cycles (γ1,γ2) of u .............................. 7 C 0 r>0 2.2 Nodal surfaces corresponding to g and g ................... 14 r D D 2.3 Nodal surface Σg fromsurgerygeometry . 14 b vi List of Tables 4.1 Grading of the Lie algebra g(K)........................... 44 4.2 Grading of the Lie algebra g fromitsrootsystem . .. 45 4.3 Freudenthal’smagicsquare . .. .. 48 4.4 5-dim =2SUGRAfieldcontents......................... 48 N A.1 ProductruleforLiebracket.. ... 66 B.1 Mirror pair (Y,Y )intypeIIA/IIBconstruction.. 68 e vii Acknowledgments I would like to thank Prof. Bruno Zumino and his former student Prof. Pe-Ming Ho, who was also my previous advisor at National Taiwan University. From them I not only learned the skill to do independent research but also the deeper philosophy underlying the beauty of theoretical physics. I’d also like to thank Prof. Ori J. Ganor for encouraging me to take the daunting challenges posed by nature. Finally, I want to thank my collaborators Daniel Krefl, Alessio Marrani, Anthony Tagliaferro, and my wife Cong-Xin Qiu to share unique insight with me and to be a great companion in our research. 1 Chapter 1 Introduction This thesis is composed of two parts: Holomorphic Anomaly in Gauge Theory on ALE Space and Freudenthal Gauge Theory. They summarize my two distinct research topics during my graduate study at UC Berkeley. In part I, we focus on the holomorphic anomaly in gauge theory in Asymptotically Locally Euclidean (ALE) spaces. Holomorphic anomaly equation [11, 12] is long known to be a powerful tool in the study of topological string moduli space and the gauge theories descended from it. It admits a generalization, called extended holomorphic anomaly equation [54, 55], which is applicable to the mysterious Ω-background originally introduced by N. Nekrasov to regularize the divergent moduli space measure of the gauge theory in R4 [71]. In this study, we take a step further towards a non-trivial spacetime; We consider four-dimensional Ω-deformed = 2 supersymmetric SU(2) gauge theory on A space and its lift to five N 1 dimensions. We find that the partition functions can be reproduced via special geometry and the holomorphic anomaly equation, whose boundary conditions at the monopole/dyon point in moduli space can be expressed by Schwinger type integrals. We also find the five- dimensional partition function bears an interpretation as the partition function of a refined 1 1 topological string on A1 (local P P ). The result is presented in our published paper [53]. In part II, we move× the topic× to an exotic algebraic system called Freudenthal Triple System, which was originally introduced by mathematician Hans Freudenthal in his study of exceptional Lie algebras [29, 30]. Such an algebraic system distinguished by a non-symmetric ternary product plays important role in both pure math and theoretical physics research. From the mathematics side, besides its original appearance in the study of exceptional Lie algebras, it’s also shown to lead to solutions to the renowned Yang-Baxter equation [74, 75], which paves the way to new insights in the study of braiding groups, and integrable systems. From the physics side, it’s known to classify the scalar manifold of the 4d = 2 Maxwell-Einstein supergravity, and governs the black hole entropy in the theory. Later,N it was discoverd that such black holes are related by a non-linear duality called Freudenthal- dual (F-dual for