Abstract. Let P be a parabolic subgroup of a connected simply connected complex semisimple Lie group G. Given a compact Kähler manifold X, the dimensional reduction of G-equivariant holomorphic vector bundles over X × G/P was carried out by the first and third authors [2]. This raises the question of dimensional reduction of holomorphic principal bundles over X × G/P . The method used for equivariant vector bundles does not generalize to principal bundles. In this paper, we adapt to equivariant principal bundles the Tannakian approach of Nori, to describe the dimensional reduction of Gequivariant principal bundles over X × G/P , and to establish a Hitchin-Kobayashi type correspondence. In order to be able to apply the Tannakian theory, we need to assume that X is a complex projective manifold.
IntroductionDimensional reduction is a very powerful construction in the context of gauge theory, both in physics and geometry. Many important gauge-theoretic equations appear as symmetric solutions of fundamental equations for connections, like the instanton equations on Riemannian 4-manifolds. Examples of these are the Bogomol'nyi equations for magnetic monopoles in 3 dimensions and the vortex equation in 2 dimensions, as well as many other important integrable systems and soliton equations. In the context of model building, some physicists have applied for a long time the method of 'coset-space dimensional reduction' in the construction of gauge unified theories (see, e.g., [15,7,20,26]).In [16,17,11,1] the dimensional reduction techniques were brought into the context of holomorphic vector bundles over Kähler manifolds, to study the dimensional reduction of stable SL(2, C)-equivariant bundles over X × P 1 and the corresponding Hermitian-YangMills equations, where X is a compact Kähler manifold and P 1 is the Riemann sphere. In [2] this construction was generalised to G-equivariant vector bundles on X ×G/P , where G is a connected simply connected complex semisimple Lie group and P ⊂ G is a parabolic subgroup. These gave rise to quiver bundles with relations, that is representations of a quiver with relations in the category of vector bundles, where the quiver with relations (Q, K) is determined by P . In particular when X is a point, one has a description of 2000 Mathematics Subject Classification. 53C07, 14D21, 16G20.