\(U \oplus U(5)^{2} \to U^{3} \oplus E_{8}(-1)^{2}\)
Column \(j\) of each matrix gives \(\varphi(e_j)\) in the chosen basis of the target; the subdivisions separate orthogonal summands of the source (columns) and of the target (rows).
Notes
The invariant and coinvariant lattices of the finite symplectic
groups of Hashimoto in the K3 lattice. The anti-isometry maps the
generators of the normal form of SageMath of one discriminant form to
those of the other twisted by \(-1\);
three hyperbolic planes are split off and qfisom of PARI/GP
maps the remainder onto \(E_8(-1)^2\).
\(U \oplus U(5)^{2} = \Lambda^G \hookrightarrow \mathrm{II}_{3,19}\), row 16
The invariant lattice \(\Lambda^G\) of \(\mathfrak{G}_{16} \cong D_{10}\) of Table 10.2 of Hashimoto, with orthogonal complement the image of \(\Lambda_{\mathfrak{G}_{16}}(-1)(-1)\). The orthogonal sum \(U \oplus U(5)^{2} \oplus \Lambda_{\mathfrak{G}_{16}}(-1)(-1)\) glued along an anti-isometry of the discriminant forms is even, unimodular and of signature \((3, 19)\); its isometry onto the basis of \(\mathrm{II}_{3,19}\) restricts to this map.
{"matrix": [
[1, 0, 0, 0, 0, 0],
[0, 1, 0, 0, 0, 0],
[0, 0, 14, 30, -14, 0],
[0, 0, 7, 15, -7, 0],
[0, 0, -3, -9, -16, -20],
[0, 0, -1, -2, -4, -5],
[0, 0, 1, 4, 11, 12],
[0, 0, 1, 3, 16, 17],
[0, 0, 1, 6, 22, 24],
[0, 0, 0, 5, 32, 33],
[0, 0, -2, -1, 26, 24],
[0, 0, -3, -3, 19, 16],
[0, 0, -2, -1, 11, 10],
[0, 0, 0, 3, 2, 3],
[0, 0, -14, -26, 22, 7],
[0, 0, -20, -38, 32, 11],
[0, 0, -30, -57, 43, 11],
[0, 0, -42, -80, 64, 21],
[0, 0, -32, -60, 56, 23],
[0, 0, -21, -39, 44, 22],
[0, 0, -12, -22, 25, 11],
[0, 0, 1, 5, 7, 7]
],
"row_subdivisions": [],
"column_subdivisions": []}