<p>Consider a Lagrangian fibration <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3776_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi :X\rightarrow {\mathbb {P}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>π</mi> <mo>:</mo> <mi>X</mi> <mo stretchy="false">→</mo> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> on a hyperkähler manifold <i>X</i>. There are two ways to construct a holomorphic family of deformations of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3776_Article_IEq2.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation> over <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3776_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">C</mi> </math></EquationSource> </InlineEquation>. The first one is known under the name <i>Shafarevich–Tate family</i> while the second one is the <i>degenerate twistor family</i> constructed by Verbitsky. We show that both families coincide. We prove that for a very general <i>X</i> all members of the Shafarevich–Tate family are Kähler. There is a related notion of the <i>Shafarevich–Tate group</i> <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/209_2025_3776_IEq4_HTML.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="120" Type="Linedraw" Width="22" /> </InlineMediaObject> </InlineEquation> associated to a Lagrangian fibration. The connected component of unity of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/209_2025_3776_IEq5_HTML.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="120" Type="Linedraw" Width="22" /> </InlineMediaObject> </InlineEquation> can be shown to be isomorphic to <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3776_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {C}}/\Lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">/</mo> <mi mathvariant="normal">Λ</mi> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3776_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Λ</mi> </math></EquationSource> </InlineEquation> is a finitely generated subgroup of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3776_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">C</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3776_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">C</mi> </math></EquationSource> </InlineEquation> is thought of as the base of the Shafarevich–Tate family. We show that for a very general <i>X</i>, projective deformations in the Shafarevich–Tate family correspond to the torsion points in <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/209_2025_3776_IEq10_HTML.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="120" Type="Linedraw" Width="29" /> </InlineMediaObject> </InlineEquation>. A sufficient condition for a Lagrangian fibration <i>X</i> to be projective is the existence of a holomorphic section. We find sufficient cohomological conditions for the existence of a deformation in the Shafarevich–Tate family that admits a section.</p>

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

Shafarevich–Tate groups of holomorphic Lagrangian fibrations

  • Anna Abasheva,
  • Vasily Rogov

摘要

Consider a Lagrangian fibration \(\pi :X\rightarrow {\mathbb {P}}^n\) π : X P n on a hyperkähler manifold X. There are two ways to construct a holomorphic family of deformations of \(\pi \) π over \({\mathbb {C}}\) C . The first one is known under the name Shafarevich–Tate family while the second one is the degenerate twistor family constructed by Verbitsky. We show that both families coincide. We prove that for a very general X all members of the Shafarevich–Tate family are Kähler. There is a related notion of the Shafarevich–Tate group associated to a Lagrangian fibration. The connected component of unity of can be shown to be isomorphic to \({\mathbb {C}}/\Lambda \) C / Λ where \(\Lambda \) Λ is a finitely generated subgroup of \({\mathbb {C}}\) C and \({\mathbb {C}}\) C is thought of as the base of the Shafarevich–Tate family. We show that for a very general X, projective deformations in the Shafarevich–Tate family correspond to the torsion points in . A sufficient condition for a Lagrangian fibration X to be projective is the existence of a holomorphic section. We find sufficient cohomological conditions for the existence of a deformation in the Shafarevich–Tate family that admits a section.