All Questions

$\newcommand{\Es}{E_{7(7)}}\newcommand{\Z}{\mathbb Z}$Let $\Es$ denote the split form of $E_7$, which is a real Lie group. It can be characterized as the subgroup of $\mathrm{Sp}_{56}(\mathbb R)$ ...

Are there any mathematical explanations for the following surprising facts? $$\int_{Gr(2,8)} c_{\text{top}}(TX(-2)) = 6556 = \frac{1}{2} \deg(E_7/P(\alpha_7)) + 1,$$ and $$\int_{Gr(2,6)} c_{\text{top}}...