title: Mapping threefolds onto three-quadrics

abstract: We prove that the degree of a nonconstant morphism from a smooth projective 3-fold $X$ with N\'{e}ron-Severi group ${\bf Z}$ to a smooth 3-dimensional quadric is bounded in terms of numerical invariants of $X$. In the special case where $X$ is a 3-dimensional cubic we show that there are no such morphisms. The main tool in the proof is Miyaoka's bound on the number of double points of a surface.


title: Lang's conjectures, Conjecture H, and uniformity

abstract: The purpose of this note is to wish a happy birthday to Professor Lucia Caporaso.* We prove that Conjecture H of Caporaso et. al. ([CHarM], sec. 6) together with Lang's conjecture implies the uniformity of rational points on varieties of general type, as predicted in [CHarM]; a few applications in arithmetic and geometry are stated. Let X be a variety of general type defined over a number field K. It was conjectured by S. Lang that the set of rational points X(K) is not Zariski dense in X. In the paper [CHarM] of L. Caporaso, J. Harris and B. Mazur it is shown that the above conjecture of Lang implies the existence of a uniform bound on the number of K-rational points of all curves of fixed genus g over K. The paper [CHarM] has immediately created a chasm among arithmetic geometers. This chasm, which often runs right in the middle of the personalities involved, divides between loyal believers of Lang's conjecture, who marvel in this powerful implication, and the disbelievers, who try (so far in vain) to use this implication to derive counterexamples to the conjecture. In this paper we will attempt to deepen this chasm, using the techniques of [CHarM] and continuing [aleph], by proving more implications, some of which very strong, of various conjectures of Lang. Along the way we will often use a conjecture donned by Caporaso et. al. Conjecture H (see again [CHarM], sec. 6) about Higher dimensional varieties, which is regarded very plausible among experts of higher dimensional algebraic geometry. In particular, we will show


title: Rational surfaces in P^4 containing a plane curve

abstract: The families of smooth rational surfaces in $\PP^4$ have been classified in degree $\le 10$. All known rational surfaces in $\PP^4$ can be represented as blow-ups of the plane $\PP^2$. The fine classification of these surfaces consists of giving explicit open and closed conditions which determine the configurations of points corresponding to all surfaces in a given family. Using a restriction argument originally due independently to Alexander and Bauer we achieve the fine classification in two cases, namely non-special rational surfaces of degree 9 and special rational surfaces of degree 8. The first case completes the fine classification of all non-special rational surfaces. In the second case we obtain a description of the moduli space as the quotient of a rational variety by the symmetric group $S_5$. We also discuss in how far this method can be used to study other rational surfaces in $\PP^4$.


title: A Geometric Invariant Theory Compactification of M_{g,n} Via the Fulton-MacPherson Configuration Space

abstract: A compactification over $\overline{M}_g$ of $M_{g,n}$ is obtained by considering the relative Fulton-MacPherson configuration space of the universal curve. The resulting compactification differs from the Deligne-Mumford space $\overline{M}_{g,n}$. In case $n=2$, the compactification constructed here and the Deligne-Mumford compactification are essentially the distinct minimal resolutions of the fiber product over $\overline{M}_g$ of the universal curve with itself.


title: A Note On Elliptic Plane Curves With Fixed j-Invariant

abstract: Let N_d be the number of degree d, nodal, rational plane curves through 3d-1 points in the complex projective plane. The number of degree d>=3, nodal, elliptic plane curves with a fixed (general) j-invariant through 3d-1 points is found to be {d-1 \choose 2}*N_d.


title: Determinant Bundles, Quillen Metrics, and Mumford Isomorphisms Over the Universal Commensurability Teichm\"uller Space

abstract: There exists on each Teichm\"uller space $T_g$ (comprising compact Riemann surfaces of genus $g$), a natural sequence of determinant (of cohomology) line bundles, $DET_n$, related to each other via certain ``Mumford isomorphisms''. There is a remarkable connection, (Belavin-Knizhnik), between the Mumford isomorphisms and the existence of the Polyakov string measure on the Teichm\"uller space. This suggests the question of finding a genus-independent formulation of these bundles and their isomorphisms. In this paper we combine a Grothendieck-Riemann-Roch lemma with a new concept of $C^{*} \otimes Q$ bundles to construct such an universal version. Our universal objects exist over the universal space, $T_\infty$, which is the direct limit of the $T_g$ as the genus varies over the tower of all unbranched coverings of any base surface. The bundles and the connecting isomorphisms are equivariant with respect to the natural action of the universal commensurability modular group.


title: Topological invariants of a fan associated to a toric variety

abstract: Associated to a toric variety $X$ of dimension $r$ over a field $k$ is a fan $\Delta$ on $\Bbb R^r$. The fan $\Delta$ is a finite set of cones which are in one-to-one correspondence with the orbits of the torus action on $X$. The fan $\Delta$ inherits the Zariski topology from $X$. In this article some cohomological invariants of $X$ are studied in terms of whether or not they depend only on $\Delta$ and not $k$. Secondly some numerical invariants of $X$ are studied in terms of whether or not they are topological invariants of the fan $\Delta$. That is, whether or not they depend only on the finite topological space defined on $\Delta$. The invariants with which we are mostly concerned are the class group of Weil divisors, the Picard group, the Brauer group and the dimensions of the torsion free part of the \'etale cohomology groups with coefficients in the sheaf of units. The notion of an open neighborhood of a fan is introduced and examples are given for which the above invariants are sufficiently fine to give nontrivial stratifications of an open neighborhood of a fan all of whose maximal cones are nonsimplicial.


title: On the local geometry of moduli spaces of vector bundles

abstract: We give a canonical description of the formal moduli space of a vector bundle on a variety; as an application, we prove the closedness of certain differential forms on moduli corresponding to the trace form on the endomorphism algebra of the bundle.


title: Determinant of Period Integral

abstract: Period integrals arise from the comparison between Betti cohomologies and de Rham cohomologies. In this paper, we give a formula for the determinant of period integrals in terms of the canonical pairing between Picard group of rank 1 realizations and relative Chow group. It is compatible with the similar formula for Galois modules proved by the first author, and as a consequence, under the assumption of Gersten resolution, the determinant of the cohomology of a determinantally motivic object is motivic.


title: Flips from semi-stable 4-folds whose degenerate fibers are unions of Cartier divisors which are terminal factorial 3-folds

abstract: We shall investigate flipping contractions from a semi-stable 4-fold $X$ whose degenerate fiber is a union of Cartier divisors which are terminal factorial 3-folds. Especially we shall prove that $X$ is smooth along the flipping locus, and that the flip exists for such contractions.


title: Quaternionic Monopoles

abstract: We present the simplest non-abelian version of Seiberg-Witten theory: Quaternionic monopoles. These monopoles are associated with Spin^h(4)-structures on 4-manifolds and form finite-dimensional moduli spaces. On a Kahler surface the quaternionic monopole equations decouple and lead to the projective vortex equation for holomorphic pairs. This vortex equation comes from a moment map and gives rise to a new complex-geometric stability concept. The moduli spaces of quaternionic monopoles on Kahler surfaces have two closed subspaces, both naturally isomorphic with moduli spaces of canonically stable holomorphic pairs. These components intersect along Donaldsons instanton space and can be compactified with Seiberg-Witten moduli spaces. This should provide a link between the two corresponding theories. Notes: To appear in CMP The revised version contains more details concerning the Uhlenbeck compactfication of the moduli space of quaternionic monopoles, and possible applications are discussed. Attention ! Due to an ununderstandable mistake, the duke server had replaced all the symbols "=" by "=3D" in the tex-file of the revised version we sent on February, the 2-nd. The command "\def{\ad}" had also been damaged !


title: How to tell you're hearing a Calabi-Yau: Universal variations of Hodge structure and local Schottky relations for Calabi-Yau manifolds

abstract: A revised version with a number of corrections and refinements.


title: Minimal sections of conic bundles

abstract: Let the threefold X be a general smooth conic bundle over the projective plane P(2), and let (J(X), Theta) be the intermediate jacobian of X. In this paper we prove the existence of two natural families C(+) and C(-) of curves on X, such that the Abel-Jacobi map F sends one of these families onto a copy of the theta divisor (Theta), and the other -- onto the jacobian J(X). The general curve C of any of these two families is a section of the conic bundle projection, and our approach relates such C to a maximal subbundle of a rank 2 vector bundle E(C) on C, or -- to a minimal section of the ruled surface P(E(C)). The families C(+) and C(-) correspond to the two possible types of versal deformations of ruled surfaces over curves of fixed genus g(C). As an application, we find parameterizations of J(X) and (Theta) for certain classes of Fano threefolds, and study the sets Sing(Theta) of the singularities of (Theta).


title: The fiber of the Griffiths map for the non-hyperelliptic Fano threefolds of genus 6

abstract: Among smooth non-rational Fano 3-folds, the non-hyperelliptic Fano 3-fold X(10) of genus 6 has the unique property to admit a non-trivial orbit of birationally isomorphic 3-folds, inside its moduli space. Here we prove that these orbits are, in fact, the same as the fibers of the Griffiths period map for X(10). This leads upto the main result of the paper: The general fiber of the period map for X(10) is a union of two irreducible families of 3-folds: F(1) + F(2), each F(i) -- isomorphic to the Fano surface of conics of any of its elements. As an application, we give a negative answer to a Tjurin's conjecture: The general X(10) is birational to a quartic double solid.


title: Symmetric subgroups of rational groups of hermitian type

abstract: A rational group of hermitian type is an algebraic group over the rational numbers whose symmetric space is a hermitian symmetric space. We assume such a group $G$ to be given, which we assume is isotropic. Then, for any rational parabolic $P$ in the group $G$, we find a reductive rational subgroup $N$ closely related with $P$ by a relation we call incidence. This has implications to the geometry of arithmetic quotients of the symmetric space by arithmetic subgroups of $G$, in the sense that $N$ defines a subvariety on such an arithmetic quotient which has special behaviour at the cusp corresponding to the parabolic with which $N$ is incident.


title: Semistable 3-fold flips

abstract: We piece together ingredients, which are well known and documented in the literature, into a new proof of the existence of semistable 3-fold flips


title: Del Pezzo surfaces over Dedekind schemes

abstract: Let S be a Dedekind scheme with fraction field K. We study the following problem: given a Del Pezzo surface X, defined over K, construct a distinguished integral model of X, defined over all of S. We provide a satisfactory answer if S is a smooth complex curve, and a conjectural answer if X is a cubic Del Pezzo surface over (nearly) arbitrary S.


title: Hodge groups of abelian varieties with purely multiplicative reduction

abstract: The main result of the paper is that if $A$ is an abelian variety over a subfield $F$ of ${\bold C}$, and $A$ has purely multiplicative reduction at a discrete valuation of $F$, then the Hodge group of $A$ is semisimple. Further, we give necessary and sufficient conditions for the Hodge group to be semisimple. We obtain bounds on certain torsion subgroups for abelian varieties which do not have purely multiplicative reduction at a given discrete valuation, and therefore obtain bounds on torsion for abelian varieties, defined over number fields, whose Hodge groups are not semisimple.


title: Uniformity of stably integral points on elliptic curves

abstract: A common practice in arithmetic geometry is that of generalizing rational points on projective varieties to integral points on quasi-projective varieties. Following this practice, we demonstrate an analogue of a result of L. Caporaso, J. Harris and B. Mazur, showing that the Lang - Vojta conjecture implies a uniform bound on the number of stably integral points on an elliptic curve over a number field, as well as the uniform boundedness conjecture (Merel's theorem).


title: Composite Differentiable Functions

abstract: We introduce a new point of view towards Glaeser's theorem on composite $C^\infty$ functions [Ann. of Math. 1963], with respect to which we can formulate a ``$C^k$ composite function property" that is satisfied by all semiproper real analytic mappings. As a consequence, we see that a closed subanalytic set $X$ satisfies the $C^\infty$ composite function property if and only if the ring $C^\infty (X)$ of $C^\infty$ functions on $X$ is the intersection of all finite differentiability classes.


title: The index of $grad f(x,y)$

abstract: Let $f(x,y)$ be a real polynomial of degree $d$ with isolated critical points, and let $i$ be the index of $grad f$ around a large circle containing the critical points. An elementary argument shows that $|i| \leq d-1$. In this paper we show that $ i \leq max \{1, d-3 \}$. We also show that if all the level sets of $f$ are compact, then $i = 1$, and otherwise $ |i| \leq \dr -1 $ where $\dr$ is the sum of the multiplicities of the real linear factors in the homogeneous term of highest degree in $f$. The technique of proof involves computing $i$ from information at infinity. The index $i$ is broken up into a sum of components $i_{p,c}$ corresponding to points $p$ in the real line at infinity and limiting values $c \in \realinf$ of the polynomial. The numbers $i_{p,c}$ are computed in three ways: geometrically, from a resolution of $f(x,y)$, and from a Morsification of $f(x,y)$. The $i_{p,c}$ also provide a lower bound for the number of vanishing cycles of $f(x,y)$ at the point $p$ and value $c$.


title: A note on the genus of certain curves over finite fields

abstract: We prove the following result which was conjectured by Stichtenoth and Xing: let $g$ be the genus of a projective, irreducible non-singular curve over the finite field $\Bbb F_{q^2}$ and whose number of $\Bbb F_{q^2}$-rational points attains the Hasse-Weil bound; then either $4g\le (q-1)^2$ or $2g=(q-1)q$.


title: On Alternative Supermatrix Reduction

abstract: We consider a nonstandard odd reduction of supermatrices (as compared with the standard even one) which arises in connection with possible extension of manifold structure group reductions. The study was initiated by consideration of the generalized noninvertible superconformal-like transformations. The features of even- and odd-reduced supermatrices are investigated on a par. They can be unified into some kind of "sandwich" semigroups. Also we define a special module over even- and odd-reduced supermatrix sets, and the generalized Cayley-Hamilton theorem is proved for them. It is shown that the odd-reduced supermatrices represent semigroup bands and Rees matrix semigroups over a unit group.


title: On exotic algebraic structures on affine spaces

abstract: By an exotic algebraic structure on the affine space ${\bf C}^n$ we mean a smooth affine algebraic variety which is diffeomorphic to ${\bf R}^{2n}$ but not isomorphic to ${\bf C}^n$. This is a survey of the recent developement on the subject, which emphasizes its analytic aspects and points out some open problems.


title: Open problems on open algebraic varieties

abstract: This report records a large number of open problems in Affine Algebraic Geometry that were proposed by participants in a Conference on Open Algebraic Varieties at the Centre de Recherches en Mathematiques in Montreal at December 1994.


title: On localization and Riemann-Roch numbers for symplectic quotients

abstract: Suppose $(M,\omega)$ is a compact symplectic manifold acted on by a compact Lie group $K$ in a Hamiltonian fashion, with moment map $\mu: M \to \Lie(K)^*$ and Marsden-Weinstein reduction $M_{red} = \mu^{-1}(0)/K$. In this paper, we assume that $M$ has a $K$-invariant K\"ahler structure. In an earlier paper, we proved a formula (the residue formula) for $\eta_0 e^{\omega_0}[M_{red}]$ for any $\eta_0 \in H^*(M_{red})$, where $\omega_0$ is the induced symplectic form on $M_{red}$. Here we apply the residue formula in the special case $\eta_0 = Td(M_{red})$; when $K$ acts freely on $\mu^{-1}(0)$ this yields a formula for the Riemann-Roch number $RR (L_{red})$ of a holomorphic line bundle $L_{red}$ on $M_{red}$ that descends from a holomorphic line bundle $L$ on $M$ for which $c_1(L) = \omega$. Using the holomorphic Lefschetz formula we similarly obtain a formula for the $K$-invariant Riemann-Roch number $RR^K(L) $ of $L$. In the case when the maximal torus $T$ of $K$ has dimension one (except in a few special circumstances), we show the two formulas are the same. Thus in this special case the residue formula is equivalent to the result of Guillemin and Sternberg that $RR(L_{red}) = RR^K(L)$. (The residue formula was proved under the assumption that 0 is a regular value of $\mu$, and was given in terms of the restrictions of classes in the equivariant cohomology $H^*_T(M) $ of $M$ to the


title: Hermitian-Einstein Inequalities and Harder-Narasimhan Filtration

abstract: Unstable holomorphic bundles can be described algebraically by Harder-Narasimhan filtrations. In this note we show how such filtrations correspond to the existence of special metrics defined by Hermitian-Einstein inequalities.


title: Curves that change genus can have arbitrarily many rational points

abstract: A singular curve over a non-perfect field K may not have a smooth model over K. Those are said to "change genus". If K is a global field of positive characteristic and C/K a curve that change genus, then C(K) is known to be finite. The purpose of this note is to give examples of curves with fixed relative genus, defined over K for which #C(K) is arbitrarily large. The motivation for considering this problem comes from the work of Caporaso et al. [CHM], where they show that a conjecture of Lang implies that, for a number field K, #C(K) can be bounded in terms of g and K only for all curves C/K of genus g > 1.


title: Rang maximal pour $T_P^n$

abstract: In this paper, I compute the last non-trivial term of the minimal free resolution of the homogeneous ideal of $s$ points of $P^n$ in sufficiently general position, for any $s$, showing that this term is the one conjectured by the Minimal Resolution Conjecture of Anna Lorenzini. I use a geometrical method, the "vectorial m\'ethode d'Horace" developped by Andr\'e Hirschowitz and Carlos Simpson to get a proof of the MRC for $s$ large enough.


title: Stability of the Poincar\'e bundle

abstract: Let $C$ be a nonsingular projective curve of genus $g\ge2$ defined over the complex numbers, and let $M_{\xi}$ denote the moduli space of stable bundles of rank $n$ and determinant $\xi$ on $C$, where $\xi$ is a line bundle of degree $d$ on $C$ and $n$ and $d$ are coprime. It is shown that the universal bundle $\cu_{\xi}$ on $C\times M_{\xi}$ is stable with respect to any polarisation on $C\times M_{\xi}$. It is shown further that the connected component of the moduli space of $\cu_{\xi}$ containing $\cu_{\xi}$ is isomorphic to the Jacobian of $C$.


title: Semiorthogonal decomposition for algebraic varieties

abstract: A criterion for a functor between derived categories of coherent sheaves to be full and faithful is given. A semiorthogonal decomposition for the derived category of coherent sheaves on the intersection of two even dimensional quadrics is obtained. The behaviour of derived categories with respect to birational transformations is investigated. A theorem about reconstruction of a variety from the derived category of coherent sheaves is proved.


title: Fundamental group of locally symmetric varieties

abstract: Take a bounded symmetric domain $D$ and an arithmetic subgroup $\Gamma$ of ${\rm Aut}(D)$. Take the quotient $D/\Gamma$, compactify and resolve the singularities. We study the fundamental group of the compact complex manifolds that result from this procedure, and in particular the case of Siegel modular threefolds.


title: Higher cohomology triples and holomorphic extensions

abstract: We introduce equations for special metrics, and notions of stability for some new types of augmented holomorphic bundles. These new examples include holomorphic extensions, and in this case we prove a Hitchin-Kobayashi correspondence between a certain deformation of the Hermitian-Einstein equations and our definition of stability for an extension.


title: On the separate algebraicity along the families of algebraic curves

abstract: A new generalization of the classical separate algebraicity theorem is suggested and proved.


title: Cycles alg\'ebriques sur les surfaces K3 r\'eelles

abstract: For a real algebraic K3 surface $X(R)$, we give all possible values of the dimension $h^1_{alg}(X(R)$ of the group $\H^1_{alg}(X(R),Z/2)$ of algebraic cycles of $X(R)$. In particular, we prove that if $X(R)$ is not an M-surface, $X(R)$ can always be deformed to some $X'(R)$ with $h^1_{alg}(X'(R))=\dim\H^1(X(R),Z/2)$. Furthermore, we obtain that in certain moduli space of real algebraic K3 surfaces, the collection of real isomorphism classes of K3 surfaces $X(R)$ such that $h^1_{alg}(X(R))$is greater or equal than $k$ is a countable union of subspaces of dimension $20-k$.


title: Minimal Siegel modular threefolds

abstract: In this paper we study the maximal extension $\Gamma_t^*$ of the subgroup $\Gamma_t$ of $\operatorname{Sp}_4 (\bq)$ which is conjugate to the paramodular group. The index of this extension is $2^{\nu(t)}$ where $\nu(t)$ is the number of prime divisors of $t$. The group $\Gamma_t^*$ defines the minimal modular threefold ${\Cal A}_t^*$ which is a finite quotient of the moduli space ${\Cal A}_t$ of $(1,t)$-polarized abelian surfaces. A certain degree 2 quotient of ${\Cal A}_t$ is a moduli space of lattice polarized $K3$ surfaces. The space ${\Cal A}_t^*$ can be interpreted as the space of Kummer surfaces associated to $(1,t)$-polarized abelian surfaces. Using the action of $\Gamma_t^*$ on the space of Jacobi forms we show that many spaces between ${\Cal A}_t$ and ${\Cal A}_t^*$ posess a non-trivial 3-form, i.e. the Kodaira dimension of these spaces is non-negative. Finally we determine the divisorial part of the ramification locus of the finite map ${\Cal A}_t\rightarrow {\Cal A}_t^*$ which is a union of Humbert surfaces. We interprete the corresponding Humbert surfaces as Hilbert modular surfaces.


title: Modular forms and Donaldson invariants for 4-manifolds with $b_+=1$

abstract: We study the Donaldson invariants of simply connected $4$-manifolds with $b_+=1$, and in particular the change of the invariants under wall-crossing. We assume the conjecture of Kotschick and Morgan about the shape of the wall-crossing terms (which Oszva\'th and Morgan are now able to prove), and are determine a generating function for the wall-crossing terms in terms of modular forms. As an application we determine all the Donaldson invariants of the projective plane in terms of modular forms. The main tool are the blowup formulas, which are used to obtain recursive relations.


title: Wall-crossing formulas, Bott residue formula and the Donaldson invariants of rational surfaces

abstract: We study the Donaldson invariants of rational surfaces and their dependence on the chambers in the ample cone. We build on a previous joint paper in which we have expressed the change of the Donaldson invariants on an algebraic surface $S$ under crossing a so-called good wall in terms of certain intersection numbers on Hilbert schemes of points on $S$. In the current paper we assume that $S$ is rational. Thish enables us to apply the Bott residue theorem to evaluate these intersection numbers with the help of a computer. Combining this with the blowup formulas we obtain an algorithm for computing the Donaldson invariants of all rational surfaces in almost all chambers. In particular we compute all the $SU(2)$- and $SO(3)$-Donaldson invariants of the projective plane of degree at most 50.


title: Instantons and affine algebras I: The Hilbert scheme and vertex operators

abstract: This is the first in a series of papers which describe the action of an affine Lie algebra with central charge $n$ on the moduli space of $U(n)$-instantons on a four manifold $X$. This generalises work of Nakajima, who considered the case when $X$ is an ALE space. In particular, this describes the combinatorial complexity of the moduli space as being precisely that of representation theory, and thus will lead to a description of the Betti numbers of moduli space as dimensions of weight spaces. This Lie algebra acts on the space of conformal blocks (i\.e\., the cohomology of a determinant line bundle on the moduli space) generalising the ``insertion'' and ``deletion'' operations of conformal field theory, and indeed on any cohomology theory. In the particular case of $U(1)$-instantons, which is essentially the subject of this present paper, the construction produces the basic representation after Frenkel-Kac. Then the well known quadratic nature of $ch_2$, $$ch_2 = \frac{1}{2} c_1\cdot c_1 - c_2 $$ becomes precisely the formula for the eigenvalue of the degree operator, i\.e\. the well known quadratic behaviour of affine Lie algebras.


title: A Vector Bundle of Rank 2 on P1 x P3

abstract: The paper studies a rank 2 vector bundle on P1 x P3. Similarly to the Horrocks - Mumford bundle on P4 this vector bundle encodes a lot of geometric information. It is defined via the Serre construction by an abelian surface in P1 x P3. The bundle is stable with respect to O(1,1), its jumping lines are determined. Morover it is shown that it is closely related to a double structue on P1 x P1 embedded in P1 x P3 as well as to a certain pencil of quadrics of degree 4 in P3.


title: Deforming Calabi-Yau Threefolds

abstract: This paper first generalises the Bogomolov-Tian-Todorov unobstructedness theorem to the case of Calabi-Yau threefolds with canonical singularities. The deformation space of such a Calabi-Yau threefold is no longer smooth, but the general principle is that the obstructions to deforming such a threefold are precisely the obstructions to deforming the singularities of the threefold. Secondly, these results are applied to smoothing singular Calabi-Yau threefolds with crepant resolutions. Any such Calabi-Yau threefold with isolated complete intersection singularities which are not ordinary double points is smoothable. A Calabi-Yau threefold with non-complete intersection isolated singularities is proved to be smoothable under much stronger hypotheses.


title: Stacks of Stable Maps and Gromov-Witten Invariants

abstract: We correct some errors in the earlier version of this paper. Most importantly, the definition of isogeny of marked stable graphs has changed.


title: Residues in Toric Varieties

abstract: We study residues on a complete toric variety X, which are defined in terms of the homogeneous coordinate ring of X. We first prove a global transformation law for toric residues. When the fan of the toric variety has a simplicial cone of maximal dimension, we can produce an element with toric residue equal to 1. We also show that in certain situations, the toric residue is an isomorphism on an appropriate graded piece of the quotient ring. When X is simplicial, we prove that the toric residue is a sum of local residues. In the case of equal degrees, we also show how to represent X as a quotient (Y-{0})/C* such that the toric residue becomes the local residue at 0 in Y.


title: Automorphisms of crepant resolutions for quotient spaces

abstract: A formula for calculating the Lefschetz number of an automorphism acting on a crepant resolution for a quotient of a Kahler manifold derived from an equivariant version of McKay correspondence. The latter is proven in some cases. As an application the Lefschetz numbers of of involutions acting on Calabi-Yau threefolds and their mirrors are compared.


title: On triple coverings of irrational curves

abstract: Given a triple covering $X$ of genus $g$ of a general (in the sense of Brill-Noether) curve $C$ of genus $h$, we show the existence of base-point-free pencils of degree $d$ which are not composed with the triple covering for any $d\ge g-[{3h+1\over 2}]-1$ by utilizing some enumerative methods and computations. We also discuss about the sharpness of our main result and the so-called Castelnuovo-Severi bound byexhibiting some examples.


title: General n-canonical divisors on two-dimensional smoothable semi-log-terminal singularities

abstract: In this paper we calculate genaral n-canonical divisors on smoothable semi-log-terminal singularities in dimension 2, in other words, the full sheaves associated to the double dual of the nth tensor power of the dualizing sheaves of these singularities. And as its application we give the inequality which bound the Gorenstein index by the local self intersection number of the n-canonical divisor of these singularities.


title: The line bundles on the stack of parabolic $G$-bundles over curves and their sections

abstract: Let $X$ be a smooth, complete and connected curve and $G$ be a simple and simply connected algebraic group over $\comp$. We calculate the Picard group of the moduli stack of quasi-parabolic $G$-bundles and identify the spaces of sections of its members to the conformal blocs of Tsuchiya, Ueno and Yamada. We describe the canonical sheaf on these stacks and show that they admit a unique square root, which we will construct explicitly. Finally we show how the results on the stacks apply to the coarse moduli spaces and recover (and extend) the Drezet-Narasimhan theorem. We show moreover that the coarse moduli spaces of semi-stable $SO_r$-bundles are not locally factorial for $r\geq 7$.


title: A note on scrolls of smallest embedded codimension

abstract: Let $M$ be a submanifold of ${\Bbb P}^N$ of dimension $n>2$. Suppose that $(M,{\Cal O}_M(1))\cong{\Bbb P}({\Cal E}),{\Cal O}(1))$ for some vector bundle ${\Cal E}$ on a surface $S$. Then $N\ge 2n-1$ by Barth-Lefschetz Theorem. We are interested in the case $N=2n-1$. In 1994 Ionescu and Toma gave a classification of the cases where $S$ is not of general type. Here we propose a conjecture concerning this remaining case, which is verified for $n\le 1100$ by a computer programm.


title: On a class of rational cuspidal plane curves

abstract: We obtain new examples and the complete list of the rational cuspidal plane curves $C$ with at least three cusps, one of which has multiplicity ${\rm deg}\,C - 2$. It occurs that these curves are projectively rigid. We also discuss the general problem of projective rigidity of rational cuspidal plane curves.


title: On the number of singular points of plane curves

abstract: This is an extended, renovated and updated report on a joint work which the second named author presented at the Conference on Algebraic Geometry held at Saitama University, 15-17 of March, 1995. The main result is an inequality for the numerical type of singularities of a plane curve, which involves the degree of the curve, the multiplicities and the Milnor numbers of its singular points. It is a corollary of the logarithmic Bogomolov-Miyaoka-Yau's type inequality due to Miyaoka. It was first proven by F. Sakai at 1990 and rediscovered by the authors independently in the particular case of an irreducible cuspidal curve at 1992. Our proof is based on the localization, the local Zariski--Fujita decomposition and uses a graph discriminant calculus. The key point is a local analog of the BMY-inequality for a plane curve germ. As a corollary, a boundedness criterium for a family of plane curves has been obtained. Another application of our methods is the following fact: a rigid rational cuspidal plane curve cannot have more than 9 cusps.


title: A Noether-Lefschetz theorem for vector bundles

abstract: In this note we use the monodromy argument to prove a Noether-Lefschetz theorem for vector bundles.


title: On the diffeomorphism groups of elliptic surfaces

abstract: In this paper we determine for relatively minimal elliptic surfaces with positive Euler number the image of the natural representation of the group of orientation preserving self-diffeomorphisms on $\Hbar$, the second homology group reduced modulo torsion. To this end we construct as many embedded spheres of square -2 such that an isometry not induced from any combination of reflections at such spheres or from 'complex conjugation' can be shown not to be induced from some diffeomorphism at all. This is done with the help of Seiberg-Witten-invariants.


title: The Gauss map and the dual variety of real-analytic submanifolds in a sphere or in a hyperbolic space

abstract: We study the Gauss map and the dual variety of a real-analytic immersion of a connected compact real-analytic manifold into a sphere or into a hyperbolic space. The dual variety is defined to be the set of all normal directions of the immersion. First, we show that the image of the Gauss map characterizes the manifold. Also we show that the dual variety characterizes the manifold. Besides, duality of the second fundamental form and some results on degeneration are obtained. In Algebraic Geometry E-prints eight files are tar-compressed and uuencoded.


title: Remarks on Seshadri constants

abstract: Given a smooth complex projective variety $X$ and an ample line bundle $L$ on $X$. Fix a point $x\in X$. We consider the question, are there conditions which guarantee the maxima of the Seshadri constant of $L$ at $x$, i.e $\eps(L,x)=\root n \of {L^n}$? We give a partial answer for surfaces and find examples where the answer to our question is negative. If $(X,\Theta)$ is a general principal polarized abelian surface, then $\eps(\Theta,x)={4/3}<\sqrt{2}=\sqrt{\Theta^2}$ for all $x\in X$.


title: Koszul duality and Galois cohomology

abstract: It it shown that the Bloch-Kato conjecture on the norm residue homomorphism $K^M(F)/l \to H^*(G_F,Z/l)$ follows from its (partially known) low-degree part under the assumption that the Milnor K-theory algebra $K^M(F)/l$ modulo $l$ is Koszul. This conclusion is a case of a general result on the cohomology of nilpotent (co-)algebras and Koszulity.


title: A Projective Surface of Degree Eight with 168 Nodes

abstract: The estimate for the maximal number of ordinary double points of a projective surface of degree eight is improved to $168\leq\mu(8)\leq 174$ by constructing a projective surface of degree eight with 168 nodes.


title: Heisenberg algebra and Hilbert schemes of points on projective surfaces

abstract: I have just replaced the first line by %&amslplain in order to be compiled by AMS-LaTeX.


title: Descent, Motives and K-theory

abstract: To an arbitrary variety over a field of characteristic zero, we associate a complex of Chow motives, which is, up to homotopy, unique and bounded. We deduce that any variety has a natural Euler characteristic in the Grothendieck group of Chow motives. We show that the cohomology with integer coefficients of any singular variety over the complex numbers has a natural weight filtration. We define algebraic K-theory with "compact supports".


title: All strictly exceptional collections in $D^b_{coh}(P^m)$ consist of vector bundles

abstract: It is proved that any strictly exceptional collection generating the derived category of coherent sheaves on a smooth projective variety X with \rk K_0(X) = \dim X + 1 constists of locally free sheaves up to a common shift.


title: Correlation for Surfaces of General Type

abstract: The main geometric result of this paper is that given any family of surfaces of general type f:X-->B, for sufficiently large n the fiber product X^n_B dominates a variety of general type. This result is especially interesting when it is combined with Lang's Conjecture. This states that for a variety V of general type over a number field K, the K rational points V(K) are not Zariski dense in V. Assuming Lang's Conjecture, we prove the existence of a uniform bound on the degree of the Zariski closure of the K-rational points of a surface of general type.


title: Degenaration of Calabi-Yau Manifold with W-P Metric

abstract: In this paper we focus on determining for which degenerations the central fibre is at finite distance with respect to Weil-Petersson metric. We obtain a simple condition on the limiting mixed Hodge structure. Then we combine the result with the canonical mixed Hodge structure of the central fibre and obtain a simple cohomological condition for the central fibre to be at finite distance. As a corollary, we prove that a central fibre with simple nodes is at finite distance. This issue has been raised in the Physics literature including the recent development of so-called "mass-less black holes".


title: Spectral curves, algebraically completely integrable Hamiltonian systems, and moduli of bundles

abstract: This is the expanded text of a series of CIME lectures. We present an algebro-geometric approach to integrable systems, starting with those which can be described in terms of spectral curves. The prototype is Hitchin's system on the cotangent bundle of the moduli space of stable bundles on a curve. A variant involving meromorphic Higgs bundles specializes to many familiar systems of mathematics and mechanics, such as the geodesic flow on an ellipsoid and the elliptic solitons. We then describe some systems in which the spectral curve is replaced by various higher dimensional analogues: a spectral cover of an arbitrary variety, a Lagrangian subvariety in an algebraically symplectic manifold, or a Calabi-Yau manifold. One peculiar feature of the CY system is that it is integrable analytically, but not algebraically: the Liouville tori (on which the system is linearized) are the intermediate Jacobians of a family of Calabi-Yau manifolds. Most of the results concerning these three types of non-curve-based systems are quite recent. Some of them, as well as the compatibility between spectral systems and the KP hierarchy, are new, while other parts of the story are scattered through several recent preprints. As best we could, we tried to maintain the survey style of this article, starting with some basic notions in the field and building gradually to the recent developments.


title: Localization in equivariant intersection theory and the Bott residue formula

abstract: The purpose of this paper is to prove the localization theorem for torus actions in equivariant intersection theory. Using the theorem we give another proof of the Bott residue formula for Chern numbers of bundles on smooth complete varieties. In addition, our techniques allow us to obtain residue formulas for bundles on a certain class of singular schemes which admit torus actions. This class is rather special, but it includes some interesting examples such as complete intersections and Schubert varieties.


title: Modular subvarieties of arithmetic quotients of bounded symmetric domains

abstract: Arithmetic quotients are quotients of bounded symmetric domains by arithmetic groups, and modular subvarieties of arithmetic quotients are themselves arithmetic quotients of lower dimension which live on arithmetic quotients, by an embedding induced from an inclusion of groups of hermitian type. We show the existence of such modular subvarieties, drawing on earlier work of the author. If $\Gamma$ is a fixed arithmetic subgroup, maximal in some sense, then we introduce the notion of ``$\Gamma$-integral symmetric'' subgroups, which in turn defines a notion of ``integral modular subvarieties'', and we show that there are finitely many such on an (isotropic, i.e, non-compact) arithmetic variety.


title: Heights for line bundles on arithmetic surfaces

abstract: For line bundles on arithmetic varieties we construct height functions using arithmetic intersection theory. In the case of an arithmetic surface, generically of genus g, for line bundles of degree g equivalence is shown to the height on the Jacobian defined by the Theta divisor.


title: Grothendieck topologies and deformation theory II

abstract: This paper is a continuation of ``Operads, Grothendieck topologies and deformation theory'' (alg-geom/9502010). We show how to develop a cohomology theory that would control deformations of a sheaf of associative algebras over a scheme by means of introducing an appropriate site and considering sheaves on it.


title: Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant

abstract: This article contains an elementary constructive proof of resolution of singularities in characteristic zero. Our proof applies in particular to schemes of finite type and to analytic spaces (so we recover the great theorems of Hironaka). We introduce a discrete local invariant $\inv_X (a)$ whose maximum locus determines a smooth centre of blowing up, leading to desingularization. To define $\inv_X$, we need only to work with a category of local-ringed spaces $X=(|X|,{\cal O}_X)$ satisfying certain natural conditions. If $a\in |X|$, then $\inv_X(a)$ depends only on $\widehat{\cal O}_{X,a}$. More generally, $\inv_X(a)$ is defined inductively after any sequence of blowings-up whose centres have only normal crossings with respect to the exceptional divisors and lie in the constant loci of $\inv_X(\cdot)$. The paper is self-contained and includes detailed examples. One of our goals is that the reader understand the desingularization theorem, rather than simply ``know'' it is true.


title: Topological Classifying Spaces of Lie Algebras and the Natural Completion of Contractions

abstract: The space K^n of all n-dimensional { Lie} algebras has a natural non-Hausdorff topology k^n, which has characteristic limits, called transitions, A -> B, between distinct Lie algebras A and B. The entity of these transitions are the natural transitive completion of the well known Inonu-Wigner contractions and their partial generalizations by Saletan. Algebras containing a common ideal of codimension 1 can be characterized by homothetically normalized Jordan normal forms of one generator of their adjoint representation. For such algebras, transitions A -> B can be described by limit transitions between corresponding normal forms. The topology k^n is presented in detail for n < 5. Regarding the orientation of the algebras as vector spaces has a non-trivial effect for the corresponding topological space K^n_or: There exist both, selfdual points and pairs of dual points w.r.t. orientation reflection.


title: Geometry of plane curves via Tschirnhausen resolution tower

abstract: We show the existence of toric resolution tower for an irreducible curve singularity which is explicitly described by Tschirnhausen polynomials. We deduce for a smooth affine plane curve from its topology restrictions for its singularity at infinity. For instance, we discribe the singularities at infinity (up to equisingular deformation) for curves of genus 0,1 and 2. From this follows an extension of the Abhyankar-Moh-Suzuki theorem to genus 1 and 2.


title: Zagier's conjecture on $L(E,2)$

abstract: In this paper we introduce an elliptic analog of the Bloch-Suslin complex and prove that it (essentially) computes the weight two parts of the groups $K_2(E)$ and $K_1(E)$ for an elliptic curve $E$ over an arbitrary field $k$. Combining this with the results of Bloch and Beilinson we proved Zagier's conjecture on $L(E,2)$ for modular elliptic curves over $\Bbb Q$.


title: Frobenius morphisms over Z/p^2 and Bott vanishing

abstract: Let $X$ be a smooth projective algebraic variety over $Z/p$, which has a flat lift to a scheme $X'$ over $Z/p^2$. If the absolute Frobenius morphism $F$ on $X$ lifts to a morphism on $X'$, then an old trick by Mazur shows that push-down of the de Rham complex under $F$ decomposes. We show that the quasi-isomorphism in question is split. This is then applied to toric varieties (where a glueing argument gives lifting of Frobenius to $Z/p^2$) and we derive natural characteristic $p$ proofs of Bott vanishing and degeneration of the Danilov spectral sequence. For flag varieties we obtain generalizations of a result of Paranjape and Srinivas about non-lifting of Frobenius to the Witt vectors.


title: Actions of groups of birationally extendible automorphisms

abstract: We study the actions of a Lie group $G$ by birationally extendible automorphisms on a domain $D\subset C^n$. For a large class of such domains defined by polynomial inequalities, all automorphisms are of this type. In the cases 1) $G$ has finitely many components or 2) the degree of the automorphisms is bounded, we prove that the action of $G$ is projectively linearizable, i.e. there exist a linear representation of $G$ on some $ C^{N+1}$ and a holomorphic $G$-equivariant embedding $i: D\to P^N$, which is a restriction of a rational mapping. As a corollary we obtain as many rational invariant functions as the dimension of generic orbits allows. A hard copy is available from Dmitri.Zaitsev@rz.ruhr-uni-bochum.de


title: On the quantum cohomology of the plane, old and new

abstract: We describe a method for counting maps of curves of given genus (and variable moduli) to $\Bbb P^2$, essentially by splitting the $\Bbb P^2$ in two; then specialising to the case of genus 0 we show that the method of quantum cohomology may be viewed as the 'mirror' of the former method where one splits the $\Bbb P^1$ rather than the $\Bbb P^2$, and we indicate a proof of the associativity of quantum multiplication based on this idea.


title: Quotients by Groupoids

abstract: We show that if a flat group scheme acts properly, with finite stabilizers, on an algebraic space, then a quotient exists as a separated algebraic space. More generally we show any flat groupid for which the family of stabilizers is finite has a uniform geometric, uniform categorical quotient in the category of algebraic spaces. Our argument is elementary and essentially self contained.


title: Anticanonical Rational Surfaces

abstract: A determination of the fixed components, base points and irregularity is made for arbitrary numerically effective divisors on any smooth projective rational surface having an effective anticanonical divisor. All of the results are proven over an algebraically closed field of arbitrary characteristic. Applications, treated in separate papers, include questions involving: points in good position, birational models of rational surfaces in projective space, and resolutions for ideals of fat point subschemes of $P^2$.


title: Free Resolutions of Fat Point Ideals on $P^2$

abstract: By defining a fat point subscheme of $P^2$ to be a 0-dimensional subscheme defined by a sheaf of integrally closed ideals one extends the notion of fat point subschemes to allow infinitely near points. With this notion of fat points, this preprint determines the number of generators in each degree in a minimal homogeneous set of generators for the homogeneous ideal defining any fat point subscheme supported at points of any plane conic, smooth or not. Special cases for points on a cubic are also studied. All work is over an algebraically closed field of arbitrary characteristic.


title: Generators for Symbolic Powers of Ideals Defining General Points of $P^2$

abstract: Given distinct points $p_1,\cdots,p_r$ of the projective plane $P^2$ and a positive integer $m$, the homogeneous ideal defining the fat point subscheme $Z=m(p_1+\cdots+p_r)$ is the symbolic power $I^{(m)}$ of the homogeneous ideal $I$ defining the smooth union of the $r$ points $p_1,\ldots,p_r$. If $p_1,\ldots,p_r$ are sufficiently general, it is known that the maximal rank conjecture holds for $I$; i.e., for every $d$ the multiplication map $I_1\otimes I_d\to I_{(d+1)}$ on homogeneous components has maximal rank (meaning the map is either injective or surjective). One easily sees this fails for symbolic powers of ideals defining general points; this preprint relates the failure to the occurrence of (in Nagata's terminology) uniform abnormal curves, and, for $r<10$, takes complete account of the failure, thereby completely determining the modules in a minimal free resolution of $I^{(m)}$ when $r<10$. It is also conjectured that maximal rank holds if $r>9$. Assuming this and a previous conjecture of the author, one can completely determine the modules in a minimal free resolution of $I^{(m)}$ for any $r>0$ general points and any $m>0$. The author's www site, http://www.math.unl.edu/~bharbour, makes available, in addition to plainTeX textfile and dvi versions of this preprint, a Macintosh (stuffed and bin hexed) executable and a C source textfile program which output the (conjectural for $r>9$) modules in a minimal free resolution of $I^{(m)}$ for any $r>0$ general plane points and any $m>0$. Web visitors can also run a version of


title: The Canonical Class of $\overline{M}_{0,n}(P^r,d)$ And Enumerative Geometry

abstract: D. Abramovich found an error in the singularity analysis in the first posting of this paper affecting one formula (Thanks Dan).The error has been corrected. Only the arithmetic genus formula has changed. The geometric genus and all the canonical class formulas are the same.


title: Gorenstein algebras, symmetric matrices, self-linked ideals, and symbolic powers

abstract: Inspired by recent work in the theory of central projections onto hypersurfaces, we characterize self-linked perfect ideals of grade 2 as those with a Hilbert--Burch matrix that has a maximal symmetric subblock. We also prove that every Gorenstein perfect algebra of grade 1 can be presented, as a module, by a symmetric matrix. Both results are derived from the same elementary lemma about symmetrizing a matrix that has, modulo a nonzerodivisor, a symmetric syzygy matrix. In addition, we establish a correspondence, roughly speaking, between Gorenstein perfect algebras of grade 1 that are birational onto their image, on the one hand, and self-linked perfect ideals of grade 2 that have one of the self-linking elements contained in the second symbolic power, on the other hand. Finally, we provide another characterization of these ideals in terms of their symbolic Rees algebras, and we prove a criterion for these algebras to be normal.


title: The Toda hierarchy and the KdV hierarchy

abstract: The Toda hierarchy of size $N$ is well known to be analogous to the KdV hierarchy at $N$ goes to infinity. This paper shows that given $f$ a periodic function, there is a canonical way of defining the initial data for the Toda lattice equations so that the evolution of this data under the Toda lattice hierarchy looks asymptotically like the evolution of $f$ under the KdV hierarchy. Further, the conserved quantities of $f$ and those of the Toda hierarchy match.


title: Obstruction bundles, semiregularity, and Seiberg-Witten invariants

abstract: We compare the deformation theory and the analytic structure of the Seiberg-Witten moduli spaces of a K\"ahler surface to the corresponding components of the Hilbert scheme, and show that they are isomorphic. Next we show how to compute the invariant in case the moduli space is smooth but not of the expected dimension, and apply this study to elliptic surfaces. Finally we discuss ruled surfaces, both products and more general ruled surfaces. For product ruled surfaces we relate the infinitesimal structure of the moduli spaces to Brill-Noether theory and compute the invariant in special cases. For more general ruled surfaces, we relate the geometry of the Hilbert scheme to properties of stable bundles and give more general computations.


title: Bogomolov conjecture for curves of genus 2 over function fields

abstract: In this note, we will show that Bogomolov conjecture holds for a non-isotrivial curve of genus 2 over a function field.


title: Mirror duality and string-theoretic Hodge numbers

abstract: We prove in full generality the mirror duality conjecture for string-theoretic Hodge numbers of Calabi-Yau complete intersections in Gorenstein toric Fano varieties. The proof is based on properties of intersection cohomology


title: The weight-two Hodge structure of moduli spaces of sheaves on a K3 surface

abstract: We prove that the weight-two Hodge structure of moduli spaces of torsion-free sheaves on a K3 surface is as described by Mukai (the rank is arbitrary but we assume the first Chern class is primitive). We prove the moduli space is an irreducible symplectic variety (by Mukai's work it was known to be symplectic). By work of Beauville, this implies that its $H^2$ has a canonical integral non-degenrate quadratic form; Mukai's recepee for $H^2$ includes a description of Beauville's quadratic form. As an application we compute higher-rank Donaldson polynomials of $K3$ surfaces.


title: Finiteness Theorem for Sp(4,Z)

abstract: We consider Siegel upper half space of rank two ${\cal H}^2$ and different subgroups $H\subseteq {\bf Sp(4,Z)}$ of finite index. The purpose of this paper is to prove that the field of rational functions of ${\cal H}^2/H$ has general type for all but the finite number of $H$.


title: Instantons and affine Lie algebras

abstract: Various constructions of the affine Lie algebra action on the homology group of moduli spaces of instantons on 4-manifolds are discussed. The analogy between the local-global principle and the role of mass is also explained. The detailed proofs are given in separated papers \cite{Na-algebra,Na-Hilbert}.


title: On Fujita's freeness conjecture for 3-folds and 4-folds

abstract: The result on 3-fold is now optimal by the result of Ein-Lazarsfeld and Helmke.


title: On the Brill-Noether Problem for Vector Bundles

abstract: On an arbitrary compact Riemann surface, necessary and sufficient conditions are found for the existence of semistable vector bundles with slope between zero and one and a prescribed number of linearly independent holomorphic sections. Existence is achieved by minimizing the Yang-Mills-Higgs functional.


title: Some Remarks on Beilinson Adeles

abstract: This paper contains two remarks on Beilinson's adeles with values in the De Rham complex of a scheme. The first is an interpretation, in terms of adeles, of the decomposition of the De Rham complex on a scheme defined modulo $p^{2}$ (the result of Deligne-Illusie). The second remark is about the possible relation between adeles and Hodge decomposition. We work out a counter example.


title: Smooth Formal Embeddings and the Residue Complex

abstract: Let \pi : X -> S be a finite type morphism of noetherian schemes. A smooth formal embedding of X (over S) is a bijective closed immersion X -> \frak{X}, where \frak{X} is a noetherian formal scheme, formally smooth over S. An example of such an embedding is the formal completion \frak{X} = Y_{/X} where X \subset Y is an algebraic embedding. Smooth formal embeddings can be used to calculate algebraic De Rham (co)homology. Our main application is an explicit construction of the Grothendieck residue complex when S is a regular scheme. By definition the residue complex is the Cousin complex of \pi^{!} \cal{O}_{S}. We start with Huang's theory of pseudofunctors on modules with 0-dimensional support, which provides a graded sheaf \cal{K}^{.}_{X/S}. We then use smooth formal embeddings to obtain the coboundary operator on \cal{K}^{.}_{X / S}. We exhibit a canonical isomorphism between the complex (\cal{K}^{.}_{X/S}, \delta) and the residue complex of Grothendieck. When \pi is equidimensional of dimension n and generically smooth we show that H^{-n} \cal{K}^{.}_{X/S} is canonically isomorphic to the sheaf of regular differentials of Kunz-Waldi. Another issue we discuss is Grothendieck Duality on a noetherian formal scheme \frak{X}. Our results on duality are used in the construction of \cal{K}^{.}_{X/S}.


title: K3 surfaces, Lorentzian Kac--Moody algebras and Mirror Symmetry

abstract: We consider the variant of Mirror Symmetry Conjecture for K3 surfaces which relates "geometry" of curves of a general member of a family of K3 with "algebraic functions" on the moduli of the mirror family. Lorentzian Kac--Moody algebras are involved in this construction. We give several examples when this conjecture is valid.


title: Nilpotent groups and universal coverings of smooth projective varieties

abstract: In this paper we prove that the universal cover of a smooth projective variety with nilpotent fundamental group is holomorphically convex.


title: Quantum cohomology of projective bundles over $\Pee^n$

abstract: Results in the preliminary version have been strengthed. In addition, Batyrev's conjectural formula for quantum cohomology of projective bundles associated to direct sum of line bundles over $\Pee^n$ is partially verified.


title: Parabolic Higgs bundles and Teichm\"uller spaces for punctured surfaces

abstract: In this paper we study the relation between parabolic Higgs bundles and irreducible representations of the fundamental group of punctured Riemann surfaces established by Simpson. We generalize a result of Hitchin, identifying those parabolic Higgs bundles that correspond to Fuchsian representations. We also study the Higgs bundles that give representations whose image is contained, after conjugation, in SL($k,\Bbb R$). We compute the real dimension of one of the components of this space of representations, which in the absence of punctures is the generalized Teichm\"uller space introduced by Hitchin, and which in the case of $k=2$ is the Teichm\"uller space of the Riemann surface.


title: Lectures on Seiberg-Witten Invariants

abstract: These are yet another lecture notes on Seiberg-Witten invariants, where no claim of originality is made, they contain a discussion of some related results from the recent literature.


title: Second N=1 Superanalog of Complex Structure

abstract: We found another N=1 odd superanalog of complex structure (the even one is widely used in the theory of super Riemann surfaces). New N=1 superconformal-like transformations are similar to anti-holomorphic ones of nonsupersymmetric complex function theory. They are dual to the ordinary superconformal transformations subject to the Berezinian addition formula presented, noninvertible, highly degenerated and twist parity of the tangent space in the standard basis. They also lead to the ''mixed cocycle condition'' which can be used in building noninvertible objects analogous to super Riemann surfaces. A new parametrization for the superconformal group is presented which allows us to extend it to a semigroup and to unify the description of old and new transformations.


title: Manin's conjecture for toric varieties

abstract: We prove an asymptotic formula conjectured by Manin for the number of $K$-rational points of bounded height with respect to the anticanonical line bundle for arbitrary smooth projective toric varieties over a number field $K$.


title: Rational curves of degree at most 9 on a general quintic threefold

abstract: We prove the following form of the Clemens conjecture in low degree. Let $d\le9$, and let $F$ be a general quintic threefold in $\IP^4$. Then (1)~the Hilbert scheme of rational, smooth and irreducible curves of degree $d$ on $F$ is finite, nonempty, and reduced; moreover, each curve is embedded in $F$ with normal bundle $\O(-1)\oplus\O(-1)$, and in $\IP^4$ with maximal rank. (2)~On $F$, there are no rational, singular, reduced and irreducible curves of degree $d$, except for the 17,601,000 six-nodal plane quintics (found by Vainsencher). (3)~On $F$, there are no connected, reduced and reducible curves of degree $d$ with rational components.


title: Infinite Grassmannians and Moduli Spaces of G-bundles

abstract: This lecture note is devoted to prove that the space of vacua is isomorphic with the space of generalized theta functions (joint work with M.S. Narasimhan, and A. Ramanathan)


title: Explicit Enumerative Geometry for the Real Grassmannian of Lines in Projective Space

abstract: We extend the classical Schubert calculus of enumerative geometry for the Grassmann variety of lines in projective space from the complex realm to the real. Specifically, given any collection of Schubert conditions on lines in projective space which generically determine a finite number of lines, we show there exist real generic conditions determining the expected number of real lines. Our main tool is an explicit description of rational equivalences which also constitutes a novel determination of the Chow rings of these Grassmann varieties.


title: Mixed Hodge structures of configuration spaces

abstract: The symmetric group S_n acts freely on the configuration space of n distinct points in a quasi-projective variety. In this paper, we study the induced action of the symmetric group S_n on the de Rham cohomology of this space, using mixed Hodge theory, combined with methods from the theory of symmetric functions. (We prove a motivic version of this as well.) As an application of our results, we calculate the S_n-equivariant Hodge polynomial of the Fulton-MacPherson compactification X[n] of the configuration space.


title: GKZ-Generalized Hypergeometric Systems in Mirror Symmetry of Calabi-Yau Hypersurfaces

abstract: We present a detailed study of the generalized hypergeometric system introduced by Gel'fand, Kapranov and Zelevinski (GKZ-hypergeometric system) in the context of toric geometry. GKZ systems arise naturally in the moduli theory of Calabi-Yau toric varieties, and play an important role in applications of the mirror symmetry. We find that the Gr\"obner basis for the so-called toric ideal determines a finite set of differential operators for the local solutions of the GKZ system. At the special point called the large radius limit, we find a close relationship between the principal parts of the operators in the GKZ system and the intersection ring of a toric variety. As applications, we analyze general three dimensional hypersurfaces of Fermat and non-Fermat types with Hodge numbers up to $h^{1,1}=3$. We also find and analyze several non Landau-Ginzburg models which are related to singular models.


title: Constructing Indecomposable Motivic Cohomology Classes on Algebraic Surfaces

abstract: We describe a method to construct indecomposable classes in Bloch's higher Chow group $CH^2(X,1)$ on algebraic surfaces over the complex numbers via transcendental methods and apply it to obtain examples on K3-surfaces and some surfaces of general type.


title: Geography of Brill-Noether loci for small slopes

abstract: Let $X$ be a non-singular projective curve of genus $g\ge2$ over an algebraically closed field of characteristic zero. Let $\mo$ denote the moduli space of stable bundles of rank $n$ and degree $d$ on $X$ and $\wn $ the Brill-Noether loci in $\mo .$ We prove that, if $0\leq d \leq n $ and $\wn $ is non-empty, then it is irreducible of the expected dimension and smooth outside $\wnn$. We prove further that in this range $\wn$ is non-empty if and only if $d>0$, $n\leq d+(n-k)g$ and $(n,d,k) \not= (n,n,n)$. We also prove irreducibility and non-emptiness for the semistable Brill-Noether loci.


title: Faisceaux automorphes pour GL(n): la premiere construction de Drinfeld

abstract: Drinfeld a associe a tout systeme local irreductible de rang 2 sur une surface de Riemann compacte un "faisceau automorphe". Ce faisceau automorphe vit sur l'espace de modules des fibres vectoriels de rang 2 sur cette meme surface de Riemann. En fait, Drinfeld a donne deux constructions de ce faisceau automorphe. La premiere est basee sur l'existence d'un modele de Whittaker pour toute representation automorphe cuspidale pour GL(2). Elle garde un sens en caracteristique positive et elle s'etend conjecturalement en rang n arbitraire. La seconde construction est basee sur un calcul explicite de l'anneau des sections globales d'un certain faisceau d'operateurs differentiels sur l'espace de modules des fibres vectoriels. Elle n'a pour l'instant de sens qu'en caracteristique nulle mais, par contre, elle est de portee plus generale que la premiere construction car elle a un sens non seulement pour GL(n) mais aussi pour un groupe reductif arbitraire. Ceci est le texte de deux exposes consacres a la premiere construction de Drinfeld et a son extension conjecturale en rang n arbitraire, que j'ai donnes a Luminy lors du Colloque "Fibres vectoriels sur les courbes et theorie de Langlands", en juin 1995.


title: How to Construct Curves over Finite Fields With Many Points

abstract: In this paper we give several methods to construct curves over finite fields with many points and illustrate this with examples of the results.


title: On the intersections of rational curves with cubic plane curves

abstract: Let C be a smooth cubic curve in the complex projective plane. We show that for every positive integer k, there are only finite number of rational curves of degree k each intersects the cubic C at exactly one point. The number of such rational curves is known when k is 1, as a smooth cubic has 9 flexes points. This number seems to be closely related to the number of plane rational curves of degree k passing through 3k-1 general points, which has been computed.


title: Perverse sheaves on a Loop group and Langlands' duality

abstract: An intrinsic construction of the tensor category of finite dimensional representations of the Langlands dual group of G in terms of a tensor category of perverse sheaves on the loop group, LG, is given. The construction is applied to the study of the topology of the affine Grassmannian of G and to establishing a Langlands type correspondence for "automorphic" sheaves on the moduli space of G-bundles.


title: Evolutions, Symbolic Squares, and Fitting Ideals

abstract: Given a reduced local algebra $T$ over a suitable ring or field $k$ we study the question of whether there are nontrivial algebra surjections $R\to T$ which induce isomorphisms $\Omega_{R/k}\otimes T \to \Omega_{T/k}$. Such maps, called evolutions, arise naturally in the study of Hecke algebras, as they implicitly do in the recent work of Wiles, Taylor-Wiles, and Flach. We show that the existence of non-trivial evolutions of an algebra $T$ can be characterized in terms of the symbolic square of an ideal defining $T$. We give a characterization of the symbolic square in terms of Fitting ideals. Using this and other techniques we show that certain classes of reduced algebras -- codimension 2 Cohen-Macaulay, Codimension 3 Gorenstein, licci algebras in general, and some others -- admit no nontrivial evolutions. On the other hand we give examples showing that non-trivial evolutions of reduced Cohen-Macaulay algebras of codimension 3 do exist in every positive characteristic.


title: Cohomology of compact hyperkaehler manifolds and its applications

abstract: This article contains a compression of results from alg-geom/9501001, with most proofs omitted. We prove that every two points of the connected moduli space of holomorphically symplectic manifolds can be connected with so-called ``twistor lines'' -- projective lines holomorphically embedded to the moduli space and corresponding to the hyperk\"ahler structures. This has interesting implications for the geometry of compact hyperk\"ahler manifolds and of holomorphic vector bundles over such manifolds.


title: On discriminants of polylinear forms

abstract: In this paper we propose a conseptual framework for the observed properties of discriminants of polylinear forms. The connection with classical problems of linear algebra is shown. A new class of algebraic varieties (hypergrassmanians) is introduced, the particular case of which are grassman manifolds. An algorithm is given for computing the discriminants of polylinear forms of "boundary format" (hypergrassmanian analogues of plukker coordinates). The algorithm for computing the discriminants of polylinear forms of general formats is outlined.


title: The 2-dimensional jacobian conjecture via Klein's program

abstract: We investigate the 2-dimensional jacobian conjecture via Klein's program.


title: Picard group of the moduli spaces of G-bundles

abstract: We prove that the Picard group of the moduli space of semistable G-bundles on any irreducible smooth projective curve is isomorphic with the group of integers.


title: Normal presentation on Elliptic Ruled surfaces

abstract: In this article we determine exactly which line bundles on elliptic ruled surface X are normally presented. In particular we see that numerical classes of normally presented divisors form a convex set. (recall that Num(X) is generated by the class of a minimal section C_0 and by the class of a fiber f and that C_0 is ample.) As a corollary of the above result we show that Mukai's conjecture is true for the normal presentation of the it adjoint linear series for an elliptic ruled surface. In section 5 of this article, we show that if L is normally presented on X then the homogeneous coordinate ring associated to L is Koszul. We also give a new proof of the following result due to Butler: if deg(L) \geq 2g+2 on a curve X of genus g, then L embeds X with Koszul homogeneous coordinate ring.


title: A few general points of the Hilbert scheme of K3 surfaces

abstract: A ribbon D over a variety C is a scheme such that D_{red} = C, the ideal I in O_D of Cis a line bundle on C and I^2 = 0. A two dimensional ribbon is called a carpet. In this article we show that if D is a K3 carpet, that is a ribbon associated to a rational normal scroll with numerical invariants that of a K3 surface,then it can be smoothed to a K3 surface. We also show that not all K3 carpets are smooth points of the Hilbert scheme unlike in the dimension one case as shown by Bayer and Eisenbud. We prove that only those K3 carpets which are supported on "balanced" scrolls are smooth points of the Hilbert scheme.


title: Subadjunction of log canonical divisors for a subvariety of codimension 2

abstract: We obtain a formula which relates the log canonical divisor of the ambient space with that of a subvariety of codimension 2 by using Knudsen's moduli space of pointed stable curves of genus 0.


title: Exceptional and Rigid Sheaves on Surfaces with Anticanonical Class without Base Components

abstract: The paper consists of three parts. In the first of them different kinds stability are discussed. In particular, the stability concept with respect to nef divisor is introduced. A structure of rigid and superrigid vector bundles on smooth projective surfaces with nef anticanonical class is studied in the second part. We prove that any superrigid bundle has a unique exceptional filtration. In the last part we give constructive description of exceptional bundles on these surfaces.


title: On the structure of semistable rigid sheaves on algebraic surfaces

abstract: Let S be a smooth projective surface, K be the canonical class of S and H be an ample divisor such that H.K<0 . In this paper we prove that for any rigid (Ext^1(F,F)=0) semistable sheaf F in the sense of Mumford--Takemoto stability w.r.t. H there exists an exceptional collection (E_1,...,E_n) of sheaves on S such that F can be constructed from {E_i} by a finite number of extensions.


title: Symplectic biextensions and a generalization of the Fourier-Mukai transform

abstract: A generalization of the Fourier-Mukai transform is proposed. The construction is based on analogy with the classical picture of representations of the Heisenberg group.


title: Construction of rank two bundles on ${\bf P}^4$ in positive characteristic

abstract: Many examples of rank two bundles on ${\bf P}^4$ are constructed in positive characteristic. Construction depends on constructing certain special bundles on ${\bf P}^3$ which is shown to be equivalent to constructing bundles on ${\bf P}^4$ (in any characteristic). In fact this is true for projective spaces of any dimension.


title: Infinitesimal presentations of the Torelli groups

abstract: This is a significant revision of the early version of this paper which was posted last December. The speculative section has been removed in light of some recent results of Morita and Kawazumi. Numerous typos have been fixed. The companion paper "The Hodge de Rham Theory of Relative Malcev Completion" has just been posted.


title: Primitive Calabi-Yau Threefolds

abstract: A primitive Calabi-Yau threefold is a non-singular Calabi-Yau threefold which cannot be written as a crepant resolution of a singular fibre of a degeneration of Calabi-Yau threefolds. These should be thought as the most basic Calabi-Yau manifolds; all others should arise through degenerations of these. This paper first continues the study of smoothability of Calabi-Yau threefolds with canonical singularities begun in the author's previous paper, ``Deforming Calabi-Yau Threefolds.'' (alg-geom 9506022). If X' is a non-singular Calabi-Yau threefold, and f:X'->X is a contraction of a divisor to a curve, we obtain results on when X is smoothable. We then discuss applications of this result to the classification of primitive Calabi-Yau threefolds. Combining the deformation theoretic results of this paper with those of ``Deforming Calabi-Yau Threefolds,'' we obtain strong restrictions on the class of primitive Calabi-Yau threefolds. We also speculate on how such work might yield results on connecting together all moduli spaces of Calabi-Yau threefolds.


title: Quot schemes for flags and Gromov invariants for flag varieties

abstract: Using Quot schemes and a localization theorem we study Gromov-Witten invariants for partial flag varieties. The strategy is to extend A. Bertram's result of Gromov-Witten invariants for special Schubert varieties of Grassmannians to the case of partial flag varieties. To do so a Grothendieck's Quot scheme is generalized for flags and proven to be an irreducible, rational, smooth, projective variety following Str\o mme \cite{St}.


title: Varieties of CM-type

abstract: We introduce the notion of a variety (or more generally a motive) of CM-type which generalises the well known notion of abelian variety of CM-type. Just as in that particular case it will turn out that the cohomology of the variety is determined by purely combinatorial data; the type of the variety. As applications we will show that the \l-adic representations are given by algebraic Hecke characters whose algebraic parts are determined by the type and give a method for computing the discriminant of the N\'eron-Severi group of super-singular Fermat surfaces.


title: Higher Syzygies of Elliptic Ruled Surfaces

abstract: Let L be a normally generated line bundle on X; we say L satisfies property N_p (notation after Mark Green) if the matrices in the free resolution of R (the homogeneous coordinate ring of X) over S (the homogeneous coordinate ring of the projective space corresponding to the complete linear series |L|) have linear entries until the p-th stage. In this article we prove the following result: Let X be an elliptic ruled surface and let L be a product of p+1 base point free and ample line bundles on X. Then L satisfies property N_p. In particular we prove that numerical classes of all divisors which satisfies property N_p form a convex set. (Recall that Num(X) is generated by the class of a minimal section C_0 and by the class of a fiber f and that C_0 is ample.) As a corollary of the above result we show that the adjoint bundle K_X+(2p+3)A satisfies property N_p, if A is an ample line bundle.


title: On non-strict notions of $n$-category and $n$-groupoid via multisimplicial sets

abstract: In this paper we first give a simplicial approach to the definition of a non strict $n$-category that we call an $n$-nerve following the idea that a category could be interpreted as a simplicial set, and we prove that our construction generalises the case of the usual non strict 2-category. Next we give a simplicial definition of a non strict $n$-groupoid. Then we associate to any space $X$ an $n$-groupoid $\Pi _{_{n}}(X)$ which generalises the famous Poincar\'e groupoid $\Pi _{_{1}}(X)$ and embodies the $n$-truncated homotopy type of $X$. We also give a natural construction for the geometric realisation of an $n$-groupoid and we conjecture that the functor geometric realisation is an inverse up to equivalence to the functor $\Pi _{_{n}}(\ )$ from the category of $n$-truncated topological spaces to the category $n$-Gr of $n$-groupoids.


title: Non-symplectic involutions of a K3 surface

abstract: We classify K3 surfaces with a non-symplectic finite automorphism of high order. It is shown that such an automorphism cannot be of order 60, and for each of the orders 38, 44, 48, 50, 54 and 66, there exists a unique K3 surface with such an automorphism.


title: Applications of Koszul homology to numbers of generators and syzygies

abstract: Several spectral sequence techniques are used in order to derive information about the structure of finite free resolutions of graded modules. These results cover estimates of the minimal number of generators of defining ideals of projective varieties. There are also investigations about the shifts and the dimension of Betti numbers.


title: On Macaulayfication of certain quasi-projective schemes

abstract: The notion of Macaulayfication, which is analogous of the desingularization, was introduced by Faltings in 1978 and he construct a Macaulayfication of quasi-projective scheme whose non-Cohen-Macaulay locus is of dimension 0 or 1 by a characteristic free method. In this paper, we gave a Macaulayfication of a quasi-projective scheme whose non-Cohen-Macaulay locus is of dimension 2. Of course out method is independent of the characteristic.


title: Mathematics in and out of String Theory

abstract: We first give an exposition of how the Polyakov path integral for the bosonic string produces a natural mapping class group invariant measure, $d(Poly)$, on the Teichm\"uller space of Riemann surfaces of each fixed genus. The description of $d(Poly)$ via the Mumford isomorphisms for determinant bundles over Teichm\"uller space is also explained. We then report on our recent results with I.Biswas and D.Sullivan, where we succeed in coherently fitting together this Polyakov-Mumford construction over the universal direct limit, $T_\infty$, of all the finite genus Teichm\"uller spaces. The virtual automorphism group of the fundamental group of a compact surface (of arbitrary genus $g > 1$) acts by automorphisms on $T_\infty$ as the ``commensurability mapping class group''. Our entire construction is equivariant with respect to this new modular group.


title: On Invariant Theory

abstract: Here we develop a technique of computing the invariants of $n-$ary forms and systems of forms using the discriminants of corresponding multilinear forms built of their partial derivatives, which should be cosidered as analogues of classical discriminants and resultants for binary forms.


title: Remarks on numerical semigroups

abstract: We extend results on Weierstrass semigroups at ramified points of double covering of curves to any numerical semigroup whose genus is large enough. As an application we strengthen the properties concerning Weierstrass weights in \cited{To}.


title: In\'egalit\'es de Morse et vari\'et\'es de Moishezon

abstract: The central topic of this thesis is the study of some properties of a class of complex compact manifolds~: Moishezon manifolds. In the first part, we generalize J.-P. Demailly's holomorphic Morse inequalities to the case of a line bundle equipped with a metric with analytic singularities on an arbitrary compact complex manifold. Our inequalities give an estimate of the cohomology groups with values in the line bundle tensor powers twisted by the corresponding sequence of multiplier ideal sheaves introduced by Nadel. As a consequence, we obtain a necessary and sufficient analytic condition, invariant by bimeromorphism, for a manifold to be Moishezon. In the second part, we use Mori theory to analyze the structure of Moishezon manifolds with infinite cyclic Picard group, with big canonical bundle, and which become projective after one single blow-up with smooth center. We study the dimension and the structure of the center of the blow-up. In dimension four, we show that this locus is always a surface, and when the canonical bundle


title: Degenerations of elliptic curves and cusp singularities

abstract: We give more or less explicit equations for all two-dimensional cusp singularities of embedding dimension at least 4. They are closely related to Felix Klein's equations for universal curves with level n structure. The main technical result is a description of the versal deformation of an n-gon in $P^{n-1}$. The final section contains the equations for smoothings of simple elliptic singularities (of multiplicity at most 9).


title: Lang maps and Harris's conjecture - a note in search for content

abstract: The Lang map, namely the universal dominant rational map to a variety of general type, is constructed and briefly discussed in relation with arithmetic conjectures of Harris, Lang and Manin. Existence of the Lang map follows from the additivity of Kodaira dimension, but the fine structure depends on conjectures on birational classification of algebraic varieties. Serious applications of the Lang map are still being searched.


title: Deninger's conjecture on $L$-function of elliptic curves at $s=3$

abstract: I compute explicitly the regulator map on $K_4(X)$ for an arbitrary curve $X$ over a number field. Using this and Beilinson's theorem about regulators for modular curves ([B2]) I prove a formula expressing the value of the $L$-function $L(E,s)$ of a modular elliptic curve $E$ over $\Bbb Q$ at $s=3$ by the double Eisenstein-Kronecker series.


title: Residue construction of Hecke algebras

abstract: Hecke algebras are usually defined algebraically, via generators and relations. We give a new algebro-geometric construction of affine and double-affine Hecke algebras (the former is known as the Iwahori-Hecke algebra, and the latter was introduced by Cherednik [Ch1]). More generally, to any generalized Cartan matrix A and a point q in a 1-dimensional complex algebraic group \c we associate an associative algebra H. If A is of finite type and \c=C^*, the algebra H is the affine Hecke algebra of the corresponding finite root system. If A is of affine type and \c=C^* then H is, essentially, the Cherednik algebra. The case \c=C corresponds to `degenerate' counterparts of the above objects cosidered by Drinfeld [Dr] and Lusztig [L2]. Finally, taking \c to be an elliptic curve one gets some new elliptic analogues of the affine Hecke algebra.


title: The Remark on Discriminants of K3 Surfaces Moduli as Sets of Zeros of Automorphic Forms

abstract: We show that for any $N>0$ there exists a natural even $n>N$ such that the discriminant of moduli of K3 surfaces of the degree $n$ is not equal to the set of zeros of any automorphic form on the corresponding IV type domain. We give the necessary condition on a "condition $S\subset L_{K3}$ on Picard lattice of K3'' for the corresponding moduli $\M_{S\subset L_{K3}}$ of K3 to have the discriminant which is equal to the set of zeros of an automorphic form. We conjecture that the set of $S\subset L_{K3}$ satisfying this necessary condition is finite if $\rk S \le 17$. We consider this finiteness conjecture as "mirror symmetric'' to the known finiteness results for arithmetic reflection groups in hyperbolic spaces and as important for the theory of Lorentzian Kac--Moody algebras and the related theory of automorphic forms.


title: Determinant of complexes and higher Hessians

abstract: Let $X \subset \Bbb P^r$ be a smooth algebraic curve in projective space, over an algebraically closed field of characteristic zero. For each $m \in \Bbb N$, the $m$-flexes of $X$ are defined as the points where the osculating hypersurface of degree $m$ has higher contact than expected, and a hypersurface $H \subset \Bbb P^r$ is called a $m$-Hessian if it cuts $X$ along its $m$-flexes. When $X$ is a complete intersection, we give an expression for a (rational) $m$-Hessian as the Div (in the sense of Grothendieck-Knudsen-Mumford) of a complex of graded free modules naturally associated to $X$. The construction of this complex involves relating sheaves of differential operators on a scheme and a subscheme, and higher Euler sequences on projective space.


title: Birational models for varieties of Poncelet curves

abstract: We consider Poncelet pairs $(S,C)$, where $S$ is a smooth conic and $C$ is a degree$-c$ plane curve having the Poncelet property with respect to $S$. We prove that for $c>4$ the projection $(S,C)\mapsto C$ is generically one-to-one and use this to describe a birational model of the variety of Poncelet curves for $c$ odd.


title: A sharp slope inequality for general stable fibrations of curves

abstract: Let M_g be the moduli space of stable curves of genus g >= 2. Let D_i be the irreducible component of the boundary of M_g such that general points of D_i correspond to stable curves with one node of type i. Let M_g^0 be the set of stable curves that have at most one node of type i>0. Let d_i be the class of D_i in Pic(M_g)_Q and h the Hodge class on M_g. In this paper, we will prove a sharp slope inequality for general stable fibrations. Namely, if $C$ is a complete curve on M_g^0, then ( (8g+4)h - g d_0 - \sum_{i=1}^{[g/2]} 4i(g-i) d_i . C ) >= 0. As an application, we can prove effective Bogomolov's conjecture for general stable fibrations.


title: Uniform boundedness for rational points

abstract: We extend an earlier result by Dan Abramovich, showing that a conjecture of S. Lang's implies the existence of a uniform bound on the number of $K$-rational points over all smooth curves of genus $g$ defined over $K$, where $K$ is any number field of fixed degree $d$, and $g$ is an integer greater than 1. The bound depends only on the genus $g$ and the degree of the number field $K$.


title: Higher genus symplectic invariants and sigma model coupled with gravity

abstract: We define higher genus Gromov-Witten invariants and establish a mathematical theory of sigma model coupled with gravity over any semi-positive symplectic manifolds. As applications, we verify the stablizing conjecture of symplectic 4-manifolds for simply connected elliptic surfaces and construct smooth 6-manifolds admitting infinitely many deformation classes of symplectic structures.


title: Pieri's Formula Via Explicit Rational Equivalence

abstract: We present a new geometric proof of Pieri's formula, exhibiting an explicit chain of rational equivalences from a suitable sum of distinct Schubert varieties to the intersection of a Schubert variety with a special Schubert variety. The geometry of these rational equivalences indicate a link to a combinatorial proof of Pieri's formula using Schensted insertion. This version includes an example to illustrate the proof.


title: Sur les espaces de modules des fibres vectoriels de rang deux sur des hypersurfaces de P^3

abstract: Soit $X$ une hypersurface lisse de degr\'e $\delta \geq 4$ dans $\pp ^3$ telle que $Pic(X)=Z$. On d\'esigne par $M_X(c_2)$ l'espace de modules des fibr\'es vectoriels sur $X$ de classes de Chern $c_1 = 0$ et $c_2$, semi-stables par rapport au diviseur hyperplan. Nous contribuons ici \`a la recherche de diff\'erentes composantes irr\'eductibles pour $c_2$ petit. On prouve que pour tout entier $c_2 \geq \delta ^3/4 - \delta ^2/2$ l'espace des modules $M_X(c_2)$ contient une composante irr\'eductible r\'eduite de dimension attendue. En utilisant un r\'esultat de O'Grady, on en d\'eduit que pour tout entier $c_2$ tel que $$ {1/4}(\delta ^3-2\delta ^2) \leq c_2 \leq {1/3}(\delta ^3 - 9 \delta ^2 + 26 \delta - 3) $$ l'espace $M_X(c_2)$ poss\`ede au moins deux composantes irr\'eductibles de dimensions distinctes. Pour $\delta \geq 27$, de tels entiers existent! D'autre part, on prouve que pour $c_2 > {1/12}(13 \delta ^3 - 24 \delta ^2 + 8 \delta)$, le fibr\'e g\'en\'eral de la bonne composante de $M_X(c_2)$ que nous construisons a cohomologie naturelle. Plus g\'en\'eralement, on d\'emontre que pour toute surface projective lisse $X$ telle que le fibr\'e canonique soit de la forme $K_X = \Oo_X(k)$ o\`u $\Oo_X(1)$ est un fibr\'e ample, alors si $c_2$ est suffisamment grand, le fibr\'e g\'en\'eral de l'unique composante de $M_X(c_2)$ a la cohomologie naturelle.


title: On a theorem of Harer

abstract: We use Harer's stability theorem to give another proof of his fundamental theorem: The rank of the Picard group of the moduli space of smooth projective curves of genus g > 2 equals one.


title: Holomorphic Rank Two Vector Bundles on Blow-ups

abstract: In this paper we study holomorphic rank two vector bundles on the blow up of $ {\bf C}^2$ at the origin. A classical theorem of Birchoff and Grothendieck says that any holomorphic vector bundle on the projective plane ${\bf P}^1$ splits into a sum of line bundles. If $E$ is a holomorphic vector bundle over the blow up of $ {\bf C}^2$ at the origin, then the restriction of $E$ to the exceptional divisor is a vector bundle over ${\bf P}^1$ and therefore splits. Moreover we assume that $E$ is a rank two bundle that has zero first Chern class. Hence its restriction to the exceptional divisor is of the form $ {\cal O}(j) \oplus {\cal O}(-j) $ for some integer $j.$ We denote by ${\cal M}_j$ the moduli space of equivalence classes (under holomorphic isomorphisms) of rank two holomorphic vector bundles on the blow up of $ {\bf C}^2$ at the origin whose restriction to the exceptional divisor is $ {\cal O}(j) \oplus {\cal O}(-j) .$


title: The intrinsic normal cone

abstract: We suggest a construction of virtual fundamental classes of certain types of moduli spaces.


title: Gromov-Witten invariants in algebraic geometry

abstract: Gromov-Witten invariants for arbitrary projective varieties and arbitrary genus are constructed using the techniques from K. Behrend, B. Fantechi: The intrinsic normal cone.


title: Super Curves, their Jacobians, and super KP equations

abstract: We study the geometry and cohomology of algebraic super curves, using a new contour integral for holomorphic differentials. For a class of super curves (``generic SKP curves'') we define a period matrix. We show that the odd part of the period matrix controls the cohomology of the dual curve. The Jacobian of a generic SKP curve is a smooth supermanifold; it is principally polarized, hence projective, if the even part of the period matrix is symmetric. In general symmetry is not guaranteed by the Riemann bilinear equations for our contour integration, so it remains open whether Jacobians are always projective or carry theta functions. These results on generic SKP curves are applied to the study of algebro-geometric solutions of the super KP hierarchy. The tau function is shown to be, essentially, a meromorphic section of a line bundle with trivial Chern class on the Jacobian, rationally expressible in terms of super theta functions when these exist. Also we relate the tau function and the Baker function for this hierarchy, using a generalization of Cramer's rule to the supercase.


title: Severi Degrees in Cogenus 4

abstract: In this paper, we give closed-form formulae for Severi degrees in cogenus 3 and 4 using Ran's method. These formulae coincide with those of I. Vainsencher and for cogenus 3 case, that of J. Harris and R. Pandharipande. Another result of this paper is that we calculate the degree of the polynomial $N(\pi,\delta,d)$ in $d$, which is the degree of the locus of curves $C$ in P^2 with degree d having $\delta$ nodes and $C \cap L$ is of type $\pi$ to fixed line L. Using this result, we also calculate the coefficients of two leading terms of Severi polynomial, $N(\delta,d)$.


title: Global properties of families of plane curves

abstract: We describe degenerations of projective plane curves to curves containing a fixed line $l$ as a component, and show that $H^1({\overline V}_{n,d,m}, {\Cal O} (r))=0, r \in{\Bbb Z}$, where $V_{n,d,m}\subset {\Bbb P}^N (N = n(n+3)/2)$ is the subscheme consisting of irreducible plane curves having smooth contact of order at least m with $l$ at a fixed point p of $l$ and d nodes and no other singularities. Note: the notion of admissible schemes of plane curves, introduced for the proof of the vanishing theorem, allows us to give a recipe for calculating the Hilbert polynomial of ${\overline V}_{n,d}$ (see Sect. 4), in particular the quantum cohomology of the plane.


title: Birational symplectic manifolds and their deformations

abstract: The known counterexamples to the global Torelli theorem for higher-dimensional hyperkahler manifolds are provided by birational manifolds. We address the question whether two birational hyperkahler manifolds (i.e. irreducible symplectic) manifolds always define non-separated points in the moduli space of marked manifolds. An affirmative answer is given for the cases of Mukai's elementary transformations and birational correspondences which are isomorphic in codimension two. The techniques are applied to show that the moduli spaces of rank two sheaves on a K3 surface are deformation equivalent to appropriate Hilbert schemes.


title: Space of conformal blocks in 4D WZW theory

abstract: We propose an algebro-geometric definition of the space of conformal blocks in the four dimensional Wess-Zumino-Witten theory introduced by Losev.et al..


title: The canonical modifications by weighted blow-ups

abstract: In this paper we give a criterion for an isolated, hypersurface singularity of dimension $n\ (\geq 2)$ to have the canonical modification by means of a suitable weighted blow-up. Then we give a counter example to the following conjecture by Reid-Watanabe: For a 3-dimensional, isolated, non-canonical, log-canonical singularity $(X,x)$ of embedded dimension 4, there exists an embedding $(X,x)\subset ({\bC}^4, 0)$ and a weight ${\bw}=(w_0,w_1,\ldots ,w_n)$, such that the ${\bw}$-blow-up gives the canonical modification of $(X,x)$.


title: Bounds for Seshadri Constants

abstract: In the paper we present an alternative approach to the boundedness of Seshadri constants (which measure the local positivity) of nef and big line bundles at a general point of a complex--projective variety. Our approach is based on the construction of divisors in certain adjoint linear systems having isolated singularities of high order. A variant of the method gives bounds for Seshadri constants valid at arbitrary points of a smooth variety; these bounds, however, depend on the line bundle and the positivity of the tangent bundle of the variety in question.


title: Principle bundles admitting a holomorphic structure

abstract: Let $M$ be a compact connected K\"ahler manifold and let ${\E}_{l-1}$ be the smallest term in the Harder-Narasimhan filtration of its tangent bundle. Let $G$ be an affine algebraic reductive group over $\C$. We prove the following result: If $M$ satisfies the condition that $\deg (T/{\E}_{l-1}) \geq 0$, then a holomorphic principal $G$-bundle $P$ on $M$ admitting a compatible holomorphic connection is semistable. Moreover, if $\deg (T/{\E}_{l-1}) >0$, then such a bundle $P$ actually admits a compatible flat $G$-connection.


title: Geometry of families of nodal curves on rational surfaces

abstract: Let P^2_r be the projective plane blown up at r generic points. Denote by E_0,E_1,...,E_r the strict transform of a generic straight line on P^2 and the exceptional divisors of the blown-up points on P^2_r respectively. We consider the variety V of all irreducible curves C in |dE_0-d_1E_1-...-d_rE_r| with k nodes as the only singularities and give asymptotically nearly optimal sufficient conditions for its smoothness, irreducibility and non-emptyness. Moreover, we extend our conditions for the smoothness and the irreducibility on families of reducible curves. For r<10 we give the complete answer concerning the existence of nodal curves in V.


title: Volumes of hyperbolic manifolds and mixed Tate motives

abstract: Two different constructions of an invariant of an odd dimensional hyperbolic manifold in the K-group $K_{2n-1}(\bar \Bbb Q)\otimes \Bbb Q$ are given. The volume of the manifold is equal to the value of the Borel regulator on that element. The scissor congruence groups in non euclidian geometries are studied and their relationship with algebraic K-theory of the field of complex numbers is discussed.


title: The Space of Triangles, Vanishing Theorems, and Combinatorics

abstract: We consider compactifications of the space of triples of distinct points in projective $n$-space. One such space is a singular variety of configurations of points and lines; another is the smooth compactification of Fulton and MacPherson; and a third is the triangle space of Schubert and Semple. We compute the sections of line bundles on these spaces, and show that they are equal as GL(n) representations to the generalized Schur modules associated to ``bad'' generalized Young diagrams with three rows (Borel-Weil theorem). On the one hand, this yields Weyl-type character and dimension formulas for the Schur modules; on the other, a combinatorial picture of the space of sections. Cohomology vanishing theorems play a key role in our analysis.


title: Compactifications of families of curves

abstract: We construct a good compactification of the variety of irreducible projective plane curves of degree n with d nodes and no other singularities.


title: Toward Clemens' Conjecture in degrees between 10 and 24

abstract: We introduce and study a likely condition that implies the following form of Clemens' conjecture in degrees $d$ between 10 and 24: given a general quintic threefold $F$ in complex $\IP^4$, the Hilbert scheme of rational, smooth and irreducible curves $C$ of degree $d$ on $F$ is finite, nonempty, and reduced; moreover, each $C$ is embedded in $F$ with balanced normal sheaf $\O(-1)\oplus\O(-1)$, and in $\IP^4$ with maximal rank.