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     

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.     

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 .     

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.     

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.     

Automorphismen und Modulraum galoisscher dreiblättriger Überlagerungen

The points of the modulus space M _g ² of compact hyperelliptic Riemann surfaces of genus^g g can be identified, with the PGL (2,)-orbits in the set of all subsets of ¹, which contain 2g+2 elements. The automorphism group Aut(X) of such a surface contains a canonical involution J, and Aut(X)/J is isomorphic to the finite subgroup of Aut(¹), whose elements permute the critical values of some twofold cover. In this paper we derive similar results for surfaces X, which admit a threefold Galois cover over ¹.

---

---

Herrn Prof. Dr. Dr. h.c. Karl Stein in Dankbarkeit gewidmet     

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 ²#².     

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     

Monads and moduli of vector bundles

Horrocks has shown that every vector bundle on ₂ and ₃ admits a certain double-ended resolution by line bundles, which he called a monad. We reprove Horrocks' results taking much care of uniqueness of the monads so obtained. This technique should be useful for constructing moduli spaces of stable vector bundles.     

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.     

OnC 2-diffeomorphisms of the circle which are of type III1

For every irrational number [0, 1) which is not of constant type we construct aC ²-diffeomorphism of the circle with rotation number which is of type III₁. This diffeomorphism can be chosen arbitrarily close to the rotationR . Our methods also allow us to construct, for every Liouville number [0, 1), aC -diffeomorphism of the circle with rotation number which is of type III₁.     

Аппроксимация субга рмонических функций

The following statement is proved. Letu be a subharmonic function in the region and _u the associated measure. Then there exists a functionf holomorphic in and such that if _f is the associated measure of the function in ¦f¦, then ¦u(z)–ln¦f(z)¦ A¦ln s¦+B¦ln diam¦+ s(¦lns¦+1)+C. hold at every point z for which the setsD(z, t)={w: ¦w–z¦},t(0,s) lie in and satisfy(D(z, t))t both for= _u and for= _f . In the case where is an unbounded region, In diam should be replaced by ln ¦z¦. The constants, , do not depend on andu.

---

---

. . .     

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.     

Northcott's theorem on heights I. A general estimate

Given a pointP=(a _o:...:a _n) of projective space ⁿ = ⁿ (A) whereA is the field of algebraic numbers, letd(P) be its degree andH(P) its absolute multiplicative height. Northcott's Theorem says that givend, n andX, there are only finitely many pointsP ⁿ withd(P)d andH(P)X. We will show that there are at mostc(d, n)X ^d(d+n) such points.Supported in part by NSF grant DMS-9108581.     

Flex Curves and their Applications

In this paper, we define the notion of the flex curve F ⁽⁾(f; P) at a nonsingular point P of a plane curve Ca. We construct interesting plane curves using a cyclic covering transform, branched along F ⁽⁾(f; P). As an application, we show the moduli space of projective curves of degree 12 with 27 cusps has at least three irreducible components. Simultaneously, we give an example of Alexander-equivalent Zariski pair of irreducible curves.     

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.     

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     

Automorphisms of a Generic Jacobian Kummer Surface

For a generic quartic surface F in ³ with sixteen nodes, we shall prove that every birational automorphism of F is induced by a Cremona transformation of ³.