Table of Contents
Fetching ...

Twisted S-Duality

Surya Raghavendran, Philsang Yoo

TL;DR

This work builds a mathematical framework for S-duality as an $SL(2,\mathbb{Z})$ action on a twisted sector of type IIB supergravity, realized through a modified BCOV theory in three complex dimensions. It establishes a robust link between twisted BCOV/BCOV-like theories, twisted IIB supergravity, and the dualities that arise from dimensional reductions and T-duality, culminating in an $SL(2,\mathbb{Z})$–equivariant map from 11d twisted supergravity to twisted IIB; this ties duality actions to geometric Langlands across deformations of holomorphic–topological gauges theories. The paper then applies this framework to deformations of Kapustin’s holomorphic–topological twist of $\mathcal{N}=4$ theory, D3-brane gauge theories, and the Dolbeault/de Rham Langlands correspondences, showing how S-duality pairs HT(A) and HT(B) deformations and yields new perspectives on geometric Langlands via boundary conditions and open–closed maps. It also develops a detailed web of dualities involving M-theory, T-duality, and reductions, and demonstrates how twisted S-duality interacts with superconformal symmetries and 4d Chern–Simons theory, offering a mathematically tractable route to many string-theoretic dualities with far-reaching implications for representation theory and nonperturbative invariants.

Abstract

We study an SL(2, Z) symmetry of a variant of BCOV theory in three complex dimensions. Using conjectural descriptions of twists of superstrings in terms of topological strings, we argue that this action can be thought of as a version of S-duality that preserves an SU(3)-invariant twist of type IIB supergravity. We analyze how SL(2,Z) acts on various deformations of the holomorphic-topological twist of 4-dimensional N = 4 supersymmetric gauge theory, which come from residual supertranslations and superconformal symmetries, and are of relevance to geometric Langlands theory and gauge-theoretic constructions of the Yangian.

Twisted S-Duality

TL;DR

This work builds a mathematical framework for S-duality as an action on a twisted sector of type IIB supergravity, realized through a modified BCOV theory in three complex dimensions. It establishes a robust link between twisted BCOV/BCOV-like theories, twisted IIB supergravity, and the dualities that arise from dimensional reductions and T-duality, culminating in an –equivariant map from 11d twisted supergravity to twisted IIB; this ties duality actions to geometric Langlands across deformations of holomorphic–topological gauges theories. The paper then applies this framework to deformations of Kapustin’s holomorphic–topological twist of theory, D3-brane gauge theories, and the Dolbeault/de Rham Langlands correspondences, showing how S-duality pairs HT(A) and HT(B) deformations and yields new perspectives on geometric Langlands via boundary conditions and open–closed maps. It also develops a detailed web of dualities involving M-theory, T-duality, and reductions, and demonstrates how twisted S-duality interacts with superconformal symmetries and 4d Chern–Simons theory, offering a mathematically tractable route to many string-theoretic dualities with far-reaching implications for representation theory and nonperturbative invariants.

Abstract

We study an SL(2, Z) symmetry of a variant of BCOV theory in three complex dimensions. Using conjectural descriptions of twists of superstrings in terms of topological strings, we argue that this action can be thought of as a version of S-duality that preserves an SU(3)-invariant twist of type IIB supergravity. We analyze how SL(2,Z) acts on various deformations of the holomorphic-topological twist of 4-dimensional N = 4 supersymmetric gauge theory, which come from residual supertranslations and superconformal symmetries, and are of relevance to geometric Langlands theory and gauge-theoretic constructions of the Yangian.

Paper Structure

This paper contains 36 sections, 11 theorems, 89 equations, 2 figures.

Key Result

Theorem 2.8

KontsevichPoissonWillwacher--Calaque Let $X$ be a Calabi--Yau manifold. There is an equivalence of $L_\infty$-algebras $(\mathop{\mathrm{PV}}\nolimits(X)\llbracket t\rrbracket [1], \mathop{\mathrm{\bar{\partial}}}\nolimits +t\partial, [-,-]_{\mathrm{SN}})\to \mathrm{Cyc}^\bullet (\mathop{\mathrm{Coh

Figures (2)

  • Figure 1: S-duality of type IIB string theory from M-theory
  • Figure 2: T-duality Diagram

Theorems & Definitions (56)

  • Remark 1.1
  • Example 2.2
  • Example 2.3
  • Example 2.4
  • Example 2.5
  • Example 2.6
  • Theorem 2.8
  • Remark 2.9
  • Definition 2.10
  • Example 2.11
  • ...and 46 more