The algebra of \(K\)-invariant vector fields on a symmetric space \(G/K\) (Q1432733): Difference between revisions

Let \(G\) be a complex connected reductive linear algebraic group and let \(K\) be the set of fixed points of some involution \(\theta\) of \(G\). Denote by \(\chi(G/K)\) the space of regular algebraic vector fields on \(G/K\). In the paper under review, the authors prove several results about the subspace \(\chi(G/K)^{K}\) of \(K\)-invariant vector fields on \(G/K\). Among other things, they prove that \(\chi(G/K)^{K}\) is a free module of rank \(\dim(p^{M})\) over the algebra of \(K\)-biinvariant functions on \(G\), where, as usual, \(M\) denotes the centralizer in \(K\) of some \(\theta\)-anisotropic algebraic torus in \(G\) and \(p\) is the vector subspace \(\{X\mid\theta(X)=-X\}\) of the Lie algebra of \(G\). They also give an explicit set of free generators for localizations of the module \(\chi(G/K)^{K}\). A key observation is that, as \(G\)-modules, \(\chi(G/K)\) and the algebraically induced representation \(\text{Ind}_{K}^{G}\sigma\), where \(\sigma\) denotes the isotropy representation of \(K\), are isomorphic. In particular, \(\chi(G/K)^{K}\) and the space \((\text{Ind}_{K}^{G}\sigma)^{K}\) of \(K\)-fixed vectors are isomorphic. Some results about the Lie algebra structure of \(\chi(G/K)^{K}\) are also given, like an explicit formula for the commutator of \(K\)-invariant vector fields, or a necessary and sufficient condition for the flatness of elements in \(\chi(G/K)^{K}\). Finally, some results about the separation of variables are given for the group \(G=SL(2,C)\).