Loop group actions on categories and Whittaker invariants

The present paper is divided in three parts. In the first one, we develop the theory of D-modules on ind-schemes of pro-finite type. This allows to define D-modules on (algebraic) loop groups and, consequently, the notion of strong loop group action on a DG category. In the second part, we construct...