Gorenstein liaison of 0-dimensional schemes

 The theory of Gorenstein liaison has been developed during the last 3 years to generalize liaison theory of codimension 2 schemes to schemes of codimension ≥ 3 in a projective space. One of the main open questions in Gorenstein liaison theory is whether any arithmetically Cohen-Macaulay subscheme of ℙ ⁿ is in the Gorenstein liaison class of a complete intersection. In this paper we prove that any set of general points lying on a rational normal scroll surface is in the Gorenstein liaison class of a complete intersection. Received: 21 November 2001 Published online: 24 April 2003 Mathematics Subject Classification (2000): 14M06, 14C20, 14M05     

Notes on varieties of codimension 3 in ℙ N

In this article I describe construction methods for smooth subvarieties of codimension 3 in projective spaces or other ambient spaces. The methods include liaison of 3-folds in ℙ⁶, sections in smooth reflexive sheaves, and Pfaffians of twisted skew-symmetric vector bundle morphisms. I use these methods to construct new families of 3-folds in ℙ⁶, and new codimension 3 submanifolds in ℙ⁸ and ℙ⁹. This article was processed using the LAT_EX macro package with LMAMULT style     

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

Some classes of non general type codimension two subvarieties inP n

We classify smooth subvarieties of codimension twoX⊂P ⁿ , 4≤n≤5, which are arithmetically Cohen-Macaulay and of non general type. By the way we exhibit some classes of non extendable subvarieties. Then we give new proofs of the classification of scrolls inP ⁴; finally we consider smooth surfaces of non general type inP ⁴ arising from rank three vector bundles.

---

Sunto Classifichiamo le sottovarietà lisce di codimensione dueX⊂P ⁿ , 4≤n≤5, aritmeticamente Cohen-Macaulay e non di tipo generale. Nel contempo descriviamo alcune classi di sottovarietà non estendibili. Diamo poi due nuove dimostrazioni della classificazione degli scrolls inP ⁴; infine consideriamo superfici lisce inP ⁴, non di tipo generale, associate a fibrati di rango tre.

     

Compositions of isometric immersions¶in higher codimension

Given a submanifold M ⁿ of Euclidean space ℝ ^{n + p} with codimension p≤6, under generic conditions on its second fundamental form, we show that any other isometric immersion of M ⁿ into ℝ ^{n + p + q} , 0≤q≤n− 2p−1 and 2q≤n+ 1 if q≥ 5, must be locally a composition of isometric immersions. This generalizes several previous results on rigidity and compositions of submanifolds. We also provide conditions under which our result is global. 14 March 2001     

Linear series computing the Clifford index of a projective curve

For a (smooth irreducible) curveC of genus g and Clifford indexc>2 with a linear seriesg _d ^r computing c (so ) it is well known thatc + 2 ≤d ≤2 (c + 2), and if then 2c + 1 ≤g ≤ 2c + 4 unlessd = 2c + 4 in which caseg = 2c + 5. Let c ≥ 0 andg be integers. If 2c + 1 ≤g ≤2c + 4 we prove that for any integerd <g such thatd ≡c mod 2 andc + 2 ≤d < 2(c + 2) there exists a curve of genus g and Clifford index c with a g_d ^r computing c. Ford ≥c + 6 (i.e.r ≥ 3) we construct this curve on a surface of degree 2r-2 in ℙ^r, and ford ≥c + 8 (i.e.r ≥ 4) we show that such a curve cannot be found on a surface in ℙ^r of smaller degree. In fact, if g_d ^r computes the Clifford index c of C such thatc + 8 ≤d ≤ 2c + 3 then the birational morphism defined by this series cannot map C onto a (maybe, singular) curve contained in a surface of degree at most 2r-3 in ℙ^r.     

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.     

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.     

Decomposability criterion for linear sheaves

We establish a decomposability criterion for linear sheaves on ℙ ⁿ . Applying it to instanton bundles, we show, in particular, that every rank 2n instanton bundle of charge 1 on ℙ ⁿ is decomposable. Moreover, we provide an example of an indecomposable instanton bundle of rank 2n − 1 and charge 1, thus showing that our criterion is sharp.     

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     

Number of Singularities of Stable Maps

Sharp estimates for the Ricci curvature of a submanifold M ⁿ of an arbitrary Riemannian manifold N ^n+p are established. It is shown that the equality in the lower estimate of the Ricci curvature of M ⁿ in a space form N ^n+p (c) is achieved only when M ⁿ is quasiumbilical with a flat normal bundle. In the case when the codimension p satisfies 1 ≤ p ≤ n − 3, the only submanifolds in N ^n+p (c) on which the Ricci curvature is minimal are the conformally flat ones with a flat normal bundle.      

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.     

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     

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.     

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

Estimates on Conjectures of Minkowski and woods

Let ℝ ⁿ be the n-dimensional Euclidean space. Let ∧ be a lattice of determinant 1 such that there is a sphere |X| < R which contains no point of ∧ other than the origin O and has n linearly independent points of ∧ on its boundary. A well known conjecture in the geometry of numbers asserts that any closed sphere in ℝ ⁿ of radius $ \sqrt {n/4} $ \sqrt {n/4} contains a point of ∧. This is known to be true for n ≤ 8. Here we give estimates on a more general conjecture of Woods for n ≥ 9. This leads to an improvement for 9 ≤ n ≤ 22 on estimates of Il’in (1991) to the long standing conjecture of Minkowski on product of n non-homogeneous linear forms.     

On classification of orthogonal multiplications à la do carmo-wallach

The space of range-equivalence classes of full orthogonal multiplications F: ℝ ⁿ ×ℝ ⁿ →ℝ ^p , n≤p ≤n ², is shown to be a compact convex body lying in so(n)⊗so(n). Furthermore, the dimension of the space of equivalence classes is determined to be (n ²(n−1)²)/4−n(n−1).     

Maximum principles for the polyharmonic equation on Lipschitz domains

The Agmon-Miranda maximum principle for the polyharmonic equations of all orders is shown to hold in Lipschitz domains in ℝ³. In ℝn,n≥4, the Agmon-Miranda maximum principle andL ^p-Dirichlet estimates for certainp>2 are shown to fail in Lipschitz domains for these equations. In particular if 4≤n≤2m+1 theL ^p Dirichlet problem for Δ ^m fails to be solvable forp>2(n−1)/(n−3). Supported in part by the NSF.     

The genus of space curves

LetC be a curve contained in ℙ _k ³ (k of any characteristic), which is locally Cohen-Macaulay, not contained in a plane and of degreed. We prove thatp _a (C)≤≤((d−2)(d−3))/2. Moreover we show existence of curves with anyd, p _a satisfying this inequality and we characterize those curves for which equality holds.

---

Sunto Si dimostra che seC⊃ℙ _k ³ (k di caratteristica qualunque) é una curva, non piana, localmente Cohen-Macaulay, di gradod, allorap _a (C)≤((d−2)(d−3))/2. Si mostra che questa limitazione è ottimale, e si classificano le curve di genere aritmetico massimale.

     

Embedded Rotational Hypersurfaces with Constant Scalar Curvature in Sn: A Correction to a Statement in M. L. Leite, Manuscripta Math. 67 (1990), 285-304.

We prove that there exist (n − 1)-dimensional compact embedded rotational hypersurfaces with constant scalar curvature (n − 1)(n − 2)S (S > 1) of S ⁿ other than product of spheres for 4 ≤ n ≤ 6. As a result, we prove that Leite’s Assertion was incorrect.The project is supported by the grant No. 10531090 of NSFC.