Projective normality of the wonderful compactification of semisimple adjoint groups

We prove that if G is a semisimple adjoint group over an algebraically closed field of arbitrary characteristic, X is the wonderful compactification of G and is a simply connected covering of G, then for any -linearised very ample line bundle L over X, the cone over X given by L is normal. Received: 1 December 1999; in final form: 19 September 2000 / Published online: 19 October 2001     

Principal bundles on compact complex manifolds with trivial tangent bundle

Let G be a connected complex Lie group and G ì G{\Gamma \subset G} a cocompact lattice. Let H be a complex Lie group. We prove that a holomorphic principal H-bundle E _H over G/Γ admits a holomorphic connection if and only if E _H is invariant. If G is simply connected, we show that a holomorphic principal H-bundle E _H over G/Γ admits a flat holomorphic connection if and only if E _H is homogeneous.     

Harder–Narasimhan reduction for principal bundles over a compact Kähler manifold

Generalizing the Harder–Narasimhan filtration of a vector bundle it is shown that a principal G-bundle over a compact K?hler manifold admits a canonical reduction of its structure group to a parabolic subgroup of G. Here G is a complex connected reductive algebraic group; in the special case where , this reduction is the Harder–Narasimhan filtration of the vector bundle associated to by the standard representation of . The reduction of in question is determined by two conditions. If P denotes the parabolic subgroup, L its Levi factor and the canonical reduction, then the first condition says that the principal L-bundle obtained by extending the structure group of the P-bundle using the natural projection of P to L is semistable. Denoting by the Lie algebra of the unipotent radical of P, the second condition says that for any irreducible P-module V occurring in , the associated vector bundle is of positive degree; here is considered as a P-module using the adjoint action. The second condition has an equivalent reformulation which says that for any nontrivial character of P which can be expressed as a nonnegative integral combination of simple roots (with respect to any Borel subgroup contained in P), the line bundle associated to for is of positive degree. The equivalence of these two conditions is a consequence of a representation theoretic result proved here. Received: 10 November 1999 / Revised version: 31 October 2001 / Published online: 26 April 2002     

Generic polynomials are descent-generic

Let be a generic polynomial for a group G in the sense that every Galois extension N/L of infinite fields with group G and K≤L is given by a specialization of g(X). We prove that then also every Galois extension whose group is a subgroup of G is given in this way. Received: 15 January 2001     

On the fundamental group-scheme

We show that the fundamental group-scheme of a separably rationally connected variety defined over an algebraically closed field is trivial. Let X be a geometrically irreducible smooth projective variety defined over a finite field k admitting a k-rational point. Let {En,σn}_n?0 be a flat principal G-bundle over X, where G is a reductive linear algebraic group defined over k. We show that there is a positive integer a such that the principal G-bundle is isomorphic to E₀, where FX is the absolute Frobenius morphism of X. From this it follows that E₀ is given by a representation of the fundamental group-scheme of X in G.     

Stable bundles and extension of structure group

Let EG be a polystable principal G-bundle over a compact connected Kähler manifold, where G is a complex reductive group, and a homomorphism to another complex reductive group. We give a sufficient condition under which the principal H-bundle obtained by extending the structure group of EG using ρ is stable.     

Equivariant Reduction to Torus of a Principal Bundle

Let M be an irreducible projective variety, over an algebraically closed field k of characteristic zero, equipped with an action of a connected algebraic group S over k. Let E _G be a principal G-bundle over M equipped with a lift of the action of S on M, where G is a connected reductive linear algebraic group. Assume that E _G admits a reduction of structure group to a maximal torus TG. We give a necessary and sufficient condition for the existence of a T-reduction of E _G which is left invariant by the action of S on E _G .     

Classification of real Nash fibre bundles

Let G be a compact subgroup of an orthogonal group and X an affine, real, semialgebraic Nash variety. A principal Nash G-bundle over X is said to be strongly Nash if it is induced, up to Nash equivalences, of some universal bundle under a Nash map. Not all Nash bundles are strongly Nash and we denote by S(X, G) the class of strongly Nash G-bundles over X. The principal aim of this paper is to prove the following classification theorem: two bundles of S(X, G) are Nash equivalent if and only if they are topologically equivalent; more,there exists a bijection between the family of the classes of Nash equivalent bundles of S(X, G) and , where is the sheaf of germs of the continous maps from X to G. This result leads to find the largest class of principal Nash G-bundles over X in which the topological equivalence always implies the Nash one. Well, we prove that this class is exactly S(X, G). Research partially supported by M.I.U.R.     

Isometry Groups of Proper Hyperbolic Spaces

Let X be a proper hyperbolic geodesic metric space and let G be a closed subgroup of the isometry group Iso(X) of X. We show that if G is not elementary then for every p ∈ (1, ∞) the second continuous bounded cohomology group H²_cb(G, L^p(G)) does not vanish. As an application, we derive some structure results for closed subgroups of Iso(X). Partially supported by Sonderforschungsbereich 611.     

Actions and irreducible representations of the mapping class group

Let G be a countable discrete group. Call two subgroups and of G commensurable if has finite index in both and . We say that an action of G on a discrete set X has noncommensurable stabilizers if the stabilizers of any two distinct points of X are not commensurable. We prove in this paper that the action of the map ping class group on the complex of curves has noncommensurable stabilizers. Following a method due to Burger and de la Harpe, this action leads to constructions of irreducible unitary representations of the mapping class group. Received: 26 July 1999 / Revised version: 14 May 2001 / Published online: 19 October 2001     

A criterion for the strongly semistable principal bundles over a curve in positive characteristic

Let X be an irreducible smooth projective curve over an algebraically closed field k of positive characteristic and G a simple linear algebraic group over k. Fix a proper parabolic subgroup P of G and a nontrivial anti-dominant character λ of P. Given a principal G-bundle E_G over X, let E_G(λ) be the line bundle over E_G/P associated to the principal P-bundle E_G→E_G/P for the character λ. We prove that E_G is strongly semistable if and only if the line bundle E_G(λ) is numerically effective. For any connected reductive algebraic group H over k, a similar criterion is proved for strongly semistable H-bundles.     

Krull–Schmidt reduction of principal bundles in arbitrary characteristic

Let M be an irreducible projective variety defined over an algebraically closed field k, and let E_G be a principal G-bundle over M, where G is a connected reductive linear algebraic group defined over k. We show that for E_G there is a naturally associated conjugacy class of Levi subgroups of G. Given a Levi subgroup H in this conjugacy class, the principal G-bundle E_G admits a reduction of structure group to H. Furthermore, this reduction is unique up to an automorphism of E_G.     

Bounds on smooth matrix coefficients on L 2-spaces

Let G be a semisimple Lie group with a finite number of connected components and a finite center. Let K be a maximal compact subgroup. Let X be a smooth G-space equipped with a G-invariant measure. In this paper, we give upper bounds for K-finite and ${\mathfrak k}Let G be a semisimple Lie group with a finite number of connected components and a finite center. Let K be a maximal compact subgroup. Let X be a smooth G-space equipped with a G-invariant measure. In this paper, we give upper bounds for K-finite and \mathfrak k{\mathfrak k}-smooth matrix coefficients of the regular representation L ²(X) under an assumption about supp(L²(X)) ?[^(G)]_K{{\rm supp}(L^2(X)) \cap \hat G_K}. Furthermore, we show that this bound holds for unitary representations that are weakly contained in L ²(X). Our result generalizes a result of Cowling–Haagerup–Howe (J Reine Angew Math 387:97–110, 1988). As an example, we discuss the matrix coefficients of the O(p, q) representation L²(\mathbbR^p+q){L^2(\mathbb{R}^{p+q})}.     

On a question of Sean Keel

Let X be a smooth projective surface defined over , and let L be a line bundle over X such that for every complete curve Y contained in X. A question of Keel asks whether L is ample. If X is a P¹-bundle over a curve, we prove that this question has an affirmative answer.     

Connections and Higgs fields on a principal bundle

Let M be a compact connected Kähler manifold and G a connected linear algebraic group defined over \({\mathbb{C}}\) . A Higgs field on a holomorphic principal G-bundle ε _G over M is a holomorphic section θ of \(\text{ad}(\epsilon_{G})\otimes {\Omega}^{1}_{M}\) such that θ∧ θ = 0. Let L(G) be the Levi quotient of G and (ε _G (L(G)), θ _l ) the Higgs L(G)-bundle associated with (ε _G , θ). The Higgs bundle (ε _G , θ) will be called semistable (respectively, stable) if (ε _G (L(G)), θ _l ) is semistable (respectively, stable). A semistable Higgs G-bundle (ε _G , θ) will be called pseudostable if the adjoint vector bundle ad(ε _G (L(G))) admits a filtration by subbundles, compatible with θ, such that the associated graded object is a polystable Higgs vector bundle. We construct an equivalence of categories between the category of flat G-bundles over M and the category of pseudostable Higgs G-bundles over M with vanishing characteristic classes of degree one and degree two. This equivalence is actually constructed in the more general equivariant set-up where a finite group acts on the Kähler manifold. As an application, we give various equivalent conditions for a holomorphic G-bundle over a complex torus to admit a flat holomorphic connection.     

A note on unimodular congruence of the Laplacian matrix of a graph

Let G be a simple connected graph and L(G) be its Laplacian matrix. In this note, we prove that L(G) is congruent by a unimodular matrix to its Smith normal form if and only if G is a tree.     

A note on stable sets,groups, and theories with NIP

Let M be an arbitrary structure. Then we say that an M ‐formula φ (x) defines a stable set in M if every formula φ (x) ∧ α (x, y) is stable. We prove: If G is an M ‐definable group and every definable stable subset of G has U ‐rank at most n (the same n for all sets), then G has a maximal connected stable normal subgroup H such that G /H is purely unstable. The assumptions hold for example if M is interpretable in an o‐minimal structure. More generally, an M ‐definable set X is weakly stable if the M ‐induced structure on X is stable. We observe that, by results of Shelah, every weakly stable set in theories with NIP is stable. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A Criterion for a Vector Bundle Over a Curve to Admit a Connection

Let X be a geometrically connected smooth projective curve defined over a perfect field k. Let E be a vector bundle over X. We prove that E admits a connection if every indecomposable component of E is of degree zero. If the characteristic of k is p, with p > 0, and the rank of each of the indecomposable components of E is not a multiple of p, then E admits a connection if and only if the degree of each indecomposable component of E is a multiple of p. (Received: August 2005)     

Strongly semistable bundles on a curve over a finite field

We show that a principal G-bundle on a smooth projective curve over a finite field is strongly semistable if and only if it is defined by a representation of the fundamental group scheme of the curve into G. Received: 24 April 2006     

On Holomorphic Principal Bundles Over a Compact Riemann Surface Admitting a Flat Connection, II

Holomorphic principal bundles over a compact Riemann surfaceX that admits a flat connection are considered. A holomorphicG-bundle over X, where G is a connected semisimple linear algebraicgroup over C, admits a flat connection if and only if the adjointvector bundle admits one. More generally, for a complex reductivegroup G, the necessary and sufficient condition on a G-bundleto admit a flat connection is described. This simplifies thecriterion obtained by the authors and given in Math. Ann. 322(2002) 333–346. 2000 Mathematics Subject Classification53C05, 32L05.