<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5373_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_g\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>F</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation> be the free energy derived from Topological Recursion for a given spectral curve on a compact Riemann surface, and let <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5373_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_g^\vee \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>F</mi> <mi>g</mi> <mo>∨</mo> </msubsup> </math></EquationSource> </InlineEquation> be its <i>x</i>-<i>y</i> dual, that is, the free energy derived from the same spectral curve with the roles of <i>x</i> and <i>y</i> interchanged. <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5373_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_g\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>F</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation> is sometimes called a symplectic invariant due to its invariance under certain symplectomorphisms of the formal symplectic form <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5373_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(dx\wedge dy\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mi>x</mi> <mo>∧</mo> <mi>d</mi> <mi>y</mi> </mrow> </math></EquationSource> </InlineEquation>. However, the free energy is not generally invariant under the swap of <i>x</i> and <i>y</i>; thus, the difference <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5373_Article_IEq5.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_g - F_g^\vee \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>F</mi> <mi>g</mi> </msub> <mo>-</mo> <msubsup> <mi>F</mi> <mi>g</mi> <mo>∨</mo> </msubsup> </mrow> </math></EquationSource> </InlineEquation> is nonzero. We derive a new formula for this difference for all <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5373_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(g\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> in terms of a residue calculation at the singularities of <i>x</i> and <i>y</i>, including cases where <i>x</i> and <i>y</i> have logarithmic singularities. For the derivation, we apply recent developments from <i>x</i>-<i>y</i> duality within the theory of (Logarithmic) Topological Recursion. The derived formulas are particularly useful for spectral curves with a trivial <i>x</i>-<i>y</i> dual side, meaning those with vanishing <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5373_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_g^\vee \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>F</mi> <mi>g</mi> <mo>∨</mo> </msubsup> </math></EquationSource> </InlineEquation>. In such cases, one obtains an explicit result for <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5373_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_{g\ge 2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>F</mi> <mrow> <mi>g</mi> <mo>≥</mo> <mn>2</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> itself. We apply this to several classes of spectral curves and prove, for instance, a recent conjecture by Borot et al. that the free energies <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5373_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_g\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>F</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation> computed by Topological Recursion for the “Gaiotto curve” coincide with the perturbative part (in the <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5373_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>-background) of the Nekrasov partition function of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5373_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <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> pure supersymmetric gauge theory. Similar computations also provide <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5373_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_g\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>F</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation> for the CDO curve related to Hurwitz numbers, or the negative <i>r</i>-spin curve related to <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5373_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Θ</mi> </math></EquationSource> </InlineEquation>-class intersection numbers on <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5373_Article_IEq14.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{\mathcal {M}}_{g,n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover> <mi mathvariant="script">M</mi> <mo>¯</mo> </mover> <mrow> <mi>g</mi> <mo>,</mo> <mi>n</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>.</p>

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

Symplectic (Non-)invariance of the Free Energy in Topological Recursion

  • Alexander Hock

摘要

Let \(F_g\) F g be the free energy derived from Topological Recursion for a given spectral curve on a compact Riemann surface, and let \(F_g^\vee \) F g be its x-y dual, that is, the free energy derived from the same spectral curve with the roles of x and y interchanged. \(F_g\) F g is sometimes called a symplectic invariant due to its invariance under certain symplectomorphisms of the formal symplectic form \(dx\wedge dy\) d x d y . However, the free energy is not generally invariant under the swap of x and y; thus, the difference \(F_g - F_g^\vee \) F g - F g is nonzero. We derive a new formula for this difference for all \(g\ge 2\) g 2 in terms of a residue calculation at the singularities of x and y, including cases where x and y have logarithmic singularities. For the derivation, we apply recent developments from x-y duality within the theory of (Logarithmic) Topological Recursion. The derived formulas are particularly useful for spectral curves with a trivial x-y dual side, meaning those with vanishing \(F_g^\vee \) F g . In such cases, one obtains an explicit result for \(F_{g\ge 2}\) F g 2 itself. We apply this to several classes of spectral curves and prove, for instance, a recent conjecture by Borot et al. that the free energies \(F_g\) F g computed by Topological Recursion for the “Gaiotto curve” coincide with the perturbative part (in the \(\Omega \) Ω -background) of the Nekrasov partition function of \(\mathcal {N}=2\) N = 2 pure supersymmetric gauge theory. Similar computations also provide \(F_g\) F g for the CDO curve related to Hurwitz numbers, or the negative r-spin curve related to \(\Theta \) Θ -class intersection numbers on \(\overline{\mathcal {M}}_{g,n}\) M ¯ g , n .