Skip to main content
1 of 2
André Henriques
  • 43.2k
  • 5
  • 130
  • 264

H^4 of the Monster

The Monster group $M$ acts on the moonshine vertex algebra $V^\natural$.

Because $V^\natural$ is a holomorphic vertex algebra (i.e., it has a unique irreducible module), there is a corresponding cohomology class $c\in H^3(M;S^1)=H^4(M;\mathbb Z)$ associated to this action.

Roughly speaking, the construction of that class goes as follows:
   • For every $g\in M$, pick an irreducible twisted module $V_g$ (there is only one up to isomorphism).
    • For every pair $g,h\in M$, pick an isomorphism $V_g\boxtimes V_h \to V_{gh}$,
      where $\boxtimes$ denotes the fusion of twisted reps.
    • Given three elements $g,h,k\in M$, the cocycle $c(g,h,k)\in S^1$ is the discrepancy between $$ (V_g\boxtimes V_h)\boxtimes V_k \to V_{gh}\boxtimes V_k \to V_{ghk}\qquad\text{and}\qquad V_g\boxtimes (V_h\boxtimes V_k) \to V_g\boxtimes V_{hk} \to V_{ghk} $$

I think that not much known about $H^4(M,\mathbb Z)$...
But is anything maybe known about that cohomology class? Is it non-zero?
Assuming it is non-zero, would that have any implications?...

More importantly: what is the meaning of that class?

André Henriques
  • 43.2k
  • 5
  • 130
  • 264