Non-Abelian symmetry-resolved entanglement entropy

We introduce a mathematical framework for symmetry-resolved entanglement entropy with a non-Abelian symmetry group. To obtain a reduced density matrix that is blockdiagonal in the non-Abelian charges, we define subsystems operationally in terms of subalgebras of invariant observables. We derive exact formulas for the average and the variance of the typical entanglement entropy for the ensemble of random pure states with fixed non-Abelian charges. We focus on compact, semisimple Lie groups. We show that, compared to the Abelian case, new phenomena arise from the interplay of locality and non-Abelian symmetry, such as the asymmetry of the entanglement entropy under subsystem exchange, which we show in detail by computing the Page curve of a manybody system with SU(2) symmetry.