Download presentation
Presentation is loading. Please wait.
1
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
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
3
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
4
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.)
5
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
6
(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: πΊ,β,Ξ
7
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
8
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βπ ππ π
(πΉ 4 βπ‘π¦ππ) +β― 6d Green-Schwarz mechanism requires πΌ 8 = 1 2 π 2 πβ Ξ© 4 π²;Ξββ
9
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 β«π΅π
10
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.
11
Definition Of Anomaly Coefficients
Letβs try to factorize: πΌ 8 = 1 2 π 2 πβ Ξ© 4 π²;Ξββ π€= π€ π π β π€ π΄πππ β
β π π€ π β πΌ π² 1 πΌ π= π 4 π 1 β π π π π 2 π πΌπ½ π πΌπ½ π 1 πΌ π 1 π½ General form of π: π 1 β 1 8 π 2 π π π£ππ π
2 Anomaly coefficients: π 2 π β π 2 β π β¨ π π πππ πΉ π 2 π, π π , π πΌπ½ βΞββ
12
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
13
Standard Anomaly Cancellation -2/2
For any ( πΊ,β,Ξ,π,π) adding the GS term cancels all perturbative anomalies. All is sweetness and lightβ¦
14
There are solutions of the factorizations conditions that cannot be realized in F-theory!
Global anomalies ? Does the GS counterterm even make mathematical sense ?
15
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
16
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 ;Ξ
17
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β¦
18
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
19
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 π΅ π= π° 7 ππ΅ π must be independent of extension to π° 7 !
20
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 π ) is not well-defined because of the factor of
21
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
22
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.
23
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
24
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 )
25
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 β¬/π’
26
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.
27
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 )
28
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π π ( π² 8 π 2 β π πππ Ξ π π² )) When can you extend π° 7 and its gauge bundle π« to a spin 8-fold π² 8 ??
29
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!
30
β clue to constructing π πΆπ :
When 7D data extends to π² 8 the formula π π΄ππππππ¦ ( π° 7 )=expβ‘( 2π π ( π² 8 π 2 β π πππ Ξ π π² )) β clue to constructing π πΆπ : Z Anomaly π° 7 = exp ( 2ππ π² π π+πβ² ) π β 1 2 π 1 π= πβ 1 2 πβ² π β² =πβπ Thanks to our quantization condition on π, πβ Ξ© 4 π² 8 ;Ξ has coho class in π» 4 π² 8 ;Ξ
31
``Wu-Chern-Simons theory.ββ
exp ( 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.ββ
32
Wu-Chern-Simons Theory
Generalizes spin-Chern-Simons to p-form gauge fields. Developed in detail in great generality by Samuel Monnier arXiv: 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 + π€ π€ 1 4
33
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ππ π² π π+πβ² ) π β² =πβπ π must be a characteristic vector of Ξ Ξ β¨ β
Ξ
34
Defining π πΆπ From π ππΆπ To define the counterterm line bundle π πΆπ we want to evaluate π ππΆπ on ( β³ 6 , π). π = 1 2 πβπ+[π] Problem 1: π is shifted: π =β π π π 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 πΊ,β,Ξ,π,π
35
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 β
36
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.
37
Anomaly Cancellation πΉππππ+π΅ π π πΉππππ+π΅ Ξ¨ πΆπ ( β³ 6 ;π΄, π ππ ,π΅)
Suppose the 7D TFT is indeed trivializable Now need a section, Ξ¨ πΆπ β³ which is local in the six-dimensional fields. This will be our Green-Schwarz counterterm: πΉππππ+π΅ π π πΉππππ+π΅ Ξ¨ πΆπ ( β³ 6 ;π΄, π ππ ,π΅) The integral will be a function on β¬/π’
38
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
39
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
40
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
41
Construction Of The Green-Schwarz Counterterm:
Ξ¨ πΆπ = exp 2ππ β³ 6 πΈ,π ππ π‘ ππ π‘= π» β 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
42
Conclusion: All Anomalies Cancel:
for πΊ,β,Ξ,π,π such that: πΌ 8 = π 2 πβΞβ
Ξ β¨ is characteristic & π 2 =9βπ 1 2 πβ π» 4 π΅ πΊ 1 ;Ξ Ξ© 7 π πππ π΅πΊ =0
43
Except,β¦
44
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.
45
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β¦
46
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
47
And What About F-Theory ?
F-Theory compactifications ?
48
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.
49
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
50
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 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.
51
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β !
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.