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.     

An affirmative answer to a question of Ciliberto

We give an example of a nondegeneraten-dimensional smooth projective varietyX inP ²ⁿ⁺¹ with the canonical bundle ample a varietyX whose tangent variety TanX has dimension less than 2n over an algebraically closed field of any characteristic whenn≥9. This varietyX is not ruled by lines and the embedded tangent space at a general point ofX intersectsX at some other points, so that this yields an affirmative answer to a question of Ciliberto.     

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.     

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.     

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.     

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.     

The separability of the Gauss map and the reflexivity for a projective surface

It is known that if a projective variety X in P ^N is reflexive with respect to the projective dual, then the Gauss map of X defined by embedded tangent spaces is separable, and moreover that the converse is not true in general. We prove that the converse holds under the assumption that X is of dimension two. Explaining the subtleness of the problem, we present an example of smooth projective surfaces in arbitrary positive characteristic, which gives a negative answer to a question raised by S. Kleiman and R. Piene on the inseparability of the Gauss map.      

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.     

The injectivity of the extended Gauss map of general projections of smooth projective varieties

Let X be a smooth n-dimensional projective variety embedded in some projective space ℙ ^N over the field ℂ of the complex numbers. Associated with the general projection of X to a space ℙ ^N-m (N-m>n+1) one defines an extended Gauss map (in case N-m>2n-1 this is the Gauss map of the image of X under the projection). We prove that is smooth. In case any two different points of X do have disjoint tangent spaces then we prove that is injective.     

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.     

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).     

A note on rational normal curves totally tangent to a Hermitian variety

Let q be a power of a prime integer p, and let X be a Hermitian variety of degree q + 1 in the n-dimensional projective space. We count the number of rational normal curves that are tangent to X at distinct q + 1 points with intersection multiplicity n. This generalizes a result of Segre on the permutable pairs of a Hermitian curve and a smooth conic.     

Local rigidity of quasi-regular varieties

For a G-variety X with an open orbit, we define its boundary ∂ X as the complement of the open orbit. The action sheaf S _X is the subsheaf of the tangent sheaf made of vector fields tangent to ∂ X. We prove, for a large family of smooth spherical varieties, the vanishing of the cohomology groups H ⁱ (X, S _X ) for i > 0, extending results of Bien and Brion (Compos. Math. 104:1–26, 1996). We apply these results to study the local rigidity of the smooth projective varieties with Picard number one classified in Pasquier (Math. Ann., in press).     

Minimization of convex functions on the convex hull of a point set

A basic algorithm for the minimization of a differentiable convex function (in particular, a strictly convex quadratic function) defined on the convex hull of m points in R ⁿ is outlined. Each iteration of the algorithm is implemented in barycentric coordinates, the number of which is equal to m. The method is based on a new procedure for finding the projection of the gradient of the objective function onto a simplicial cone in R ^m , which is the tangent cone at the current point to the simplex defined by the usual constraints on barycentric coordinates. It is shown that this projection can be computed in O(m log m) operations. For strictly convex quadratic functions, the basic method can be refined to a noniterative method terminating with the optimal solution.     

Focal loci of algebraic varieties i

The focal locus ∑_x of an affine variety X is roughly speaking the (projective) closure of the set of points O for which there is a smooth point x ∈X and a circle with centre O passing through x which osculates X inx. Algebraic geometry interprets the focal locus as the branching locus of the endpoint map ∈ between the Euclidean normal bundle N_x and the projective ambient space (∈ sends the normal vector O - x to its endpoint O), and in this paper we address two general problems:.

1)Characterize the"degenerate"case where the focal locus is not a hyper surface.

2)Calculate, in the case where ∑x is a hypersurface, its degree (with multiplicity).     

Exponential rarefaction of real curves with many components

Given a positive real Hermitian holomorphic line bundle L over a smooth real projective manifold X, the space of real holomorphic sections of the bundle L ^d inherits for every d∈ℕ^∗ a L ²-scalar product which induces a Gaussian measure. When X is a curve or a surface, we estimate the volume of the cone of real sections whose vanishing locus contains many real components. In particular, the volume of the cone of maximal real sections decreases exponentially as d grows to infinity.     

A Generalization of a Lemma of Sullivan

Consider an irreducible polynomial of the form f(X) = X ^p  ? aX ? b ∈ 𝔽[X] and α a root of f(X), where 𝔽 is a field of characteristic p. In 1975, F.J. Sullivan stated a lemma that provides the trace, taken with respect to the extension 𝔽(α)/𝔽, of elements of the form α ⁿ , where 0 ≤ n ≤ p ² ? 1. We present a generalization of Sullivan's Lemma and provide another proof of the original lemma. We explain how computing Tr(α ⁿ ) for n < p ^r can be reduced to computing the traces Tr(α ^m ) for all m ≤ r(p ? 1).     

On the Unit Groups of Commutative Modular Group Algebras of KT-Groups

ABSTRACT

In this article, we prove that the inner projection of a projective curve with higher linear syzygies has also higher linear syzygies. Specifically, if a very ample line bundle ? on a smooth projective curve X satisfies property N _p for p  ≥  1 and H ¹ (? ^? 2) =  0 , then ?( ?  q ) satisfies property N _{p ? 1} for any point q  ∈  X . We also give simple proofs of well-known theorems about syzygies and raise some questions related to the line bundles of degree 2 g which do not satisfy property N ₁ .     

Existence of a non‐reflexive embedding with birational Gauss map for a projective variety

We study the relationship between the generic smoothness of the Gauss map and the reflexivity (with respect to the projective dual) for a projective variety defined over an algebraically closed field. The problem we discuss here is whether it is possible for a projective variety X in ℙ^N to re‐embed into some projective space ℙ^M so as to be non‐reflexive with generically smooth Gauss map. Our result is that the answer is affirmative under the assumption that X has dimension at least 3 and the differential of the Gauss map of X in ℙ^N is identically zero; hence the projective varietyX re‐embedded in ℙ^M yields a negative answer to Kleiman–Piene's question: Does the generic smoothness of the Gauss map imply reflexivity for a projective variety? A Fermat hypersurface in ℙ^N with suitable degree in positive characteristic is known to satisfy the assumption above. We give some new, other examples of X in ℙ^N satisfying the assumption. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Restriction of Stable Rank Two Vector Bundles in Arbitrary Characteristic

Let X be a smooth variety defined over an algebraically closed field of arbitrary characteristic and 𝒪 _X (H) be a very ample line bundle on X. We show that for a semistable X-bundle E of rank two, there exists an integer m depending only on Δ(E) · H ^dim(X)?2 and H ^dim(X) such that the restriction of E to a general divisor in |mH| is again semistable. As corollaries, we obtain boundedness results, and weak versions of Bogomolov's Theorem and Kodaira's vanishing theorem for surfaces in arbitrary characteristic.