<p>We study webs of 5-branes with 7-branes in Type IIB string theory from a geometric perspective. Mathematically, a web of 5-branes with 7-branes is a tropical curve in <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {R}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> with focus-focus singularities introduced. To any such a web <i>W</i>, we attach a log Calabi–Yau surface (<i>Y</i>,&#xa0;<i>D</i>) with a line bundle <i>L</i>. We then describe supersymmetric webs, which are webs defining 5d superconformal field theories (SCFTs), in terms of the geometry of (<i>Y</i>,&#xa0;<i>D</i>,&#xa0;<i>L</i>). We also introduce particular supersymmetric webs called “consistent webs", and show that any 5d SCFT defined by a supersymmetric web can be obtained from a consistent web by adding free hypermultiplets. Using birational geometry of degenerations of log Calabi–Yau surfaces, we provide an algorithm to test the consistency of a web in terms of its dual polygon. Moreover, for a consistent web <i>W</i>, we provide an algebro-geometric construction of the mirror <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathcal {X}^{\textrm{can}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">X</mi> </mrow> <mtext>can</mtext> </msup> </math></EquationSource> </InlineEquation> to (<i>Y</i>,&#xa0;<i>D</i>,&#xa0;<i>L</i>), as a non-toric canonical 3-fold singularity, and show that M-theory on <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {X}^{\textrm{can}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">X</mi> </mrow> <mtext>can</mtext> </msup> </math></EquationSource> </InlineEquation> engineers the same 5d SCFT as <i>W</i>. We also explain how to derive explicit equations for <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {X}^{\textrm{can}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">X</mi> </mrow> <mtext>can</mtext> </msup> </math></EquationSource> </InlineEquation> using scattering diagrams, encoding disk worldsheet instantons in the A-model, or equivalently the BPS states of an auxiliary rank one 4d <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {N}=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">N</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> theory.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Non-toric Brane Webs, Calabi–Yau 3-Folds, and 5d SCFTs

  • Valery Alexeev,
  • Hülya Argüz,
  • Pierrick Bousseau

摘要

We study webs of 5-branes with 7-branes in Type IIB string theory from a geometric perspective. Mathematically, a web of 5-branes with 7-branes is a tropical curve in \(\mathbb {R}^2\) R 2 with focus-focus singularities introduced. To any such a web W, we attach a log Calabi–Yau surface (YD) with a line bundle L. We then describe supersymmetric webs, which are webs defining 5d superconformal field theories (SCFTs), in terms of the geometry of (YDL). We also introduce particular supersymmetric webs called “consistent webs", and show that any 5d SCFT defined by a supersymmetric web can be obtained from a consistent web by adding free hypermultiplets. Using birational geometry of degenerations of log Calabi–Yau surfaces, we provide an algorithm to test the consistency of a web in terms of its dual polygon. Moreover, for a consistent web W, we provide an algebro-geometric construction of the mirror \(\mathcal {X}^{\textrm{can}}\) X can to (YDL), as a non-toric canonical 3-fold singularity, and show that M-theory on \(\mathcal {X}^{\textrm{can}}\) X can engineers the same 5d SCFT as W. We also explain how to derive explicit equations for \(\mathcal {X}^{\textrm{can}}\) X can using scattering diagrams, encoding disk worldsheet instantons in the A-model, or equivalently the BPS states of an auxiliary rank one 4d \(\mathcal {N}=2\) N = 2 theory.