Stability of the E8-form (Ex)
From Manifold Atlas
(Difference between revisions)
(4 intermediate revisions by 2 users not shown) | |||
Line 5: | Line 5: | ||
$\langle 1 \rangle \oplus \langle 1 \rangle \oplus \langle 1 \rangle \oplus \langle 1 \rangle \oplus \langle 1 \rangle \oplus \langle 1 \rangle \oplus \langle 1 \rangle \oplus \langle 1 \rangle \oplus \langle -1 \rangle \cong ({\mathbb Z}^8,\lambda) \oplus \langle -1 \rangle$ | $\langle 1 \rangle \oplus \langle 1 \rangle \oplus \langle 1 \rangle \oplus \langle 1 \rangle \oplus \langle 1 \rangle \oplus \langle 1 \rangle \oplus \langle 1 \rangle \oplus \langle 1 \rangle \oplus \langle -1 \rangle \cong ({\mathbb Z}^8,\lambda) \oplus \langle -1 \rangle$ | ||
− | where $\lambda$ is unimodular, even, and positive definite. (There is a unique such form in dimension 8 | + | where $\lambda$ is unimodular, even, and positive definite. (There is a unique such form in dimension 8: extra credit is given for an isometry $({\mathbb Z}^8,\lambda) \cong E_8$). |
Latest revision as of 06:08, 8 January 2019
Show there exists an isometry of unimodular forms
where is unimodular, even, and positive definite. (There is a unique such form in dimension 8: extra credit is given for an isometry ).