Invariant syzygies and semisimple groups (Q1190162)

This paper reveals intriguing connections between Lie theory, relative homological algebra, invariant theory and representations of finite dimensional algebras. The paper consists of two parts. Part 1. Let \(M\) be a smooth \(n\)-dimensional manifold, \({\mathfrak g}\) be a Lie algebra of vector fields \(X\) on \(M\) such that \(\{X(0),X \in {\mathfrak g} \}=T_ 0M\) and let \(H\) be a group of diffeomorphisms of \(M\) which fix 0 and preserve \({\mathfrak g}\). The author attaches to these data two pairs of \(\mathbb{C}\)-algebras, namely, \(A \supset A_ 0\) and \(B \supset B_ 0\). The first pair is defined as follows: One forms the universal algebra \(A({\mathfrak g},H)\) generated by the enveloping algebra of \({\mathfrak g}\) and the group algebra of \(H\), subject to the relation \(hXh^{- 1}=\text{Ad}(h)X\), \(h \in H\), \(X \in {\mathfrak g}\). Set \({\mathfrak h}=\{X \in {\mathfrak g},\;X(0)=0\}\) and \(A_ 0=A({\mathfrak h},H)\). The second pair \(B \supset B_ 0\) is defined by the formula \[ B=\text{End}_ AC,\;B_ 0=\text{End}_{A_ 0} \bigwedge T_ 0M, \] where \(C=A \otimes_{A_ 0} \bigwedge T_ 0M\) is formed by the de Rham currents on \(M\) supported on 0. Let \(d(R,S)\) be the global Hochschild dimension of the pair of algebras \((R,S)\). The following natural questions are posed by the author: when is \(d(A,A_ 0)=n\), and when is \(d(B,B_ 0)=n\)? The author investigates the case \(M=G/H\), \({\mathfrak g}=\{\)right-invariant complex vector fields on \(G\}\) (and some other interesting cases) and gives many nice results answering partially those questions. Part 2. This part deals with Harish-Chandra modules. The author describes (in a certain sense) the category of some Harish-Chandra modules. This description is complete when \(G\) belongs to the following classes of semisimple Lie groups: rank-one groups, complex groups, groups whose Cartan subgroups are all connected, groups having a discrete series, \(\text{SO}_ 0(p,q)\) with \(p+q\) odd, \(\text{SU} (p,q)\), \(\text{SL} (3,\mathbb{R})\), \(\text{SL} (4,\mathbb{R})\), \(G=G_ 2\). Reviewer's remark. The paper is interdisciplinary and contains many deep results which cannot be described in this short review. I strongly recommend this paper to everybody interested in the theory of invariants, harmonic analysis, Lie group theory, representation theory, applications of homological algebra.