On semistable principal bundles over a complex projective manifold. II (Q976826): Difference between revisions

Let \((X,\omega )\) be a compact connected Kähler manifold of complex dimension \(d\), \(G\) a connected reductive linear algebraic group defined over \(\mathbb C\), \(E_G\) a holomorphic principal \(G\)-bundle over \(X\), and \(\text{ad}(E_G)\) its adjoint vector bundle. Recall that, since \(G\) is reductive, \(\text{Lie}(G)\) is self-dual as a \(G\)-module, hence \(\text{ad}(E_G)^{\ast} \simeq \text{ad}(E_G)\). One says that \(E_G\) admits a \textit{unitary flat connection} if it is obtained from a representation of the fundamental group of \(X\) in a maximal compact subgroup \(K(G)\) of \(G\). If \(P\) is a parabolic subgroup of \(G\), \(R_u(P)\) its unipotent radical and \(L(P) := P/R_u(P)\) its Levi quotient then the centre \(Z(G)\) of \(G\) is contained in \(P\) and the composed map \(Z(G) \rightarrow P \rightarrow L(P)\) injects \(Z(G)\) into the centre of \(L(P)\). The main result of the paper under review asserts the equivalence of the following conditions: (1) There exists a parabolic subgroup \(P \subset G\) and a holomorphic reduction of structure group \(E_P \subset E_G\) to \(P\) such that the corresponding \(L(P)/Z(G)\)-bundle \((E_P\times (L(P)/Z(G)))/P\) admits a unitary flat connection, (2) \(\text{ad}(E_G) \simeq \text{ad}(E_G)^{\ast}\) is numerically effective, (3) \(\text{ad}(E_G)\) is pseudostable and \(\int_Xc_2(\text{ad}(E_G)) {\omega}^{d-2} = 0\). One says that a vector bundle \(F\) on \(X\) is \textit{pseudostable} if it admits a filtration by subbundles with all the successive quotients direct sums of stable bundles of slope equal to the \textit{slope} of \(F\), which is defined as: \[ \mu (F) := \left( \int_Xc_1(F)\wedge {\omega}^{d-1}\right) /\text{rk}\, F \in {\mathbb R} . \] When \(X\) is a complex projective manifold and \(\omega \) represents a rational cohomology class, the condition (3) above is equivalent to the fact that \(\text{ad}(E_G)\) is semistable and \(c_2(\text{ad}(E_G)) = 0\). Under this hypothesis, the authors emphasized in their previous paper [Int. Math. Res. Not. 2008, article ID rnn035, 28 p. (2008; Zbl 1183.14065)] some other conditions equivalent to condition (3).