On the smoothness of the moduli space of mathematical instanton bundles

In this paper we prove that the moduli spaces MI _2n+1(k) of mathematical instanton bundles on ²ⁿ⁺¹ with quantum number k are singular for n 2 and k 3 ,giving a positive answer to a conjecture made by Ancona and Ottaviani in 1993.     

Twistor holomorphic Lagrangian surfaces in the complex projective and hyperbolic planes

We completely classify all the twistor holomorphic Lagrangian immersions in the complex projective plane ², i.e. those Lagrangian immersions such that their twistor lifts to the twistor space over ² are holomorphic. This classification provides a one-parameter family of examples of Lagrangian spheres in ².Research partially supported by a DGICYT grant No. PB91-0731.     

3-Mannigfaltigkeiten im ℙ5 und ihre zugehörigen Stabilen Garben

In this paper we begin to study 3-folds in a projective space of dimension 5. Using results from [9] we give a classification of all 3-folds in ⁵ , up to degree 6. There are only 3 different types of 3-folds in ⁵ of degree 6 which are not complete intersections. These manifolds can be represented as zero schemes of sections in certain (extremal) semistable reflexive sheaves of rank 2 on ⁵ . Finally we obtain examples of stable reflexive sheaves on ⁵ with homologieal dimension 1, which do not belong to the extremal sheaves [10].

---

---

Dies ist ein Teil meiner Habilitationsschrift     

A Remark on Bernstein,Prokhorov, Bennett,Hoeffding, and Talagrand Inequalities

Let X ₁,..., X_n be independent random variables such that {X_j 1}=1 and E X _j=0 for all j. We prove an upper bound for the tail probabilities of the sum M _n=X₁+...+ X_n. Namely, we prove the inequality {M _nx} 3.7 {S_n x}, where S _n=₁+...+ _n is a sum of centered independent identically distributed Bernoulli random variables such that E S _n ² =ME M _n ² and {_k=1}=E S _n ² /(n+E S _n ² ) for all k (we call a random variable Bernoulli if it assumes at most two values). The inequality holds for x at which the survival function x{S _nx} has a jump down. For remaining x, the inequality still holds provided that we interpolate the function between the adjacent jump points linearly or log-linearly. If necessary, in order to estimate {S _nx} one can use special bounds for binomial probabilities. Up to the factor at most 2.375, the inequality is final. The inequality improves the classical Bernstein, Prokhorov, Bennett, Hoeffding, Talagrand, and other bounds.     

Elations and symmetric designs having projective subspaces

Consider symmetric 2-designs D which have an automorphism group G containing sufficiently many elations. This paper investigates the case where there are the least number of elations. Under certain assumptions it is shown that D has a projective subspace and in a particular case D _n,q or D is obtained from _n,q by a process called K-alteration.The results in this paper form part of a PhD thesis submitted by the author to the University of London. The author gratefully acknowledges the support of the Commonwealth Scholarship Commission.     

A note on generic projections

Let X^N=²ⁿ_K be a subvariety of dimension n and P^N a generic point. If the tangent variety TanX is equal to ^N then for generic points x, y of X the projective tangent spaces t_xX and t_yX meet in one point P=P(x,y). The main result of this paper is that the rational map (x,y)P(x,y) is dominant. In other words, a generic point P is uniquely determined by the ramification locus R(_P) of the linear projection _P:X^N–1.This paper was supported by the DFG Schwerpunkt Global methods in complex analysis, MUR and the Research Group GNSAGA of INDAM. This investigation was also supported by the University of Bologna, funds for selected research topics     

On Birational Maps and Jacobian Matrices

One is concerned with Cremona-like transformations, i.e., rational maps from ⁿ to ^m that are birational onto the image Y ^m and, moreover, the inverse map from Y to ⁿ lifts to ^m . We establish a handy criterion of birationality in terms of certain syzygies and ranks of appropriate matrices and, moreover, give an effective method to explicitly obtaining the inverse map. A handful of classes of Cremona and Cremona-like transformations follow as applications.     

Legitimate colorings of projective planes

For a projective plane _n of ordern, let( _n ) denote the minimum numberk, so that there is a coloring of the points of _n ink colors such that no two distinct lines contain precisely the same number of points of each color. Answering a question of A. Rosa, we show that for all sufficiently largen, 5 ( _n ) 8 for every projective plane _n of ordern. Research supported in part by Allon Fellowship and by a grant from the United States Israel Binational Science Foundation     

Normal surfaces of degree 7 in ℙ n

Let Y be a surface of degree 7 of the complex projective space ⁿ , linearly normal and not contained in any hyperplane of ⁿ . The purpose of this paper is to describe the normal singular surfaces of degree 7 embedded in ⁿ , as above. The main contribution of this paper is to describe all normal singular projective surfaces with sectional genus 4.     

Differentiable Connections with Poincar{e} Groups of Local Transformations. {III}

In the canonical smooth fiber bundles :ⁿ⁺¹ⁿ, we study generalized differentiable connections constructed by the author in papers [4] and [5]. Special emphasis is laid on the investigation of the behavior of these connections under local transformations of the classical Poincar{e} groups (1,n) and extended Poincar{e} groups canonically acting in the given connections. We found all first-order nonholonomic affine, ₁, ₂, and _1,2-connections with the groups (1,n) and of local transformations and also constructed classes of the corresponding invariant second-order connections.     

A rigidity theorem for ℙ3(ℂ)

In this paper the following theorem is proved. Let X be a compact complex manifold of dimension 3 which carries 3 algebraically independent meromorphic functions. Assume that X is topologically isomorphic to the 3-dimensional projective space ₃. Then X is biholomorphically equivalent to ₃. In particular any deformation of ₃ is ₃.Dedicated to Karl Stein     

Syzygies of Veronese Embeddings

We prove that the Veronese embedding _O ⁿ (d): ^{n N} with n2, d3 does not satisfy property N _p (according to Green and Lazarsfeld) if p3d–2. We make the conjecture that also the converse holds. This is true for n=2 and for n=d=3.     

The singularH 2,2-invariant quartic surfaces in ℙ3

AnH _2,2-invariant quartic surface in ₃ is a quartic surface in ₃ invariant under the Heisenberg groupH _2,2 of level (2, 2), the family ofH _2,2-invariant quartic surfaces is parametrized by ₄. For each ₄, the corresponding quartic surfaceX will be a Kummer surface, ifX is singular. The equation for { = 0} ₄ parametrizing all Kummer surfaces is well known. We find another more symmetric form (with respect to a 5-dimensional representation of the symmetric group S₆) for this equation.The aim of this note is to describe all singularH _2,2-invariant quartic surfaces in ₃.     

Designs and partial geometries over finite fields

Let be a finite field, and let (, B) be a nontrivial 2-(n, k, 1)-design over . Then each point induces a (k–1)-spread S on /. (, B) is said to be a geometric design if S is a geometric spread on / for each . In this paper, we prove that there are no geometric designs over any finite field .Research partially supported by NSF grant DMS-8703229.     

Local Recognition Of Non-Incident Point-Hyperplane Graphs

Let be a projective space. By H() we denote the graph whose vertices are the non-incident point-hyperplane pairs of , two vertices (p,H) and (q,I) being adjacent if and only if p I and q H. In this paper we give a characterization of the graph H() (as well as of some related graphs) by its local structure. We apply this result by two characterizations of groups G with PSL _n ( )GPGL _n ( ), by properties of centralizers of some (generalized) reflections. Here is the (skew) field of coordinates of .     

Differentiable structures with zero entropy on simply connected 4-manifolds

We show that a closed 4-dimensional simply connected topological manifoldM admits a differentiable structure with aC Riemannian metric whose geodesic flow has zero topological entropy if and only ifM is homeomorphic toS ⁴, ²,S ²×S ², or ²#².     

Local and relative Gromov-Witten invariants of the projective plane

Let B be a line or a smooth conic in ². We give a recursive formula for certain linear combinations of the genus 0 relative Gromov-Witten invariants of (²,B). After change of sign, this is equivalent to the WDVV equation for the equivariant local Gromov-Witten invariants of ² in ᵊA(–B). We show that these invariants coincide up to sign. Mathematics Subject Classification (2000):14N35, 14N10     

The Hilbert function of generic plane sections of curves of ℙ3

Summary A characteristic condition is given on a zero-dimensional differentiable 0-sequenceH={h _i}_i0,h ₁3, in order to be the Hilbert function of a generic plane section of a reduced irreducible curve of ³, hence of points of ² with the uniform position property. In this way an answer is given to some question stated by Harris in [Ha₂].The result is obtained by constructing a smooth irreducible arithmetically Cohen-Macaulay curve in ³ whose generic plane section has an assigned Hilbert function satisfying that condition.A.M.S. (1980) Subject classification. Primary 14C20, 14H99. Secondary 14C05     

An Inequality for Tail Probabilities of Martingales with Bounded Differences

Let M _n =X₁+...+X_n be a martingale with bounded differences X_m=M_m-M_m-1 such that {|X_m| _m}=1 with some nonnegative _m. Write ²= ₁ ² + ... + _n ² . We prove the inequalities {M _nx}c(1-(x/)), {M _n x} 1- c(1- (-x/)) with a constant . The result yields sharp inequalities in some models related to the measure concentration phenomena.     

Note on Fano 3-folds

LetE be an ample vector bundle of rankr on a compact complex manifoldX of dimension 3 with detE=–K _x, andi(X) the index ofX. Then it is proved in this note thati(X)r unless (X,E)(¹ × ²,p*O(1) q*), wherep,q are the projections and is isomorphic toO(2) O(1) or the tangent bundleT of ². This result gives a counterexample to the conjecture formed by T. Peternell.