On Buchsbaum bundles on quadric hypersurfaces

Let E be an indecomposable rank two vector bundle on the projective space ℙ ⁿ , n ≥ 3, over an algebraically closed field of characteristic zero. It is well known that E is arithmetically Buchsbaum if and only if n = 3 and E is a null-correlation bundle. In the present paper we establish an analogous result for rank two indecomposable arithmetically Buchsbaum vector bundles on the smooth quadric hypersurface Q _n ⊂ ℙ ⁿ⁺¹, n ≥ 3. We give in fact a full classification and prove that n must be at most 5. As to k-Buchsbaum rank two vector bundles on Q ₃, k ≥ 2, we prove two boundedness results.     

Weighted integral formulas on manifolds

We present a method of finding weighted Koppelman formulas for (p,q)-forms on n-dimensional complex manifolds X which admit a vector bundle of rank n over X×X, such that the diagonal of X×X has a defining section. We apply the method to ℙ ⁿ and find weighted Koppelman formulas for (p,q)-forms with values in a line bundle over ℙ ⁿ . As an application, we look at the cohomology groups of (p,q)-forms over ℙ ⁿ with values in various line bundles, and find explicit solutions to the -equation in some of the trivial groups. We also look at cohomology groups of (0,q)-forms over ℙ ⁿ ×ℙ ^m with values in various line bundles. Finally, we apply our method to developing weighted Koppelman formulas on Stein manifolds.     

Moduli of symplectic instanton vector bundles of higher rank on projective space ℙ<Superscript>3</Superscript>

Symplectic instanton vector bundles on the projective space ℙ³ constitute a natural generalization of mathematical instantons of rank-2. We study the moduli space I _n;r of rank-2r symplectic instanton vector bundles on ℙ³ with r ≥ 2 and second Chern class n ≥ r, n ≡ r (mod 2). We introduce the notion of tame symplectic instantons by excluding a kind of pathological monads and show that the locus I _n;r ^* of tame symplectic instantons is irreducible and has the expected dimension, equal to 4n(r + 1) −r(2r + 1).     

Asymptotic behaviour and the moduli space of doubly-periodic instantons

We study doubly-periodic instantons, i.e. instantons on the product of a 1-dimensional complex torus T with a complex line ℂ, with quadratic curvature decay. We determine the asymptotic behaviour of these instantons, constructing new asymptotic invariants. We show that the underlying holomorphic bundle extends to T×ℙ¹. The converse statement is also true, namely a holomorphic bundle on T×ℙ¹ which is flat on the torus at infinity, and satisfies a stability condition, comes from a doubly-periodic instanton. Finally, we study the hyperk?hler geometry of the moduli space of doubly-periodic instantons, and prove that the Nahm transform previously defined by the second author is a hyperk?hler isometry with the moduli space of certain meromorphic Higgs bundles on the dual torus. Received June 8, 2000 / final version received February 1, 2001?Published online April 3, 2001     

Generalizations of the odd degree theorem and applications

LetV ⊂ ℙℝ ⁿ be an algebraic variety, such that its complexificationV _ℂ ⊂ ℙ ⁿ is irreducible of codimensionm ≥ 1. We use a sufficient condition on a linear spaceL ⊂ ℙℝ ⁿ of dimensionm + 2r to have a nonempty intersection withV, to show that any six dimensional subspace of 5 × 5 real symmetric matrices contains a nonzero matrix of rank at most 3.     

On the jumping conics of a semistable rank two vector bundle on P2

Stromme (see [S], (1.7)) introduced the notion of jumping conic of a normalized semistable rank two vector bundle E on ℙ² and he remarked that the locus of jumping conics of E has codimension ≤3+2c₁(E), with equality for general E. Here we introduce a concept of jumping conic of a semistable rank two vector bundle on ℙ² (see (I.1)) by generalizing the notion of jumping line of the second kind introduced by Hulek in [H]. Our definition agrees with Stromme's for c₁=−1, but not for c₁=0. In contrast with the case of jumping lines, where we have a different behaviour in the case c₁ even or c₁ odd, the set of jumping conics according to our definition is always a divisor (possibly empty) in the ℙ⁵ of all conics of ℙ² (see th. (I.8)), whose degree depends on c₂(E).     

Laminar currents in ℙ<Superscript>2</Superscript>

 In this paper we study laminar currents in ℙ². Given a sequence of irreducible algebraic curves (C _n ) converging in the sense of currents to T, we find geometric conditions on the curves ensuring that the limit current T is laminar. This criterion is then applied to meromorphic dynamical systems in ℙ², and laminarity of the dynamical ``Green' current is obtained for a wide class of meromorphic self maps of ℙ², as well as for all bimeromorphic maps of projective surfaces. Received: 24 September 2001 / Published online: 10 February 2003 Mathematics Subject Classification (2000): 32U40, 37Fxx, 32H50     

Index parity of closed geodesics and rigidity of Hopf fibrations

The diameter rigidity theorem of Gromoll and Grove [1987] states that a Riemannian manifold with sectional curvature ≥ 1 and diameter ≥ π/2 is either homeomorphic to a sphere, locally isometric to a rank one symmetric space, or it has the cohomology ring of the Cayley plane Caℙ. The reason that they were only able to recognize the cohomology ring of Caℙ is due to an exceptional case in another theorem [Gromoll and Grove, 1988]: A Riemannian submersion σ:?^m→B ^b with connected fibers that is defined on the Euclidean sphere ?^m is metrically congruent to a Hopf fibration unless possibly (m,b)=(15,8). We will rule out the exceptional cases in both theorems. Our argument relies on a rather unusal application of Morse theory. For that purpose we give a general criterion which allows to decide whether the Morse index of a closed geodesic is even or odd. Oblatum 7-II-2000 & 11-X-2000?Published online: 29 January 2001     

Counting cones over reducible cubic scrolls

Here we construct an explicit parameter space for cones in ℙ ⁿ for 4 ≤ n ≤ 6 with vertices of codimension 4 and 5, respectively (when this makes sense), over a reducible cubic scroll of codimension 2 in a hyperplane (in ℙ ⁿ ) and use it to compute the numbers of them that are incident to the appropriate number of linear spaces.     

Symplectic small deformations of special instanton bundle on ℙ2n+1

Let be the moduli space of stable symplectic instanton bundles on 2n+1 with second Chern class c₂=k (it is a closed subscheme of the moduli space ).We prove that the dimension of its Zariski tangent space at a special (symplectic) instanton bundle is 2k(5n–1)+4n²–10n+3, k2.     

On the Hilbert scheme of curves in higher-dimensional projective space

In this paper we prove that, for anyn≥3, there exist infinitely manyr∈N and for each of them a smooth, connected curveC _r in ℙ ^r such thatC _r lies on exactlyn irreducible components of the Hilbert scheme Hilb(ℙ ^r ). This is proven by reducing the problem to an analogous statement for the moduli of surfaces of general type.     

Seshadri-exceptional foliations

 The maximal Seshadri number μ(L) of an ample line bundle L on a smooth projective variety X measures the local positivity of the line bundle L at a general point of X. By refining the method of Ein-Küchle-Lazarsfeld, lower bounds on μ(L) are obtained in terms of L ⁿ , n=dim(X), for a class of varieties. The main idea is to show that if a certain lower bound is violated, there exists a non-trivial foliation on the variety whose leaves are covered by special curves. In a number of examples, one can show that such foliations must be trivial and obtain lower bounds for μ(L). The examples include the hyperplane line bundle on a smooth surface in ℙ³ and ample line bundles on smooth threefolds of Picard number 1. Received: 29 June 2001 / Published online: 16 October 2002 RID="⋆" ID="⋆" Supported by Grant No. 98-0701-01-5-L from the KOSEF. RID="⋆⋆" ID="⋆⋆" Supported by Grant No. KRF-2001-041-D00025 from the KRF.     

Ruled threefolds homeomorphic to ℙ2 × ℙ1 and their divisors

We study a class of ruled threefolds, namely, manifolds X with a projection p:X→ℙ², such that each fiber is isomorphic to ℙ¹, and which are homeomorphic to ℙ²×ℙ¹; and we characterize ample and very ample line bundles on such threefolds. This paper was written with the financial support of M.P.I. The author is a member of G.N.S.A.G.A. of the C.N.R.     

On first order congruences of lines of ℙ4 with a fundamental curve

We discuss projective families of lines of ℙ ⁿ , and in particular congruences of order one. After giving general results, we obtain a complete classification of the case of ℙ⁴ in which there is a fundamental curve. Received: 2 August 2000 / Revised version: 11 July 2001     

A note on symbolic and ordinary powers of homogeneous ideals

In this note we are interested in the graded modulesM _k=I^(k)/I^k and , whereI is a saturated ideal in the homogeneous coordinate ringS=K[x₀,…,x_n] of ℙⁿ,I ^(k) is the symbolic power and is the saturation of the ordinary power. Very little is known about these modules, and we provide a bound on their diameters, we compute the Hilbert functions and we study some characteristic submodules in the special case ofn+1 general points in ℙⁿ.

---

Sunto In questa nota siamo interessati ai moduli graduatiM _k=I(k)/I^k e , doveI è un ideale saturato nell'anello delle coordinate omogeneeS:=K[x₀,…,x_n] di ℙⁿ,I ^(k) è la potenza simbolica e è la saturazione della potenza ordinaria. Poco è noto su questi moduli e qui viene fornito un limite superiore ai loro diametri. Ne calcoliamo inoltre le funzioni di Hilbert e studiamo alcuni sottomoduli caratteristici nel caso speciale din+1 punti in posizione generale, in ℙⁿ.

     

Steinberg triality groups acting on 2 ? (<Emphasis Type="Italic">v,k</Emphasis>, 1) designs

A 2 - (υ, k, 1) design D = (ℙ,ℙ, ℬ) is a system consisting of a finite set ℙ of υ points and a collection ℬ of ℙ-subsets of ℙ, called blocks, such that each 2-subset of ℙ is contained in precisely one block. Let G be an automorphism group of a 2-(υ, k, 1) design. Delandtsheer proved that if G is block-primitive and D is not a projective plane, then G is almost simple, that is, T ⩽ G ⩽ Aut(T), where T is a non-abelian simple group. In this paper, we prove that T is not isomorphic to ³ D ₄(q). This paper is part of a project to classify groups and designs where the group acts primitively on the blocks of the design.     

On the Equicontinuity Region of Discrete Subgroups of <Emphasis Type="Italic">PU</Emphasis>(1,<Emphasis Type="Italic">n</Emphasis>)

Let G be a discrete subgroup of PU(1,n). Then G acts on ℙ_ℂ ⁿ preserving the unit ball ℍ_ℂ ⁿ , where it acts by isometries with respect to the Bergman metric. In this work we look at its action on all of ℙ_ℂ ⁿ and determine its equicontinuity region Eq(G). This turns out to be the complement of the union of all complex projective hyperplanes in ℙ_ℂ ⁿ which are tangent to ∂ℍ_ℂ ⁿ at points in the Chen-Greenberg limit set Λ(G), a closed G-invariant subset of ∂ℍ_ℂ ⁿ which is minimal for non-elementary groups. We also prove that the action on Eq(G) is discontinuous. Also , if the limit set is “sufficiently general” (i.e. it is not contained in any proper k -chain), then each connected component of Eq(G) is a holomorphy domain and it is a complete Kobayashi hyperbolic space.     

Invariant currents and dynamical Lelong numbers

Let ƒ be a polynomial automorphism of ℂ^k of degree λ, whose rational extension to ℙ^k maps the hyperplane at infinity to a single point. Given any positive closed current S on ℙ^k of bidegree (1,1), we show that the sequence λ⁻ⁿ(ƒⁿ)*S converges in the sense of currents on ℙ^k to a linear combination of the Green current T₊ of ƒ and the current of integration along the hyperplane at infinity. We give an interpretation of the coefficients in terms of generalized Lelong numbers with respect to an invariant dynamical current for ƒ⁻¹.     

Minimal, rigid foliations by curves on ℂℙ n

We prove the existence of minimal and rigid singular holomorphic foliations by curves on the projective space ℂℙ ⁿ for every dimension n≥2 and every degree d≥2. Precisely, we construct a foliation ℱ which is induced by a homogeneous vector field of degree d, has a finite singular set and all the regular leaves are dense in the whole of ℂℙ ⁿ . Moreover, ℱ satisfies many additional properties expected from chaotic dynamics and is rigid in the following sense: if ℱ is conjugate to another holomorphic foliation by a homeomorphism sufficiently close to the identity, then these foliations are also conjugate by a projective transformation. Finally, all these properties are persistent for small perturbations of ℱ.?This is done by considering pseudo-groups generated on the unit ball 𝔹 ⁿ ⊆ℂ ⁿ by small perturbations of elements in Diff(ℂ ⁿ ,0). Under open conditions on the generators, we prove the existence of many pseudo-flows in their closure (for the C ⁰-topology) acting transitively on the ball. Dynamical features as minimality, ergodicity, positive entropy and rigidity may easily be derived from this approach. Finally, some of these pseudo-groups are realized in the transverse dynamics of polynomial vector fields in ℂℙ ⁿ . Received March 7, 2002 / final version received November 26, 2002?Published online February 7, 2003 Most of this work has been carried out during a visit of the first author to IMPA/RJ and a visit of the second author to the University of Lille 1. We would like to thank these institutes for hospitality and express our gratitude to CNPq-Brazil and CNRS-France for the financial support which made these visits possible. We are also indebted to Paulo Sad, Marcel Nicolau and the referee whose comments helped us to improve on the preliminary version. Finally, the second author has partially conducted this research for the Clay Mathematics Institute.     

Lois de sortie et semi-groupes basiques

Let ℙ=(P ^t ) ^t<0 be a semigroup of kernel and letm be an excessive reference measure for ℙ. In this work we prove that ℙ ism-basic if and only if everym.a.e. finite purely excessive function is represented by a unique exit law for ℙ. In this case we deduce some applications about natural densities, energie functionnal and invariant functions for the time-space semigroup of ℙ.