title: Geometry of Moduli Spaces of Flat Bundles on Punctured Surfaces

abstract: We consider the moduli spaces of flat $SL(n, C)$-bundles on Riemann surfaces with one puncture when we fix the conjugacy class ${\cal C}$ of the monodromy transformation around the puncture. We show that under a certain condition on the class ${\cal C}$ (namely the product of $k<n$ eigenvalues is not equal to $1$) that we call property P the moduli space in question is smooth and its natural closure is a normal algebraic variety with rational singularities. The set of conjugacy classes having property P constitutes a Zariski open subset of $SL(n, C)$ and it is also possible to define property P for the groups $SO(n, C)}$ and $Sp(2n, C)$ to prove similar results. There are a few other applications of our techniques, one of which is that if $G$ is a classical reductive algebraic group and $A_1, A_2, ..., A_p\in G$, $p>1$ and $A_1A_2\cdots A_pA_1^{-1}A_2^{-1}\cdots A_p^{-1}$ belongs to a class which satisfies property P then the $p$ -tuple $(A_1, ..., A_p)$ algebraically generates the whole group $G$.


title: Applications of Braid Group Techniques to algebraic Surfaces, New examples

abstract: Every smooth minimal complex algebraic surface of general type, $X$, may be mapped into a moduli space, $\MM_{c_1^2(X), c_2(X)}$, of minimal surfaces of general type, all of which have the same Chern numbers. Using the braid group and braid monodromy,we construct infinitely many new examples of pairs of minimal surfaces of general type which have the same Chern numbers and non-isomorphic fundamental groups. Unlike previous examples, our results include $X$ for which $|\pi_1(X)|$ is arbitrarily large. Moreover, the surfaces are of positive signature. This supports our goal of using the braid group and fundamental groupsto decompose $\MM_{c_1^2(X),c_2(X)}$ into connected components.


title: Examples of smooth non-general type surfaces in P^4

abstract: The aim of the paper is to provide a series of new examples of smooth surfaces in P^4, not of general type, in degrees varying from 12 up to 14, and to describe their geometry. By using mainly syzygies and liaison techniques, we construct the following families of surfaces: - minimal proper elliptic surfaces of degree 12 and sectional genus 13, - two types of non-minimal proper elliptic surfaces of degree 12 and sectional genus 14, - non-minimal K3 surfaces of degree 13 and sectional genus 16, and - non-minimal K3 surfaces of degree 14 and sectional genus 19.


title: The degree of the generators of the canonical ring of surfaces with p_g=0

abstract: It is shown that the canonical ring of a minimal surface of general type with $p_g=0, K^2\geq 2$ is generated by its elements of degree lesser or equal to 5, provided $|2K|$ has no fixed components, and that this bound can be lowered to 4 under the assumption that $|2K|$ is base-point free.


title: The deformation theory of local complete intersections

abstract: This is an expository paper on the subject of the title. It assumes basic scheme theory, commutative and homological algebra.


title: A Remark on the Geometry of Elliptic Scrolls and Bielliptic Surfaces

abstract: The union of two quintic elliptic scrolls in P^4 intersecting transversally along an elliptic normal quintic curve is a singular surface Z which behaves numerically like a bielliptic surface. In the appendix to the paper [W. Decker et al.: Syzygies of abelian and bielliptic surfaces in P^4, alg-geom/9606013] where the equations of this singular surface were computed, we proved that Z defines a smooth point in the appropriate Hilbert scheme and that Z cannot be smoothed in P^4. Here we consider the analogous situation in higher dimensional projective spaces P^{n-1}, where, to our surprise, the answer depends on the dimension n-1. If n is odd the union of two scrolls cannot be smoothed, whereas it can be smoothed if n is even. We construct an explicit smoothing.


title: Perverse Sheaves on Loop Grassmannians and Langlands Duality

abstract: We outline a proof of a geometric version of the Satake isomorphism. Given a connected, complex algebraic reductive group G we show that the tensor category of representations of the dual group $\check G$ is naturally equivalent to a certain category of perverse sheaves on the loop Grassmannian of G. The above result has been announced by Ginsburg in \cite{G} and some of the arguments are borrowed from \cite{G}. However, we use a more "natural" commutativity constraint for the convolution product, due to Drinfeld. Secondly, we give a direct geometric proof that the global cohomology functor is exact and decompose this cohomology functor into a direct sum of weights. We avoid the use of the decomposition theorem of \cite{BBD} which makes our techniques applicable to perverse sheaves with coefficients over arbitrary commutative rings. This note includes sketches of (some of the) proofs. The details, as well as the generalization to representations over arbitrary fields and commutative rings will appear elsewhere.


title: Moduli of flat bundles on open Kaehler manifolds

abstract: We consider the moduli space MN of flat unitary connections on an open Kaehler manifold U (complement of a divisor with normal crossings) with restrictions on their monodromy transformations. Using intersection and L2 cohomologies with degenerating coefficients we construct a natural symplectic form F on MN. When U is quasi-projective we prove that F is actually a Kaehler form.


title: Moduli of regular holonomic D-modules with normal crossing singularities

abstract: This paper solves the global moduli problem for regular holonomic D-modules with normal crossing singularities on a nonsingular complex projective variety. This is done by introducing a level structure (which gives rise to ``pre-D-modules''), and then introducing a notion of (semi-)stability and applying Geometric Invariant Theory to construct a coarse moduli scheme for semistable pre-D-modules. A moduli is constructed also for the corresponding perverse sheaves, and the Riemann-Hilbert correspondence is represented by an analytic morphism between these moduli spaces.


title: Contact Cohomology of the Projective Plane

abstract: We construct an associative ring which is a deformation of the quantum cohomology ring of the projective plane. Just as the quantum cohomology encodes the incidence characteristic numbers of rational plane curves, the contact cohomology encodes the tangency characteristic numbers.


title: Derivation algebras of toric varieties

abstract: Normal affine algebraic varieties in characteristic 0 are uniquely determined (up to isomorphism) by the Lie algebra of derivations of their coordinate ring. This is not true without the hypothesis of normality. But, we show that (in general, non-normal) toric varieties defined by simplicial affine semigroups are uniquely determined by their Lie algebra if they are supposed to be Cohen-Macaulay of dimension at least 2 or Gorenstein of dimension 1. Moreover, every automorphism of the Lie algebra is induced from a unique automorphism of the variety and every derivation of the Lie algebra is inner, i.e., the first cohomology of the Lie algebra with coefficients in the adjoint representation vanishes.


title: Associativity relations in quantum cohomology

abstract: We describe interdependencies among the quantum cohomology associativity relations. We strengthen the first reconstruction theorem of Kontsevich and Manin by identifying a subcollection of the associativity relations which implies the full system of WDVV equations. This provides a tool for identifying non-geometric solutions to WDVV.


title: Hypercomplex Varieties

abstract: We give a number of equivalent definitions of hypercomplex varieties and construct a twistor space for a hypercomplex variety. We prove that our definition of a hypercomplex variety (used, e. g., in alg-geom/9612013) is equivalent to a definition proposed by Deligne and Simpson, who used twistor spaces. This gives a way to define hypercomplex spaces (to allow nilpotents in the structure sheaf). We give a self-contained proof of desingularization theorem for hypercomplex varieties: a normalization of a hypercomplex variety is smooth and hypercomplex.


title: Chern Classes of Fibered Products of Surfaces

abstract: In this paper we introduce a formula to compute Chern classes of fibered products of algebraic surfaces. For f, a generic projection to CP^2, of an algebraic surface X, we define X_k (for k smaller than degf) to be the k products of X over f minus the big diagonal. For k=degf, X_k is called the Galois cover of f w.r.t. full symmetric group. Let S be the branch curve of f. We give a formula for c_1^2 and c_2 of X_k, in terms of degf, degS, and the number of cusps, nodes and branch points of S. We apply the formula in 2 examples and add a conjecture concerning the spin structure of fibered products of Veronese surfaces.


title: Mixed Segre Numbers and Integral Closure of Ideals

abstract: We introduce mixed Segre numbers of ideals which generalize the notion of mixed multiplicities of ideals of finite colength and show how many results on mixed multiplicities can be extended to results on mixed Segre numbers. In particular, we give a necessary and sufficient condition in terms of these numbers for two ideals to have the same integral closure. Also, our theory yields a new proof of a generalization of Rees' theorem that links the integral closure of an ideal to its multiplicity. Finally, we give a quick application of our results to Whitney equisingularity.


title: A New look at the vortex equations and dimensional reduction

abstract: In order to use the technique of dimensional reduction, it is usually necessary for there to be a symmetry coming from a group action. In this paper we consider a situation in which there is no such symmetry, but in which a type of dimensional reduction is nevertheless possible. We obtain a relation between the Coupled Vortex equations on a closed Kahler manifold, $X$, and the Hermitian-Einstein equations on certain $P^1$-bundles over $X$. Our results thus generalize the dimensional reduction results of Garcia-Prada, which apply when the Hermitian-Einstein equations are on $X\times P^1$.


title: Standard Monomial Theory for Bott-Samelson Varieties of GL(n)

abstract: We construct an explicit basis for the coordinate ring of the Bott-Samelson variety Z_i associated to G = GL(n) and an arbitrary sequence of simple reflections i. Our basis is parametrized by certain standard tableaux and generalizes the Standard Monomial basis for Schubert varieties. Our standard tableaux have a natural crystal graph structure.


title: Determinant bundles for abelian schemes

abstract: To a symmetric, relatively ample line bundle on an abelian scheme one can associate a linear combination of the determinant bundle and the relative canonical bundle, which is a torsion element in the Picard group of the base. We improve the bound on the order of this element found by Faltings and Chai. In particular, we obtain an optimal bound when the degree of the line bundle d is odd and the set of residue characteristics of the base does not intersect the set of primes p dividing d, such that $p\equiv -1\mod(4)$ and p<2g, where g is the relative dimension of the abelian scheme. Also, we show that in some cases these torsion elements generate the entire torsion subgroup in the Picard group of the corresponding moduli stack.


title: Geometric Realization of Whittaker Functions and the Langlands Conjecture

abstract: We prove the equivalence of two conjectural constructions of unramified cuspidal automorphic functions on the adelic group GL_n(A) associated to an irreducible l-adic local system of rank n on an algebraic curve X over a finite field. The existence of such a function is predicted by the Langlands conjecture. The first construction, which was proposed by Shalika and Piatetski-Shapiro following Weil and Jacquet-Langlands (n=2), is based on considering the Whittaker function. The second construction, which was proposed recently by Laumon following Drinfeld (n=2) and Deligne (n=1), is geometric: the automorphic function is obtained via Grothendieck's ``faisceaux-fonctions'' correspondence from a complex of sheaves on an algebraic stack. Our proof of their equivalence is based on a local result about the spherical Hecke algebra, which we prove for an arbitrary reductive group. We also discuss a geometric interpretation of this result.


title: On Betti numbers and Chern classes of varieties with trivial odd cohomology groups

abstract: It was noticed in a very recent preprint of T. Eguchi, K. Hori, and Ch.-Sh. Xiong (hep-th/9703086) that a curious identity between Betti numbers and Chern classes holds for many examples of Fano varieties. The goal of this paper is to prove that for varieties with trivial odd cohomology groups this identity is equivalent to having zero Hodge numbers $h^{p,q}$ for $p\neq q$.


title: A note on P-resolutions of cyclic quotient singularities

abstract: P-resolutions of a cyclic quotient singularity are known to be in one-to-one correspondence with the components of the base space of its semi-universal deformation. Stevens and Christophersen have shown that P-resolutions are parametrized by so-called chains representing zero or, equivalently, certain subdivisions of polygons. I give here a purely combinatorial proof of the correspondence between subdivisions of polygons and P-resolutions.


title: On the quotient of the braid group by commutators of transversal half-twists and its group actions

abstract: The group described in this paper appeared while studying fundamental groups of complements of branch curves. It turned out that a certain quotient of the braid group acts on those fundamental groups and studying this action is essential for understanding the structure of the fundamental groups. We describe here the quotient of the Artin braid group by commutators of transversal half-twists and we investigates its group actions. We denote the quotient by B_n~ and refer to the groups which admit an action of B_n~ , as B_n~-groups. We distinguish special elements in B_n~-groups which we call prime elements and we give a criterion for an element to be prime. This criterion will be applied to the study of the structure of fundamental groups of complements of branch curves. The group B_n~ itself turns out to be an extension of a solvable group by a symmetric group.


title: Heisenberg invariant quartics and SU_C(2) for a curve of genus four

abstract: If C is a curve of genus 4 without vanishing theta-nulls then there exists a unique (irreducible) Heisenberg-invariant quartic Q_C in |2\Theta| = P^{15} such that Sing Q_C contains the image of SU_C(2), the moduli space of rank 2 vector bundles with trivial determinant. Moreover, in each eigen-P^7 of the Heisenberg action on |2\Theta|, Q_C restricts to the classical Coble quartic of the corresponding Prym-Kummer variety. We compare Q_C with the hypersurface G_3 in |2\Theta| of divisors containing a translate of C in J(C), and show that in the eigen-P^7s G_3 recovers Beauville--Debarre's quadrisecant planes of the Prym-Kummers (this works for any genus). Using the Recillas construction this enables us to deduce, contrary to the analogous result for genus 3, that Q_C and G_3 are distinct.


title: Three-block exceptional collections over Del Pezzo surfaces

abstract: We study complete exceptional collections of coherent sheaves over Del Pezzo surfaces, which consist of three blocks such that inside each block all Ext groups between the sheaves are zero. We show that the ranks of all sheaves in such a block are the same and the three ranks corresponding to a complete 3-block exceptional collection satisfy a Markov-type Diophantine equation that is quadratic in each variable. For each Del Pezzo surface, there is a finite number of these equations; the complete list is given. The 3-string braid group acts by mutations on the set of complete 3-block exceptional collections. We describe this action. In particular, any orbit contains a 3-block collection with the sum of ranks that is minimal for the solutions of the corresponding Markov-type equation, and the orbits can be obtained from each other via tensoring by an invertible sheaf and with the action of the Weyl group. This allows us to compute the number of orbits up to twisting.


title: Interpolation on Jets

abstract: We show that for any finite generic union of pairs $(x_i,L_i)_i$ where $x_i\in L_i$ is a point of the line $L_i$ in projective $n$-space, the divisors $m_ix_i$ on the $L_i$ have maximal rank with respect to homogeneous $d$ forms for all $d\geq 0$ and all $m_i\geq 0$ modulo the expected numerical restrictions.


title: Generic Hypersurface Singularities

abstract: We give a new differential proof of our result on the maximal rank of generic unions of points of multiplicity two in projective space in degrees greater than five. This simplifies somewhat our proof of the Waring conjecture.


title: Alexander Invariants of Complex Hyperplane Arrangements

abstract: Let A be an arrangement of complex hyperplanes. The fundamental group of the complement of A is determined by a braid monodromy homomorphism from a finitely generated free group to the pure braid group. Using the Gassner representation of the pure braid group, we find an explicit presentation for the Alexander invariant of A. From this presentation, we obtain combinatorial lower bounds for the ranks of the Chen groups of A. We also provide a combinatorial criterion for when these lower bounds are attained.


title: On the topology of holomorphic bundles

abstract: In this work we study the topology of holomorphic rank two bundles over complex surfaces. We consider bundles that are constructed by glueing and show that under certain conditions the topology of the bundle does not depend on the glueing. We present a simple classification of bundles on blown-up surfaces.


title: Projections of Grassmannians of lines and characterization of Veronese varieties

abstract: We characterize the double Veronese embedding of P^n as the only variety that, under certain general conditions, can be isomorphically projected from the Grassmannian of lines in P^{2n+1} to the Grassmannian of lines in P^{n+1}.


title: Rankin-Cohen Type Differential Operators for Siegel Modular Forms

abstract: Let H_n be the Siegel upper half space and let F and G be automorphic forms on H_n of weights k and l, respectively. We give explicit examples of differential operators D acting on functions on H_n x H_n such that the restriction of D(F(Z_1) G(Z_2)) to Z = Z_1 = Z_2 is again an automorphic form of weight k+l+v on H_n. Since the elliptic case, i.e. n=1, has already been studied some time ago by R. Rankin and H. Cohen we call such differential operators Rankin-Cohen type operators. We also discuss a generalisation of Rankin-Cohen type operators to vector valued differential operators.


title: Testing S-duality conjecture and exceptional bundles

abstract: In this paper we deal with algebro-geometrical problems connected with testing S-duality conjecture for super-symmetric Yang-Mills quantum field theories in four dimensions. We describe all field configurations such that beta function coefficient for gauge groups of rank 1 and 2 is zero or negative. We also give special series of such field configurations for gauge groups of an arbitrary rank. Realization of one of the series discovers a connection with exceptional bundles. That points again at relation between S-duality and string duality.


title: The Ideal Generation Problem for Fat Points

abstract: This paper is concerned with determining the number of generators in each degree for minimal sets of homogeneous generators for saturated ideals defining fat point subschemes $Z=m_1p_1+ ... +m_rp_r$ for general sets of points $p_i$ of $P^2$. For thin points (i.e., m_i=1 for all i), a solution is known, in terms of a maximal rank property. Although this property in general fails for fat points, we show it holds in an appropriate asymptotic sense. In the uniform (i.e., $m_1= ... =m_r$) case, we determine all failures of this maximal rank property for $r\le 9$, and we develop evidence for the conjecture that no other failures occur for $r > 9$.


title: Very Ampleness and Higher Syzygies for Algebraic Surfaces and Calabi-Yau Threefolds

abstract: This work consists of two parts. In the first part we develop new techniques to compute Koszul cohomology groups for several classes of varieties. As applications we prove results on projective normality and syzygies for algebraic surfaces. From more general results we obtain in particular the following: a) Mukai's conjecture (and stronger variants of it) regarding projective normality and normal presentation for surfaces with Kodaira dimension 0, and uniform bounds for higher syzygies associated to adjoint linear series, b) effective bounds along the lines of Mukai's conjecture regarding projective normality and normal presentation for surfaces of positive Kodaira dimension, and, c) results on projective normality for pluricanonical models of surfaces of general type (recovering and strengthening results by Ciliberto) and generalizations of them to higher syzygies. In the second part we prove results on very ampleness, projective normality and higher syzygies for both singular and smooth Calabi-Yau threefolds. The general results that we prove are analogues of the results of St. Donat for K3 surfaces. From these general results we obtain bounds very close to Fujita's conjecture regarding very ampleness of powers of an ample line bundle A (for instance, if A^3 is greater than 1, our bound is one short of Fujita's). We generalize our results on very ampleness and projective normality to higher syzygies.


title: An Assympotic Vanishing Theorem for Generic Unions of Multiple Points

abstract: In this revised form, the proof of the principal lemma has been simplified and the main theorem has been extended to all characteristics for those varieties which are smooth in codimension one. This principal theorem essentially says the following : given an ample line bundle O(1) on a projective variety X and a fixed upper bound M on the multiplicities, there exists a lower bound D such that any generic union of multiple points of multiplicity at most M imposes independent conditions on the sections of O(d) for d>D. Here a multiple point is the closed subscheme defined by a power m of the ideal of a smooth point in X and m is its multiplicity.


title: On Punctual Quot Schemes for Algebraic Surfaces

abstract: The punctual Quot scheme parametrizes all length d quotients of a (locally) trivial rank r sheaf which are supported at a fixed point. The author shows that this scheme is irreducible and (rd-1)-dimensional. The same result was proved independently by Ellingsrud and Lehn.


title: Tempered currents and the cohomology of the remote fiber of a real polynomial map

abstract: Let $p:R^n\to R$ be a polynomial map. Consider the complex $S'\Omega^*(\RR^n)$ of tempered currents on $R^n$ with the twisted differential $d_p=d-dp$ where $d$ is the usual exterior differential and $dp$ stands for the exterior multiplication by $dp$. Let $t\in R$ and let $F_t=p^{-1}(t)$. In this paper we prove that the reduced cohomology $\tilda H^k(F_t;C)$ of $F_t$ is isomorphic to $H^{k+1}(S'\Omega^*(\RR^n),d_p)$ in the case when $p$ is homogeneous and $t$ is any positive real number. We conjecture that this isomorphism holds for any polynomial $p$, for $t$ large enough (we call the $F_t$ for $t >> 0$ the remote fiber of $p$) and we prove this conjecture for polynomials that satisfy certain technical condition. The result is analogous to that of A. Dimca and M. Saito, who give a similar (algebraic) way to compute the reduced cohomology of the generic fiber of a complex polynomial.


title: Birational Models of the Moduli Spaces of Stable Vector Bundles over Curves

abstract: We give a method to construct stable vector bundles whose rank divides the degree over curves of genus bigger than one. The method complements the one given by Newstead. Finally, we make some systematic remarks and observations in connection with rationality of moduli spaces of stable vector bundles.


title: Empty real Enriques surfaces and Enriques-Einstein-Hitchin 4-manifolds

abstract: We prove that the moduli space of empty real Enriques surfaces (and, thus, the moduli space of compact orientable 4-dimensional Einstein manifolds whose universal covering is a K3-surface and \pi_1(E) = Z/2 x Z/2) is connected. The proof is based on a systematic study of real elliptic pencils and gives explicit models of all empty real Enriques surfaces.


title: Bend, break and count

abstract: We give a 'recursive' formula (in terms of reducible limits) for counting rational curves on a variety moving in any sufficiently large and well-behaved family. Our approach is completely elementary and makes no use of moduli spaces for maps or the like.


title: The global nilpotent variety is Lagrangian

abstract: The purpose of this note is to present a short elementary proof of a theorem due to Faltings and Laumon, saying that the global nilpotent cone is a Lagrangian substack in the cotangent bundle of the moduli space of G-bundles on a complex compact curve. This result plays a crucial role in the Geometric Langlands program, due to Beilinson-Drinfeld, since it insures that the D-modules on the moduli space of G-bundles whose characteristic variety is contained in the global nilpotent cone are automatically holonomic, hence, e.g. have finite length.

categories: alg-geom dg-ga math.AG math.DG math.QA q-alg


title: A closed model structure for $n$-categories, internal $Hom$, $n$-stacks and generalized Seifert-Van Kampen

abstract: We define a closed model category containing the $n$-nerves defined by Tamsamani, and admitting internal $Hom$. This allows us to construct the $n+1$-category $nCAT$ by taking the internal $Hom$ for fibrant objects. We prove a generalized Seifert-Van Kampen theorem for Tamsamani's Poincar\'e $n$-groupoid of a topological space. We give a still-speculative discussion of $n$-stacks, and similarly of comparison with other possible definitions of $n$-category.


title: All Abelian Quotient C.I.-Singularities Admit Projective Crepant Resolutions in All Dimensions

abstract: For Gorenstein quotient spaces $C^d/G$, a direct generalization of the classical McKay correspondence in dimensions $d\geq 4$ would primarily demand the existence of projective, crepant desingularizations. Since this turned out to be not always possible, Reid asked about special classes of such quotient spaces which would satisfy the above property. We prove that the underlying spaces of all Gorenstein abelian quotient singularities, which are embeddable as complete intersections of hypersurfaces in an affine space, have torus-equivariant projective crepant resolutions in all dimensions. We use techniques from toric and discrete geometry.


title: Divisors on elliptic Calabi-Yau 4-folds and the superpotential in F-theory, I

abstract: Each smooth elliptic Calabi-Yau 4-fold determines both a three-dimensional physical theory (a compactification of ``M-theory'') and a four-dimensional physical theory (using the ``F-theory'' construction). A key issue in both theories is the calculation of the ``superpotential''of the theory. We propose a systematic approach to identify these divisors, and derive some criteria to determine whether a given divisor indeed contributes. We then apply our techniques in explicit examples, in particular, when the base B of the elliptic fibration is a toric variety or a Fano 3-fold. When B is Fano, we show how divisors contributing to the superpotential are always "exceptional" (in some sense) for the Calabi-Yau 4-fold X. This naturally leads to certain transitions of X, that is birational transformations to a singular model (where the image of D no longer contributes) as well as certain smoothings of the singular model. If a smoothing exists, then the Hodge numbers change. We speculate that divisors contributing to the superpotential are always "exceptional" (in some sense) for X, also in M-theory. In fact we show that this is a consequence of the (log)-minimal model algorithm in dimension 4, which is still conjectural in its generality, but it has been worked out in various cases, among which toric varieties.


title: Rozansky-Witten invariants via Atiyah classes

abstract: Recently, L.Rozansky and E.Witten (hep-th/9612216) associated to any hyperKaehler manifold X a system of "weights" (numbers, one for each trivalent graph) and used them to construct invariants of topological 3-manifolds. We give a very simple cohomological definition of these weights in terms of the Atiyah class of X (the obstruction to existence of a holomorphic connection). We show that the analogy between the tensor of curvature of a hyperKaehler metric and the tensor of structure constants of a Lie algebra observed by Rozansky and Witten, holds in fact for any complex manifold, if we work on the level of cohomology and for any Kaehler manifold, if we work on the level of Dolbeault forms. In particular, for any sheaf A of commutative algebras on any complex manifold the shifted cohomology of the tangent sheaf tensored with A is a graded Lie algebra. We also show that a certain system of Gilkey-type complexes of "natural tensors" on Kaehler manifolds is, up to suspension (accounting for various changes of signs), identified with the PROP (in the sense of Adams and MacLane) describing Lie algebras "up to higher homotopies". As an outcome of our considerations, we give a formula for the Rozansky-Witten classes using any Kaehler metric on a holomorphic symplectic manifold.


title: Plane curves of minimal degree with prescribed singularities

abstract: We prove that there exists a>0 such that for any integer d>2 and any topological types S_1,...,S_n of plane curve singularities, satisfying $\mu(S_1)+...+\mu(S_n) \leq ad^2$, there exists a reduced irreducible plane curve of degree d with exactly n singular points of types S_1,...,S_n, respectively. This estimate is optimal with respect to the exponent of d. In particular, we prove that for any topological type S there exists an irreducible polynomial of degree $d \leq 14\sqrt{\mu(S)}$ having a singular point of type S.


title: On Degenerations of Fibre Spaces of Curves of Genus >= 2

abstract: In this note, we show that for surfaces admitting suitable fibrations, any given degeneration X / Delta is bimeromorphic to a fiber space over Delta and we apply this result to the study of the degenerate fiber.


title: On fundamental groups of elliptically connected surfaces

abstract: A compact complex manifold $X$ is called elliptically connected if any pair of points in $X$ can be connected by a chain of elliptic or rational curves. We prove that the fundamental group of an elliptically connected compact complex surface is almost abelian. This confirms a conjecture which states that the fundamental group of an elliptically connected K\"ahler manifold must be almost abelian.


title: Connected components in the intersection of two open opposite Schubert cells in real complete flag manifold

abstract: In this paper we reduce the problem of counting the number of connected components in the intersection of two opposite open Schubert cells in the variety of real complete flags to a purely combinatorial question of counting the number of orbits of a certain intriguing group action in the space of upper triangular matrices with {0,1}-valued entries. The crucial step of our reduction uses the parametrization of the space of real unipotent totally positive upper triangular matrices introduced by Lusztig and Berenstein, Fomin, Zelevinski.


title: Intersection Homology of Toric Varieties and a Conjecture of Kalai

abstract: We prove that the intersection homology Poincare' polynomial P(X) of an affine toric variety X is bounded below by the product P(Y)P(X/Y), where Y is the closure of any orbit in X and X/Y is a slice transverse to the orbit. This proves a combinatorial conjecture of Kalai for rational polytopes.


title: Non-Abelian Brill-Noether theory and Fano 3-folds

abstract: A Brill-Noether locus is a subscheme of the moduli of bundles E over a curve C defined by requiring E to have a given number of sections, or homomorphisms from another bundle. There are a number of different types, that can be treated by determinantal methods, with symmetry or skewsymmetry arising from Serre duality. They have many beautiful applications to curves, K3 surfaces and Fano 3-folds.


title: On the irreducibility of the punctual Quotient Scheme of a Surface

abstract: We prove that the Quot-scheme of finite quotients of a vector bundle which are of a given length and supported in one point, is irreducible and of the expected dimension.


title: An algorithm for computing the integral closure

abstract: In this article we give an algorithm for computing the integral closure of a reduced Noetherian ring R, in case this integral closure is finitely generated over R.


title: Bertini and his two fundamental theorems

abstract: After reviewing Bertini's life story, a fascinating drama, we make a critical examination of the old statements and proofs of Bertini's two fundamental theorems, the theorem on variable singular points and the theorem on reducible linear systems. We explain the content of the statements in a way that is accessible to a nonspecialist, and we develop versions of the old proofs that are complete and rigorous by current standards. In particular, we prove a new extension of Bertini's first theorem, which treats variable $r$-fold points for any $r$.


title: Towards a Halphen theory of linear series on curves

abstract: A linear series on a curve C in $P^3$ is "primary" when it does not contain the series cut by planes. We provide a lower bound for the degree of these series, in terms of deg(C), g(C) and of the number $s = min{i: h^0(I_C(i))\neq 0}$; as a corollary, we obtain bounds for the gonality of C. Examples show that our bound is sharp. Extensions to the case of general linear series and to the case of curves in higher projective spaces are considered.


title: Second order theta divisors on Pryms

abstract: Van Geemen and van der Geer, Donagi, Beauville and Debarre proposed characterizations of the locus of jacobians which use the linear system of $2\Theta$-divisors. We give new evidence for these conjectures in the case of Prym varieties.


title: Le probleme de Brill-Noether pour des fibres stables de petites pentes

abstract: We deal with the Brill-Noether problem for stable vector bundles of slope between one and two.


title: A simply connected numerical Godeaux surface with ample canonical class

abstract: We prove that a recent construction of a numerical Godeaux surface due to P. Craighero and R. Gattazzo is simply connected, and show how to realize their construction as a double plane. By proving that the surface contains no (-2)-curves, we obtain that this is the first example of a simply connected surface with vanishing geometric genus and ample canonical class.


title: Mirror symmetry on K3 surfaces via Fourier-Mukai transform

abstract: We use a relative Fourier-Mukai transform on elliptic K3 surfaces $X$ to describe mirror symmetry. The action of this Fourier-Mukai transform on the cohomology ring of $X$ reproduces relative T-duality and provides an infinitesimal isometry of the moduli space of algebraic structures on $X$ which, in view of the triviality of the quantum cohomology of K3 surfaces, can be interpreted as mirror symmetry.


title: Generalized Fourier-Mukai Transforms

abstract: The paper sets out a generalized framework for Fourier-Mukai transforms and illustrates their use via vector bundle transforms. A Fourier-Mukai transform is, roughly, an isomorphism of derived categories of (sheaves) on smooth varieties X and Y. We show that these can only exist if the first Chern class of the varieties vanishes and, in the case of vector bundle transforms, will exist if and only if there is a bi-universal bundle on XxY which is "strongly simple" in a suitable sense. Some applications are given to abelian varieties extending the work of Mukai.


title: Fourier-Mukai transforms for elliptic surfaces

abstract: We compute a large number of moduli spaces of stable bundles on a general algebraic elliptic surface using a new class of Fourier-Mukai type transforms.


title: The Singular Supports of IC sheaves on Quasimaps' Spaces are Irreducible

abstract: Let $C$ be a smooth projective curve of genus 0. Let $B$ be the variety of complete flags in an $n$-dimensional vector space $V$. Given an $(n-1)$-tuple $\alpha\in N[I]$ of positive integers one can consider the space $Q_\alpha$ of algebraic maps of degree $\alpha$ from $C$ to $B$. This space admits some remarkable compactifications $Q^D_\alpha$ (Quasimaps), $Q^L_\alpha$ (Quasiflags) constructed by Drinfeld and Laumon respectively. In [Kuznetsov] it was proved that the natural map $\pi: Q^L_\alpha\to Q^D_\alpha$ is a small resolution of singularities. The aim of the present note is to study the singular support of the Goresky-MacPherson sheaf $IC_\alpha$ on the Quasimaps' space $Q^D_\alpha$. Namely, we prove that this singular support $SS(IC_\alpha)$ is irreducible. The proof is based on the factorization property of Quasimaps' space and on the detailed analysis of Laumon's resolution $\pi: Q^L_\alpha\to Q^D_\alpha$.


title: Trianalytic subvarieties of the Hilbert scheme of points on a K3 surface

abstract: Let X be a hyperkaehler manifold. Trianalytic subvarieties of X are subvarieties which are complex analytic with respect to all complex structures induced by the hyperkaehler structure. Given a K3 surface M, the Hilbert scheme classifying zero-dimensional subschemes of M admits a hyperkaehler structure. We show that for M generic, there are no trianalytic subvarieties of the Hilbert scheme. This implies that a generic deformation of the Hilbert scheme of K3 has no complex subvarieties.


title: A base point free theorem for log canonical surfaces

abstract: We prove a base point free theorem for nef and log big divisors on log canonical surfaces.


title: Mixed twistor structures

abstract: The purpose of this paper is to introduce the notion of mixed twistor structure, a generalization of the notion of mixed Hodge structure. The utility of this notion is to make possible a theory of weights for various things surrounding arbitrary representations of the fundamental group of a smooth projective variety. We give some examples of generalizations of classical results for variations of mixed Hodge structure, to the twistor setting. This supports a ``meta-theorem'' (which we state but don't prove) that one can everywhere replace the word ``Hodge'' by the word ``twistor''. We show that the jet spaces of hyperk\"ahler or more generally hypercomplex manifolds have natural mixed twistor structures which determine the hypercomplex structure in a formal neighborhood of a point.


title: Some notes on the moduli of stable sheaves on elliptic surfaces

abstract: Under some assumptions, we compute the Picard group of moduli of stable sheaves on Abelian surfaces. Considering relative moduli spaces, it is sufficient to consider the moduli of stable sheaves on the product of elliptic curves. By using elementary transformatios (which was used by Friedman to treat rank 2 moduli spaces on elliptic surfaces), we treat this case. We also show that some moduli spaces on P^2 are rational.


title: On the rationality of $SU(r,d)$

abstract: Let SU(r,d) be the moduli space of rank r, degree d vector bundles over a smooth projective curve of genus $g\ge 2$. If (r,d)=1 and d divides r+1, then SU is rational. Furthermore, if $0<\delta < r$ and all prime divisors of $\delta$ divide r, and if d divides $r-\delta$, then SU is rational. The proof is a variation on a result of Newstead and modifications due to Ballico and then Boden and Yokogawa.


title: Birational maps of moduli of Brill-Noether pairs

abstract: Let $C$ be a smooth projective irreducible curve of genus $g$. And let $G_{\alpha}(n,d,l)$ be the moduli space of $\alpha$ stable pairs of a vector bundle of $\rank n, \deg d$ and a subspace of $H^0(C,E)$ of $\dim = l $. We find an explicit birational map from $G_{\alpha} (n, d, n+1)$ to $G_{\alpha} (1, d, n+1)$ for $C$ general, $1/\alpha \gg 0$ and $g \ge n^2-1$. Because of this and other examples, we conjecture $G_{\alpha} (a, d, a+z)$ maps birationally to $G_{\alpha} (z, d, a+z)$ for $1/ \alpha \gg 0$ and $C$ general with $g>2$.


title: Seiberg-Witten integrable systems

abstract: This is a survey of the work of Seiberg and Witten on 4-dimensional N=2 supersymmetric Yang-Mills theory and of some of its recent extensions, written for mathematicians. The point of view is that of algebraic geometry and integrable systems. An introductory chapter tries to describe some of the relevant physics for a reader with no physics background. This is followed by a review of the relevant properties of integrable systems. The remaining chapters describe the specific integrable systems used, and include a detailed study of the applications to quantum field theory.


title: On the Pontrjagin-Viro form

abstract: A new invariant, the Pontrjagin-Viro form, of algebraic surfaces is introduced and studied. It is related to various Rokhlin-Guillou-Marin forms and generalizes Mikhalkin's complex separation. The form is calculated for all real Enriques surfaces for which it is well defined.


title: Existence of good divisors on Mukai varieties

abstract: A Mukai variety is a Fano n-fold of index n-2. In this paper we study the fundamental divisor of a Mukai variety with at worst log terminal singularities. The main result is a complete classification of log terminal Mukai varieties which have not good divisors, examples of "bad" varieties are given. In such a way we also give a shorter proof of Mukai Conjecture, solved in our previous paper alg-geom/9611024.


title: Identities of Structure Constants for Schubert polynomials and Orders on S_n

abstract: We use geometry to prove a number of new identities among the Littlewood-Richardson coefficients for Schubert polynomials (Schubert classes in a flag manifold). For many of these identities, there is a companion result about the Bruhat order which should imply the identity, were it known how to express these coefficients in terms of the Bruhat order. This analysis leads the determination of many of these constants. We conclude with an outline of geometric proofs for these identities.


title: Riemann-Roch theorems via deformation quantization

abstract: We give a proof of a conjecture of P. Schapira and J.-P. Schneiders on the characteristic classes of D-modules.


title: Boundedness for codimension two submanifolds of quadrics

abstract: Arrondo, Sols and De Cataldo proved that there are only finitely many families of codimension two subvarieties not of general type in the smooth quadric of dimension $n+2$ for $n\ge 2 $, $n\neq 4$. In this paper we drop the assumption $n\neq 4$ from the previous result (obviously the assumption $n\ge 2$ cannot be removed).


title: A geometric construction of Getzler's relation

abstract: A geometric construction of Getzler's cohomological relation in the moduli space of 4 pointed elliptic curves is given by a push-forward of a natural rational equivalence in a space of admissible covers. In particular, Getzler's relation is shown to be a rational equivalence. The recursion for the elliptic Gromov-Witten invariants of P^2 predicted by Eguchi, Hori, and Xiong from the Virasoro conjecture is proven via Getzler's equation and the WDVV-equations.


title: Stable extensions by line bundles

abstract: Let C be an algebraic curve of genus g. Consider extensions E of a vector bundle F'' of rank n'' by a vector bundle F' of rank n'. The following statement was conjectured by Lange: If 0<n'deg F''-n''degF'\le n'n''(g-1), then there exist extensions like this with E stable. We prove this result for the generic curve when F' is a line bundle. Our method uses a degeneration argument to a reducible curve.


title: Constructing new ample divisors out of old ones

abstract: We prove a gluing theorem which allows to construct an ample divisor on a rational surface from two given ample divisors on simpler surfaces. This theorem combined with the Cremona action on the ample cone gives rise to an algorithm for constructing new ample divisors. We then propose a conjecture relating continued fractions approximations and Seshadri-like constants of line bundles over rational surfaces. By applying our algorithm recursively we verify our conjecture in many cases and obtain new asymptotic estimates on these constants. Finally, we explain the intuition behind the gluing theorem in terms of symplectic geometry and propose generalizations.


title: On Lange's Conjecture

abstract: Let C be an algebraic curve of genus g. Let E be a vector bundle of rank n and degree d. Consider among all subbundles F' of E of rank n' those of maximal degree d'. Then s_n'(E)= n'd-nd'\le n'(n-n')g. If E is stable s_n'(E)>0 while if E is generic s_n'(E)\ge n'(n-n')(g-1) . The following statement was conjectured by Lange: If 0<s\le n'(n-n')(g-1), then there exist stable vector bundles with s_n'(E)=s. We prove this result for the generic curve. We also clarify what happens in the interval n'(n-n')(g-1)<s\le n'(n-n')g Our method uses a degeneration argument to a reducible curve. A similar result has been obtained by L.Bambrila-Paz and H.Lange using a different method.


title: Curves in Grassmannians

abstract: This paper considers curves in Grassmannians which are themselves immersed in projective space by the Plucker map. It is shown that for a generic vector bundle of high enough degree, the image curve lies in a proper linear subvariety of this projective space and satisfies good conditions on syzygies as a curve in this subspace. For very small degree and generic vector bundle, the curve is non- degenerate.


title: Values of zeta functions at negative integers, Dedekind sums and toric geometry

abstract: This is an expanded version. We study relations among special values of zeta functions, invariants of toric varieties, and generalized Dedekind sums. In particular, we use invariants arising in the Todd class of a toric variety to give a new explicit formula for the values of the zeta function of a real quadratic field at nonpositive integers. We also express these invariants in terms of the generalized Dedekind sums studied previously by several authors. The paper includes conceptual proofs of the above mentioned relations and explicit computations of the various zeta values and Dedekind sums involved.


title: On surfaces in P^6 with no trisecant lines

abstract: We construct examples of smooth surfaces S in P^6 with no trisecant lines. This list includes examples of surfaces not cut out by quadrics. We prove that unless S has a finite number of disjoint $(-1)$-lines, and each one meets some other line L on the surface with L^2\leq -2, and S is not an inner projection from P^7 the surface belongs to the list of examples.


title: Hodge and Tate conjectures for hypergeometric sheaves

abstract: A constructible sheaf corresponding to Gel'fand Zelevinski hypergeometric functions on a torus is called hypergeometric sheaf. We consider Hodge and Tate conjectrue for hypergeomtric sheaves. Hodge conjecture is formulated in terms of variation of Hodge strucure and Tate conjecture is done for l-adic sheaves on an open set of torus. We prove Hodge and Tate conjecture up to Hodge and Tate cycle of Fermat motifes. We use cohomological Mellin transform to get the main theorem. This is the final revision for preprint.


title: Quantum multiplication of Schur polynomials

abstract: We give formulas for the products of classes of Schubert varieties in the quantum cohomology rings of Grassmannians, in terms of the combinatorics of partitions and tableaux.


title: Compact Hyperkaehler Manifolds: Basic Results

abstract: The paper generalizes some of the well-known results for K3 surfaces to higher-dimensional irreducible symplectic (or, equivalently, compact irreducible hyperkaehler) manifolds. In particular, we discuss the projectivity of such manifolds and their ample resp. Kaehler cones. It is proved that the period map surjects any non-empty connected component of the moduli space of marked manifolds onto the corresponding period domain. We also establish an anlogue of the transitivity of the Weyl-action on the set of chambers of a K3 surface. As a converse of a higher-dimensional version of the `Main Lemma' of Burns and Rapoport we prove that two birational irreducible symplectic manifolds are deformation equivalent. This compares nicely with a result of Batyrev and Kontsevich.


title: Minimal model theorem for toric divisors

abstract: Minimal model conjecture for a proper variety $X$ is that if $\kappa(X)\geq 0$, then $X$ has a minimal model with the abundance and if $\kappa =-\infty$, then $X$ is birationally equivalent to a variety $Y$ which has a fibration $Y \to Z$ with $-K_Y$ relatively ample. In this paper, we prove this conjecture for a $\D$-regular divisor on a proper toric variety by means of successive contractions of extremal rays and flips of ambient toric variety. Furthermore, for such a divisor $X$ with $\kappa(X)\geq 0$ we construct a projective minimal model with the abundance in a different way; by means of "puffing up" of the polytope, which gives an algorithm of a construction of a minimal model.


title: An application of exceptional bundles to the moduli of stable sheaves on a K3 surface

abstract: Let M(v) be the moduli of stable sheaves on K3 surfaces X of Mukai vector v. If v is primitive, than it is expected that M(v) is deformation equivalent to some Hilbert scheme and weight two hogde structure can be described by H^*(X,Z). These are known by Mukai, O'Grady and Huybrechts if rank is 1 or 2, or the first Chern class is primitive. Under some conditions on the dimension of M(v), we shall show that these assertion are true. For the proof, we shall use Huybrechts's results on symplectic manifolds.


title: Through the Looking Glass

abstract: It is frequently possible to produce new Calabi-Yau threefolds from old ones by a process of allowing the complex structure to degenerate to a singular one, and then performing a resolution of singularities. (Some care is needed to ensure that the Calabi-Yau condition be preserved.) There has been speculation that all Calabi-Yau threefolds could be linked in this way, and considerable evidence has been amassed in this direction. We propose here a natural way to relate this construction to the string-theoretic phenomenon known as ``mirror symmetry.'' We formulate a conjecture which in principle could predict mirror partners for all Calabi-Yau threefolds, provided that all were indeed linked by the degeneration/resolution process. The conjecture produces new mirrors from old, and so requires some initial mirror manifold construction---such as Greene-Plesser orbifolding---as a starting point. (Lecture given at the CIRM conference, Trento, June 1994, and at the Workshop on Complex Geometry and Mirror Symmetry, Montr\'eal, March 1995.)


title: Generalization of Arnold-Viro inequalities for real singular algebraic curves

abstract: The Arnold inequalities characterizing the topology of non-singular plane real algebraic curves and the generalization of these inequalities for nodal curves by Viro are extended in this paper for the curves whose singularities have non-degenerated Milnor form. This involves an invariant of such real singularities, the real linking form, which is calculated.


title: Subgroups of inertia groups arising from abelian varieties

abstract: Given an abelian variety over a field with a discrete valuation, Grothendieck defined a certain open normal subgroup of the absolute inertia group. This subgroup encodes information on the extensions over which the abelian variety acquires semistable reduction. We study this subgroup, and use it to obtain information on the extensions over which the abelian variety acquires semistable reduction.


title: Intersection Numbers and Rank One Cohomological Field Theories in Genus One

abstract: We obtain a simple, recursive presentation of the tautological (\kappa, \psi, and \lambda) classes on the moduli space of curves in genus zero and one in terms of boundary strata (graphs). We derive differential equations for the generating functions for their intersection numbers which allow us to prove a simple relationship between the genus zero and genus one potentials. As an application, we describe the moduli space of normalized, even, rank one cohomological field theories in genus one in coordinates which are additive under taking tensor products. Our results simplify and generalize those of Kaufmann, Manin, and Zagier.


title: Numerical Schubert calculus

abstract: We develop numerical homotopy algorithms for solving systems of polynomial equations arising from the classical Schubert calculus. These homotopies are optimal in that generically no paths diverge. For problems defined by hypersurface Schubert conditions we give two algorithms based on extrinsic deformations of the Grassmannian: one is derived from a Gr\"obner basis for the Pl\"ucker ideal of the Grassmannian and the other from a SAGBI basis for its projective coordinate ring. The more general case of special Schubert conditions is solved by delicate intrinsic deformations, called Pieri homotopies, which first arose in the study of enumerative geometry over the real numbers. Computational results are presented and applications to control theory are discussed.


title: G\'eom\'etrie d'Arakelov des vari\'et\'es toriques et fibr\'es en droites int\'egrables

abstract: En nous appuyant sur une construction due \`a Bedford et Taylor, et certains r\'esultats r\'ecents de Demailly, nous pr\'esentons une extension (partielle) de la g\'eom\'etrie d'Arakelov aux fibr\'es en droites int\'egrables. (Ces derniers sont les fibr\'es en droites hermitiens sur une vari\'et\'e arithm\'etique $X$ pouvant se d\'ecomposer sous la forme $\ov{E} = \ov{E}_{1}\otimes (\ov{E}_{2})^{-1}$, o\`u $\ov{E}_{1}$ et $\ov{E}_{2}$ sont des fibr\'es en droites munis \`a l'infini d'une m\'etrique continue approchable uniform\'ement sur $X(C)$ par des m\'etriques positives $C^{\infty}$). Nous appliquons notre th\'eorie aux fibr\'es en droites sur une vari\'et\'e torique munis \`a l'infini de leur m\'etrique canonique. Nous en d\'eduisons, entre autres choses, la d\'emonstration d'un analogue arithm\'etique du th\'eor\`eme de Bernstein-Koushnirenko.


title: Algorithms for computing intersection numbers on moduli spaces of curves, with an application to the class of the locus of Jacobians

abstract: We describe algorithms for computing the intersection numbers of divisors and of Chern classes of the Hodge bundle on the moduli spaces of stable pointed curves. We also discuss the implementations and the results obtained. There are several applications. We discuss one in particular: the calculation of the projection in the tautological ring of the moduli space of abelian varieties of the class of the locus of Jacobians.


title: Drinfeld Moduli Schemes and Infinite Grassmannians

abstract: The aim of this paper is to construct an immersion of the Drinfeld moduli schemes in a finite product of infinite Grassmannians, such that they will be locally closed subschemes of these Grassmannians which represent a kind of flag varieties.


title: A Vanishing Result for the Universal Bundle on a Toric Quiver Variety

abstract: Let Q be a finite quiver without oriented cycles. Denote by U --> M the fine moduli space of stable thin sincere representations of Q with respect to the canonical stability notion. We prove Ext^i(U,U) = 0 for all i >0 and compute the endomorphism algebra of the universal bundle U. Moreover, we obtain a necessary and sufficient condition for when this algebra is isomorphic to the path algebra kQ of the quiver Q. If so, then the bounded derived category of finitely generated right kQ-modules is embedded into that of coherent sheaves on M.


title: Prym varieties and the infinite Grassmannian

abstract: In this paper we study Prym varieties and their moduli space using the well known techniques of the infinite Grassmannian. There are three main results of this paper: a new definition of the BKP hierarchy over an arbitrary base field (that generalizes the classical one over the complex numbers; a characterization of Prym varieties in terms of dynamical systems, and explicit equations for the moduli space of (certain) Prym varieties. For all of these problems the language of the infinite Grassmannian, in its algebro-geometric version, allows us to deal with these problems from the same point of view.


title: Painlev\'{e} - Calogero correpondence

abstract: It is proved that the Painlev\'{e} VI equation $(PVI_{\al,\be,\ga,\de})$ for the special values of constants $(\al=\frac{\nu^2}{4},\be=-\frac{\nu^2}{4}, \ga=\frac{\nu^2}{4},\de=\f1{2}-\frac{\nu^2}{4})$ is a reduced hamiltonian system. Its phase space is the set of flat $SL(2,C)$ connections over elliptic curves with a marked point and time of the system is given by the elliptic module. This equation can be derived via reduction procedure from the free infinite hamiltonian system. The phase space of later is the affine space of smooth connections and the "times are the Beltrami differentials. This approach allows to define the associate linear problem, whose isomonodromic deformations is provided by the Painlev\'{e} equation and the Lax pair. In addition, it leads to description of solutions by a linear procedure. This scheme can be generalized to $G$ bundles over Riemann curves with marked points, where $G$ is a simple complex Lie group. In some special limit such hamiltonian systems convert into the Hitchin systems. In particular, for $\SL$ bundles over elliptic curves with a marked point we obtain in this limit the elliptic Calogero N-body system. Relations to the classical limit of the Knizhnik- Zamolodchikov-Bernard equations is discussed.


title: Solvable fundamental groups of algebraic varieties and K\"ahler manifolds

abstract: This is a long overdue write up of the following: If the fundamental group of a normal complex algebraic variety (respectively Zariski open subset of a compact K\"ahler manifold) is a solvable group of matrices over Q (respectively polycyclic group), then it is virtually nilpotent. This should be interpreted as saying that a large class of solvable groups will not occur as fundamental groups of such spaces. The essential strategy is to first "complete" these groups to algebraic groups (generalizing constructions of Malcev and Mostow), and then check that the identity component is unipotent. This is done by Galois theoretic methods in the algebraic case, and is reduced to homological properties of one dimensional characters in the analytic case.


title: The Deligne-Lusztig curve associated to the Suzuki group

abstract: We give a characterization of the Deligne-Lusztig curve associated to the Suzuki group based on the genus and the number of rational points of the curve.


title: An Application of a Log Version of the Kodaira Vanishing Theorem to Embedded Projective Varieties

abstract: Given an embedded smooth projective variety Y in CP^n, we show how the existence of a hypersurface with high multiplicity along Y, but of relatively low degree and log canonical near Y implies vanishing of higher cohomology for certain twists of powers of the ideal sheaf of Y. This is applied to get rather non-trivial vanishing in case Y is a universal determinantal variety (i.e. quadratic Veronese, Segre embedding or Grassmannian of P^1's) or a curve embedded by a complete linear series of high degree. The key in the determinantal cases is to use the theory of complete objects. While the theories of complete quadrics and linear maps yield the desired results, a corresponding theory of complete skew forms seems not have been previously worked out. The desired results are obtained in an appendix.


title: Stable pairs and log flips

abstract: This paper has two parts. In the first part, we review stable pairs and triples on curves, leading up to Thaddeus' diagram of flips and contractions starting from the blow-up of projective space along a curve embedded by a complete linear series of the form K + ample. In the second part, we identify log canonical divisors which exhibit Thaddeus' flips and contractions as "log" flips and contractions in the sense of the log-minimal-model program.


title: GKZ Systems, Gr\"obner Fans and Moduli Spaces of Calabi-Yau Hypersurfaces

abstract: We present a detailed analysis of the GKZ(Gel'fand, Kapranov and Zelevinski) hypergeometric systems in the context of mirror symmetry of Calabi-Yau hypersurfaces in toric varieties. As an application we will derive a concise formula for the prepotential about large complex structure limits. (Talk given at the Taniguchi Symposium ``Topological Field Theory, Primitive Forms and Related Topics'' December, 1996)


title: Principal G-bundles over elliptic curves

abstract: Let $G$ be a simple and simply connected complex Lie group. We discuss the moduli space of holomorphic semistable principal $G$ bundles over an elliptic curve $E$. In particular we give a new proof of a theorem of Looijenga and Bernshtein-Shvartsman, that the moduli space is a weighted projective space. The method of proof is to study the deformations of certain unstable bundles coming from special maximal parabolic subgroups of $G$. We also discuss the associated automorphism sheaves and universal bundles, as well as the relation between various universal bundles and spectral covers.


title: Irreducibility of \bar{M}_{0,n}(G/P,\beta)

abstract: Let G be a linear algebraic group, P be a parabolic subgroup of G and \beta be a cycle of dimension 1 in the Chow group of the quotient G/P. Using geometric arguments and Borel's fixed point theorem, we prove that the moduli space \bar{M}_{0,n}(G/P, \beta) of n-pointed genus 0 stable maps representing \beta is irreducible.


title: The intrinsic complexity of parametric elimination methods

abstract: This paper is devoted to the complexity analysis of a particular property, called "algebraic robustness" owned by all known symbolic methods of parametric polynomial equation solving (geometric elimination). It is shown that any parametric elimination procedure which owns this property must neccessarily have an exponential sequential time complexity.


title: Symplectic Deformations of Calabi-Yau threefolds

abstract: This manuscript from August 1995 (revised February 1996) studies the Kaehler cone of Calabi-Yau threefolds via symplectic methods. For instance, it is shown that if two Calabi-Yau threefolds are general in complex moduli and are symplectic deformations of each other, then their Kaehler cones are the same. The results are generalizations of those in the author's previous paper "The Kaehler cone on Calabi-Yau threefolds" (Inventiones math. 107 (1992), 561-583; Erratum: Inventiones math. 114 (1993), 231-233), where the behaviour of the Kaehler cone under deformations of the complex structure was studied -- these results may be recovered as a special case from this manuscript. The techniques used involve studying tamed almost complex deformations of the complex structure on the Calabi-Yau threefold, and in particular proving the non-vanishing of certain Gromov-Witten invariants, associated to codimension one faces of the Kaehler cone. This in turn involves a detailed study of primitive contractions on a smooth Calabi-Yau threefold, in particular for the case of Type III contractions. More detailed information concerning Gromov-Witten invariants associated to codimension one faces of the Kaehler cone may be found in a recent preprint of the author.


title: Flops, Type III contractions and Gromov-Witten invariants on Calabi-Yau threefolds

abstract: We investigate Gromov-Witten invariants associated to exceptional classes for primitive birational contractions on a Calabi-Yau threefold X. It was observed in a previous paper that these invariants are locally defined, in that they can be calculated from knowledge of an open neighbourhood of the exceptional locus of the contraction; in this paper, we make this explicit. For Type I contractions (i.e. only finitely many exceptional curves), a method is given for calculating the Gromov-Witten invariants, and these in turn yield explicit expressions for the changes in the cubic form $D^3$ and the linear form $D.c_2$ under the corresponding flop. For Type III contractions (when a divisor E is contracted to a smooth curve C of singularities), there are only two relevant Gromov-Witten numbers n(1) and n(2). Here n(2) is the number (suitably defined) of simple pseudo-holomorphic rational curves representing the class of a fibre of E over C, and n(1) the number of simple curves representing half this class. Explicit formulae for n(1) and n(2) are given (n(1) in terms of the singular fibres of E over C and n(2)=2g(C)-2). An easy proof of these formulae is provided when g(C)>0. The main part of the paper then gives a proof valid in general (including the case g(C)=0).


title: Simplex, associahedron, and cyclohedron

abstract: The aim of the paper is to give an `elementary' introduction to the theory of modules over operads and discuss three prominent examples of these objects - simplex, associahedron (= the Stasheff polyhedron) and cyclohedron (= the compactification of the space of configurations of points on the circle). Keywords: (right) module over an operad, module associated to a cyclic operad, Koszul module over an operad.


title: Semiinfinite Flags. I. Case of global curve $P^1$

abstract: The Semiinfinite Flag Space appeared in the works of B.Feigin and E.Frenkel, and under different disguises was found by V.Drinfeld and G.Lusztig in the early 80-s. Another recent discovery (Beilinson-Drinfeld Grassmannian) turned out to conceal a new incarnation of Semiinfinite Flags. We write down these and other results scattered in folklore. We define the local semiinfinite flag space attached to a semisimple group $G$ as the quotient $G((z))/HN((z))$ (an ind-scheme), where $H$ and $N$ are a Cartan subgroup and the unipotent radical of a Borel subgroup of $G$. The global semiinfinite flag space attached to a smooth complete curve $C$ is a union of Quasimaps from $C$ to the flag variety of $G$. In the present work we use $C=P^1$ to construct the category $PS$ of certain collections of perverse sheaves on Quasimaps spaces, with factorization isomorphisms. We construct an exact convolution functor from the category of perverse sheaves on affine Grassmannian, constant along Iwahori orbits, to the category $PS$. Conjecturally, this functor should correspond to the restriction functor from modules over quantum group with divided powers to modules over the small quantum group.


title: The tangent space at a special symplectic instanton bundle on P^{2n+1}

abstract: Let $MI_{Simp,P^{2n+1}}(k)$ be the moduli space of stable symplectic instanton bundles on $P^{2n+1}$ with second Chern class $c_2=k$ (it is a closed subscheme of the moduli space $MI_{P^{2n+1}}(k)$), We prove that the dimension of its Zariski tangent space at a special (symplectic) instanton bundle is $2k(5n-1)+4n^2-10n+3, k\geq 2$. It follows that special symplectic instanton bundles are smooth points for $ k \leq 3 $


title: Weak semistable reduction in characteristic 0

abstract: Let X->B be a morphism of varieties in characteristic zero. Semistable reduction has been proved for dim(B)=1 (Kempf, Knudsen, Mumford, Saint-Donat), dim(X)=dim(B)-1 (de Jong) and dim(X)=dim(B)+2 (Alexeev, Kollar, Shepherd-Barron). In this paper we consider the general case. First we define what we mean by a semistable morphism in terms of toroidal embeddings. Then we reduce the varieties to toroidal embeddings and solve a slightly weaker version of semistable reduction. We also state the full semistable reduction problem in terms of combinatorics of the associated polyhedral complexes.


title: Rational and Non-Rational Algebraic Varieties: Lectures of J\'anos Koll\'ar

abstract: This is a detailed write-up of Koll\'ar's course at the EMS summer school in Algebraic Geometry in Eger, Hungary, August 1996. The topics include definitions and examples of rational and unirational varieties, with special attention to varieties defined over non-algebraically closed fields, Segre's theorem on non-rationality of cubic surfaces of Picard number one, Manin's theorem that birationally equivalent cubic surfaces of Picard number one are projectively equivalent, and Koll\'ar's method for constructing examples of low degree non-rational hypersurfaces. Includes many exercises and their solutions.


title: Borel-Weil-Bott theory for Loop Groups

abstract: This note outlines the Borel-Weil-Bott theory for (arbitrary-genus) flag varieties of loop groups, following ideas of G. Segal. Recent revivalist interest in the "WZW fusion rules" suggests that my original (CMP 1995) treatment of the matter is not all that well understood, so a brief account thereof has been recycled along with the more recent results. Proofs are only outlined, with full details given in the references.


title: Fano contact manifolds and nilpotent orbits

abstract: A contact structure on a complex manifold M is a corank 1 subbundle F of T(M) such that the bilinear form on F with values in the quotient line bundle L=T(M)/F deduced from the Lie bracket of vector fields is everywhere non-degenerate. In this paper we consider the case where M is a Fano manifold; this implies that L is ample. If g is a simple Lie algebra, the unique closed orbit in P(g) (for the adjoint action) is a Fano contact manifold; it is conjectured that every Fano contact manifold is obtained in this way. A positive answer would imply an analogous result for compact quaternion-Kahler manifolds with positive scalar curvature, a longstanding question in Riemannian geometry. In this paper we solve the conjecture under the additional assumptions that the group of contact automorphisms of M is reductive, and that the image of the rational map M - - -> P(H0(M,L)*) associated to L has maximum dimension. The proof relies on the properties of the nilpotent orbits in a semi-simple Lie algebra, in particular on the work of R. Brylinski and B. Kostant.


title: Rational Curves on Quasi-Projective Surfaces

abstract: The main result is that a quasi-projective surface has negative log Kodaira dimension (i.e. no log pluricanonical sections) iff it is dominated by images of the affine line. This follows from our main intermediate result, that the smooth locus of a log Fano surface is rationally connected. We also give a classification of all but a bounded family of rank one log del Pezzo surfaces.


title: New evidence for Green's conjecture on syzygies of canonical curves

abstract: We prove that two weakened forms of Green's conjectures for canonical curves are equivalent when the genus $g$ is odd.


title: On Simplicial Commutative Rings with Vanishing Andr\'e-Quillen Homology

abstract: We propose a generalization of a conjecture of D. Quillen, on the vanishing of Andr\'e-Quillen homology, to simplicial commutative rings. This conjecture characterizes a notion of local complete intersection, extended to the simplicial setting, under a suitable hypothesis on the local characteristic. Further, under the condition of finite-type homology, we then prove the conjecture in the case of a simplicial commutative algebra augmented over a field of non-zero characteristic. As a consequence, we obtain a proof of Quillen's conjecture for a Noetherian commutative algebra - again augmented over a field of non-zero characteristic.


title: Localization of virtual classes

abstract: We prove a localization formula for virtual fundamental classes in the context of torus equivariant perfect obstruction theories. As an application, the higher genus Gromov-Witten invariants of projective space are expressed as graph sums of tautological integrals over moduli spaces of stable pointed curves (generalizing Kontsevich's genus 0 formulas). Also, excess integrals over spaces of higher genus multiple covers are computed.


title: Discriminant Complements and Kernels of Monodromy Representations

abstract: We show that the kernel of the monodromy representation for hypersurfaces of degree d and dimension n is large for d at least three with the exception of the cases (d,n) = (3,0) and (3,1). For these the kernel is finite. By "large" we mean a group that admits a homomorphism to a semisimple Lie group of noncompact type with Zariski-dense image. By the Tits alternative a large group contains a free subgroup of rank two.


title: Singular hermitian metrics on vector bundles

abstract: We introduce a notion of singular hermitian metrics (s.h.m.) for holomorphic vector bundles and define positivity in view of $L^2$-estimates. Associated with a suitably positive s.h.m. there is a (coherent) sheaf 0-th kernel of a certain $d''$-complex. We prove a vanishing theorem for the cohomology of this sheaf. All this generalizes to the case of higher rank known results of Nadel for the case of line bundles. We introduce a new semi-positivity notion, $t$-nefness, for vector bundles, establish some of its basic properties and prove that on curves it coincides with ordinary nefness. We particularize the results on s.h.m. to the case of vector bundles of the form $E=F \otimes L$, where $F$ is a $t$-nef vector bundle and $L$ is a positive (in the sense of currents) line bundle. As applications we generalize to the higher rank case 1) Kawamata-Viehweg Vanishing Theorem, 2) the effective results concerning the global generation of jets for the adjoint to powers of ample line bundles, and 3) Matsusaka Big Theorem made effective.


title: Effective nonvanishing, effective global generation

abstract: We prove a multiple-points higher-jets nonvanishing theorem by the use of local Seshadri constants. Applications are given to effectivity problems such as constructing rational and birational maps into Grassmannians, and the global generation of vector bundles.


title: A remark on virtual orientations for complete intersections

abstract: The aim of this note is to give a simple definition of genus zero virtual orientation classes (or fundamental classes) for projective complete intersections or, more generally, for complete intersections in convex varieties, and to prove a push forward formula for them.


title: Duality and flat base change on formal schemes

abstract: We give several related versions of global Grothendieck Duality for unbounded complexes on noetherian formal schemes. The proofs, based on a non-trivial adaptation of Deligne's method for the special case of ordinary schemes, are reasonably self-contained, modulo the Special Adjoint Functor Theorem. An alternative approach, inspired by Neeman and based on recent results about "Brown Representability," is indicated as well. A section on applications and examples illustrates how these theorems synthesize a number of different duality-related results (local duality, formal duality, residue theorems, dualizing complexes...). A flat-base-change theorem for pseudo-proper maps leads in particular to sheafified versions of duality for bounded-below complexes with quasi-coherent homology. Thanks to Greenlees-May duality, the results take a specially nice form for proper maps and bounded-below complexes with coherent homology.


title: Torsion of abelian varieties, Weil classes and cyclotomic extensions

abstract: Let $K$ be a field finitely generated over the field of rational numbers, $K(c)$ the extension of $K$ obtained by adjoining all roots of unity, $L$ an infinite Galois extension of $K$, $X$ an abelian variety defined over $K$. We prove that under certain conditions on $X$ and $K$ the existence of infinitely many L-rational points of finite order on $X$ implies that the intersection of $L$ and $K(c)$ has infinite degree over $K$.


title: Local structure of moduli spaces

abstract: We describe the algebra of a universal formal deformation as the zeroth cohomology of the dg Lie algebra corresponding to this deformation problem. A report at Arbeitstagung 1997 on the joint work with V.Hinich.


title: Desingularized moduli spaces of sheaves on a K3, I

abstract: Moduli spaces of semistable torsion-free sheaves on a K3 surface $X$ are often holomorphic symplectic varieties, deformation equivalent to a Hilbert scheme parametrizing zero-dimensional subschemes of $X$. In fact this should hold whenever semistability is equivalent to stability. In this paper we study a typical "opposite" case, i.e. the moduli space $M_c$ of semistable rank-two torsion-free sheaves on $X$ with trivial determinant and second Chern class equal to an even number $c$. The moduli space $M_c$ always contains points corresponding to strictly semistable sheaves. If $c$ is at least 4, then $M_c$ is singular along the locus parametrizing strictly semistable sheaves, and on the smooth locus of $M_c$ there is a symplectic holomorphic form. Thus it is natural to ask whether there is a symplectic desingularization of $M_c$. We construct such a desingularization for $c=4$; in another paper we show that this desingularization gives a new deformation class of (K\"ahler) holomorphic irreducible symplectic varieties (of dimension ten). We also study the case $c>4$. We describe what should be an interesting desingularization, however we are not able to produce a symplectic one. In fact we suspect there is no symplectic smooth model of $M_c$ if $c>4$ (and even, of course).


title: Limits in $n$-categories

abstract: We define notions of direct and inverse limits in an $n$-category. We prove that the $n+1$-category $nCAT'$ of fibrant $n$-categories admits direct and inverse limits. At the end we speculate (without proofs) on some applications of the notion of limit, including homotopy fiber product and homotopy coproduct for $n$-categories, the notion of $n$-stack, representable functors, and finally on a somewhat different note, a notion of relative Malcev completion of the higher homotopy at a representation of the fundamental group.


title: Some finiteness results for Calabi-Yau threefolds

abstract: We investigate the moduli theory of Calabi--Yau threefolds, and using Griffiths' work on the period map, we derive some finiteness results. In particular, we confirm a prediction of Morrison's Cone Conjecture.


title: Euler number of the compactified Jacobian and multiplicity of rational curves

abstract: We show that the Euler number of the compactified Jacobian of a rational curve $C$ with locally planar singularities is equal to the multiplicity of the $\delta$-constant stratum in the base of a semi-universal deformation of $C$. In particular, the multiplicity assigned by Yau, Zaslow and Beauville to a rational curve on a K3 surface $S$ coincides with the multiplicity of the normalisation map in the moduli space of stable maps to $S$.


title: Bend, break and count II : elliptics, cuspidals, linear genera

abstract: Extending the method of Part I (alg-geom/9704004), we give recursive formulae for: the genus-1 Severi degree (formula first found by Getzler), the degree of the variety of 1-cuspidal curves of genus 0 or 1, and the linear (sectional) geometric genus of the genus-0 and genus-1 Severi varieties. The proof is short and elementary.


title: A stratification of the moduli space of vector bundles on curves

abstract: Let $E$ be a vector bundle of rank $r\geq 2$ on a smooth projective curve $C$ of genus $g \geq 2$ over an algebraically closed field $K$ of arbitrary characteristic. For any integer with $1\le k\le r-1$ we define $${\se}_k(E):=k\deg E-r\max\deg F.$$ where the maximum is taken over all subbundles $F$ of rank $k$ of $E$. The ${s}_k$ gives a stratification of the moduli space ${\cal M}(r,d)$ of stable vector bundles of rank $r$ and degree on $d$ on $C$ into locally closed subsets ${\calM}(r,d,k,s)$ according to the value of $s$ and $k$. There is a component ${\cal M}^0(r,d,k,s)$ of ${\cal M}(r,d,k,s)$ distinguish by the fact that a general $E\in {\cal M}^0(r,d,k,s)$ admits a stable subbundle $F$ such that $E/F$ is also stable. We prove: {\it For $g\ge \frac{r+1}{2}$ and $0<s\leq k(r-k)(g-1) +(r+1)$, $s\equiv kd \mod r,$ ${\cal M}^0(r,d,k,s)$ is non-empty,and its component ${\cal M}^0(r,d,k,s)$ is of dimension} $$\dim {\cal M}^0(r,d,k,s)=\left\{\begin{array}{lcl} (r^2+k^2-rk)(g-1)+s-1& &s<k(r-k)(g-1) &{\rm if}& r^2(g-1)+1& & s\ge k(r-k)(g-1)\end{array}\right.$$


title: Exact Random Walk Distributions using Noncommutative Geometry

abstract: Using the results obtained by the non commutative geometry techniques applied to the Harper equation, we derive the areas distribution of random walks of length $ N $ on a two-dimensional square lattice for large $ N $, taking into account finite size contributions.


title: Nef Divisors on Moduli Spaces of Abelian Varieties

abstract: We determine the cone of nef divisors on the Voronoi compactification A_g^* of the moduli space A_g of principally polarized abelian varieties of dimension g for genus g=2,3. As a corollary we obtain that the spaces A_g^*(n) with level-n structure are a minimal, resp. canonical, model for g=2, n>=4, resp. n>=5 and g=3, n>=3, resp. n>=4. We give two proofs: The easy and quick one reduces the problem to \bar M_g where we can use a result of Faber. This approach cannot be generalized to higher genus g. The main point of the paper is, therefore, to give a second proof using theta functions and a result of Weissauer. This technique can be at least partially generalized to higher genus. We formulate a conjecture for the nef cone of A_g^* for all g.


title: On algebra generated by Chern-Bott forms on SL_n/B

abstract: In this short note we give an explicit presentation of the algebra A_n generated by the curvature 2-forms of the standard Hermitiam line bundles over SL_n/B as the quotient of the polynomial ring. The difference between A_n and H^*(SL_n/B) reflects the fact that SL_n/B is not a symmetric space. Possible applications of A_n lie in the field of arithmetic intersection theory on flag varieties.


title: Conormal Geometry of Maximal Minors

abstract: Let A be a Noetherian local domain, N be a finitely generated torsion- free module, and M a proper submodule that is generically equal to N. Let A[N] be an arbitrary graded overdomain of A generated as an A-algebra by N placed in degree 1. Let A[M] be the subalgebra generated by M. Set C:=Proj(A[M]) and r:=dim C. Form the (closed) subset W of Spec(A) of primes p where A[N]_p is not a finitely generated module over A[M]_p, and denote the preimage of W in C by E. We prove this: (1) dim E=r-1 if either (a) N is free and A[N] is the symmetric algebra, or (b) W is nonempty and A is universally catenary, and (2) E is equidimensional if (a) holds and A is universally catenary. Our proof was inspired by some recent work of Gaffney and Massey, which we sketch; they proved (2) when A is the ring of germs of a complex- analytic variety, and applied it to perfect a characterization of Thom's A_f-condition in equisingularity theory. From (1), we recover, with new proofs, the usual height inequality for maximal minors and an extension of it obtained by the authors in 1992. From the latter, we recover the authors' generalization to modules of B"oger's criterion for integral dependence of ideals. Finally, we introduce an application of (1), being made by the second author, to the geometry of the dual variety of a projective variety, and use it to obtain an interesting example where the conclusion of (1) fails and A[N] is a finitely generated module over A[M].


title: Stability of the Rational Homotopy Type of Moduli Spaces

abstract: We show that for g > 2k+2 the k-rational homotopy type of the moduli space M_{g,n} of algebraic curves of genus g with n punctures is independent of g, and the space M_{g,n} is k-formal. This implies the existence of a limiting rational homotopy type of M_{g,n} as g goes to infinity and the formality of it.


title: A property deducible from the generic initial ideal

abstract: Let $S_d$ be the vector space of monomials of degree $d$ in the variables $x_1, ..., x_s$. For a subspace $V \sus S_d$ which is in general coordinates, consider the subspace $\gin V \sus S_d$ generated by initial monomials of polynomials in $V$ for the revlex order. We address the question of what properties of $V$ may be deduced from $\gin V$. % This is an approach for understanding what algebraic or geometric properties of a homogeneous ideal $I \sus k[x_1, ..., x_s]$ that may be deduced from its generic initial ideal $\gin I$.


title: Determinantal schemes and Buchsbaum-Rim sheaves

abstract: Let $\phi$ be a generically surjective morphism between direct sums of line bundles on $\proj{n}$ and assume that the degeneracy locus, $X$, of $\phi$ has the expected codimension. We call $B_{\phi} = \ker \phi$ a (first) Buchsbaum-Rim sheaf and we call $X$ a standard determinantal scheme. Viewing $\phi$ as a matrix (after choosing bases), we say that $X$ is good if one can delete a generalized row from $\phi$ and have the maximal minors of the resulting submatrix define a scheme of the expected codimension. In this paper we give several characterizations of good determinantal schemes. In particular, it is shown that being a good determinantal scheme of codimension $r+1$ is equivalent to being the zero-locus of a regular section of the dual of a first Buchsbaum-Rim sheaf of rank $r+1$. It is also equivalent to being standard determinantal and locally a complete intersection outside a subscheme $Y \subset X$ of codimension $r+2$. Furthermore, for any good determinantal subscheme $X$ of codimension $r+1$ there is a good determinantal subscheme $S$ codimension $r$ such that $X$ sits in $S$ in a nice way. This leads to several generalizations of a theorem of Kreuzer. For example, we show that for a zeroscheme $X$ in $\proj{3}$, being good determinantal is equivalent to the existence of an arithmetically Cohen-Macaulay curve $S$, which is a local complete intersection, such that $X$ is a subcanonical Cartier divisor on $S$.


title: Buchsbaum-Rim sheaves and their multiple sections

abstract: This paper begins by introducing and characterizing Buchsbaum-Rim sheaves on $Z = \Proj R$ where $R$ is a graded Gorenstein K-algebra. They are reflexive sheaves arising as the sheafification of kernels of sufficiently general maps between free R-modules. Then we study multiple sections of a Buchsbaum-Rim sheaf $\cBf$, i.e, we consider morphisms $\psi: \cP \to \cBf$ of sheaves on $Z$ dropping rank in the expected codimension, where $H^0_*(Z,\cP)$ is a free R-module. The main purpose of this paper is to study properties of schemes associated to the degeneracy locus $S$ of $\psi$. It turns out that $S$ is often not equidimensional. Let $X$ denote the top-dimensional part of $S$. In this paper we measure the ``difference'' between $X$ and $S$, compute their cohomology modules and describe ring-theoretic properties of their coordinate rings. Moreover, we produce graded free resolutions of $X$ (and $S$) which are in general minimal. Among the applications we show how one can embed a subscheme into an arithmetically Gorenstein subscheme of the same dimension and prove that zero-loci of sections of the dual of a null correlation bundle are arithmetically Buchsbaum.


title: An elliptic conic bundle in P^4 arising from a stable rank-3 vector bundle

abstract: In this note we show the existence of a family of elliptic conic bundles in P^4 of degree 8. This family has been overlooked and in fact falsely ruled out in a series of classification papers. Our surfaces provide a counterexample to a conjecture of Ellingsrud and Peskine. According to this conjecture there should be no irregular m-ruled surface in P^4 for m at least 2.


title: Relations between the correlators of the topological sigma-model coupled to gravity

abstract: We prove a new recursive relation between the correlators $< \tau_{d_1}\gamma_1...\tau_{d_n}\gamma_n >_{g,\beta}$, which together with known relations allows one to express all of them through the full system of Gromov-Witten invariants in the sense of Kontsevich-Manin and the intersection indices of tautological classes on $\bar{M}_{g,n}$, effectively calculable in view of earlier results due to Mumford, Kontsevich, Getzler, and Faber. This relation shows that a linear change of coordinates of the big phase space transforms the potential with gravitational descendants to another function defined completely in terms of the Gromov-Witten correspondence and the intersection theory on $V^n\times\bar{M}_{g,n}$. We then extend the formalism of gravitational descendants from quantum cohomology to more general Frobenius manifolds and Cohomological Field Theories.


title: Duality Construction of Moduli Spaces

abstract: We show for the moduli space of rank-2 coherent sheaves on an algebraic surface that there exists a 'dual' moduli space. This dual space allows a construction of the first one without using the GIT construction. Furthermore, we obtain a Barth-morphism, generalizing the concept of jumping lines. This morphism is by construction a finite morphism.


title: Pieri-type formulas for maximal isotropic Grassmannians via triple intersections

abstract: We give an elementary proof of the Pieri-type formula in the cohomology of a Grassmannian of maximal isotropic subspaces of an odd orthogonal or symplectic vector space. This proof proceeds by explicitly computing a triple intersection of Schubert varieties. The decisive step is an explicit description of the intersection of two Schubert varieties, from which the multiplicities (which are powers of 2) in the Pieri-type formula are deduced.


title: Rational cuspidal plane curves of type (d, d-3)

abstract: In the previous paper [E-print alg-geom/9507004] we classified the rational cuspidal plane curves C with a cusp of multiplicity deg C - 2. In particular, we showed that any such curve can be transformed into a line by Cremona transformations. Here we do the same for the rational cuspidal plane curves C with a cusp of multiplicity deg C - 3.


title: Wall-crossing formulae for algebraic surfaces with $q>0$

abstract: We extend the ideas of Friedman and Qin (Flips of moduli spaces and transition formulae for Donaldson polynomial invariants of rational surfaces) to find the wall-crossing formulae for the Donaldson invariants of algebraic surfaces with geometrical genus zero, positive irregularity and anticanonical divisor effective, for any wall $\zeta$ with $l_{\zeta}=(\zeta\sp{2}-p_1)/4$ being zero or one.


title: Counting curves of any genus on rational ruled surfaces

abstract: In this paper we study the geometry of the Severi varieties parametrizing curves on the rational ruled surface $\fn$. We compute the number of such curves through the appropriate number of fixed general points on $\fn$, and the number of such curves which are irreducible. These numbers are known as Severi degrees; they are the degrees of unions of components of the Hilbert scheme. As (i) $\fn$ can be deformed to $\eff_{n+2}$, (ii) the Gromov-Witten invariants are deformation-invariant, and (iii) the Gromov-Witten invariants of $\eff_0$ and $\eff_1$ are enumerative, Theorem \ref{irecursion} computes the genus $g$ Gromov-Witten invariants of all $\fn$. (The genus 0 case is well-known.) The arguments are given in sufficient generality to also count plane curves in the style of L. Caporaso and J. Harris and to lay the groundwork for computing higher genus Gromov-Witten invariants of blow-ups of the plane at up to five points (in a future paper).


title: Genus g Gromov-Witten invariants of Del Pezzo surfaces: Counting plane curves with fixed multiple points

abstract: As another application of the degeneration methods of [V3], we count the number of irreducible degree $d$ geometric genus $g$ plane curves, with fixed multiple points on a conic $E$, not containing $E$, through an appropriate number of general points in the plane. As a special case, we count the number of irreducible genus $g$ curves in any divisor class $D$ on the blow-up of the plane at up to five points (no three collinear). We then show that these numbers give the genus $g$ Gromov-Witten invariants of the surface. Finally, we suggest a direction from which the remaining del Pezzo surfaces can be approached, and give a conjectural algorithm to compute the genus g Gromov-Witten invariants of the cubic surface.


title: Very ampleness for Theta on the compactified Jacobian

abstract: The Jacobian $J$ of a complete, smooth, connected curve $X$ admits a canonical divisor $\Theta$, called the Theta divisor. It is well-known that $\Theta$ is ample and, in fact, $3\Theta$ is very ample. For a general complete, integral curve $X$, D'Souza constructed a compactification $\bar J$ of the Jacobian $J$ by considering torsion-free, rank 1 sheaves on $X$. Soucaris and the author considered independently the analogous Theta divisor $\Theta$ on $\bar J$, and showed that $\Theta$ is ample. In this article, we show that $n\Theta$ is very ample for $n$ greater or equal to a specified lower bound. If $X$ has at most ordinary nodes or cusps as singularities, then our lower bound is 3. Our main tool is to use theta sections associated to vector bundles on $X$ to embed $\bar J$ into a projective space.


title: Product formulas for modular forms on O(2,n) (after R.Borcherds)

abstract: This is my talk on the Bourbaki seminar, November 1996. It contains an elementary introduction to Borcherds' product formulas.


title: The enumerative geometry of rational and elliptic curves in projective space

abstract: We study the geometry of varieties parametrizing degree d rational and elliptic curves in P^n intersecting fixed general linear spaces and tangent to a fixed hyperplane H with fixed multiplicities along fixed general linear subspaces of H. As an application, we derive recursive formulas for the number of such curves when the number is finite. These recursive formulas require as ``seed data'' only one input: there is one line in P^1 through two points. These numbers can be seen as top intersection products of various cycles on the Hilbert scheme of degree d rational or elliptic curves in P^n, or on certain components of $\mbar_0(P^n,d)$ or $\mbar_1(P^n,d)$, and as such give information about the Chow ring (and hence the topology) of these objects. The formula can also be interpreted as an equality in the Chow ring (not necessarily at the top level) of the appropriate Hilbert scheme or space of stable maps. In particular, this gives an algorithm for counting rational and elliptic curves in P^n intersecting various fixed general linear spaces. (The genus 0 numbers were found earlier by Kontsevich-Manin, and the genus 1 numbers were found for n=2 by Ran and Caporaso-Harris, and independently by Getzler for n=3.)


title: Separation properties of theta functions

abstract: In a 1993 article, G. Faltings gave a new construction of the moduli space $U$ of semistable vector bundles on a smooth curve $X$, avoiding geometric invariant theory. Roughly speaking, Faltings showed that the normalisation $B$ of the ring $A$ of theta functions (associated with vector bundles on $X$) suffices to realize $U$ as a projective variety. Describing Faltings' work, C.S. Seshadri asked how close $A$ is to $B$. In this article, we address this question from a geometric point of view. We consider the rational map, $\pi : U @>>> Proj(A)$, and show that, not only is $\pi$ defined everywhere, but also $\pi$ is bijective, and is an isomorphism over the stable locus of $U$, if the characteristic of the ground field is 0. Moreover, we give a direct local construction of $U$ as a fine moduli space, when the rank and degree are coprime, in any characteristic. The methods in the article apply to singular curves as well.


title: Compactifying the relative Jacobian over families of reduced curves

abstract: We construct natural relative compactifications for the relative Jacobian over a family $X/S$ of reduced curves. In contrast with all the available compactifications so far, ours admit a universal sheaf, after an etale base change. Our method consists of considering the functor $F$ of relatively simple, torsion-free, rank 1 sheaves on $X/S$, and showing that certain open subsheaves of $F$ have good properties. Strictly speaking, the functor $F$ is only representable by an algebraic space, but we show that $F$ is representable by a scheme after an etale base change. Finally, we use theta functions originating from vector bundles to compare our new compactifications with the available ones.


title: Height zeta functions of toric bundles over flag varieties

abstract: We investigate analytic properties of height zeta functions of toric bundles over flag varieties.


title: Local-global intersection homology

abstract: This paper defines new intersection homology groups. The basic idea is this. Ordinary homology is locally trivial. Intersection homology is not. It may have significant local cycles. A local-global cycle is defined to be a family of such local cycles that is, at the same time, a global cycle. The motivating problem is the numerical characterisation of the flag vectors of convex polytopes. Central is a study of the cycles on a cone and a cylinder, in terms of those on the base. This leads to the topological definition of local-global intersection homology, and a formula for the expected Betti numbers of toric varieties. Various related questions are also discussed.


title: The Pontryagin rings of moduli spaces of arbitrary rank holomorphic bundles over a Riemann surface

abstract: The cohomology of the moduli spaces of stable bundles M(n,d), of coprime rank n and degree d, over a Riemann surface (of genus g > 1) have been intensely studied over the past three decades. We prove in this paper that the Pontryagin ring of M(n,d) vanishes in degrees above 2n(n-1)(g-1) and that this bound is strict (i.e. there exists a non-zero element of degree 2n(n-1)(g-1) in Pont(M(n,d)).) This result is a generalisation of a 1967 Newstead conjecture that Pont(M(2,1)) vanished above 4(g-1) (or equivalently that \beta^g =0.) These results have been independently proved by Lisa Jeffrey and Jonathan Weitsman.


title: On Weierstrass points and optimal curves

abstract: We use Weierstrass Point Theory and Frobenius orders to prove the uniqueness (up to isomorphism) of some optimal curves.


title: Fibr\'es prioritaires g\'en\'eriques instables sur le plan projectif

abstract: The structure of the generic prioritary sheaf on the projective plane is given, when it cannot be semi-stable


title: Multiplier Ideals, Vanishing Theorem and Applications

abstract: The purpose of this note is to give a survey of the algebraic properties of multiplier ideals, and illustrate some of their applications to classical projective geometry.