Rationality of the instability parabolic and related results (Q2343151)

Let \(X\) be a smooth projective polarised variety defined over an algebraically closed field \(k\) of positive characteristic. Let \(G\) be a reductive algebraic group defined over \(k\) and let \(\rho: G \to \mathrm{GL}(W)\) denote a rational representation of \(G\) such that \(\rho\) maps the connected component of the centre of \(G\) to that of \(\mathrm{GL}(W)\). \textit{S. Ramanan} and \textit{A. Ramanathan} [Tohoku Math. J. (2) 36, 269--291 (1984; Zbl 0567.14027)] had showed that if all the Frobenius pull backs of a semistable principal \(G\)-bundle \(E\) on \(X\) are semistable, then the \(\mathrm{GL}(W)\)- bundle \(E(\rho)\) associated to \(E\) via \(\rho\) is semistable for any \(\rho\). \textit{F. Coiai} and \textit{Y. I. Holla} [J. Reine Angew. Math. 595, 1--24 (2006; Zbl 1098.14029)] improved on this by showing that there exists a non-negative integer \(N\) such that if the first \(N\) Frobenius pull backs of \(E\) are semistable, then \(E(\rho)\) is semistable. The authors give a different proof of the result of Coiai and Holla [loc. cit.] which enables them to give an effective bound on the integer \(N\). Theorem. Let \(K/k\) be a field extension and \(\rho: G \to \mathrm{GL}(W)\) be a representation of \(G\) defined over \(K\). There exists an integer \(N>0\) such that for any unstable \(K\)-rational point in \(W\), its instability parabolic is defined over \(K^{(1/p^n)}\). Moreover \(N\) can be quantified in terms of \(\rho\) and the number and degrees of the equations defining a fixed embedding \(i : G \to \mathrm{GL}(n,k)\). If the \(N^{th}\) Frobenius pull back of a principal \(G\)-bundle \(E\) on \(X\) is semistable, then the induced bundle \(E(\rho)\) associated to \(E\) via a representation \(\rho\) is semistable. We remark that if the characteristic of \(k\) is \(0\), then the semistability of \(E\) implies that of \(E(\rho)\).