Simplicity of the Hodge Bundle
Prior state unknown→proved
Does the Hodge bundle $\Omega_g$ over the moduli stack of genus $g \ge 2$ curves contain any nontrivial sub-bundles? Posed by Dawei Chen around 2015; the answer is no.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review