title: Algebraic Cuts

abstract: Let $X$ be a projective variety with a torus action, which for simplicity we assume to have dimension 1. If $X$ is a smooth complex variety, then the geometric invariant theory quotient $X//G$ can be identifed with the symplectic reduction $X_r$. Lerman introduced a construction (valid for symplectic manifolds) called symplectic cutting, which constructs a manifold $X_c$, such that $X_c$ is the union of $X_r$ and an open subset $X_{>0} \subset X$. Moreover, there is a natural torus action on $X_c$ such that $X_r$ is a component of the fixed locus. Using localization for equivariant cohomology, this construction can be used to study of $X_r$. In this note, we give an algebraic version of this construction valid for projective but possibly singular varieties defined over arbitrary fields. This construction is useful for studying $X_r$ from the point of view of algebraic geometry, using the equivariant intersection theory developed by the authors. At the end of the paper we briefly give an adaptation of Lerman's proof of the Kalkman residue formula and use it to give some formulas for characteristic numbers of quotients by a torus.


title: Intersection theory on moduli spaces of holomorphic bundles of arbitrary rank on a Riemann surface

abstract: We prove formulas (found by Witten in 1992 using physical methods) for intersection pairings in the cohomology of the moduli space M(n,d) of stable holomorphic vector bundles of rank n and degree d (assumed coprime) on a Riemann surface of genus g greater than or equal to 2. We also use these formulas for intersection numbers to obtain a proof of the Verlinde formula for the dimension of the space of holomorphic sections of a line bundle over M(n,d).


title: Genus one enumerative invariants in P^n with fixed j invariant

abstract: We prove recursive formulas for $\tau_d$, the number of degree $d$ elliptic curves with fixed j-invariant in P^n. We use analysis to relate the classical invariant $\tau_d$ to the genus one perturbed invariant $RT_{1,d}$ defined recently by Ruan and Tian (the later invariant can be computed inductively). By considering a sequence of perturbations converging to zero, we then apply Taubes' Obstruction Bundle method to compute the difference between the two invariants.


title: Monodromy of hypergeometric functions arising from arrangements of hyperplanes

abstract: Given an arrangement of hyperplanes in $\P^n$, possibly with non-normal crossings, we give a vanishing lemma for the cohomology of the sheaf of $q$-forms with logarithmic poles along our arrangement. We give a basis for the ideal $\cal J$ of relations for the Orlik-Solomon's algebra. Under certain genericity conditions it was shown by H.~Esnault, V.~Schechtman and E.~Viehweg that the cohomology of a local system is given by the Aomoto complex. We generalize this result to a deformation of local systems obtained via a deformation of our arrangement. We calculate the Gau\ss-Manin connection for this case. We give a basis for the Gau\ss-Manin bundle for which, with help of the basis for $\cal J$, we give then a method to calculate a representation of this connection. From here, with the results of K-T.~Chen or P.~Deligne, one can calculate the monodromy representation. This gives a generalization of the hypergeometric functions.


title: Virtual moduli cycles and Gromov-Witten invariants of general symplectic manifolds

abstract: We construct Gromov-Witten invariants of general symplectic manifolds.


title: Estimates of the number of rational mappings from a fixed variety to varieties of general type

abstract: First we find effective bounds for the number of dominant rational maps $f:X \rightarrow Y$ between two fixed smooth projective varieties with ample canonical bundles. The bounds are of the type $\{A \cdot K_X^n\}^{\{B \cdot K_X^n\}^2}$, where $n=dimX$, $K_X$ is the canonical bundle of $X$ and $A,B $ are some constants, depending only on $n$. Then we show that for any variety $X$ there exist numbers $c(X)$ and $C(X)$ with the following properties: For any threefold $Y$ of general type the number of dominant rational maps $f:X \r Y$ is bounded above by $c(X)$. The number of threefolds $Y$, modulo birational equivalence, for which there exist dominant rational maps $f:X \r Y$, is bounded above by $C(X)$. If, moreover, $X$ is a threefold of general type, we prove that $c(X)$ and $C(X)$ only depend on the index $r_{X_c}$ of the canonical model $X_c$ of $X$ and on $K_{X_c}^3$.


title: The ring of global sections of multiples of a line bundle on a toric variety

abstract: In this article we prove, in a simple way, that for any complete toric variety, and for any Cartier divisor, the ring of global sections of multiples of the line bundle associated to the divisor is finitely generated.


title: Equations of (1,d)-polarized Abelian Surfaces

abstract: We study the equations of abelian surfaces embedded in P^{n-1} with a line bundle of polarization of type (1,n). For n>9, we show that the ideal of a general abelian surface with this polarization is generated by quadrics, and if the embedding is Heisenberg invariant, we give a very specific description of these quadrics. These quadrics are produced using a generalization of the Moore matrices which yields a uniform description of these ideals. We prove that these equations generate the ideals using a degeneration argument, degenerating abelian surfaces to schemes obtained from Stanley-Reisner ideals of certain triangulations of the torus. Furthermore, we obtain information on how to compute the moduli spaces of abelian surfaces of type (1,n) with canonical level structure. In a sequel to this paper, we will study the structure of the equations for n<=9, and also give detailed geometric descriptions for the moduli spaces of abelian surfaces of low degree.


title: Algebraically Constructible Functions and Signs of Polynomials

abstract: We show that on real algebraic sets algebraically constructible functions coincide with the finite sums of signs of polynomials. Then we give some applications.


title: Polar Varieties and Efficient Real Equation Solving: The Hypersurface Case

abstract: The objective of this paper is to show how the recently proposed method by Giusti, Heintz, Morais, Morgenstern, Pardo \cite{gihemorpar} can be applied to a case of real polynomial equation solving. Our main result concerns the problem of finding one representative point for each connected component of a real bounded smooth hypersurface. The algorithm in \cite{gihemorpar} yields a method for symbolically solving a zero-dimensional polynomial equation system in the affine (and toric) case. Its main feature is the use of adapted data structure: Arithmetical networks and straight-line programs. The algorithm solves any affine zero-dimensional equation system in non-uniform sequential time that is polynomial in the length of the input description and an adequately defined {\em affine degree} of the equation system. Replacing the affine degree of the equation system by a suitably defined {\em real degree} of certain polar varieties associated to the input equation, which describes the hypersurface under consideration, and using straight-line program codification of the input and intermediate results, we obtain a method for the problem introduced above that is polynomial in the input length and the real degree.


title: Polar Varieties, Real Equation Solving and Data-Structures: The hypersurface case

abstract: In this paper we apply for the first time a new method for multivariate equation solving which was developed in \cite{gh1}, \cite{gh2}, \cite{gh3} for complex root determination to the {\em real} case. Our main result concerns the problem of finding at least one representative point for each connected component of a real compact and smooth hypersurface. The basic algorithm of \cite{gh1}, \cite{gh2}, \cite{gh3} yields a new method for symbolically solving zero-dimensional polynomial equation systems over the complex numbers. One feature of central importance of this algorithm is the use of a problem--adapted data type represented by the data structures arithmetic network and straight-line program (arithmetic circuit). The algorithm finds the complex solutions of any affine zero-dimensional equation system in non-uniform sequential time that is {\em polynomial} in the length of the input (given in straight--line program representation) and an adequately defined {\em geometric degree of the equation system}. Replacing the notion of geometric degree of the given polynomial equation system by a suitably defined {\em real (or complex) degree} of certain polar varieties associated to the input equation of the real hypersurface under consideration, we are able to find for each connected component of the hypersurface a representative point (this point will be given in a suitable encoding). The input equation is supposed to be given by a straight-line program and the (sequential time) complexity of the algorithm is polynomial in the input length and the degree of the polar varieties mentioned above.


title: Straight--Line Programs in Geometric Elimination Theory

abstract: We present a new method for solving symbolically zero--dimensional polynomial equation systems in the affine and toric case. The main feature of our method is the use of problem adapted data structures: arithmetic networks and straight--line programs. For sequential time complexity measured by network size we obtain the following result: it is possible to solve any affine or toric zero--dimensional equation system in non--uniform sequential time which is polynomial in the length of the input description and the ``geometric degree" of the equation system. Here, the input is thought to be given by a straight--line program (or alternatively in sparse representation), and the length of the input is measured by number of variables, degree of equations and size of the program (or sparsity of the equations). The geometric degree of the input system has to be adequately defined. It is always bounded by the algebraic--combinatoric "B\'ezout number" of the system which is given by the Hilbert function of a suitable homogeneous ideal. However, in many important cases, the value of the geometric degree of the system is much smaller than its B\'ezout number since this geometric degree does not take into account multiplicities or degrees of extraneous components (which may appear at infinity in the affine case or may be contained in some coordinate hyperplane in the toric case). Our method contains a new application of a classic tool to symbolic computation: we use Newton iteration in order to simplify straight--line programs occurring in elimination procedures. Our new technique allows for practical implementations a meaningful characterization of the intrinsic {\it algebraic complexity} of typic elimination problems and reduces the still unanswered question of their intrinsic {\it bit complexity} to


title: One-parameter families containing three-dimensional toric Gorenstein singularities

abstract: For affine toric varieties, the vector space T1 (containing the infinitesimal deformations) will be interpreted via Minkowski summands of cross cuts of the defining polyhedral cone. This result will be applied to study the deformation theory of (in particular non-isolated) three-dimensional Gorenstein singularities.


title: Enumerative geometry for real varieties

abstract: We discuss the problem of whether a given problem in enumerative geometry can have all of its solutions be real. In particular, we describe an approach to problems of this type, and show how this can be used to show some enumerative problems involving the Schubert calculus on Grassmannians may have all of their solutions be real. We conclude by describing the work of Fulton and Ronga-Tognoli-Vust, who (independently) showed that there are 5 real plane conics such that each of the 3264 conics tangent to all five are real.


title: Density and completeness of subvarieties of moduli spaces of curves or abelian varieties

abstract: Let $V$ be a subvariety of codimension $\leq g$ of the moduli space $\cA_g$ of principally polarized abelian varieties of dimension $g$ or of the moduli space $\tM_g$ of curves of compact type of genus $g$. We prove that the set $E_1(V)$ of elements of $V$ which map onto an elliptic curve is analytically dense in $V$. From this we deduce that if $V \subset \cA_g$ is complete, then $V$ has codimension equal to $g$ and the set of elements of $V$ isogenous to a product of $g$ elliptic curves is countable and analytically dense in $V$. We also prove a technical property of the conormal sheaf of $V$ if $V \subset \tM_g$ (or $\cA_g$) is complete of codimension $g$.


title: Resolution for Sheaf of Differential Operators on Smooth Free Geometric Quotient of Linear Action of Algebraic Group

abstract: We obtain a global resolution for the sheaf of differential operators on smooth geometric quotients of free linear actions of algebraic groups. The terms of our resolution involve symmetric and alternating powers of vector bundles easily constructed geometrically from the algebraic group and the vector space on which it acts.


title: Counting rational curves with multiple points and Gromov-Witten invariants of blow-ups

abstract: We study Gromov-Witten invariants on the blow-up of P^n at a point, which is probably the simplest example of a variety whose moduli spaces of stable maps do not have the expected dimension. It is shown that many of these invariants can be interpreted geometrically on P^n as certain numbers of rational curves having a multiple point of given order at the blown up point. Moreover, all these invariants can actually be calculated, giving enumerative invariants of P^n which have not been known before.


title: Algebraic structures on hyperkaehler manifold

abstract: Let $M$ be a compact hyperkaehler manifold. The hyperkaehler structure equips $M$ with a set $R$ of complex structures parametrized by $CP^1$, called "the set of induced complex structures". It was known previously that induced complex structures are non-algebraic, except may be a countable set. We prove that a countable set of induced complex structures is algebraic, and this set is dense in $R$. A more general version of this theorem was proven by Fujiki.


title: A linear lower bound on the gonality of modular curves

abstract: The result in the title is proven, using the Selberg estimate on the leading eigenvalue of the non-Euclidean Laplacian, and the method of conformal volumes of Li and Yau.


title: Equivariant resolution of singularities in characteristic 0

abstract: A new proof of equivariant resolution of singularities under a finite group action in characteristic 0 is provided. We assume we know how to resolve singularities without group action. We first prove equivariant resolution of toroidal singularities. Then we reduce the general case to the toroidal case.


title: Algebraic (geometric) $n$-stacks

abstract: We propose a generalization of Artin's definition of algebraic stack, which we call {\em geometric $n$-stack}. The main observation is that there is an inductive structure to the definition whereby the ingredients for the definition of geometric $n$-stack involve only $n-1$-stacks and so are already previously defined. We use this inductive structure to obtain some basic properties. We look at maps from a projective variety into certain such $n$-stacks, and obtain an interpretation of the Brill-Noether locus as the set of points of a geometric $n$-stack. At the end we explain how this provides a context for looking at de Rham theory for higher nonabelian cohomology, how one can define the Hodge filtration and so on.


title: Moduli of vector-bundles on surfaces

abstract: This is a survey paper: we discuss certain recent results, with some improvements. It will appear in the S. Cruz proceedings.


title: Torsion algebraic cycles and complex cobordism

abstract: We show that the cycle map on a variety X, from algebraic cycles modulo algebraic equivalence to integer cohomology, lifts canonically to a topologically defined quotient of the complex cobordism ring of X. This more refined cycle map gives a topological proof that the Griffiths group is nonzero for some varieties X, without any use of Hodge theory. We also use this more refined cycle map to give examples of torsion algebraic cycles which map to 0 in Deligne cohomology but are not algebraically equivalent to 0, thus answering some questions by Colliot-Thelene and Schoen.


title: The Verlinde formula for PGL(p)

abstract: Let G be a complex semi-simple group, X a Riemann surface, M_G the moduli space of principal G-bundles on X. When G is simply-connected, there exists a closed formula expressing the dimension of the space H^0(M_G,L) for any line bundle L on M_G (this is usually called among mathematicians, somewhat incorrectly, the "Verlinde formula").In this paper we find an analogous formula for G = PGL(r) where r is prime.


title: Equivariant intersection theory

abstract: This is a revised and shortened version of our paper "Equivariant intersection theory" (alg-geom/9603008). In particular, the sections on Riemann-Roch and localization are omitted. They will appear in separate papers, at which time alg-geom/9603008 will become obsolete. We have intsead added a section of examples, and have include a calculation of the integral Chow ring of the mdouli stack of elliptic curves.


title: Secants of Abelian Varieties, Theta functions, and Soliton Equations

abstract: This paper is a survey on relations between secant identities and soliton equations and applications of soliton equations to problems of algebraic geometry, i.e., the Riemann-Schottky problem and its analogues. A short introduction into the analytic theory of theta functions is also given.


title: Non-abelian Seiberg-Witten theory and projectively stable pairs

abstract: We introduce the concept of Spin^G-structure in a SO-bundle, where $G\subset U(V)$ is a compact Lie group containing $-id_V$. We study and classify $Spin^G(4)$-structures on 4-manifolds, we introduce the G-Monopole equations associated with a $Spin^G$-structure. On Kaehler surfaces a Kobayashi-Hitchin correspondence can be proved for the corresponding moduli spaces. Using this complex geometric interpretation, we determine explicitely a moduli space of "PU(2)-Monopoles" on $\P^2$, we describe its Uhlenbeck compactification, as well as the Donaldson- and the abelian locus.


title: Mathematical Aspects of Mirror Symmetry

abstract: Lecture notes from 1993 Park City lectures and 1994 Trento lectures. The focus of these lectures is on giving a mathematical description of the A-model and B-model correlation functions on a Calabi--Yau manifold, and a precise mathematical conjecture relating these for a pair of mirror manifolds.


title: Automorphic forms with singularities on Grassmannians

abstract: We construct some families of automorphic forms on Grassmannians which have singularities along smaller sub Grassmannians, using Harvey and Moore's extension of the Howe (or theta) correspondence to modular forms with poles at cusps. Some of the applications are as follows. We construct families of holomorphic automorphic forms which can be written as infinite products, which give many new examples of generalized Kac-Moody superalgebras. We extend the Shimura and Maass-Gritsenko correspondences to modular forms with singularities. We prove some congruences satisfied by the theta functions of positive definite lattices, and find a sufficient condition for a Lorentzian lattice to have a reflection group with a finite volume fundamental domain. We give some examples suggesting that these automorphic forms with singularities are related to Donaldson polynomials and to mirror symmetry for K3 surfaces.


title: Crepant Terminalisations and Orbifold Euler Numbers for SL(4) Singularities

abstract: Let $X$ and $Y$ be two analytic canonical Gorenstein orbifolds. A resolution of singularities $Y\to X$ is called an Euler resolution if $Y$ and $X$ have the same orbifold Euler number. If $Y$ is only terminal rather than smooth, it is called an Euler terminalisation. It is proved that Euler terminalisations exist for toric varieties in any dimension, for 4-dimensional toroidal varieties, and for singularities $\C^4/G$ where $G$ belongs to certain classes of $\SL(4)$ subgroups. The method of proof is expected to be applicable to a sizeable number of finite $\SL(4)$ subgroups and to lead to a generalisation of the Dixon-Harvey-Vafa-Witten orbifold Euler number conjecture to dimension~4.


title: Linearization of group stack actions and the Picard group of the moduli of $\SL_r/\mu_s$-bundles on a curve

abstract: We first study the descent theory of line bundles under a morphism which is tors or under a group stack and then use this technical result to determine the exact structure of $\Pic(\M_G)$ where $G=\SL_r/\mu_s$ (we include a minor modification to explain the genus 0 case).


title: Specialization of integral dependence for modules

abstract: We establish the principle of specialization of integral dependence for submodules of finite colength of free modules, as part of the general algebraic-geometric theory of the Buchsbaum--Rim multiplicity. Then we apply the principle to the study of equisingularity of ICIS germs, obtaining results for such equisingularity conditions as Whitney's Condition A, Thom's Condition A_f, and Henry, Merle and Sabbah's Condition W_f. Notably, we describe these conditions for analytic families in terms of various numerical invariants, which, for the most part, depend only on the members of a family, not on its total space.


title: Partial Resolutions of Orbifold Singularities via Moduli Spaces of HYM-type Bundles

abstract: Let $\Gamma$ be a finite group acting linearly on $\C^n$, freely outside the origin, and let $N$ be the number of conjugacy classes of $\Gamma$ minus one. A construction of Kronheimer of moduli spaces $X_\zeta$ of translation-invariant $\Gamma$-equivariant instantons on $\C^2$ is generalised to $\C^n$. The moduli spaces $X_\zeta$ depend on a parameter $\zeta\in\Q^N$. The following results are proved: for $\zeta=0$, $X_0$ is isomorphic to $\C^n/\Gamma$; if $\zeta\neq 0$, the natural maps $X_\zeta\to X_0$ are partial resolutions. The moduli $X_\zeta$ are furthermore shown to admit K\"ahler metrics which are Asymptotically Locally Euclidean (ALE). A description of the singularities of $X_\zeta$ using deformation complexes is given, and is applied in particular to the case $\Gamma\subset\SU(3)$. It is conjectured that for general $\Gamma$ and generic $\zeta$ that the singularities of $X_\zeta$ are at most quadratic. When $\Gamma\subset\SU(3)$ a natural holomorphic 3-form is constructed on the smooth locus of $X_\zeta$, which is conjectured to be non-vanishing. The morphims $X_\zeta\to X_0$ are expected to be crepant resolutions and $X_\zeta$ to be smooth for generic choices of the parameter $\zeta$. Related open problems in higher-dimensional complex geometry are also mentioned. The paper has a companion paper which identifies the moduli $X_\zeta$ with representation moduli of McKay quivers, and describes them completely in the case of abelian groups.


title: Resolutions of Orbifold Singularities and Flows on the McKay Quiver

abstract: Let $\Gamma$ be a finite group acting linearly on $\C^n$, freely outside the origin. In previous work a generalisation of Kronheimer's construction of moduli of Hermitian-Yang-Mills bundles with certain invariance properties was given. This produced varieties $X_\zeta$ (parameterised by $\zeta\in\Q^N$) which are partial resolutions of $\C^n/\Gamma$. In this article, it is shown the same $X_\zeta$ can be described as moduli spaces of representations of the McKay quiver associated to the action of $\Gamma$. It it shown that, for abelian groups, $X_\zeta$ are toric varieties defined by convex polyhedra which are the solution sets for a generalisation of the transportation problem on the McKay quiver. The generalised transportation problem is solved for an arbitrary quiver to give a description of the extreme points, faces, and tangent cones to the solution polyhedra in terms of certain distinguished trees in the quiver. Applied the McKay quiver, this gives an explicit procedure for calculating $X_\zeta $, its Euler number, and its singularities for any $\zeta$. The $\zeta$-parameter-space is thus partitioned into a finite disjoint union of cones inside which the biregular type of $X_\zeta$ remains constant. Finally, the example $\C^3/\Z_5$ (weights $1,2,3$) is worked out in detail, and figures of smooth and singular $X_\zeta$ and their corresponding flows are drawn. A further example of smooth crepant resolution $X_\zeta$ is drawn for the singularity ${1/11}(1,4,6)$.


title: Bounds for the Hilbert function of polynomial ideals and for the degrees in the Nullstellensatz

abstract: We present a new effective Nullstellensatz with bounds for the degrees which depend not only on the number of variables and on the degrees of the input polynomials but also on an additional parameter called the {\it geometric degree of the system of equations}. The obtained bound is polynomial in these parameters. It is essentially optimal in the general case, and it substantially improves the existent bounds in some special cases. The proof of this result is combinatorial, and it relies on global estimations for the Hilbert function of homogeneous polynomial ideals. In this direction, we obtain a lower bound for the Hilbert function of an arbitrary homogeneous polynomial ideal, and an upper bound for the Hilbert function of a generic hypersurface section of an unmixed radical polynomial ideal.


title: Chow motives of elliptic modular surfaces and threefolds

abstract: The main result of this paper is the proof for elliptic modular threefolds of conjectures on the existence and structure of a filtration on the Chow groups of smooth projective varieties. In the form we prove them these conjectures were formulated by the second-named author, but as Jannsen has shown, these conjectures are equivalent to a conjecture of Beilinson. These conjectures have previously been proved for surfaces in general, but for elliptic modular surfaces we obtain more precise results which are then used in proving the conjectures for elliptic modular threefolds.


title: The Rank Stable Topology of Instantons on $\cpbar$

abstract: Let $\M_{k}^{n}$ be the moduli space of based (anti-self-dual) instantons on $\cpbar$ of charge $k$ and rank $n$. There is a natural inclusion of rank $n$ instantons into rank $n+1$. We show that the direct limit space is homotopy equivalent to $BU(k)\times BU(k)$. The moduli spaces also have the following algebro-geometric interpretation: Let $\linf$ be a line in the complex projective plane and consider the blow-up at a point away from $\linf$. $\M _{k}^{n}$ can be described as the moduli space of rank $n$ holomorphic bundles on the blownup projective plane with $c_{1}=0$ and $c_{2}=k$ and with a fixed holomorphic trivialization on $\linf$.


title: Hilbert-Kunz functions of cubic curves and surfaces

abstract: We determine the Hilbert-Kunz function of plane elliptic curves in odd characteristic, as well as over arbitrary fields the generalized Hilbert-Kunz functions of nodal cubic curves. Together with results of K. Pardue and P. Monsky, this completes the list of Hilbert-Kunz functions of plane cubics. Combining these results with the calculation of the (generalized) Hilbert-Kunz function of Cayley's cubic surface, it follows that in each degree and over any field of positive characteristic there are curves resp. surfaces taking on the minimally possible Hilbert-Kunz multiplicity.


title: Deformations of trianalytic subvarieties of hyperk\"ahler manifolds

abstract: Let $M$ be a compact complex manifold equipped with a hyperk\"ahler metric, and $X$ be a closed complex analytic subvariety of $M$. In alg-geom/9403006, we proved that $X$ is trianalytic, i. e., complex analytic with respect to all complex structures induced by the hyperk\"ahler structure, provided that $M$ is generic in its deformation class. Here we study the complex analytic deformations of trianalytic subvarieties. We prove that all deformations of $X$ are trianalytic and naturally isomorphic to $X$ as complex analytic varieties. We show that this isomorphism is compatible with the metric induced from $M$. Also, we prove that the Douady space of complex analytic deformations of $X$ in $M$ is equipped with a natural hyperk\"ahler structure.


title: Special points on the product of two modular curves

abstract: We prove, assuming the Generalized Riemann Hypothesis for imaginary quadratic fields, that irreducible curves in the product of two modular curves that contain infinitely many complex multiplication points are either a Hecke correspondence or a fibre for one of the two projections. This gives evidence for a conjecture of Oort that says that irreducible components of the Zariski closure of a set of CM points in a Shimura variety are sub Shimura varieties.


title: Monomial Resolutions

abstract: Call a monomial ideal M "generic" if no variable appears with the same nonzero exponent in two distinct monomial generators. Using a convex polytope first studied by Scarf, we obtain a minimal free resolution of M. Any monomial ideal M can be made generic by deformation of its generating exponents. Thus, the above construction yields a (usually nonminimal) resolution of M for arbitrary monomial ideals, bounding the Betti numbers of M in terms of the Upper Bound Theorem for Convex Polytopes. We show that our resolutions are DG-algebras, and consider realizability questions and irreducible decompositions.


title: Rationality of Moduli Spaces of Parabolic Bundles

abstract: The moduli space of parabolic bundles with fixed determinant over a smooth curve of genus greater than one is proved to be rational whenever one of the multiplicities associated to the quasi-parabolic structure is equal to one. It follows that if rank and degree are coprime, the moduli space of vector bundles is stably rational, and the bound obtained on the level is strong enough to conclude rationality in many cases.


title: Moduli Spaces of Parabolic Higgs Bundles and Parabolic K(D) Pairs over Smooth Curves: I

abstract: This paper concerns the moduli spaces of rank two parabolic Higgs bundles and parabolic K(D) pairs over a smooth curve. Precisely which parabolic bundles occur in stable K(D), pairs and stable Higgs bundles is determined. Using Morse theory, the moduli space of parabolic Higgs bundles is shown to be a non-compact, connected, simply connected manifold, and a computation of its Poincar\'e polynomial is given.


title: Universal Einstein-Hermitian Metrics

abstract: Lemma 3.4 is wrong.


title: Arithmetically Cohen--Macaulay curves in P^4 of degree 4 and genus 0

abstract: We show that the arithmetically Cohen--Macaulay (ACM) curves of degree 4 and genus 0 in ${\bold P}^4$ form an irreducible subset of the Hilbert scheme. Using this, we show that the singular locus of the corresponding component of the Hilbert scheme has dimension greater than 6. Moreover, we describe the structures of all ACM curves of Hilb$^{4m+1}({\bold P}^4)$.


title: Prime rings with PI rings of constants

abstract: It is shown that if the ring of constants of a restricted differential Lie algebra with a quasi-Frobenius inner part satisfies a polynomial identity (PI) then the original prime ring has a generalized polynomial identitiy (GPI). If additionally the ring of constants is semiprime then the original ring is PI. The case of a non-quasi-Frobenius inner part is also considered.


title: Equations Defining Toric Varieties

abstract: This article will appear in the proceedings of the AMS Summer Institute in Algebraic Geometry at Santa Cruz, July 1995. The topic is toric ideals, by which I mean the defining ideals of subvarieties of affine or projective space which are parametrized by monomials. Numerous open problems are given.


title: The Laumon's resolution of Drinfeld's compactification is small

abstract: Let $C$ be a smooth projective curve of genus 0. Let $\FF$ be the variety of complete flags in an $n$-dimensional vector space $V$. Given an $(n-1)$-tuple $\alpha$ of positive integers one can consider the space $\MM\alpha$ of algebraic maps of degree $\alpha$ from $C$ to $\FF$. This space has drawn much attention recently in connection with Quantum Cohomology. The space $\MM\alpha$ is smooth but not compact. The problem of compactification of $\MM\alpha$ proved very important. One compactification $\MML\alpha$ (the space of {\em quasiflags}), was constructed in \cite{L}. However, historically the first and most economical compactification $\MMD\alpha$ (the space of {\em quasimaps}) was constructed by Drinfeld (early 80-s, unpublished). The latter compactification is singular, while the former one is smooth. Drinfeld has conjectured that the natural map $\pi:\MML\alpha\to\MMD\alpha$ is a small resolution of singularities. In the present note we prove this conjecture. As a byproduct, we compute the stalks of $IC$ sheaf on $\MMD\alpha$ and, moreover, the Hodge structure in these stalks. Namely, the Hodge structure is a pure Tate one, and the generating function for the $IC$ stalks is just the Lusztig's $q$-analogue of Kostant's partition function (see \cite{Lu}).


title: Weil-Petersson geometry and determinant bundles on inductive limits of moduli spaces

abstract: In an earlier paper [Acta Mathematica, v. 176, 1996, 145-169, alg-geom/9505024 ] the present authors and Dennis Sullivan constructed the universal direct system of the classical Teichm\"uller spaces of Riemann surfaces of varying genus. The direct limit, which we called the universal commensurability Teichm\"uller space, $T_{infty}$, was shown to carry on it a natural action of the universal commensurability mapping class group, $MC_{\infty}$. In this paper we identify an interesting cofinal sub-system corresponding to the tower of finite-sheeted characteristic coverings over any fixed base surface. Utilizing a certain subgroup inside $MC_{\infty}$, (associated intimately to the inverse system of characteristic coverings), we can now descend to an inductive system of moduli spaces, and construct the direct limit ind-variety $M_{\infty}$. Invoking curvature properties of Quillen metrics on determinant bundles, and naturality under finite coverings of Weil-Petersson forms, we are able to construct on $M_{\infty}$ the natural sequence of determinant of cohomology line bundles, as well as the Mumford isomorphisms connecting these.


title: Jack polynomials and Hilbert schemes of points on surfaces

abstract: The Jack symmetric polynomials $P_\lambda^{(\alpha)}$ form a class of symmetric polynomials which are indexed by a partition $\lambda$ and depend rationally on a parameter $\alpha$. They reduced to the Schur polynomials when $\alpha=1$, and to other classical families of symmetric polynomials for several specific parameters. It is well-known that Schur polynomials can be realized as certain elements of homology groups of Grassmann manifolds. The purpose of this paper is to give a similar geometric realization for Jack polynomials. However, spaces which we use are totally different. Our spaces are Hilbert schemes of points on a surface X which is the total space of a line bundle L over the projective line. The parameter $\alpha$ in Jack polynomials relates to our surface X by $\alpha = -<C,C>$, where C is the zero section, and <C,C> is the self-intersection number of C.

categories: alg-geom hep-th math.AG math.QA nlin.SI q-alg solv-int


title: Automorphic Forms and Lorentzian Kac--Moody Algebras. Part I

abstract: Using the general method which was applied to prove finiteness of the set of hyperbolic generalized Cartan matrices of elliptic and parabolic type, we classify all symmetric (and twisted to symmetric) hyperbolic generalized Cartan matrices of elliptic type and of rank 3 with a lattice Weyl vector. We develop the general theory of reflective lattices T with 2 negative squares and reflective automorphic forms on homogeneous domains of type IV defined by T. We consider this theory as mirror symmetric to the theory of elliptic and parabolic hyperbolic reflection groups and corresponding hyperbolic root systems. We formulate Arithmetic Mirror Symmetry Conjecture relating both these theories and prove some statements to support this Conjecture. This subject is connected with automorphic correction of Lorentzian Kac--Moody algebras. We define Lie reflective automorphic forms which are the most beautiful automorphic forms defining automorphic Lorentzian Kac--Moody algebras, and we formulate finiteness Conjecture for these forms. Detailed study of automorphic correction and Lie reflective automorphic forms for generalized Cartan matrices mentioned above will be given in Part II.


title: On maximal curves

abstract: We study arithmetical and geometrical properties of maximal curves, that is, curves defined over the finite field F_{q^2} whose number of F_{q^2}-rational points reaches the Hasse-Weil upper bound. Under a hypothesis on non-gaps at a rational point, we prove that maximal curves are F_{q^2}-isomorphic to y^q + y = x^m, for some $m \in Z^+$. As a consequence we show that a maximal curve of genus g=(q-1)^2/4 is F_{q^2}-isomorphic to the curve y^q + y = x^{(q+1)/2}.


title: On framed instanton bundles and their deformations

abstract: We consider a compact twistor space P and assume that there is a surface S in P, which has degree one on twistor fibres and contains a twistor fibre F, e.g. P a LeBrun twistor space. Similar to Donaldson and Buchdahl we examine the restriction of an instanton bundle V equipped with a fixed trivialisation along F to a framed vector bundle over (S,F). First we develope inspired by Huybrechts and Lehn a suitable deformation theory for vector bundles over an analytic space framed by a vector bundle over a subspace of arbitrary codimension. In the second section we describe the restriction as a smooth natural transformation into a fine moduli space. By considering framed U(r)-instanton bundles as a real structure on framed instanton bundles over P, we show that the bijection between isomorphism classes of framed U(r)-instanton bundles and isomorphism classes of framed vector bundles over (S,F) due to Buchdahl is actually an isomorphism of moduli spaces.


title: Segre Numbers and Hypersurface Singularities

abstract: We define the Segre numbers of an ideal as a generalization of the multiplicity of an ideal of finite colength. We prove generalizations of various theorems involving the multiplicity of an ideal such as a principle of specialization of integral dependence, the Rees-B\"oger theorem, and the formula for the multiplicity of the product of two ideals. These results are applied to the study of various equisingularity conditions, such as Verdier's condition W, and conditions $A_f$ and $W_f$.


title: Resolving mixed Hodge modules on configuration spaces

abstract: Given a mixed Hodge module E on a scheme X over the complex numbers, and a quasi-projective morphism f:X->S, we construct in this paper a natural resolution of the nth exterior tensor power of E restricted to the nth configuration space of f. The construction is reminiscent of techniques from the theory of hyperplane arrangements, and relies on Arnold's calculation of the cohomology of the configuration space of the complex line. This resolution is S_n-equivariant. We apply it to the universal elliptic curve with complete level structure of level N>=3 over the modular curve Y(N), obtaining a formula for the S_n-equivariant Serre polynomial (Euler characteristic of H^*_c(V,Q) in the Grothendieck group of the category of mixed Hodge structures) of the moduli space M_{1,n}. In a sequel to this paper, this is applied in the calculation of the S_n-equivariant Hodge polynomial of the compactication \bar{M}_{1,n}.


title: The Second Cohomology with Symplectic Coefficients of the Moduli Space of Smooth Projective Curves

abstract: Each finite dimensional irreducible rational representation V of the symplectic group Sp_{2g} determines a generically defined local system \V over the moduli space M_g of genus g smooth projective curves. We study H^2(M_g;\V) and the mixed Hodge structure on it. Specifically, we prove that if g>5, then the natural map IH^2(MS_g;\V)-->H^2(M_g;\V) is an isomorphism where MS_g is the Satake compactification of M_g. Using the work of Saito we conclude that the mixed Hodge structure on H^2(M_g;\V) is pure of weight 2+r if \V underlies a variation of Hodge structure of weight r. We also obtain estimates on the weight of the mixed Hodge structure on H^2(M_g;\V) for 2<g<6. Results of this article can be applied in the study of relations in the Torelli group T_g.


title: Bott-Chern Forms and Arithmetic Intersections

abstract: Let \E : 0 --> S --> E --> Q --> 0 be a short exact sequence of hermitian vector bundles with metrics on S and Q induced from that on E. We compute the Bott-Chern form of \E corresponding to any characteristic class, assuming E is projectively flat. The result is used to obtain a new presentation of the Arakelov Chow ring of the arithmetic grassmannian.


title: Arithmetic Intersection Theory on Flag Varieties

abstract: Let F be the complete flag variety over Spec(Z) with the tautological filtration 0 \subset E_1 \subset E_2 \subset ... \subset E_n=E of the trivial bundle E over F. The trivial hermitian metric on E(\C) induces metrics on the quotient line bundles L_i(\C). Let \hat{c}_1(L_i) be the first Chern class of L_i in the arithmetic Chow ring \hat{CH}(F) and x_i = -\hat{c}_1(L_i). Let h(X_1,...,X_n) be a polynomial with integral coefficients in the ideal <e_1,...,e_n> generated by the elementary symmetric polynomials e_i. We give an effective algorithm for computing the arithmetic intersection h(x_1,...,x_n) in \hat{CH}(F), as the class of a SU(n)-invariant differential form on F(\C). In particular we show that all the arithmetic Chern numbers one obtains are rational numbers. The results are true for partial flag varieties and generalize those of Maillot for grassmannians. An `arithmetic Schubert calculus' is established for an `invariant arithmetic Chow ring' which specializes to the Arakelov Chow ring in the grassmannian case.


title: Higher Bott Chern forms and Beilinson's regulator

abstract: Let X be a smooth complex algebraic variety. In this paper, we associate, to each exact n-cube of hermitian vector bundles over X, a differential form, called higher Bott Chern form, which generalizes the Bott Chern forms associated to an exact sequence of hermitian vector bundles. With these forms we construct characteristic classes for higher K-theory and prove that these classes agree with Beilinson's regulator. Thus we obtain a description of Beilinson's regulator map in terms of hermitian vector bundles.


title: Projective Moduli for Hitchin Pairs

abstract: We give an algebraic geometric compactification of certain moduli spaces of semistable E-pairs in the sense of Yokogawa. In particular, we obtain a compactification of the moduli spaces of semistable Higgs pairs on a curve which were constructed by N. Hitchin.


title: Birational automorphisms of algebraic varieties with a pencil of cubic surfaces

abstract: It is proved that on a smooth algebraic variety, fibered into cubic surfaces over the projective line and sufficiently ``twisted'' over the base, there is only one pencil of rational surfaces -- that is, this very pencil of cubics. In particular, this variety is non-rational; moreover, it can not be fibered into rational curves. The proof is obtained by means of the method of maximal singularities.


title: On the Complexity of Smooth Projective Toric Varieties

abstract: In this paper we answer a question posed by V.V. Batyrev. The question asked if there exists a complete regular fan with more than quadratically many primitive collections. We construct a smooth projective toric variety associated to a complete regular fan $\Delta$ in R^d with $n$ generators where the number of primitive collections of $\Delta$ is at least exponential in $n-d$. We also exhibit the connection between the number of primitive collections of $\Delta$ and the facet complexity of the Gr\"obner fan of the associated integer program.


title: Dynkin Graphs, Gabri\'{e}lov Graphs and Triangle Singularities

abstract: Fourteen kinds of triangle singularities with modality one in Arnold's classification list are discussed. We consider which kinds of combinations of rational double points can appear on small deformation fibers of the singularities. We show that possible combinations of rational double points can be described by a unique principle from the view point of Dynkin graphs.


title: The quantum cohomology of blow-ups of P^2 and enumerative geometry

abstract: We compute the Gromov-Witten invariants of the projective plane blown up in r general points. These are determined by associativity from r+1 intial values. Applications are given to the enumeration of rational plane curves with prescribed multiplicities at fixed general points. We show that the numbers are enumerative if at least one of the prescribed multiplicities is 1 or 2. In particular, all the invariants for r<=8 (the Del Pezzo case) are enumerative.


title: On the semi-simplicity of the $U_p$-operator on modular forms

abstract: Let $p$ be a prime number and $N$ an integer prime to $p$. We show that the operator $U_p$ on the space of cuspidal modular forms of level $pN$ and weight two is semi-simple. It follows from this that the Hecke algebra acting on the space of weight two forms of level $M$ is reduced if $M$ is cube free. Assuming Tate's conjecture for cycles on smooth projective varieties over finite fields, we generalize these results to higher weights. The main point in the proof is that the crystalline Frobenius of the reduction mod $p$ of the motive associated to a newform of level prime to $p$ and weight at least two cannot be a scalar. Assuming Tate's conjecture, it follows that Ramanujan's inequality is strict. For $N$ prime, we relate the discriminant of the weight two Hecke algebra to the height of the modular curve $X_0(N)$, for which we get an upper bound.


title: Andre-Quillen cohomology of monoid algebras

abstract: We compute the Andre-Quillen cohomology of an affine toric variety. The best results are obtained either in the general case for the first three cohomology groups, or in the case of isolated singularities for all cohomology groups, respectively.


title: Desingularization of singular hyperkaehler varieties I

abstract: Let $M$ be a singular hyperkaehler variety, obtained as a moduli space of stable holomorphic bundles on a compact hyperkaehler manifold (alg-geom/9307008). Consider $M$ as a complex variety in one of the complex structures induced by the hyperkaehler structure. We show that normalization of $M$ is smooth, hyperkaehler and does not depend on the choice of induced complex structure.


title: Giambelli-type formula for subbundles of the tangent bundle

abstract: Let us consider a generic n-dimensional subbundle V of the tangent bundle TM on some given manifold M. Given V one can define different degeneracy loci S_r(CV), r=(r_1<= r_2<= r_3<=...<=r_k) on M consisting of all points x in M for which the dimension of the subspace V^j(x) in TM(x) spanned by all length <= j commutators of vector fields tangent to V at x is less than or equal to r_j. We calculate 'explicitly' the cohomology classes dual to S_r(V) using determinantal formulas due to W.Fulton and the expression for the Chern classes of the associated bundle of free Lie algebras in terms of the Chern classes of V itself.


title: A view on contractions of higher dimensional varieties

abstract: In this paper we discuss some recent results about extremal contractions of complex algebraic varieties. These are proper surjective maps, $\phi: X\longrightarrow Z$, of normal varieties with connected fibers such that $X$ has mild singularities (in particular $X$ is $Q$-Gorenstein) and the anticanonical divisor of $X$ is $\phi$ ample. It will appear on the Proceedings of AMS-SRI on Algebraic Geometry, Santa Cruz 1995.


title: Algebraic Differential Characters

abstract: We give a construction of algebraic differential characters, receiving classes of algebraic bundles with connection, lifitng the Chern-Simons invariants defined with S. Bloch, the classes in the Chow group and the analytic secondary invariants if the variety is defined over the field of complex numbers.


title: Bott-Samelson Varieties and Configuration Spaces

abstract: We give a new construction of the Bott-Samelson variety $Z$ as the closure of a $B$-orbit in a product of flag varieties $(G/B)^l$. This also gives an embedding of the projective coordinate ring of the variety into the function ring of a Borel subgroup: $\CC[Z] \subset \CC[B]$. In the case of the general linear group $G = GL(n)$, this identifies $Z$ as a configuration variety of multiple flags subject to certain inclusion conditions, closely related to the the matrix factorizations of Berenstein, Fomin and Zelevinsky. As an application, we give a geometric proof of the theorem of Kraskiewicz and Pragacz that Schubert polynomials are characters of Schubert modules. Our work leads on the one hand to a Demazure character formula for Schubert polynomials and other generalized Schur functions, and on the other hand to a Standard Monomial Theory for Bott-Samelson varieties.


title: Liouville and Carath\'eodory coverings in Riemannian and complex geometry

abstract: A Riemannian manifold resp. a complex space $X$ is called Liouville if it carries no nonconstant bounded harmonic resp. holomorphic functions. It is called Carath\'eodory, or Carath\'eodory hyperbolic, if bounded harmonic resp. holomorphic functions separate the points of $X$. The problems which we discuss in this paper arise from the following question: When a Galois covering $X$ with Galois group $G$ over a Liouville base $Y$ is Liouville or, at least, is not Carath\'eodory hyperbolic?


title: Virtual neighborhoods and pseudo-holomorphic curves

abstract: We use virtual neighborhood technique to establish GW-invariants, Quantum cohomology, equivariant GW-invariants, equivariant quantum cohomology and Floer cohomology for general symplectic manifold. We also establish GW-invariants for a family of symplectic manifolds. As a consequence, we prove Arnold conjecture for nondegenerate Hamiltonian symplectomorphisms.


title: Bornes effectives pour la torsion des courbes elliptiques sur les corps de nombres

abstract: In this paper we give a detailed proof of a result we announced a year ago. This result is an effective version of the theorem of Mazur-Kamienny-Merel concerning uniform bounds for rational torsion points on elliptic curves over number fields.


title: Separation of Semialgebraic Sets

abstract: In this paper we study the problem of deciding whether two disjoint semialgebraic sets of an algebraic variety over R are separable by a polynomial. For that we isolate a dense subfamily of Spaces of Orderings, named Geometric, which suffice to test separation and that reduce the problem to the study of the behaviour of the semialgebraic sets in their boundary. Then we derive several characterizations for the generic separation, among which there is a Geometric Criterion that can be tested algorithmically. Finally we show how to check recursively whether we can pass from the generic separation to the separation of the two sets, yielding a decision procedure to solve the problem.


title: Existence of good divisors on Mukai manifolds

abstract: A normal projective variety X is called Fano if a multiple of the anticanonical Weil divisor, -K_X, is an ample Cartier divisor, the index of a Fano variety is the number i(X):=sup{t: -K_X= tH, for some ample Cartier divisor H}. Mukai announced, the classification of smooth Fano manifolds X of index i(X)=n-2, under the assumption that the linear system |H| contains a smooth divisor. In this paper we prove that this assumption is always satisfied. Therefore the result of Mukai provide a complete classification of smooth Fano n-folds of index $i(X)=n-2$, Mukai manifolds.


title: On symmetric degeneracy loci, spaces of symmetric matrices of constant rank and dual varieties

abstract: Let X be a nonsingular simply connected projective variety of dimension m, E a rank n vector bundle on X, and L a line bundle on X. Suppose that $S^2(E^{*}) \otimes L$ is an ample vector bundle and that there is a constant even rank $r \ge 2$ symmetric bundle map $E \to E^{*} \otimes L$. We prove that $m \le n-r$. We use this result to solve the constant rank problem for symmetric matrices, proving that the maximal dimension of a linear subspace of the space of $m\times m$ symmetric matrices such that each nonzero element has even rank $r \ge 2$ is $m-r+1$. We explain how this result relates to the study of dual varieties in projective geometry and give some applications and examples.


title: On the density of ratios of Chern numbers of embedded threefolds

abstract: We show that the limit points of (x,y) for all 3-folds in P^5 with the Chern ratios $x=c_1^3/c_1c_2$, $y=c_3/c_1c_2$ must lie on the line segment $x+y=2$, $1\le x\le 2$. (Note that the determinantal ones already give x+y=2, $1\le x\le 17/12$.)


title: Differential forms on singular varieties and cyclic homology

abstract: A classical result of A. Connes asserts that the Frechet algebra of smooth functions on a smooth compact manifold X provides, by a purely algebraic procedure, the de Rham cohomology of X. Namely the procedure uses Hochschild and cyclic homology of this algebra. In the situation of a Thom-Mather stratified variety, we construct a Frechet algebra of functions on the regular part and a module of poles along the singular part. We associate to these objects a complex of differential forms and an Hochschild complex, on the regular part, both with poles along the singular part. The de Rham cohomology of the first complex and the cylic homology of the second one are related to the intersection homology of the variety, the corresponding perversity is determined by the orders of poles.


title: Automorphic Forms and Lorentzian Kac-Moody Algebras. Part II

abstract: We give variants of lifting construction, which define new classes of modular forms on the Siegel upper half-space of complex dimension 3 with respect to the full paramodular groups (defining moduli of Abelian surfaces with arbitrary polarization). The data for these liftings are Jacobi forms of integral and half-integral indices. In particular, we get modular forms which are generalizations of the Dedekind eta-function. Some of these forms define automorphic corrections of Lorentzian Kac-Moody algebras with hyperbolic generalized Cartan matrices of rank three classified in Part I of this paper. We also construct many automorphic forms which give discriminants of moduli of K3 surfaces with conditions on Picard lattice. These results are important for Mirror Symmetry and theory of Lorentzian Kac-Moody algebras.


title: Counting curves on surfaces: a guide to new techniques and results

abstract: This is a survey describing recents developments in enumerative geometry of curves on projective varieties. Various methods to arrive at results such as Kontsevich's formula for plane rational curves, or Caporaso-Harris's formula for plane curves of any genus, are illustrated on concrete examples It will appear on the Proceedings of the European Congress of Mathematics, Budapest 1996.


title: Irregular canonical double surfaces

abstract: We study minimal surfaces X of general type with $K^2_X=6p_g-14$ and $q(X)>0$ such that $K_X$ is ample, the image of the canonical map is a canonically embedded surface of general type and the canonical map is not birational. The main result states that if X satisfies the above assumptions and $q(X)\ge 2$, then, apart from a finite number of exceptions, X belongs to an infinite series of examples due to Beauville. The exceptions are described in detail and some new examples are given.


title: On Kodaira energy and adjoint reduction of polarized threefolds

abstract: Here we study and classify polarized threefolds whose Kodaira energies are less than -1/2. The Kodaira energy of a polarized manifold (M, L), a pair consisting of a smooth complex algebraic variety M and an ample line bundle L on it, is defined to be $-\Inf{t\in Q\vert \kappa(K+tL)\ge0}$, where K is the canonical bundle of M and $\kappa$ denotes the Iitaka dimension of a Q-bundle. The method is a variant of those in my paper; manuscripta math. 76(1992).


title: Rankin-Cohen Operators for Jacobi and Siegel Forms

abstract: For any non-negative integer v we construct explicitly [v/2]+1 independent covariant bilinear differential operators from J_{k,m} x J_{k',m'} to J_{k+k'+v,m+m'}. As an application we construct a covariant bilinear differential operator mapping S_k^{(2)} x S^{(2)}_{k'} to S^{(2)}_{k+k'+v}. Here J_{k,m} denotes the space of Jacobi forms of weight k and index m and S^{(2)}_k the space of Siegel modular forms of degree 2 and weight k. The covariant bilinear differential operators constructed are analogous to operators already studied in the elliptic case by R. Rankin and H. Cohen and we call them Rankin-Cohen operators.


title: Sch\'emas de Fano

abstract: Let X be a subvariety of $P^n$ defined by equations of degrees $ d =(d_1,...,d_s)$, over an algebraically closed field k of any characteristic. We study properties of the Fano scheme $F_r(X)$ that parametrizes linear subspaces of dimension r contained in X. We prove that $F_r(X)$ is connected and smooth of the expected dimension for n big enough (this was previously known in characteristic 0 or for r=1). Using Bott's theorem, we prove a vanishing theorem for certain bundles on the Grassmannian and use it to calculate the cohomology groups of $F_r(X)$ in degree $\le \dim X-2r$, and to prove that $F_r(X)$ is projectively normal in the Grassmannian. Finally, we prove that for n big enough, the rational Chow group $A_1(F_r(X))$ is of rank 1, and $F_r(X)$ is unirational. All bounds on n are effective.


title: Residue in intersection homology for quasihomogeneous singularities

abstract: Suppose M is a complex manifold of dimension $n+1$ and K is a hypersurface in M. By Poincar\'e duality we define a residue morphism $res:H^{k+1}(M\setminus K)\longrightarrow H_{2n-k}(K)$ which generalizes the classical Leray residue morphism to cohomology for smooth K. We assume that K has isolated quasihomogeneous singularities. Suppose $\omega$ is a holomorphic form of the type $(n+1,0)$ with the first order pole on K. The purpose of this note is to give a short, self contained proof of a criterion which tells us when the residue of $\omega$ lifts to the intersection homology of K.


title: On the semi-simplicity of the quantum cohomology algebras of complete intersections

abstract: In this short note, we study the semi-simplicity of the quantum cohomology algebra H(V, C) of a Fano complete intersection V, and show that the subspace of H(V, C) generated by the hyperplane sections is semi-simple in the sense of Dubrovin when the degree of V satisfies certain conditions.


title: Stationary Phase Integrals, Quantum Toda Lattices, Flag Manifolds and the Mirror Conjecture

abstract: A generalization of the mirror conjecture is proven for the manifolds of complete flags in C^n.


title: A lecture on Arithmetic Mirror Symmetry and Calabi-Yau manifolds

abstract: We extend our variant of mirror symmetry for K3 surfaces \cite{GN3} and clarify its relation with mirror symmetry for Calabi-Yau manifolds. We introduce two classes (for the models A and B) of Calabi-Yau manifolds fibrated by K3 surfaces with some special Picard lattices. These two classes are related with automorphic forms on IV type domains which we studied in our papers \cite{GN1}-\cite{GN6}. Conjecturally these automorphic forms take part in the quantum intersection pairing for model A, Yukawa coupling for model B and mirror symmetry between these two classes of Calabi-Yau manifolds. Recently there were several papers by physicists where it was shown on some examples. We propose a problem of classification of introduced Calabi-Yau manifolds. Our papers \cite{GN1}-\cite{GN6} and \cite{N3}-\cite{N14} give a hope that this is possible. They describe possible Picard or transcendental lattices of general K3 fibers of the Calabi-Yau manifolds.


title: A correspondence dual to McKay's

abstract: We give a dual to the McKay correspondence, involving conjugacy classes of subgroups of SU(2). We prove a determinantal formula involving both correspondences. We pose some questions concerning a non-commutative Fourier transform.


title: Intersection theory on $\Mbar_{1,4}$ and elliptic Gromov-Witten invariants

abstract: The WDVV equation is satisfied by the genus 0 correlation functions of any topological field theory in two dimensions coupled to topological gravity, and may be used to determine the genus 0 (rational) Gromov-Witten invariants of many projective varieties (as was done for projective spaces by Kontsevich). In this paper, we present an equation of a similar universal nature for genus 1 (elliptic) Gromov-Witten invariants -- however, it is much more complicated than the WDVV equation, and its geometric significance is unclear to us. (Our prove is rather indirect.) Nevertheless, we show that this equation suffices to determine the elliptic Gromov-Witten invariants of projective spaces. In a sequel to this paper, we will prove that this equation is the only one other than the WDVV equation which relates elliptic and rational correlation functions for two-dimensional topological field theories coupled to topological gravity. It is unclear if there are any further equations of this type on the small phase space in higher genus, but we think it unlikely. (The genus 0 and 1 cases are special, since the correlation functions on the small phase space determine those on the large phase space.)


title: The semi-classical approximation for modular operads

abstract: The semi-classical approximation is an explicit formula of mathematical physics for the sum of Feynman diagrams with a single circuit.In this paper, we study the same problem in the setting of modular operads (see dg-ga/9408003); instead of being a number, the interaction at a vertex of valence n is an S_n-module. As an application, we calculate the S_n-equivariant Hodge polynomials of the moduli spaces \Mbar_{1,n}.


title: Geometry of cohomology support loci for local systems I

abstract: Let X be a Zariski open subset of a compact Kaehler manifold. In this paper, we study the set $\Sigma^k(X)$ of one dimensional local systems on X with nonvanishing kth cohomology. We show that under certain conditions (X compact, X has a smooth compactification with trivial first Betti number, or k=1) $\Sigma^k(X)$ is a union of translates of sets of the form $f^*H^1(T,C^*)$, where $f:X \to T$ is a holomorphic map to a complex Lie group which is an extension of a compact complex torus by a product of C^*'s (these correspond to semiabelian varieties in the algebraic category). This generalizes earlier work of Beauville, Green, Lazarsfeld, Simpson and the author in the compact case. The main novelty lies in the proofs which involve consideration of Higgs fields with logarithmic poles. While a completely satifactory theory of such objects is still lacking, we are able to work out what we need in the rank one case by borrowing ideas from mixed Hodge theory. This will appear in the Journal of Algebraic Geometry.


title: Intermediate Jacobians of moduli spaces

abstract: Let $SU_X(n,L)$ be the moduli space of rank n semistable vector bundles with fixed determinant L on a smooth projective genus g curve X. Let $SU_X^s(n,L)$ denote the open subset parametrizing stable bundles. We show that if g>3 and n > 1, then the mixed Hodge structure on $H^3(SU_X^s(n, L))$ is pure of type ${(1,2),(2,1)}$ and it carries a natural polarization such that the associated polarized intermediate Jacobian is isomorphic J(X). This is new when deg L and n are not coprime. As a corollary, we obtain a Torelli theorem that says roughly that $SU_X^s(n,L)$ (or $SU_X(n,L)$) determines X. This complements or refines earlier results of Balaji, Kouvidakis-Pantev, Mumford-Newstead, Narasimhan-Ramanan, and Tyurin.


title: Instantons on $S^{4}$ and $\cpbar $, rank stabilization, and Bott periodicity

abstract: We study the large rank limit of the moduli spaces of framed bundles on the projective plane and the blown-up projective plane. These moduli spaces are identified with various instanton moduli spaces on the 4-sphere and $\cpbar $, the projective plane with the reverse orientation. We show that in the direct limit topology, these moduli spaces are homotopic to classifying spaces. For example, the moduli space of $Sp(\infty)$ or $SO(\infty)$ instantons on $\cpbar $ has the homotopy type of $BU(k)$ where $k$ is the charge of the instantons. We use our results along with Taubes' result concerning the $k\to \infty $ limit to obtain a novel proof of the homotopy equivalences in the eight-fold Bott periodicity spectrum. We give explicit constructions for these moduli spaces.


title: The elliptic Gromov-Witten invariants of CP^3

abstract: We present two explicit recursions which determine the elliptic Gromov-Witten invariants of CP^3 in terms of the rational ones, and give a table up to degree 5. Unlike the rational Gromov-Witten invariants, the coefficients are negative and fractional. In a further paper, we will prove that N^1_ab + (2n-1)N^0_ab/12 is the number of elliptic space curves through a generic lines and b generic points.


title: Strange duality, mirror symmetry, and the Leech lattice

abstract: We give a survey on old and new results concerning Arnold's strange duality. We show that most of the features of this duality continue to hold for the extension of it discovered by C. T. C. Wall and the author. The results include relations to mirror symmetry and the Leech lattice.


title: Relative Bogomolov's inequality and the cone of positive divisors on the moduli space of stable curves

abstract: Let f : X --> Y be a projective morphism of smooth algebraic varieties over an algebraically closed field of characteristic zero with dim f = 1. Let E be a vector bundle of rank r on X. In this paper, we would like to show that if X_y is smooth and E_y is semistable for some point y of Y, then f_* (2r c_2(E) - (r-1) c_1(E)^2) is weakly positive at y. We apply this result to obtain the following description of the cone of weakly positive $\QQ$-Cartier divisors on the moduli space of stable curves. Let M_g (resp. M_g^0) be the moduli space of stable (resp. smooth) curves of genus g >= 2. Let h be the Hodge class and d_i's (i = 0,...,[g/2]) the boundary classes. A Q-Cartier divisor x h + y_0 d_0 + ... + y_[g/2] d_[g/2] is weakly positive over M_g^0 if and only if x >= 0, g x + (8g + 4) y_0>= 0, and i(g-i) x + (2g+1) y_i>= 0 for all 1 <= i <= [g/2].


title: Scaling Behavior on the Space of Calabi-Yau Manifolds

abstract: Recent work is reviewed which suggests that certain universal quantities, defined for all Calabi-Yau manifolds, exhibit a specific behavior which is not present for general K\"ahler manifolds. The variables in question, natural from a mathematical perspective, are of physical importance because they determine aspects of the low-energy string physics in four dimensions, such as Yukawa couplings and threshold corrections. It is shown that these quantities, evaluated on the complete class of Calabi-Yau hypersurfaces in weighted projective 4-space, exhibit scaling behavior with respect to a new scaling variable. (To appear in Mirror Symmetry II.)


title: Desingularization of singular hyperkaehler varieties II

abstract: This is a second part of alg-geom/9611015. We construct a natural hyperkaehler desingularization for all singular hyperkaehler varieties. The desingularization theorem was proven in alg-geom/9611015 under additional assumption of local homogeneity. Here we show that local homogeneity is redundant: every singular hyperkaehler variety has locally homogeneous singularities.


title: Blowing up determinantal cerves and varieties of codim 2

abstract: We study the blow-ups X of P3 along a proj. normal curve C. We look for very ample divisor classes on X of low degree, and we study the ideal of the embedding of X. Some result is generalized to higher dimensions.


title: Recent Developments in Seiberg-Witten Theory and Complex Geometry

abstract: Recent developments in Seiberg-Witten theory and relations with Complex Geometry.


title: Integrability of the twistor space for a hypercomplex manifold

abstract: A hypercomplex manifold is by definition a smooth manifold equipped with two anticommuting integrable almost complex structures. For example, every hyperkaehler manifold is canonically hypercomplex (the converse is not true). For every hypercomplex manifold M, the two almost complex structures define a smooth action of the algebra of quaternions on the tangent bundle to M. This allows to associate to every hypercomplex manifold M of dimension 4n a certain almost complex manifold X of dimension 4n+2, called the twistor space of M. When M is hyperkaehler, X is well-known to be integrable. We show that for an arbitrary hypercomplex manifold its twistor space is also integrable.


title: Weil classes on abelian varieties

abstract: Consider a complex abelian variety X on which a field F acts. Generalizing a construction of A. Weil, one associates to this a subspace W_F of the cohomology of X, which we call the space of Weil classes w.r.t. F. The purpose of this paper is to answer the following two questions: Q1: under what conditions on F does the space W_F contain, or even consist of, Hodge classes?, Q2: if W_F contains Hodge classes, under what conditions on F are these exceptional? In case X is defined over a number field, we also answer the analogous questions for Tate classes.


title: Effective base point freeness on a normal surface

abstract: This treats the base-point-freeness of the adjoint bundles on normal surfaces with a boundary. This is an extension of the non-relative version of the theorem of Ein-Lazarsfeld-Masek and the theorem of Kawachi-Masek.


title: Is a linear space contained in a variety? - On the number of derivatives needed to tell

abstract: Let $X^n\subset C^{n+a}$ or $X^n\subset P^{n+a}$ be a patch of an analytic submanifold of an affine or projective space, let $x\in X$ be a general point, and let L^k be a linear space of dimension k osculating to order m at x. If m is large enough, one expects L to be contained in X and thus X contains a linear space of dimension kthrough almost every point. We show that $L\subset X$ in the following cases: k=1 and m=n+1; k=n-1, $a\geq 2$, and m=2; $n\geq 4$, k=n-2 and m=4. We prove these results by first deriving the order of osculation that generically implies containment and then showing that in these cases containment must occur. If X is a patch of a projective variety, we address the question as to whether X can be a smooth variety. We show that if there is a P^k through each point and $codim(X)<\frac{k}{n-k}$ then X cannot be a smooth variety.


title: Jacobi forms and the structure of Donaldson invariants for 4-manifolds with b_+=1

abstract: We prove structure theorems for the Donaldson invariants of 4-manifolds with b_+=1, similar to those of Kronheimer and Mrowka in the case b_+>1: We show that for a 4-manifold with b_+=1 and two different period points F, G on the boundary of the positive cone, the difference of the Donaldson invariants at F and G satisfies the k^{th}-order simple type condition for a number k, explicitely given in terms of F and G. We give a formula for this difference in terms of a set of basic classes, expressed in a universal formula involving modular forms. The leading terms coincide with the formulas of Kronheimer and Mrowka in the simple type case. The basic classes are related to the Seiberg Witten invariants. The proof of these results is based on the conjecture of Kotschick and Morgan on the structure of the wall-crossing terms. We relate the problem to new theta functions for indefinite lattices.


title: A smooth surface in P4 not of general type has degree at most 66

abstract: We continue the work of Braun and Floystad, and Cook bounding the degree of smooth surfaces in P4 not of general type using generic initial ideal theory.


title: A smooth surface in P4 not of general type has degree at most 46

abstract: This is the continuation of papers by Braun and Floystad, Cook, Braun and Cook. We use Generic Initial Ideal Theory in conjunction with Liaison Theory to further restrict the possible generic initial ideals of hyperplane sections of smooth surfaces not of general type in P4.


title: Hodge numbers attached to a polynomial map

abstract: Given a polynomial map $f:\Bbb C^{n+1}\to\Bbb C$, one can attach to it a geometrical variation of mixed Hodge structures (MHS) which gives rise to a limit MHS. The equivariant Hodge numbers of this MHS are analytical invariants of the polynomial map and reflect its asymptotic behaviour. In this paper we compute them for a class of generic polynomials, in terms of Hodge numbers attached to isolated hypersurface singularities and Hodge numbers of cyclic coverings of projective space branched along a hypersurface.


title: Simultaneous minimal model of homogeneous toric deformation

abstract: For a flat family of Du Val singularities, we can take a simultaneous resolution after finite base change. It is an interesting problem to consider this analogy for a flat family of higher dimensional canonical singularities. In this note, we consider an existence of simultaneous terminalization for K. Altmann's homogeneous toric deformation whose central fibre is an affine Gorenstein toric singularity. We obtain examples that there are no simultaneous terminalization even after finite base change and give a sufficient condition for an existence of simultaneous terminalization. Some examples of 4-dimensional flop are obtained as an application.


title: Quotients par des groupes non r\'eductifs et vari\'et\'es de modules de complexes

abstract: I give a way to construct moduli spaces of complexes, as quotients of open subsets of the space of all complexes by the product of the groups of automorphisms of the terms.


title: On the cone of divisors of Calabi-Yau fiber spaces

abstract: We prove some version of Morrison's conjecture on the cone of divisors for Calabi-Yau fiber spaces with non-trivial base pace whose total space is 3-dimensional.


title: On Hitchin's Connection

abstract: The aim of this paper is to give an explicit expression for Hitchin's connection in the case of rank 2 bundles with trivial determinant over curves of genus 2. We recall the definition of this connection (which arose in Quantum Field Theory) and characterize it for families of genus two curves. We then consider a particular family (over a configuration space), the corresponding vector bundles are (almost) trivial. The Heat equations which give the connection these bundles are related to the Lie algebra so(6). We compute some local monodromy representations. As a byproduct we obtain, for any representation space V of so(2g+2), a flat connection on the trivial bundle with fiber V over a configuration space and thus a monodromy representation of a pure braid group.


title: Adelic Formulas for Gamma- and Beta-functions in Algebraic Numbers Fields

abstract: On the basis of analysis on the adele ring of any algebraic numbers field (Tate's formula) a regularization for divergent adelic products of gamma- and beta-functions for all completions of this field are proposed, and corresponding regularized adelic formulas are obtained.


title: On the singularities of the theta divisors on Jacobians

abstract: We study the intersection cohomology of the theta divisors on Jacobians of nonhyperelliptic curves.


title: Subvarieties of SU_C(2) and 2\theta-divisors in the Jacobian

abstract: We explore some of the interplay between Brill-Noether subvarieties of the moduli space SU_C(2,K) of rank 2 bundles with canonical determinant on a smooth projective curve and 2\theta divisors, via the inclusion of the moduli space into |2\theta|, singular along the Kummer variety. In particular we show that the moduli space contains all the trisecants of the Kummer and deduce that there are quadrisecant lines only if the curve is hyperelliptic; we show that for generic curves of genus <6, though no higher, bundles with >2 sections are cut out by \Gamma_00; and that for genus 4 this locus is precisely the Donagi-Izadi nodal cubic threefold associated to the curve.


title: K3 surfaces with interesting groups of automorphisms

abstract: By the fundamental result of I.I. Piatetsky-Shapiro and I.R. Shafarevich (1971), the automorphism group Aut(X) of a K3 surface X over C and its action on the Picard lattice S_X are prescribed by the Picard lattice S_X. We use this result and our method (1980) to show finiteness of the set of Picard lattices S_X of rank $\ge 3$ such that the automorphism group Aut(X) of the K3 surface X has a non-trivial invariant sublattice S_0 in S_X where the group Aut(X) acts as a finite group. For hyperbolic and parabolic lattices S_0 it has been proved by the author before (1980, 1995). Thus we extend this results to negative sublattices S_0. We give several examples of Picard lattices S_X with parabolic and negative S_0. We also formulate the corresponding finiteness result for reflective hyperbolic lattices of hyperbolic type over purely real algebraic number fields. These results are important for the theory of Lorentzian Kac--Moody algebras and Mirror Symmetry.


title: A Prym construction for the cohomology of a cubic hypersurface

abstract: Mumford defined a natural isomorphism between the intermediate jacobian of a conic-bundle over $P^2$ and the Prym variety of a naturally defined \'etale double cover of the discrminant curve of the conic-bundle. Clemens and Griffiths used this isomorphism to give a proof of the irrationality of a smooth cubic threefold and Beauville later generalized the isomorphism to intermediate jacobians of odd-dimensional quadric-bundles over $P^2$. We further generalize the isomorphism to the primitive cohomology of a smooth cubic hypersurface in $P^n$.


title: Families of K3 surfaces

abstract: We use automorphic forms to prove that a compact family of Kaehler K3 surfaces with constant Picard number is isotrivial.


title: Geometry of cohomology support loci II: integrability of Hitchin's map

abstract: In very rough terms, the main theorem is that the set, which consists of semistable vector bundles with trivial rational Chern classes and nontrivial kth cohomology on a smooth complex projective variety, is a degeneration of a union of abelian varieties. More precisely, we consider the subset of the moduli space of Higgs bundles satisfying the analogous cohomological condition. We show that this set is Zariski closed and that if Sigma is the normalization of an irreducible component containing a stable point, then a connected component of a general fiber of the restriction of the Hitchin map to Sigma is an abelian variety. This should be interpreted as a nonabelian version of a theorem of Green and Lazarsfeld. The Hitchin map in this setting is in fact Simpson's generalization of it. The key point is to show that the general fibers of this map are lagrangian (where the target of the map is taken to be the image). This hinges on the fact that this property is essentially hereditary for hyperkaehler submanifolds. We establish various other properties of these sets including a codimension estimate which may be viewed as a generic vanishing theorem.


title: A remark on an algebraic Riemann-Roch formula for flat bundles

abstract: We propose an algebraic Riemann-Roch formula for moving flat bundles on contant families in characteristic zero with values in the ring of algebraic differential characters. This formula lifts Grothendieck-Riemann-Roch formula in the Chow groups and Bismut-Lott formula in the odd dimensional Betti cohomology with $\C/\Z$ coefficients over the field of complex numbers.


title: A mirror theorem for toric complete intersections

abstract: We prove a generalized mirror conjecture for non-negative complete intersections in symplectic toric manifolds. Namely, we express solutions of the PDE system describing quantum cohomology of such a manifold in terms of suitable hypergeometric functions. Revision 03.03.97: we correct an error in Introduction.


title: Heights and Geometric Invariant Theory

abstract: Let $K$ be a number field, $\OK$ be its ring of integers. We introduce the notion of compactified representation of $GL_N(\OK)$ and, we see how to associate to a hermitian vector bundle $\E$ over $\Spec(\OK)$ and a compactified representation $\T$, a hermitian tensor bundle $\E_T$. We can prove then that there exists a lower bound for the heights of points $x\in\P(\E_T)$ with $SL_N(K)$--semistable generic fibre in terms of the degree of $\E$ and some universal constants depending only on the compactified representation. We give then three applications: a universal lower bound for general flag varieties, an application to the adjoint representation of $SL_N(K)$ and a construction of a height on the moduli space of semistable vector bundles over algebraic curves.


title: Exemples de composantes irr\'eductibles et non r\'eduites du sch\'ema de Hilbert des courbes lisses et connexes de ${\bf P}^3$ (II)

abstract: Soit $H_{d,g}$ le sch\'ema de Hilbert des courbes lisses et connexes de degr\'e $d$ et genre $g$ de l'espace projectif ${\bf P}^3$ sur un corps $k$ alg\'ebriquement clos de caract\'eristique nulle. Le but principal de cet article est d'exhiber des composantes irr\'eductibles et non r\'eduites de $H_{d,g}$ dont l'\'el\'ement g\'en\'eral correspond \`a une courbe trac\'ee sur une surface quartique \`a droite double.


title: Counting rational curves on K3 surfaces

abstract: The aim of these notes is to explain the remarkable formula found by Yau and Zaslow to express the number of rational curves on a K3 surface. Projective K3 surfaces fall into countably many families F(g) (g>0); a surface in F(g) admits a g-dimensional linear system of curves of genus g. Such a system contains a positive number, say n(g), of rational (highly singular) curves. The formula is \sum n(g) q^g = q/D((q), where D(q) = q \prod (1-q^n)^{24} is the well-known modular form of weight 12.


title: Residues and Resultants

abstract: Resultants, Jacobians and residues are basic invariants of multivariate polynomial systems. We examine their interrelations in the context of toric geometry. The global residue in the torus, studied by Khovanskii, is the sum over local Grothendieck residues at the zeros of $n$ Laurent polynomials in $n$ variables. Cox introduced the related notion of the toric residue relative to $n+1$ divisors on an $n$-dimensional toric variety. We establish denominator formulas in terms of sparse resultants for both the toric residue and the global residue in the torus. A byproduct is a determinantal formula for resultants based on Jacobians.


title: Principal bundles on elliptic fibrations

abstract: A central role in recent investigations of the duality of F-theory and heterotic strings is played by the moduli of principal bundles, with various structure groups G, over an elliptically fibered Calabi-Yau manifold on which the heterotic theory is compactified. In this note we propose a simple algebro-geometric technique for studying the moduli spaces of principal G-bundles on an arbitrary variety X which is elliptically fibered over a base S: The moduli space itself is naturally fibered over a weighted projective base parametrizing spectral covers $\tilde{S}$ of S, and the fibers are identified as translates of distinguished Pryms of these covers. In nice situations, the generic Prym fiber is isogenous to the product of a finite group and an abelian subvariety of $Pic(\tilde{S})$.


title: Dual varieties and the duality of the second fundamental form

abstract: First, we consider a compact real-analytic irreducible subvariety $M$ in a sphere and its dual variety $M^\vee$. We explain that two matrices of the second fundamental forms for both varieties $M$ and $M^\vee$ can be regarded as the inverse matrices of each other. Also generalization in hyperbolic space is explained.


title: Semistable reduction of abelian varieties over extensions of small degree

abstract: We obtain necessary and sufficient conditions for abelian varieties to acquire semistable reduction over fields of low degree. Our criteria are expressed in terms of torsion points of small order defined over unramified extensions.


title: Moishezon Manifolds

abstract: Let X be a compact Moishezon manifold which becomes projective after blowing up a smooth subvariety $Y \subset X$. We assume also that there exists a proper map $\rho :X \to X'$ onto a projective variety X' with $\rho(Y)$ a point, such that $Pic(X/X') = \Z$ and $K_X$ is $\rho$-big. We prove some inequalities between the dimensions of Y and X and we construct examples which shows the optimality of the inequalities. Then we discuss some differential geometry properties of these examples which lead to a conjecture.


title: On exponential sums

abstract: Let f be a polinomial with coefficients in a finite field F. Let $\Psi : F \to C^{\ast}$ be a non-trivial additive character. In this paper we give bounds for the exponential sums $\sum_{x\in F^n} \Psi (Tr_{F/F_p} (f(x)))$ in some cases where the highest degree form of f defines a singular projective hypersurface X (e.g. when X is an arrangement of lines in P^2). The bound involves the Milnor numbers of the singularities of X. The proof goes via the classical cohomological interpretation of this exponential sums through Grothendieck's trace formula.


title: Commutator coverings of Siegel threefolds

abstract: We investigate the existence and non-existence of modular forms of low weight with a character with respect to the paramodular group $\Gamma_t$ and discuss the resulting geometric consequences. Using an advanced version of Maa\ss\ lifting one can construct many examples of such modular forms and in particular examples of weight 3 cusp forms. Consequently we find many abelian coverings of low degree of the moduli space ${\Cal A}_t$ of (1,t)-polarized abelian surfaces which are not unirational. We also determine the commutator subgroups of the paramodular group $\Gamma_t$ and its degree 2 extension $\Gamma^+_t$. This has applications for the Picard group of the moduli stack ${\underline{\Cal A}}_t$. Finally we prove non-existence theorems for low weight modular forms. As one of our main results we obtain the theorem that the maximal abelian cover ${\Cal A}_t^{com}$ of ${\Cal A}_t$ has geometric genus 0 if and only if t=1, 2, 4 or 5. We also prove that ${\Cal A}_t^{com}$ has geometric genus 1 for t=3 and 7.


title: The Gromov Invariants of Ruan-Tian and Taubes

abstract: Taubes has recently defined Gromov invariants for symplectic four-manifolds and related them to the Seiberg-Witten invariants. Independently, Ruan and Tian defined symplectic invariants based on ideas of Witten. In this note, we show that Taubes' Gromov invariants are equal to certain combinations of Ruan-Tian invariants. This link allows us to generalize Taubes' invariants. For each closed symplectic four-manifold, we define a sequence of symplectic invariants $Gr_{\delta}$, $\delta=0,1,2,...$. The first of these, $Gr_0$, generates Taubes' invariants, which count embedded J-holomorphic curves. The new invariants $Gr_{\delta}$ count immersed curves with $\delta$ double points. In particular, these results give an independent proof that Taubes' invariants are well-defined. They also show that some of the Ruan-Tian symplectic invariants agree with the Seiberg-Witten invariants.


title: The Chow Ring of the Moduli Space of Abelian Threefolds

abstract: In this paper we determine the structure of the Chow ring of the Delaunay-Voronoi compactification $\tilde{\cal A}_3$ of the moduli space of principally polarized abelian threefolds. This compactification was introduced by Namikawa and studied by Tsushima. We use equivariant classes on level coverings of $\tilde{\cal A}_3$. We also compare this ring with the Chow ring of the moduli space of stable genus 3 curves as determined by Faber.


title: Global Intersection Cohomology of Quasimaps' Spaces

abstract: Let $C$ be a smooth projective curve of genus 0. Let $\CB$ be the variety of complete flags in an $n$-dimensional vector space $V$. Given an $(n-1)$-tuple $\alpha\in\BN[I]$ of positive integers one can consider the space $\CQ_\alpha$ of algebraic maps of degree $\alpha$ from $C$ to $\CB$. This space admits some remarkable compactifications $\CQ^D_\alpha$ (Quasimaps), $\CQ^L_\alpha$ (Quasiflags), $\CQ^K_\alpha$ (Stable Maps) of $\CQ_\alpha$ constructed by Drinfeld, Laumon and Kontsevich respectively. It has been proved that the natural map $\pi: \CQ^L_\alpha\to \CQ^D_\alpha$ is a small resolution of singularities. The aim of the present note is to study the cohomology $H^\bullet(\CQ^L_\alpha,\BQ)$ of Laumon's spaces or, equivalently, the Intersection Cohomology $H^\bullet(\CQ^L_\alpha,IC)$ of Drinfeld's Quasimaps' spaces. We calculate the generating function $P_G(t)$ (``Poincar\'e polynomial'') of the direct sum $\oplus_{\alpha\in\BN[I]}H^\bullet(\CQ^D_\alpha,IC)$ and construct a natural action of the Lie algebra ${\frak{sl}}_n$ on this direct sum by some middle-dimensional correspondences between Quasiflags' spaces. We conjecture that this module is isomorphic to distributions on nilpotent cone supported at nilpotent subalgebra.


title: On extremal contractions from threefolds to surfaces: the case of one non-Gorenstein point and non-singular base surface

abstract: In this paper we study a local structure of extrmal contractions $f\colon X\to S$ from threffolds $X$ with only terminal singularities onto a surface $S$. If the surface $S$ is non-singular and $X$ has a unique non-Gorenstein point on a fiber we prove that either the linear system $|-K_X|$, $|-2K_X|$ or $|-3K_X|$ contains a "good" divisor.


title: Universal Schubert polynomials

abstract: We introduce polynomials that represent general degeneracy loci for maps of vector bundles. These polynomials specialize to the known classical and quantum forms of single and double Schubert polynomials. This is the final version of the paper, to appear in Duke Math. J. The results are strengthened because Lakshmibai and Magyar have proved a conjecture from the previous version: in the universal case, these loci are Cohen-Macaulay.


title: Numerical Criteria for vey Ampleness of Divisors on Projective Bundles over an elliptic curve

abstract: In Butler, J.Differential Geom. 39 (1):1--34,1994, the author gives a sufficient condition for a line bundle associated with a divisor D to be normally generated on $X=P(E)$ where E is a vector bundle over a smooth curve C. A line bundle which is ample and normally generated is automatically very ample. Therefore the condition found in Butler's work, together with Miyaoka's well known ampleness criterion, give a sufficient condition for the very ampleness of D on X. This work is devoted to the study of numerical criteria for very ampleness of divisors D which do not satisfy the above criterion, in the case of C elliptic. Numerical conditions for the very ampleness of D are proved,improving existing results. In some cases a complete numerical characterization is found.


title: Semisimple Frobenius (super)manifolds and quantum cohomology of $P^r$

abstract: We introduce and study a superversion of Dubrovin's notion of semisimple Frobenius manifolds. We establish a correspondence between semisimple Frobenius (super)manifolds and special solutions to the (supersymmetric) Schlesinger equations. Finally, we calculate the Schlesinger initial conditions for solutions describing quantum cohomology of projective spaces.


title: Degenerations of Planar Linear Systems

abstract: Fixing $n$ general points $p_i$ in the plane, what is the dimension of the space of plane curves of degree $d$ having multiplicity $m_i$ at $p_i$ for each $i$? In this article we propose an approach to attack this problem, and demonstrate it by successfully computing this dimension for all $n$ and for $m_i$ constant, at most 3. This application, while previously known (see \cite{hirschowitz1}), demonstrates the utility of our approach, which is based on an analysis of the corresponding linear system on a degeneration of the plane itself, leading to a simple recursion for these dimensions. We also obtain results in the ``quasi-homogeneous'' case when all the multiplicities are equal except one; this is the natural family to consider in the recursion.


title: McKay correspondence

abstract: This is a rough write-up of my lecture at Kinosaki and two lectures at RIMS workshops in Dec 1996, on work in progress that has not yet reached any really worthwhile conclusion, but contains lots of fun calculations. History of Vafa's formula, how the McKay correspondence for finite subgroups of SL(n,C) relates to mirror symmetry. The main aim is to give numerical examples of how the 2 McKay correspondences (1) representations of G <--> cohomology of resolution (2) conjugacy classes of G <--> homology must work, and to restate my 1992 Conjecture as a tautology, like cohomology or K-theory of projective space. Another aim is to give an introduction to Nakamura's results on the Hilbert scheme of G-clusters, following his preprints and his many helpful explanations. This is partly based on joint work with Y. Ito, and has benefited from encouragement and invaluable suggestions of S. Mukai.


title: Braid Group, Algebraic Surfaces and Fundamental Groups of complements of Branch Curves

abstract: This paper will appear in the Santa Cruz proceedings. An overview of the braid group techniques in the theory of algebraic surfaces, from Zariski to the latest results, is presented. An outline of the Van Kampen algorithm for computing fundamental groups of complements of curves and the modification of Moishezon-Teicher regarding branch curves of generic projections are given. The paper also contains a description of a quotient of the braid group, namely $\tilde B_n$ which plays an important role in the description of fundamental groups of complements of branch curves.It turns out that all such groups are ``almost solvable'' $\tildeB_n$-groups. Finally, possible applications to the study of moduli spaces of surfaces of general type are described and new examples of positive signature spin surfaces whose fundamental groups can be computed using the above algorithm (Galois cover of Hirzebruch surfaces) are presented.


title: On $\delta_m$ constant locus of versal deformations of nondegenerate hypersurface simple K3 singularities

abstract: Hypersurface simple K3 singularities defined by nondegenerate quasi-homogeneous polynomials are classified into ninety five classes in term of the weight of the polynomial by T. Yonemura. We consider versal deformations of them. It has been conjectured that the stratum $\mu$ =const of the versal deformation of any nondegenerate hypersurface simple K3 singularity is equivalent to the $\delta_m$ constant locus. It holds true for the case deformations are also nondegenerate by K. Watanabe. On the other hand, it follows from Reid that the $\delta_m$ constant locus includes the $\mu$ constant locus generally. We show the conjecture holds true in general for No.10-14, 46-51 and 83 in the table of Yonemura.


title: Five Definitions of Critical Point at Infinity

abstract: This survey paper discusses five equivalent ways of defining a ``critical point at infinity'' for a complex polynomial of two variables.


title: Schubert polynomials, the Bruhat order, and the geometry of flag manifolds

abstract: We illuminate the relation between the Bruhat order on the symmetric group and structure constants (Littlewood-Richardson coefficients) for the cohomology of the flag manifold in terms of its basis of Schubert classes. Equivalently, the structure constants for the ring of polynomials in variables $x_1,x_2,...$ in terms of its basis of Schubert polynomials. We use combinatorial, algebraic, and geometric methods, notably a study of intersections of Schubert varieties and maps between flag manifolds. We establish a number of new identities among these structure constants. This leads to formulas for some of these constants and new results on the enumeration of chains in the Bruhat order. A new graded partial order on the symmetric group which contains Young's lattice arises from these investigations. We also derive formulas for certain specializations of Schubert polynomials.


title: Complex projective surfaces and infinite groups

abstract: The paper contains a general construction which produces new examples of non simply-connected smooth projective surfaces. We analyze the resulting surfaces and their fundamental groups. Many of these fundamental groups are expected to be non-residually finite. Using the construction we also suggest a series of potential counterexamples to the Shafarevich conjecture which claims that the universal covering of smooth projective variety is holomorphically convex. The examples are only potential since they depend on group theoretic questions, which we formulate, but we do not know how to answer. At the end we formulate an arithmetic version of the Shafarevich conjecture.


title: Basepoint freeness for big line bundles in positive characteristic, with applications to M_g and to 3-fold MMP

abstract: I give a necessary and sufficient condition for a nef and big line bundle in positive characteristic to be semi-ample, and then give two applications: I show that the relative dualizing sheaf of the universal curve is semi-ample, in positive characteristic, and give a simple example which shows that this, and the semi-ampleness criterion, fail in characteristic zero. My second application is to Mori's program for minimal models of 3-folds. I prove a version of the Basepoint Free Theorem (for big line bundles on 3-folds of positive characteristic) and a simple Cone Theorem, for 3-folds of positive Kodaira dimension.