1 problem

Isomorphism conjecture. The map $\Phi$ is an isomorphism, hence $\mathbf U_I$ is a split subquotient of $\mathbf U_{\widehat I}$. This makes the conjectural subquotient statement p…