<<

S-duality & Fivebrane

Sergei Alexandrov

Laboratoire Charles Coulomb Montpellier

S.A., S.Banerjee arXiv:1405.0291

arXiv:1403.1265 Calabi-Yau compactifications The goal: to find the complete non-perturbative effective action in 4d for type II theory compactified on arbitrary CY Type II multiplet (metric) compactification vector multiplets (gauge fields & scalars) on a Calabi-Yau hypermultiplets (only scalars) N =2 supergravity in 4d coupled to matter The low-energy effective action is determined by the metric on the moduli space parameterized by scalars of vector and hypermultiplets

• – special Kähler (given by ) • – quaternion-Kähler • is classically exact • receives all types of gs-corrections (no corrections in string coupling gs) known unknown The (concrete) goal: to find the non-perturbative geometry of Quantum corrections

Tree level HM metric includes -corrections (perturbative + + instantons) In the image of the c-map - corrections (captured by the prepotential )

Instantons – (Euclidean) world volumes perturbative non-perturbative wrapping non-trivial cycles of CY corrections corrections ● D- instantons

one-loop correction S.A.,Pioline,Saueressig,Vandoren ’08, controlled by S.A. ’09 (in type IIA picture)

Antoniadis,Minasian,Theisen,Vanhove ’03, ● NS5-brane instantons Robles-Llana,Saueressig,Vandoren ’06,

S.A. ‘07 remains to find Quantum corrections

Tree level HM metric includes -corrections (perturbative + + worldsheet instantons) In the image of the c-map - corrections (captured by the prepotential )

Instantons – (Euclidean) world volumes perturbative non-perturbative wrapping non-trivial cycles of CY corrections corrections ● D-brane instantons The idea: Type IIA Type IIB

0 D(-1) S.A.,Pioline,Saueressig,Vandoren ’08, 1 × S.A. ’09 (in type IIA picture) mirror 2 D1 3 D2 4 D3 S-duality ● NS5-brane instantons symmetry 5 × 6 D5

One- approximation ─ S.A.,Persson,Pioline ’10 Twistor approach The idea: one should work at the level of the twistor space

Quaternionic structure: Twistor space quaternion algebra of almost t • is a Kähler manifold complex structures • carries holomorphic contact structure • symmetries of can be lifted to holomorphic symmetries of The geometry is determined by contact transformations between sets of Darboux coordinates Holomorphicity

generated by holomorphic functions Contact Hamiltonians and instanton corrections

gluing conditions contact bracket

integral equations for “twistor lines”

D2-instantons in type IIA metric on

It is sufficient to find holomorphic functions ― D-brane corresponding to quantum generalized DT invariants corrections S.A.,Pioline,Saueressig, Vandoren ’08, S.A. ’09 S-duality in twistor space S.A.,Banerjee ‘14 One must understand how S-duality The idea: to add all images of the is realized on twistor space and D-instanton contributions under S-duality which constraints it imposes on with a non-vanishing 5-brane charge the twistorial construction

Non-linear holomorphic representation of SL(2,) –duality group on Transformation property of the contact bracket

Condition for to carry an isometric action of SL(2,)

contact transformation Fivebrane instantons

The input: ― D5-brane charge

Apply SL(2,) transformation

NS5-brane Compute fivebrane contact Hamiltonians charge

Encodes fivebrane instanton corrections to all orders of the instanton expansion

• One can evaluate the action on Darboux coordinates and write down the integral equations on twistor lines • The contact structure is invariant under full U-duality group Open issues

● Manifestly S-duality invariant description of D3-instantons Quantum corrections in type IIB: closely related to (0,4) elliptic genus and mock modular forms • -corrections: w.s.inst. S.A.,Manschot,Pioline ‘12 • pert. gs-corrections: • instanton corrections: D(-1) D1 D3 D5 NS5

● NS5-brane instantons in the Type IIA picture Can the integrable structure of D-instantons in Type IIA be extended to include NS5-brane corrections? Inclusion of ? quantum = quantum dilog? NS5- deformation

A-model topological ● Resolution of one-loop singularity wave in ● Resummation of divergent series over brane charges the real polarization (expected to be regularized by NS5-branes) Relation to the topological string