Stability of the E8-form (Ex)
From Manifold Atlas
(Difference between revisions)
(6 intermediate revisions by 2 users not shown) | |||
Line 4: | Line 4: | ||
$\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: 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 ).