title: Geometry of Deligne cohomology

abstract: It is well known that degree two Deligne cohomology groups can be identified with groups of isomorphism classes of holomorphic line bundles with connections. There is also a geometric description of degree three Deligne cohomology, due to J-L. Brylinski and P. Deligne, in terms of gerbes with connective structures and curvings. This paper gives a geometric interpretation of Deligne cohomology of all degrees, in terms of equivalence classes of higher line bundles with $k$-connections. It is also shown that the classical Abel-Jacobi isomorphism $Pic^0(X) \cong J(X)$ generalizes to the isomorphism between groups of equivalence classes of topologically trivial 1-holomorphic higher line bundles with $k$-connections and Griffiths intermediate Jacobians.


title: Singularities of Pairs

abstract: These are the revised notes of my lectures at the 1995 Santa Cruz summer institute. Changes from the Jan.26,1996 version: Major: 7.1--2; Medium: 3.7, 3.11, 5.3.3, 7.9.2, 9.8.


title: On Cohomology of the Square of an Ideal Sheaf

abstract: For a smooth subvariety $X\subset\Bbb P^N$, consider (analogously to projective normality) the vanishing condition $H^1(\Bbb P^N,\Cal I^2_X(k))=0$, $k\ge3$. This condition is shown to be satisfied for all sufficiently large embeddings of a given $X$, and for a Veronese embedding of $\Bbb P^n$. For $C\subset\Bbb P^{g-1}$, the canonical embedding of a non-hyperelliptic curve, this condition guarantees the vanishing of some obstruction groups to deformations of the cone. Recall that the tangents to deformations are dual to the cokernel of the Gaussian-Wahl map. \proclaim{Theorem} Suppose the Gaussian-Wahl map of $C$ is not surjective and the vanishing condition is fulfilled. Then $C$ is {\bf extendable}: it is a hyperplane section of a surface in $\Bbb P^g$ not the cone over $C$.\endproclaim Such a surface is a K3 if smooth, but it could have serious singularities. \proclaim{Theorem} For a general curve of genus $\ge3$, this vanishing holds. \endproclaim \proclaim{Conjecture} If the Clifford index is $\ge3$, this vanishing holds. \endproclaim


title: Algebraic Chern Simons Theory

abstract: An analog of Chern-Simons theory is developed in an algebro-geometric setting.


title: Flatness of families induced by hypersurfaces on flag varieties

abstract: We answer a question posed by S. Kleiman concerning flatness of the family of complete quadrics. We also show that any flat family of hypersurfaces on Grassmann varieties induces a flat family of intersections with the corresponding flag variety.


title: A Hitchin-Kobayashi Correspondence for Coherent Systems on Riemann Surfaces

abstract: A `coherent system' $(\Cal E,V)$, consists of a holomorphic bundle plus a linear subspace of its space of holomorphic sections. Based on the usual notion in Geometric Invariant Theory, a notion of slope stability has been defined for such objects (by Le Potier, and also by Rhagavendra and Vishwanath). In this paper we show that stability in this sense is equivalent to the existence of solutions to a certain set of gauge theoretic equations. One of the equations is essentially the vortex equation (i.e. the Hermitian-Einstein equation with an additional zeroth order term), and the other is an orthonormality condition on a frame for the subspace $V\subset H^0(\Cal E)$.


title: Alexander Stratifications of Character Varieties

abstract: There is a natural stratification of the character variety of a finitely presented group coming from the jumping loci of the first cohomology of one-dimensional representations. Equations defining the jumping loci can be effectively computed using Fox calculus. In this paper, we give an exposition of Fox calculus in the language of group cohomology and in the language of finite abelian coverings of CW complexes. Work of Simpson, Arapura and others show that if $\Gamma$ is the fundamental group of a compact K\"ahler manifold, then the strata are finite unions of translated affine subtori. If follows that for K\"ahler groups the jumping loci must be defined by binomial ideals. We discuss properties of the jumping loci of general finitely presented groups and apply the ``binomial criterion" to obtain new obstructions for one-relator groups to be K\"ahler.


title: Real enumerative geometry and effective algebraic equivalence

abstract: We describe an approach to the question of finding real solutions to problems of enumerative geometry, in particular the question of whether a problem of enumerative geometry can have all of its solutions be real. We give some methods to infer one problem can have all of its solutions be real, given that a related problem does. These are used to show many Schubert-type enumerative problems on some flag manifolds can have all of their solutions be real.


title: Chapters on algebraic surfaces

abstract: This is a first graduate course in algebraic geometry. It aims to give the student a lift up into the subject at the research level, with lots of interesting topics taken from the classification of surfaces, and a human-oriented discussion of some of the technical foundations, but with no pretence at an exhaustive treatment. The early chapters introduce topics that are useful throughout projective and algebraic geometry, make little demands, and lead to fun calculations. The intermediate chapters introduce elements of the technical language gradually, whereas the later chapters get into the substance of the classification of surfaces. Special features include the theory of minimal models of surfaces via Mori theory, a complete selfcontained proof of the theorems on classification of surfaces, and a clean treatment of the foundational results on rational and elliptic Gorenstein surface singularities. Contents: Chapter 1. The cubic surface p.4 Exercises to Chapter 1 p.12 Chapter 2. Rational scrolls p.14 Exercises to Chapter 2 p.23 Chapter A. Curves on surfaces and intersection numbers p.26 Exs to Ch A p.35 Chapter B. Sheaves and coherent cohomology p.37 Exercises to Chapter B p.47 Chapter C. Guide to the classification of surfaces 51 Chapter 3. K3s p.63 Exercises to Chapter 3 p.76 Chapter 4. Surfaces and singularities p.80 Exercises to Chapter 4 p.106 Chapter D. Minimal models of surfaces via Mori theory p.110 Chapter E. Proof of the classification of surfaces p.121 References p.146


title: Virtual moduli cycles and Gromov-Witten invariants of algebraic varieties

abstract: We introduce a method of constructing the virtual cycle of any scheme associated with a tangent-obstruction complex. We apply this method to constructing the virtual moduli cycle of the moduli of stable maps from n-pointed genus g curves to any smooth projective variety. As an application, we give an algebraic definition of GW-invariants for any smooth projective variety.


title: Spin Verlinde spaces and Prym theta functions

abstract: Theta functions of level n on the principally polarised Prym varieties of an algebraic curve are dual to sections of the orthogonal theta line bundle on the moduli space of Spin(n)-bundles over the curve. As a by-product of our computations we also note that when n is odd the pfaffian line bundle on moduli space has a basis of sections labelled by the even theta characteristics of the curve.


title: On the monodromy at infinity of a polynomial map, II

abstract: In the last years a lot of work has been concentrated on the study of the behaviour at infinity of polynomial maps. This behaviour can be very complicated, therefore the main idea was to find special classes of polynomial maps which have, in some sense, nice properties at infinity. In this paper, we completely determine the complex algebraic monodromy at infinity for a special class of polynomial maps (which is complicated enough to show the nature of the general problem).


title: Non-abelian monopoles and vortices

abstract: The Seiberg-Witten equations are defined on certain complex line bundles over smooth oriented four manifolds. When the base manifold is a complex Kahler surface, the Seiberg-Witten equations are essentially the Abelian vortex equations. Using known non-abelian generalizations of the vortex equations as a guide, we explore some non-abelian versions of the Seiberg-Witten equations. We also make some comments about the differences between the vortex equations that have previously appeared in the literature and those that emerge as Kahler versions of Seiberg-witten type equations.


title: Residues and Differential Operators on Schemes

abstract: Beilinson Completion Algebras (BCAs) are generalizations of complete local rings, and have a rich algebraic-analytic structure. These algebras were introduced in my paper "Traces and Differential Operators over Beilinson Completion Algebras", Compositio Math. 99 (1995). In the present paper BCAs are used to give an explicit construction of the Grothendieck residue complex on an algebraic scheme. This construction reveals new properties of the residue complex, and in particular its interaction with differential operators. Applications include: (i) results on the algebraic structure of rings of differential operators; (ii) an analysis of the niveau spectral sequence of De Rham homology; (iii) a proof of the contravariance of De Rham homology w.r.t. etale morphisms; (iv) an algebraic description of the intersection cohomology D-module of a curve.


title: Nodal curves on surfaces of general type

abstract: We study the family of irreducible curves with $\delta$ nodes belonging to a free linear system $|C|$ with smooth general member on a surface $S$ such that $|K_S|$ is ample. Under the assumption that $C$ is numerically equivalent to $pK_S$, $p\ge 3$ rational, we give an upper bound on $\delta$ ensuring that the family is smooth of codimension $\delta$ in $|C|$ (plus another slightly different result of the same type). We give examples showing that the bound is sharp. Some related results concerning linear normality of nodal curves are proved.


title: Rational points on some Fano cubic bundles

abstract: We consider some families of smooth Fano hypersurfaces $X_{n+2}$ in ${\bf P}^{n+2} \times {\bf P}^3$ given by a homogeneous polynomial of bidegree $(1,3)$. For these varieties we obtain lower bounds for the number of $F$-rational points of bounded anticanonical height in arbitrary nonempty Zariski open subset $U \subset X_{n+2}$. These bounds contradict previous expectations about the distribution of $F$-rational points of bounded height on Fano varieties.


title: Reduction of abelian varieties

abstract: We study semistable reduction and torsion points of abelian varieties. In particular, we give necessary and sufficient conditions for an abelian variety to have semistable reduction. We also study N\'eron models of abelian varieties with potentially good reduction and torsion points of small order. We study some invariants that measure the extent to which an abelian variety with potentially good reduction fails to have good reduction.


title: Semicontinuity for representations of one-dimensional Cohen-Macaulay rings

abstract: We show that the number of parameters for CM-modules of prescribed rank is semi-continuous in families of CM rings of Krull dimension 1. This transfers a result of Knoerrer from the commutative to the not necessarily commutative case. For this purpose we introduce the notion of ``dense subrings'' which seems rather technical but, nevertheless, useful. It enables the construction of ``almost versal'' families of modules for a given algebra and the definition of the ``number of parameters''. The semi--continuity implies, in particular, that the set of so-called ``wild algebras'' in any family is a countable union of closed subsets. A very exciting problem is whether it is actually closed, hence whether the set of tame algebras is open. However, together with the results of a former paper of the authors the semi-continuity implies that tame is indeed an open property for curve singularities (commutative CM rings). An analogous procedure leads to the semicontinuity of the number of parameters in other cases, like representations of finite dimensional algebras or finite dimensional bimodules.


title: Conics Touching a Quartic Surface with 13 Nodes

abstract: Motivated by questions occuring in the construction of certain twistor spaces the parameter space of conics tangent to a given quartic is investigated. For a given real quartic surface in complex $\PP ^3$ that has exactly 13 ordinary nodes as singularities this parameter space is studied. In particular, its irreducible components are described.


title: Topology of Conic Bundles - II

abstract: For conic bundles on a smooth variety (over a field of characteristic $\ne 2$) which degenerate into pairs of distinct lines over geometric points of a smooth divisor, we prove a theorem which relates the Brauer class of the non-degenerate conic on the complement of the divisor to the covering class (Kummer class) of the 2-sheeted cover of the divisor defined by the degenerate conic, via the Gysin homomorphism in etale cohomology. This theorem is the algebro-geometric analogue of a topological result proved earlier.


title: P-Resolutions of Cyclic Quotients from the Toric Viewpoint

abstract: P-resolutions of two-dimensional, cyclic quotient singularities have been introduced to study deformation theory. Those P-resolutions (as well as the singularities themselves) are toric varieties. In the present paper we give a straight, elementary description of them just by their defining fans.


title: Formulas for Lagrangian and orthogonal degeneracy loci; the Q-polynomials approach

abstract: Let V be a vector bundle on a scheme X endowed with a nondegenerate symplectic or orthogonal form. Let G be a Grassmannian bundle parametrizing maximal isotropic subbundles of V. The main goal of the paper is to give formulas for the classes of the loci in G parametrizing those subbundles which intersect successive members of of a fixed flag of isotropic subbundles of V in dimensions greater than 1,2,3,... . The formulas which we give are quadratic expressions in Q-polynomials of the tautological bundle on G and flag S-polynomials of the members of the flag. These formulas globalize to Lagrangian and orthogonal degeneracy loci. They have especially nice form for the loci of points in X where two maximal isotropic subbundles intersect in dimension exceeding a given number. (A problem for finding formulas for these loci was posed by J. Harris several years ago.) In this case, our formulas are simple quadratic expressions of Q-polynomials applied to E and F. The work generalizes formulas given in [P.Pragacz, Algebro- geometric applications of Schur S- and Q-polynomials, SLN 1478 (1991), 130-191]. One of its applications is computation of the classes of Brill-Noether loci in Pryms in [De Concini, P. Pragacz, On the class of Brill-Noether loci for Prym varieties, Math. Ann. 302 (1995), 687-697].


title: The Eisenbud-Koh-Stillman Conjecture on Linear Syzygies

abstract: It is proved, as was conjectured by Eisenbud-Koh-Stillman, that for a finitely generated graded module $M$ over the symmetric algebra $S(V)$, if the Koszul group ${\cal K}_{p,0}(M,V)\ne 0$, then the set of rank 1 relations in $M_0\otimes V$ has dimension $\ge p$. The method is by using ``exterior minors" to study syzygies of an ideal derived from the Koszul class in the exterior algebra. As a consequence, a conjecture of Lazarsfeld and myself that a set $Z$ of $2r+1-p$ points in ${\bf P}^r$ for which property $N_p$ fails has a subset $Z'$ of at least $2{\rm dim}(L) +2-p$ points lying on a linear space $L$ such that property $N_p$ fails for $Z'$.


title: Bounds on cohomology and Castelnuovo-Mumford regularity

abstract: The Castelnuovo-Mumford regularity reg(X) of a projective scheme X was introduced by Mumford by generalizing ideas of Castelnuovo. The interest in this concept stems partly from the fact that X is m-regular if and only if for every p \geq 0 the minimal generators of the p-th syzygy module of the defining ideal I of X occur in degree \leq m + p. There are some bounds in the case that X is a locally Cohen-Macaulay scheme. The aim of this paper is to extend and improve these results for so-called (k,r)-Buchsbaum schemes. In order to prove our theorems, we need to apply a spectral sequence. We conclude by describing two sharp examples and open problems.


title: Towards a theory of arithmetic degrees

abstract: The aim of this paper is to start a systematic investigation of the arithmetic degree of projective schemes as introduced by D. Bayer and D. Mumford. One main theme concerns itself with the behaviour of this arithmetic degree under hypersurface sections. The notion of arithmetic degree involves the new concept of length-multiplicity of embedded primary ideals. Therefore it is much harder to control the arithmetic degree under a hypersurface section than in the case for the classical degree theory. Nevertheless it has important and interesting applications. We describe such applications to the Castelnuovo-Mumford regularity and to Bezout-type theorems.


title: Sheaves with connection on abelian varieties

abstract: The Fourier-Mukai transform is lifted to the derived category of sheaves with connection on abelian varieties. The case of flat connections (D-modules) is discussed in detail.


title: Even sets of nodes are bundle symmetric

abstract: Let k be an algebraically closed field of characteristic p different from 2, and let F be a nodal surface of degree d in the projective 3-space P over k (i.e. the singularities of F are only ordinary quadratic, nodes for short). Let N be a subset of the set of nodes of F: then N is said to be n/2-even for n=0,1 if the following condition (*) holds. Namely, let F' be a minimal resolution of the singularities of F, let N' be the inverse image of N in F', let H be the inverse image of a plane section of F. Then N is n/2 if: (*) the class of N'+nH is 2-divisible in Pic(F'). In this paper we prove the following characterization of even sets, which has been conjectured by W. Barth and the second author in 1979. Let F be as above. Then the n/2-even set of nodes N on F are exactly the bundle symmetric sets, i.e. the degeneracy loci of symmetric maps s:E*(-d-n)->E of a suitable locally free sheaf E over P (i.e. F is the locus where rk(s)<rkE, N is the locus where rk(s)=rkE-2). We also give a classification of even sets in degree d=4,5.


title: Images of $\ell$-adic representations and automorphisms of abelian varieties

abstract: Suppose $F$ is either a global field or a finitely generated extension of ${\mathbf Q}$, $A$ is an abelian variety over $F$, and $\ell$ is a prime not equal to the characteristic of $F$. Let $Z$ denote the center of the endomorphism algebra of $A$. Let $G$ denote the group of ${\mathbf Q}_\ell$-points of the identity connected component of the Zariski closure of the image of the $\ell$-adic representation associated to $A$. We prove the $\ell$-independence of the intersection of $G$ with the torsion subgroup of $Z$. Our results provide evidence in the direction of the Mumford-Tate Conjecture.


title: Connectedness extensions for abelian varieties

abstract: Suppose $A$ is an abelian variety over a field $F$, and $\ell$ is a prime not equal to the characteristic of $F$. Let $F_{\Phi,\ell}(A)$ denote the smallest extension of $F$ such that the Zariski closure of the image of the $\ell$-adic representation associated to $A$ is connected. Serre introduced this field, and proved that when $F$ is a finitely generated extension of ${\mathbf Q}$, $F_{\Phi,\ell}(A)$ does not depend on the choice of $\ell$. In this paper we study extensions $F_{\Phi,\ell}(B)/F$ for twists $B$ of a given abelian variety, especially when the abelian varieties are of Weil type.


title: Seiberg-Witten invariants for manifolds with $b_+=1$, and the universal wall crossing formula

abstract: In this paper we describe the Seiberg-Witten invariants, which have been introduced by Witten, for manifolds with $b_+=1$. In this case the invariants depend on a chamber structure, and there exists a universal wall crossing formula. For every K\"ahler surface with $p_g=0$ and $q$=0, these invariants are non-trivial for all $Spin^c(4)$-structures of non-negative index.


title: Transformation de Fourier generalisee

abstract: In this paper I construct a geometric transformation for generalized 1-motives which extends the Fourier-Mukai transformation for O-Modules on abelian varieties, the geometric Fourier transformation for D-Modules on vector spaces and the geometric Mellin transformation for D-Modules on tori. In particular, I construct an equivalence of triangulated categories between the derived category of quasi-coherent D-Modules on an abelian variety and the derived category of quasi-coherent O-Modules on the universal extension of the dual abelian variety. This equivalence has also been obtained by Mitchell Rothstein.


title: Weak approximation and Manin group of R-equivalences

abstract: We extend an exact sequence of Colliot-Thelene and Sansuc which connects arithmetic and birational invariants of tori over a number field to one for arbitrary connected linear algebraic groups.


title: p-adic abelian integrals and commutative Lie groups

abstract: The aim of this paper is to propose an ``elementary" approach to Coleman's theory of p-adic abelian integrals. Our main tool is a theory of commutative p-adic Lie groups (the logarithm map); we use neither dagger analysis nor Monsky-Washnitzer cohomology theory. Notice that we also treat the case of bad reduction. A preliminary version of this paper appeared as Expos\'e 9 dans ``Problemes Diophantiens 88-89" (D. Bertrand, M. Waldschmidt), Publ. Math. Univ. Paris VI 90(1990), 15 pp.


title: Weight systems for toric Calabi-Yau varieties and reflexivity of Newton polyhedra

abstract: According to a recently proposed scheme for the classification of reflexive polyhedra, weight systems of a certain type play a prominent role. These weight systems are classified for the cases $n=3$ and $n=4$, corresponding to toric varieties with K3 and Calabi--Yau hypersurfaces, respectively. For $n=3$ we find the well known 95 weight systems corresponding to weighted $\IP^3$'s that allow transverse polynomials, whereas for $n=4$ there are 184026 weight systems, including the 7555 weight systems for weighted $\IP^4$'s. It is proven (without computer) that the Newton polyhedra corresponding to all of these weight systems are reflexive.


title: Equivariant intersection theory

abstract: In this paper we develop an equivariant intersection theory for actions of algebraic groups on algebraic schemes. The theory is based on our construction of equivariant Chow groups. They are algebraic analogues of equivariant cohomology groups which satsify the formal properties of ordinary Chow groups. In addition, they enjoy many of the properties of equivariant cohomology. The principal results are: (1) We prove the existence of canonical intersection products on the Chow groups of geometric quotients of smooth varieties- even when the stabilizers of geometric points are non-reduced. (2) We construct a Todd class map from equivariant $K$-theory of coherent sheaves to a completion of equivariant Chow groups, and prove that a completion of equivariant $K$-theory is isomorphic to the completion of equivariant Chow groups. (3) We prove a localization theorem for torus actions and use it to give a characteristic free proof of the Bott residue formula for actions of tori on complete smooth varieties.


title: A Note on the Cohomology of Moduli of Rank Two Stable Bundles

abstract: The rational cohomology of the moduli space of rank two, odd degree stable bundles over a curve (of genus g > 1) has been studied intensely in recent years and in particular the invariant subring generated by Newstead's generators alpha, beta, gamma. Several authors have independently found a minimal complete set of relations for this subring. Their methods are very different from the methods originally employed by Kirwan to prove Mumford's conjecture -- that relations derived from the vanishing Chern classes of a particular rank 2g-1 bundle are a complete set of relations for the entire cohomology ring. This note contains two theorems which readily follow from Kirwan's original calculations. We rederive the above result showing that the first three invariant Mumford relations generate the relation ideal of the invariant subring. Secondly we prove a stronger version of Mumford's conjecture and show that the relations coming from the first vanishing Chern class generate the relation ideal of the entire cohomology ring as a Q[alpha,beta]-module. (Only a few typos have been amended in this revised version).


title: The Igusa modular forms and ``the simplest'' Lorentzian Kac--Moody algebras

abstract: We find automorphic corrections for the Lorentzian Kac--Moody algebras with the simplest generalized Cartan matrices of rank 3: A_{1,0} = 2 0 -1 0 2 -2 -1 -2 2 and A_{1,I} = 2 -2 -1 -2 2 -1 -1 -1 2 For A_{1,0} this correction is given by the Igusa Sp_4(Z)-modular form \chi_{35} of weight 35, and for A_{1,I} by a Siege modular form of weight 30 with respect to a 2-congruence subgroup. We find infinite product or sum expansions for these forms. Our method of construction of \chi_{35} leads to the direct construction of Siegel modular forms by infinite product expansions, whose divisors are the Humbert surfaces with fixed discriminants. Existence of these forms was proved by van der Geer in 1982 using some geometrical consideration. We announce a list of all hyperbolic symmetric generalized Cartan matrices A of rank 3 such that A has elliptic or parabolic type, A has a lattice Weyl vector, and A contains the affine submatrix \tilde{A}_1.


title: The Hilbert Schemes of Degree Three Curves are Connected

abstract: In this paper we show that the Hilbert scheme $H(3,g)$ of locally Cohen-Macaulay curves in $\Pthree$ of degree three and genus $g$ is connected. In contrast to $H(2,g)$, which is irreducible, $H(3,g)$ generally has many irreducible components (roughly $-g/3$ of them). To show connectedness, we classify the curves (giving particular attention to the triple lines), determine the irreducible components, and give flat families over $\Aone$ to show that the components meet. As a byproduct, we find that there are curves which lie in the closure of each irreducible component.


title: Vanishing theorems for ample vector bundles

abstract: We prove a general vanishing theorem for the cohomology of products of symmetric and skew-symmetric powers of an ample vector bundle on a smooth complex projective variety. Special cases include an extension of classical theorems of Griffiths and Le Potier to the whole Dolbeault cohomology, and an answer to a problem raised by Demailly. An application to degeneracy loci is given.


title: On curves over finite fields with many rational points

abstract: We study arithmetical and geometrical properties of {\it maximal curves}, that is, curves defined over the finite field $\mathbb F_{q^2}$ whose number of $\mathbb F_{q^2}$-rational points reachs the Hasse-Weil upper bound. Under a hypothesis on non-gaps at rational points we prove that maximal curves are $\mathbb F_{q^2}$-isomorphic to $y^q+y=x^m$ for some $m\in \mathbb Z^+$.


title: Maximal Degeneracy Points of GKZ Systems

abstract: Motivated by mirror symmetry, we study certain integral representations of solutions to the Gel'fand-Kapranov-Zelevinsky(GKZ) hypergeometric system. Some of these solutions arise as period integrals for Calabi-Yau manifolds in mirror symmetry. We prove that for a suitable compactification of the parameter space, there exists certain special boundary points, which we called maximal degeneracy points, at which all but one solutions become singular.


title: An intersection number for the punctual Hilbert scheme of a surface

abstract: Let S be a smooth projective surface, and consider the following two subvarieties of the Hilbert scheme parameterizing closed subschemes of S of length n: A = {subschemes with support in a fixed point of S} B = {subschemes with support in one (variable) point of S} A and B have complementary dimensions in the Hilbert scheme. We prove that the intersection number [A].[B] = n(-1)^(n-1), answering a question by H. Nakajima.


title: Espaces abstraits de morphismes et mutations

abstract: A transformation of morphisms of sheaves, called mutation, is used to build new moduli spaces of morphisms.


title: Singularities of Theta Divisors, and the Birational Geometry of Irregular Varieties

abstract: The purpose of this paper is to show how the generic vanishing theorems of M. Green and the second author can be used to settle several questions and conjectures concerning the geometry of irregular complex projective varieties. First, we prove a conjecture of Arbarello and DeConcini characterizing principally polarized abelian varieties whose theta divisors are singular in codimension one. Secondly, we study the holomorphic Euler characteristics of varieties of general type having maximal Albanese dimension: we verify a conjecture of Kollar for subvarieties of abelian varieties, but show that it fails in general. Finally, we give a surprisingly simple new proof of a fundamental theorem of Kawamata concerning the Albanese mapping of projective varieties of Kodaira dimension zero.


title: Smoothness, Semistability, and Toroidal Geometry

abstract: We provide a new proof of the following result: Let $X$ be a variety of finite type over an algebraically closed field $k$ of characteristic 0, let $Z\subset X$ be a proper closed subset. There exists a modification $f:X_1 \rar X$, such that $X_1$ is a quasi-projective nonsingular variety and $Z_1 = f^{-1}(Z)_\red$ is a strict divisor of normal crossings. Needless to say, this theorem is a weak version of Hironaka's well known theorem on resolution of singularities. Our proof has the feature that it builds on two standard techniques of algebraic geometry: semistable reduction for curves, and toric geometry. Another proof of the same result was discovered independently by F. Bogomolov and T. Pantev. The two proofs are similar in spirit but quite different in detail.


title: Weak Hironaka theorem

abstract: The purpose of this note is to give a simple proof of the following theorem: Let $X$ be a normal projective variety over an algebraically closed field $k$, $\op{char} k = 0$ and let $D \subset X$ be a proper closed subvariety of $X$. Then there exist a smooth projective variety $M$, a strict normal crossings divisor $R \subset M$ and a birational morphism $f : M \to X$ with $f^{-1} D = R$. The method of proof is inspired by A.J. de Jong alteration ideas. We also use a multidimensional version of G.Belyi argument which allows us to simplify the shape of a ramification divisor. By induction on the dimension of $X$ the problem is reduced to resolving toroidal singularities. This process however is too crude and does not permit any control over the structure of the birational map $f$. A different proof of the same theorem was found independently by D. Abramovich and A.J. de Jong. The approach is similar in both proofs but they seem to be rather different in details.


title: Calabi-Yau Varieties and Pencils of K3 Surfaces

abstract: In this note, we give a list of Calabi-Yau hypersurfaces in weighted projective 4-spaces with the property that a hypersurface contains naturally a pencil of K3 variety. For completeness we also obtain a similar list in the case K3 hypersurfaces in weighted projective 3-spaces. The first list significantly enlarges the list of K3-fibrations of \KlemmLercheMayr~ which has been obtained on some assumptions on the weights. Our lists are expected to correspond to examples of the so-called heterotic-type II duality \KachruVafa\KachruSilverstein.


title: Equivariant Gromov - Witten Invariants

abstract: We develop general theory of equivariant quantum cohomology for ample Kahler manifolds and prove the mirror conjecture for projective complete intersections.


title: On freeness theorem of the adjoint bundle on a normal surface

abstract: We extend Reider's freeness criterion to normal surfaces of characteristic 0. Let Y be a normal surface. Let D be a nef divisor on Y such that K_Y+D is a Cartier divisor. Let x be a point on Y. If x is a base point of |K_Y+D| and D^2>\delta_x (\delta_x is determined by x, \delta_x <= 4) then there exists a non zero effective divisor E on Y passing through x such that 0 <= DE <= \delta_x /2, DE - \delta_x /4 <= E^2 <= (DE)^2 / D^2, E^2 < 0 if DE=0.


title: Higher dimensional examples of manifolds whose adjoint bundles are not spanned

abstract: Let $(X,L)$ be an $n$-dimensional polarized variety. Fujita's conjecture says that if $L^n>1$ then the adjoint bundle $K_X+nL$ is spanned and $K_X+(n+1)L$ is very ample. There are some examples such that $K_X+nL$ is not spanned or $K_X+(n+1)L$ is not very ample. These are $(\P^n,\O(1))$, hypersurface $M$ of degree $6$ in weighted projective space $\P(3,2,1,1,\cdots ,1)$ with $\O_M(1)$ and numerically Godeaux surface etc. Numerically Godeaux surface is the quotient space of a Fermat type hypersurface of degree $5$ in $\P^3$ by an action of order $5$. These examples are not so much. We construct new examples for any dimention.


title: d-gonality of modular curves and bounding torsions

abstract: We study the problem of $d$-gonality of the modular curve $X_0(N)$. As a result, we can give an upperbound of the level $N$ by means of $d$. This generalizes Ogg's result on hyperelliptic modular curves ($d = 2$). As a corollary of this result, we prove an analogue of the strong Uniform Boundedness Conjecture for elliptic curves defined over the function fields of curves. If a base curve is $d$-gonal, we can bound orders of torsions of Mordell-Weil groups in terms of $d$ uniformly.


title: Seiberg-Witten invariants for manifolds with $b_+=1$

abstract: In this paper we describe the Seiberg-Witten invariants, which have been introduced by Witten, for manifolds with $b_+=1$. In this case the invariants depend on a chamber structure, and there exists a universal wall crossing formula. We take into account the contribution of the 1-homology of the base-manifold. For every K\"ahler surface with $p_g=0$ and $q$=0, these invariants are non-trivial for all $Spin^c(4)$-structures of non-negative index.


title: Higher Weil-Petersson Volumes of Moduli Spaces of Stable $n$-pointed Curves

abstract: Moduli spaces of compact stable $n$-pointed curves carry a hierarchy of cohomology classes of top dimension which generalize the Weil-Petersson volume forms and constitute a version of Mumford classes. We give various new formulas for the integrals of these forms and their generating functions. We also discuss their relation to the Kuenneth formula in quantum cohomology.


title: Threefolds in $\Bbb P^5$ with a 3-dimensional family of plane curves

abstract: A classification theorem is given of smooth threefolds of $\Bbb P^5$ covered by a family of dimension at least three of plane integral curves of degree $d\geq 2.$ It is shown that for such a threefold $X$ there are two possibilities: \item{(1)} $X$ is any threefold contained in a hyperquadric; \item{(2)} $d\leq 3$ and $X$ is either the Bordiga or the Palatini scroll.


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

abstract: We give an effective form of the theorem of Mazur-Kamienny-Merel on the torsion of elliptic curves over number fields.


title: Rationality of almost simple algebraic groups

abstract: We prove the stable rationality of almost simple algebraic groups, the connected components of the Dynkin diagram of anisotropic kernel of which contain at most two vertices. The (stable) rationality of many isotropic almost simple groups with small anisotropic kernel and some related results over $p$-adic and arbitrary fields are discussed.


title: The Hodge filtration on nonabelian cohomology

abstract: This is partly a survey article on nonabelian Hodge theory, but we also give proofs of results that have only been announced elsewhere. In the introduction we discuss a wide range of recent work on this subject and give some references. In the body of the paper, we discuss Corlette's nonabelian Hodge theorem, Hitchin's quaternionic structure on the moduli space of representations of $\pi _1(X)$ (for a compact K\"ahler manifold $X$), and Deligne's construction of the resulting twistor space. We then mention the interpretation of Deligne's space of $\lambda$-connections as the Hodge filtration of the nonabelian de Rham cohomology $M_{DR}(X,G)= H^1(X,G)$. We go on to prove several properties of this Hodge filtration, such as Griffiths transversality and regularity of the Gauss-Manin connection; a local triviality property coming from Goldman and Millson's analysis of the singularities; and a weight property coming from Langton's theory. We construct a compactification of $M_{DR}$ using the Hodge filtration with its weight property. At the end, we define a nonabelian version of the Noether-Lefschetz locus, and prove that it is algebraic if the base of the fibration is compact. We pose the open problem of studying degenerations of nonabelian Hodge structure sufficiently well to be able to prove algebraicity of the Noether-Lefshetz locus even when the base is quasiprojective.


title: On the constellations of Weierstrass points

abstract: We prove that the constellation of Weierstrass points characterizes the isomorphism-class of double covering of curves of genus large enough.


title: On degree of polynomial mappings of $C^2$ to $C^2$

abstract: We prove two results about degree of polynomial mappings of $C^2$ to $C^2$.


title: On a result of Imin Chen

abstract: We give another proof of Imin Chen's result that the jacobian of the modular curve X(p)_{non-split}, for p a prime number, is isogeneous to the new part of the jacobian of X_0(p^2), using only the representation theory of the group GL_2(Z/pZ). In fact, we prove a generalization of Chen's result for objects with an action by GL_2(Z/pZ) in any pseudo-abelian Q-linear category.


title: Arf Rings and Characters

abstract: Algebraic curve branches can be classified according to their multiplicity sequences. Arf's solution to this problem using Arf closures and possible implementations of Henselization are discussed.


title: A connectivity lemma for the Albanese map

abstract: I prove that for any complex projective variety $X$ and a sufficiently large integer $N$ all the fibers of Albanese map of the $N$-th configuration space of $X$ are dominated by smooth connected projective varieties with vanishing ${\rm H}^1$.


title: On top Chern classes of universal bundles on moduli spaces of rank two coherent sheaves on the projective plane, or How to calculate the correlation function in SYM N=2 Nf=4 quantum field theory on complex projective plane

abstract: We explain how to calculate the correlation function for SYM N=2 SO(3)-gauge QFT with 4 flavors in terms of top Chern classes of the universal bundles over the moduli spaces of rank 2 stable torsion free coherent sheaves with det=-1 on the complex projective plane. We give a direct geometrical description of these moduli spaces, study a 2-dimensional torus action on them, and calculate several initial coefficients of the correlation function via Bott residue formula.


title: Elementary counterexamples to Kodaira vanishing in prime characteristic

abstract: We give elementary counterexamples to Kodaira vanishing in prime characteristic constructed as the projectivization of Frobenius pull-backs of natural bundles on the incidence variety of points and planes in projective n-space (n>2).


title: On Classification of the extremal contraction from a smooth fourfold

abstract: We classify extremal divisorial contraction which contracts a divisor to a curve from a smooth fourfold. We prove the exceptional divisor is $\Bbb P^2$bundle or quadric bundle over a smooth curve and the contraction is the blowing up along the curve.


title: A Lie algebra attached to a projective variety

abstract: Each choice of a K\"ahler class on a compact complex manifold defines an action of the Lie algebra $\slt$ on its total complex cohomology. If a nonempty set of such K\"ahler classes is given, then we prove that the corresponding $\slt$-copies generate a semisimple Lie algebra. We investigate the formal properties of the resulting representation and we work things out explicitly in the case of complex tori, hyperk\"ahler manifolds and flag varieties. We pay special attention to the cases where this leads to a Jordan algebra structure or a graded Frobenius algebra.


title: Symmetries of Surface Singularities

abstract: The automorphism group ${\rm Aut}\: X$ of a weighted homogeneous normal surface singularity $X$ has a maximal reductive algebraic subgroup $G$ which contains every reductive algebraic subgroup of ${\rm Aut}\: X$ up to conjugation. In all cases except the cyclic quotient singularities the connected component $G_1$ of the unit equals ${\Bbb C}^*$. The induced action of $G$ on the minimal good resolution of $X$ embeds the finite group $G/G_1$ into the automorphism group of the central curve $E_0$ of the exceptional divisor. We describe $G/G_1$ as a subgroup of ${\rm Aut}\: E_0$ in case $E_0$ is rational as well as for simple elliptic singularities. Moreover, sufficient conditions for $G$ to be a direct product $G_1 \times G/G_1$ are presented. Finally, it is shown that $G/G_1$ acts faithfully on the integral homology of the link of $X$.


title: Floppy Curves with Applications to Real Algebraic Curves

abstract: We show how one may sometimes perform singular ambient surgery on the complex locus of a real algebraic curve and obtain what we call a floppy curve. A floppy curve is a certain kind of singular surface in CP(2), more general than the complex locus of a real nodal curve. We derive analogs for floppy curves of known restrictions on real nodal curves. In particular we derive analogs of Fielder's congruence for certain nonsingular curves and Viro's inequalities for nodal curves which generalize those of Arnold and Petrovskii for nonsingular curves. We also obtain a determinant condition for certain curves which are extremal with respect to some of these equalities. One may prohibit certain schemes for real algebraic curves by prohibiting the floppy curves which result from singular ambient surgery. In this way, we give a new proof of Shustin's prohibition of the scheme $1<2\coprod 1<18>>$ for a real algebraic curve of degree eight.


title: Theta line bundles and the determinant of the Hodge bundle

abstract: In this note we examine the question of expressing the determinant of the push forward of a symmetric line bundle on an abelian fibration in terms of the pull back of the relative dualizing sheaf via the zero section.


title: Eisenstein series and quantum affine algebras

abstract: Let X be a smooth projectibe curve over a finite field. We consider the Hall algebra H whose basis is formed by isomorphism classes of coherent sheaves on X and whose typical structure constant is the number of subsheaves in a given sheaf belonging to a given isomorphism class and with given isomorphism class of quotient. We study this algebra in detail. It turns out that its structure is strikingly similar to that of quantum affine algebras in their loop realization of Drinfeld. In this analogy the set of simple roots of a semisimple Lie algebra g corresponds to the set of cusp forms on X, the entries of the Cartan matrix of g to the values of Rankin-Selberg L-functions associated to two cusp forms. For the simplest instances of both theories (the curve P^1, the Lie algebra g=sl_2) the analogy is in fact an identity.


title: Recursive Formulas for the Characteristic Numbers of Rational Plane Curves

abstract: We derive recursive equations for the characteristic numbers of rational nodal plane curves with at most one cusp, subject to point conditions, tangent conditions and flag conditions, developing techniques akin to quantum cohomology on a moduli space of stable lifts.


title: Commutative Algebras of Ordinary Differential Operators with Matrix Coefficients

abstract: A classification of commutative integral domains consisting of ordinary differential operators with matrix coefficients is established in terms of morphisms between algebraic curves.


title: The Symmetric Function h^0(\bar{M}_{0,n}, L_1^{x_1} \tensor...\tensor L_n^{x_n})

abstract: Let \bar{M}_{0,n} be the moduli space of pointed, genus 0 curves. Let L_i denote the line bundle on \bar{M}_{0,n} associated to the i-th marked point (the fiber of L_i is the cotangent space of the pointed curve at the i-th point). Y_n=h^0(\bar{M}_{0,n}, L_1^{x_1} \tensor... \tensor L_n^{x_n}) is a symmetric function of the variables x_1,... x_n. Let R be the ring of symmetric functions in infinitely many variables. An explicit linear transformation T: R-> R is found such that Y_n= T^{n-3} (1).


title: The Chow Ring of the Non-Linear Grassmannian

abstract: Let M_{P^k}(P^r, d) be the moduli space of unparameterized maps \mu:P^k -> P^r satisfying \mu^*(O(1))= O(d). M_{P^k}(P^r,d) is a quasi-projective variety, and, in case k=1, M_{P^1}(P^r,d) is the fundamental open cell of Kontsevich's space of stable maps \bar{M}_{0,0}(P^r,d). It is shown that the Q-coefficient Chow ring of M_{P^k}(P^r,d) is canonically isomorphic to the Chow ring of the Grassmannian Gr(P^k, P^r)= M_{P^k}(P^r,1).


title: On an unusual conjecture of Kontsevich and variants of Castelnuovo's lemma

abstract: Let $A=(a^i_j)$ be an orthogonal matrix with no entries zero. Let $B=(b^i_j)$ be the matrix defined by $b^i_j=\frac 1{a^i_j}$. M. Kontsevich conjectured that the rank of $B$ is never equal to three. We interpret this conjecture geometrically and prove it. The geometric statment can be understood as a generalization of the Castelnouvo lemma and Brianchon's theorem.


title: A high fibered power of a family of varieties of general type dominates a variety of general type

abstract: We prove the following theorem: Fibered Power Theorem: Let $X\rar B$ be a smooth family of positive dimensional varieties of general type, with $B$ irreducible. Then there exists an integer $n>0$, a positive dimensional variety of general type $W_n$, and a dominant rational map $X^n_B \das W_n$.


title: Vector Bundles and Arithmetical Groups I. The higher Bruhat-Tits tree

abstract: We define and study a simplicial complex which is a homogeneous space for the group $PGL(2, K)$ over a two-dimensional local field $K$. The complex is a generalization of the tree studied by F. Bruhat, J. Tits, J.-P. Serre and P. Cartier in the 60's and early 70's. Such complex can be canonically attached to the triples $x \in C \subset X$ where $X$ is an algebraic surface, $C$ is an irreducible curve and $x$ is a smooth point on $C$ and $X$. This construction can be used for a description of the isomorphism set of vector bundles on $X$.


title: On Extremal Contractions from Threefolds to Surfaces: the Case of One non-Gorenstein Point

abstract: Let $f\colon X\to S$ be an extremal contraction from a threefold with only terminal singularities to a surface. We study local analytic structure such contractions near degenerate fiber $C$ in the case when $C$ is irreducible and $X$ has on $C$ only one non-Gorenstein point.


title: On the existence of good divisors on Fano varieties of coindex 3

abstract: We prove that the linear system $|-1/3K_X| on a non-singular Fano fivefold $X$ of index 3 contains an irreducible divisor with only canonical singularities.


title: Rank-2 ample vector bundles on some smooth rational surfaces

abstract: Some classification results for ample vector bundles of rank 2 on Hirzebruch surfaces, and on Del Pezzo surfaces, are obtained. In particular, we classify rank-2 ample vector bundles with $c_2$ less than 7 on Hirzebruch surfaces, and with $c_2$ less than 4 on Del Pezzo surfaces.


title: Double coset construction of moduli space of holomorphic bundles and Hitchin systems

abstract: We present a description of the moduli space of holomorphic vector bundles over Riemann curves as a double coset space which is differ from the standard loop group construction. Our approach is based on equivalent definitions of holomorphic bundles, based on the transition maps or on the first order differential operators. Using this approach we present two independent derivations of the Hitchin integrable systems. We define a "superfree" upstairs systems from which Hitchin systems are obtained by three step hamiltonian reductions. A special attention is being given on the Schottky parameterization of curves.


title: Donaldson and Seiberg-Witten invariants of algebraic surfaces

abstract: This paper, yet another account of Seiberg-Witten theory and its consequences for algebraic surfaces, is the written version of the author's talk at the Santa Cruz conference.


title: Curves in the complement of a smooth plane cubic whose normalizations are $\Bbb A^1$

abstract: For a smooth plane cubic $B$, we count curves $C$ of degree $d$ such that the normalizations of $C\backslash B$ are isomorphic to $\Bbb A^1$, for $d\leq7$ (for $d=7$ under some assumption). We also count plane rational quartic curves intersecting $B$ at only one point.


title: On Genera of Smooth Curves in Higher Dimensional Varieties

abstract: We prove that for any smooth projective variety $X$ of dimension $\geq 3$, there exists an integer $g_0=g_0(X)$, such that for any integer $g \geq g_0$, there exists a smooth curve $C$ in $X$ with $g(C)=g$.


title: A construction of separated quotient space and boundaries of symmetric spaces

abstract: We propose a construction of separated quotient space and apply this construction for simple description of Study-Semple-Satake-Furstenberg-De Concini-Procesi-Oshima boundary of symmetric space


title: Sixth Painlev\'e Equation, Universal Elliptic Curve, and Mirror of $\bold{P}^2$

abstract: An algebro-geometric setting for the study of the Painlev\'e VI equation is introduced. Hamiltonian form of the equation is realized on a twisted relative cotangent bundle to the universal elliptic curve with labelled points of order two. Relations with the theory of elliptic functions and the quantum cohomology of projective plane are discussed.


title: Cycles on the Moduli Space of Abelian Varieties

abstract: In this paper a number of results on cycles on the moduli space of principally polarized abelian varieties is presented. Results include a determination of the tautological ring, bounds on the order of torsion of the top Chern class $\lambda_g$ and a determination of the cycle classes of the Ekedahl-Oort stratification in characteristic $p$. It includes as special cases formulas for the classes of loci like the $p$-rank $\leq f$ locus or the $a$-number $\geq a$-locus. The results on the tautological ring are my own work, the results on the torsion of $\lambda_g$ and on the cycle classes of the Ekedahl-Oort stratification are joint work with Torsten Ekedahl and some of the results on curves are joint work with Carel Faber.


title: Complete Intersections K-Theory and Chern Classes

abstract: Throughout this abstruct $A$ will denote a noetherian commutative ring of dimension $n$. The paper has two parts. Among the interesting results in Part-1 are the following: 1) {\it suppose that $f_1, f_2, ..., f_r$ (with $r \leq n$) is a regular sequence in $A$ and suppose $Q$ is a projective $A$-module of rank $r$ that maps onto the ideal $(f_1, f_2, ..., f_{r-1},f_r^{(r-1)!})$. Then $[Q]=[Q_0 \oplus A]$ in $K_0(A)$ for some projective $A-module~Q_0$ of rank $r-1$.} 2) The set $$F_0K_0(A) = \{[A/I] \in K_0(A): I~ is~ a~ locally~ complete ~intersection~ ideal~ in~ A~ of~ height~n \}$$ is a {\it subgroup} of $K_0(A)$. We also show that if $A$ is a reduced affine algebra over a field $k$ then $F_0K_0(A)$ {\it is indeed the Zero Cycle Subgroup of} $K_0(A)$ {\it that is generated by smooth maximal ideals} $\Cal M$ {\it of height} $n$. 3){\it let $A$ be such that whenever $I$ is a locally complete intersection ideal of height $n$ with $[A/I]=0$ then $I$ is the image of a projective $A-module$ of rank $n$. Then for any locally complete intersection ideal $J$ of height $n$ with $[A/J]$ divisible by $(n-1)!$ in $F_0K_0(A)$, there is a projective $A-module$ of rank $n$ that maps onto $J$}. The main result in Part-2 is the following construction: 1) {\it let $X=Spec A$ be a Cohen-Macaulay scheme of dimension $n$ and let $r_0,~r$ be two integers with $n/2 \leq r_0 \leq r \leq n$. Let i) $Q_0$ be a projective $A-module$ of rank $r_0-1$ such that the restriction $Q_0|Y$ is trivial for all locally complete intersection subvarieties $Y$ of codimension at least $r_0$. Also ii) for $k= r_0$ to $r$, let $I_k$ be locally complete intersection ideals of height $k$ so that $I_k/I_k^2$ has a generators of the type $f_1, ..., f_{k-1}, f_k^{(k-1)!}$. Then there is a projective $A-module~Q$ of rank $r$ such that


title: On Contractions of smooth varieties

abstract: Let $\f: X \ra Z$ be a proper surjective map from a smooth complex manifold $X$ onto a normal variety $Z$. If $\f$ has connected fibers and $-K_X$ is $\f$-ample then $\f$ is called a good contraction. In the present paper we study good contractions, fibers of which have dimension less or equal than two: after describing possible two dimensional isolated fibers we discuss their scheme theoretic structure and the geometry of $\f:X\ra Z$ nearby such a fiber. If $dimX=4$ and $\f$ is birational with an isolated 2 dimensional fiber then we obtain a complete description of $\f$. We provide also a description of a 4 dimensional conic fibration with an isolated fiber which is either a plane or a quadric. We construct pertinent examples.


title: Symmetric polynomials and divided differences in formulas of intersection theory

abstract: The goal of the paper is two-fold. At first, we attempt to give a survey of some recent applications of symmetric polynomials and divided differences to intersection theory. We discuss: polynomials universally supported on degeneracy loci; some explicit formulas for the Chern and Segre classes of Schur bundles with applications to enumerative geometry; flag degeneracy loci; fundamental classes, diagonals and Gysin maps; intersection rings of G/P and formulas for isotropic degeneracy loci; numerically positive polynomials for ample vector bundles. Apart of surveyed results, the paper contains also some new results as well as some new proofs of earlier ones: how to compute the fundamental class of a subvariety from the class of the diagonal of the ambient space; how to compute the class of the relative diagonal using Gysin maps; a new formula for pushing forward Schur's Q- polynomials in Grassmannian bundles; a new formula for the total Chern class of a Schur bundle; another proof of Schubert's and Giambelli's enumeration of complete quadrics; an operator proof of the Jacobi-Trudi formula; a Schur complex proof of the Giambelli-Thom-Porteous formula.


title: Descent from the form ring and Buchsbaum rings

abstract: There is a spectral sequence technique in order to estimate the local cohomology of a ring by the local cohomology of a certain form ring. As applications there are information on the descent of homological properties (Cohen-Macaulay, Buchsbaum etc.) from the form ring to the ring itself. In the case of Buchsbaum ring there is a discussion of the descent of the surjectivity of a natural map into the local cohomology.


title: On the period map for abelian covers of algebraic varieties

abstract: We show that infinitesimal Torelli for $n$-forms holds for abelian covers of algebraic varieties of dimension $n\ge 2$, under some explicit ampleness assumptions on the building data of the cover. Moreover, we prove a variational Torelli result for some families of abelian covers.


title: Height Zeta Functions of Toric Varieties

abstract: We investigate analytic properties of height zeta functions of toric varieties. Using the height zeta functions, we prove an asymptotic formula for the number of rational points of bounded height with respect to an arbitrary line bundle whose first Chern class is contained in the interior of the cone of effective divisors


title: Algebraically constructible functions

abstract: An algebraic version of Kashiwara and Schapira's calculus of constructible functions is used to describe local topological properties of real algebraic sets, including Akbulut and King's numerical conditions for a stratified set of dimension three to be algebraic. These properties, which include generalizations of the invariants modulo 4, 8, and 16 of Coste and Kurdyka, are defined using the link operator on the ring of constructible functions.


title: Nonrational Covers of $CP^m\times CP^n$

abstract: The aim of the paper is to construct examples of cyclic covers of $CP^m\times CP^n$ which are rationally connected but are not rational. The crucial point turns out to be the study of Del Pezzo surfaces over function fields in positive characteristic.


title: Equivalences of derived categories and K3 surfaces

abstract: We consider derived categories of coherent sheaves on smooth projective varieties. We prove that any equivalence between them can be represented by an object on the product. Using this, we give a necessary and sufficient condition for equivalence of derived categories of two K3 surfaces.


title: Algebraic cycles and topology of real Enriques surfaces

abstract: For a real Enriques surface Y we prove that every homology class in H_1(Y(R), Z/2) can be represented by a real algebraic curve if and only if all connected components of Y(R) are orientable. Furthermore, we give a characterization of real Enriques surfaces which are Galois-Maximal and/or Z-Galois-Maximal and we determine the Brauer group of any real Enriques surface.


title: Finite sets in fibres of holomorphic maps

abstract: We consider the maximal number of arbitrary points in a special fibre that can be simultaneously approached by points in one sequence of general fibres. Several results about this topological invariant and their applications describe the structure of holomorphic maps. In particular, we get a lower bound on the number of points in the general fibre of a generically finite map.


title: The algebraic formalism of soliton equations over arbitrary base fields

abstract: The aim of this paper is to offer an algebraic construction of infinite-dimensional Grassmannians and determinant bundles (and therefore valid for arbitrary base fields). As an application we construct the $\tau$-function and formal Baker-Akhiezer functions over arbitrary fields, by proving the existence of a ``formal geometry'' of local curves analogous to the geometry of global algebraic curves. We begin by defining the functor of points, $\fu{\gr}(V,V^+)$, of the Grassmannian of a $k$-vector space $V$ in such a way that its rational points are precisely the points of the Grassmannian defined by Segal-Wilson, although the points over an arbitrary $k$-scheme $S$ have been not previously considered. This definition of the functor $\fu{\gr}(V,V^+)$ allows us to prove that it is representable by a separated $k$-scheme $\gr(V,V^+)$. Using the theory of determinants of Knudsen and Mumford, the determinant bundle is constructed. This is one of the main results of the paper because it implies that we can define ``infinite determinants'' in a completely algebraic way.


title: Descent of Deligne groupoids

abstract: To any non-negatively graded dg Lie algebra $g$ over a field $k$ of characteristic zero we assign a functor $\Sigma_g: art/k \to Kan$ from the category of commutative local artinian $k$-algebras with the residue field $k$ to the category of Kan simplicial sets. There is a natural homotopy equivalence between $\Sigma_g$ and the Deligne groupoid corresponding to $g$. The main result of the paper claims that the functor $\Sigma$ commutes up to homotopy with the "total space" functors which assign a dg Lie algebra to a cosimplicial dg Lie algebra and a simplicial set to a cosimplicial simplicial set. This proves a conjecture of Schechtman which implies that if a deformation problem is described ``locally'' by a sheaf of dg Lie algebras $g$ on a topological space $X$ then the global deformation problem is described by the homotopy Lie algebra $R\Gamma(X,g)$.


title: Flips from 4-folds with isolated complete intersection singularities whose downstairs have rational bi-elephants

abstract: We shall investigate a flipping contraction g : X -> Y from a 4-fold X with at most isolated complete intersection singularities. If Y has an anti-bi-canonical divisor (=bi-elephant) with only rational singularities, then g carries an inductive structure chained up by blow-ups (La Torre Pendente), and in particular the flip exists. This naturally contains Miles Reid's `Pagoda' as an anti-canonical divisor (=elephant) and its proper transforms.


title: Lengths of Periods and Seshadri Constants of Abelian Varieties

abstract: The purpose of this note is to point out an elementary but somewhat surprising connection between the work of Buser and Sarnak on lengths of periods of abelian varieties and the Seshadri constants measuring the local positivity of theta divisors. The link is established via symplectic blowing up, in the spirit of McDuff and Polterovich. As an application of the main inequality, we get a simple new proof of a statement of Buser-Sarnak type to the effect that the Jacobian of a curve has a period of unusually small length. We also deduce a lower bound on the Seshadri constant of a very general p.p.a.v. which differs from the maximum possible by a factor of less than four.


title: Syzygies of Abelian and Bielliptic Surfaces in P^4

abstract: So far only six families of smooth irregular surfaces are known to exist in P^4 (up to pullbacks by suitable finite covers of P^4). These are the elliptic quintic scrolls, the minimal abelian and bielliptic surfaces (of degree 10), two different families of non-minimal abelian surfaces of degree 15, and one family of non-minimal bielliptic surfaces of degree 15. The main purpose of the paper is to describe the structure of the Hartshorne-Rao modules and the syzygies for each of these smooth irregular surfaces in P^4, providing at the same time a unified construction method (via syzygies) for these families of surfaces.


title: Composition law and Nodal genus-2 curves in P^2

abstract: Recently, there has been great interest in the application of composition laws to problems in enumerative geometry. Using the moduli space of stable maps, we compute the number of irreducible, reduced, nodal, degree-$d$ genus-$2$ plane curves whose normalization has a fixed complex structure and which pass through $3d - 2$ general points in $\Bbb P^2$.


title: On a relative version of the Krichever correspondence

abstract: For a given base scheme, a correspondence is established between a class of sheaves on curves over this base scheme and certain points of infinite Grassmannians. This equivalence extends to a characterization of commutative algebras of ordinary differential operators with coefficients in the ring of formal power series over a given $k$-algebra. Our construction generalizes the approach of M.Mulase, which gives the above connection in the case that the base scheme is one closed point.


title: Recent developments in toric geometry

abstract: This paper will appear in the Proceedings of the 1995 Santa Cruz Summer Institute. The paper is a survey of recent developments in the theory of toric varieties, including new constructions of toric varieties and relations to symplectic geometry, combinatorics and mirror symmetry.


title: Positivite et discretion des points algebriques des courbes

abstract: We prove the discreteness of algebraic points (with respect to the Neron-Tate height) on a curve of genus greater than one embedded in his jacobian. This result was conjectured by Bogomolov. We also prove the positivity of the self intersection of the admissible dualizing sheaf.


title: Gale Duality and Free Resolutions of Ideals of Points

abstract: What is the shape of the free resolution of the ideal of a general set of points in P^r? This question is central to the programme of connecting the geometry of point sets in projective space with the structure of the free resolutions of their ideals. There is a lower bound for the resolution computable from the (known) Hilbert function, and it seemed natural to conjecture that this lower bound would be achieved. This is the ``Minimal Resolution Conjecture'' (Lorenzini [1987], [1993]). Hirschowitz and Simpson [1994] showed that the conjecture holds when the number of points is large compared with r, but three examples (with r = 6,7,8) discovered computationally by Schreyer in 1993 show that the conjecture fails in general. We describe a novel structure inside the free resolution of a set of points which accounts for the observed failures and provides a counterexample in P^r for every r\geq 6, r\neq 9. The geometry behind our construction occurs not in P^r but in a different projective space, in which there is a related set of points, the ``Gale transform'' (or ``associated set'', in the sense of Coble.)


title: Non-Hermitian Yang-Mills connections

abstract: We study Yang-Mills connections on holomorphic bundles over complex K\"ahler manifolds of arbitrary dimension, in the spirit of Hitchin's and Simpson's study of flat connections. The space of non-Hermitian Yang-Mills (NHYM) connections has dimension twice the space of Hermitian Yang-Mills connections, and is locally isomorphic to the complexification of the space of Hermitian Yang-Mills connections (which is, by Uhlenbeck and Yau, the same as the space of stable bundles). Further, we study the NHYM connections over hyperk\"ahler manifolds. We construct direct and inverse twistor transform from NHYM bundles on a hyperk\"ahler manifold to holomorphic bundles over its twistor space. We study the stability and the modular properties of holomorphic bundles over twistor spaces, and prove that work of Li and Yau, giving the notion of stability for bundles over non-K\"ahler manifolds, can be applied to the twistors. We identify locally the following two spaces: the space of stable holomorphic bundles on a twistor space of a hyperk\"ahler manifold and the space of rational curves in the twistor space of the ``Mukai dual'' hyperk\"ahler manifold.


title: Quantum cohomology of flag manifolds G/B and quantum Toda lattices

abstract: We prove the Givental conjecture that the (equivariant) quantum cohomology of flag manifolds G/B are governed by the conservation law of Toda lattices. In addition, we find the quantum differential module structure of the flag manifolds.


title: A relative notion of algebraic Lie group and applications to $n$-stacks

abstract: If $S$ is a scheme of finite type over $k=\cc $, let $\Xx /S$ denote the big etale site of schemes over $S$. We introduce {\em presentable group sheaves}, a full subcategory of the category of sheaves of groups on $\Xx /S$ which is closed under kernel, quotient, and extension. Group sheaves which are representable by group schemes of finite type over $S$ are presentable; pullback and finite direct image preserve the notions of presentable group sheaves; over $S=Spec (k)$ then presentable group sheaves are just group schemes of finite type over $Spec(k)$; there is a notion of connectedness extending the usual notion over $Spec(k)$; and a presentable group sheaf $G$ has a Lie algebra object $Lie(G $. If $G$ is a connected presentable group sheaf then $G/Z(G)$ is determined up to isomorphism by the Lie algebra sheaf $Lie (G)$. We envision the category of presentable group sheaves as a generalisation relative to an arbitrary base scheme $S$, of the category of algebraic Lie groups over $Spec (k)$. The notion of presentable group sheaf is used in order to define {\em presentable $n$-stacks} over $\Xx$. Roughly, an $n$-stack is presentable if there is a surjection from a scheme of finite type to its $\pi_0$ (the actual condition on $\pi_0$ is slightly more subtle), and if its $\pi_i$ (which are sheaves on various $\Xx /S$) are presentable group sheaves. The notion of presentable $n$-stack is closed under homotopy fiber product and truncation. We propose the notion of presentable $n$-stack as an answer in characteristic zero for A. Grothendieck's search for what he called ``schematization of homotopy types''.


title: A remark on the jet bundles over the projective line

abstract: This is a footnote of a recent interesting work of Cohen, Manin and Zagier, where they, among other things, produce a natural isomorphism between the sheaf of (n-1)-th order jets of the n-th tensor power of the tangent bundle of a Riemann surface equipped with a projective structure and the sheaf of differential operators of order n (on the trivial bundle) with vanishing 0-th order part. We give a different proof of this result without using the coordinates, and following the idea of this proof we prove: Take a line bundle L with $L^2 = T$ on a Riemann surface equipped with a projective structure. Then the jet bundle $J^n(L^n)$ has a natural flat connection with $J^n(L^n) = S^n(J^1(L))$. For any $m >n$ the obvious surjection $J^m(L^n) \rightarrow J^n(L^n)$ has a canonical splitting. In particular, taking $m = n+1$, one gets a natural differential operator of order $n+1$ from $L^n$ to $L^{-n-2}$.


title: Mapping Class Groups and Moduli Spaces of Curves

abstract: This is a survey paper that also contains some new results. It will appear in the proceedings of the AMS summer research institute on Algebraic Geometry at Santa Cruz.


title: The orbifold fundamental group of Persson-Noether-Horikawa surfaces

abstract: The Noether-Horikawa surfaces are the minimal surfaces S with K^2=2p_g-4. For 8 | K^2 they belong to two families of respective type C and N (connected, resp. non connected branch locus for the canonical map). For 16 | K^2 the two types are homeomorphic. Ulf Persson constructed surfaces of type N with a maximally singular canonical model X, whose topology encodes information on the differentiable structure of S. A similar analysis was done by the first author for type C. In this paper we study the genus 2 fibration on X and, in particular, our main result is (X^# being the nonsingular locus of X) \pi_1(X^#)= Z_4 x Z_4 if 8 | K^2 but 16 does not | K^2 \pi_1(X^#)= Z_4 x Z_2 if 16 | K^2.


title: Plane curves with a big fundamental group of the complement

abstract: Let $C \s \pr^2$ be an irreducible plane curve whose dual $C^* \s \pr^{2*}$ is an immersed curve which is neither a conic nor a nodal cubic. The main result states that the Poincar\'e group $\pi_1(\pr^2 \se C)$ contains a free group with two generators. If the geometric genus $g$ of $C$ is at least 2, then a subgroup of $G$ can be mapped epimorphically onto the fundamental group of the normalization of $C$, and the result follows. To handle the cases $g=0,1$, we construct universal families of immersed plane curves and their Picard bundles. This allows us to reduce the consideration to the case of Pl\"ucker curves. Such a curve $C$ can be regarded as a plane section of the corresponding discriminant hypersurface (cf. [Zar, DoLib]). Applying Zariski--Lefschetz type arguments we deduce the result from `the bigness' of the $d$-th braid group $B_{d,g}$ of the Riemann surface of $C$.


title: On the algebraic dimension of twistor spaces over the connected sum of four complex projective planes

abstract: We study the algebraic dimension of twistor spaces of positive type over $4\bbfP^2$. We show that such a twistor space is Moishezon if and only if its anticanonical class is not nef. More precisely, we show the equivalence of being Moishezon with the existence of a smooth rational curve having negative intersection number with the anticanonical class. Furthermore, we give precise information on the dimension and base locus of the fundamental linear system $|{-1/2}K|$. This implies, for example, $\dim|{-1/2}K|\leq a(Z)$. We characterize those twistor spaces over $4\bbfP^2$, which contain a pencil of divisors of degree one by the property $\dim|{-1/2}K| = 3$.


title: Conjugacy classes in loop groups and G-bundles on elliptic curves

abstract: We added an additional result (theorem 1.6) that strengthenns our main theorem in the G=GL-case by establishing an equivalence of tensor categories.


title: Contractible Extremal Rays on \overline{M}_{0,n}

abstract: We consider the cones of curves and divisors on the moduli space of stable pointed rational curves,M_n, and on the quotient by the symmetric group, Q_n, which is a moduli space of pairs. We find generators for contractible extremal rays of the cone of curves NE_1(M_n), and for the cone of divisors NE^1(Q_n). This second cone turns out to be simplicial. We give complete descriptions of NE_1(M_n) and NE_1(Q_n) for small n (< 8 in the first case, < 11 in the second). We also have results of independent interest on when curves in a divisor generate the cone of curves of the ambient variety.


title: Equivalence de la th\'eorie homotopique des $n$-groupo\"{i}des et celle des espaces topologiques $n$-tronqu\'es

abstract: This paper constitutes a recent work using the constructions of a previous preprint alg-geom/9512006 to show that the functors geometric realisation and Poincar\'e $n$-groupoid induce an equivalence between the category of $n$-grouppoids and the category of $n$-truncated topological spaces, when we localise both categories by weak equivalence.


title: Chern classes for singular hypersurfaces

abstract: We prove a simple formula for MacPherson's Chern class of hypersurfaces in nonsingular varieties. The result highlights the relation between MacPherson's class and other definitions of homology Chern classes of singular varieties, such as Mather's Chern class and a class introduced by W. Fulton.


title: Quantum integrable systems and differential Galois theory

abstract: The purpose of this paper is to connect two subjects: the theory of quantum integrable systems (complete commutative rings of differential operators), and differential Galois theory. We define quantum completely integrable systems (QCIS), algebraically integrable QCIS, the differential Galois group of a QCIS. We show that the differential Galois group is always reductive and that a QCIS is algebraically integrable if and only if its differential Galois group is commutative. In particular, we show that a differential operator L in one variable is algebraic in the sense of Krichever (i.e. finite-zone) if and only if the differential Galois group of the differential equation Lf=af is commutative for a generic number a. As a by-product, we obtain a proof of the Veselov-Chalyh conjecture on the algebraic integrability of the elliptic Calogero-Moser system.

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


title: A lower bound for $K_{X}L$ of quasi-polarized surfaces $(X,L)$ with non-negative Kodaira dimension

abstract: Let $X$ be a smooth projective surface over the complex number field and let $L$ be a nef-big divisor on $X$. Here we consider the following conjecture; If the Kodaira dimension $\kappa(X)\geq 0$, then $K_{X}L\geq 2q(X)-4$, where $q(X)$ is the irregularity of $X$. In this paper, we prove that this conjecture is true if (1) the case in which $\kappa(X)=0$ or 1, (2) the case in which $\kappa(X)=2$ and $h^{0}(L)\geq 2$, or (3) the case in which $\kappa(X)=2$, $X$ is minimal, $h^{0}(L)=1$, and $L$ satisfies some conditions.


title: Torsion Points on an Algebraic Subset of an Affine Torus

abstract: Work of Laurent and Sarnak, following a conjecture of Lang, shows that the number of torsion points of order n on an algebraic subset of an affine complex torus is polynomial periodic. In this paper, we find bounds on the degree and period of this number as a function of n. Some examples, including the number of n torsion points on Fermat curves, are computed to illustrate the methods.


title: Master Spaces for stable pairs

abstract: We construct master spaces for oriented torsion free sheaves coupled with morphisms into a fixed reference sheaf. These spaces are projective varieties endowed with a natural $\C^*$-action. The fixed point set of this action contains the moduli space of semistable oriented torsion free sheaves and the quot scheme associated with the given data. In the case of curves with trivial reference sheaf, our master spaces compactify the moduli spaces constructed by Bertram, Daskalopoulos and Wentworth. In the 2-dimensional case with trivial rank 1 reference sheaf, master spaces provide algebraic analoga of compactified moduli spaces of twisted quaternionic monopoles.


title: Low degree polynomial equations: arithmetic, geometry and topology

abstract: These are the notes of my lectures at the 1996 European Congress of Mathematicians. {} Polynomials appear in mathematics frequently, and we all know from experience that low degree polynomials are easier to deal with than high degree ones. It is, however, not clear that there is a well defined class of "low degree" polynomials. For many questions, polynomials behave well if their degree is low enough, but the precise bound on the degree depends on the concrete problem. {} It turns out that there is a collection of basic questions in arithmetic, algebraic geometry and topology all of which give the same class of "low degree" polynomials. The aim of this lecture is to explain these properties and to provide a survey of the known results.


title: On imaginary plane curves and Spin quotients of complex surfaces by complex conjugation

abstract: It is proven that for any topological or analytical types of isolated singular points of plane curves, there exists a non-real irreducible plane algebraic curve of degree $d$ which goes through $d^2$ real distinct points and has imaginary singular points of the given types. This result is used to construct a series of examples of complex algebraic surfaces $X$ defined over $\R$ whose quotients $Y=X/\conj$ by the complex conjugation $\conj$ are $Spin$ simply connected 4-manifolds with signature $16k$, for arbitrary integer $k>0$.


title: Torelli groups and Jacobian varieties of non-orientable compact Klein surfaces

abstract: The Torelli group of a compact non-orientable Klein surface is the subgroup of the modular group consisting of the mapping classes that act trivially on the first homology group of the surface. We prove that if a surface has genus at least $3$, then the Torelli group acts fixed points free on the Teichm\"{u}ller space of the surface. That gives an embedding of the Torelli space of a Klein surface in the Torelli space of its complex double. We also construct real tori associated to Klein surfaces, which we call the Jacobian of the surface. We prove that this Jacobian is isomorphic to a component of the real part of the Jacobian of the complex double.


abstract: The Hodge de Rham theory of relative Malcev completion is developed in this paper. In the special case where one takes the corresponding reductive group to be trivial, one recovers Chen's de Rham theory of the fundamental group and the corresponding Hodge theory due to Morgan and the author. This work is a principal technical tool in the author's work on the mapping class groups.


title: Filtered Perverse Complexes

abstract: We introduce the notion of filtered perversity of a filtered differential complex on a complex analytic manifold $X$, without any assumptions of coherence, with the purpose of studying the connection between the pure Hodge modules and the \lt-complexes. We show that if a filtered differential complex $(\cM^\bullet,F_\bullet)$ is filtered perverse then $\aDR(\cM^\bullet,F_\bullet)$ is isomorphic to a filtered $\cD$-module; a coherence assumption on the cohomology of $(\cM^\bullet,F_\bullet)$ implies that, in addition, this $\cD$-module is holonomic. We show the converse: the de Rham complex of a holonomic Cohen-Macaulay filtered $\cD$-module is filtered perverse.


title: Embeddings of curves and surfaces

abstract: We prove a general embedding theorem for Cohen--Macaulay curves (possibly nonreduced), and deduce a cheap proof of the standard results on pluricanonical embeddings of surfaces, assuming vanishing H^1(2K_X)=0.


title: Ample divisors on the blow up of P^3 at points

abstract: We give a condition for certain divisors on the blow up of P^3 at points in general position to be ample. The result extends a theorem of G. Xu on the blow up of the projective plane.


title: Motives of uniruled 3-folds

abstract: We construct projectors in the ring of correspondences of a complex uniruled 3-fold $X$ which lift the Kuenneth components of the diagonal in singular cohomology and have other properties which were conjectured by J. Murre. Such Murre decompositions have been already obtained for curves, surfaces, abelian varieties and varieties with cell decompositions by the work of Manin, Shermenev, Beauville, Murre et.al.. In particular they define a natural filtration on the Chow groups of $X$ which was conjectured by Bloch and Beilinson. To do this we use Mori theory and construct projectors in the situation of a fiber space over a surface. These projectors may also be used in more general situations.


title: The Equivariant Chow Ring of SO(4)

abstract: The integral equivariant Chow ring of S0(4) is computed via the geometry of ruled quadric surfaces in P^3.


title: The Chow Ring of the Hilbert Scheme of Rational Normal Curves

abstract: Let H(d) be the (open) Hilbert scheme of rational normal curves of degree d in P^d. A presentation of the integral Chow ring of H(d) is given via equivariant Chow ring computations. Included also in the paper are algebraic computations of the integral equivariant Chow rings of the algebraic groups O(n), SO(2k+1). The results for S0(3)=PGL(2) are needed for the Hilbert scheme calculation.


title: Projective structures on a Riemann surface

abstract: For a compact Riemann surface $X$ of any genus $g$, let $L$denote the line bundle $K_{X\times X}\otimes {\cal O}_{X\times X}(2\Delta)$ on $X\times X$, where $K_{X\times X}$ is the canonical bundle of $X\times X$ and $\Delta$ is the diagonal divisor. We show that $L$ has a canonical trivialisation over the nonreduced divisor $2\Delta$. Our main result is that the space of projective structures on $X$ is canonically identified with the space of all trivialisations of $L$ over $3\Delta$ which restrict to the canonical trivialisation of $L$ over $2\Delta$ mentioned above. We give a direct identification of this definition of a projective structure with a definition of Deligne.We also describe briefly the origin of this work in the study of the so-called "Sugawara form" of the energy-momentum tensor in a conformal quantum field theory.


title: The Braid Monodromy of Plane Algebraic Curves and Hyperplane Arrangements

abstract: To a plane algebraic curve of degree n, Moishezon associated a braid monodromy homomorphism from a finitely generated free group to Artin's braid group B_n. Using Hansen's polynomial covering space theory, we give a new interpretation of this construction. Next, we provide an explicit description of the braid monodromy of an arrangement of complex affine hyperplanes, by means of an associated ``braided wiring diagram.'' The ensuing presentation of the fundamental group of the complement is shown to be Tietze-I equivalent to the Randell-Arvola presentation. Work of Libgober then implies that the complement of a line arrangement is homotopy equivalent to the 2-complex modeled on either of these presentations. Finally, we prove that the braid monodromy of a line arrangement determines the intersection lattice. Examples of Falk then show that the braid monodromy carries more information than the group of the complement, thereby answering a question of Libgober.


title: The Picard group of the moduli of G-bundles on a curve

abstract: Let G be a complex semi-simple group, and X a compact Riemann surface. The moduli space of principal G-bundles on X, and in particular the holomorphic line bundles on this space and their global sections, play an important role in the recent applications of Conformal Field Theory to algebraic geometry. In this paper we determine the Picard group of this moduli space when G is of classical or G_2 type (we consider both the coarse moduli space and the moduli stack).


title: A relation between standard conjectures and their arithmetic analogues

abstract: In this paper we resolve the arithmetic analogues of standard conjectures for an arithmetic variety, which are proposed by Gillet and Soule, into original standard conjectures and similar conjectures for two cycle class groups. One is the homologically trivial cycles. This is well-known as conjectures about the height pairing raised by Beilinson. The other is the cycle class groups consisting of vertical cycles. We show that the conjectures for the above two cycle class groups with Grothendieck's standard conjectures imply their arithmetic analogues.


title: Mirror Symmetry via 3-tori for a class of Calabi-Yau Threefolds

abstract: We give an example of the recent proposed mirror construction of Strominger, Yau and Zaslow in ``Mirror Symmetry is T-duality,'' hep-th/9606040. The paper first considers mirror symmetry for K3 surfaces in light of this construction. We then consider the example of mirror symmetry for Calabi-Yau threefolds of the type considered by Voisin and Borcea, of the form SxE/involution where S is a K3 surface with involution, and E is an elliptic curve. We show how dualizing a family of special Lagrangian real 3-tori does actually produce the mirrors in these examples.


title: Residues and duality for Cousin complexes

abstract: We construct a canonical pseudofunctor ^# on the category of finite-type maps of (say) connected noetherian universally catenary finite-dimensional separated schemes, taking values in the category of Cousin complexes. This pseudofunctor is a concrete approximation to the restriction of the Grothendieck Duality pseudofunctor ^! to the full subcategory of the derived category having Cohen-Macaulay complexes as objects (a subcategory equivalent to the category of Cousin complexes, once a codimension function has been fixed). Specifically, for Cousin complexes M and any scheme map f:X -> Y as above, there is a functorial derived-category map \gamma: f^# M -> f^! M inducing a functorial isomorphism in the category of Cousin complexes f^# M \iso E(f^! M) (where E is the Cousin functor). \gamma itself is an isomorphism if the complex f^! M is Cohen-Macaulay--which will be so whenever the map f is flat or whenever the complex M is injective. Also, f^# takes residual (resp. injective) complexes on Y to residual (resp. injective) complexes on X; and so the pseudofunctor ^# generalises--and makes canonical--the "variance theory" of residual complexes developed in Chapter VI of Hartshorne's "Residues and Duality." Moreover, we generalise the Residue Theorem of loc.cit., p.369 by defining a functorial Trace map of graded modules Tr_f(M): f_*f^# M -> M (a sum of local residues) such that whenever f is proper, Tr_f(M) is a map of complexes and the pair (f^# M, Tr_f(M)) represents the functor Hom(f_*C, M) of Cousin complexes C.


title: The Geometry Underlying Mirror Symmetry

abstract: The recent result of Strominger, Yau and Zaslow relating mirror symmetry to the quantum field theory notion of T-duality is reinterpreted as providing a way of geometrically characterizing which Calabi-Yau manifolds have mirror partners. The geometric description---that one Calabi-Yau manifold should serve as a compactified, complexified moduli space for special Lagrangian tori on the other Calabi-Yau manifold---is rather surprising. We formulate some precise mathematical conjectures concerning how these moduli spaces are to be compactified and complexified, as well as a definition of geometric mirror pairs (in arbitrary dimension) which is independent of those conjectures. We investigate how this new geometric description ought to be related to the mathematical statements which have previously been extracted from mirror symmetry. In particular, we discuss how the moduli spaces of the `mirror' Calabi-Yau manifolds should be related to one another, and how appropriate subspaces of the homology groups of those manifolds could be related. We treat the case of K3 surfaces in some detail.


title: On the general elephant conjecture for Mori conic bundles

abstract: Let $f:X\to S$ be an extremal contraction from a threefolds with terminal singularities onto a surface (so called Mori conic bundle). We study some particular cases of such contractions: quotients of usual conic bundles and index two contractions. Assuming Reid's general elephants conjecture we also obtain a rough classification. We present many examples.


title: Vanishing Theorems and Syzygies for K3 Surfaces and Fano Varieties

abstract: In this article we prove some strong vanishing theorems on K3 surfaces. As an aplication of them, we obtain higher syzygy results for K3 surfaces and Fano varieties.


title: Residues in intersection homology and L_p-cohomology

abstract: Suppose $M^{n+1}$ is a complex manifold and K is a hypersurface with isolated singularities. Let $\omega$ be a holomorphic form on $M\setminus K$ with the first order pole on K. The Leray residue of such form gives an element in the n-th homology of K which is the Alexander dual to $[\omega ]\in H^{n+1}(M\setminus K)$. It always lifts to the intersection homology if 0 does not belong to the spectra of a singular points. We assume that singularities are described by the quasihomogeneous equations in certain coordinate systems. Suppose that oscillation indicators of the singular points are greater then -1. Then we find a metric on $K\setminus\Sigma$ in which the residue form is square integrable (and even L_p-integrable for p>2). Applying the isomorphism of L_p-cohomology and intersection homology we obtain a particular lift of the residue class in homology to intersection homology.


title: Lower Bounds for diophantine Approximation

abstract: We introduce a subexponential algorithm for geometric solving of multivariate polynomial equation systems whose bit complexity depends mainly on intrinsic geometric invariants of the solution set. From this algorithm, we derive a new procedure for the decision of consistency of polynomial equation systems whose bit complexity is subexponential, too. As a byproduct, we analyze the division of a polynomial modulo a reduced complete intersection ideal and from this, we obtain an intrinsic lower bound for the logarithmic height of diophantine approximations to a given solution of a zero--dimensional polynomial equation system. This result represents a multivariate version of Liouville's classical theorem on approximation of algebraic numbers by rationals. A special feature of our procedures is their {\em polynomial} character with respect to the mentioned geometric invariants when instead of bit operations only arithmetic operations are counted at unit cost. Technically our paper relies on the use of straight--line programs as a data structure for the encoding of polynomials, on a new symbolic application of Newton's algorithm to the Implicit Function Theorem and on a special, basis independent trace formula for affine Gorenstein algebras.


title: Notes on stable maps and quantum cohomology

abstract: These are notes from a jointly taught class at the University of Chicago and lectures by the first author in Santa Cruz. Topics covered include: construction of moduli spaces of stable maps, Gromov-Witten invariants, quantum cohomology, and examples. These notes will appear in the proceedings of the 1995 Santa Cruz conference.


title: Compactified jacobians

abstract: Let J be the jacobian of a reduced projective curve C with nodes only. 1) We give a simple and natural definition for its many compactifications and show the connection with various other definitions appearing in the literature. 2) Among all compactifications we choose one canonical, and define a theta divisor on it. 3) We give two very explicit and simple descriptions of a stratification of this canonical compactification into homogeneous spaces over J.


title: Log canonical singularities and complete moduli of stable pairs

abstract: 1) Assuming log Minimal Model Conjecture, we give a construction of a complete moduli space of stable log pairs of arbitrary dimension generalizing directly the space M_{g,n} of pointed stable curves. Each stable pair has semi log canonical singularities. 2) We prove that a stable quasiabelian pair, defined by author and I.Nakamura as the limit of abelian varieties with theta divisors, has semi log canonical singularities.


title: On Mumford's construction of degenerating abelian varieties

abstract: We prove that a 1-dimnl family of abelian varieties with an ample sheaf defining principal polarization can be canonically compactified (after a finite base change) to a projective family with an ample sheaf. We show that the central fiber (P,L), which we call an SQAV, has a canonical Cartier theta divisor. We give a combinatorial definition for SQAVs and describe their geometrical properties, in particular compute cohomologies of L^n, n\ge0.


title: Complete intersections and rational equivalence

abstract: Two cycles on a projective variety over an algebraically closed field are shown to be rationally equivalent if and only if their difference equals a difference of complete intersections of a certain kind. Some of Bloch's conjectures for zero-cycles on surfaces can be restated more geometrically, which leads to several questions.


title: On the Thomae formula for $Z_N$ curves

abstract: We shall give an elementary and rigorous proof of the Thomae formula for ${\bf Z}_N$ curves which was discovered by Bershadsky and Radul. Instead of using the determinant of the Laplacian we use the traditional variational method which goes back to Riemann, Thomae, Fuchs. In the proof we made explicit the algebraic expression of the chiral Szeg\"{o} kernels and proves the vanishing of zero values of derivatives of theta functions with ${\bf Z}_N$ invariant $1/2N$ characteristics.


title: Balanced Varieties

abstract: After the work of Bloch and Srinivas on correspondences and algebraic cycles we begin the study of a birational class of algebraic varieties determined by the property that a multiple of the diagonal is rationally equivalent to a cycle supported on proper subschemes.


title: Rank Two Bundles on Algebraic Curves and Decoding of Goppa Codes

abstract: We study a connection between two topics: Decoding of Goppa codes arising from an algebraic curve, and rank two extensions of certain line bundles on the curve.


title: The genus of curves on the three dimensional quadric

abstract: By means of an {\it ad hoc} modification of the so-called ``Castelnuovo-Harris analysis" we derive an upper bound for the genus of integral curves on the three dimensional nonsingular quadric which lie on an integral surface of degree $2k$, as a function of $k$ and the degree $d$ of the curve. In order to obtain this we revisit the Uniform Position Principle to make its use computation-free. The curves which achieve this bound can be conveniently characterized. Keywords: Castelnuovo-Harris Bound, Uniform Position Principle, Low Codimension, Linkage


title: A finiteness theorem for low-codimensional nonsingular subvarieties of quadrics

abstract: We prove that there are only finitely many families of codimension two nonsingular subvarieties of quadrics $\Q{n}$ which are not of general type, for $n=5$ and $n\geq 7$. We prove a similar statement also for the case of higher codimension. The case $n=6$ has been recently settled by Fania-Ottaviani. Keywords: Codimension two, Grassmannians, Lifting, Low codimension, Not of General Type, Polynomial Bound, Quadrics


title: Codimension two nonsingular subvarieties of quadrics: scrolls and classification in degree $d\leq 10$

abstract: Let $X$ be a codimension two nonsingular subvariety of a nonsingular quadric $\Q{n}$ of dimension $n\geq 5$. We classify such subvarieties when they are scrolls. We also classify them when the degree $d\leq 10$. Both results were known when $n=4$. Keywords: Classification; liaison; low codimension; low degree; quadric; scroll; vector bundle


title: Some adjunction-theoretic properties of codimension two nonsingular subvarieties of quadrics

abstract: We make precise the structure of the first two reduction morphisms associated with codimension two nonsingular subvarieties of quadrics $\Q{n}$, $n\geq 5$. We give a coarse classification of the same class of subvarieties when they are assumed to be not of log-general-type. Keywords: Adjunction Theory, classification, codimension two, conic bundles, low codimension, non log-general-type, quadric, reduction, special variety


title: Enumerating curves on rational surfaces: the rational fibration method

abstract: A new, simple method to approach enumerative questions about rational curves on rational surfaces is described. Applications include a short proof of Kontsevich's formula for plane curves and a the solution of the analogous problem for the Hirzebruch surface F_3.


title: Parameter spaces for curves on surfaces and enumeration of rational curves

abstract: We answer some enumerative questions about irreducible rational curves on Hirzebruch surfaces, by combining an idea of Kontsevich with the study of the geometry of certain natural parameter spaces. Our formulas generalize Kontsevich's formula for rational plane curves of given degree.


title: Counting plane curves of any genus

abstract: We obtain a recursive formula answering the following question: How many irreducible, plane curves of degree d and (geometric) genus g pass through 3d-1+g general points in the plane? The formula is proved by studying suitable degenerations of plane curves.


title: The intersection form in the cohomology of the moduli space of genus 0 $n$-pointed curves $H^*(\overline{M}_{0,n})$ and the explicit K\"unneth formula in quantum cohomology

abstract: We prove a general formula for the intersection form of two arbitrary monomials in boundary divisors. Furthermore we present a tree basis of the cohomology of $\overline {M}_{0,n}$. With the help of the intersection form we determine the Gram matrix for this basis and give a formula for its inverse. This enables us to calculate the tensor product of the higher order multiplications arising in quantum cohomology and formal Frobenius manifolds. In the context of quantum cohomology this establishes the explicit K\"unneth formula.


title: Holomorphic bundles on O(-k) are algebraic

abstract: We show that holomorphic bundles on O(-k) for k > 0 are algebraic. We also show holomorphic bundles on O(-1) are trivial outside the zero section.