Calabi-Yaus and Other Animals [arXiv:1805.09326] with J. Bourjaily, - - PowerPoint PPT Presentation

calabi yaus and other animals
SMART_READER_LITE
LIVE PREVIEW

Calabi-Yaus and Other Animals [arXiv:1805.09326] with J. Bourjaily, - - PowerPoint PPT Presentation

Calabi-Yaus and Other Animals [arXiv:1805.09326] with J. Bourjaily, Y.-H. He, A. Mcleod, and M. Wilhelm [arXiv:1810.07689] with J. Bourjaily, A. Mcleod, and M. Wilhelm Matt von Hippel (Niels Bohr International Academy) Matt von Hippel (NBIA)


slide-1
SLIDE 1

Calabi-Yaus and Other Animals

[arXiv:1805.09326] with J. Bourjaily, Y.-H. He, A. Mcleod, and M. Wilhelm [arXiv:1810.07689] with J. Bourjaily, A. Mcleod, and M. Wilhelm

Matt von Hippel (Niels Bohr International Academy)

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 1 / 24

slide-2
SLIDE 2

Introduction

Multiple Polylogarithms

Integrals over rational factors: G(w1, w2, . . . ; z) =

z

1 x − w1 G(w2, . . . ; x)dx

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 2 / 24

slide-3
SLIDE 3

Introduction

Elliptic Multiple Polylogarithms

Integrals over an elliptic curve: E

  • 0 n2 ...

0 c2 ... ; z

  • =

z

1 y(x)E( n2 ...

c2 ... ; x) dx

where y2 ∼ (x4) + x3 + . . .

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 3 / 24

slide-4
SLIDE 4

Introduction

??? Multiple Polylogarithms

Integrals over a higher-dimensional manifold: F(? ? ? ) =

  • 1

y(x1, x2, . . .)F(? ? ? ; x1, x2, . . .)dx1dx2 . . . where y2 ∼ P(x1, x2, . . .)

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 4 / 24

slide-5
SLIDE 5

Introduction

Known Examples are Calabi-Yau

Known to be CYL−1 at L loops [Bloch, Kerr, Vanhove; Broadhurst]

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 5 / 24

slide-6
SLIDE 6

Introduction

Known Examples are Calabi-Yau

Known to be CYL−1 at L loops [Bloch, Kerr, Vanhove; Broadhurst]

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 5 / 24

slide-7
SLIDE 7

Introduction

Known Examples are Calabi-Yau

Known to be CYL−1 at L loops [Bloch, Kerr, Vanhove; Broadhurst]

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 5 / 24

slide-8
SLIDE 8

Introduction

Known Examples are Calabi-Yau

Known to be CYL−1 at L loops [Bloch, Kerr, Vanhove; Broadhurst]

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 5 / 24

slide-9
SLIDE 9

Introduction

Known Examples are Calabi-Yau

Known to be CYL−1 at L loops [Bloch, Kerr, Vanhove; Broadhurst] Eight-loop φ4 vacuum graph with a K3 (CY2) [Brown, Schnetz]

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 5 / 24

slide-10
SLIDE 10

Introduction

Known Examples are Calabi-Yau

Known to be CYL−1 at L loops [Bloch, Kerr, Vanhove; Broadhurst] Eight-loop φ4 vacuum graph with a K3 (CY2) [Brown, Schnetz] L-loop “traintracks” appear to be CYL−1 [Bourjaily, He, Mcleod, MvH, Wilhelm]

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 5 / 24

slide-11
SLIDE 11

Introduction

Questions:

Why are these examples Calabi-Yau? Are more Feynman integrals Calabi-Yau? (All?) How bad can it get? (Dimensions vs. loop order)

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 6 / 24

slide-12
SLIDE 12

Introduction

Questions:

Why are these examples Calabi-Yau? Are more Feynman integrals Calabi-Yau? (All?) How bad can it get? (Dimensions vs. loop order) My Goals Today: Make what definite statements I can Inspire further investigation!

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 6 / 24

slide-13
SLIDE 13

Introduction

1

Introduction

2

Direct Integration and Rigidity

3

Marginal Integrals are Calabi-Yau

4

A Calabi-Yau Bestiary

5

Traintracks

6

Conclusions

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 7 / 24

slide-14
SLIDE 14

Direct Integration and Rigidity

Symanzik Form

Introduce “alpha parameters” for each propagator: 1 p2 − m2 =

ei(p2−m2)αdα Get well-known form, projective integral over one variable per edge: Γ(E − LD/2)

  • xi≥0

[dE−1xi]UE−(L+1)D/2 FE−LD/2 Graph polynomials U and F defined by: U ≡

  • {T}∈T1
  • ei /

∈T

xi, F ≡

  • {T1,T2}∈T2

sT1

  • ei /

∈T1∪T2

xi

  • + U
  • ei

xim2

i

(Neglecting numerators, higher propagator powers)

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 8 / 24

slide-15
SLIDE 15

Direct Integration and Rigidity

Symanzik Form: Special Cases

Two cases where things simplify, both for even dimensions: E = LD/2: Explored by mathematicians. Superficial divergence from gamma function, if there are no subdivergences can strip this off, no need for dim reg. Only U contributes.

  • xi≥0

[dE−1xi] 1 UD/2 E = (L + 1)D/2: Marginal. If finite, can again avoid dim reg. Only F contributes.

  • xi≥0

[dE−1xi] 1 FD/2

In D = 2, these are the sunrise/banana graphs! Many more cases in D = 4

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 9 / 24

slide-16
SLIDE 16

Direct Integration and Rigidity

Direct Integration

We can attempt to integrate these with direct integration: Start with a rational function. Can partial-fraction in some variable x, getting

  • x≥0

P(z) x − Q(z) + R(z) (x − S(z))2 + . . . where z represents the other variables. Linear denominators integrate to logarithms, double poles and higher stay rational If P, Q, . . . rational in another variable, repeat: get polylogarithms

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 10 / 24

slide-17
SLIDE 17

Direct Integration and Rigidity

Rigidity

What if some of P, Q, . . . aren’t rational?

Square root of a quadratic: this is expected to still be polylogarithmic. Sometimes possible to manifestly rationalize with a change of variables, see e.g. [Besier, Van Straten, Weinzierl] Square root of cubic or higher: in general, cannot be rationalized, sign

  • f non-polylogarithmicity

Try all possible integration orders. We define the rigidity of an integral as the minimum number of variables left in the root. N.B.: This does not rule out more unusual changes of variables/re-parametrizations! To do that, would need a “more invariant” picture (differential equations?)

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 11 / 24

slide-18
SLIDE 18

Marginal Integrals are Calabi-Yau

What is a Calabi-Yau?

Compact K¨ ahler manifold with vanishing first Chern class Ricci-flat Preserves N=1 supersymmetry of compactifications

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 12 / 24

slide-19
SLIDE 19

Marginal Integrals are Calabi-Yau

What is a Calabi-Yau?

Compact K¨ ahler manifold with vanishing first Chern class Ricci-flat Preserves N=1 supersymmetry of compactifications . . . not helpful!

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 12 / 24

slide-20
SLIDE 20

Marginal Integrals are Calabi-Yau

How do you diagnose a Calabi-Yau?

Embed the patient in a weighted projective space!

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 13 / 24

slide-21
SLIDE 21

Marginal Integrals are Calabi-Yau

How do you diagnose a Calabi-Yau?

Embed the patient in a weighted projective space! projective space: (x1, x2, . . .) ∼ (λx1, λx2, . . .)

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 13 / 24

slide-22
SLIDE 22

Marginal Integrals are Calabi-Yau

How do you diagnose a Calabi-Yau?

Embed the patient in a weighted projective space! weighted projective space: (x1, x2, . . .) ∼ (λw1x1, λw2x2, . . .)

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 13 / 24

slide-23
SLIDE 23

Marginal Integrals are Calabi-Yau

How do you diagnose a Calabi-Yau?

Embed the patient in a weighted projective space! weighted projective space: (x1, x2, . . .) ∼ (λw1x1, λw2x2, . . .) Curve should scale uniformly in λ (homogeneous polynomial)

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 13 / 24

slide-24
SLIDE 24

Marginal Integrals are Calabi-Yau

How do you diagnose a Calabi-Yau?

Embed the patient in a weighted projective space! weighted projective space: (x1, x2, . . .) ∼ (λw1x1, λw2x2, . . .) Curve should scale uniformly in λ (homogeneous polynomial) If the sum of the coordinate weights equals the overall scaling (degree), your curve is Calabi-Yau!

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 13 / 24

slide-25
SLIDE 25

Marginal Integrals are Calabi-Yau

Did you check the patient for singularities?

Strictly, this only works if the Calabi-Yau is not singular F is singular ≡ points where ∇F = 0 Generically, our manifolds are singular! Can blow up to smooth singularities – we usually skip this part

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 14 / 24

slide-26
SLIDE 26

Marginal Integrals are Calabi-Yau

Did you check the patient for singularities?

Excuses: All cases we’ve checked in detail work [ongoing with Candelas, Elmi, Schafer-Nameki, Wang]

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 14 / 24

slide-27
SLIDE 27

Marginal Integrals are Calabi-Yau

Did you check the patient for singularities?

Excuses: All cases we’ve checked in detail work [ongoing with Candelas, Elmi, Schafer-Nameki, Wang] Even mathematicians assume this will work [Brown 0910.0114]

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 14 / 24

slide-28
SLIDE 28

Marginal Integrals are Calabi-Yau

Did you check the patient for singularities?

Excuses: All cases we’ve checked in detail work [ongoing with Candelas, Elmi, Schafer-Nameki, Wang] Even mathematicians assume this will work [Brown 0910.0114] Charles Doran: “A Calabi-Yau is whatever you want it to be”

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 14 / 24

slide-29
SLIDE 29

Marginal Integrals are Calabi-Yau

Marginal Integrals are Calabi-Yau

Let’s look at our “special cases”. [Brown 0910.0114] explored the E = LD/2 case, argument for marginal integrals (E = (L + 1)D/2) similar: F is homogenous, degree L + 1, so FD/2 has degree (L + 1)D/2 = E in E variables Direct integration preserves this: each integration removes one variable, and decreases the degree of the denominator by one. Suppose we encounter a square root. For rigidity m, root

  • Q(xi) will

contain a degree 2m polynomial in m variables. Curve y2 = Q(xi). Give the xi weight 1, y weight m. Then sum of the weights is equal to degree → diagnosed Calabi-Yau!

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 15 / 24

slide-30
SLIDE 30

Marginal Integrals are Calabi-Yau

Example: Massless D = 4

Specialize to D = 4, massless propagators:

  • xi≥0

[d2L+1xi] 1 F2 F is linear in every variable (x2

i only shows up in the mass term). We

may integrate out any one parameter xj. Writing F≡ F(j)

0 + xjF(j) 1 :

  • xi≥0

[d2Lxi] 1 F(j)

0 F(j) 1

Each factor is still linear, so we can integrate in another variable xk. Writing F(j)

i ≡ F(j,k) i,0

+ xkF(j,k)

i,1 :

  • xi≥0

[d2L−1xi] log

  • F(j,k)

0,0 F(j,k) 1,1

  • − log
  • F(j,k)

0,1 F(j,k) 1,0

  • F(j,k)

0,0 F(j,k) 1,1 − F(j,k) 0,1 F(j,k) 1,0

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 16 / 24

slide-31
SLIDE 31

Marginal Integrals are Calabi-Yau

Example: Massless D = 4

  • xi≥0

[d2L−1xi] log

  • F(j,k)

0,0 F(j,k) 1,1

  • − log
  • F(j,k)

0,1 F(j,k) 1,0

  • F(j,k)

0,0 F(j,k) 1,1 − F(j,k) 0,1 F(j,k) 1,0

Denominator is at most quadratic in each remaining variable. If irreducibly quadratic in all variables (and discriminants irreducibly cubic or quartic in all other variables), then Calabi-Yau with rigidity 2L − 2. Thus for massless marginal integrals in 4D, rigidity is bounded.

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 17 / 24

slide-32
SLIDE 32

A Calabi-Yau Bestiary

Is this bound saturated? Yes!

Even L ≥ 2 Odd L ≥ 1 Odd L ≥ 5 Tardigrades Paramecia Amoebas

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 18 / 24

slide-33
SLIDE 33

A Calabi-Yau Bestiary

Observations:

The L = 2 tardigrade is a two-loop, five-point (three external masses) K3! We’ve looked at other marginal integrals with box power counting through seven loops, the majority are maximally rigid. The L = 3 amoeba is oddly enough not maximally rigid.

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 19 / 24

slide-34
SLIDE 34

Traintracks

What about the Traintracks?

Not marginal: E = 3L + 1 = (L + 1)D/2 for L = 1 Not Symanzik:

[dLα]dLβ 1 (f1 · · · fL)gL

fk ≡(a0ak−1;akbk−1)(ak−1bk;bk−1a0)(akbk;ak−1bk−1)fk−1+α0(αk +βk)+αkβk +

k−1

  • j=1
  • αjαk(bja0;ajak)+αjβk(bja0;ajbk)+αkβj(a0aj;akbj)+βjβk(a0aj;bkbj)
  • gL ≡α0+

L

  • j=1
  • αj(bja0;ajb0)+βj(a0aj;b0bj)
  • ;

(ab;cd)≡ xa,b xc,d xa,c xb,d

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 20 / 24

slide-35
SLIDE 35

Traintracks

Three-Loop K3

Take codimension L + 1 residue, uncovering rigidity Get √Q, where Q is degree 4 in α2 and degree 6 in α1 and α0 Can transform to Weierstrass form, rational transformation α2 → x s.t. the curve becomes: y2 = 4x3 − xg2(α0, α1) − g3(α0, α1) where g2 has degree 8 and g3 has degree 12 Assign weight 6 to y, weight 4 to x, and weight 1 to α0, α1. 6 + 4 + 1 + 1 = 12, satisfies Calabi-Yau condition.

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 21 / 24

slide-36
SLIDE 36

Traintracks

Wheel/Coccolithophore

Once again, not marginal, not Symanzik Planar, relevant to N = 4 sYM For special kinematics, is CY3 We haven’t found embedding for general kinematics though...maybe rigid, but not CY?

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 22 / 24

slide-37
SLIDE 37

Conclusions

Further Questions

Do different integration pathways give different Calabi-Yaus? Different parametrizations?

Unlike elliptic curves, no general way to determine if two Calabi-Yaus are the same Could show two curves are different by checking geometric data Is there an invariant notion of “the geometry”? Maybe from differential equations?

Generalizations?

Traintracks are not marginal, but they are Calabi-Yau. How general is this? Are all Feynman integrals Calabi-Yau? Currently looking at a potential counterexample. If they are, does this rule out higher genus?

Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 23 / 24

slide-38
SLIDE 38

Conclusions

Thank You

This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No. 793151 Matt von Hippel (NBIA) Calabi-Yaus and Other Animals November 7, 2018 24 / 24