ScalingStacks

Definition 23 [03Y0]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Definition 23

K3 period data is a quadruple (Λ,(⋅,⋅),H2,0,𝒦)(\Lambda,(\cdot,\cdot),H^{2,0},{\cal K}) consisting of a free abelian group Λ\Lambda, a symmetric pairing (⋅,⋅):Λ×Λ→𝐙(\cdot,\cdot):\Lambda\times\Lambda\to{{\bf Z}}, a 11-dimensional complex vector subspace H2,0⊂Λ⊗𝐂H^{2,0}\subset\Lambda\otimes{{\bf C}} and a set 𝒦⊂Λ⊗𝐑{\cal K}\subset\Lambda\otimes{{\bf R}} satisfying the following conditions:

  1. 1.

    r​k​Λ=22rk\,\Lambda=22;

  2. 2.

    (Λ,(⋅,⋅))(\Lambda,(\cdot,\cdot)) is isomorphic to ΛK​3\Lambda_{K3};

  3. 3.

    for any v∈H2,0∖{0}v\in H^{2,0}\setminus\{0\} one has (v,v)=0(v,v)=0 and (v,v¯)>0(v,\overline{v})>0;

  4. 4.

    the set 𝒦{\cal K} is a connected component of C∖∪v∈Λ,(v,v)=−2,(v,H2,0)=0HvC\setminus\cup_{v\in\Lambda,(v,v)=-2,(v,H^{2,0})=0}H_{v}\,, where C={w∈Λ⊗𝐑|(w,H2,0)=0,(w,w)>0}C=\{w\in\Lambda\otimes{{\bf R}}|(w,H^{2,0})=0,(w,w)>0\} and HvH_{v} is the hyperplane orthogonal to vv.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.