??so at the moment i'm confused between the orbit stack of a simple algebraic group (or something like that) acting on itself by translation, vs that of just the formal translations acting on it... ??because of confusion about the representations (in some sense...??) of the translation group vs of the formal translation group... ??or something??

??so in trying to straighten this out, maybe we should try to understand the orbit stack constructions here very systematically in the coherent sheaf picture... or something... ??...