Skip to main content
edited tags; edited tags
Link
Mikhail Borovoi
  • 14.2k
  • 2
  • 32
  • 72
Source Link
Arun Debray
  • 6.9k
  • 2
  • 33
  • 69

What is known about the cohomology of the U-duality group?

$\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)$ preserving a certain quartic form (see, e.g., here).

Inside this is a discrete subgroup called $\Es(\Z)$, which is the intersection of $\Es$ with $\mathrm{Sp}_{56}(\Z)$. This group appears in theoretical physics, where it is called the U-duality group and is the symmetry group of a supergravity theory.

What is known about the group cohomology of $\Es(\Z)$? I am interested in knowing the ring structure of $H^*(\Es(\Z); k)$ where $k = \mathbb Q$ or $\mathbb F_p$, though I only need it up to about degree 6 or 7. For $\mathbb F_p$ coefficients, if the Steenrod action is known that would also be nice to know.

I don't know what's known about the cohomology of infinite discrete groups; as far as I know, this could be a straightforward calculation given $H^*(B\Es;\Z)$ (which is known), or it could be totally out of reach right now. I would also welcome an answer with that information, and/or where to read more.