<p>The heterotic <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5309_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{SU}(3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>SU</mtext> <mo stretchy="false">(</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> system, also known as the Hull–Strominger system, arises from compactifications of heterotic string theory to six dimensions. This paper investigates the local structure of the moduli space of solutions to this system on a compact 6-manifold <i>X</i>, using a vector bundle <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5309_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="241" /> </InlineMediaObject> <EquationSource Format="TEX">\(Q=(T^{1,0}X)^* \oplus {{\textrm{End}}}(E) \oplus T^{1,0}X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mo>=</mo> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>T</mi> <mrow> <mn>1</mn> <mo>,</mo> <mn>0</mn> </mrow> </msup> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mo>∗</mo> </msup> <mo>⊕</mo> <mtext>End</mtext> <mrow> <mo stretchy="false">(</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> <mo>⊕</mo> <msup> <mi>T</mi> <mrow> <mn>1</mn> <mo>,</mo> <mn>0</mn> </mrow> </msup> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5309_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(E\rightarrow X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>E</mi> <mo stretchy="false">→</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> is the classical gauge bundle arising in the system. We establish that the moduli space has an expected dimension of zero. We achieve this by studying the deformation complex associated to a differential operator <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5309_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\bar{D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mrow> <mi>D</mi> </mrow> <mrow> <mo stretchy="false">¯</mo> </mrow> </mover> </math></EquationSource> </InlineEquation>, which emulates a holomorphic structure on <i>Q</i>, and demonstrating an isomorphism between the two cohomology groups which govern the infinitesimal deformations and obstructions in the deformation theory for the system. We also provide a Dolbeault-type theorem linking these cohomology groups to Čech cohomology, a result which might be of independent interest, as well as potentially valuable for future research.</p>

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

Local Descriptions of the Heterotic SU(3) Moduli Space

  • Hannah de Lázari,
  • Jason D. Lotay,
  • Henrique N. Sá Earp,
  • Eirik Eik Svanes

摘要

The heterotic \(\textrm{SU}(3)\) SU ( 3 ) system, also known as the Hull–Strominger system, arises from compactifications of heterotic string theory to six dimensions. This paper investigates the local structure of the moduli space of solutions to this system on a compact 6-manifold X, using a vector bundle \(Q=(T^{1,0}X)^* \oplus {{\textrm{End}}}(E) \oplus T^{1,0}X\) Q = ( T 1 , 0 X ) End ( E ) T 1 , 0 X , where \(E\rightarrow X\) E X is the classical gauge bundle arising in the system. We establish that the moduli space has an expected dimension of zero. We achieve this by studying the deformation complex associated to a differential operator \(\bar{D}\) D ¯ , which emulates a holomorphic structure on Q, and demonstrating an isomorphism between the two cohomology groups which govern the infinitesimal deformations and obstructions in the deformation theory for the system. We also provide a Dolbeault-type theorem linking these cohomology groups to Čech cohomology, a result which might be of independent interest, as well as potentially valuable for future research.