<p>We prove that the moduli space of holonomy <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1310_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mn>2</mn> </msub> </math></EquationSource> <EquationSource Format="TEX">$G_{2}$</EquationSource> </InlineEquation>-metrics on a closed 7-manifold can be disconnected by presenting a number of explicit examples. We detect different connected components of the <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1310_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mn>2</mn> </msub> </math></EquationSource> <EquationSource Format="TEX">$G_{2}$</EquationSource> </InlineEquation>-moduli space by defining an analytic refinement <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1310_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>ν</mi> <mo stretchy="false">¯</mo> </mover> <mo stretchy="false">(</mo> <mi>M</mi> <mo>,</mo> <mi>g</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> </math></EquationSource> <EquationSource Format="TEX">$\bar{\nu }(M, g) \in \mathbb{Z}$</EquationSource> </InlineEquation> of the defect invariant&#xa0;<InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1310_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="115" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>ν</mi> <mo stretchy="false">(</mo> <mi>M</mi> <mo>,</mo> <mi>φ</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">/</mo> <mn>48</mn> </math></EquationSource> <EquationSource Format="TEX">$\nu (M,\varphi )\in \mathbb{Z}/48$</EquationSource> </InlineEquation> of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1310_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mn>2</mn> </msub> </math></EquationSource> <EquationSource Format="TEX">$G_{2}$</EquationSource> </InlineEquation>-structures&#xa0;<InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1310_Article_IEq8.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> <EquationSource Format="TEX">$\varphi $</EquationSource> </InlineEquation> on a closed 7-manifold&#xa0;<InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1310_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>M</mi> </math></EquationSource> <EquationSource Format="TEX">$M$</EquationSource> </InlineEquation> introduced by the first and third authors. The <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1310_Article_IEq10.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>ν</mi> <mo stretchy="false">¯</mo> </mover> </math></EquationSource> <EquationSource Format="TEX">$\bar{\nu }$</EquationSource> </InlineEquation>-invariant is defined using <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1310_Article_IEq11.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>η</mi> </math></EquationSource> <EquationSource Format="TEX">$\eta $</EquationSource> </InlineEquation>-invariants and Mathai-Quillen currents on&#xa0;<InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1310_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>M</mi> </math></EquationSource> <EquationSource Format="TEX">$M$</EquationSource> </InlineEquation> and we compute it for twisted connected sums à la Kovalev, Corti-Haskins-Nordström-Pacini and extra-twisted connected sums as constructed by the second and third authors. In particular, we find examples of&#xa0;<InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1310_Article_IEq13.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mn>2</mn> </msub> </math></EquationSource> <EquationSource Format="TEX">$G_{2}$</EquationSource> </InlineEquation>-holonomy metrics in different components of the moduli space where the associated <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1310_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mn>2</mn> </msub> </math></EquationSource> <EquationSource Format="TEX">$G_{2}$</EquationSource> </InlineEquation>-structures are homotopic and other examples where they are not.</p>

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

An analytic invariant of \(G_{2}\) manifolds

  • Diarmuid Crowley,
  • Sebastian Goette,
  • Johannes Nordström

摘要

We prove that the moduli space of holonomy G 2 $G_{2}$ -metrics on a closed 7-manifold can be disconnected by presenting a number of explicit examples. We detect different connected components of the G 2 $G_{2}$ -moduli space by defining an analytic refinement ν ¯ ( M , g ) Z $\bar{\nu }(M, g) \in \mathbb{Z}$ of the defect invariant  ν ( M , φ ) Z / 48 $\nu (M,\varphi )\in \mathbb{Z}/48$ of G 2 $G_{2}$ -structures  φ $\varphi $ on a closed 7-manifold  M $M$ introduced by the first and third authors. The ν ¯ $\bar{\nu }$ -invariant is defined using η $\eta $ -invariants and Mathai-Quillen currents on  M $M$ and we compute it for twisted connected sums à la Kovalev, Corti-Haskins-Nordström-Pacini and extra-twisted connected sums as constructed by the second and third authors. In particular, we find examples of  G 2 $G_{2}$ -holonomy metrics in different components of the moduli space where the associated G 2 $G_{2}$ -structures are homotopic and other examples where they are not.