1: \begin{abstract}

2: 

3: Actions of algebraic groups on DG categories provide a convenient, unifying

4: framework in some parts of geometric representation theory,

5: especially the representation theory of reductive Lie algebras.

6: We extend this theory to loop groups and affine Lie algebras, extending

7: previous work of Beraldo, Gaitsgory and the author.

8: 

9: Along the way, we introduce some subjects of independent interest: 

10: ind-coherent sheaves of infinite type

11: indschemes, topological DG algebras, and weak actions

12: of group indschemes on categories. We also present a new construction of

13: semi-infinite cohomology for affine Lie algebras, based on the

14: \emph{modular character} for loop groups. 

15: 

16: As an application of our methods, we establish an important technical 

17: result for Kac-Moody representations 

18: at the critical level, showing that the appropriate (``renormalized") derived 

19: category of representations

20: admits a large class of symmetries coming from the adjoint action of

21: the loop group and from the center of the enveloping algebra. 

22: 

23: \end{abstract}

24: