Global Anomalies In Six-Dimensional Supergravity

Slides:



Advertisements
Similar presentations
5.1 Real Vector Spaces.
Advertisements

Theories of gravity in 5D brane-world scenarios
 Symmetries and vanishing couplings in string-derived low-energy effective field theory              Tatsuo Kobayashi 1.Introduction.
Toward M5-branes from ABJM action Based on going project with Seiji Terashima (YITP, Kyoto U. ) Futoshi Yagi (YITP, Kyoto U.)
Brane-World Inflation
Summing planar diagrams
The electromagnetic (EM) field serves as a model for particle fields
What does mean Mathematical Physics? The Journal of Mathematical Physics defines the field as: "the application of mathematics to problems in physics and.
A journey inside planar pure QED CP3 lunch meeting By Bruno Bertrand November 19 th 2004.
Weyl gravity as general relativity Conformal gauge theories of gravity Midwest Relativity Meeting 2013 James T Wheeler Work done in collaboration with.
Lattice Spinor Gravity Lattice Spinor Gravity. Quantum gravity Quantum field theory Quantum field theory Functional integral formulation Functional integral.
The electromagnetic (EM) field serves as a model for particle fields  = charge density, J = current density.
Quantum One: Lecture 7. The General Formalism of Quantum Mechanics.
Topological Insulators and Beyond
Modeling of interactions between physics and mathematics
Unit 11, Part 2: Introduction To Logarithms. Logarithms were originally developed to simplify complex arithmetic calculations. They were designed to transform.
An introduction to the Gravity/Fluid correspondence and its applications Ya-Peng Hu College of Science, Nanjing University of Aeronautics and Astronautics,
Exact Results for perturbative partition functions of theories with SU(2|4) symmetry Shinji Shimasaki (Kyoto University) JHEP1302, 148 (2013) (arXiv: [hep-th])
Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015.
Tachyon-Dilaton driven Inflation as an α'-non perturbative solution in first quantized String Cosmology Anna Kostouki, King’s College London DISCRETE ’08,
Uniform discretizations: the continuum limit of consistent discretizations Jorge Pullin Horace Hearne Institute for Theoretical Physics Louisiana State.
The embedding-tensor formalism with fields and antifields. Antoine Van Proeyen K.U. Leuven Moscow, 4th Sakharov conf., May 21, 2009.
Solvable Lie Algebras in Supergravity and Superstrings Pietro Fré Bonn February 2002 An algebraic characterization of superstring dualities.
Super Virasoro Algebras from Chiral Supergravity Ibaraki Univ. Yoshifumi Hyakutake Based on arXiv:1211xxxx + work in progress.
The Geometry of Moduli Space and Trace Anomalies. A.Schwimmer (with J.Gomis,P-S.Nazgoul,Z.Komargodski, N.Seiberg,S.Theisen)
Quantum Gravity and emergent metric Quantum Gravity and emergent metric.
Z THEORY Nikita Nekrasov IHES/ITEP Nagoya, 9 December 2004.
Possible Enhancement of noncommutative EFFECTS IN gravity Objective Look for consequences of gravity on noncommutative (NC) space-time Chamseddine In particular,
Quantum Two 1. 2 Angular Momentum and Rotations 3.
Mathematical Tools of Quantum Mechanics
First Steps Towards a Theory of Quantum Gravity Mark Baumann Dec 6, 2006.
Takaaki Nomura(Saitama univ)
9/10/2007Isaac Newton Institute1 Relations among Supersymmetric Lattice Gauge Theories So Niels Bohr Institute based on the works arXiv:
1 A non-perturbative study of Supersymmetric Lattice Gauge Theories Tomohisa Takimi ( 基研 )
Extension of the Poincare` Group and Non-Abelian Tensor Gauge Fields George Savvidy Demokritos National Research Center Athens Extension of the Poincare’
Holographic Renormalization Group with Gravitational Chern-Simons Term Takahiro Nishinaka ( Osaka U.) (Collaborators: K. Hotta, Y. Hyakutake, T. Kubota.
Monday, Apr. 11, 2005PHYS 3446, Spring 2005 Jae Yu 1 PHYS 3446 – Lecture #18 Monday, Apr. 11, 2005 Dr. Jae Yu Symmetries Local gauge symmetry Gauge fields.
Boundary conditions for SU(2) Yang-Mills on AdS 4 Jae-Hyuk Oh at 2012 workshop for string theory and cosmology, Pusan, Korea. Dileep P. Jatkar and Jae-Hyuk.
University of Oslo & Caltech
Natsumi Nagata E-ken Journal Club December 21, 2012 Minimal fields of canonical dimensionality are free S. Weinberg, Phys. Rev. D86, (2012) [ ].
Intro to SUSY II: SUSY QFT Archil Kobakhidze PRE-SUSY 2016 SCHOOL 27 JUNE -1 JULY 2016, MELBOURNE.
Quantum Field Theory (PH-537) M.Sc Physics 4th Semester
Quantum Mechanical Models for Near Extremal Black Holes
Trigonometric Identities
Spontaneous Symmetry Breaking and the
Extreme measures for extremal black holes
PHYS 3446 – Lecture #23 Symmetries Why do we care about the symmetry?
Takaaki Nomura(Saitama univ)
STRING THEORY AND M-THEORY: A Modern Introduction
3D (Higher Spin) Gravity Black Holes and Statistical Entropy
Gravity-Khovanov Homology-QFT
Exponents Scientific Notation
Physics 222 UCSD/225b UCSB Lecture 10 Chapter 14 in H&M.
VCU, Department of Computer Science CMSC 302 Sequences and Summations Vojislav Kecman 9/19/2018.
Comments On Global Anomalies In Six-Dimensional Supergravity
Trigonometric Identities
Quantum One.
Quantized K
Quantum One.
Fun with the supercurrent I: FI-terms
Quantum One.
PHYS 3446 – Lecture #19 Symmetries Wednesday, Nov. 15, 2006 Dr. Jae Yu
Noncommutative Shift Invariant Quantum Field Theory
Yutaka Sakamura (Osaka Univ.)
Hysteresis Curves from 11 dimensions
with Erich Poppitz (u of Toronto)
Gauge invariant flow equation
in collaboration with G. Ishiki, S. Shimasaki
Linear Vector Space and Matrix Mechanics
Thermal operator representation of thermal field theory
Presentation transcript:

Global Anomalies In Six-Dimensional Supergravity Gregory Moore Rutgers University Work with DANIEL PARK & SAMUEL MONNIER Work in progress with SAMUEL MONNIER . Strings 2018, Okinawa June 29, 2018

1 Introduction & Summary Of Results 2 Six-dimensional Sugra & Green-Schwarz Mech. Quantization Of Anomaly Coefficients. 3 Geometrical Anomaly Cancellation, 𝜂-Invariants & Wu-Chern-Simons 4 5 Technical Tools & Future Directions 6 F-Theory Check Concluding Remarks 7

Motivation Relation of apparently consistent theories of quantum gravity to string theory. From W. Taylor’s TASI lectures: State of art summarized in Brennan, Carta, and Vafa 1711.00864

Brief Summary Of Results Focus on 6d sugra (More) systematic study of global anomalies Result 1: NECESSARY CONDITION: unifies & extends all previous conditions Result 2: NECESSARY & SUFFICIENT: A certain 7D TQFT 𝑍 𝑇𝑂𝑃 must be trivial. But effective computation of 𝑍 𝑇𝑂𝑃 in the general case remains open. Result 3: Check in F-theory: (Requires knowing the global form of the identity component of the gauge group.)

1 Introduction & Summary Of Results 2 Six-dimensional Sugra & Green-Schwarz Mech. Quantization Of Anomaly Coefficients. 3 Geometrical Anomaly Cancellation, 𝜂-Invariants & Wu-Chern-Simons 4 5 Technical Tools & Future Directions 6 F-Theory Check Concluding Remarks 7

(Pre-) Data For 6d Supergravity (1,0) sugra multiplet + vector multiplets + hypermultiplets + tensor multiplets VM: Choose a (possibly disconnected) compact Lie group 𝐺. HM: Choose a quaternionic representation ℛ of 𝐺 TM: Choose an integral lattice Λ of signature (1,T) Pre-data: 𝐺,ℛ,Λ

6d Sugra - 2 Can write multiplets, Lagrangian, equations of motion. [Riccioni, 2001] Fermions are chiral (symplectic Majorana-Weyl) 2-form fieldstrengths are (anti-)self dual

The Anomaly Polynomial Chiral fermions & (anti-)self-dual tensor fields ⇒ gauge & gravitational anomalies. From (𝐺,ℛ,Λ) we compute, following textbook procedures, 𝐼 8 ∼ dim ℍ ℛ − dim 𝐺 +29 𝑇 −273 𝑇𝑟 𝑅 4 +⋯ + 9−𝑇 𝑇𝑟 𝑅 2 2 + (𝐹 4 −𝑡𝑦𝑝𝑒) +⋯ 6d Green-Schwarz mechanism requires 𝐼 8 = 1 2 𝑌 2 𝑌∈ Ω 4 𝒲;Λ⊗ℝ

Standard Anomaly Cancellation Interpret 𝑌 as background magnetic current for the tensor-multiplets ⇒ 𝑑𝐻=𝑌 ⇒𝐵 transforms under diff & VM gauge transformations… Now …. SOME people might say …. Add counterterm to sugra action e iS → 𝑒 𝑖𝑆 𝑒 −2𝜋𝑖 1 2 ∫𝐵𝑌

So, What’s The Big Deal? you wouldn’t want to be one of those people – would you? Yes, some people can’t understand that there can be subtleties. Let’s have a closer look.

Definition Of Anomaly Coefficients Let’s try to factorize: 𝐼 8 = 1 2 𝑌 2 𝑌∈ Ω 4 𝒲;Λ⊗ℝ 𝔤= 𝔤 𝑠𝑠 ⊕ 𝔤 𝐴𝑏𝑒𝑙 ≅ ⊕ 𝑖 𝔤 𝑖 ⊕ 𝐼 𝔲 1 𝐼 𝑌= 𝑎 4 𝑝 1 − 𝑖 𝑏 𝑖 𝑐 2 𝑖 + 1 2 𝐼𝐽 𝑏 𝐼𝐽 𝑐 1 𝐼 𝑐 1 𝐽 General form of 𝑌: 𝑝 1 ≔ 1 8 𝜋 2 𝑇 𝑟 𝑣𝑒𝑐 𝑅 2 Anomaly coefficients: 𝑐 2 𝑖 ≔ 1 16 𝜋 2 ℎ 𝑖 ∨ 𝑇 𝑟 𝑎𝑑𝑗 𝐹 𝑖 2 𝑎, 𝑏 𝑖 , 𝑏 𝐼𝐽 ∈Λ⊗ℝ

The Data Of 6d Sugra 𝐺,ℛ,Λ 𝑎 2 =9 −𝑇, … The very existence of a factorization 𝐼 8 = 1 2 𝑌 2 puts constraints on 𝐺,ℛ,Λ . These have been well-explored. For example…. dim ℍ ℛ − dim 𝐺+29 𝑇 −273 =0 𝑎 2 =9 −𝑇, … Also: There are multiple choices of anomaly coefficients 𝑎, 𝑏 𝑖 , 𝑏 𝐼𝐽 factoring the same 𝐼 8 Full data for 6d sugra: 𝐺,ℛ,Λ 𝑎, 𝑏 𝑖 , 𝑏 𝐼𝐽 ∈Λ⊗ℝ AND

Standard Anomaly Cancellation -2/2 For any ( 𝐺,ℛ,Λ,𝑎,𝑏) adding the GS term cancels all perturbative anomalies. All is sweetness and light…

There are solutions of the factorizations conditions that cannot be realized in F-theory! Global anomalies ? Does the GS counterterm even make mathematical sense ?

1 Introduction & Summary Of Results 2 Six-dimensional Sugra & Green-Schwarz Mech. Quantization Of Anomaly Coefficients. 3 Geometrical Anomaly Cancellation, 𝜂-Invariants & Wu-Chern-Simons 4 5 Technical Tools & Future Directions 6 F-Theory Check Concluding Remarks 7

The New Constraints 𝐻 4 𝐵 𝐺 1 ;Λ ⊂𝒬 1 2 𝑏∈ 𝐻 4 𝐵 𝐺 1 ;Λ Global anomalies have been considered before. We have just been a little more systematic. To state the best result we note that 𝑏= 𝑏 𝑖 , 𝑏 𝐼𝐽 determines a Λ⊗ℝ−valued quadratic form on 𝔤: Vector space 𝒬 of such quadratic forms arises in topology: 𝒬≅ 𝐻 4 𝐵 𝐺 1 ;Λ⊗ℝ 𝐻 4 𝐵 𝐺 1 ;Λ ⊂𝒬 1 2 𝑏∈ 𝐻 4 𝐵 𝐺 1 ;Λ

A Derivation Σ 𝑌∈Λ A consistent sugra can be put on an arbitrary spin 6-fold with arbitrary gauge bundle. Cancellation of background string charge in compact Euclidean spacetime ⇒ ∀ Σ∈ 𝐻 4 ( ℳ 6 ;ℤ) Σ 𝑌∈Λ Because the background string charge must be cancelled by strings. This is a NECESSARY but not (in general) SUFFICIENT condition for cancellation of all global anomalies…

6d Green-Schwarz Mechanism Revisited Goal: Understand Green-Schwarz anomaly cancellation in precise mathematical terms. Benefit: We recover the constraints: 1 2 𝑏∈ 𝐻 4 𝐵 𝐺 1 ;Λ 𝑎∈Λ Λ ∨ ≅Λ and derive a new constraint: 𝑎 is a characteristic vector: ∀𝑣∈Λ 𝑣⋅𝑣=𝑣⋅𝑎 𝑚𝑜𝑑 2

What’s Wrong With Textbook Green-Schwarz Anomaly Cancellation? What does 𝐵 even mean when ℳ 6 has nontrivial topology? (𝐻 is not closed!) How are the periods of 𝑑𝐵 quantized? Does the GS term even make sense? 1 2 ℳ 6 𝐵 𝑌= 1 2 𝒰 7 𝑑𝐵 𝑌 must be independent of extension to 𝒰 7 !

But it isn’t …. 𝑑 𝐻 1 − 𝐻 2 =0 is not well-defined because Even for the difference of two B-fields, 𝑑 𝐻 1 − 𝐻 2 =0 we can quantize 𝐻 1 − 𝐻 2 ∈ 𝐻 3 ( 𝒰 7 ;Λ) exp⁡( 2𝜋𝑖 1 2 𝒰 7 𝐻 1 − 𝐻 2 𝑌 ) is not well-defined because of the factor of 1 2 .

1 Introduction & Summary Of Results 2 Six-dimensional Sugra & Green-Schwarz Mech. Quantization Of Anomaly Coefficients. 3 Geometrical Anomaly Cancellation, 𝜂-Invariants & Wu-Chern-Simons 4 5 Technical Tools & Future Directions 6 F-Theory Check Concluding Remarks 7

Geometrical Formulation Of Anomalies Space of all fields in 6d sugra is fibered over nonanomalous fields: ℬ=𝑀𝑒𝑡 ℳ 6 ×𝐶𝑜𝑛𝑛 𝒫 ×{𝑆𝑐𝑎𝑙𝑎𝑟 𝑓𝑖𝑒𝑙𝑑𝑠} ℬ 𝒢 𝐹𝑒𝑟𝑚𝑖+𝐵 𝑒 𝑆 0 + 𝑆 𝐹𝑒𝑟𝑚𝑖+𝐵 Partition function: Ψ 𝐴𝑛𝑜𝑚𝑎𝑙𝑦 𝐴, 𝑔 𝜇𝜈 ,𝜙 ≔ 𝐹𝑒𝑟𝑚𝑖+𝐵 𝑒 𝑆 𝐹𝑒𝑟𝑚𝑖+𝐵 is a section of a line bundle over ℬ/𝒢 You cannot integrate a section of a line bundle over ℬ/𝒢 unless it is trivialized.

Approach Via Invertible Field Theory Definition [Freed & Moore]: An invertible field theory 𝑍 has Partition function ∈ ℂ ∗ One-dimensional Hilbert spaces of states ... satisfying natural gluing rules. Freed: Geometrical interpretation of anomalies in d-dimensions = Invertible field theory in (d+1) dimensions

Invertible Anomaly Field Theory Interpret anomaly as a 7D invertible field theory 𝑍 𝐴𝑛𝑜𝑚𝑎𝑙𝑦 constructed from 𝐺,ℛ,Λ,ℬ Data for the field theory: 𝐺-bundles 𝒫 with gauge connection, Riemannian metric, spin structure 𝔰. (it is NOT a TQFT!) Varying metric and gauge connection ⇒ 𝑍 𝐴𝑛𝑜𝑚𝑎𝑙𝑦 ( ℳ 6 ) is a LINE BUNDLE Ψ 𝐴𝑛𝑜𝑚𝑎𝑙𝑦 is a SECTION of 𝑍 𝐴𝑛𝑜𝑚𝑎𝑙𝑦 ( ℳ 6 )

Anomaly Cancellation In Terms of Invertible Field Theory Construct a ``counterterm’’ 7D invertible field theory 𝑍 𝐶𝑇 𝑍 𝐶𝑇 ℳ 6 ≅ 𝑍 𝐴𝑛𝑜𝑚𝑎𝑙𝑦 ℳ 6 ∗ 2. Using just the data of the local fields in six dimensions, we construct a section: Ψ 𝐶𝑇 ∈ 𝑍 𝐶𝑇 ( ℳ 6 ) 𝐹𝑒𝑟𝑚𝑖+𝐵 𝑒 𝑆 𝐹𝑒𝑟𝑚𝑖+𝐵 Ψ 𝐶𝑇 Then: is canonically a function on ℬ/𝒢

Dai-Freed Field Theory 𝐷: Dirac operator in ODD dimensions. 𝜉 𝐷 ≔ 𝜂 𝐷 + dim ker⁡(𝐷) 2 𝑒 2𝜋𝑖𝜉 𝐷 defines an invertible field theory [Dai & Freed, 1994] 𝑍 𝐷𝑎𝑖𝐹𝑟𝑒𝑒𝑑 𝒰 = 𝑒 2𝜋𝑖𝜉 𝐷 If 𝜕𝒰=∅ If 𝜕𝒰=ℳ≠∅ then 𝑒 2𝜋𝑖 𝜉 𝐷 is a section of a line bundle over the space of boundary data. Suitable gluing properties hold.

Anomaly Field Theory For 6d Sugra On 7-manifolds 𝒰 7 with 𝜕 𝒰 7 =∅ 𝑍 𝐴𝑛𝑜𝑚𝑎𝑙𝑦 𝒰 7 = exp⁡[2𝜋𝑖 𝜉 𝐷 𝐹𝑒𝑟𝑚𝑖 +𝜉 𝐷 𝐵−𝑓𝑖𝑒𝑙𝑑 ] On 7-manifolds with 𝜕𝒰 7 = ℳ 6 : The sum of 𝜉−invariants defines a unit vector Ψ 𝐴𝑛𝑜𝑚𝑎𝑙𝑦 in a line Z Anomaly ( ℳ 6 )

Simpler Expression When ( 𝒰 7 ,𝒫) Extends To Eight Dimensions In general it is impossible to compute 𝜂-invariants in simpler terms. But if the matter content is such that 𝐼 8 = 1 2 𝑌 2 AND if ( 𝒰 7 ,𝒫) is bordant to zero: 𝑍 𝐴𝑛𝑜𝑚𝑎𝑙𝑦 ( 𝒰 7 )=exp⁡( 2𝜋 𝑖 ( 1 2 𝒲 8 𝑌 2 − 𝑠𝑖𝑔𝑛 Λ 𝜎 𝒲 8 8 )) When can you extend 𝒰 7 and its gauge bundle 𝒫 to a spin 8-fold 𝒲 8 ??

Spin Bordism Theory Ω 7 𝑠𝑝𝑖𝑛 =0 : Can always extend spin 𝒰 7 to spin 𝒲 8 Ω 7 𝑠𝑝𝑖𝑛 𝐵𝐺 : Can be nonzero: There can be obstructions to extending a 𝐺-bundle 𝒫→ 𝒰 7 to a 𝐺-bundle 𝒫 → 𝒲 8 Ω 7 𝑠𝑝𝑖𝑛 𝐵𝐺 =0 for many groups, e.g. products of 𝑈(𝑛), 𝑆𝑈(𝑛), 𝑆𝑝(𝑛). Also 𝐸 8 Say: We’ll come back to this. But for some 𝐺 it is nonzero!

⇒ clue to constructing 𝑍 𝐶𝑇 : When 7D data extends to 𝒲 8 the formula 𝑍 𝐴𝑛𝑜𝑚𝑎𝑙𝑦 ( 𝒰 7 )=exp⁡( 2𝜋 𝑖 ( 1 2 𝒲 8 𝑌 2 − 𝑠𝑖𝑔𝑛 Λ 𝜎 𝒲 8 8 )) ⇒ clue to constructing 𝑍 𝐶𝑇 : Z Anomaly 𝒰 7 = exp ( 2𝜋𝑖 𝒲 8 1 2 𝑋 𝑋+𝜆′ ) 𝜆 ≔ 1 2 𝑝 1 𝑋= 𝑌− 1 2 𝜆′ 𝜆 ′ =𝑎⊗𝜆 Thanks to our quantization condition on 𝑏, 𝑋∈ Ω 4 𝒲 8 ;Λ has coho class in 𝐻 4 𝒲 8 ;Λ

``Wu-Chern-Simons theory.’’ exp ( 2𝜋𝑖 𝒲 8 1 2 𝑋 𝑋+𝜆′ ) is independent of extension ONLY if 𝑎∈Λ is a characteristic vector: ∀ 𝑣∈Λ 𝑣 2 =𝑣⋅𝑎 𝑚𝑜𝑑 2 This is the partition function of a 7D topological field theory known as ``Wu-Chern-Simons theory.’’

Wu-Chern-Simons Theory Generalizes spin-Chern-Simons to p-form gauge fields. Developed in detail in great generality by Samuel Monnier arXiv:1607.0139 Our case: 7D TFT 𝑍 𝑊𝐶𝑆 of a (locally defined) 3-form gauge potential C with fieldstrength 𝑋 = 𝑑𝐶 𝑋 ∈ 𝐻 4 ⋯;Λ Instead of spin structure we need a ``Wu-structure’’: A trivialization 𝜔 of: 𝜈 4 = 𝑤 4 + 𝑤 3 𝑤 1 + 𝑤 2 2 + 𝑤 1 4

Wu-Chern-Simons Λ ∨ ≅Λ Z WCS ( 𝒰 7 )= exp ( − 2𝜋𝑖 𝒲 8 1 2 𝑋 𝑋+𝜆′ ) In our case 𝜈 4 = 𝑤 4 will have a trivialization in 6 and 7 dimensions, but we need to choose one to make sense of 𝑍 𝑊𝐶𝑆 𝒰 7 and 𝑍 𝑊𝐶𝑆 ℳ 6 Z WCS ( 𝒰 7 )= exp ( − 2𝜋𝑖 𝒲 8 1 2 𝑋 𝑋+𝜆′ ) 𝜆 ′ =𝑎⊗𝜆 𝑎 must be a characteristic vector of Λ Λ ∨ ≅Λ

Defining 𝑍 𝐶𝑇 From 𝑍 𝑊𝐶𝑆 To define the counterterm line bundle 𝑍 𝐶𝑇 we want to evaluate 𝑍 𝑊𝐶𝑆 on ( ℳ 6 , 𝑌). 𝑌 = 1 2 𝑎⊗𝜆+[𝑋] Problem 1: 𝑌 is shifted: 𝑋 =∑ 𝑏 𝑖 𝑐 2 𝑖 + 1 2 ∑ 𝑏 𝐼𝐽 𝑐 1 𝐼 𝑐 1 𝐽 ∈ 𝐻 4 ⋯;Λ Problem 2: 𝑍 𝑊𝐶𝑆 𝜔 needs a choice of Wu-structure 𝜔. !! We do not want to add a choice of Wu structure to the defining set of sugra data 𝐺,ℛ,Λ,𝑎,𝑏

Defining 𝑍 𝐶𝑇 From 𝑍 𝑊𝐶𝑆 Solution: Given a Wu-structure 𝜔 we can shift 𝑌 to 𝑋=𝑌 − 1 2 𝑣 𝜔 , an unshifted field, such that 𝑍 𝑊𝐶𝑆 𝜔 (…;𝑌− 1 2 𝑣 𝜔 ) is independent of 𝜔 𝑍 𝐶𝑇 ⋯;𝑌 ≔ 𝑍 𝑊𝐶𝑆 𝜔 ⋯; 𝑌− 1 2 𝑣 𝜔 Thus, 𝑍 𝐶𝑇 is independent of Wu structure 𝜔: So no need to add this extra data to the definition of 6d sugra. 𝑍 𝐶𝑇 transforms properly under B-field, diff, and VM gauge transformations: 𝑍 𝐶𝑇 ℳ 6 ≅ 𝑍 𝐴𝑛𝑜𝑚𝑎𝑙𝑦 ℳ 6 ∗

Anomaly Cancellation If this homomorphism is trivial then 𝑍 𝑇𝑂𝑃 ≔ 𝑍 𝐴𝑛𝑜𝑚𝑎𝑙𝑦 × 𝑍 𝐶𝑇 is a 7D topological field theory that is defined bordism classes of 𝐺-bundles. 7D partition function is a homomorphism: 𝑍 𝐴𝑛𝑜𝑚𝑎𝑙𝑦 × 𝑍 𝐶𝑇 : Ω 7 𝑠𝑝𝑖𝑛 𝐵𝐺 →𝑈 1 If this homomorphism is trivial then 𝑍 𝐴𝑛𝑜𝑚𝑎𝑙𝑦 × 𝑍 𝐶𝑇 ℳ 6 ≅1 is canonically trivial.

Anomaly Cancellation 𝐹𝑒𝑟𝑚𝑖+𝐵 𝑒 𝑆 𝐹𝑒𝑟𝑚𝑖+𝐵 Ψ 𝐶𝑇 ( ℳ 6 ;𝐴, 𝑔 𝜇𝜈 ,𝐵) Suppose the 7D TFT is indeed trivializable Now need a section, Ψ 𝐶𝑇 ℳ 6 which is local in the six-dimensional fields. This will be our Green-Schwarz counterterm: 𝐹𝑒𝑟𝑚𝑖+𝐵 𝑒 𝑆 𝐹𝑒𝑟𝑚𝑖+𝐵 Ψ 𝐶𝑇 ( ℳ 6 ;𝐴, 𝑔 𝜇𝜈 ,𝐵) The integral will be a function on ℬ/𝒢

1 Introduction & Summary Of Results 2 Six-dimensional Sugra & Green-Schwarz Mech. Quantization Of Anomaly Coefficients. 3 Geometrical Anomaly Cancellation, 𝜂-Invariants & Wu-Chern-Simons 4 5 Technical Tools & Future Directions 6 F-Theory Check Concluding Remarks 7

Checks & Hats: Differential Cohomology 𝐻 𝑘 𝑋 → 𝐻 𝑘 𝑋 At this point, do what what I’ve said carefully you need Some technical tools, and an important one is differential Cohomology. The notation involves a lot of checks and hats As we replace cohomology groups by differential cohomology Groups. I’m reminded of a wonderful story told by Peter Freund In his delightful book about his days as a postdoc with Stuckelberg. Except here, the checks and hats really mean something. Very roughly

Checks & Hats: Differential Cohomology Precise formalism for working with p-form fields in general spacetimes (and p-form global symmetries) Three independent pieces of gauge invariant information: Wilson lines Fieldstrength Topological class Differential cohomology is an infinite-dimensional Abelian group that precisely accounts for these data and nicely summarizes how they fit together. Exposition for physicists: Freed, Moore & Segal, 2006

Construction Of The Green-Schwarz Counterterm: Ψ 𝐶𝑇 = exp 2𝜋𝑖 ℳ 6 𝐸,𝜔 𝑔𝑠𝑡 𝑔𝑠𝑡= 1 2 𝐻 − 1 2 𝜂 ∪ 𝑌 + 1 2 𝜈 ℎ𝑜𝑙 , ℎ 2 − 1 2 𝜂 ) Section of the right line bundle & independent of Wu structure 𝜔. Locally constructed in six dimensions, but makes sense in topologically nontrivial cases. Locally reduces to the expected answer

Conclusion: All Anomalies Cancel: for 𝐺,ℛ,Λ,𝑎,𝑏 such that: 𝐼 8 = 1 2 𝑌 2 𝑎∈Λ≅ Λ ∨ is characteristic & 𝑎 2 =9−𝑇 1 2 𝑏∈ 𝐻 4 𝐵 𝐺 1 ;Λ Ω 7 𝑠𝑝𝑖𝑛 𝐵𝐺 =0

Except,…

What If The Bordism Group Is Nonzero? We would like to relax the last condition, but it could happen that 𝑍 𝐴𝑛𝑜𝑚𝑎𝑙𝑦 × 𝑍 𝐶𝑇 : Ω 7 𝑠𝑝𝑖𝑛 𝐵𝐺 →𝑈 1 defines a nontrivial bordism invariant. For example, if 𝐺=𝑂 𝑁 , for suitable representations, the 7D TFT might have partition function exp 2𝜋𝑖 𝒰 7 𝑤 1 7 Then the theory would be anomalous.

Future Directions Understand how to compute 𝑍 𝑇𝑂𝑃 ≔ 𝑍 𝐴𝑛𝑜𝑚𝑎𝑙𝑦 × 𝑍 𝐶𝑇 When Ω 7 𝑠𝑝𝑖𝑛 𝐵𝐺 is nonvanishing there will be new conditions. (Examples exist!!) Finding these new conditions in complete generality looks like a very challenging problem…

1 Introduction & Summary Of Results 2 Six-dimensional Sugra & Green-Schwarz Mech. Quantization Of Anomaly Coefficients. 3 Geometrical Anomaly Cancellation, 𝜂-Invariants & Wu-Chern-Simons 4 5 Technical Tools & Future Directions 6 F-Theory Check Concluding Remarks 7

And What About F-Theory ? F-Theory compactifications ?

F-Theory: It’s O.K. 𝔤 is determined from the discriminant locus [Morrison & Vafa 96] In order to check 1 2 𝑏∈ 𝐻 4 (𝐵 𝐺 1 ;Λ) we clearly need to know 𝐺 1 . We found a way to determine 𝐺 1 . F-theory passes this test. We believe a very similar argument also gives the (identity component of) 4D F-theory.

Introduction & Summary Of Results 1 Introduction & Summary Of Results 2 Six-dimensional Sugra & Green-Schwarz Mech. Quantization Of Anomaly Coefficients. 3 Geometrical Anomaly Cancellation, 𝜂-Invariants & Wu-Chern-Simons 4 5 Technical Tools & Future Directions So that’s the end of the scientific part of my talk. I want to take The last few minutes to say a few words about Joe and to thank The organizers. 6 F-Theory Check Concluding Remarks 7

I don’t need to tell this audience what a great physicist Joe Polchinski was, but he was also a good friend ever since we met at Harvard in the mid-80’s, and I’d like to say a few words about him. I am grateful to Joe for many things and I’ll just tell you about one. You know, it is very rare that you go to a seminar that completely changes your career path. Those moments are real treasures. Joe gave such a seminar at Harvard Around 1985. It was beautiful, clear, to the point, filled with enthusiasm and it set me onto a good path, as well as a good collaboration with him. So, I have to thank Joe for that - and for many other things as well. He was is a model of enthusiasm, good nature, and integrity that we should all try to emulate. Finally, as the last speaker, it falls to me in leading all of us in thanking the organizers.

and the OIST!! HUGE THANKS TO THE ORGANIZERS! Hirosi Ooguri Koji Hashimoto おおぐり ひろし はしもと こうじ Youhei Morita Yoshihisa Kitazawa もりた ようへい きたざわ よしひさ Hitoshi Murayama Hirotaka Sugawara むらやま ひとし すがわら ひろたか and the OIST!! So, in square dancing there is a sweet tradition where, at the end Of the dance everyone joins hands in one big circle and, in unison, Says “Thank you!” and applauds. Well, I think we can skip the joining hands part, but we could and should say “Thank you” in unison to the organizers – so, altogether now, on the count of three, let’s give them a big “Thank you” . Ready? One, two, three -- “THANK YOU” !