Tag 0124

\(U \oplus E_{8}(-2)\)

U + E8(-2)·(r, a, delta) = (10, 8, 0)

Invariants

Rank10
Signature \((n_+, n_-)\)(1, 9)
Determinant\(-256\)

Gram tensor

The components \(b(e_i, e_j)\) of the Gram tensor \(b\) in the chosen basis \(e_{1}, \dots, e_{10}\).

In this basis, \(L = {}\)\(\mathbb{Z}\{e_{1}, e_{2}\}\) \(\oplus\) \(\mathbb{Z}\{e_{3}, \dots, e_{10}\}\), an orthogonal sum.

\(e_{1}\)\(e_{2}\)\(e_{3}\)\(e_{4}\)\(e_{5}\)\(e_{6}\)\(e_{7}\)\(e_{8}\)\(e_{9}\)\(e_{10}\)
\(e_{1}\)0100000000
\(e_{2}\)1000000000
\(e_{3}\)00-40200000
\(e_{4}\)000-4020000
\(e_{5}\)0020-420000
\(e_{6}\)00022-42000
\(e_{7}\)000002-4200
\(e_{8}\)0000002-420
\(e_{9}\)00000002-42
\(e_{10}\)000000002-4
[[0, 1, 0, 0, 0, 0, 0, 0, 0, 0], [1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, -4, 0, 2, 0, 0, 0, 0, 0], [0, 0, 0, -4, 0, 2, 0, 0, 0, 0], [0, 0, 2, 0, -4, 2, 0, 0, 0, 0], [0, 0, 0, 2, 2, -4, 2, 0, 0, 0], [0, 0, 0, 0, 0, 2, -4, 2, 0, 0], [0, 0, 0, 0, 0, 0, 2, -4, 2, 0], [0, 0, 0, 0, 0, 0, 0, 2, -4, 2], [0, 0, 0, 0, 0, 0, 0, 0, 2, -4]]

Integral lattice

Parityeven
Discriminant group\((\mathbb{Z}/2)^{8}\)
Unimodularno
Integral overlattices \(L \subseteq M \subseteq L^*\)not decided
Nikulin invariants \((r, a, \delta)\)\((10, 8, 0)\)
Primes of bad reduction \(\Sigma_L = \{p \mid 2 \det L\}\)\(\{2\}\)
Character of the discriminant \(\chi_D\), \(D = (-1)^{5} \det L\)trivial
Zeta function of the cone \(X_0 : Q(x) = 0\), \(\Sigma = \Sigma_L\)\(\zeta^\Sigma(X_0, s) = \frac{\zeta^\Sigma(s - 9)\, \zeta^\Sigma(s - 5)}{\zeta^\Sigma(s - 4)}\)
Zeta function of \(X_n : Q(x) = n\), \(n \neq 0\), \(\Sigma = \Sigma_L \cup \{p \mid n\}\)\(\zeta^\Sigma(X_n, s) = \frac{\zeta^\Sigma(s - 9)}{\zeta^\Sigma(s - 4)}\)
Genus symbol\(\mathrm{II}_{1,9}\ \bigl(2\colon 1^{2}:2^{8}\bigr)\)
Class number of the genus1
Hyperbolic index \(\max\{n : L \cong U^n \oplus L'\}\)\(\geq 1\), by an embedding of \(U^{1}\) in the morphism files

Indefinite lattice

Isotropicyes

Roots

Root lattice: \(L = \mathbb{Z}\Phi(L)\)no
\(R(L) = \mathbb{Z}\Phi(L)\)\(\cong\) 0001 \(\langle 2 \rangle\) \(\oplus\) 0001 \(\langle -2 \rangle\) \(\oplus\) 0094 \(E_{8}(-2)\)
Rank of \(R(L)\)10
\([L : R(L)]\)2
\(R(L)\) is primitive in \(L\)no: \(L / R(L) \cong \mathbb{Z}/2\)
ProofEach \(r_i\) in roots that generate \(\mathbb{Z}\Phi(L)\) is a root. The notes prove that each root of \(L\) is in \(\mathbb{Z}\{r_i\}\).

Roots that generate \(\mathbb{Z}\Phi(L)\)

RootCoordinates\(b(r, r)\)
\(r_{1}\)\(e_{1} + e_{2}\)\(2\)
\(r_{2}\)\(e_{1} - e_{2}\)\(-2\)
\(r_{3}\)\(e_{3}\)\(-4\)
\(r_{4}\)\(e_{4}\)\(-4\)
\(r_{5}\)\(e_{5}\)\(-4\)
\(r_{6}\)\(e_{6}\)\(-4\)
\(r_{7}\)\(e_{7}\)\(-4\)
\(r_{8}\)\(e_{8}\)\(-4\)
\(r_{9}\)\(e_{9}\)\(-4\)
\(r_{10}\)\(e_{10}\)\(-4\)

Embedding \(M_1 \oplus M_2 \oplus \dots \to L\) with image \(\mathbb{Z}\Phi(L)\)

Image of each basis vector \(e_j\) of each summand \(M_i\).

SummandBasis vector of the summandImage in \(L\)
0001 \(\langle 2 \rangle\)\(e_{1}\)\(e_{1} + e_{2}\)
0001 \(\langle -2 \rangle\)\(e_{1}\)\(e_{1} - e_{2}\)
0094 \(E_{8}(-2)\)\(e_{1}\)\(e_{3}\)
0094 \(E_{8}(-2)\)\(e_{2}\)\(e_{4}\)
0094 \(E_{8}(-2)\)\(e_{3}\)\(e_{5}\)
0094 \(E_{8}(-2)\)\(e_{4}\)\(e_{6}\)
0094 \(E_{8}(-2)\)\(e_{5}\)\(e_{7}\)
0094 \(E_{8}(-2)\)\(e_{6}\)\(e_{8}\)
0094 \(E_{8}(-2)\)\(e_{7}\)\(e_{9}\)
0094 \(E_{8}(-2)\)\(e_{8}\)\(e_{10}\)

Notes

This is the even hyperbolic 2-elementary lattice with invariants \((r, a, \delta) = (10, 8, 0)\).

Nikulin lists it in Table 1 of Factor groups of groups of automorphisms of hyperbolic forms with respect to subgroups generated by 2-reflections (1983), the table of the even hyperbolic lattices \(L\) with \(2 A_L = 0\) that have a primitive embedding in the K3 lattice. These are the invariant lattices of the nonsymplectic involutions of K3 surfaces (Remark 4.5.3), and Theorem 4.3.2 states that \((r, a, \delta)\) determines each of them.

Roots: let \(e, f\) be the basis of \(U\), and let \(r = a e + c f + v\) be a root, with \(v\) in \(E_8(-2)\). Write \(v = m v'\) with \(v'\) primitive, and \(m = 0\) when \(v = 0\). \(E_8\) is unimodular, so \(b(v, E_8(-2)) = 2m\mathbb{Z}\), and \(b(r, L) = d\mathbb{Z}\) with \(d = \gcd(a, c, 2m)\). \(r\) is primitive, so \(\gcd(a, c, m) = 1\), and \(d \in \{1, 2\}\). \(b(r, r) = 2ac + b(v, v)\), and 4 divides \(b(v, v)\). \(b(r, r)\) divides \(2 b(r, x)\) for each \(x\) in \(L\), so it divides \(2d\). When \(d = 2\), \(a\) and \(c\) are even. When \(d = 1\), \(b(r, r)\) divides 2 and is even, so \(ac + b(v, v)/2 = \pm 1\), and \(a\) and \(c\) are odd. Each root is therefore in \(M = \{a \equiv c \bmod 2\}\), which has index 2 in \(L\) and the basis \(e + f\), \(e - f\), \(e_1, \dots, e_8\). Each vector of that basis is a root: \(\mathbb{Z}\Phi(L) = M = \mathbb{Z}(e + f) \oplus \mathbb{Z}(e - f) \oplus E_8(-2)\), an orthogonal sum.

Morphisms

References

  1. V. V. Nikulin, "Factor groups of groups of automorphisms of hyperbolic forms with respect to subgroups generated by 2-reflections. Algebrogeometric applications", J. Soviet Math. 22 (1983), 1401-1475, §4, Table 1 and Theorem 4.3.2. https://doi.org/10.1007/BF01094757