<p>We investigate in this paper the so-called pointed Shafarevich problem for families of primitive symplectic varieties. More precisely, for any fixed pointed curve (<i>B</i>,&#xa0;0) and any fixed primitive symplectic variety <i>X</i>, among all locally trivial families of <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Q</mi> </math></EquationSource> </InlineEquation>-factorial and terminal primitive symplectic varieties over <i>B</i> whose fiber over 0 is isomorphic to <i>X</i>, we show that there are only finitely many isomorphism classes of generic fibers. Moreover, assuming semi-ampleness of isotropic nef divisors, which holds true for all hyper-Kähler manifolds of known deformation types, we show that there are only finitely many such <i>projective</i> families up to isomorphism. These results are optimal, since we can construct infinitely many pairwise non-isomorphic (not necessarily projective) families of smooth hyper-Kähler varieties over some pointed curve (<i>B</i>,&#xa0;0), such that they are all isomorphic over the punctured curve <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(B\backslash \{0\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mo stretchy="true">\</mo> <mo stretchy="false">{</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> and have isomorphic fibers over the base point 0.</p>

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

Finiteness of Pointed Families of Symplectic Varieties: A Geometric Shafarevich Conjecture

  • Lie Fu,
  • Zhiyuan Li,
  • Teppei Takamatsu,
  • Haitao Zou

摘要

We investigate in this paper the so-called pointed Shafarevich problem for families of primitive symplectic varieties. More precisely, for any fixed pointed curve (B, 0) and any fixed primitive symplectic variety X, among all locally trivial families of \(\mathbb {Q}\) Q -factorial and terminal primitive symplectic varieties over B whose fiber over 0 is isomorphic to X, we show that there are only finitely many isomorphism classes of generic fibers. Moreover, assuming semi-ampleness of isotropic nef divisors, which holds true for all hyper-Kähler manifolds of known deformation types, we show that there are only finitely many such projective families up to isomorphism. These results are optimal, since we can construct infinitely many pairwise non-isomorphic (not necessarily projective) families of smooth hyper-Kähler varieties over some pointed curve (B, 0), such that they are all isomorphic over the punctured curve \(B\backslash \{0\}\) B \ { 0 } and have isomorphic fibers over the base point 0.