title: The Monomial-Divisor Mirror Map

abstract: For each family of Calabi-Yau hypersurfaces in toric varieties, Batyrev has proposed a possible mirror partner (which is also a family of Calabi-Yau hypersurfaces). We explain a natural construction of the isomorphism between certain Hodge groups of these hypersurfaces, as predicted by mirror symmetry, which we call the monomial-divisor mirror map. We indicate how this map can be interpreted as the differential of the expected mirror isomorphism between the moduli spaces of the two Calabi-Yau manifolds. We formulate a very precise conjecture about the form of that mirror isomorphism, which when combined with some earlier conjectures of the third author would completely specify it. We then conclude that the moduli spaces of the nonlinear sigma models whose targets are the different birational models of a Calabi-Yau space should be connected by analytic continuation, and that further analytic continuation should lead to moduli spaces of other kinds of conformal field theories. (This last conclusion was first drawn by Witten.)


title: Towards the Mirror Symmetry for Calabi-Yau Complete intersections in Gorenstein Toric Fano Varieties

abstract: We propose a combinatorical duality for lattice polyhedra which conjecturally gives rise to the pairs of mirror symmetric families of Calabi-Yau complete intersections in toric Fano varieties with Gorenstein singularities. Our construction is a generalization of the polar duality proposed by Batyrev for the case of hypersurfaces.


title: General hyperplane sections of nonsingular flops in dimension 3

abstract: We give a simple proof of a theorem of Katz and Morrison.


title: Dual Polyhedra and Mirror Symmetry for Calabi-Yau Hypersurfaces in Toric Varieties

abstract: We consider families ${\cal F}(\Delta)$ consisting of complex $(n-1)$-dimensional projective algebraic compactifications of $\Delta$-regular affine hypersurfaces $Z_f$ defined by Laurent polynomials $f$ with a fixed $n$-dimensional Newton polyhedron $\Delta$ in $n$-dimensional algebraic torus ${\bf T} =({\bf C}^*)^n$. If the family ${\cal F}(\Delta)$ defined by a Newton polyhedron $\Delta$ consists of $(n-1)$-dimensional Calabi-Yau varieties, then the dual, or polar, polyhedron $\Delta^*$ in the dual space defines another family ${\cal F}(\Delta^*)$ of Calabi-Yau varieties, so that we obtain the remarkable duality between two {\em different families} of Calabi-Yau varieties. It is shown that the properties of this duality coincide with the properties of {\em Mirror Symmetry} discovered by physicists for Calabi-Yau $3$-folds. Our method allows to construct many new examples of Calabi-Yau $3$-folds and new candidats for their mirrors which were previously unknown for physicists. We conjecture that there exists an isomorphism between two conformal field theories corresponding to Calabi-Yau varieties from two families ${\cal F}(\Delta)$ and ${\cal F}(\Delta^*)$.


title: Quantum Cohomology Rings of Toric Manifolds

abstract: We compute the quantum cohomology ring $H^*_{\varphi}({\bf P}, {\bf C})$ of an arbitrary $d$-dimensional smooth projective toric manifold ${\bf P}_{\Sigma}$ associated with a fan $\Sigma$. The multiplicative structure of $H^*_{\varphi}({\bf P}_{\Sigma}, {\bf C})$ depends on the choice of an element $avarphi$ in the ordinary cohomology group $H^2({\bf P}_{\Sigma}, {\bf C})$. There are many properties of the quantum cohomology rings $H^*_{\varphi}({\bf P}_{\Sigma}, {\bf C})$ which are supposed to be valid for quantum cohomology rings of K\"ahler manifolds


title: Teichm\"uller Theory and the Universal Period Mapping via Quantum Calculus and the $H^{1/2}$ Space on the Circle

abstract: The Universal Teichm\"uller Space, $T(1)$, is a universal parameter space for all Riemann surfaces. In earlier work of the first author it was shown that one can canonically associate infinite- dimensional period matrices to the coadjoint orbit manifold $Diff(S^1)/Mobius(S^1)$ -- which resides within $T(1)$ as the (Kirillov-Kostant) submanifold of ``smooth points'' of $T(1)$. We now extend that period mapping $\Pi$ to the entire Universal Teichm\"uller space utilizing the theory of the Sobolev space $H^{1/2}(S^1)$. $\Pi$ is an equivariant injective holomorphic immersion of $T(1)$ into Universal Siegel Space, and we describe the Schottky locus utilizing Connes' ``quantum calculus''. There are connections to string theory. Universal Teichm\"uller Space contains also the separable complex submanifold $T(H_\infty)$ -- the Teichm\"uller space of the universal hyperbolic lamination. Genus-independent constructions like the universal period mapping proceed naturally to live on this completion of the classical Teichm\"uller spaces. We show that $T(H_\infty)$ carries a natural convergent Weil-Petersson pairing.

categories: alg-geom funct-an hep-th math.AG math.FA


title: Torsion Sections of Elliptic Surfaces

abstract: Given a torsion section of a semistable elliptic surface, we prove equidistribution results for the components of singular fibers which are hit by the section, and for the root of unity (identifying the zero component with ${\Bbb C}$) which is hit by the section in case the section hits the zero component.


title: Initial ideals, Veronese subrings, and rates of algebras

abstract: We show that high Veronese subrings of any commutative graded ring have a Grobner basis with all relations of degree 2. (The d-th Veronese subring of a ring A_0 + A_1 + A_2 + ... is the ring A_0 + A_d + A_{2d} + ...; ``high'' means we take d sufficiently large, say at least half the regularity of the ideal defining the original ring.) This gives another proof of Backelin's theorem that such Veronese subrings are Koszul algebras (= wonderful rings), i.e., that the minimal resolution of the residue field of such a ring is linear.


title: A Propos de l'Existence de Fibr\'es Stables sur les Surfaces

abstract: We prove the existence (in characteristic 0) on every polarized (smooth, projective and connected) surface of stable bundles of rank $r\geq 2$, arbitrary first Chern class and large enough $c_2$.


title: On Banica sheaves and Fano manifolds

abstract: In the present paper we discuss coherent sheaves of rank > 1 whose projectivization gives rise to smooth varieties - varieties of this type are also called smooth scrolls. We prove some basic properties of these varieties and we give some pertinent examples. We classify Fano manifolds of large index which are of this type.


title: Projective Degenerations of K3 Surfaces, Gaussian Maps, and Fano Threefolds

abstract: In this article we exhibit certain projective degenerations of smooth $K3$ surfaces of degree $2g-2$ in $\Bbb P^g$ (whose Picard group is generated by the hyperplane class), to a union of two rational normal scrolls, and also to a union of planes. As a consequence we prove that the general hyperplane section of such $K3$ surfaces has a corank one Gaussian map, if $g=11$ or $g\geq 13$. We also prove that the general such hyperplane section lies on a unique $K3$ surface, up to projectivities. Finally we present a new approach to the classification of prime Fano threefolds of index one, which does not rely on the existence of a line.


title: Geometric height inequality on varieties with ample cotangent bundles

abstract: Let F be a function field of one variable over an algebraically closed field of characteristic zero, X a geometrically irreducible smooth projective variety over F, and L a line bundle on X. In this note, we will prove that if the contangent bundle of X is ample and X is non-isotrivial, then there are a proper closed algebraic set Y of X and a constant A > 0 such that h_L(P) <= A d(P) + O(1) for all P \in X(\bar{F}) \ Y(\bar{F}), where h_L(P) is a geometric height of P with respect to L and d(P) is the geometric logarithmic discriminant of P. As corollary of the above height inequality, we can recover Noguchi's theorem, i.e. there is a non-empty Zariski open set U of X with U(F) = \emptyset.


title: On discrete Zariski-dense subgroups of algebraic groups

abstract: We investigate for which linear-algebraic groups (over the complex numbers or any local field) there exists subgroups which are dense in the Zariski topology, but discrete in the Hausdorff topology. For instance, such subgroups exist for every non-solvable complex group.


title: Irreducibility of Moduli Spaces of Vector Bundles on Birationally Ruled Surfaces

abstract: Let $S$ be a birationally ruled surface. We show that the moduli schemes $M_S(r,c_1,c_2)$ of semistable sheaves on $S$ of rank $r$ and Chern classes $c_1$ and $c_2$ are irreducible for all $(r,c_1,c_2)$ provided the polarization of $S$ used satisfies a simple numerical condition. This is accomplished by proving that the stacks of prioritary sheaves on $S$ of fixed rank and Chern classes are smooth and irreducible.


title: Surfaces of Degree 10 in the Projective Fourspace via Linear Systems and Linkage

abstract: The paper discusses the classification of surfaces of degree 10 and sectional genus 9 and 10. The surfaces of degree at most 9 are described through classical work dating from the last century up to recent years, while surfaces of degree 10 and other sectional genera are studied elsewhere. We use relations between multisecants, linear systems, syzygies and linkage to describe the geometry of each surface. We want in fact to stress the importance of multisecants and syzygies for the study of these surfaces. Adjunction, which provided efficient arguments for the classification of surfaces of smaller degrees, here appears to be less effective and will play almost no role in the proofs. We show that there are 8 different families of smooth surfaces of degree 10 and sectional genus 9 and 10. The families are determined by numerical data such as the sectional genus, the Euler characteristic, the number of 6-secants to the surface and the number of 5-secants to the surface which meet a general plane. For each type we describe the linear system giving the embedding in P^4, the resolution of the ideal, the geometry of the surface in terms of curves on the surface and hypersurfaces containing the surface, and the liaison class; in particular we find minimal elements in the even liaison class. Each type corresponds to an irreducible, unirational component of the Hilbert scheme, and the dimension is computed.


title: On the Picard Number of Fano 3-Folds with Terminal Singularities

abstract: We prove the following main result: Let X be a Fano 3-fold with terminal Q-factorial singularities and X does not have a small extremal ray and a face of Kodaira dimension 1 or 2 for Mori polyhedron of X. Then the Picard number \rho (X) < 8.


title: Spin polynomial invariants for Dolgachev surfaces

abstract: We consider the spin polynomial invariants for bundles with c_2=2 and c_1 = K_S + 2nk a rational mutiple of the canonical divisor on a Dolgacev surface. It is shown that the chamber structure can be controlled so that the polynomials give diffeomorphism invariants of Dolgachev surfaces of the form q_S(n) = a(n)Q^2 + b(n)Qk^2 + c(n)k^4. The two leading coefficients are computed.


title: On Brauer Groups of Real Enriques Surfaces

abstract: Let Y be a real Enriques surface, _2Br(Y) the subgroup of elements of order 2 of Br(Y), and s, s_{or}, and s_{nor} the number of all connected, connected orientable, and connected non-orientable components of Y(R) respectively. Using universal covering K3-surface X of Y, we connect dim _2Br(Y) with the s, s_{or} and s_{nor}. As a geometric corollary of our considerations, we show that s \le 6 and s_{nor} \le 4.


title: On the Brauer Group of Real Algebraic Surfaces

abstract: Let X be a real projective algebraic manifold, s numerates connected components of X(R) and _2Br(X) the subgroup of elements of order 2 of the cohomological Brauer group Br(X). We study the natural homomorphism \xi : _2Br(X) \to (Z/2)^s and prove that \xi is epimorphic if H^3(X(C)/G;Z/2) \to H^3(X(R);Z/2) is injective. Here G=Gal(C/R). For an algebraic surface X with H^3(X(C)/G;Z/2)=0 and X(R)\not=\emptyset, we give a formula for dim _2Br(X). As a corollary, for a real Enriques surfaces Y, the \xi is epimorphic and dim _2Br(Y)=2s-1 if both liftings of the antiholomorphic involution of Y to the universal covering K3- surface X have non-empty sets of real points (this is the general case). For this case, we also give a formula for the number s_{nor} of non-orientable components of Y which is very important for the topological classification of real Enriques surfaces.


title: On the Topological Classification of Real Enriques Surfaces. I

abstract: This note contains preliminary calculation of topological types or real Enriques surfaces. We realize 59 topological types of real Enriques surfaces (Theorem 6) and show that all other topological types belong to the list of 21 topological types (Theorem 7). In fact, our calculation contains much more information which is probably useful to constract or prohibit unknown topological types.


title: Remarks on Ein-Lazarsfeld criterion of spannedness of adjoint bundles of polarized threefolds

abstract: Let B be a nef and big line bundle on a smooth complex threefold X with canonical bundle K. Let x be a point on X and suppose that BC\ge3 for any curve C passing x, B^2S\ge7 for any surface S containing x, and B^3\ge51. Then K+B is spanned at x. (Ein-Lazarsfeld proved the assertion assuming B^3\ge92.) Corollary: K+3L is spanned if L is an ample line bundle with L^3>1.


title: The Functor of a Smooth Toric Variety

abstract: A map Y -> P^n is determined by a line bundle quotient of (O_Y)^{n+1}. In this paper, we generalize this description to the case of maps from Y to an arbitrary smooth toric variety. The data needed to determine such a map consists of a collection of line bundles on Y together with a section of each line bundle. Further, the line bundles must satisfy certain compatbility conditions, and the sections must be nondegenerate in an appropriate sense. In the case of maps from P^m to a smooth toric variety, we get an especially simple description that generalizes the usual way of specifying maps between projective spaces in terms of homogeneous polynomials (of the same degree) that don't vanish simultaneously.


title: Complete ideals defined by sign conditions and the real spectrum of a two-dimensional local ring

abstract: This paper is about the local geometry of a real surfaces. It introduces machinery for studying families of subsets which are determined by conditions which are similar to base conditions, but also involve positivity/non-negativity. The methods used are the real spectrum and Zariski's theory of complete ideals.


title: Thickening Calabi-Yau moduli spaces

abstract: We describe a kind of deformation of the anti-DeRham algebra on a Calabi-Yau manifold $X$. These are in 1-1 correspondence with the total cohomology $\oplus H^i (X, \C)$.


title: On Koszul property of the homogeneous coordinate ring of a curve

abstract: The following corollary has been added: for general tetragonal curve $C$ of genus $g\ge 9$ the homogeneous coordinate ring of $C$ defined by the line bundle $K(-T)$, where $K$ is the canonical class, $T$ is the tetragonal series, is Koszul. Also some misprints are corrected.


title: On the Hilbert Schemes of Canonically-Embedded Curves of Genus 5 and 6

abstract: A canonically-embedded curve of genus $g$ is a pure 1-dimensional, non-degenerate subscheme $C$ of ${\bf P}^{g-1}$ over an algebraically closed field $k$, for which ${\cal O}_C(1) \cong \omega_C$, (the dualizing sheaf)$ and $h^0(C, {\cal O}_C) = 1$, $h^0(C, \omega_C) = g$. The singularities of $C$ (if any) are Gorenstein, and $C$ is connected of degree $2g-2$ and arithmetic genus $g$. In a recent paper, Schreyer has proved that Petri's normalization of the homogeneous ideal $I(C)$ of a smooth canonically-embedded curve can be also carried out for singular curves, provided that the curve has a simple $(g-2)$-secant (a linear ${\bf P}^{g-3}$ intersecting $C$ transversely at exactly $g-2$ (smooth) points). We use the Petri normalization to study the Hilbert scheme of curves of degree $2g-2$ and arithmetic genus $g$ in ${\bf P}^{g-1}$ in the low-genus cases $g = 5,6$. The main results are that the Hilbert points of all curves for which Petri's approach applies lie on one irreducible component of the Hilbert scheme in these cases. (The same is not true for $g$ sufficiently large.)


title: An algorithmic criterion for basicness in dimension 2

abstract: We give a constructive procedure to check basicness of open (or closed) semialgebraic sets in a compact, non singular, real algebraic surface $X$. It is rather clear that if a semialgebraic set $S$ can be separated from each connected component of $X\setminus(S\cup\frz S)$ (when $\frz S$ stands for the Zariski closure of $(\ol S\setminus{\rm Int}(S))\cap{\rm Reg}(X)$), then $S$ is basic. This leads to associate to $S$ a finite family of sign distributions on $X\setminus\frz S$; we prove the equivalence between basicness and two properties of these distributions, which can be tested by an algorithm. There is a close relation between these two properties and the behaviour of fans in the algebraic functions field of $X$ associated to a real prime divisor, which gives an easy proof, for a general surface $X$, of the well known 4-elements fan's criterion for basicness (Brocker, Andradas-Ruiz). Furthermore, if the criterion fails, using the description of fans in dimension 2, we find an algorithmic method to exhibit the failure. Finally, exploiting this thecnics of sign distribution we give one improvement of the 4-elements fan's criterion of Brocker to check if a semialgebraic set is principal.


title: Hyperbolicity of the complement of plane algebraic curves

abstract: The paper is a contribution of the conjecture of Kobayashi that the complement of a generic plain curve of degree at least five is hyperbolic. The main result is that the complement of a generic configuration of three quadrics is hyperbolic and hyperbolically embedded as well as the complement of two quadrics and a line.


title: On the Hyperbolicity of the Complements of Curves in Algebraic Surfaces: The Three Component Case

abstract: The paper is a contribution to the conjecture of Kobayashi that the complement of a generic curve in the projective plane is hyperbolic, provided the degree is at least five. Previously the authors treated the cases of two quadrics and a line and three quadrics. The main results are Let C be the union of three curves in P_2 whose degrees are at least two, one of which is at least three. Then for generic such configurations the complement of C is hyperbolic and hyperbolically embedded. The same statement holds for complements of curves in generic hypersurfaces X of degree at least five and curves which are intersections of X with hypersurfaces of degree at least five. Furthermore results are shown for curves on surfaces with picard number one.


title: Rational curves on Calabi-Yau threefolds

abstract: This note is a survey of the enumerative geometry of rational curves on Calabi-Yau threefolds, based on a talk given by the author at the May 1991 Workshop on Mirror Symmetry at MSRI. An earlier version appeared in "Essays on Mirror Manifolds"; this version corrects typographical errors that appeared in print, gives a brief update of related progress during the last two years in the form of footnotes, and has more and updated references. (To appear in the second edition of Essays on Mirror Manifolds.)


title: On the Harder-Narasimhan Filtration for Coherent Sheaves on P2: I

abstract: Let E be a torsion-free sheaf on P2. We give an effective method which uses the Hilbert function of E to construct a weak version of the Harder-Narasimhan filtration of a torsion-free sheaf on P2 subject only to the condition that E be sufficiently general among sheaves with that Hilbert function. This algorithm uses on a generalization of Davis' decomposition lemma to higher rank.


title: Components of the Stack of Torsion-Free Sheaves of Rank 2 on Ruled Surfaces

abstract: Let S be a ruled surface without sections of negative self-intersection. We classify the irreducible components of the moduli stack of torsion-free sheaves of rank 2 sheaves on S. We also classify the irreducible components of the Brill-Noether loci in Hilb^N(P1xP1) given by W_N^0(D)={[X] | h^1(I_X(D)) >= 1 } for D an effective divisor class. Our methods are also applicable to P2 giving new proofs of theorems of Stromme (slightly extended) and Coppo.


title: Enumeration of $n$-fold tangent hyperplanes to a surface

abstract: For each $1\leq n\leq6$ we present formulas for the number of $n-$nodal curves in an $n-$dimensional linear system on a smooth, projective surface. This yields in particular the numbers of rational curves in the system of hyperplane sections of a generic $K3-$surface imbedded in \p{n} by a complete system of curves of genus $n$ as well as the number {\bf17,601,000} of rational ({\em singular}) plane quintic curves in a generic quintic threefold.


title: Binomial Ideals

abstract: We investigate the structure of ideals generated by binomials (polynomials with at most two terms) and the schemes and varieties associated to them. The class of binomial ideals contains many classical examples from algebraic geometry, and it has numerous applications within and beyond pure mathematics. The ideals defining toric varieties are precisely the binomial prime ideals. Our main results concern primary decomposition: If $I$ is a binomial ideal then the radical, associated primes, and isolated primary components of $I$ are again binomial, and $I$ admits primary decompositions in terms of binomial primary ideals. A geometric characterization is given for the affine algebraic sets that can be defined by binomials. Our structural results yield sparsity-preserving algorithms for finding the radical and primary decomposition of a binomial ideal.


title: Holomorphic functions on an algebraic group invariant under a Zariski-dense subgroup

abstract: Let G be complex linear-algebraic group, H a subgroup, which is dense in G in the Zariski-topology. Assume that G/[G,G] is reductive and furthermore that (1) G is solvable, or (2) the semisimple elements in G'=[G,G] are dense. Then every H-invariant holomorphic function on G is constant. If G=G', furthermore every H-invariant meromorphic or plurisubharmonic function is constant. Finally an example of Margulis is used to show the existence of an algebraic group G with G=G' such that there exists a Zariski-dense discrete subgroup without any semisimple element.


title: The Fundamental Group of Some Siegel Modular Threefolds

abstract: Let A be the moduli space of (1,p)-polarised abelian surfaces with a level structure, for p an odd prime. Let X be a desingularisation of any algebraic compactification of A. Then X is simply-connected.


title: Matrix identities connected with the jacobian conjecture

abstract: We give necessary and sufficient conditions, in the form of matrix identities, for a polynomial f in C[X,Y] to be a component of a polynomial automorphism of C^2 and to be a component of a Keller polynomial mapping of C^2, respectively ((f,g) is a Keller polynomial mapping iff Jac(f,g) = 1).


title: Stable cohomology of the mapping class group with symplectic coefficients and of the universal Abel-Jacobi map

abstract: This replacement corrects statement and proof of the main result. Also, a section on the universal Abel-Jacobi map has been added.


title: A common generalization of the Fr\"olicher-Nijenhuis bracket and the Schouten bracket for symmetry multi vector fields

abstract: There is a canonical mapping from the space of sections of the bundle $\wedge T^\ast M\otimes ST\ M$ to $\Omega(T^\ast M ; T(T^\ast M))$. It is shown that this is a homomorphism on $\Omega(M;TM) for the Fr\"olicher-Nijenhuis brackets, and also on $\Gamma(ST\ M)$ for the Schouten bracket of symmetric multi vector fields. But the whole image is not a subalgebra for the Fr\"olicher-Nijenhuis bracket on $\Omega(T^\ast M;T(T^\ast M))$.


title: A blow-up construction and graph coloring

abstract: Given a graph G (or more generally a matroid embedded in a projective space), we construct a sequence of varieties whose geometry encodes combinatorial information about G. For example, the chromatic polynomial of G (giving at each m>0 the number of colorings of G with m colors, such that no adjacent vertices are assigned the same color) can be computed as an intersection product between certain classes on these varieties, and other information such as Crapo's invariant find a very natural geometric counterpart. The note presents this construction, and gives `geometric' proofs of a number of standard combinatorial results on the chromatic polynomial.


title: Stable triples, equivariant bundles and dimensional reduction

abstract: This is a resubmission of preprint 9401008 , which has some TeXnical errors introduced by the "reform" procedure (designed to avoid precisely these problems!). The original can be formatted by editing out the messages "%% following line cannot be broken..." at line 1674. This problem has been corrected in the current version. The content of the paper has not been changed in any way. My aplogies for any inconvenience caused. SB


title: The Connectedness of Space Curve Invariants

abstract: It is a result of Gruson and Peskine that the invariants of a set points in $\ptwo$ in general position are connected. Associated to a space curve there are sequences of invariants which generalize the invariants of points in $\ptwo$. The main result of this paper is to show that the invariants of reduced, irreducible, non-degenerate curves in $\pthree$ also satisfy a connectedness property. This result greatly restricts the kinds of Borel-fixed monomial ideals which can occur as generic initial ideals of such curves and thus gives us more control over their Hilbert functions.


title: Diagram Method for 3-Folds and its Application to Kahler Cone and Picard Number of Calabi-Yau 3-Folds, I. with Appendix by Vyacheslav V. Shokurov: "Anticanonical boundedness for curves"

abstract: We prove the general diagram method theorem valid for the quite large class of 3-folds with Q-factorial singularities (see Basic Theorem 1.3.2 and also Theorem 2.2.6). This gives the generalization of our results about Fano 3-folds with Q-factorial terminal singularities (Preprint alg-geom/9311007). As an application, we get the following result about 3-dimensional Calabi-Yau manifolds X: Assume that the Picard number \rho (X) > 93. Then one of two cases (i) or (ii) holds: (i) there exists a small extremal ray on X; (ii) There exists a nef element h such that h^3=0 (thus, the nef cone NEF(X) and the cubic intersection hypersurface W_X have a common point; here, we don't claim that h is rational!). As a corollary, we get: Let X be a 3-dimensional Calabi-Yau manifold. Assume that the nef cone NEF(X) is finite polyhedral and X does not have a small extremal ray. Then there exists a rational nef element h with h^3=0 if \rho(X)>93. To prove these results about Calabi-Yau manifolds, we also use one result of V.V. Shokurov on the length of divisorial extremal rays (see Appendix by V.V. Shokurov). Thus, one should consider the results on Calabi-Yau 3-folds above as our common results with V.V. Shokurov. We also discuss generalization of results above to so called Q-factorial models of Calabi-Yau 3-folds, which sometimes permits to involve non-polyhedral case and small extremal rays to the game.


title: The theta divisior of the bidegree (2,2) threefold in ${\bf P}^{2} \times {\bf P}^{2}$

abstract: Let T be a general bidegree (2,2) divisor in the product of two projective planes. Recently A.Verra proved that the existence of two conic bundle structures (c.b.s.) on T implies a new counterexample to the Torelli theorem for Prym varieties. Let J(T) be the jacobian of T. In this paper we prove that any of the two c.b.s. on T admits a parametrisation of the theta divisor of J(T) by the Abel-Jacobi image of a special family of elliptic curves of degree 9 (minimal sections of the given c.b.s.) on T. This result is an analogue of the well-known Riemann theorem for curves. In particular, this implies some results about K3 surfaces and plane sextics with vanishing theta-null. Further we use once again the geometry of curves on T, in order to prove the Torelli theorem for the bidegree (2,2) threefolds.


title: Dual Cones and Mirror Symmetry for Generalized Calabi-Yau Manifolds

abstract: We introduce a special class of convex rational polyhedral cones which allows to construct generalized Calabi-Yau varieties of dimension $(d + 2(r-1))$, where $r$ is a positive integer and d is the dimension of critical string vacua with central chatge $c = 3d$. It is conjectured that the natural combinatorial duality satisfies by these cones corresponds to the mirror involution. Using the theory of toric varieties, we show that our conjecture includes as special cases all already known examples of mirror pairs proposed by physicists and agrees with previous conjectures of the authors concerning explicit constructions of mirror manifolds. In particular we obtain a mathematical framework which explains the construction of mirrors of rigid Calabi-Yau manifolds.


title: The combinatorics of the Verlinde formulas

abstract: A residue formula is given for the Verlinde formula, which allows one to calculate its coefficients as a polynomial in the level and connects it to the Riemann-Roch formula on the moduli space of vector bundles on a curve.


title: Boundedness theorem for Fano log-threefolds

abstract: The main purpose of this article is to prove that the family of all Fano threefolds with log-terminal singularities with bounded index is bounded.


title: The Tangent Space at a Special Symplectic Instanton Bundle on $P_{2n+1}$

abstract: Mathematical instanton bundles on $ P_3$ have their analogues in rank--$2n$ instanton bundles on odd dimensional projective spaces $ P_{2n+1}$. The families of special instanton bundles on these spaces generalize the special 'tHooft bundles on $ P_3$. We prove that for a special symplectic instanton bundle $ E$ on $ P_{2n+1}$ with $c_2=k$ $h^1End( E) = 4(3n-1) k + (2n-5)(2n-1)$. Therefore the dimension of the moduli space of instanton bundles grows linearly in $k$. The main difference with the well known case of $ P_3$ is that $h^2End( E)$ is nonzero, in fact we prove that it grows quadratically in $k$. Special symplectic instanton bundles turn out to be singular points of the moduli space. Such bundles $ E$ are $SL(2)$--invariant and the result is obtained regarding the cohomology groups of $ E$ as $SL(2)$--representations.


title: On surfaces in P^4 and 3-folds in P^5

abstract: This is a survey on the classification of smooth surfaces in P^4 and smooth 3-folds in P^5. We recall the corresponding results arising from adjunction theory and explain how to construct examples via syzygies. We discuss some examples in detail and list all families of smooth non-general type surfaces in P^4 and 3-folds in P^5 known to us.


title: Boundedness and $K^2$ for log surfaces

abstract: Let $\epsilon, C$ be two positive real numbers, and $\mathcal C \subset \mathbb R$ be a DCC (descending chain condition) set. Let $(X, B = \sum b_j B_j)$ denote a projective surface with an $\mathbb R$-divisor. Then (1) The class $\{X\}$ of surfaces for which there exists a divisor $B$ such that $(X,B)$ is $\epsilon$-log terminal and $-(K_X + B)$ is nef (excluding only those for which at the same time $K_X\equiv 0$, $B=0$, and $X$ has at worst Du Val singularities), is bounded. (2) The set $\{(K_X + B)^2\}$ of squares for the semi log canonical pairs $(X, B)$ with ample $K_X + B$ and $b_j \in \mathcal C$, is a DCC set. (3) The class $\{(X,B)\}$ of pairs such that $(X, B)$ is semi log canonical, $K_X + B$ is ample, $(K_X + B)^2 = C$ and $b_j \in \mathcal C$, is bounded.


title: Variation of Geometric Invariant Theory Quotients

abstract: Geometric Invariant Theory gives a method for constructing quotients for group actions on algebraic varieties which in many cases appear as moduli spaces parametrizing isomorphism classes of geometric objects (vector bundles, polarized varieties, etc.). The quotient depends on a choice of an ample linearized line bundle. Two choices are equivalent if they give rise to identical quotients. A priori, there are infinitely many choices since there are infinitely many isomorphism classes of linearized ample line bundles. Hence several fundamental questions naturally arise. Is the set of equivalence classes, and hence the set of non-isomorphic quotients, finite? How does the quotient vary under change of the equivalence class? In this paper we give partial answers to these questions in the case of actions of reductive algebraic groups on nonsingular projective algebraic varieties. We shall show that among ample line bundles which give projective geometric quotients there are only finitely many equivalence classes. These classes span certain convex subsets (chambers) in a certain convex cone in Euclidean space; and when we cross a wall separating one chamber from another, the corresponding quotient undergoes a birational transformation which is similar to a Mori flip.


title: On the Locus of Hodge Classes

abstract: Let $f: X \rightarrow S$ be a family of non singular projective varieties parametrized by a complex algebraic variety $S$. Fix $s \in S$, an integer $p$, and a class $h \in {\rm H}^{2p}(X_s,\Z)$ of Hodge type $(p,p)$. We show that the locus, on $S$, where $h$ remains of type $(p,p)$ is algebraic. This result, which in the geometric case would follow from the rational Hodge conjecture, is obtained in the setting of variations of Hodge structures.


title: On Polarized Manifolds of Sectional Genus Three

abstract: This paper is an attempt for the classification of polarized manifolds of sectional genus $g=3$ and dimension $n\geq 3$. As in the case of $g\leq 2$,which was classified by T.Fujita,we use Mori-Kawamata theory. The classification result of $g=3$ and $n=2$, which was obtained by H.Maeda,is also used essentially. Although our results are far from being complete, they are very similar to those in case $g=2$.


title: Degree of the generalized Pl\"ucker embedding of a Quot scheme and Quantum cohomology

abstract: We compute the degree of the generalized Pl\"ucker embedding $\kappa$ of a Quot scheme $X$ over $\PP^1$. The space $X$ can also be considered as a compactification of the space of algebraic maps of a fixed degree from $\PP^1$ to the Grassmanian $\rm{Grass}(m,n)$. Then the degree of the embedded variety $\kappa (X)$ can be interpreted as an intersection product of pullbacks of cohomology classes from $\rm{Grass}(m,n)$ through the map $\psi$ that evaluates a map from $\PP^1$ at a point $x\in \PP^1$. We show that our formula for the degree verifies the formula for these intersection products predicted by physicists through Quantum cohomology~\cite{va92}~\cite{in91}~\cite{wi94}. We arrive at the degree by proving a version of the classical Pieri's formula on the variety $X$, using a cell decomposition of a space that lies in between $X$ and $\kappa (X)$.


title: Factorization theorems for the representations of the fundamental groups of quasiprojective varieties and some applications

abstract: In this paper, using Gromov-Jost-Korevaar-Schoen technique of harmonic maps to nonpositively curved targets, we study the representations of the fundamental groups of quasiprojective varieties. As an application of the above considerations we give a proof of a weak version of the Shafarevich Conjecture.


title: Faltings modular height and self-intersection of dualizing sheaf

abstract: Let K be a number field, O_K the ring of integers of K and X a stable curve over O_K of genus g >= 2. In this note, we will prove a strict inequality ( (K_{X/S})^2 / [K : Q] ) > Height_{Fal}(J(X_K)), where $K_{X/S}$ is the canonically metrized dualizing sheaf of X over S = Spec(O_K) and Height_{Fal}(J(X_K)) is the Faltings modular height of the Jacobian of X_K. As corollary, for any constant A, the set of all stable curves X over O_K with ( (K_{X/S})^2 / [K : Q] ) <= A is finite under the following equivalence. For stable curves X and Y, X is equivalent to Y if X is isomorphic to Y over O_{K'} for some finite extension field K' of K.


title: The Deformation Space of Calabi-Yau n-folds with canonical singularities can be obstructed

abstract: This paper gives a simple example of a family of Calabi-Yaus of any dimension with canonical singularities of dimension one, whose Kuranishi space is singular. Thus the Bogomolov-Tian-Todorov unobstructedness theorem is not true for Calabi-Yaus with canonical singularities.


title: Residual Intersections and Some Applications

abstract: We give a new residual intersection decomposition for the refined intersection products of Fulton-MacPherson. Our formula refines the celebrated residual intersection formula of Fulton, Kleiman, Laksov, and MacPherson. The new decomposition is more likely to be compatible with the canonical decomposition of the intersection products and each term in the decomposition thus has simple geometric meaning. Our study is motivated by its applications to some geometric problems. In particular, we use the decomposition to find the distribution of limiting linear subspaces in degenerations of hypersurfaces. A family of identities for characteristic classes of vector bundles is also obtained as another consequence. This paper will appear in Duke Math. Jour.


title: Intersection Theory on Toric Varieties

abstract: The operational Chow cohomology classes of a complete toric variety are identified with certain functions, called Minkowski weights, on the corresponding fan. The natural product of Chow cohomology classes makes the Minkowski weights into a commutative ring; the product is computed by a displacement in the lattice, which corresponds to a deformation in the toric variety. We show that, with rational coefficients, this ring embeds in McMullen's polytope algebra, and that the polytope algebra is the direct limit of these Chow rings, over all compactifications of a given torus. In the nonsingular case, the Minkowski weight corresponding to the Todd class is related to a certain Ehrhart polynomial.


title: Toric Q-Gorenstein Singularities

abstract: For an affine, toric Q-Gorenstein variety Y (given by a lattice polytope Q) the vector space T^1 of infinitesimal deformations is related to the complexified vector spaces of rational Minkowski summands of faces of Q. Moreover, assuming Y to be an isolated, at least 3-dimensional singularity, Y will be rigid unless it is even Gorenstein and dim Y=3 (dim Q=2). For this particular case, so-called toric deformations of Y correspond to Minkowski decompositions of Q into a sum of lattice polygons. Their Kodaira-Spencer-map can be interpreted in a very natural way. We regard the projective variety P(Y) defined by the lattice polygon Q. Data concerning the deformation theory of Y can be interpreted as data concerning the Picard group of P(Y). Finally, we provide some examples (the cones over the toric Del Pezzo surrfaces). There is one such variety yielding Spec C[e]/e^2 as the base space of the semi-universal deformation.


title: The versal Deformation of an isolated toric Gorenstein Singularity

abstract: Given a lattice polytope Q in R^n, we define an affine scheme M(Q) that reflects the possibilities of splitting Q into a Minkowski sum. On the other hand, Q induces a toric Gorenstein singularity Y, and we construct a flat family over M(Q) with Y as special fiber. In case Y has an isolated singularity only, this family is versal. (This revised version contains the proof now.)


title: Siegel modular forms generated by invariants of cubic hypersurfaces

abstract: We give a geometric derivation of Schottky's equation in genus four for the period matrices of Riemann surfaces among all period matrices. The equation arises naturally from the singularity theory of the Gauss map on the theta divisor, and thus generalizes for any genus $g \ge 4$ to a certain ideal of Siegel modular forms vanishing on period matrices of Riemann surfaces. This ideal is generated by modular forms associated to the invariants of cubic forms in $g - 1$ variables which vanish on the Fermat cubic.


title: Hyperkaehler Embeddings II

abstract: In the first part, Hyperkaehler Embeddings and Holomorphic symplectic Geometry I, we prove the following. Let $N$ be a closed analytic subvariety of a generic deformation of a holomorphically symplectic compact manifold $M$. Then the restriction of a holomorphic symplectic form is non-degenerate on $N$. In particular, $N$ is even-dimensional. In present paper, we prove that there exist a hyperkaehler metric on $M$, such that the embedding of $N$ to $M$ is hyperkaehler.


title: Towards a Schubert calculus for maps from a Riemann surface to a Grassmannian

abstract: The intuitive notion of the Gromov invariant for maps from a Riemann surface to a Grassmannian is shown to agree with the definition in \cite{BDW}. Also, an induction on the genus is proved, which extends the results of \cite{BDW} to a computation of all Gromov invariants associated to G(2,k). This is shown to agree with the conjectured formula of Vafa and Intriligator.


title: Torus embeddings and algebraic intersection complexes

abstract: We describe the intersection complex of any perversity of a toric variety completely in terms of the associated fan. It is described by a finite complex of finite dimensional graded vector spaces which we call graded exterior modules. The intersection complexes of the middle perversity are treated in the second part following this article.


title: Torus embeddings and algebraic intersection complexes, II

abstract: In the previous paper, we describe the intersection complexes of a toric variety as a finite complex of graded exterior modules on the associated fan. In this second part, we rewrite it explicitly by the barycentric subdivision of the fan. We get the decomposition theorem of the intersection homologies for a barycentric subdivision of a fan in the case of middle perversity. We get also the diagonal theorems I and II. These theorems give a new proof of the g-comnjecture on a simplicial polytope which was proved by R. Stanley.


title: On Quantum Cohomology Rings of Fano Manifolds and a Formula of Vafa and Intriligator

abstract: We observe a general structure theorem for quantum cohomology rings, a non-homogeneous version of the usual cohomology ring encoding information about (almost holomorphic) rational curves. An application is the rigorous computation of the quantum cohomology of Grassmannians. As purely algebraic consequence we prove a beautiful formula of Vafa and Intriligator for intersection numbers of certain compactifications of moduli spaces of maps from a Riemann surface (any genus) to G(k,n) which recently has excited many mathematicians. The formula generalizes to any Fano manifold whose cohomology ring can be presented as complete intersection.


title: Hodge index theorem for arithmetic cycles of codimension one

abstract: In this note, we will give a partial answer for arithmetic analogues of Grothendieck's standard conjectures due to H. Gillet and C. Soule. (Remark : I changed the title of this note.)


title: Minimal discrepancies of toric singularities

abstract: This is the major revision. The main purpose of this paper is to prove that minimal discrepancies of $n$-dimensional toric singularities can accumulate only from above and only to minimal discrepancies of toric singularities of dimension less than $n$. I also prove that some lower-dimensional minimal discrepancies do appear as such limit.


title: Complexes inattendus de droites de saut (Unexpected complex of jumping lines)

abstract: We prove here the following results: \begin{th} Let $E$ a rank 2 vector bundle over ${\bf P}_3$, if $C$ is a reduced irreducible curve of ${\bf P}_3^{\vee}$ such that $E_H$ is unstable for all $H\in C$ then $C$ is a line. \end{th} We define now the set $W(E)$ as the set of planes $H$ such that the restricted bundle $E_H$ is unstable (that means non semi-stable). \begin{th} Let $E$ a rank 2 vector bundle over ${\bf P}_3$, with first chern class $c_1=c_1(E)$, $L$ a line and an integer $n\ge 0$. The following conditions are equivalent: \begin{description} \item[(i)] $L^{\vee}\subset W(E)$ and $H^0(E_H(-n+[-c_1/2]))\neq 0$ for a general point $H\in L^{\vee}$. \item[(ii)] There exist $m>0$ and a section $t\in H^0(E(m+[-c_1/2]))$ such that the zero variety of $t$ contains the infinitesimal neighbourhood of order $(m+n-1)$ of $L$. \end{description}


title: On Chow Rings of Fine Moduli Spaces of Modules

abstract: Let $M$ be a complete nonsingular fine moduli space of modules over an algebra $S$. A set of conditions is given for the Chow ring of $M$ to be generated by the Chern classes of certain universal bundles occurring in a projective resolution of the universal $S$-module on $M$. This result is then applied to the varieties $G_T$ parametrizing homogeneous ideals of $k[x,y]$ of Hilbert function $T$, to moduli spaces of representations of quivers, and finally to moduli spaces of sheaves on ${\Bbb P}^2$, reinterpreting a result of Ellingsrud and Str\o mme.


title: Torelli Groups and Geometry of Moduli Spaces of Curves

abstract: In this paper we give an exposition of Dennis Johnson's work on the first homology of the Torelli groups and show how it can be applied, alone and in concert with Saito's theory of Hodge modules, to study the geometry of moduli spaces of curves. For example, we show that the picard groups of moduli spaces of curves with a fixed level structure are finitely generated, classify all "natural" normal functions defined over moduli spaces of curves with a fixed level, and also "compute" the height paring between cycles over moduli spaces of curves which are homologically trivial and disjoint over the generic point. Several new sections have been added. These apply the results on normal functions to prove generalizations of the classical Franchetta conjecture for curves and abelian varieties. In one section, the monodromy group of nth roots of the canonical bundle is computed.


title: Groupe de Picard de la vari\'et\e de modules des th\^eta-caracteristiques des courbes planes

abstract: Nous calculons le groupe de Picard de l'espace des modules $\Theta_{\planp}(d)$ des th\^eta-caract\'eristiques des courbes planes (non forc\'ement lisses) de degr\'e $d$. Nous montrons que pour $d\ge 6$, le groupe de Picard de la composante paire est engendr\'e par le fibr\'e d\'eterminant ${\cal{D}}$ et l'image r\'eciproque ${\cal{L}}$, sous le morphisme support sch\'ematique, de ${\cal{O}}_{\proj}(1)$ o\`u $\proj$ est l'espace des courbes de degr\'e $d$ sur $\planp$. Pour $1\le d \le 4$, ce groupe est engendr\'e uniquement par ${\cal{L}}$, le fibr\'e d\'eterminant \'etant trivial dans ces cas. Dans le groupe $\Cl$ des diviseurs de Weil, le fibr\'e d\'eterminant admet une racine: le fibr\'e pfaffien ${\cal{P}}$. De plus, pour $d\geq 4$ pair, ${\cal{L}}$ aussi admet une racine dans $\Cl$. Si $d=5$, le fibr\'e pfaffien s'\'etend en un fibr\'e inversible et le groupe de Picard est engendr\'e par ${\cal{L}}$ et ${\cal{P}}$. On verra ainsi que la composante paire de $\Theta_{\planp}(d)$ est localement factoriel si et seulement si $d=1,2,3$ ou $d=5$. On obtient un r\'esultat analogue pour la composante impaire. Ensuite, nous \'etudions la question d'existence d'une famille universelle sur un ouvert de l'ouvert $U$ des th\^eta-caract\'eristiques dont le faisceau sous-jacent est stable. Nous montrons que pour $d$ pair une telle famille ne peut exister, tandis que pour $d$ impair une telle famille existe, pas sur $U$ entier, mais localement dans la topologie de Zariski.


title: Vector bundles on curves and generalized theta functions: recent results and open problems

abstract: Riemann surface carries a natural line bundle, the determinant bundle. The space of sections of this line bundle (or its multiples) constitutes a natural non-abelian generalization of the spaces of theta functions on the Jacobian. There has been much progress in the last few years towards a better understanding of these spaces, including a rigorous proof of the celebrated Verlinde formula which gives their dimension. This survey paper tries to explain what is now known and what remains open.


title: Nonnormal del Pezzo surfaces

abstract: This paper studies reduced, connected, Gorenstein surfaces with ample -K, assumed to be reducible or nonnormal. The normalisation is a union of one or more standard surfaces (scrolls and Veronese surfaces), marked with a conic as double locus. The question is how to glue these together to get a Gorenstein scheme. In characteristic 0, the results amount to a classification of projective surfaces in the style of the 1880s. However, the methods involve a study of the dualising sheaf of a nonnormal variety in terms of Rosenlicht differentials, and there is a subtle pathology in characteristic p due to Mori and S. Goto.


title: Bogomolov unstability on arithmetic surfaces

abstract: In this note, we will consider an arithmetic analogue of Bogomolov unstability theorem.


title: Moduli of vector bundles on projective surfaces: some basic results

abstract: We prove that moduli spaces of torsion-free sheaves on a projective smooth complex surface are irreducible, reduced and of the expected dimension, provided the expected dimension is large enough. Actually we prove more: given a line bundle on the surface, we show that the number of moduli of sheaves which have a non-zero twisted (by the chosen line-bundle) endomorphism grows slower than the expected dimension of the moduli space (for fixed rank and increasing discriminant). The bounds we get are effective: we concentrate on the case of rank two and we give a lower bound on the discriminant guaranteeing that the moduli space is reduced of the expected dimension. We also give an effective irreducibility result for complete intersections. All of the above follows from a theorem bounding the dimension of complete subsets of the moduli space which do not intersect the boundary.


title: On curves and surfaces with projectively equivalent hyperplane sections

abstract: In this paper we describe projective curves and surfaces such that almost all their hyperplane sections are projectively equivalent. Our description is complete for curves and close to being complete for smooth surfaces. In the appendix we make some remarks on connections between the mentioned property of a projective variety and its adjunction properties.


title: Degenerations of abelian surfaces and Hodge structures

abstract: In this paper the authors consider a certain toroidal compactification of the moduli space of degenerations of (1,p)-polarized abelian surfaces with (canonical) level structure. Using Hodge theory we give a proof that a degenerate abelian surface associated to a corank 1 boundary point is (almost) completely determined by the boundary point. The crucial ingredient in the proof is the Local Invariant Cycle theorem which relates the variation of Hodge structure to the mixed Hodge structure on the singular surface.


title: On the Existence of Supersingular Curves of Given Genus

abstract: We give a method to construct explicitly a supersingular curve of given genus g in characteristic 2.


title: Crepant resolution of trihedral singularities

abstract: The purpose of this paper is to construct a crepant resolution of quotient singularities by trihedral groups ( finite subgroups of SL(3,C) of certain type ), and prove that each Euler number of the minimal model is equal to the number of conjugacy classes. Trihedral singularities are 3-dimensional version of D_n-singularities, and they are non-isolated and many of them are not complete intersections. The resolution is similar to one of D_n-singularities. There is a nice combination of the toric resolution and Calabi-Yau resolution.


title: Moduli of abelian surfaces with a $(1,p^2)$ polarisation

abstract: We show that the (compactified) moduli space of abelian surfaces with a polarisation of type $(1,p^2)$ is of general type for $p \ge 11$, improving a result of O'Grady.


title: On complex surfaces diffeomorphic to rational surfaces

abstract: In this paper we prove that no complex surface of general type is diffeomorphic to a rational surface, thereby completing the smooth classification of rational surfaces and the proof of the Van de Ven conjecture on the smooth invariance of Kodaira dimension.


title: Computing Multidimensional Residues

abstract: Given n polynomials in n variables with a finite number of complex roots, for any of their roots there is a local residue operator assigning a complex number to any polynomial. This is an algebraic, but generally not rational, function of the coefficients. On the other hand, the global residue, which is the sum of the local residues over all roots, depends rationally on the coefficients. This paper deals with symbolic algorithms for evaluating that rational function. Under the assumption that the deformation to the initial forms is flat, for some choice of weights on the variables, we express the global residue as a single residue integral with respect to the initial forms. When the input equations are a Groebner basis, this leads to an efficient series expansion algorithm for global residues, and to a vanishing theorem with respect to the corresponding cone in the Groebner fan. The global residue of a polynomial equals the highest coefficient of its (Groebner basis) normal form, and, conversely, the entire normal form is expressed in terms of global residues. This yields a method for evaluating traces over zero-dimensional complete intersections. Applications include the counting of real roots, the computation of the degree of a polynomial map, and the evaluation of multivariate symmetric functions. All algorithms are illustrated for an explicit system in three variables.


title: Group cohomology construction of the cohomology of moduli spaces of flat connections on 2-manifolds

abstract: We use group cohomology and the de Rham complex on simplicial manifolds to give explicit differential forms representing generators of the cohomology rings of moduli spaces of representations of fundamental groups of 2-manifolds. These generators are constructed using the de Rham representatives for the cohomology of classifying spaces $BK$ where $K$ is a compact Lie group; such representatives (universal characteristic classes) were found by Bott and Shulman. Thus our representatives for the generators of the cohomology of moduli spaces are given explicitly in terms of the Maurer-Cartan form. This work solves a problem posed by Weinstein, who gave a corresponding construction (following Karshon and Goldman) of the symplectic forms on these moduli spaces. We also give a corresponding construction of equivariant differential forms on the extended moduli space $X$, which is a finite dimensional symplectic space equipped with a Hamiltonian action of $K$ for which the symplectic reduced space is the moduli space of representations of the 2-manifold fundamental group in $K$. (This paper is in press in Duke Math. J. The substance of the text is unaltered; inor changes and corrections have been made to the file to correspond to the version that will be published.)


title: Symplectic Forms on Moduli Spaces of Flat Connections on 2-manifolds

abstract: Let $G$ be a compact connected semisimple Lie group. We extend the techniques of Weinstein [W] to give a construction in group cohomology of symplectic forms $\omega$ on \lq twisted' moduli spaces of representations of the fundamental group $\pi$ of a 2-manifold $\Sigma$ (the smooth analogues of ${\rm Hom} (\pi_1(\Sigma), G)/G$) and on relative character varieties of fundamental groups of 2-manifolds. We extend this construction to exhibit a symplectic form on the extended moduli space [J1] (a Hamiltonian $G$-space from which these moduli spaces may be obtained by symplectic reduction), and compute the moment map for the action of $G$ on the extended moduli space.


title: Basic cohomology of associative algebras

abstract: We define a new cohomology for associative algebras which we compute for algebras with units.


title: Conformal blocks, fusion rules and the Verlinde formula

abstract: The Verlinde formula computes the dimension of certain vector spaces ("conformal blocks") associated to a Rational Conformal Field Theory. In this paper we show how this can be made rigorous for one particular such theory, the WZW model. Thanks to the results of [B-L], [F] and [T-U-Y], this gives the dimension of the space of global sections of the determinant line bundles (and its multiples) on the moduli space of vector bundles with fixed rank and determinant.


title: The blowup formula for Donaldson invariants

abstract: In this paper we present a formula which relates the Donaldson invariants of a 4-manifold X with the Donaldson invariants of its blowup X#-CP(2). This blow-up formula is independent of X and involves sigma-functions associated to a naturally arising elliptic function. This, the final version, corrects some earlier misconceptions regarding signs.


title: An Algorithmic Proof of Suslin's Stability Theorem over Polynomial Rings

abstract: Let $k$ be a field. Then Gaussian elimination over $k$ and the Euclidean division algorithm for the univariate polynomial ring $k[x]$ allow us to write any matrix in $SL_n(k)$ or $SL_n(k[x])$, $n\geq 2$, as a product of elementary matrices. Suslin's stability theorem states that the same is true for the multivariate polynomial ring $SL_n(k[x_1,\ldots ,x_m])$ with $n\geq 3$. As Gaussian elimination gives us an algorithmic way of finding an explicit factorization of the given matrix into elementary matrices over a field, we develop a similar algorithm over polynomial rings.


title: Geometric invariant theory and flips

abstract: We study the dependence of geometric invariant theory quotients on the choice of a linearization. We show that, in good cases, two such quotients are related by a flip in the sense of Mori, and explain the relationship with the minimal model programme. Moreover, we express the flip as the blow-up and blow-down of specific ideal sheaves, leading, under certain hypotheses, to a quite explicit description of the flip. We apply these ideas to various familiar moduli problems, recovering results of Kirwan, Boden-Hu, Bertram-Daskalopoulos- Wentworth, and the author. Along the way we display a chamber structure, following Duistermaat-Heckman, on the space of all linearizations. We also give a new, easy proof of the Bialynicki-Birula decomposition theorem.


title: Higher-order differentials of the period map and higher Kodaira-Spencer classes

abstract: In \cite{K} we introduced two variants of higher-order differentials of the period map and showed how to compute them for a variation of Hodge structure that comes from a deformation of a compact K\"ahler manifold. More recently there appeared several works (\cite{BG}, \cite{EV}, \cite{R}) defining higher tangent spaces to the moduli and the corresponding higher Kodaira-Spencer classes of a deformation. The $n^{th}$ such class $\kappa_n$ captures all essential information about the deformation up to $n^{th}$ order. A well-known result of Griffiths states that the (first) differential of the period map depends only on the (first) Kodaira-Spencer class of the deformation. In this paper we show that the second differential of the Archimedean period map associated to a deformation is determined by $\kappa_2$ taken modulo the image of $\kappa_1$, whereas the second differential of the usual period map, as well as the second fundamental form of the VHS, depend only on $\kappa_1$ (Theorems 2, 5, and 6 in Section~3). Presumably, similar statements are valid in higher-order cases (see Section~4).


title: A Fourier-Mukai Transform for Stable Bundles on K3 Surfaces

abstract: We define a Fourier-Mukai transform for sheaves on K3 surfaces over $\C$, and show that it maps polystable bundles to polystable ones. The role of ``dual'' variety to the given K3 surface $X$ is here played by a suitable component $\hat X$ of the moduli space of stable sheaves on $X$. For a wide class of K3 surfaces $\hat X$ can be chosen to be isomorphic to $X$; then the Fourier-Mukai transform is invertible, and the image of a zero-degree stable bundle $F$ is stable and has the same Euler characteristic as $F$.


title: On the A-D-E classification of the simple singularities of functions

abstract: We show how the classification of simple singularities of functions can be reduced directly, not using the normal forms, to the classification of irreducible Weyl groups. We also prove that the class of a singularity in its local algebra always belongs to the tangent cone to the stratum $\mu =const$ of the singularity. An interesting characterization of Coxeter elements among quasi-Coxeter elements of a Weyl group (of one of the types A-D-E) is found.


title: Infinitesimal Deformations and Obstructions for Toric Singularities

abstract: The obstruction space T^2 and the cup product T^1 x T^1 -> T^2 are computed for toric singularities.


title: Some properties of Fano manifolds that are zeros of sections in homogenous vector bundles over Grassmannians

abstract: Let $X$ be a Fano manifold which is the zero scheme of a general global section $s$ in an irreducible homogenous vector bundle over a Grassmannian. We prove that the restriction of the Pl\"ucker embedding embeds $X$ projectively normal, and that every small deformation of $X$ comes from a deformation of the section $s$. These results are strengthened in the case of Fano 4-folds.


title: Adjoints of ideals in regular local rings

abstract: The adjoint of an ideal I in a regular local ring R is the R-ideal adj(I):=H^0(Y, I\omega_Y), where f:Y -> Spec(R) is a proper birational map with Y nonsingular and IO_Y invertible, and \omega_f is a canonical relative dualizing sheaf. (Such an f is supposed to exist.) The basic conjecture is that I.adj(I^n)=adj(I^{n+1}) whenever n is >= the analytic spread of I. This is a strong version of the Briancon-Skoda theorem, implying all other known versions. It follows from the (conjectural) vanishing of H^i(Y,\omega_Y) for all i>0. When R is essentially of finite type over a char. 0 field, that vanishing has been deduced by Cutkosky from Kodaira vanishing. It also holds whenever dim.R = 2; and in this case we can say considerably more about adjoints, tying in e.g., with classical material on adjoint curves and conductors.


title: Algebraic Surfaces with Log-Terminal Singularities and nef Anticanonical Class and Reflection Groups in Lobachevsky Spaces. I (Basics of the Diagram Method)

abstract: In our preprint: "Algebraic surfaces with log-terminal singularities and nef anticanonical class and reflection groups in Lobachevsky spaces", Preprint Max-Planck-Institut f\"ur Mathematik, Bonn, (1989) MPI/89-28 (Russian), we had extended the diagram method to algebraic surfaces with nef anticanonical class (before, it was applied to Del Pezzo surfaces). The main problem here is that Mori polyhedron may not be finite polyhedral in this case. In the \S 4 of this preprint we had shown that this method does work for algebraic surfaces with nef anticanonical class and log terminal singularities. Recently, using in particular these our results, Valery Alexeev (Boundedness and K^2 for log surfaces, Preprint (1994), alg-geom/942007), obtained strong and important results for surfaces of general type with semi-log canonical singularities. The reason is that Del Pezzo surfaces (the diagram method is especially effective for them) and surfaces of general type "are connected" through surfaces with numerically zero canonical class. This was the main reason that we decided to make this English translation of the first part (\S 1--\S 3) of our preprint above with some extensions (where we give omitted proofs) and minor corrections. This part contains basics of the diagram method for generalized reflection groups in Lobachevsky spaces and for surfaces with nef anticanonical class.


title: Local structure of the moduli space of vector bundles over curves

abstract: We analyze the local structure of the moduli space of semi-stable bundles on a curve. In particular, a complete description of the local structure is given in the rank 2 case. We obtain as a corollary of this analysis new results about the Kummer variety and the Coble quartic associated to a canonical genus 3 curve.


title: Deformation theory and Lie algebra homology

abstract: A description of a ring of functions on the base of a universal formal deformation for several moduli problems is given. The answer is given in terms of a homology group of a certain dg Lie algebra canonically (up to an essentially unique quasi-isomorphism) associated with a problem.


title: On Riemann-Roch Formulas for Multiplicities

abstract: A Theorem due to Guillemin and Sternberg about geometric quantization of Hamiltonian actions of compact Lie groups $G$ on compact Kaehler manifolds says that the dimension of the $G$-invariant subspace is equal to the Riemann-Roch number of the symplectically reduced space. Combined with the shifting-trick, this gives explicit formulas for the multiplicities of the various irreducible components. One of the assumptions of the Theorem is that the reduction is regular, so that the reduced space is a smooth symplectic manifold. In this paper, we prove a generalization of this result to the case where the reduced space may have orbifold singularities. Our proof uses localization techniques from equivariant cohomology, and relies in particular on recent work of Jeffrey-Kirwan and Guillemin. Since there are no complex geometry arguments involved, the result also extends to non Kaehlerian settings.


title: Gorenstein Quotient Singularities of Monomial Type in Dimension Three

abstract: The purpose of this paper is to construct a crepant resolution of quotient singularities by finite subgroups of SL(3,C) of monomial type, and prove that the Euler number of the resolution is equal to the number of conjugacy classes. This result is a part of conjecture II in previous paper "Crepant resolution of trihedral singularities" (alg-geom 9404008). These singularities are different from trihedral, but main idea of the proof is based on the method of trihedral case.


title: Spin canonical invariants of 4-manifolds and algebraic surfaces

abstract: The paper is a colloquial-style discussion of invariants of algebraic surfaces analogous to the Donaldson polynomials, arising from moduli spaces of ``jumping'' Yang--Mills instantons, or moduli spaces of jumping vector bundles. The invariants have the following applications: (1) to the Van de Ven conjecture that the Kodaira dimension is a diffeomorphism invariant; (2) to proving that algebraic surfaces with $p_g > 0$ have a proper sublattice of $H^2(X,\Z)$ invariant under diffeomorphism; (3) to proving the same result as (2) for surfaces with $p_g = 0$, in particular the Barlow surface.


title: Universal Hodge Bundle and Mumford Isomorphisms on the Abelian Inductive Limit of Teichm\"uller Spaces

abstract: Let $\Mg$ denote the moduli space of compact Riemann surfaces of genus $g$. Mumford had proved that, for each fixed genus $g$, there are isomorphisms asserting that certain higher $DET$ bundles over $\Mg$ are certain fixed (genus-independent) tensor powers of the Hodge line bundle on $\Mg$. Here we obtain a coherent, genus-independent description of the Mumford isomorphisms over certain infinite-dimensional ``universal'' parameter spaces of compact Riemann surfaces (with or without marked points). We work with an inductive limit of Teichm\"uller spaces comprising complex structures on a certain ``solenoidal Riemann surface'', $H_{\infty,abel}$. The main result constructs these universal $DET$ and Hodge line bundles on this direct limit, equips them with their Quillen metrics, and proves that they are related by the appropriate Mumford isomorphisms. Our work can be viewed as a contribution towards a non-perturbative formulation of the bosonic string theory, since it provides an interpretation of the Polyakov measure in a genus-independent fashion.


title: Log Smooth Deformation Theory

abstract: This paper gives a foundation of log smooth deformation theory. We study the infinitesimal liftings of log smooth morphisms and show that the log smooth deformation functor has a representable hull. This deformation theory gives, for example, the following two types of deformations: (1) relative deformations of a certain kind of a pair of an algebraic variety and a divisor of it, and (2) global smoothings of normal crossing varieties. The former is a generalization of the relative deformation theory introduced by Makio, and the latter coincides with the logarithmic deformation theory introduced by Kawamata and Namikawa.


title: Pfaffian Subschemes

abstract: A subscheme $X\subset \Bbb P^{n+3}$ of codimension $3$ is {\em Pfaffian} if it is the degeneracy locus of a skew-symmetric map $f:\cal{E}\spcheck(-t) @>>> \cal{E}$ with $\cal{E}$ a locally free sheaf of odd rank on $\Bbb P^{n+3}$. It is shown that a codimension $3$ subscheme $X\subset\Bbb P^{n+3}$ is Pfaffian if and only if it is locally Gorenstein, subcanonical (i.e.\ $\omega_X\cong\cal O_X(l)$ for some integer $l$), and the following parity condition holds: if $n\equiv 0\pmod{4}$ and $l$ is even, then $\chi (\cal O_X (l/2))$ is also even. The paper includes a modern version of the Horrocks correspondence, stated in the language of derived categories. A local analogue of the main theorem is also proved.


title: Infinite-dimensional Lie algebras and the period map for curves

abstract: We compute higher-order differentials of the period map for curves and show how they factor through the corresponding higher Kodaira-Spencer classes. Our approach is based on the infinitesimal equivariance of the period map, due to Arbarello and De Concini \cite{AD}.


title: Some glueing formulas for spin polynomials and a proof of the Van de Ven conjecture

abstract: We deduce some formulas for the spin invariants of the connected sum of an arbitrary 4-manifold X, b^+ _2(X) > 0 $ with $\overline {CP^2}$ in terms of the spin invariants of $X$ and apply this to prove the Van de Ven conjecture.


title: Combinatorial and algebro-geometric cohomology classes on the moduli spaces of curves

abstract: Based on the combinatorial description of the moduli spaces of curves provided by Strebel differentials, Witten and Kontsevich have introduced combinatorial cohomology classes $W_{(m_0,m_1,m_2,\dots),n}$, and conjectured that these can be expressed in terms of Mumford-Morita-Miller classes. It is argued that this link should be provided by a theorem of Di Francesco, Itzykson and Zuber which relates the derivatives of the Witten-Kontsevich partition function with respect to one set of variables to the derivatives with respect to the other set of variables. Two things are shown. First of all that this works in complex codimension 1. Secondly that in all the cases when it has been possible to make the Di Francesco, Itzykson and Zuber correpondence explicit this translates into identities of the type $$ \int_{W_{(m_0,m_1,m_2,\dots),n}}\prod\psi_i^{d_i} =\int_{\overline{\cal{M}}_{g,n}} X_{(m_0,m_1,m_2,\dots),n}\prod\psi_i^{d_i} $$ where the $X_{(m_0,m_1,m_2,\dots),n}$ are explicit polynomials in the algebro-geometric classes and the $\psi_i$ are the Chern classes of the point bundles, for any choice of $d_1,\dots,d_n$.


title: Quadrature Mirror Filters and Loop Groups

abstract: In this paper we want to show, that the finite impulse response quadratic mirror filters (QMF) associated to a tower of grids $\Gamma\subset H=\bf Z^n$ can be identified with a right coset of the subgroup Fix$(T_{\Gamma^{\perp}}$,Map$ ({\bf T}^n\to U(N)$: poly) of the group of polynomial loops Map$({\bf T}^n\to U(N)$: poly) with $N=|H/\Gamma|$. The QMF with some vanishing moments can be identified with cosets of subgroups. The problem to parameterize all finite impulse response QMF in arbitrary space dimensions is now equivalent to factorize all polynomial loops.


title: Differential-geometric characterizations of complete intersections

abstract: The exposition has been significantly altered, hopefully improved.


title: Canonical Generators for the Cohomology of Moduli of Parabolic Bundles on Curves

abstract: We determine generators of the rational cohomology algebras of moduli spaces of parabolic vector bundles on a curve, under some `primality' conditions on the parabolic datum. These generators are canonical in a precise sense. Our results are new even for usual vector bundles (i.e., vector bundles without parabolic structure) whose rank is greater than 2 and is coprime to the degree; in this case, they are generalizations of a theorem of Newstead on the moduli of vector bundles of rank 2 and odd degree.


title: On the stability of the tangent bundle of Fano manifolds

abstract: By using the classification of Fano 3-folds we prove: Let $X$ be Fano 3-fold. Assume that the tangent bundle $T_X$ of $X$ is not stable (i.e. semi-stable or unstable). Then $b_2\geq 2$ and a relative tangent sheaf $T_{X/Y}$ of a contraction $f:X\longrightarrow Y$ of an extremal face on $X$ is a destabilising subsheaf of $T_X$.


title: Generating Functions in Algebraic Geometry and Sums over Trees

abstract: We calculate generating functions for the Poincare polynomials of moduli spaces of pointed curves of genus zero and of Configuration Spaces of Fulton and MacPherson. We also prove that contributions of multiple coverings of curves in a Calabi-Yau threefold calculated via Kontsevich's compactification coincide with the prediction of Candelas et al., and Aspinwall and Morrison.


title: Reduction of the Manin map modulo $p$

abstract: For an abelian variety $A$ over a function field $K$ of characteristic zero, Manin defined a remarkable additive map $A(K) \ra V$, where $V$ is a vector space over $K$. We define an analogue of this map in the case of function fields of characteristic $p$. We then prove that the reduction modulo $p$ of the Manin map in characteristic zero is the derivative of the Manin map in characteristic $p$ and that the kernel of the Manin map in characteristic $p$ is the group of points divisible by $p$.


title: Beyond the K\"ahler cone

abstract: The moduli space of nonlinear $\sigma$-models on a Calabi--Yau manifold contains a complexification of the K\"ahler cone of the manifold. We describe a physically natural analytic continuation process which links the complexified K\"ahler cones of birationally equivalent Calabi--Yau manifolds. The enlarged moduli space includes a complexification of Kawamata's ``movable cone''. We formulate a natural conjecture about the action of the birational automorphism group on this cone. (Based in part on joint work with Paul Aspinwall and Brian Greene; submitted to the proceedings of ``Hirzebruch's 65th birthday workshop in algebraic geometry''.)


title: Natural transformations from constructible functions to homology

abstract: For complex projective varieties, all natural transformations from constructible functions to homology (modulo torsion) are linear combinations of the MacPherson-Schwartz-Chern classes. (The authors are willing to mail hard copies of the paper.)


title: Mordell-Weil problem for cubic surfaces

abstract: Drawing the secant through two rational points of a cubic surface we can get the third one. Is the set of rational points finitely generated? We discuss some numerical data and prove a finite generation statement with respect to a modified composition law.


title: Real Grassmann Polylogarithms and Chern Classes

abstract: In this paper we define real grassmann polylogarithms, which are real single valued analogues of the grassmann polylogarithms (or higher logarithms) defined by Hain and MacPherson. We prove the existence of all such real grassmann polylogs, at least generically. We also prove that the canonical choice of such an m-polylogarithm represents the Beilinson Chern class on the rank m part of the algebraic K-theory of the generic point of every complex algebraic variety. One part of each such grassmann m-polylogarithm is a real, single-valued function defined generically on the grassmannian of m planes in C^{2m}. We prove that this function represents the Borel regulator (up to a factor of 2) on K_{2m-1} of all number fields.


title: Complex monodromy and the topology of real algebraic sets

abstract: We study the Euler characteristic of the real Milnor fibres of a real analytic map, using a relation between complex monodromy and complex conjugation. We deduce the result of Coste and Kurdyka that the Euler characteristic of the link of an irreducible algebraic subset of a real algebraic set is generically constant modulo 4. We generalize this result to iterated links of ordered families of algebraic subsets.


title: On certain N--sheeted coverings and numerical semigroups which cannot be realized as Weierstrass semigroups

abstract: A curve $X$ is said to be of type $(N,\gamma)$ if it is an $N$--sheeted covering of a curve of genus $\gamma$ with at least one totally ramified point. A numerical semigroup $H$ is said to be of type $(N,\gamma)$ if it has $\gamma$ positive multiples of $N$ in $[N,2N\gamma]$ such that its $\gamma^{th}$ element is $2N\gamma $ and $(2\gamma+1)N \in H$. If the genus of $X$ is large enough and $N$ is prime, $X$ is of type $(N,\gamma)$ if and only if there is a point $P \in X$ such that the Weierstrass semigroup at $P$ is of type $(N,\gamma)$ (this generalizes the case of double coverings of curves). Using the proof of this result and the Buchweitz's semigroup, we can construct numerical semigroups that cannot be realized as Weierstrass semigroups although they might satisfy Buchweitz's criterion.


title: Hodge numbers of moduli spaces of stable bundles on K3 surfaces

abstract: We show that the Hodge numbers of the moduli space of stable rank two sheaves with primitive determinant on a K3 surface coincide with the Hodge numbers of an appropriate Hilbert scheme of points on the K3 surface. The precise result is: Theorem: Let $X$ be a K3 surface, $L$ a primitive big and nef line bundle and $H$ a generic polarization. If the moduli space of rank two $H$ semi-stable torsion-free sheaves with determiant $L$ and second Chern class $c_2$ has at least dimension 10 then its Hodge numbers coincide with those of the Hilbert scheme of $l:=2c_2-\frac{L^2}{2}-3$ points on $X$.


title: ${\cal H}$-cohomologies versus algebraic cycles

abstract: Global intersection theories for smooth algebraic varieties via products in {\it appropriate}\, Poincar\'e duality theories are obtained. We assume given a (twisted) cohomology theory $H^*$ having a cup product structure and we let consider the ${\cal H}$-cohomology functor $X\leadsto H^{\#}_{Zar}(X,{\cal H}^*)$ where ${\cal H}^*$ is the Zariski sheaf associated to $H^*$. We show that the ${\cal H}$-cohomology rings generalize the classical ``intersection rings'' obtained via rational or algebraic equivalences. Several basic properties e.g.\, Gysin maps, projection formula and projective bundle decomposition, of ${\cal H}$-cohomology are obtained. We therefore obtain, for $X$ smooth, Chern classes $c_{p,i} : K_i(X) \to H^{p-i}(X,{\cal H}^p)$ from the Quillen $K$-theory to ${\cal H}$-cohomologies according with Gillet and Grothendieck. We finally obtain the ``blow-up formula'' $$H^p(X',{\cal H}^q) \cong H^p(X,{\cal H}^q)\oplus \bigoplus_{i=0}^{c-2} H^{p-1-i}(Z,{\cal H}^{q-1-i})$$ where $X'$ is the blow-up of $X$ smooth, along a closed smooth subset $Z$ of pure codimension $c$. Singular cohomology of associated analityc space, \'etale cohomology, de Rham and Deligne-Beilinson cohomologies are examples for this setting.


title: Local Positivity of Ample Line Bundles

abstract: Let $L$ be a nef line bundle on a smooth complex projective variety $X$ of dimension $n$. Demailly has introduced a very interesting invariant --- the Seshadri constant $\epsilon(L,x)$ --- which in effect measures how positive $L$ is locally near a given point $x \in X$. For instance, Seshadri's criterion for ampleness may be phrased as stating that $L$ is ample if and only if there exists a positive number $e > 0$ such that $\epsilon(L,x) > e$ for all $x \in X$, and if $L$ is VERY ample, then $\epsilon(L,x) \ge 1$ for every $x$. We prove the somewhat surprising result that in each dimension $n$ there is a uniform lower bound on the Seshadri constant of an ample line bundle $L$ at a very general point of $X$. Specifically, $\epsilon(L,x) \ge (1/n) $ for all $x \in X$ outside the union of countably many proper subvarieties of $X$. Examples of Miranda show that there cannot exist a bound (independent of $X$ and $L$) that holds at every point. The proof draws inspiration from two sources: first, the arguments used to prove boundedness of Fano manifolds of Picard number one; and secondly some of the geometric ideas involving zero-estimates appearing in the work of Faltings and others on Diophantine approximation and transcendence theory. We give some elementary applications of the main theorem to adjoint and pluricanonical linear series.


title: Cubics, Integrable Systems, and Calabi-Yau Threefolds

abstract: In this work we construct an analytically completely integrable Hamiltonian system which is canonically associated to any family of Calabi-Yau threefolds. The base of this system is a moduli space of gauged Calabi-Yaus in the family, and the fibers are Deligne cohomology groups (or intermediate Jacobians) of the threefolds. This system has several interesting properties: the multivalued sections obtained as Abel-Jacobi images, or ``normal functions'', of a family of curves on the generic variety of the family, are always Lagrangian; the natural affine coordinates on the base, which are used in the mirror correspondence, arise as action variables for the integrable system; and the Yukawa cubic, expressing the infinitesimal variation of Hodge structure in the family, is essentially equivalent to the symplectic structure on the total space.


title: Moduli of Brill-Noether pairs on algebraic curves

abstract: We construct coarse moduli spaces for `Brill-Noether pairs'. Such a pair consists of a torsion-free sheaf $E$ over an algebraic curve $X$ and a vector subspace $\Lambda$ of its space of sections $H^0(E)$. The construction works for an arbitrary singular curve $X$ of pure dimension and for all values of the positive rational parameter $\alpha$ occurring in the stability condition. (Hard copies available on request.)


title: On Landsberg's criterion for complete intersections

abstract: In his preprint ``Differential-Geometric Characterizations of Complete Intersections'' (alg-geom/9407002), J.M.Landsberg introduces an elementary characterization of complete intersections. The proof of this criterion uses the method of moving frames. The aim of this note is to present an elementary proof of Landsberg's criterion that is valid over any ground field.


title: A surface of general type with \( p_g =q =0, K^2 =1 \)

abstract: We construct a surface of general type with invariants \( \chi = K^2 = 1 \) and torsion group \( \Bbb{Z}/{2} \). We use a double plane construction by finding a plane curve with certain singularities, resolving these, and taking the double cover branched along the resulting smooth curve.


title: Various Notions of Associated Prime Ideals

abstract: Three notions of associated prime ideals, which are equivalent in the noetherian case but differ in the non notherian case, are discussed. Examples illustrate the scope of the notions.


title: Ternary quartics and 3-dimensional commutative algebras

abstract: We find the connection between 3-dimensional commutative algebras with a trivial trace and plane quartics and its bitangents.


title: Rationality of the Moduli Variety of Curves of Genus 3

abstract: We prove rationality of the moduli variety of curves of genus 3.


title: Lectures on Linear Series

abstract: The past decade has witnessed two important new developments in the study of linear series on algebraic varieties. First, vector bundles have emerged as powerful tools for analyzing linear series on curves and surfaces. More recently, the viewpoints and techniques of higher dimensional geometry have started to play a central role. The purpose of these lectures is to provide a down-to-earth introduction to some of these new ideas and methods. The present notes, written with the assistance of G. Fernandez del Busto, are a considerably expanded version of a course given at the 1993 Regional Geometry Institute on Higher Dimensional Complex Geometry at Park City, Utah. While I hope they may be of interest to any geometers wishing to learn about recent work on linear series, I have particularly attempted to aim the discusion at a novice audience. My hope is that with a little faith and effort, these notes should be accessible to anyone having finished the standard introductory texts in algebraic geometry. The underlying theme of the lectures is the search for higher dimensional generalizations of the most basic facts about linear series on curves. But in an attempt to keep things elementary we work more or less exclusively on surfaces. Thus we end up discussing one central result -- viz. Reider's theorem -- from many points of view. Sticking to the case of surfaces allows one to eliminate many technical complexities, and I hope that parts of these lectures might therefore serve as a useful first introduction to the powerful cohomological techniques (involving $Q$-divisors) of contemporary


title: The Number of Rational Quartics on Calabi-Yau hypersurfaces in Weighted Projective Space P(2,1^4)

abstract: We compute the number of rational quartics on a general Calabi-Yau hypersurface in weighted projective space P(2,1^4). The result agrees with the prediction made by mirror symmetry.


title: Dynkin Graphs and Triangle Singularities

abstract: We treat nine of fourteen triangle singularities in Arnold's classification list of singularities. We consider what kind of combinations of rational double points can appear on their small deformation fibers. We show their combinations are described by a simple priciple using Dynkin graphs.


title: Variation of the Gieseker and Uhlenbeck Compactifications

abstract: In this article, we study the variation of the Gieseker and Uhlenbeck compactifications of the moduli spaces of Mumford-Takemoto stable vector bundles of rank 2 by changing polarizations. Some {\it canonical} rational morphisms among the Gieseker compactifications are proved to exist and their fibers are studied. As a consequence of studying the morphisms from the Gieseker compactifications to the Uhlebeck compactifications, we show that there is an everywhere-defined {\it canonical} algebraic map between two adjacent Uhlenbeck compactifications which restricts to the identity on some Zariski open subset.


title: Riemann reciprocity in higher dimensions

abstract: The reciprocity law for abelian differentials of first and second kind is generalized to higher-dimensional varieties. It is shown that $H^1(V)$ of a polarized variety $V$ is encoded in the Laurent data along a curve germ in $V$, with the polarization form on $H^1(V)$ corresponding to the {\em one-dimensional} residue pairing. This associates an {\em extended abelian variety} to $V$; if $V$ is an abelian variety itself, our construction ``extends" it, even when $V$ is not a Jacobian.


title: Non-symmetric orthogonal geometry of Grothendieck rings of coherent sheaves on projective spaces

abstract: In this paper we consider orthogonal geometry of the free $\protect\ZZ$-module $K_0(\protect\PP_n)$ with respect to the non-symmetric unimodular bilinear form $$\chi(E,F)=\sum (-1)^\nu\dim\ext^\nu(E,F). $$ We calculate the isometry group of this form and describe invariants of its natural action on $K_0(\protect\PP_n)$. Also we consider some general constructions with non-symmetric unimodular forms. In particular, we discuss orthogonal decomposition of such forms and the action of the braid group on a set of semiorthonormal bases. We formulate a list of natural arithmetical conjectures about semiorthogonal bases of the form $\chi$.


title: Counting twisted cubic curves on general complete intersections

abstract: This paper has been rendered obsolete by our newer eprint alg-geom/9411005 "Bott's formula and enumerative geometry", which is a considerably expanded version of the same paper, in spite of the change of titles. Please download alg-geom/9411005 instead, and update possible references.


title: Semistable sheaves on Del Pezzo surfaces and Kronecker modules

abstract: In this paper we deal with semistable sheaves which can be represented as the cokernel of an injective (or as the kernel of a surjective) morphism $E_1\otimes\CC^m\longrightarrow E_2\otimes\CC^n$ , where $E_1$ and $E_2$ are exceptional bundles. To each such a sheaf we assign the linear map $\CC^m\otimes\hom^*(E_1,E_2)\longrightarrow \CC^n$. We obtain sufficient conditions on the topological invariants of the sheaves for the moduli space of the sheaves to be isomorphic to the quotient of an open subset in $\PP{\cal L}(\CC^m\otimes\hom^*(E_1,E_2),\CC^n)$ under the action of SL$(\CC^m)\times$SL$(\CC^n)$.


title: Chamber structure of polarizations and the moduli of stable sheaves on a ruled surface

abstract: In this paper we shall generalize the chamber structure of polarizations defined by Qin, and as an application we shall compute the Picard groups of moduli spaces of stable sheaves on a non-rational ruled surface.


title: Strong McKay Correspondence, String-theoretic Hodge Numbers and Mirror Symmetry

abstract: In the revised version of the paper, we correct misprints and add some new statements.


title: Topology of Conjugate Varieties

abstract: Serre and Abelson have produced examples of non-homeomorphic conjugate varieties. We show that if the field of definition of a polarized projective variety coincides with its field of moduli then all of its conjugates have the same topological type. This extends the class of varieties known to posses conjugacy invariant to canonically embedded varieties. We also show that normal complete interswections in homogeneous varieties have this property.


title: Moduli spaces $M_{g,n}(W)$ for surfaces

abstract: We construct and prove the projectiveness of the moduli spaces which are natural generalizations to the case of surfaces of the following: 1) $M_{g,n}$, the moduli space of $n$-marked stable curves, 2) $M_{g,n}(W)$, the moduli space of $n$-marked stable maps to a variety $W$.


title: Moduli of high rank Vector bundles over Surface

abstract: This is the revised version of our previous preprint. In this paper, we establish a generic smoothness result for moduli space of semistable sheaves of arbitrary rank over surfaces provided that the second Chern class of the sheaves is sufficiently large. The theorem is proved using degeneration theory.


title: Variation of moduli spaces and Donaldson invariants under change of polarization

abstract: The paper determines the change of moduli spaces of rank $2$ sheaves on surfaces with $p_g=0$ under change of polarization and the corresponding change of the Donaldson invariants. In this revised version we have made some minor stylistic changes in the previous text. In addition we have added a final chapter of about 20 pages (announced in the previous version), in which the six lowest order terms (three of them non-zero) of the change are computed explicitely using computations in the cohomology of Hilbert schemes of points.


title: Automorphisms and moduli spaces of varieties with ample canonical class via deformations of abelian covers

abstract: By a recent result of Viehweg, projective manifolds with ample canonical class have a coarse moduli space, which is a union of quasiprojective varieties. In this paper, we prove that there are manifolds with ample canonical class that lie on arbitrarily many irreducible components of the moduli; moreover, for any finite abelian group $G$ there exist infinitely many components $M$ of the moduli of varieties with ample canonical class such that the generic automorphism group $G_M$ is equal to $G$. In order to construct the examples, we use abelian covers, i.e. Galois cover whose Galois group is finite and abelian. We prove two results about abelian covers: first, that if the building data are sufficiently ample, then the natural deformations surject on the Kuranishi family of $X$; second, that if the building data are sufficiently ample and generic, then $Aut(X)=G$.


title: Flips of moduli spaces and transition formulas for Donaldson polynomial invariants of rational surfaces

abstract: We study the change of moduli spaces of Gieseker-semistable torsion free rank-$2$ sheaves on algebraic surfaces as we vary the polarizations. When the surfaces are rational with an effective anti-canonical divisor, the moduli spaces are linked by a series of flips (blowups and blowdowns). Using these results, we compute the transition formulas for Donaldson polynomial invariants of rational surfaces. Part of the work is also obtained independently by Matsuki-Wentworth and Ellingsrud-G{\" o}ttsche.


title: Applications of iterated curve blowup to set-theoretic complete intersections in P3

abstract: Let S, T be surfaces in P3. Suppose that S intersect T is set-theoretically a smooth curve C of degree d and genus g. Suppose that S and T have no common singular points. Then if C is not a complete intersection, then deg(S), deg(T) < 2d^4. Fixing (d,g), one can form a finite (shorter) list of all possible pairs (deg(S),deg(T)). For instance, when (d,g) = (4,0), and assuming for simplicity that deg(S) <= deg(T): (deg(S), deg(T)) \in {(3,4), (3,8), (4,4), (4,7), (6,26), (9,48), (10,28) (12,18), (13,16), (17,220), (18,118), (19,84), (20,67), (22,50), (28,33)}. Assume characteristic 0. [1] Suppose that S and T have non-overlapping rational singularities. Then d <= g+3. [2] Suppose that S is normal, and that d>deg(S). Then C is linearly normal (and so d <= g+3). [3] Suppose that S is a quartic surface having only rational singularities. Then C is linearly normal. Hard copy is available from the author. E-mail to jaffe@cpthree.unl.edu.


title: Coherent functors, with application to torsion in the Picard group

abstract: Let A be a commutative noetherian ring. Call a functor <<commutative A-algebras>> --> <<sets>> coherent if it can be built up (via iterated finite limits) from functors of the form B \mapsto M tensor_A B, where M is a f.g. A-module. When such a functor F in fact takes its values in <<abelian groups>>, we show that there are only finitely many prime numbers p such that _p F(A) is infinite, and that none of these primes are invertible in A. This (and related statements) yield information about torsion in Pic(A). For example, if A is of finite type over Z, we prove that the torsion in Pic(A) is supported at a finite set of primes, and if _p Pic(A) is infinite, then the prime p is not invertible in A. These results use the (already known) fact that if such an A is normal, then Pic(A) is finitely generated. We obtain a parallel result for a reduced scheme X of finite type over Z. We show that the groups which can occur as the Picard group of a scheme of finite type over a finite field all have the form (finitely generated) + sum_{n=1}^infty F, where F is a finite p-group. Hard copy is available from the author. E-mail to jaffe@cpthree.unl.edu.


title: Functorial structure of units in a tensor product

abstract: We study the units in a tensor product of rings. For example, let k be an algebraically closed field. Let A and B be reduced rings containing k, having connected spectra. Let u \in A tensor_k B be a unit. Then u = a tensor_k b for some units a \in A and b \in B. Here is a deeper result, stated for simplicity in the affine case only. Let k be a field, and let f: R --> S be a homomorphism of f.g. k-algebras such that Spec(f) is dominant. Assume that every irreducible component of Spec(R_red) or Spec(S_red) is geometrically integral and has a rational point. Let B --> C be a faithfully flat homomorphism of reduced k-algebras. For A a k-algebra, define Q(A) to be (S tensor_k A)^*/(R tensor_k A)^*. Then Q satisfies the following sheaf property: the sequence 0 --> Q(B) --> Q(C) --> Q(C tensor_B C) is exact. This and another result are used in the proof of the following statement from "The kernel of the map on Picard groups induced by a faithfully flat homomorphism" by R. Guralnick, D. Jaffe, W. Raskind, R. Wiegand: Let K/k be an algebraic field extension and let A be a f.g. k-algebra. Assume resolution of singularities. Then there is a finite extension E/k contained in K/k such that Pic(A tensor_k E) --> Pic(A tensor_k K) is injective.


title: Ample Line Bundles on Blown Up Surfaces

abstract: Given a smooth complex projective surface $S$ and an ample divisor $H$ on $S$, consider the blow up of $S$ along $k$ points in general position. Let $H'$ be the pullback of $H$ and $E_1,..., E_k$ be the exceptional divisors. We show that $L = nH' -E_1 - ... -E_k$ is ample if and only if $L^2$ is positive provided the integer $n$ is at least 3.


title: The principle describing possible combinations of singularities in deformations of a fixed singularity

abstract: This is the abstract prepared for Workshop on Topology and Geometry (Zhang jiang, China, October 1994), and is a review of my recent works. What kinds of combinations of singularities can appear in small deformation fibers of a fixed singularity? We consider this problem for hypersurface singularities on complex analytic spaces of dimension 2. For all singularities in the beginning par t of Arnold's classification list, the answer to this problem is given by a unique principle described by Dynkin graphs. This article contains several figures. I will send the hard copy containin g figures by mail with envelope and stamps under request.


title: On the Malcev completion of K\"ahler groups

abstract: Restrictions are placed on the presentation and holonomy algebra of a K\"ahler group. Let $X$ be compact K\"ahler. It is known that the formality of $X$, its Albanese map and the Hodge structure of $H^{\ast}(X)$ impose restrictions on the holonomy algebra of $\pi_1 X$. We derive further restrictions from Sullivan's 1-minimal model. An effective algorithm is given to compute the holonomy algebra of a group from a presentation. Some very strong restrictions on K\"ahler groups with few defining relations are obtained.