<p>We construct and study various properties of a negative spin version of the Witten <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1351_Article_IEq3.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>r</mi> </math></EquationSource> <EquationSource Format="TEX">$r $</EquationSource> </InlineEquation>-spin class. By taking the top Chern class of a certain vector bundle on the moduli space of spin curves that parametrises <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1351_Article_IEq3.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>r</mi> </math></EquationSource> <EquationSource Format="TEX">$r $</EquationSource> </InlineEquation>-th roots of the anticanonical bundle, we construct a non-semisimple cohomological field theory (CohFT) that we call the Theta class <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1351_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="normal">Θ</mi> <mi>r</mi> </msup> </math></EquationSource> <EquationSource Format="TEX">$\Theta ^{r} $</EquationSource> </InlineEquation>. This CohFT does not have a flat unit and its associated Dubrovin–Frobenius manifold is nowhere semisimple. Despite this, we construct a semisimple deformation of the Theta class, and using the Teleman reconstruction theorem, we obtain tautological relations on <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1351_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mover accent="true"> <mi mathvariant="script">M</mi> <mo>‾</mo> </mover> <mrow> <mi>g</mi> <mo>,</mo> <mi>n</mi> </mrow> </msub> </math></EquationSource> <EquationSource Format="TEX">$\overline{\mathcal{M}}_{g,n} $</EquationSource> </InlineEquation>. Furthermore, we prove that the descendant potential of the Theta class is the unique solution to a set of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1351_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi mathvariant="script">W</mi> </math></EquationSource> <EquationSource Format="TEX">$\mathcal{W} $</EquationSource> </InlineEquation>-algebra constraints, which implies a recursive formula for all the descendant integrals. Using this result for <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1351_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>r</mi> <mo>=</mo> <mn>2</mn> </math></EquationSource> <EquationSource Format="TEX">$r = 2 $</EquationSource> </InlineEquation>, we prove Norbury’s conjecture which states that the descendant potential of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1351_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="normal">Θ</mi> <mn>2</mn> </msup> </math></EquationSource> <EquationSource Format="TEX">$\Theta ^{2} $</EquationSource> </InlineEquation> coincides with the Brézin–Gross–Witten tau function of the KdV hierarchy. Furthermore, we conjecture that the descendant potential of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1351_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="normal">Θ</mi> <mi>r</mi> </msup> </math></EquationSource> <EquationSource Format="TEX">$\Theta ^{r} $</EquationSource> </InlineEquation> is the <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1351_Article_IEq3.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>r</mi> </math></EquationSource> <EquationSource Format="TEX">$r $</EquationSource> </InlineEquation>-BGW tau function of the <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1351_Article_IEq3.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>r</mi> </math></EquationSource> <EquationSource Format="TEX">$r $</EquationSource> </InlineEquation>-KdV hierarchy and prove the conjecture for <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1351_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>r</mi> <mo>=</mo> <mn>3</mn> </math></EquationSource> <EquationSource Format="TEX">$r = 3 $</EquationSource> </InlineEquation>.</p>

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

Relations on \(\overline{\mathcal{M}}_{g,n}\) and the negative \(r\)-spin Witten conjecture

  • Nitin Kumar Chidambaram,
  • Elba Garcia-Failde,
  • Alessandro Giacchetto

摘要

We construct and study various properties of a negative spin version of the Witten r $r $ -spin class. By taking the top Chern class of a certain vector bundle on the moduli space of spin curves that parametrises r $r $ -th roots of the anticanonical bundle, we construct a non-semisimple cohomological field theory (CohFT) that we call the Theta class Θ r $\Theta ^{r} $ . This CohFT does not have a flat unit and its associated Dubrovin–Frobenius manifold is nowhere semisimple. Despite this, we construct a semisimple deformation of the Theta class, and using the Teleman reconstruction theorem, we obtain tautological relations on M g , n $\overline{\mathcal{M}}_{g,n} $ . Furthermore, we prove that the descendant potential of the Theta class is the unique solution to a set of W $\mathcal{W} $ -algebra constraints, which implies a recursive formula for all the descendant integrals. Using this result for r = 2 $r = 2 $ , we prove Norbury’s conjecture which states that the descendant potential of Θ 2 $\Theta ^{2} $ coincides with the Brézin–Gross–Witten tau function of the KdV hierarchy. Furthermore, we conjecture that the descendant potential of Θ r $\Theta ^{r} $ is the r $r $ -BGW tau function of the r $r $ -KdV hierarchy and prove the conjecture for r = 3 $r = 3 $ .