Ample Vector Bundles with Small g − q

Let X be a smooth complex projective variety and let Z ? X be a smooth submanifold of dimension ≥ 2, which is the zero locus of a section of an ample vector bundle ? of rank dim X ? dim Z ≥ 2 on X. Let H be an ample line bundle on X, whose restriction H _Z to Z is generated by global sections. The structure of triplets (X,?,H) as above is described under the assumption that the curve genus of the corank-1 vector bundle ? ⊕ H ^{⊕ (dim Z?1)} is ≤ h ¹( _X ) + 2.     

Reducibility of Punctual Hilbert Schemes of Cone Varieties

In this short note we show that for any pair of positive integers (d, n) with n > 2 and d > 1 or n = 2 and d > 4, there always exist projective varieties X ? ? ^N of dimension n and degree d and an integer s ₀ such that Hilb ^s (X) is reducible for all s ≥ s ₀. X will be a projective cone in ? ^N over an arbitrary projective variety Y ? ? ^N?1. In particular, we show that, opposite to the case of smooth surfaces, there exist projective surfaces with a single isolated singularity which have reducible Hilbert scheme of points.     

Projective Varieties Swept Out by Rational Normal Curves

Let X ? ? ⁿ be a complex nondegenerate projective variety of dimension m ≥ 2. For t ≤ n ? m and a general q ∈ ? ⁿ , the linear space L _q spanned by q and t general points of X meets X in a finite set of points. We classify those X ? ? ⁿ for which there exists a point q ∈ ? ⁿ such that L _q meets X in a positive dimensional variety. If this occurs, there exists d ≤ n ? m such that a degree d rational normal curve through d general points of X is contained in X. Examples of this situation are provided. An infinitesimal generalization of part of the main result is also stated.     

A note on Property Np

Let M be a very ample line bundle on a smooth complex projective variety Y and let ϕ _M :Y→P(H ⁰(Y, M)^*) be the map associated to M; we are concerned with the problem to see whether the syzygies of ϕ _M (Y) give information on the syzygies of ϕ _M ^s (Y). In particular we prove that if Y is a smooth complex projective variety and M is a line bundle on Y satisfying Property N _p , then M ^s satisfies Property N _p if s≥p. Received: 11 June 1999 / Revised version: 22 November 1999     

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.     

Embedding of a Maximal Curve in a Hermitian Variety

Let X be a projective, geometrically irreducible, non-singular, algebraic curve defined over a finite field F q ² of order q ². If the number of F q ²-rational points of X satisfies the Hasse–Weil upper bound, then X is said to be F q ²-maximal. For a point P ₀ X(F q ²), let be the morphism arising from the linear series D: = |(q + 1)P ₀|, and let N: = dim(D). It is known that N 2 and that is independent of P ₀ whenever X is F q ²-maximal.     

On the Commutative Twisted Group Algebras

Let G be an abelian group and let R be a commutative ring with identity. Denote by R _t G a commutative twisted group algebra (a commutative twisted group ring) of G over R, by ?(R) and ?(R _t G) the nil radicals of R and R _t G, respectively, by G _p the p-component of G and by G ₀ the torsion subgroup of G. We prove that:

1. If R is a ring of prime characteristic p, the multiplicative group R* of R is p-divisible and ?(R) = 0, then there exists a twisted group algebra R _{t 1} (G/G _p ) such that R _t G/?(R _t G) ? R _{t 1} (G/G _p ) as R-algebras;

2. If R is a ring of prime characterisitic p and R* is p-divisible, then ?(R _t G) = 0 if and only if ?(R) = 0 and G _p  = 1; and

3. If B(R) = 0, the orders of the elements of G ₀ are not zero divisors in R, H is any group and the commutative twisted group algebra R _t G is isomorphic as R-algebra to some twisted group algebra R _{t 1} H, then R _t G ₀ ? R _{t 1} H ₀ as R-algebras.

     

Some Remarks on Syzygies of Adjoint Line Bundles

In this article, we construct examples of n-folds X carrying an ample line bundle A ∈ Pic X such that property N _p fails for K _X  + (n + 1 + p)A. This shows that the condition of Mukai's conjecture is optimal for every n ≥ 1 and p ≥ 0.     

On Singular Varieties Having an Extremal Secant Line

ABSTRACT

Let X be a nondegenerate subvariety of degree d and codimension e in the projective space ? ⁿ . If X is smooth, any multisecant line to X cuts X along a 0-dimensional scheme of length at most d ? e + 1. Moreover, smooth varieties X having a (d ? e + 1)-secant line (an extremal secant line) have been completely classified, extending del Pezzo and Bertini classification of varieties of minimal degree. In this article, we almost completely classify possibly singular varieties having an extremal secant line, without any assumptions on the singularities of X. First, we show that, if e ≠ 2, a multisecant line to X meets X along a 0-dimensional scheme of length at most d ? e + 1. Then, we completely classify singular varieties having a (d ? e + 1)-secant line for e ≠ 3. A partial result is provided in case e = 3.     

Real Hypersurfaces Having Many Pseudo-hyperplanes

Abstract

Let nand dbe natural integers satisfying n ≥ 3 and d ≥ 10. Let Xbe an irreducible real hypersurface Xin ? ⁿ of degree dhaving many pseudo-hyperplanes. Suppose that Xis not a projective cone. We show that the arrangement ? of all d ? 2 pseudo-hyperplanes of Xis trivial, i.e., there is a real projective linear subspace Lof ? ⁿ (?) of dimension n ? 2 such that L ? Hfor all H ∈ ?. As a consequence, the normalization of Xis fibered over ?¹in quadrics. Both statements are in sharp contrast with the case n = 2; the first statement also shows that there is no Brusotti-type result for hypersurfaces in ? ⁿ , for n ≥ 3.     

Some Maximal Function Fields and Additive Polynomials

We derive explicit equations for the maximal function fields F over 𝔽 _{q ²ⁿ} given by F = 𝔽 _{q ²ⁿ} (X, Y) with the relation A(Y) = f(X), where A(Y) and f(X) are polynomials with coefficients in the finite field 𝔽 _{q ²ⁿ} , and where A(Y) is q-additive and deg(f) = q ⁿ  + 1. We prove in particular that such maximal function fields F are Galois subfields of the Hermitian function field H over 𝔽 _{q ²ⁿ} (i.e., the extension H/F is Galois).     

ON KOSZUL RINGS,SYZYGIES, AND ABELIAN VARIETIES

In this paper we prove the following results: let X be a complex torus and M a line bundle on X; if M satisfies Property N ₁ of Green, then, for every q ≥ 1, the line bundle M^q satisfies Property N_q (precisely we prove a more general result concerning not necessarily linear syzygies); this is a particular case of a conjecture formulated in [1] Rubei, E. 2000. On Syzygies of Abelian Varieties. Trans. A.M.S., 352(6): 2569–2579.  [Google Scholar]; finally we prove that, if M satisfies Property N ₀ and s ≥ 2, then the ring ⊕ _n H ⁰(Y, M^sn ) is Koszul.     

On the Non-Splitting of the Normal Bundle Sequence

In a recent article, Paltin Ionescu and Flavia Repetto proved that if X ? ? ⁿ is a smooth projective variety over ? such that its normal bundle sequence splits over some curve C ? X, then X a linear subspace in ? ⁿ . In this note, we give a purely geometric proof of this result that is valid in arbitrary characteristic.     

On Polarized 3-Folds (X,L) Such That <lowercase > h < /lowercase >0(L) = 2 and the Sectional Genus of (X,L) is Equal to the Irregularity of X

Let X be a smooth complex projective variety of dimension 3 and let L be an ample line bundle on X. In this article, we give a characterization of (X, L) with g(X, L) = q(X) and h⁰(L) = 2, where g(X, L) (resp. q(X)) denotes the sectional genus of (X, L) (resp. the irregularity of X).     

Projective Normality of Special Scrolls

We study the projective normality of a linearly normal special scroll R of degree d and speciality i over a smooth curve X of genus g. We relate it with the Clifford index of the base curve X. If d ≥ 4g ? 2i ? Cliff(X) + 1, i ≥ 3 and R is smooth, we prove that the projective normality of the scroll is equivalent to the projective normality of its directrix curve of minimum degree.     

Syzygies of surfaces of general type

We prove new results on projective normality, normal presentation and higher syzygies for a surface of general type X embedded by adjoint line bundles L _r = K + r B, where B is a base point free, ample line bundle. Our main results determine the r for which L _r has N _p property. In corollaries, we will relate the bounds on r to the regularity of B. Examples in the last section show that several results are optimal.     

Dunford-Pettis like properties on tensor products

In this paper we study equivalent formulations of the DP^? P_p (1 < p < ∞). We show that X has the DP^? P_p if and only if every weakly-p-Cauchy sequence in X is a limited subset of X. We give su?cient conditions on Banach spaces X and Y so that the projective tensor product X ?_π Y, the dual (X ?_? Y)^? of their injective tensor product, and the bidual (X ?_π Y)^?? of their projective tensor product, do not have the DP P_p, 1 < p < ∞. We also show that in some cases, the projective and the injective tensor products of two spaces do not have the DP^? P_p, 1 < p < ∞.     

A Generalized Global Cartan Decomposition: A Basic Example

Suppose G ₁ ?  G are complex linear simple Lie groups. Let  ₁ ?  be the corresponding pair of Lie algebras. For the Killing-orthogonal  of  ₁ in  we have a vector space direct sum  =  ₁⊕ , which generalizes the classical Cartan decomposition on the Lie algebras level. In this article we study the corresponding problem of a ‘generalized global Cartan decomposition’ on the Lie groups level for the pair of groups ( G , G ₁) = (SL (4,?),Sp (2,?)); here  =  (4,?),  ₁ =  (2,?), and  = {X ?  | X ^? = X}, where X? X ^? is the symplectic involution. We prove that G  =  G ₁exp  ∪ i G ₁exp . The key point of the proof is to study in detail the set exp ; and for that purpose we introduce the J-twisted Pfaffian of size 2n defined on the set of all 2n × 2n matrices X satisfying X ^? = X, which is here a natural counterpart of the standard Pfaffian.     

Solvability of a Commutative Algebra which Satisfies (x 2)2 = 0

We studied the solvability of the algebra which satisfies the polynomial identity (x ²)² = 0. We believe that, if A is a finite dimensional commutative algebra over a field F of characteristic not 2 which satisfies (x ²)² = 0 for all x ∈ A, then A is solvable. In this article we proved this when dim  _F A ≤ 7.