Monodromies revisited with twisted homology and BCJ Piotr Tourkine, - - PowerPoint PPT Presentation

monodromies revisited with twisted homology and bcj
SMART_READER_LITE
LIVE PREVIEW

Monodromies revisited with twisted homology and BCJ Piotr Tourkine, - - PowerPoint PPT Presentation

Monodromies revisited with twisted homology and BCJ Piotr Tourkine, CNRS & LPTHE, Sorbonne Universits QCD meets Gravity V, dec 2019, UCLA, Mani L. Bhaumik Institute for Theoretical Physics [arXiv:1910.08514] [Work in progress] +


slide-1
SLIDE 1

Monodromies revisited with twisted homology and BCJ

Piotr Tourkine, CNRS & LPTHE, Sorbonne Universités QCD meets Gravity V, dec 2019, UCLA, Mani L. Bhaumik Institute for Theoretical Physics

[arXiv:1910.08514] Monodromy relations from twisted homology

  • E. Casali, S. Mizera, P. Tourkine

[arXiv:1608.01665] Phys.Rev.Lett. 117 (2016) 211601 Higher-loop amplitude monodromy relations in string and gauge theory

  • P. Tourkine, P. Vanhove

[arXiv:1707.05775] JHEP 1710 (2017) 105 One-loop monodromy relations on single cuts

  • A. Ochirov, P. Tourkine, P. Vanhove

[Work in progress]

  • E. Casali, S. Mizera, P. Tourkine

+

1

slide-2
SLIDE 2

previously

B 1 B i B g B 1 B i B g A 1 A 1 A 1 A i A i A g A g A 1 A i A i A g A g d r a
  • 1
c
  • 1
b ( 1 ) 1 b ( 1 ) r 1 + 1 a
  • i
c
  • i
b ( i ) 1 b ( i ) r i + 1 a
  • g
c
  • g
b ( g ) r g + 1 b ( g ) 1 c + g a + g b ( g ) 1 b ( g ) r g + 1 a + 1 c + 1 b ( 1 ) 1 b ( 1 ) r + 1 a + i c + i b ( i ) r i + 1 b ( i ) 1

C+

d r
  • 1
d 2 d 1

C

β 1 β 2 β i β i + 1 β g α r + 1 α ˜ r 1 α ˜ r i−1 + 1 α ˜ r i Q

z

2

z

3

z

4

z

n − 1

z

n

α

3

α

4

α

n − 1

α

n

d

1

d

2

d

3

d

n − 1

d

1

C

C

+

d

4

d

n − 2

Set of linear relationship between open string theory loop integrands

[arXiv:1608.01665] Phys.Rev.Lett. 117 (2016) 211601 Higher-loop amplitude monodromy relations in string and gauge theory

  • P. Tourkine, P. Vanhove

[arXiv:1702.04963] Nucl.Phys. B925 (2017) 63-134 Monodromy Relations in Higher-Loop String Amplitudes

  • S. Hohenegger, S. Stieberger

[arXiv:1910.08514] Monodromy relations from twisted homology

  • E. Casali, S. Mizera, P. Tourkine

[arXiv:1707.05775] JHEP 1710 (2017) 105 One-loop monodromy relations on single cuts

  • A. Ochirov, P. Tourkine, P. Vanhove

2

slide-3
SLIDE 3

Will dissect the relations in field theory

now

3

slide-4
SLIDE 4

motivations

4

slide-5
SLIDE 5

motivations

  • string theoretic formalisms can often teach us a lot about

generic properties of perturbative QFT

  • because the worldsheet is nicer than the worldline (true as

well for CHY)

  • and because of non-pertubative physics + dualities +

supersymmetry (but susy also on worldline, see Green Bjornsson)

5

slide-6
SLIDE 6
  • The KLT relations between open (=gauge) and closed (=gravity)

strings is somehow at the roots of this conference.

  • Looking at the monodromies, we will try to draw some conclusions

concerning two related and interconnected questions

  • the “labeling problem” (BCJ around the loop)
  • some more speculative aspects on the double copy
  • pen open

closed

× =

motivations

6

slide-7
SLIDE 7

BCJ around the clock

1 2 3 4

7

slide-8
SLIDE 8

BCJ around the clock

  • =

ns nt nu

8

slide-9
SLIDE 9

BCJ around the clock

  • Do successive BCJ moves

around the loop.

  • First and last diagrams do not

match: there is a loop momentum shifting ambiguity.

  • Generalises to higher loops

9

slide-10
SLIDE 10

BCJ around the clock

  • Do successive BCJ moves

around the loop.

  • First and last diagrams do not

match: there is a loop momentum shifting ambiguity.

  • Generalises to higher loops

10

slide-11
SLIDE 11

BCJ around the clock

  • Do successive BCJ moves

around the loop.

  • First and last diagrams do not

match: there is a loop momentum shifting ambiguity.

  • Generalises to higher loops

11

slide-12
SLIDE 12

Double-copy

  • works amazingly well
  • up to 4 loops
  • 5 loops : needs to be modified. Why ?

[arXiv:1708.06807] Phys.Rev. D96 (2017) 126012 Five-loop four-point integrand of N=8 supergravity as a generalized double copy

  • Z. Bern, J. J. M. Carrasco, W. Chen, H. Johansson, R. Roiban, M. Zeng

12

slide-13
SLIDE 13
  • In this talk, we will see how much we can extract from the

monodromy relations and twisted homology to attack these two questions

  • Will require a closer look at the field theory limit of the

monodromy relations

13

slide-14
SLIDE 14

Outline

  • Loop momentum in string theory
  • Monodromy relations
  • Tree-level : sum and difference
  • Loop-level : same

14

slide-15
SLIDE 15

The field theory limit

  • One topology in string theory (genus = number of loops)

descends to all possible graphs in the field theory limit

  • Scherk 70’s : tree-level
  • Bern-Kosower string based

rules 90’s : one-loop

15

slide-16
SLIDE 16

The loop momentum in string theory

  • String theory has a uniform definition of the loop momentum
  • zero-mode of momentum field

:

  • Descends to all the topologies of graphs generated in the field

theory limit. Example :

Pμ = ∂tXμ ℓμ = ∮ ∂tXμdσ

16

slide-17
SLIDE 17

field theory limit of the monodromy relations

17

slide-18
SLIDE 18

warm-up : tree-level

z2 z3 z4 zn−1 zn α3 α4 αn−1 αn d1 d2 d3 dn−1 d1

C− C+

d4 dn−2 18

slide-19
SLIDE 19

warm-up : tree-level

eiπα′sA(s, u) + A(s, t) + e−iπα′tA(t, u) = 0 e−iπα′sA(s, u) + A(s, t) + e+iπα′tA(t, u) = 0

valid for complex kinematics so not quite just complex conjugation

z2 z3 z4 1 ∞ z1

19

slide-20
SLIDE 20

warm-up : tree-level

eiπα′sA(s, u) + A(s, t) + e−iπα′tA(t, u) = 0 e−iπα′sA(s, u) + A(s, t) + e+iπα′tA(t, u) = 0

Sum and difference gives cosines and sines :

A(s, u) = sin(α′πt) sin(α′πs) A(t, u) cos(πα′s)A(s, u) + A(s, t) + cos(πα′t)A(t, u) = 0

20

slide-21
SLIDE 21

warm-up : tree-level

A(s, u) + A(s, t) + A(t, u) = 0

As , one is left with

α′ → 0

sA(s, u) + tA(t, u) = 0 eiπα′sA(s, u) + A(s, t) + e−iπα′tA(t, u) = 0 e−iπα′sA(s, u) + A(s, t) + e+iπα′tA(t, u) = 0

21

slide-22
SLIDE 22

loop-level

  • generic mechanism
  • boundary effects

22

slide-23
SLIDE 23

One-loop

C− C+

d1 d2 zm z2 z3 zm zm−1 zm−2 dm−2 dm−1 a− a+ c− c+ α2 α3 αm−2 αm−1 β

B B A0 A00 A0 A00

zm+1 zn−1 zn zm+2 αm+1 αm+2 αn−1 αn zm+1 zm+2 zn−1 zn b1 b2 bn−m bn−m+1 b1 b2 bn−m bn−m+1

23

slide-24
SLIDE 24

One-loop

C− C+

d1 d2 zm z2 z3 zm zm−1 zm−2 dm−2 dm−1 a− a+ c− c+ α2 α3 αm−2 αm−1 β

B B A0 A00 A0 A00

zm+1 zn−1 zn zm+2 αm+1 αm+2 αn−1 αn zm+1 zm+2 zn−1 zn b1 b2 bn−m bn−m+1 b1 b2 bn−m bn−m+1

24

slide-25
SLIDE 25

Loop monodromies

4 2 3

25

slide-26
SLIDE 26

Loop monodromies

3 4 2 1 3 4 2 1 3 4 2 1

4 2 3

3 4 2 1

eiπα′k1⋅k2 eiπα′k1⋅(k2+k3) eiπα′k1⋅ℓ

26

slide-27
SLIDE 27

3 4 2 1 3 4 2 1 3 4 2 1

4 2 3

3 4 2 1 4 1 2 3

27

4 1 2 3

slide-28
SLIDE 28

Relations

I(1234) + eiπα′k1⋅k2I(2134) + eiπα′k1⋅(k2+k3)I(2314) −eiπα′k1⋅ℓI(234|1) + Jup − Jdown = 0 Sum and difference, plus field theory limit gives KK and fundamental BCJ Let’s look at the ’s in the formula above

I

28

slide-29
SLIDE 29

I(1234) + eiπα′k1⋅k2I(2134) + eiπα′k1⋅(k2+k3)I(2314) − eiπα′k1⋅ℓI(234|1)

29

slide-30
SLIDE 30

ℓ · k1 1 2 4 3 + (ℓ + k2) · k1 2 1 4 3 + (ℓ + k23) · k1 2 3 4 1

  • I(1234) + eiπα′k1⋅k2I(2134) + eiπα′k1⋅(k2+k3)I(2314) − eiπα′k1⋅ℓI(234|1)

30

slide-31
SLIDE 31

ℓ · k1 1 2 4 3 + (ℓ + k2) · k1 2 1 4 3 + (ℓ + k23) · k1 2 3 4 1

  • 2 · k1 = ( + k1)2 − 2

2( + k2) · k1 = ( + k1 + k2)2 − ( + k2)2 2( + k2 + k3) · k1 = ( + k1 + k2 + k3)2 − ( + k2 + k3)2

31

slide-32
SLIDE 32
  • 2 · k1 = ( + k1)2 − 2

2( + k2) · k1 = ( + k1 + k2)2 − ( + k2)2 2( + k2 + k3) · k1 = ( + k1 + k2 + k3)2 − ( + k2 + k3)2

1 2 4 3 + 2 1 4 3 + 2 3 4 1

+

  • +

+

  • 32
slide-33
SLIDE 33
  • The graphs that appear in the monodromy relations are

grouped by BCJ triplets.

  • What happens at the boundary ?

[arXiv:1608.01665] Phys.Rev.Lett. 117 (2016) 211601 Higher-loop amplitude monodromy relations in string and gauge theory

  • P. Tourkine, P. Vanhove

[arXiv:1707.05775] JHEP 1710 (2017) 105 One-loop monodromy relations on single cuts

  • A. Ochirov, P. Tourkine, P. Vanhove

33

slide-34
SLIDE 34

I(1234) + eiπα′k1⋅k2I(2134) + eiπα′k1⋅(k2+k3)I(2314) −eiπα′k1⋅ℓI(234|1) + Jup − Jdown = 0 Now let’s look at the J’s

34

slide-35
SLIDE 35

[arXiv:1707.05775] JHEP 1710 (2017) 105 One-loop monodromy relations on single cuts

  • A. Ochirov, P. Tourkine, P. Vanhove

Now let’s look at the J’s

35

slide-36
SLIDE 36

“Triangles”

  • Bern-Kosower rules (90’s) : explain which integrands

generate these triangles when z1 → zn

n 1 2 n − 1 n 1 2 n − 1 + n 1 2 n − 1 + . . .

36

slide-37
SLIDE 37

New graphs : “exotic triangles” [work in progress]

[arXiv:1707.05775] JHEP 1710 (2017) 105 One-loop monodromy relations on single cuts

  • A. Ochirov, P. Tourkine, P. Vanhove

Now let’s look at the J’s

zm = it z1 m 1 ` z1 zm = it m 1 `

37

slide-38
SLIDE 38

4 2 3

<div style: pen and paper>

38

slide-39
SLIDE 39

39

slide-40
SLIDE 40

40

slide-41
SLIDE 41

41

slide-42
SLIDE 42

42

slide-43
SLIDE 43

43

slide-44
SLIDE 44

Field theory limit of one- loop monodromies

  • There are new diagrams (exotic triangles, contact terms)

that come from the boundary terms, absent from the

  • riginal rules
  • Bottom triangles drop out of these relations (one-loop)
  • The boundary terms trivialise the boundary Jacobi’s
  • Hold in loops

44

slide-45
SLIDE 45
  • pen open

closed

× =

= K-L-T, Dotsenko, Bjerrum-Bohr Sondergaard Vanhove Damgaard

  • Somehow, at the roots of this conference, are the

relations between open (=gauge) and closed (=gravity) strings.

45

slide-46
SLIDE 46
  • pen open

closed

× =

The momentum kernel

[arXiv:1706.08527] JHEP 1708 (2017) 097 Combinatorics and Topology of Kawai- Lewellen-Tye Relations

  • S. Mizera

↳ intersection number between twisted cycles

[arXiv:1910.08514] Monodromy relations from twisted homology

  • E. Casali, S. Mizera, P. Tourkine

⇒ gives bases

46

slide-47
SLIDE 47

towards KLT

  • In theory, because we have a basis, we know that we can

write something like

  • which should be a closed string like amplitude
  • intersection numbers of the cycles in the twisted
  • homology. Can also compute in the cohomology.

Basically, the (inverse of the) momentum kernel.

M = ∑

a,b

nab∫Γa ω∫Γb ˜ ω na,b =

47

slide-48
SLIDE 48

Bases of cycles ?

B1 Bi Bg B1 Bi Bg A0

1

A00

1

A0

1

A0

i

A0

i

A0

g

A0

g

A00

1

A00

i

A00

i

A00

g

A00

g

D

Physical n-cycles, e.g. on the boundary of an annulus : z1 < z2 < … < zn Twisted cycle : Twisted n-cycle : constructed in the 
 same fashion (fibration)

48

slide-49
SLIDE 49
  • The bulk cycles are twisted cycles, one

would expect them to square in a one- loop KLT formula.

  • Motivates a posteriori the “generalized”

double copy ?

  • Suggests a very of generalized double

copy with only those kind of terms to be used for contact terms.

d1 z2 zm dm−1 a+ c+ b1 zm−1 zm+1 zn ka+ kc+ . . . m+1 1 ` − km ` m m − 1 2 (ct)

towards KLT

49

slide-50
SLIDE 50

Summary, outlook

  • Twisted homology is a robust formalism to understand the

monodromies of string amplitudes.

  • In particular, it allows to come up with a counting and a

basis of integrands.

  • Those bases are to be used for a KLT formula.
  • In the field theory limit, contact arise that should play a

role in the squaring, in accordance with the generalized double copy procedure. Prescriptive way ?

50