GL OH: Character sheaves on loop groups - Shared screen with speaker view
Sam Raskin
The counterexample is as follows: take g in N, thought of as a point of L^+(N). It gives a point of LG \overset{I}{\times} I^+ that maps into LG_{n,+} for any n. But it doesn’t come from the top left corner (for n>0).