Torus quotients of homogeneous spaces. II (Q1304578)

[For part I of this paper see \textit{S. Senthamarai Kannan}, Proc. Indian Acad. Sci., Math. Sci. 108, No. 1, 1-12 (1998; Zbl 0941.14018).] From the introduction: Let \(k\) be an algebraically closed field. Let \(G\) be a semisimple algebraic group over \(k\), \(T\) a maximal torus of \(G,B\) a Borel subgroup of \(G\) containing \(T\), \(Q\) a parabolic subgroup of \(G\) containing \(B\) and \(N\) the normaliser of \(T\) in \(G\). Consider the canonical actions of \(T\) and \(N\) on \(G/Q\). We had seen in part I that the study of these actions on \(G/Q\) when \(G=SL_n (k)\), \(Q\) is the maximal parabolic subgroup of \(G\) associated to the simple root \(\alpha_2\), is related to invariant theory. In the case of \(G= SL_n\) and \(Q=P_r\) the maximal parabolic subgroup of \(G\) associated to the simple root \(\alpha_r\) and \(L_r\) the line bundle associated to the fundamental weight \(\overline \omega_r\), we proved \((G/P_r)^{ss}_T (L_r)= (G/P_r)^s_T (L_r)\) if and only if \(r\) and \(n\) are coprime. In this paper, we give a complete generalisation of this result for any semisimple algebraic group \(G\) and any parabolic subgroup \(Q\) of \(G\) containing \(B\). It is easy to reduce to the case when \(G\) is a simple algebraic group. When \(G\) is a simple algebraic group of type \(A_l\), the result is the following: (a) Let \(G=SL_n\), \(T\) a maximal torus of \(G,B\) a Borel subgroup of \(G\) containing \(T\), and \(Q=\bigcap_{r\in I}P_r\) be a parabolic subgroup of \(G\) containing \(B\). Then, there is a line bundle \(L\) on \(X=G/Q\) such that \(X_T^{ss} (L)=X_T^s(L)\) if and only if the least common multiple of \(\{{n\over (r,n)}: r\in I\}\) is \(n\). When \(G\) is a simple algebraic group of type other than \(A_l\), the result is the following: (b) Let \(G\) be a simple algebraic group of type other than \(A_l\), \(T\) a maximal torus of \(G,B\) a Borel subgroup of \(G\) containing \(T\), \(Q\) a parabolic subgroup of \(G\) containing \(B\) and let \(X=G/Q\). Then, there is a line bundle \(L\) on \(X\) such that \(X_T^{ss}(L)= X_T^{ss}(L)\) if and only if \(Q=B\).