The multiplication map for global sections of line bundles and rank 1 torsion free sheaves on curves

LetX be an integral projective curve andL ∃ Pic^a(X),M ∃ Pic^b (X) with h¹(X, L)= h¹(X, M) = 0 andL, M general. Here we study the rank of the multiplication map μ _L,M :H ⁰(X,L)⊗H ⁰(X,M)→H ⁰(X,L⊗M). We also study the same problem whenL andM are rank 1 torsion free sheaves onX. Most of our results are forX with only nodes as singularities.     

A generalization of the existence theorem of special line bundles

LetX be a generic smooth irreducible complex projective curve of genusg withg4. In this paper, we generalize the existence theorem of special divisors to high dimensional indecomposable vector bundles. We give a necessary and sufficient condition on the existence ofn-dimensional indecomposable vector bundlesE onX with det(E)=d, dimH ⁰(X,E)h. We also determine under what condition the set of all such vector bundles will be finite and how many elements it contains.Project partly supported by the National Natural Science Foundation of China.     

On moduli of vector bundles on surfaces with negative Kodaira dimension

Summary Here we prove the following result. Fix integersq, τ,a’, b’, a’ _i, 1≤i≤τ,a’, b’, a’ _i, 1≤i≤τ; then there is an integerew such that for every integert≥w, for every algebraically closed fieldK for every smooth complete surfaceX with negative Kodaira dimension, irregularityq andK _X ² =8(1−q)−τ, the following condition holds; ifX→S is a sequence fo τ blowing-downs which gives a relatively minimal model with ruling ρ:S→C, take as basis of the Neron Severi groupNS(X) a smooth rational curve which is the total transform of a fiber ofC, the total transform of a minimal section of ρ and the total transformD _i, 1≤i≤τ, of the exceptional curver; then for everyH andL∈Pic (X) withH ample,H (resp.L) represented by the integersa’, b’, a’ _i, (resp.a’, b’, a’ _i), 1≤i≤τ, in the chosen basis ofNS(X) the moduli spaceM(ZX, 2,H, L, t) of rank 2H-stable vector bundles onX with determinantL andc ₂=t is generically smooth and the number, dimension and ?birational structure? of the irreducible components ofM(X, 2,H, L, t)_red do not depend on the choice ofK andX. Furthermore the birational structure of these irreducible components can be loosely described in terms of the birational structure of the components of suitableM(S, 2,H’, L’, t’)_red withS a relatively minimal model ofX.

---

Sunto SiaX una superficie algebrica liscia completa con dimensione di Kodaira negativa e definita su un campo algebricamente chiusoK; fissiamoH eL∈Pic (X),t∈Z; siaq l’irregolarità diX e τ≔8(1−q)−K _X ^Emphasis>2 ; siaM(X, 2,H, L, t) to schema dei moduli dei fibrati vettorialiH-stabili di rango 2 suX con determinateL ec ₂=t. Si dimostra che esiste una costantew che dipende solo daq, da τ e dalla classe numerica diH e diL (ma non da char (K) o dalla classe di isomorphismo diX) tale che per ognit≥w il numero, la dimensione e ?la struttura birazionale? delle componenti irriducibili diM(X, 2,H, L, t)_red non dipende dalla scelta di char (K),K eX ma solo daq, τ e dalle classi diH eL inNS(X). Inoltre la ?struttura birazionale? di queste componenti irriducibili può essere grossolanamente descritta in termini delle componenti di opportuni spazi di moduliM(S, 2,H’, L’, t’) (doveS è un modello minimale diX).

     

On multiply of sections of line bundles on compact Riemann surfaces

In this paper,we give some conditions on the surjective of multiply maps H~0(R,L)×H~0(R,K)→H~0(R,L(?)K).Here R is a compact Riemann surface,L a line bundle on R and K is the canonical line bundle.     

Line bundles on non-primary Hopf manifolds

Let X be a Hopf manifolds with Abelian fundamental group, L any flat line bundle on X, we give a formula for computing explicitly the cohomology Hq(X,Ωp(L) using the method of group action and the generalized Douady sequence.     

Ample vector bundles with zero loci having a bielliptic curve section of low degree

Let be an ample vector bundle of rank r ≥ 2 on a smooth complex projective variety X of dimension n such that there exists a global section of whose zero locus Z is a smooth subvariety of dimension n − r ≥ 3 of X. Let H be an ample line bundle on X such that its restriction H _Z to Z is very ample. Triplets are classified under the assumption that (Z,H _Z ) has a smooth bielliptic curve section of genus ≥ 3 with .      

On projectively normal embeddings of generalk-gonal curves

Fix integersg, k andt witht>0,k≥3 andtk<g/2−1. LetX be a generalk-gonal curve of genusg andR∈Pic ^k (X) the uniqueg _k ¹ onX. SetL:=K _X⊗(R ^*)^⊗t.L is very ample. Leth _L:X→P(H ⁰(X, L)^*) be the associated embedding. Here we prove thath _L(X) is projectively normal. Ifk≥4 andtk<g/2−2 the curveh _L(X) is scheme-theoretically cut out by quadrics. The author was partially supported by MURST and GNSAGA of CNR (Italy).     

Direct images of bundles under Frobenius morphism

Let X be a smooth projective variety of dimension n over an algebraically closed field k with char(k)=p>0 and F:X→X ₁ be the relative Frobenius morphism. For any vector bundle W on X, we prove that instability of F _* W is bounded by instability of W⊗T^ℓ(Ω¹ _X ) (0≤ℓ≤n(p-1)) (Corollary 4.9). When X is a smooth projective curve of genus g≥2, it implies F _* W being stable whenever W is stable. Dedicated to Professor Zhexian Wan on the occasion of his 80th birthday.     

On the Cauchy difference on normed spaces

LetX be a real linear normed space, (G, +) be a topological group, andK be a discrete normal subgroup ofG. We prove that if a continuous at a point or measurable (in the sense specified later) functionf:X →G fulfils the condition:f(x +y) -f(x) -f(y) ∈K whenever ‖x‖ = ‖y‖, then, under some additional assumptions onG,K, andX, there esists a continuous additive functionA :X →G such thatf(x) -A(x) ∈K.     

A criterion of openness of a family of nef line bundles

Letf:X→S be a projective morphism of noetherian schemes andL a line bundle onX. In this note we will give a condition for openness of the setS _L ^nef ={∈S‖L _s is nef onX _s }. This article was processed by the author using the Springer-Verlag TEX mamath macro package 1990     

Some remarks on the study of good contractions

LetX be a complex projective variety with log terminal singularities admitting an extremal contraction in terms of Minimal Model Theory, i.e. a projective morphism φ:X→Z onto a normal varietyZ with connected fibers which is given by a (high multiple of a) divisor of the typeK _x+rL, wherer is a positive rational number andL is an ample Cartier divisor. We first prove that the dimension of anu fiberF of φ is bigger or equal to (r-1) and, if φ is birational, thatdimF≥r, with the equalities if and only ifF is the projective space andL the hyperplane bundle (this is a sort of “relative” version of a theorem of Kobayashi-Ochiai). Then we describe the structure of the morphism φ itself in the case in which all fibers have minimal dimension with the respect tor. If φ is a birational divisorial contraction andX has terminal singularities we prove that φ is actually a “blow-up”.     

Adjoints of semigroups acting on vector-valued function spaces

LetT(t) be the translation group onY=C ₀(ℝ×K)=C ₀(ℝ)⊗C(K),K compact Hausdorff, defined byT(t)f(x, y)=f(x+t, y). In this paper we give several representations of the sun-dialY ^⊙ corresponding to this group. Motivated by the solution of this problem, viz.Y ^⊙=L ¹(ℝ)⊗M(K), we develop a duality theorem for semigroups of the formT ₀(t)⊗id on tensor productsZ⊗X of Banach spaces, whereT ₀(t) is a semigroup onZ. Under appropriate compactness assumptions, depending on the kind of tensor product taken, we show that the sun-dial ofZ⊗X is given byZ ^⊙⊗X*. These results are applied to determine the sun-dials for semigroups induced on spaces of vector-valued functions, e.g.C ₀(Ω;X) andL ^p (μ;X). This paper was written during a half-year stay at the Centre for Mathematics and Computer Science CWI in Amsterdam. I am grateful to the CWI and the Dutch National Science Foundation NWO for financial support.     

On the 2 very ampleness of the adjoint bundle

Let S be a smooth projective surface over C polarized by a 2-very ample line bundle L=O _S(L), i.e. for any 0-dimensional subscheme (Z,O _Z ) of length 3 the restriction map Γ(L)→Γ(L⊗O _Z) is a surjection. This generalization of very ampleness was recently introduced by M. Beltrametti and A.J. Sommese. The authors prove that, if L·L≥13, the adjoint line bundleK _S⊗L is 2-very ample apart from a list of well understood exceptions and up to contracting down the smooth rational curves E such that E·E=−1, L·E=2. The appendix contains an inductive argument in order to extend the result in higher dimension.     

Mori conic bundles with a reduced log-terminal boundary

We study the local structure of Mori contractionsf:X→Z of relative dimension one under an additional assumption that there exists a reduced divisorS such thatK _x +S is plt and anti-ample. Translated from Itogi Nauki i Tekhniki, Seriya Sovremennaya Matematika i Ee Prilozheniya. Tematicheskie Obzory. Vol. 56. Algebraic Geometry-9, 1998.     

On the multiples of the adjoint divisor to an ample divisor on ad-fold

Summary LetX be a complex manifold of dimensiond≥3 andH an ample divisor onX. In this paper the global sections of the sheafA _X(n(K _X +(d-2)H)) are studied whenn∈Z, this generalizing a result by A. J. Sommese.

---

Riassunto SiaX una varietà complessa di dimensioned≥3 eH un divisore ampio suX. In questo articolo vengono studiate le sezioni globali del fascioA _X(n(K _X +(d-2)H)), doven∈Z. Cià permette di generalizzare un risultato di A. J. Sommese.

     

Holomorphic and algebraic vector bundles on 0-convex algebraic surfaces

LetX be a smooth complex algebraic surface such that there is a proper birational morphism/:X → Y withY an affine variety. Let X_hol be the 2-dimensional complex manifold associated toX. Here we give conditions onX which imply that every holomorphic vector bundle onX is algebraizable and it is an extension of line bundles. We also give an approximation theorem of holomorphic vector bundles on X_hol (X normal algebraic surface) by algebraic vector bundles.     

Ample vector bundles and Bordiga surfaces

Let X be a smooth complex projective variety and let Z ? X be a smooth surface, which is the zero locus of a section of an ample vector bundle ? of rank dimX – 2 ≥ 2 on X. Let H be an ample line bundle on X, whose restriction H _Z to Z is a very ample line bundle and assume that (Z, H _Z ) is a Bordiga surface, i.e., a rational surface having (?², ?? (4)) as its minimal adjunction theoretic reduction. Triplets (X, ?, H) as above are discussed and classified. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Pluriadjoint bundles of polarized surfaces

LetX be a complex connected projective smooth algebraic surface and letL be an ample line bundle onX. The maps associated with the pluriadjoint bundles (K _X L) ¹,t2, are studied by combining an ampleness result forK _X L with a very recent result by Reider. It turns out that apart from some exceptions and up to reductions, 1) (K _X L)³ is very ample; 2) (K _X L) ² is ample and spanned by global sections and is very ample unless eitherg (L)=2 (arithmetic genus ofL) orX contains an elliptic curveE withE ²=0,E·L=1;3) when (K _X L) ² is not very ample, the associated map has degree 4, equality implying thatg (L)=2 and .     

Generalization of a criterion for semistable vector bundles

It is known that a vector bundle E on a smooth projective curve Y defined over an algebraically closed field is semistable if and only if there is a vector bundle F on Y such that both H⁰(X,EF) and H¹(X,EF) vanishes. We extend this criterion for semistability to vector bundles on curves defined over perfect fields. Let X be a geometrically irreducible smooth projective curve defined over a perfect field k, and let E be a vector bundle on X. We prove that E is semistable if and only if there is a vector bundle F on X such that Hⁱ(X,EF)=0 for all i. We also give an explicit bound for the rank of F.     

On the surjectivity of some trace maps

LetK be a commutative ring with a unit element 1. Let Γ be a finite group acting onK via a mapt: Γ→Aut(K). For every subgroupH≤Γ define tr _H :K→K ^H by tr _h (x)=Σ_σ∈H σ(x). We proveTheorem: tr_Γ is surjective onto K ^Γ if and only if tr _P is surjective onto K ^P for every (cyclic) prime order subgroup P of Γ. This is false for certain non-commutative ringsK.