Towards mirror symmetry à la SYZ for generalized Calabi-Yau manifolds

Fibrations of flux backgrounds by supersymmetric cycles are investigated. For an internal six-manifold M with static SU(2) structure and mirror hat M, it is argued that the product M × hat M is doubly fibered by supersymmetric three-tori, with both sets of fibers transverse to M and hat M. The mirror map is then realized by T-dualizing the fibers. Mirror-symmetric properties of the fluxes, both geometric and non-geometric, are shown to agree with previous conjectures based on the requirement of mirror symmetry for Killing prepotentials. The fibers are conjectured to be destabilized by fluxes on generic SU(3) × SU(3) backgrounds, though they may survive at type-jumping points. T-dualizing the surviving fibers ensures the exchange of pure spinors under mirror symmetry

F-theory and AdS_3/CFT_2 (2,0)

We continue to develop the program initiated in arXiv:1705.04679 of studying supersymmetric AdS_3 solutions of F-theory and their holographic dual 2d superconformal field theories, which are dimensional reductions of 4d theories with varying coupling. Imposing 2d N=(0,2) supersymmetry, we derive the general conditions on the geometry for Type IIB AdS_3 solutions with varying axio-dilaton and five-form flux. We discuss a class of solutions, which extend AdS_3 x T^2 x M_5 Type IIB backgrounds, to F-theory geometries of the type AdS_3 x K3 x M_5 with varying axio-dilaton characterizing the elliptic fiber of the K3, and describe their dual field theories. For a specific choice of M_5 this corresponds to a family of solutions that are conjectured to be dual to twisted compactifications of 4d N=1 Y^{p,q} quiver gauge theories on a curve with varying coupling. For this setup, we compare the central charges from holography and field theory and find agreement to subleading order in N. Requiring enhanced 2d N=(2,2) supersymmetry we find that the axio-dilaton must be constant. However, if the internal geometry is allowed to be non-compact, we obtain the most general class of Type IIB AdS_5 solutions with varying axio-dilaton, i.e. F-theoretic solutions, that are dual to 4d N=1 SCFTs.Comment: 110 pages. v2: Significant additional results added: two new classes of F-theory solutions with (0,2) supersymmetry included and compared with dual field theorie

An N=1\mathcal{N}=1 3d-3d Correspondence

M5-branes on an associative three-cycle $M_3$ in a $G_2$-holonomy manifold give rise to a 3d $\mathcal{N}=1$ supersymmetric gauge theory, $T_{\mathcal{N}=1} [M_3]$. We propose an $\mathcal{N}=1$ 3d-3d correspondence, based on two observables of these theories: the Witten index and the $S^3$-partition function. The Witten index of a 3d $\mathcal{N}=1$ theory $T_{\mathcal{N}=1} [M_3]$ is shown to be computed in terms of the partition function of a topological field theory, a super-BF-model coupled to a spinorial hypermultiplet (BFH), on $M_3$. The BFH-model localizes on solutions to a generalized set of 3d Seiberg-Witten equations on $M_3$. Evidence to support this correspondence is provided in the abelian case, as well as in terms of a direct derivation of the topological field theory by twisted dimensional reduction of the 6d $(2,0)$ theory. We also consider a correspondence for the $S^3$-partition function of the $T_{\mathcal{N}=1} [M_3]$ theories, by determining the dimensional reduction of the M5-brane theory on $S^3$. The resulting topological theory is Chern-Simons-Dirac theory, for a gauge field and a twisted harmonic spinor on $M_3$, whose equations of motion are the generalized 3d Seiberg-Witten equations. For generic $G_2$-manifolds the theory reduces to real Chern-Simons theory, in which case we conjecture that the $S^3$-partition function of $T_{\mathcal{N}=1}[M_3]$ is given by the Witten-Reshetikhin-Turaev invariant of $M_3$.Comment: 63 pages, 4 figures; v2: JHEP versio

A Universality Test of the Quantum String Bethe Ansatz

We show that the quantum corrected string Bethe ansatz passes an important universality test by demonstrating that it correctly incorporates the non-analytical terms in the string sigma model one-loop correction for rational three-spin strings with two out of the three spins identical. Subsequently, we use the quantum corrected string Bethe ansatz to predict the exact form of the non-analytic terms for the generic rational three-spin string.Comment: 12 pages, references adde