On the number of points of bounded height¶on arithmetic projective spaces

Let K be a number field and its ring of integers. Let be a Hermitian vector bundle over . In the first part of this paper we estimate the number of points of bounded height in (generalizing a result by Schanuel). We give then some applications: we estimate the number of hyperplanes and hypersurfaces of degree d>1 in of bounded height and containing a fixed linear subvariety and we estimate the number of points of height, with respect to the anticanonical line bundle, less then T (when T goes to infinity) of ℙ ^N _K blown up at a linear subspace of codimension two. Received: 20 February 1998 / Revised version: 9 November 1998     

Direct image of parabolic line bundles

Given a vector bundle E, on an irreducible projective variety X, we give a necessary and sufficient criterion for E to be a direct image of a line bundle under a surjective étale morphism. The criterion in question is the existence of a Cartan subalgebra bundle of the endomorphism bundle $\text{End}(E)$. As a corollary, a criterion is obtained for E to be the direct image of the structure sheaf under an étale morphism. The direct image of a parabolic line bundle under any ramified covering map has a natural parabolic structure. Given a parabolic vector bundle, we give a similar criterion for it to be the direct image of a parabolic line bundle under a ramified covering map.     

On the F-fundamental group scheme

Let X be a smooth projective variety defined over a perfect field k of positive characteristic, and let FX be the absolute Frobenius morphism of X. For any vector bundle E→X, and any polynomial g with non-negative integer coefficients, define the vector bundle using the powers of FX and the direct sum operation. We construct a neutral Tannakian category using the vector bundles with the property that there are two distinct polynomials f and g with non-negative integer coefficients such that . We also investigate the group scheme defined by this neutral Tannakian category.     

A generalization of Higgs bundles to higher dimensional varieties

Let X be a smooth n-dimensional projective variety defined over and let L be a line bundle on X. In this paper we shall construct a moduli space parametrizing -cohomology L-twisted Higgs pairs, i.e., pairs where E is a vector bundle on X and . If we take , the canonical line bundle on X, the variety is canonically identified with the cotangent bundle of the smooth locus of the moduli space of stable vector bundles on X and, as such, it has a canonical symplectic structure. We prove that, in the general case, in correspondence to the choice of a non-zero section , one can define, in a natural way, a Poisson structure on . We also analyze the relations between this Poisson structure on and the canonical symplectic structure of the cotangent bundle to the smooth locus of the moduli space of parabolic bundles over X, with parabolic structure over the divisor D defined by the section s. These results generalize to the higher dimensional case similar results proved in [Bo1] in the case of curves. Received November 4, 1997; in final form May 28, 1998     

Torus Bundles over Locally Symmetric Varieties Associated to Cocycles of Discrete Groups

 We construct torus bundles over locally symmetric varieties associated to cocycles in the cohomology group , where Γ is a discrete subgroup of a semisimple Lie group and L is a lattice in a real vector space. We prove that such a torus bundle has a canonical complex structure and that the space of holomorphic forms of the highest degree on a fiber product of such bundles is isomorphic to the space of mixed automorphic forms of a certain type. (Received 4 September 1998)     

Holomorphic Cartan geometry on manifolds with numerically effective tangent bundle

Let X be a compact connected Kähler manifold such that the holomorphic tangent bundle TX is numerically effective. A theorem of Demailly et al. (1994) [11] says that there is a finite unramified Galois covering M→X, a complex torus T, and a holomorphic surjective submersion f:M→T, such that the fibers of f are Fano manifolds with numerically effective tangent bundle. A conjecture of Campana and Peternell says that the fibers of f are rational and homogeneous. Assume that X admits a holomorphic Cartan geometry. We prove that the fibers of f are rational homogeneous varieties. We also prove that the holomorphic principal G-bundle over T given by f, where G is the group of all holomorphic automorphisms of a fiber, admits a flat holomorphic connection.     

Stability of rank 2 vector bundles along isomonodromic deformations

We are interested in the stability of holomorphic rank 2 vector bundles of degree 0 over compact Riemann surfaces, which are provided with irreducible meromophic tracefree connections. In the case of a logarithmic connection on the Riemann sphere, such a vector bundle will be trivial up to the isomonodromic deformation associated to a small move of the poles, according to a result of A. Bolibruch. In the general case of meromorphic connections over Riemann surfaces of arbitrary genus, we prove that the vector bundle will be semi-stable, up to a small isomonodromic deformation. More precisely, the vector bundle underlying the universal isomonodromic deformation is generically semi-stable along the deformation, and even maximally stable. For curves of genus g ≥ 2, this result is non-trivial even in the case of non-singular connections. The author was partially supported by ANR SYMPLEXE BLAN06-3-137237.     

A classification of homogeneous operators in the Cowen–Douglas class

An explicit construction of all the homogeneous holomorphic Hermitian vector bundles over the unit disc D is given. It is shown that every such vector bundle is a direct sum of irreducible ones. Among these irreducible homogeneous holomorphic Hermitian vector bundles over D, the ones corresponding to operators in the Cowen–Douglas class Bn(D) are identified. The classification of homogeneous operators in Bn(D) is completed using an explicit realization of these operators. We also show how the homogeneous operators in Bn(D) split into similarity classes.     

On globally generated vector bundles on projective spaces

A classification is given for globally generated vector bundles E of rank k on Pⁿ having first Chern class c₁(E)=2. In particular, we get that they split if k<n unless E is a twisted null-correlation bundle on P³. In view of the well-known correspondence between globally generated vector bundles and maps to Grassmannians, we obtain, as a corollary, a classification of double Veronese embeddings of Pⁿ into a Grassmannian G(k−1,N) of (k−1)-planes in P^N.     

Looking out for stable syzygy bundles

We study (slope-)stability properties of syzygy bundles on a projective space PN given by ideal generators of a homogeneous primary ideal. In particular we give a combinatorial criterion for a monomial ideal to have a semistable syzygy bundle. Restriction theorems for semistable bundles yield the same stability results on the generic complete intersection curve. From this we deduce a numerical formula for the tight closure of an ideal generated by monomials or by generic homogeneous elements in a generic two-dimensional complete intersection ring.     

Syzygies of projective bundles

In this paper we study defining equations and syzygies among them of projective bundles. We prove that for a given p≥0, if a vector bundle on a smooth complex projective variety is sufficiently ample, then the embedding given by the tautological line bundle satisfies property N_p.     

Invariants de Von Neumann des faisceaux analytiques cohérents

In order to study the group of holomorphic sections of the pull-back to the universal covering space of an holomorphic vector bundle on a compact complex manifold, it would be convenient to have a cohomological formalism, generalizing Atiyah's index theorem. In [Eys99], such a formalism is proposed in a restricted context. To each coherent analytic sheaf on a n-dimensionnal smooth projective variety and each Galois infinite unramified covering , whose Galois group is denoted by , cohomology groups denoted by are attached, such that: 1. The underly a cohomological functor on the abelian category of coherent analytic sheaves on X. 2. If is locally free, is the group of holomorphic sections of the pull-back to of the holomorphic vector bundle underlying . 3. belongs to a category of -modules on which a dimension function with real values is defined. 4. Atiyah's index theorem holds [Ati76]: The present work constructs such a formalism in the natural context of complex analytic spaces. Here is a sketch of the main ideas of this construction, which is a Cartan-Serre version of [Ati76]. A major ingredient will be the construction [Farb96] of an abelian category containing every closed -submodule of the left regular representation. In topology, this device enables one to use standard sheaf theoretic methods to study Betti numbers [Ati76] and Novikov-Shubin invariants [NovShu87]. It will play a similar r?le here. We first construct a -cohomology theory () for coherent analytic sheaves on a complex space endowed with a proper action of a group such that conditions 1-2 are fulfilled. The -cohomology on the Galois covering of a coherent analytic sheaf onX is the ordinary cohomology of a sheaf on X obtained by an adequate completion of the tensor product of by the locally constant sheaf on X associated to the left regular representation of the discrete group in the space of functions on . Then, we introduce an homological algebra device, montelian modules, which can be used to calculate the derived category of and are a good model of the Čech complex calculating -cohomology. Using this we prove that , if X is compact. This is stronger than condition 3, since this also yields Novikov-Shubin type invariants. To explain the title of the article, Betti numbers and Novikov-Shubin invariants of are the Von Neumann invariants of the coherent analytic sheaf . We also make the connection with Atiyah's -index theorem [Ati76] thanks to a Leray-Serre spectral sequence. From this, condition 4 is easily deduced.

---

---

Received: 30 October 1998 / Published online: 8 May 2000     

Absolutely split real algebraic vector bundles over a real form of projective space

Let M be a projective variety, defined over the field of real numbers, with the property that the base change MR_×C is isomorphic to CPN for some N. A real algebraic vector bundle E over M will be called absolutely split if the vector bundle ER_⊗C over MR_×C splits into a direct sum of line bundles. We classify the isomorphism classes of absolutely split vector bundles over M.     

On the homogeneous algebraic graphs of large girth and their applications

Families of finite graphs of large girth were introduced in classical extremal graph theory. One important theoretical result here is the upper bound on the maximal size of the graph with girth ?2d established in Even Circuit Theorem by P. Erdös. We consider some results on such algebraic graphs over any field. The upper bound on the dimension of variety of edges for algebraic graphs of girth ?2d is established. Getting the lower bound, we use the family of bipartite graphs D(n,K) with n?2 over a field K, whose partition sets are two copies of the vector space Kⁿ. We consider the problem of constructing homogeneous algebraic graphs with a prescribed girth and formulate some problems motivated by classical extremal graph theory. Finally, we present a very short survey on applications of finite homogeneous algebraic graphs to coding theory and cryptography.     

On minimal disjoint degenerations of modules over tame path algebras

For representations of tame quivers the degenerations are controlled by the dimensions of various homomorphism spaces. Furthermore, there is no proper degeneration to an indecomposable. Therefore, up to common direct summands, any minimal degeneration from M to N is induced by a short exact sequence 0→U→M→V→0 with indecomposable ends that add up to N. We study these ‘building blocs’ of degenerations and we prove that the codimensions are bounded by two. Therefore, a quiver is Dynkin resp. Euclidean resp. wild iff the codimension of the building blocs is one resp. bounded by two resp. unbounded. We explain also that for tame quivers the complete classification of all the building blocs is a finite problem that can be solved with the help of a computer.     

Galois closure of essentially finite morphisms

Let X be a reduced connected k-scheme pointed at a rational point x∈X(k). By using tannakian techniques we construct the Galois closure of an essentially finite k-morphism f:Y→X satisfying the condition H⁰(Y,O_Y)=k; this Galois closure is a torsor dominating f by an X-morphism and universal for this property. Moreover, we show that is a torsor under some finite group scheme we describe. Furthermore we prove that the direct image of an essentially finite vector bundle over Y is still an essentially finite vector bundle over X. We develop for torsors and essentially finite morphisms a Galois correspondence similar to the usual one. As an application we show that for any pointed torsor f:Y→X under a finite group scheme satisfying the condition H⁰(Y,O_Y)=k, Y has a fundamental group scheme π₁(Y,y) fitting in a short exact sequence with π₁(X,x).     

Semistable and numerically effective principal (Higgs) bundles

We study Miyaoka-type semistability criteria for principal Higgs G-bundles E on complex projective manifolds of any dimension. We prove that E has the property of being semistable after pullback to any projective curve if and only if certain line bundles, obtained from some characters of the parabolic subgroups of G, are numerically effective. One also proves that these conditions are met for semistable principal Higgs bundles whose adjoint bundle has vanishing second Chern class.In a second part of the paper, we introduce notions of numerical effectiveness and numerical flatness for principal (Higgs) bundles, discussing their main properties. For (non-Higgs) principal bundles, we show that a numerically flat principal bundle admits a reduction to a Levi factor which has a flat Hermitian–Yang–Mills connection, and, as a consequence, that the cohomology ring of a numerically flat principal bundle with coefficients in R is trivial. To our knowledge this notion of numerical effectiveness is new even in the case of (non-Higgs) principal bundles.     

Stratification of the Hilbert scheme of space curves with a stable normal bundle

Ford≥3g and 1≤s≤[g/2], we study the strataN _{d, g(s)} of degreed genusg spaces curvesC whose normal bundleN _C is stable with stability degree (integer of Lange-Narasimhan) σ(N _C)=2s. We prove thatN _{d, g(s)} has an irreducible component of the right dimension whose general curve has a normal bundle with the right number of maximal subbundles. We consider also the semi-stable case (s=0), obtaining similar results. We prove our results by studying the normal bundles of reducible curves and their deformations. Both authors were partially supported by MIUR and GNSAGA of INdAM (Italy).     

A lower bound for the <Emphasis Type="Italic">r</Emphasis>-order of a matrix modulo <Emphasis Type="Italic">N</Emphasis>

For a positive integer N, we define the N-rank of a non singular integer d × d matrix A to be the maximum integer r such that there exists a minor of order r whose determinant is not divisible by N. Given a positive integer r, we study the growth of the minimum integer k, such that A ^k − I has N-rank at most r, as a function of N. We show that this integer k goes to infinity faster than log N if and only if for every eigenvalue λ which is not a root of unity, the sum of the dimensions of the eigenspaces relative to eigenvalues which are multiplicatively dependent with λ and are not roots of unity, plus the dimensions of the eigenspaces relative to eigenvalues which are roots of unity, does not exceed d − r − 1. This result will be applied to recover a recent theorem of Luca and Shparlinski [6] which states that the group of rational points of an ordinary elliptic curve E over a finite field with q ⁿ elements is almost cyclic, in a sense to be defined, when n goes to infinity. We will also extend this result to the product of two elliptic curves over a finite field and show that the orders of the groups of rational points of two non isogenous elliptic curves are almost coprime when n approaches infinity. Author’s address: Dipartimento di Matematica e Informatica, Via Delle Scienze 206, 33100 Udine, Italy