Dualizability conjecture for Hecke-lisse sheaves with level structure
With XXX, GGG, \ulx\ul{x}\ulx, and \ulShvHL(BunGlevel\ulx)\ul{\operatorname{Shv}}_{\operatorname{HL}}(\operatorname{Bun}_G^{\operatorname{level}_{\ul{x}}})\ulShvHL(BunGlevel\ulx) as above, regard this object as an object of…