title: On the linearization of the automorphism groups of algebraic domains

abstract: Let $D$ be a domain in $C^n$ and $G$ a topological group which acts effectively on $D$ by holomorphic automorphisms. In this paper we are interested in projective linearizations of the action of $G$, i.e. a linear representation of $G$ in some $C^{N+1}$ and an equivariant imbedding of $D$ into $\P^N$ with respect to this representation. The domains we discuss here are open connected sets defined by finitely many real polynomial inequalities or connected finite unions of such sets. Assume that the group $G$ acts by birational automorphisms. Our main result is the equivalence of the following conditions: 1) there exists a projective linearization, i.e. a linear representation of $G$ in some $\C^{N+1}$ and a biregular imbedding $i\colon \P^n \hookrightarrow \P^N$ such that the restriction $i|_D$ is $G$-equivariant. 2) $G$ is a subgroup of a Lie group $\hat G$ of birational automorphisms of $D$ which extends the action of $G$ and has finitely many connected components; 3) $G$ is a subgroup of a Nash group $\hat G$ of birational automorphisms of $D$ which extends the action of $G$ to a Nash action $\hat G\times D\to D$; 4) $G$ is a subgroup of a Nash group $\hat G$ such that the action $G\times D\to D$ extends to a Nash action $\hat G\times D\to D$; 5) the degree of the automorphism $\phi_g\colon D\to D$


title: On the Hitchin System

abstract: The Hitchin system is a completely integrable hamiltonian system (CIHS) on the cotangent space to the moduli space of semi-stable vector bundles over a curve. We consider the case of rank-two vector bundles with trivial determinant. Such a bundle $E$ defines a divisor $D_E$ in the Jacobian of the curve and for any smooth point of $D_E$ we define a cotangent vector (a Higgs field). The Hitchin map on these Higgs fields is then determined in terms of the Gauss map on the divisor $D_E$. We apply the results to the $g=2$ case and show how Hitchin's system is related to classical line geometry in $\PP^3$.


title: Mumford-Thaddeus Principle on the Moduli Space of Vector Bundles on an Algebraic Surface

abstract: We study the behavior of the Gieseker space of semistable torsion-free sheaves of rank r and fixed c_1, c_2 on a non-singular projective surface as the polarization varies. It is shown that the ample cone admits a locally finite chamber structure, and that passing a wall adjacent to a pair of chambers has the effect of modifying the moduli space by a (finite) sequence of flips of the type studied by Thaddeus. The key steps are a modification of Simpson's method and the introduction of a "rationally twisted" moduli space. The result is more general but less explicit than the recent work of Ellingsrud-Goettsche (alg-geom/9410005) and Friedman-Qin (alg-geom/9410007).


title: Toric Residues

abstract: In ${\bf C}^{n+1}$, one can show that the residue of $n+1$ homogeneous forms of the same degree equals the integral of a certain $(n,n)$ form over ${\bf P}^n$. Furthermore, the Jacobian of the forms has nonzero residue equal to a certain intersection number. In this paper, we generalize these results to an arbitrary projective toric variety. In particular, we define a toric version of the Jacobian and show that it has the correct properties, and we give various integral formulas for the toric residue. We also review some commutative algebra results of Batyrev and Danilov and discuss the relation between the trace map and the Dolbeault isomorphism.


title: A Matsusaka-type Theorem for Surfaces

abstract: The purpose of this note is to give an (esentially optimal) effective version of Matsusaka's Big theorem for smooth projective surfaces.


title: Recursive relations for the cohomology ring of moduli spaces of stable bundles

abstract: The authors learnt that similar results have been independently found by D.Zagier, V.Baranovsky and V.Balaji/A.King/P.Newstead. The corresponding references have been added (and some typos corrected).


title: On the prime-to-$p$ part of the groups of connected components of N\'eron models

abstract: This article improves certain results of Dino Lorenzini concerning the groups of connected components of special fibres of N\'eron models of abelian varieties. Lorenzini has shown the existence of a four step filtration on the prime-to-$p$ part ($p$ is the residue characteristic), and proved certain bounds for the successive quotients. We improve these bounds and show that our bounds are sharp. As an application, we give a complete classification of the groups that can arise as the prime-to-$p$ part of the group of connected components of the Neron model of an abelian variety with given dimensions for the abelian, toric and unipotent part. Hard copies of this preprint are available.


title: The Theta Divisor of $SU_C(2,2d)^s$ is very Ample if $C$ is not Hyperelliptic

abstract: Let $X$ be the moduli space of semistable rank 2 vector bundles over a smooth curve C of genus $g \ge 2$ and $\theta : X \to PH^0(L)^*$ be the map associated to the generalized theta divisor L on X. We prove that for C not hyperelliptic, the map $\theta$ is injective and the differential of $\theta$ is injective at smooth points of X.


title: $L^2$ vanishing theorems for positive line bundles and adjunction theory, Lecture Notes of a CIME course on "Transcendental Methods of Algebraic Geometry" (Cetraro, Italy, July 1994)

abstract: The notes start with an elementary introduction to a few important analytic techniques of algebraic geometry: closed positive currents, $L^2$ estimates for the $\dbar$-operator on positive vector bundles, Nadel's vanishing theorem for multiplier ideal sheaves (a generalization of the well-known Kawamata-Viehweg vanishing theorem). Applications to adjoint line bundles are then discussed. T.~Fujita conjectured in 1987 that $K_X+(n+2)L$ is very ample for every ample line bundle $L$ on a non singular projective variety $X$ with $\dim X=n$. The answer is known only for $n\le 2$ (I.~Reider, 1988). In the last years, various bounds have been obtained for integers $m$ such that $2K_X+mL$ is very ample (by J.~Koll\'ar, L.~Ein-R.~Lazarsfeld, Y.T.~Siu and the author, among others). Two approaches are discussed: an analytic approach via Monge-Amp\`ere equations and current theory, and a more algebraic one (due to Siu) via multiplier ideal sheaves and Riemann-Roch. Finally, an effective version of the big Matsusaka theorem is derived, in the form of an explicit bound for an integer $m$ such that $mL$ is very ample, depending only on $L^n$ and $L^{n-1}\cdot K_X$; these bounds improve Siu's results (1993), and essentially contain the optimal bounds obtained by Fernandez del Busto for the surface case.


title: Remarks on rational points of varieties whose cotangent bundles are generated by global sections

abstract: In this short note, we will gives several remarks on rational points of varieties whose cotangent bundles are generated by global sections. For example, we will show that if the sheaf of differentials of a projective variety X over a number field k is ample and generated by global sections, then the set of k-rational points of X is finite.


title: Quantum Schubert Calculus

abstract: This paper works out the versions of the classical Giambelli and Pieri formulas in the context of quantum cohomology of a complex Grassmannian.


title: On the automorphism groups of algebraic bounded domains

abstract: Let $D$ be a bounded domain in $C^n$. By the theorem of H.~Cartan, the group $Aut(D)$ of all biholomorphic automorphisms of $D$ has a unique structure of a real Lie group such that the action $Aut(D)\times D\to D$ is real analytic. This structure is defined by the embedding $C_v\colon Aut(D)\hookrightarrow D\times Gl_n(C)$, $f\mapsto (f(v), f_{*v})$, where $v\in D$ is arbitrary. Here we restrict our attention to the class of domains $D$ defined by finitely many polynomial inequalities. The appropriate category for studying automorphism of such domains is the Nash category. Therefore we consider the subgroup $Aut_a(D)\subset Aut(D)$ of all algebraic biholomorphic automorphisms which in many cases coincides with $Aut(D)$. Assume that $n>1$ and $D$ has a boundary point where the Levi form is non-degenerate. Our main result is theat the group $Aut_a(D)$ carries a unique structure of an affine Nash group such that the action $Aut_a(D)\times D\to D$ is Nash. This structure is defined by the embedding $C_v\colon Aut_a(D)\hookrightarrow D\times Gl_n(C)$ and is independent of the choice of $v\in D$.


title: Exceptional vector bundle on Enriques surfaces

abstract: The main purpose in this paper is to study exceptional vector bundles on Enriques surfaces.


title: Submodules of the deficiency modules and an extension of Dubreil's Theorem

abstract: In its most basic form, Dubreil's Theorem states that for an ideal $I$ defining a codimension $2$, arithmetically Cohen--Macaulay subscheme of projective $n$-space, the number of generators of $I$ is bounded above by the minimal degree of a minimal generator plus $1$. By introducing a new ideal $J$ which is the complete intersection of $n-1$ general linear forms, we are able to extend Dubreil's Theorem to an ideal $I$ defining a locally Cohen--Macaulay subscheme $V$ of any codimension. Our new bound involves the lengths of the Koszul homologies of the cohomology modules of $V$, with respect to the ideal $J$, and depends on a careful identification of the module $(I \cap J)/IJ$ in terms of the maps in the free resolution of $J$. As a corollary to this identification, we also give a new proof of a theorem of Serre which gives a necessary and sufficient condition to have the equality $I \cap J = IJ$ in the case where $I$ and $J$ define disjoint schemes in projective space.


title: Quantum Cohomology of Rational Surfaces

abstract: In this article formulas for the quantum product of a rational surface are given, and used to give an algebro-geometric proof of the associativity of the quantum product for strict Del Pezzo surfaces, those for which $-K$ is very ample. An argument for the associativity in general is proposed, which also avoids resorting to the symplectic category. The enumerative predictions of Kontsevich and Manin concerning the degree of the rational curve locus in a linear system are recovered. The associativity of the quantum product for the cubic surface is shown to be essentially equivalent to the classical enumerative facts concerning lines: there are $27$ of them, each meeting $10$ others.


title: Contractions on a manifold polarized by an ample vector bundle

abstract: A complex manifold $X$ of dimension $n$ together with an ample vector bundle $E$ on it will be called a {\sf generalized polarized variety}. The adjoint bundle of the pair $(X,E)$ is the line bundle $K_X + det(E)$. We study the positivity (the nefness or ampleness) of the adjoint bundle in the case $r := rank (E) = (n-2)$. If $r\geq (n-1)$ this was previously done in a series of paper by Ye-Zhang, Fujita, Andreatta-Ballico-Wisniewski. If $K_X+detE$ is nef, then by the Kawamata-Shokurov base point free theorem, it supports a contraction; i.e. a map $\pi :X \longrightarrow W$ from $X$ onto a normal projective variety $W$ with connected fiber and such that $K_X + det(E) = \pi^*H$, for some ample line bundle $H$ on $W$. We describe those contractions for which $dimF \leq (r-1)$. We extend this result to the case in which $X$ has log terminal singualarities. In particular this gives the Mukai's conjecture1 for singular varieties. We consider also the case in which $dimF = r$ for every fibers and $\pi$ is birational. Hard copies of the paper are available.


title: Self-linking number of a real algebraic link

abstract: For a nonsingular real algebraic curve in the 3-dimensional projective space and sphere a new numeric characteristic is introduced. It takes integer values, is invariant under rigid isotopy, multiplied by -1 under mirror reflection. In a sense it is a Vassiliev invariant of degree 1 and a counter-part of a link diagram writhe.


title: On the Picard group: torsion and the kernel

abstract: For a homomorphism f: A --> B of commutative rings, let D(A,B) denote Ker[Pic(A) --> Pic(B)]. Let k be a field and assume that A is a f.g. k-algebra. We prove a number of finiteness results for D(A,B). Here are four of them. 1: Suppose B is a f.g. and faithfully flat A-algebra which is geometrically integral over k. If k is perfect, we find that D(A,B) is f.g. (In positive characteristic, we need resolution of singularities to prove this.) For an arbitrary field k of positive characteristic p, we find that modulo p-power torsion, D(A,B) is f.g. 2: Suppose B = A tensor k^sep. We find that D(A,B) is finite. 3: Suppose B = A tensor L, where L is a finite, purely inseparable extension. We give examples to show that D(A,B) may be infinite. 4: Assuming resolution of singularities, we show that if K/k is any algebraic extension, there is a finite extension E/k contained in K/k such that D(A tensor E,A tensor K) is trivial. The remaining results are absolute finiteness results for Pic(A). 5: For every n prime to char(k), Pic(A) has only finitely many elements of order n. 6: Structure theorems are given for Pic(A), in the case where k is absolutely f.g. All of these results are proved in a more general form, valid for schemes. Hard copy is available from the authors.


title: The geometry of A-graded algebras

abstract: We study algebras k[x_1,...,x_n]/I which admit a grading by a subsemigroup of N^d such that every graded component is a one-dimensional k-vector space. V.I.~Arnold and coworkers proved that for d = 1 and n <= 3 there are only finitely many isomorphism types of such A-graded algebras, and in these cases I is an initial ideal (in the sense of Groebner bases) of a toric ideal. In this paper it is shown that Arnold's finiteness theorem does not extend to n = 4. Geometric conditions are given for I to be an initial ideal of a toric ideal. The varieties defined by A-graded algebras are characterized in terms of polyhedral subdivisions, and the distinct A-graded algebras are parametrized by a certain binomial scheme.


title: Towards a separation theorem of points by adjoint linear systems on polarized threefolds

abstract: Main Result: Let $(M,L)$ be a smooth complex polarized threefold. Then the linear system $| K+tL|$ separates any two different points on $M$ for any $t\ge 6$, where $K$ is the canonical bundle of $M$. The argument in the proof is a variant of Ein-Lazarsfeld method. Although it is less powerful, it is cheaper, i.e., needs fewer pages. Unfortunately, at present, I cannot show the very ampleness because of technical difficulties. Some related topics are also discussed. A hard copy is available on request to the author.


title: The minimal number of singular fibers of a semistable curves over P^1

abstract: In this paper, we shall prove Beauville's conjecture: if $f:S \to P^1$ is a non-trivial semistable fibration of genus g>1, then $f$ admits at least 5 singular fibers. We have also constructed an example of genus 2 with 5 singular fibers. This paper will appear in the Journal of Algebraic Geometry.


title: On the invariants of base changes of pencils of curves, II

abstract: In this part of the series, we shall investigate Deligne-Mumford semistable reductions from the point of view of numerical invariants. As an application, we obtain two numerical criterions for a base change to be stabilizing, and for a fibration to be isotrivial. We also obtain a canonical class inequality for any fibration. Some other applications are presented. Most of the results of this paper have arithmetical analogues. This paper will appear in Math. Z.


title: Operads and moduli spaces of genus $0$ Riemann surfaces

abstract: We study a pair of dual operads which arise in the study of moduli spaces of pointed genus 0 curves (this duality is similar to that between commutative and Lie algebras). These operads are both quadratic, and even Koszul, and arise in the theory of quantum cohomology.


title: Bott's formula and enumerative geometry

abstract: We outline a strategy for computing intersection numbers on smooth varieties with torus actions using a residue formula of Bott. As an example, Gromov-Witten numbers of twisted cubic and elliptic quartic curves on some general complete intersection in projective space are computed. The results are consistent with predictions made from mirror symmetry computations. We also compute degrees of some loci in the linear system of plane curves of degrees less than 10, like those corresponding to sums of powers of linear forms, and curves carrying inscribed polygons.


title: Logarithmic Embeddings and Logarithmic Semistable Reductions

abstract: In this paper, we give a criterion for the existence of logarithmic embeddings -- which was first introduced by Steenbrink -- for general normal crossing varieties. Using this criterion, we also give a new proof of the theorem of Kawamata--Namikawa which states a criterion for the existence of the log structures of semistable type.


title: Conformal Differential Forms of an Analytic Germ

abstract: A differential form vanishing on the tangent space at smooth points of a reduced embedded analytic germ is called conormal. For proving that a conormal one--form of a hypersurface vanishes at its singularities we state a Bertini--type theorem.


title: On the Corank of Gaussian Maps for General Embedded K3 Surfaces

abstract: Let $S_{g}$ be a general prime K3 surface in $P^g$ of genus $g \geq 3$ or a general double cover of $P^2$ ramified along a sextic curve for $g = 2$ and $S = S_{i,g}$ its {\it i}-th Veronese embedding. In this article we compute the corank of the Gaussian map $\Phi:\bigwedge^2 H^0(S,O_S(1)) \to H^0(S,\Omega_S^1(2))$ for $i \geq 2, g \geq 2$ and $i=1, g \geq 17$. The main idea is to reduce the surjectivity of $\Phi$ to an application of the Kawamata-Viehweg vanishing theorem on the blow-up of $S \times S$ along,the diagonal. This is seen to apply once the hyperplane divisor of the K3 surface $S$ can be decomposed as a sum of three suitable birationally ample divisors. We show that such a decomposition exists when $i \geq 3$ or on some K3 surfaces, constructed using the surjectivity of the period mapping, when $i = 1, g \geq 17$ or $i=2, g \geq 7$.


title: Rational Points of Bounded Height on Compactifications of Anisotropic Tori

abstract: We investigate the analytic properties of the zeta-function associated with heights on equivariant compactifications of anisotropic tori over number fields. This allows to verify conjectures about the distribution of rational points of bounded height.


title: The McKay correspondence for finite subgroups of SL(3,\C)

abstract: This is the final draft, containing very minor proof-reading corrections. Let G in SL(n,\C) be a finite subgroup and \fie: Y -> X = \C^n/G any resolution of singularities of the quotient space. We prove that crepant exceptional prime divisors of Y correspond one-to-one with ``junior'' conjugacy classes of G. When n = 2 this is a version of the McKay correspondence (with irreducible representations of G replaced by conjugacy classes). In the case n = 3, a resolution with K_Y = 0 is known to exist by work of Roan and others; we prove the existence of a basis of H^*(Y, \Q) by algebraic cycles in one-to-one correspondence with conjugacy classes of G. Our treatment leaves lots of open problems.


title: Classification of Varieties with Canonical Curve Section via Gaussian maps on Canonical Curves

abstract: Let $C \subset P^{g-1}$ be a smooth canonical curve of genus $g \geq 3$. The purpose of this article is to further develop a method to classify varieties having $C$ as their curve section, using Gaussian map computations. In a previous article a careful analysis of the degeneration to the cone over the hyperplane section was made for _prime_ Fano threefolds, that is Fano threefolds whose Picard group is generated by the hyperplane bundle. In this article we extend this method and classify Fano threefolds of higher index (which still have Picard number one). We are also able to classify Mukai varieties, i.e. varieties of dimension four or more with canonical curve sections.


title: On sextic surfaces having only nodes (preliminary report)

abstract: Let S be a surface in CP^3, having only nodes as singularities. Let pi: S~ --> S be a minimal resolution of singularities. A set N of nodes on S is EVEN if there exists a divisor Q on S~ such that 2Q ~ pi^{-1}(N). Suppose that S has degree 6. It is known (Basset) that S cannot have 67 or more nodes. It is also known (Barth) that S can have 65 nodes. It is not known if S can have 66 nodes. Likewise, it is not known exactly what sizes can occur for an even set of nodes on S. We show that an nonempty even set of nodes on S must have size 24, 32, 40, 56, or 64. We do not know if the sizes 56 and 64 can occur. We show that if S has 66 nodes, then it must have an even set of 64 nodes, and it cannot have an even set of 56 nodes. THUS IF ONE COULD RULE OUT THE CASE OF A 64 NODE EVEN SET, IT WOULD FOLLOW THAT S CANNOT HAVE 66 NODES. The existence or nonexistence of large even node sets is related to the following vanishing problem. Let S be a normal surface of degree s in CP^3. Let D be a Weil divisor on S such that D is Q-rationally equivalent to rH, for some r \in \Q. Under what circumstances do we have H^1(O_S(D)) = 0? For instance, this holds when r < 0. For s=4 and r=0, H^1 can be nonzero. For s=6 and r=0, if a 56 or 64 node even set exists, then H^1 can be nonzero. The vanishing of H^1 is also related to linear normality, quadric normality, etc. of set-theoretic complete intersections in P^3. Hard copy is available from the author. E-mail to jaffe@cpthree.unl.edu.


title: A New Approach to Characterise all the Transitive Orientations for an Undirected Graph

abstract: A new approach to find all the transitive orientations for a comparability graph (finite or infinite) is presented. This approach is based on the link between the notion of ``strong'' partitive set and the forcing theory (notions of simplices and multiplices). A mathematical algorithm is given for the case of a comparability graph which has only non limit sub-graphs.


title: A Borel-Weil Theorem for Schur Modules

abstract: We present a generalization of the classical Schur modules of $GL(N)$ exhibiting the same interplay among algebra, geometry, and combinatorics. A generalized Young diagram $D$ is an arbitrary finite subset of $\NN \times \NN$. For each $D$, we define the Schur module $S_D$ of $GL(N)$. We introduce a projective variety $\FF_D$ and a line bundle $\LL_D$, and describe the Schur module in terms of sections of $\LL_D$. For diagrams with the ``northeast'' property, $$(i_1,j_1),\ (i_2, j_2) \in D \to (\min(i_1,i_2),\max(j_1,j_2)) \in D ,$$ which includes the skew diagrams, we resolve the singularities of $\FD$ and show analogs of Bott's and Kempf's vanishing theorems. Finally, we apply the Atiyah-Bott Fixed Point Theorem to establish a Weyl-type character formula of the form: $$ {\Char}_{S_D}(x) = \sum_t {x^{\wt(t)} \over \prod_{i,j} (1-x_i x_j^{-1})^{d_{ij}(t)}} \ ,$$ where $t$ runs over certain standard tableaux of $D$. Our results are valid over fields of arbitrary characteristic.


title: Uniformity of rational points over all quadratic fields

abstract: We refine a result of L. Caporaso, J. Harris and B. Mazur, and prove: Supposons que la conjecture de Lang soit vraie. Soit $K$ un corps des nombres et $g>1$ un entier. Il existe un nombre $N(K,g)$ tel que si $L$ est une extension de degr\'e $\leq 3$ de $K$ et $C$ est une courbe lisse projective conn\`exe, de genre $g$ d\'efinie sur $L$ on a $$\# C(L) < N(K,g). $$


title: Bounding the order of automorphisms of certain curves

abstract: We study upper bounds on the order of automorphisms of non-singular curves $X$ satisfying at least one of the following hypothesis: 1) $X$ is an $m$-sheeted covering of exactly one non-singular curve of genus $\gamma$, where $m$ is prime; 2) the center of the group of automorphisms of $X$ is non-trivial.


title: Prym Varieties and the Moduli of Spin Bundles

abstract: We show that the Verlinde formula for moduli spaces of spin bundles on an algebraic curve gives dimensions of direct sums of spaces of theta functions over the finite set of Prym varieties of unramified double covers of the curve. We then construct a natural duality (though we do not show it is nondegenerate) between the latter spaces and the spaces of sections of the theta bundles on the moduli spaces of spin bundles corresponding to the orthogonal representation. Finally, it is remarked that this should be viewed as a special case of a conjectured `strange duality' for spin bundles.


title: Homological Algebra of Mirror Symmetry

abstract: This is my talk at ICM, Zurich 1994. It contains a short introduction, two basic examples and a refined version of the Mirror Conjecture formulated in terms of homological algebra.


title: Mirror symmetry and moduli spaces of superconformal field theories

abstract: We review the applications of mirror symmetry to the study of the moduli spaces of two-dimensional conformal field theories with $N{=}(2,2)$ supersymmetry, particularly those constructed from Calabi--Yau manifolds. (Lecture delivered at the Zurich ICM, section on mathematical physics.)


title: Higher $l$-adic Abel-Jacobi mappings and filtrations on Chow groups

abstract: We define a filtration on the Chow groups of a smooth projective variety X over a field k by using the cycle map into continuous l-adic etale cohomology. The main theorem says that if k is a function field in one variable over a finite field, this filtration for zero cycles is of length at most one modulo the kernel of the cycle map.


title: Cellular decompositions of compactified moduli spaces of pointed curves

abstract: To a closed connected oriented surface $S$ of genus $g$ and a nonempty finite subset $P$ of $S$ is associated a simplicial complex (the arc complex) that plays a basic r\^ ole in understanding the mapping class group of the pair $(S,P)$. It is known that this arc complex contains in a natural way the product of the Teichm\"uller space of $(S,P)$ with an open simplex. In this paper we give an interpretation for the whole arc complex and prove that it is a quotient of a Deligne--Mumford extension of this Teichm\"uller space and a closed simplex. We also describe a modification of the arc complex in the spirit of Deligne--Mumford.


title: A lecture on Kac--Moody Lie algebras of the arithmetic type

abstract: We name an indecomposable symmetrizable generalized Cartan matrix $A$ and the corresponding Kac--Moody Lie algebra ${\goth g} ^\prime (A)$ {\it of the arithmetic type} if for any $\beta \in Q$ with $(\beta | \beta)<0$ there exist $n(\beta )\in {\Bbb N}$ and an imaginary root $\alpha \in \Delta^{im}$ such that $n(\beta )\beta \equiv \alpha \mod Ker\ (.|.)$ on $Q$. Here $Q$ is the root lattice. This generalizes "symmetrizable hyperbolic" type of Kac and Moody. We show that generalized Cartan matrices of the arithmetic type are divided in $4$ types: (a) finite, (b) affine, (c) rank two, and (d) arithmetic hyperbolic type. The last type is very closely related with arithmetic groups generated by reflections in hyperbolic spaces with the field of definition $\Bbb Q$. We apply results of the author and \'E.B. Vinberg on arithmetic groups generated by reflections in hyperbolic spaces to describe generalized Cartan matrices of the arithmetic hyperbolic type and to show that there exists a finite set of series of the generalized Cartan matrices of the arithmetic hyperbolic type. For the symmetric case all these series are known.


title: Fulton-Hansen and Barth-Lefschetz Theorems for Subvarieties of Abelian Varieties

abstract: This is the published (Crelles Journal 467 (1995), 187--197) version of an e-print entitled "ON SUBVARIETIES OF ABELIAN VARIETIES".


title: Sous-vari\'et\'es de codimension $2$ d'une vari\'et\'e ab\'elienne

abstract: This is the published version. Previous version had minor errors. In French.


title: On the Deligne--Beilinson cohomology sheaves

abstract: We are showing that the Deligne--Beilinson cohomology sheaves ${\cal H}^{q+1}({\bf Z}(q)_{\cal D})$ are torsion free by assuming Kato's conjectures hold true for function fields. This result is `effective' for $q=2$; in this case, by dealing with `arithmetic properties' of the presheaves of mixed Hodge structures defined by singular cohomology, we are able to give a cohomological characterization of the Albanese kernel for surfaces with $p_g=0$.


title: Characteristic classes and quadric bundles

abstract: We construct Euler and Stiefel-Whitney classes of vector bundles with quadratic form by analyzing the intersection theory of the associated quadric bundles. We also compute the Chow rings of quadric and isotropic flag bundles. Along the way, we prove a conjecture of Fulton on top Chern classes of maximal isotropic sub-bundles of an even rank quadratic vector bundle.


title: Characteristic classes in the Chow ring

abstract: We study the ring of characteristic classes with values in the Chow ring for principal $G$-bundles over schemes. If we consider bundles which are locally trivial in the Zariski topology, then we show, for $G$ reductive, that this ring is isomorphic to the Weyl group invariants in the algebra generated by characters of the maximal torus. For general principal bundles the same isomorphism holds after tensoring the coefficients with ${\Bbb Q}$. As a corollary, we show that any (non-torsion) topological characteristic class is algebraic when applied to Zariski locally trivial bundles over complex algebraic varieties.


title: $\beta$-nbc bases for cohomology of local systems on hyperplane complements

abstract: We study cohomology with coefficients in a rank one local system on the complement of an arrangement of hyperplanes $\A$. The cohomology plays an important role for the theory of generalized hypergeometric functions. We combine several known results to construct explicit bases of logarithmic forms for the only non-vanishing cohomology group, under some nonresonance conditions on the local system, for any arrangement $\A$. The bases are determined by a linear ordering of the hyperplanes, and are indexed by certain ``no-broken-circuits" bases of $\A$. The basic forms depend on the local system, but any two bases constructed in this way are related by a matrix of integer constants which depend only on the linear orders and not on the local system. In certain special cases we show the existence of bases of monomial logarithmic forms.


title: The multiple-point schemes of a finite curvilinear map of codimension one

abstract: Let X and Y be smooth varieties of dimensions n-1 and n over an arbitrary algebraically closed field, f:X-> Y a finite map that is birational onto its image. Suppose that f is curvilinear; that is, at every point of X, the Jacobian has rank at least n-2. For r at least 1, consider the subscheme N_r of Y defined by the (r-1)st Fitting ideal of the O_Y-module f_*O_X, and set M_r:=f^{-1}N_r. In this setting --- in fact, in a more general setting --- we prove the following statements, which show that M_r and N_r behave like reasonable schemes of source and target r-fold points of f. Each component of M_r and N_r is empty or has dimension at least n-r. If each component of M_r, or equivalently of N_r, has dimension n-r, then M_r and N_r are Cohen--Macaulay, and their fundamental cycles satisfy the relation, f_*[M_r]=r[N_r]. Now, suppose that each component of M_s, or of N_s, has dimension n-s for s=1,...,r+1. Then the blowup Bl(N_r,N_{r+1}) is equal to the Hilbert scheme Hilb^r_f, and the blowup Bl(M_r,M_{r+1}) is equal to the universal subscheme Univ^r_f of Hilb^r_f x_Y X; moreover, Hilb^r_f and Univ^r_f are Gorenstein. In addition, the structure map h:Hilb^r_f->Y is finite and birational onto its image; and its conductor is equal to the ideal J_r of N_{r+1} in N_r, and is locally self-linked. Reciprocally, h_*O_{Hilb^r_f} is equal to Hom(J_r,O_{N_{r}}). Moreover, h_*[h^{-1}N_{r+1}]=(r+1)[N_{r+1}]. Furthermore, similar assertions hold for the structure map h_1:Univ^r_f->X if r>1.


title: Quadratic forms, generalized Hamming weights of codes and curves with many points

abstract: We use the relations between quadrics, trace codes and algebraic curves to construct algebraic curves over finite fields with many points and to compute generalized Hamming weights of codes.


title: On Degenerate Secant and Tangential Varieties and Local Differential Geometry

abstract: We study the local differential geometry of varieties $X^n\subset \Bbb C\Bbb P^{n+a}$ with degenerate secant and tangential varieties. We show that the second fundamental form of a smooth variety with degenerate tangential variety is subject to certain rank restrictions. The rank restrictions imply a slightly refined version of Zak's theorem on linear normality and a short proof of the Zak-Fantecchi theorem on the superadditivity of multisecant defects. We show there is a vector bundle defined over general points of $TX$ whose fibers carry the structure of a Clifford algebra. This structure implies additional restrictions of the size of the secant defect. The Clifford algebra structure, combined with further local computations, yields a new proof of Zak's theorem on Severi varieties that is substantially shorter than the original. We also prove local and global results on the dimension of the Gauss image of degenerate tangential varieties, refining the results in [GH].


title: Even Linkage Classes

abstract: In this paper the author generalizes the $\E$ and $\N$-type resolutions used by Martin-Deschamps and Perrin to subschemes of pure codimension in projective space, and shows that these resolutions are interchanged by the mapping cone procedure under a simple linkage. Via these resolutions, Rao's correspondence is extended to give a bijection between even linkage classes of subschemes of pure codimension two and stable equivalence classes of reflexive sheaves $\E$ satisfying $H^1_*(\E)=0$ and $\ext^1(\E^\vee, \O)=0$. Further, these resolutions are used to extend the work of Martin-Deschamps and Perrin for Cohen-Macaulay curves in $\Pthree$ to subschemes of pure codimension two in $\Pn$. In particular, even linkage classes of such subschemes have the Lazarsfeld-Rao property and any minimal subscheme for an even linkage class is directly linked to a minimal subscheme for the dual class.


title: Hilbert schemes of points on some K3 surfaces and Gieseker stable bundles

abstract: By using a Fourier-Mukai transform for sheaves on K3 surfaces we show that for a wide class of K3 surfaces $X$ the punctual Hilbert schemes $\Hilb^n(X)$ can be identified, for all $n\geq 1$, with moduli spaces of Gieseker stable vector bundles on $X$ of rank $1+2n$. We also introduce a new Fourier-Mukai type transform for such surfaces.


title: On $CR$ mappings between algebraic Cauchy--Riemann manifolds and separate algebraicity for holomorphic functions

abstract: We prove the algebraicity of smooth $CR$-mappings between algebraic Cauchy--Riemann manifolds. A generalization of separate algebraicity principle is established.


title: On the Hilbert Function of Fat Points on a Rational Normal Cubic

abstract: In this paper we find an algorithm which computes the Hilbert function of schemes $Z$ of "fat points" in $\PP3$ whose support lies on a rational normal cubic curve $C$. The algorithm shows that the maximality of the Hilbert function in degree $t$ is related to the existence of fixed curves (either $C$ itself or one of its secant lines) for the linear system of surfaces of degree $t$ containing $Z$.


title: On Calabi-Yau Complete Intersections in Toric Varieties

abstract: We investigate Hodge-theoretic properties of Calabi-Yau complete intersections $V$ of $r$ semi-ample divisors in $d$-dimensional toric Fano varieties having at most Gorenstein singularities. Our main purpose is to show that the combinatorial duality proposed by second author agrees with the duality for Hodge numbers predicted by mirror symmetry. It is expected that the complete verification of mirror symmetry predictions for singular Calabi-Yau varieties $V$ of arbitrary dimension demands considerations of so called {\em string-theoretic Hodge numbers} $h^{p,q}_{\rm st}(V)$. We restrict ourselves to the string-theoretic Hodge numbers $h^{0,q}_{\rm st}(V)$ and $h^{1,q}_{\rm st}(V)$ $(0 \leq q \leq d-r) which coincide with the usual Hodge numbers $h^{0,q}(\widehat{V})$ and $h^{1,q}(\widehat{V})$ of a $MPCP$-desingularization $\widehat{V}$ of $V$.


title: Moduli of Polarised Abelian Surfaces

abstract: The toroidal compactification of the moduli space of complex abelian surfaces with a polarisation of type (1,p), p a prime, is of general type if p is at least 173. Happy Christmas.


title: Mixed Buchsbaum--Rim Multiplicities

abstract: We prove the results about mixed Buchsbaum--Rim multiplicities announced in (9.10)(ii) on p.224 of our recent paper [J.Alg.(1994)], including a general mixed-multiplicity formula. In addition, we identify these multiplicities as the coefficients of the ``leading form'' of the appropriate Buchsbaum-Rim polynomial in three variables, and we prove a positivity theorem. In fact, we define the multiplicities as the degrees of certain zero-dimensional ``mixed twisted'' Segre classes, and we develop an encompassing general theory of these new rational equivalence classes in all dimensions. In parallel, we develop a theory of pure ``twisted'' Segre classes, and we recover the main results in [J.Alg.(1994)] about the pure Buchsbaum--Rim multiplicities, the polar multiplicities, and so forth. Moreover, we identify the additivity theorem [J.Alg.(1994), (6.7b)(i), p.205] as giving a sort of residual-intersection formula, and we show its (somewhat unexpected) connection to the mixed-multiplicity formula. Also, we work in a more general setup than before, and we develop a new approach, based on the completed normal cone.


title: An elementary approach to the abelianization of the Hitchin system for arbitrary reductive groups

abstract: We consider the moduli space of stable principal G-bundles over a compact Riemann surface C of genus >1, with G a reductive algebraic group. We explicitly construct a map F from the generic fibre of the Hitchin map to a generalized Prym variety associated to a suitable Galois covering of C. The map F has finite fibres. In case G=PGl(2) one can check that the generic fibre of F is a principal homogeneous space with respect to a product of 2d-2 copies of Z/2Z where d is the degree of the canonical bundle over C. However in case the Dynkin diagram of G does not contain components of type $B_{n}$ n>0, or when the commutator subgroup (G,G) is simply connected the map F is injective.


title: Remarks on S. Lang's conjecture over function fields

abstract: In this short note, we will show the following weak evidence of S. Lang conjecture over function fields. Let f : X ---> Y be a projective and surjective morphism of algebraic varieties over an algebraically closed field k of characteristic zero, whose generic fiber is geometrically irreducible and of general type. If f is not birationally trivial, then there are countably many proper closed varieties { Z_i } of X such that every quasi-section of f is contained in the union of Z_i.


title: Grothendieck duality via homotopy theory

abstract: Grothendieck proved that if $f:X\longrightarrow Y$ is a proper morphism of nice schemes, then $Rf_*$ has a right adjoint, which is given as tensor product with the relative canonical bundle. The original proof was by patching local data. Deligne proved the existence of the adjoint by a global argument, and Verdier showed that this global adjoint may be computed locally. In this article we show that the existence of the adjoint is an immediate consequence of Brown's representability theorem. It follows almost as immediately, by ``smashing'' arguments, that the adjoint is given by tensor product with a dualising complex. Verdier's base change theorem is an immediate consequence.


title: Cohomology of compact hyperkaehler manifolds

abstract: Let M be a compact simply connected hyperk\"ahler (or holomorphically symplectic) manifold, \dim H^2(M)=n. Assume that M is not a product of hyperkaehler manifolds. We prove that the Lie algebra so(n-3,3) acts by automorphisms on the cohomology ring H^*(M). Under this action, the space H^2(M) is isomorphic to the fundamental representation of so(n-3,3). Let A^r be the subring of H^*(M) generated by H^2(M). We construct an action of the Lie algebra so(n-2,4) on the space A, which preserves A^r. The space A^r is an irreducible representation of so(n-2,4). This makes it possible to compute the ring A^r explicitely.


abstract: Remarks on the Obstructedness of Cones Over Curves of Low Genus. Reason for replacement: proof of the main lemma was significantly improved.


title: Moduli of curves with non-abelian level structure

abstract: Following Deligne and Mumford we construct a coarse moduli space of smooth curves with non-abelian level structure, involving higher order commutators. We prove that its Deligne-Mumford compactification is smooth over an open part of Spec(${\msy Z}$).


title: ${\bf C}^*$-extensions of tori, higher Chow groups and applications to incidence equivalence relations for algebraic cycles.

abstract: Let X be a smooth projective variety of dimension n. If $p+q=n+1$ then Bloch has defined a ${\bf G}_m$-biextension E over the product of the Chow groups $CH^p_0(X)$ and $CH^q_0(X)$ of homologically trivial cycles. We prove that E is the pullback of the Poincare biextension over the product of intermediate Jacobians in characteristic zero. This is used to study various equivalence relations for algebraic cycles. In particular we reprove Murres result that Griffiths conjecture holds for codimension two cycles, i.e. every codim. two cycle algebraically and incidence equivalent to zero has torsion Abel-Jacobi invariant.


title: An improved bound for the degree of smooth surfaces in P4 not of general type.

abstract: This is an addendum to the paper of Braun and Fl{\o}ystad ([BF]) on the bound for the degree of a smooth surface in $\pfour$ not of general type. Using their construction and the regularity of curves in $\pthree$, one may lower the bound a little more. We will prove the following: Theorem. Let $S$ be a smooth surface of degree $d$ in $\pfour$ not of general type. Then either $d \leq 70$ or $S$ lies on a hypersurface in $\pfour$ of degree 5 and $d \leq 80$. Thus $d \leq 80$. We will also indicate how to lower the bound to 76.


title: Boundary behaviour of Hurwitz schemes

abstract: Actions of finite groups on stable curves are studied. They appear naturally at the boundary of a moduli space of smooth curves with group actions. Those actions which can equivariantly smoothed are characterised. A description of topological types of those actions in terms of the quotient curve and mappings from a kind of fundamental group to the given finite group is given, analogous to the well known case of actions on smooth curves.


title: Plane Curves with Hyperbolic and C-hyperbolic Complements

abstract: The general problem which initiated this work is: What are the quasiprojective varieties which can be uniformized by means of bounded domains in $\cz^n$ ? Such a variety should be, in particular, C--hyperbolic, i.e. it should have a Carath\'{e}odory hyperbolic covering. We study here the plane projective curves whose complements are C--hyperbolic. For instance, we show that most of the curves whose duals are nodal or, more generally, immersed curves, belong to this class. We also give explicit examples of irreducible such curves of any even degree d greater or equal 6.


title: Quantum cohomology of complete intersections

abstract: The quantum cohomology algebra of a projective manifold X is the cohomology H(X,Q) endowed with a different algebra structure, which takes into account the geometry of rational curves in X. We show that this algebra takes a remarkably simple form for complete intersections when the dimension is large enough w.r.t. the degree. As a reward we get a number of surprising enumerative formulas relating lines, conics and twisted cubics on X.


title: On the Hilbert scheme of curves in higher-dimensional projective space

abstract: In this paper we prove that, for any $n\ge 3$, there exist infinitely many $r\in \N$ and for each of them a smooth, connected curve $C_r$ in $\P^r$ such that $C_r$ lies on exactly $n$ irreducible components of the Hilbert scheme $\hilb(\P^r)$. This is proven by reducing the problem to an analogous statement for the moduli of surfaces of general type.


title: On the tautological ring of $\M _g$

abstract: We prove among other things that any product of tautological classes of $\M_g$ of degree $d$ (in the Chow ring of $\M _g$ with rational coefficients) vanishes for $d>g-2$ and is proportional to the class of the hyperelliptic locus in degree $g-2$.


title: Some homogeneous coordinate rings that are Koszul algebras

abstract: Using reduction to positive characteristic and the method of Frobenius splitting of diagonals, due to Mehta and Ramanathan, it is shown that homogeneous coordinate rings for either proper and smooth toric varieties or Schubert varieties are Koszul algebras.


title: On the homogeneous ideal of a projective nonsingular toric variety

abstract: Reason for withdrawal: There is a serious mistake in the calculation of the divisor of the rational section used in the proof of Prop. 2.2.1., and with the correct value the argument does not work.


title: The motive of some moduli spaces of vector bundles over a curve

abstract: We study the motive of the moduli spaces of semistable rank two vector bundles over an algebraic curve. When the degree is odd the moduli space is a smooth projective variety, we obtain the absolute Hodge motive of this, and in particular the Hodge-Poincare polynomial. When the degree is even the moduli space is a singular projective variety, we compute pure Euler characteristics and show that only two weights can occur in each cohomology group, we also see that its cohomology is pure up to a certain degree. As a by-product we obtain the isogeny type of some intermediate jacobians of the moduli spaces.


title: A sextic surface cannot have 66 nodes

abstract: Let S be a surface in complex projective 3-space, having only nodes as singularities. Suppose that S has degree 6. We show that the maximum number of nodes which S can have is 65. An abbreviated history of this is as follows. Basset showed that S can have at most 66 nodes. Catanese and Ceresa and Stagnaro constructed sextic surfaces having 64 nodes. Barth has recently exhibited a 65 node sextic surface. We complete the story by showing that S cannot have 66 nodes. Let f: S~ --> S be a minimal resolution of singularities. A set N of nodes on S is even if there exists a divisor Q on S~ such that 2Q ~ f^{-1}(N). We show that a nonempty even set of nodes on S must have size 24, 32, 40, 56, or 64. This result is key to showing the nonexistence of the 66 node sextic. We do not know if a sextic surface can have an even node set of size 56 or 64. The existence or nonexistence of large even node sets is related to the following vanishing problem. Let S be a normal surface of degree s in CP^3. Let D be a Weil divisor on S such that D is Q-rationally equivalent to rH, for some r \in \Q. Under what circumstances do we have H^1(O_S(D)) = 0? For instance, this holds when r < 0. For s=4 and r=0, H^1 can be nonzero. For s=6 and r=0, if a 56 or 64 node even set exists, then H^1 can be nonzero. The vanishing of H^1 is also related to linear normality, quadric normality, etc. of set-theoretic complete intersections in P^3.


title: A Generalization of the Kodaira Vanishing and Embedding Theorem

abstract: We give several generalizations of the Kodaira vanishing and embedding theorems for K\"ahler manifolds to the case where the relevent line bundle has a small region of negative curvature. To prove the vanishing theorems we adapt techniques of Elworthy-Rosenberg for vanishing theorems in Riemannian geometry. For the embedding theorem, we show that a K\"ahler manifold with a mostly positive line bundle is Moishezon, since the usual blow up techniques do not work in our situation.


title: A Calabi-Yau threefold with non-Abelian fundamental group

abstract: The title is self-explanatory.


title: Duality of Weights, Mirror Symmetry and Arnold's Strange Duality

abstract: A notion of duality of weight systems which corresponds to Batyrev's toric mirror symmetry is given. Explicit duality on the (1,1)-cohomology of K3 surfaces which are minimal models of toric hypersurfaces is constructed using monomial divisor mirror map of Aspinwall-Greene-Morrison. It is shown that Arnold's strange duality for exceptional unimodal singularities reduces to this duality.


title: Mirror symmetry for lattice polarized K3 surfaces

abstract: We establish a relationship between mirror symmetry for K3 surfaces and Arnold's strange duality for K3 surfaces. We compute various examples of mirror families. Among them the mirror moduli family for the moduli space of degree 2n polarized K3 surfaces. It turns out to be related to the moduli space of elliptic curves with level n.


title: Homology of moduli spaces of curves and commutative homotopy algebras

abstract: We propose an explicit relation between the cohomology of compactified and noncompactified moduli spaces of algebraic curves with punctures. This relationship generalizes one between commutative algebras and Lie algebras proposed by Lazard, Kontsevich and Ginzburg and Kapranov. More explicitly, we show that the cohomology of one moduli space is the graph complex decorated with the cohomology of the other, which in its turn generalizes Getzler's result for the genus zero moduli. We also show that a certain class of algebras over the chain operad of compactified moduli spaces has a natural structure of a commutative homotopy algebra. This may be regarded as a lifting of the dot product of Lian-Zuckerman's BV algebra structure to the cochain level, thus complementing the results of an earlier paper hep-th/9307114 of the authors regarding the BV bracket.


title: Log Sarkisov Program

abstract: The purpose of this paper is two-fold. The first is to give a tutorial introduction to the Sarkisov program, a 3-dimensional generalization of Castelnuovo-N\"other Theorem ``untwisting" birational maps between Mori fiber spaces, which was recently established by Corti after Sarkisov and Reid. The second is an attempt to give a logarithmic generalization of the program, introducing the notion of the Sarkisov relation. We give a simple description of the structure of the program and clarify the mechanism of termination connected to the boundedness conjecture of (log) Q-Fano n-folds by Borisov.


title: On singularities of ${\cal M}_{I\!\! P^3}(c_1,c_2)$

abstract: Let ${\cal M}_{I\!\! P^3}(c_1,c_2)$ be the moduli space of stable rank-$2$ vector bundles on $I\!\! P^3$ with Chern classes $c_1$, $ c_2$. We prove the following results. 1) Let $0 \le \beta < \gamma $ be two integers, ($\gamma \ge 2)$, such that $2\gamma-3\beta>0$; then ${\cal M}_{I\!\! P^3}(0,2\gamma^2-3\beta^2)$ is singular (the case $\beta =0$ was previously proved by M. Maggesi). 2) Let $0 \le \beta < \gamma $ be two odd integers ($\gamma \ge 5)$, such that $2\gamma-3\beta+1>0$; then ${\cal M}_{I\!\! P^3}(-1,2(\gamma/2)^2-3(\beta/2)^2+1/4)$ is singular. In particular ${\cal M}_{I\!\! P^3}(0,5)$, ${\cal M}_{I\!\! P^3}(-1,6)$ are singular.


title: Braid Group techniques in Complex Geometry V: The fundamental group of the complement of a Veronese generic projection

abstract: Computation of the fundamental group of the complement in the complex plane of the branch curve S , of a generic projection of the Veronese surface to the plane is presented. This paper is a continuation of our previous papers: Braid Group Technique I - IV. In I and II we developed algorithms to compute braid monodromy of a brunch curve, provided there exist a degeneration of the surface to union of planes in a configuration where the associated branch curve is partial to a line arrangement dual to generic. In III we constructed a degeneration of the Veronese surface of order 3 to union of planes with the desired property and in IV we used I -III to compute the braid monodromy of the associated branch curve. Here we use the Van-Kampen method to compute the fundamental group of the complement from a braid monodromy factorization and some extra properties of the factorization , namely invariant properties, also proven in IV. The group is presented using a certain quotient of the Braid group defined by transversal half-twists.


title: Operads, Grothendieck topologies and Deformation theory

abstract: The idea of the work is to find an invariant way to pass from deformation theory to cohomology, which does not use any explicit cocycles. The appropriate cohomology theory is based on considering sheaves on a certain site. An advantage of the approach is that it enables one to give a simultanious treatement to all types of algebras. As an application, we prove the PBW theorem in cases where it is not yet known.


title: Height inequality of algebraic points on curves over functional fields

abstract: The purpose of this paper is to give a linear and effective height inequality for algebraic points on curves over functional fields. Our height inequality can be viewed as the logarithmic canonical class inequality of a punctured curve over a functional field (a fibered surface minus a section).


title: k-very ample line bundles on Del Pezzo Surfaces

abstract: A $k$-very ample line bundle L on a Del Pezzo Surface is numerically characterized. We find that the set of the exceptional curves and effective divisors with selfintersection zero, $\cal S$, plays a very important rule in checking the nefness and $k$-very ampleness of a line bundle on a Del pezzo Surface. We show that a line bundle L is nef if and only if it is spanned and that L is $k$-very ample if and only if the intersection with all the elements of $\cal S$ is greater or equal than k. In the first part of the paper we give a complete numerical description of the elements of $\cal S$ .


title: Abelian automorphism groups of threefolds of general type

abstract: This thesis is devoted to the study of abelian automorphism groups of surfaces and $3$-folds of general type over complex number field $\Bbb C$. We obtain a linear bound in $K^3$ for abelian automorphism groups of $3$-folds of general type whose canonical divisor $K$ is numerically effective, and we improve on Xiao's results on abelian automorphism groups of minimal smooth projective surfaces of general type. More precisely, the main results in this thesis are the following. {\bf Theorem 3.0.} Let $X$ be a smooth 3-fold of general type over the complex number field, $K$ the canonical divisor of $X$. Let $G$ be an abelian group of automorphisms of $X$. Suppose $K$ is nef. Then there exists a universal constant coefficient $c$ such that $\# G \le c K^3$.


title: Self-intersection of dualizing sheaves of arithmetic surfaces with reducible fibers

abstract: Let K be an algebraic number field and O_K the ring of integers of K. Let f : X --> Spec(O_K) be a stable arithmetic surface over O_K of genus g >= 2. In this short note, we will prove that if f has a reducible geometric fiber, then the self intersection of dualizing sheaf of X with Arakelov metric is greater than or equal to log(2)/6(g-1).


title: Fundamental groups of complements of curves as solvable groups

abstract: We discuss the applications of fundamental groups (of complements of curves) computations (and possibly the computations of the second homotopy group as a model over it) to the classification of algebraic surface. We prove that the fundamental group of the complement of the branch curve of a generic projection of a Veronese surface to the complex plane is an "almost solvable" group in the sense that it contains a solvable group of finite index and thus we can consider the second fundamental group as model over the first.


title: Embeddings of homogeneous spaces in prime characteristics

abstract: Let $G$ be a reductive linear algebraic group. The simplest example of a projective homogeneous $G$-variety in characteristic $p$, not isomorphic to a flag variety, is the divisor $x_0 y_0^p+x_1 y_1^p+x_2 y_2^p=0$ in $P^2\times P^2$, which is $SL_3$ modulo a non-reduced stabilizer containing the upper triangular matrices. In this paper embeddings of projective homogeneous spaces viewed as $G/H$, where $H$ is any subgroup scheme containing a Borel subgroup, are studied. We prove that $G/H$ can be identified with the orbit of the highest weight line in the projective space over the simple $G$-representation $L(\lambda)$ of a certain highest weight $\lambda$. This leads to some strange embeddings especially in characteristic $2$, where we give an example in the $C_4$-case lying on the boundary of Hartshorne's conjecture on complete intersections. Finally we prove that ample line bundles on $G/H$ are very ample. This gives a counterexample to Kodaira type vanishing with a very ample line bundle, answering an old question of Raynaud.


title: Poncelet theorems

abstract: If there is one polygon inscribed into some smooth conic and circumscribed about another one, then there are infinitely many such polygons. This is Poncelet's theorem. The aim of this note is to collect some (mostly classical) versions of this theorem, namely: - Weyr's Poncelet theorem in $P_3$ (1870), - Emch's theorem on circular series (1901), - Gerbaldi's formula for the number of Poncelet pairs (1919), - the Money-Coutts theorem on three circles (1971), - the zig-zag theorem (1974), - a (probably new) Poncelet theorem on three conics, - a Poncelet formula for quadrics of revolution.


title: On the cohomology ring of the moduli space of rank 2 vector bundles on a curve

abstract: Let $\MS_g$ be the moduli space of stable holomorphic vector bundles of rank 2 and fixed determinant of odd degree over a smooth complex projective curve of genus $g$. This paper proves various properties of the rational cohomology ring $H^*(\MS_g)$. It is shown that the first relation in genus $g$ between the standard generators satisfies a recurrence relation in $g$ and that the invariant subring for the mapping class group is a complete intersection ring. (These two results have been obtained independently by Zagier, Baranovsky and Siebert & Tian.) A Gr\"obner basis is found for the ideal of invariant relations. A structural formula for $H^*(\MS_g)$ (originally conjectured by Mumford) is verified and a natural monomial basis is given.


title: Algebraic cohomology of the moduli space of rank 2 vector bundles on a curve

abstract: Let $\MC$ be the moduli space of stable holomorphic vector bundles of rank 2 and fixed determinant of odd degree, over a smooth projective curve $C$. This paper identifies the algebraic cohomology ring $\HA^*(\MC)$, i.e. the subring of the rational cohomology ring $H^*(\MC;\QQ)$ spanned by the fundamental classes of algebraic cycles, in terms of the algebraic cohomology ring of the Jacobian $\JC$.


title: A Compactification Over $\overline{M}_g$ Of The Universal Moduli Space of Slope-Semistable Vector Bundles

abstract: A projective moduli space of pairs (C,E) where E is a slope- semistable torsion free sheaf of uniform rank on a Deligne- Mumford stable curve C is constructed via G.I.T. There is a natural SL x SL action on the relative Quot scheme over the universal curve of the Hilbert scheme of pluricanonical, genus g curves. The G.I.T. quotient of this product action yields a functorial, compact solution to the moduli problem of pairs (C,E). Basic properties of the moduli space are studied. An alternative approach to the moduli problem of pairs has been suggested by D. Gieseker and I Morrison and completed by L. Caporaso in the rank 1 case. It is shown the contruction given here is isomorphic to Caporaso's compactification in the rank 1 case.


title: Koszul Property and Frobenius Splitting of Schubert Varieties

abstract: We show how the Frobenius splitting method of Mehta-Ramanathan implies the Koszul property of projective coordinate rings of Schubert varieties.


title: Torsion-Free Sheaves and Moduli of Generalized Spin Curves

abstract: This article treats compactifications of the space of generalized spin curves. Generalized spin curves, or $r$-spin curves, are pairs $(X,L)$ with $X$ a smooth curve and $L$ a line bundle whose r-th tensor power is isomorphic to the canonical bundle of $X.$ These are a natural generalization of $2$-spin curves (algebraic curves with a theta-characteristic), which have been of interest recently, in part because of their applications to fermionic string theory. Three different compactifications over $\Bbb{Z}[1/r],$ all using torsion-free sheaves, are constructed. All three yield algebraic stacks, one of which is shown to have Gorenstein singularities that can be described explicitly, and one of which is smooth. All three compactifications generalize constructions of Deligne and Cornalba done for the case when $r=2.$


title: Extremal contractions from 4-dimensional manifolds to 3-folds

abstract: Let $g : X \to Y$ be the contraction of an extremal ray of a smooth projective 4-fold $X$ such that $\dim Y=3$. Then $g$ may have a finite number of 2-dimensional fibers. We shall classify those fibers. Especially we shall prove that any two points of such a fiber is joined by a chain of rational curves of length at most 2 with respect to $-K_X$, and that $|-K_X|$ is $g\text{-free}$.


title: Traces and Differential Operators over Beilinson Completion Algebras

abstract: A Beilinson completion algebra (BCA) A is a complete semilocal algebra over a perfect field k, whose residue fields are high dimensional local fields. In addition A is a semi-topological algebra. The completion of the structure sheaf of an algebraic k-variety along a saturated chain of points is the prototypical example of a BCA. We single out two kinds of homomorphisms between BCAs: morphisms and intensifications. The first kind includes residually finite local homomorphisms, whereas the second kind is a sort of localization. We prove that every BCA A has a dual module K(A), and these dual modules are contravariant w.r.t. morphisms and covariant w.r.t. intensifications. For any semi-topological A-module M we define its dual Dual_{A} M := Hom_{A}^{cont}(M, K(A)). This duality operation has the remarkable property of respecting differential operators: given a continuous DO D : M --> N, there is a dual DO Dual_{A}(D) : Dual_{A} N --> Dual_{A} M. The results above are used (in a subsequent paper) to construct the Grothendieck residue complex K_{X}^{.} on any finite type k-scheme X, and to derive many of its properties.


title: Linear bound for abelian automorphisms of varieties of general type

abstract: We prove: Let $G$ be a finite abelian group acting faithfully on a complex smooth project variety $X$ of general type with numerically effective canonical divisor, of dimension $n$. Then $$|G| \le C(n)K_X^n ,$$ where $C(n)$ depends only on $n$.


title: Algebraic surfaces and Seiberg-Witten invariants

abstract: In this revised version, we add some expository material and references and make some minor corrections.


title: On the blowups of numerical Godeaux surfaces

abstract: We give a short proof of the following result: Let $X$ be a complex surface of general type. If the canonical divisor of the minimal model of $X$ has selfintersection $= 1$, then $X$ is not diffeomorphic to a rational surface. Our proof is the natural extension of the argument given in our paper in Inventiones Mathematicae (1989) for the case when $X$ is minimal. This argument also gives information about the non--existence of certain smooth embeddings of $2$--spheres in $X$, if $X$ has geometric genus zero.


title: Non--trivial harmonic spinors on generic algebraic surfaces

abstract: We disprove Hitchin's conjecture to the effect that for a generic complex structure on a simply connected spin complex surface the square root of the canonical bundle has no more cohomology then is predicted by the Riemann--Roch theorem. (This paper will appear in Proc. Amer. Math. Soc.)


title: Quasi-parabolic Siegel Formula

abstract: The result of Siegel that the Tamagawa number of $SL_r$ over a function field is 1 has an expression purely in terms of vector bundles on a curve, which is known as the Siegel formula. We prove an analogous formula for vector bundles with quasi-parabolic structures. This formula can be used to calculate the Betti numbers of the moduli of parabolic vector bundles using the Weil conjucture.


title: Homology of iterated semidirect products of free groups

abstract: Let $G$ be a group which admits the structure of an iterated semidirect product of finitely generated free groups. We construct a finite, free resolution of the integers over the group ring of $G$. This resolution is used to define representations of groups which act compatibly on $G$, generalizing classical constructions of Magnus, Burau, and Gassner. Our construction also yields algorithms for computing the homology of the Milnor fiber of a fiber-type hyperplane arrangement, and more generally, the homology of the complement of such an arrangement with coefficients in an arbitrary local system.


title: Reflection groups in hyperbolic spaces and the denominator formula for Lorentzian Kac--Moody Lie algebras

abstract: This is a continuation of our "Lecture on Kac--Moody Lie algebras of the arithmetic type" \cite{25}. We consider hyperbolic (i.e. signature $(n,1)$) integral symmetric bilinear form $S:M\times M \to {\Bbb Z}$ (i.e. hyperbolic lattice), reflection group $W\subset W(S)$, fundamental polyhedron $\Cal M$ of $W$ and an acceptable (corresponding to twisting coefficients) set $P({\Cal M})\subset M$ of vectors orthogonal to faces of $\Cal M$ (simple roots). One can construct the corresponding Lorentzian Kac--Moody Lie algebra ${\goth g}={\goth g}^{\prime\prime}(A(S,W,P({\Cal M})))$ which is graded by $M$. We show that $\goth g$ has good behavior of imaginary roots, its denominator formula is defined in a natural domain and has good automorphic properties if and only if $\goth g$ has so called {\it restricted arithmetic type}. We show that every finitely generated (i.e. $P({\Cal M})$ is finite) algebra ${\goth g}^{\prime\prime}(A(S,W_1,P({\Cal M}_1)))$ may be embedded to ${\goth g}^{\prime\prime}(A(S,W,P({\Cal M})))$ of the restricted arithmetic type. Thus, Lorentzian Kac--Moody Lie algebras of the restricted arithmetic type is a natural class to study. Lorentzian Kac--Moody Lie algebras of the restricted arithmetic type have the best automorphic properties for the denominator function if they have {\it a lattice Weyl vector $\rho$}. Lorentzian Kac--Moody Lie algebras of the restricted arithmetic type with generalized lattice Weyl vector $\rho$ are called {\it elliptic}


title: The canonical class and the $C^\infty$ properties of K\"ahler surfaces

abstract: We give a self contained proof using Seiberg Witten invariants that for K\"ahler surfaces with non negative Kodaira dimension (including those with $p_g = 0$) the canonical class of the minimal model and the $(-1)$-curves, are oriented diffeomorphism invariants up to sign. This implies that the Kodaira dimension is determined by the underlying differentiable manifold (Van de Ven Conjecture). We use a set up that replaces generic metrics by the construction of a localised Euler class of an infinite dimensional bundle with a Fredholm section. This allows us to compute the Seiberg Witten invariants of all elliptic surfaces with excess intersection theory. We then reprove that the multiplicities of the elliptic fibration are determined by the underlying oriented manifold, and that the plurigenera of a surface are oriented diffeomorphism invariants.


title: An algebraic version of Demailly's asymptotic Morse Inequalities

abstract: We give an elementary algebraic proof of some asymptotic estimates (called by Demailly asymptotic Morse inequalities) for the dimensions of cohomology groups of the difference of two ample line bundles on a smooth complex projective variety of any dimension.


title: The Langlands lemma and the Betti numbers of stacks of $G$--bundles on a curve

abstract: In this note we show that the Langlands lemma from the theory of Eisenstein series can be used to invert the recursion relation for the Poincar\'e series of the open substack of semi-stable $G$-bundles which was established by Atiyah/Bott and Harder/Narasimhan.


title: Quotient Spaces Modulo Algebraic Groups

abstract: The paper proves that if a reductive group scheme acts properly on a scheme then the geometric quotient exists as an algebraic space. As a consequence we obtain the existence of the moduli spcace of canonically polarized varieties over Spec Z.


title: Bloch's conjecture revisited

abstract: Let $X$ be a non-singular projective complex surface. We can show that Bloch's conjecture (i.e., that if $p_g=0$ then the Albanese kernel vanishes) is equivalent to the following statement: If $p_g(X)=0$ then for any given Zariski open $U\subset X$ and $\omega\in H^2(U,{\bf C})$ there is a smaller Zariski open $V\subset U$ such that $$\omega\mid_V =\omega'+\zeta$$ where $\omega'\in F^2H^2(V,{\bf C})$ and $\zeta$ is integral.


title: Geometric Properties of the Double-Point Divisor

abstract: Let $X^n \subset P^N$ be a nonsingular, nondegenerate projective variety of dimension $n$ and codimension $N-n \ge 2$. Let $|C_X|$ be the linear system determined by the double-point divisor obtained by generically projecting $X$ to a hypersurface in $P^{n+1}$. We classify those varieties for which $C_X$ is not ample, or equivalently, does not separate points of $X$. We call such varieties Roth varieties and prove that they exist for all dimensions $n \ge 2$ and give a description of their properties. For example, in many cases Roth varieties are Castelnuovo varieties. Positivity results for the double-point divisor are analogous to positivity results for the ramification divisor which are studied in adjunction theory.


title: Hitchin systems, higher Gaudin operators and $r$-matrices

abstract: We adapt Hitchin's integrable systems to the case of a punctured curve. In the case of $\CC P^{1}$ and $SL_{n}$-bundles, they are equivalent to systems studied by Garnier. The corresponding quantum systems were identified by B. Feigin, E. Frenkel and N. Reshetikhin with Gaudin systems. We give a formula for the higher Gaudin operators, using results of R. Goodman and N. Wallach on the center of the enveloping algebras of affine algebras at the critical level. Finally we construct a dynamical $r$-matrix for Hitchin systems for a punctured elliptic curve, and $GL_{n}$-bundles, and (for $n=2$) the corresponding quantum system.

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


title: Equianalytic and equisingular families of curves on surfaces

abstract: We consider flat families of reduced curves on a smooth surface S such that each member C has the same number of singularities of fixed singularity types and the corresponding (locally closed) subscheme H of the Hilbert scheme of S. We are mainly concerned with analytic resp. topological singularity types and give a sufficient condition for the smoothness of H (at C). Our results for S=P^2 seem to be quite sharp for families of cuves of small degree d.


title: The irreducibility of the moduli space of stable vector bundles of rank 2 on a quintic in $\pp^3$

abstract: In this paper I consider a quintic surface in $\pp^3$, general in the sense of Noether-Lefschetz theory. The vector bundles of rank 2 on this surface which are $\mu$-stable with respect to the hyperplane section and have $c_1 = K$, the canonical class of the surface and fixed $c_2$, are parametrized by a moduli space. This space is known to be irreducible for large $c_2$ (work of K.G. O'Grady). I give an explicit bound, namely $c_2 \geq 16$.


title: Moduli spaces of semiquasihomogeneous singularities with fixed principal part

abstract: We construct coarse moduli spaces of semiquasihomogeneous hypersurface singularities with respect to right equivalence and contact equivalence. We have to fix the principal part of the semiquasihomogeneous singularities. For the moduli spaces with respect to contact equivalence we also fix the Hilbert function of the Tjurina algebra induced by the weights.


title: Stable Parabolic Bundles over Elliptic Surfaces and over Orbifold Riemann Surfaces

abstract: For an elliptic surface $q:Y \to \Sigma$, with prescribed singular fibres, Stefan Bauer proved directly via algebraic geometry that the stable bundles over $Y$, whose chern classes are pull backs from $\Sigma$, correspond to the stable (V-)bundles over $\Sigma$. We show, via a short proof in differential geometry, a generalisation to stable parabolic bundles. This uses extensions of Donaldson's deep result, giving the existence of Hermitian-Yang-Mills (or anti-self-dual) connections on stable parabolic bundles. In our cases these connections are flat and hence, correspond to representations of certain fundamental groups, which in turn are isomorphic, by Ue's work. To generalize Bauer's equivalence of the corresponding moduli spaces of stable bundles, we combine his arguments with Kronheimer & Mrowka's construction of the moduli spaces of stable parabolic bundles. Finally, we consider the pulling back of smooth parabolic bundles via $q$.


title: The nil Hecke ring and singularity of Schubert varieties

abstract: We give a criterion for smoothness of a point in any Schubert variety in any G/B in terms of the nil Hecke ring.


title: On a conjecture of Varchenko

abstract: In this note we generalize and prove a recent conjecture of Varchenko concerning the number of critical points of a (multivalued) meromorphic function $\phi$ on an algebraic manifold. Under certain conditions, this number turns out to coincide with the Euler characteristic (up to a sign) of the complement of the divisor of $\phi$. A few variants of this basic situation are also discussed. Two independent proofs are given, respectively using Chern classes and Morse theory In its original form, this counting problem arises (in special cases) in evaluating the asymptotics of correlation functions of Wess--Zumino--Witten conformal field theory.


title: Akizuki's counterexample

abstract: Following Akizuki, I construct a Noetherian local integral domain C_M whose normalisation (integral closure) is not finite over C_M. My proof follows closely Akizuki's ingenious calculations.


title: A gem of the modular universe

abstract: We introduce one of the most beautiful algebraic varieties known, a quintic hypersurface in projective five-space, which is invariant under the action of the Weyl group of $E_6$. This variety is intricately related with many other moduli problems, some of which are: marked hyperelliptic curves of genus two, Picard curves of genus four with a $\sqrt{-3}$-level structure, six points on the projective line, abelian surfaces with (1,3) polarisations, quartic surfaces invariant under the action of the Heisenberg group in projective three-space, K3-surfaces which are double covers of the projective plane branched along six lines, and last but not least, cubic surfaces in projective three-space. These relationships are developed in some detail, with particular care on the birational aspects.


title: An orbifold partition of ${\overline{M}_g^n}$

abstract: We define a partition of ${\overline{M}_g^n}$ and show that the cohomology of ${\overline{M}_g^n}$ in a given degree admits a filtration whose respective quotients are isomorphic to the shifted cohomology groups of the parts if $g$ is sufficiently large. This implies that the map $H^k({\overline{M}_g^n}) \ra H^k(M_g^n)$ is onto and that the Hodge structure of $H^k(M_g^n)$ is pure of weight $k$ if $g \geq 2k+1$. Our main ingredient is the stability theorem of Harer and Ivanov.


title: Th\'eor\`emes De Connexit\'e Pour Les Produits D'Espaces Projectifs et Les Grassmanniennes

abstract: Let $G$ be the Grassmannian $G(d,n)$, let $X$ and $Y$ be complete irreducible varieties, and let $X\rightarrow G$ and $Y\rightarrow G$ be morphisms. Hansen proved that $X \times_G Y$ is connected when $codim f(X) + codim g(Y) < n$. We show that the conclusion holds under the often weaker hypothesis $f(X).g(Y).T\ne 0$, where $T$ is the class of $G(d,n-1)$ in $G$. We prove similar results when $G$ is a product of projective spaces. In particular, if $D$ is an irreducible subvariety of $P^n\times P^n$ of dimension $n$ which dominates both factors, and if $X$ is complete irreducible, with a morphism $f: X \rightarrow P^n\times P^n$ such that $dim f(X) >n$, $f^{-1}(D)$ is connected. This extends the classical Fulton-Hansen connectedness theorem. These results illustrate Fulton and Lazarsfeld's idea that connectedness should be a numerical property.


title: Moduli of pre-$\cal D$-modules, perverse sheaves and the Riemann-Hilbert morphism -I

abstract: We construct a moduli scheme for semistable pre-$\D$-modules with prescribed singularities and numerical data on a smooth projective variety. These pre-$\D$-modules are to be viewed as regular holonomic $\D$-modules with `level structure'. We also construct a moduli scheme for perverse sheaves on the variety with prescribed singularities and other numerical data, and represent the de Rham functor (which gives the Riemann-Hilbert correspondence) by an analytic morphism between the two moduli schemes.


title: Roitman's theorem for singular complex projective surfaces

abstract: Let $X$ be a complex projective surface with arbitrary singularities. We construct a generalized Abel--Jacobi map $A_0(X)\to J^2(X)$ and show that it is an isomorphism on torsion subgroups. Here $A_0(X)$ is the appropriate Chow group of smooth 0-cycles of degree 0 on $X$, and $J^2(X)$ is the intermediate Jacobian associated with the mixed Hodge structure on $H^3(X)$. Our result generalizes a theorem of Roitman for smooth surfaces: if $X$ is smooth then the torsion in the usual Chow group $A_0(X)$ is isomorphic to the torsion in the usual Albanese variety $J^2(X)\cong Alb(X)$ by the classical Abel-Jacobi map.


title: The Mumford relations and the moduli of rank three stable bundles

abstract: We find a complete set of relations for the rational cohomology ring of the moduli space of rank three stable bundles over a Riemann surface of genus g and also show that the Pontryagin ring vanishes in degree 12g-8 and greater. The results are obtained by introducing some 'dual' Mumford relations and generalising Kirwan's proofs of the Mumford and Newstead conjectures in the rank two case. (In this revised version of the paper the vanishing degree of the Pontryagin ring of the moduli space has been improved from `in and above degree 12g-4' to `in and above degree 12g-8'. This degree is now known to be sharp.)


title: Degrees of generators of ideals defining subschemes of projective space

abstract: For an arithmetically Cohen--Macaulay subscheme of projective space, there is a well-known bound for the highest degree of a minimal generator for the defining ideal of the subscheme, in terms of the Hilbert function. We prove a natural extension of this bound for arbitrary locally Cohen--Macaulay subschemes. We then specialize to curves in $\pthree$, and show that the curves whose defining ideals have generators of maximal degree satisfy an interesting cohomological property. The even liaison classes possessing such curves are characterized, and we show that within an even liaison class, all curves with the property satisfy a strong Lazarsfeld--Rao structure theorem. This allows us to give relatively complete conditions for when a liaison class contains curves whose ideals have maximal degree generators, and where within the liaison class they occur.


title: Local Homology and Cohomology on Schemes

abstract: We prove a sheaf-theoretic derived-category generalization of Greenlees-May duality (a far-reaching generalization of Grothendieck's local duality theorem): for a quasi-compact separated scheme X and a "proregular" subscheme Z---for example, any separated noetherian scheme and any closed subscheme---there is a sort of sheafified adjointness between local cohomology supported in Z and left-derived completion along Z. In particular, the i-th left-derived completion functor is the "local homology" sheaf $Ext^i(\R\Gamma_Z\O_X, -)$. Sheafified generalizations of a number of duality theorems scattered about the literature result, e.g., the Peskine-Szpiro duality sequence (generalizing local duality), the Warwick Duality theorem of Greenlees, the Affine Duality theorem of Hartshorne. Using Grothendieck Duality, we also get a generalization of a Formal Duality theorem of Hartshorne, and of a related local-global duality theorem. In a sequel we will develop the latter results further, to study Grothendieck duality and residues on formal schemes.


title: Hyperbolic Planes

abstract: In this paper we consider a special class of arithmetic quotients of bounded symmetric domains which can roughly be described as higher- dimensional analogues of the Hilbert modular varities. The algebraic groups are defined as the unitary groups over two-dimensional right vector spaces over a division algebra with involution. If $d$ denotes the degree of the division algebra, then $d=1$ is essentially just case giving rise to Hilbert modular varieties. We determine the class number (number of cusps) of the arithmetic quotients, and find inter- esting modular subvarities whos existence derives from the algebraic structure of the division algebras. Also the moduli interpretation, given by Shimuras theory, is described.


title: On number of hypersurfaces containing projective curves

abstract: Generalizing a classical lemma of Castelnuovo, we characterize rational normal curves (resp. linearly normal elliptic curves) as curves $C\subset \PP^n$ such that the number of linearly independent hypersurfaces $Z\supset C$ of given degree~$m$ is maximal (resp. next to maximal).


title: Severi Degrees in Cogenus 3

abstract: In this short note, a new computation of the degree of the locus of 3-nodal plane curves in the linear system of degree d plane curves is given. The answer is expressed as a tautological class on a blow-up of the Hilbert scheme of 3 points in the plane. The class is evaluated by the Bott residue formula.


title: Intersections of Q-Divisors on Kontsevich's Moduli Space $\bar{M}_{0,n}(P^r,d)$ and Enumerative Geometry

abstract: The theory of Q-Cartier divisors on the space of n-pointed, genus 0, stable maps to projective space is considered. Generators and Picard numbers are computed. A recursive algorithm computing all top intersection products of Q-Divisors is established. As a corollary, an algorithm computing all characteristic numbers of rational curves in P^r is proven (including simple tangency conditions). Computations of these characteristic numbers are carried out in many examples. The degree of the 1-cuspidal rational locus in the linear system of degree d plane curves is explicitly evaluated.


title: Intersection-theoretical computations on \Mgbar

abstract: We determine necessary conditions for ample divisors in arbitrary genus as well as for very ample divisors in genus 2 and 3. We also compute the intersection numbers $\lambda^9$ and $\lambda_{g-1}^3$ in genus 4. The latter number is relevant for counting curves of higher genus on manifolds, cf. the recent work of Bershadsky et al.


title: Siegel automorphic form corrections of some Lorentzian Kac--Moody Lie algebras

abstract: We find automorphic form corrections which are generalized Lorentzian Kac--Moody superalgebras without odd real simple roots (see R. Borcherds \cite{Bo1} -- \cite{Bo7}, V. Kac \cite{Ka1} -- \cite{Ka3}, R. Moody \cite{Mo} and \S~6 of this paper) for two elliptic Lorentzian Kac--Moody algebras of the rank $3$ with a lattice Weyl vector, and calculate multiplicities of their simple and arbitrary imaginary roots (see an appropriate general setting in \cite{N5}). These Kac--Moody algebras are defined by hyperbolic (i.e. with exactly one negative square) symmetrized generalized Cartan matrices $$G_1\ =\ \left(\matrix\hphantom{-} 2&-2&-2\\-2 &\hphantom{-}2&-2\\-2&-2& \hphantom{-} 2 \endmatrix\right)\hskip30pt \text{and} \hskip 30pt G_2\ =\ \left(\matrix\hphantom{-}4 & -4 & -12& -4 \\-4 &\hphantom{-}4 &-4&-12


title: Some Donaldson invariants of CP^2

abstract: We compute the Donaldson numbers $q_{17}(CP^2)=2540$ and $q_{21}(CP^2)=233208$.


title: Integral Subschemes of Codimension Two

abstract: In this paper we study the problem of describing the integral subschemes within a fixed even linkage class $\L$ of subschemes in $\Pn$ of codimension two. In the case that $\L$ is not the class of arithmetically Cohen-Macaulay subschemes, we associate to any $X \in \L$ two invariants $\theta_X$ and $\eta_X$. When taken with the height $h_X$, each of these invariants determines the location of $X$ in $\L$, thought of as a poset under domination. In terms of these invariants, necessary conditions are given for integral subschemes. The necessary conditions are almost sufficient in the sense that if a subscheme $X$ satisfies the necessary conditions and dominates an integral subscheme $Y$, then $X$ can be deformed with constant cohomology through subschemes in $\L$ to an integral subscheme. In particular, if an even linkage class has a minimal element which is integral, then the conditions are both necessary and sufficient.


title: The quantum cohomology of homogeneous varieties

abstract: We established the associativity of the quantum cohomologies of homogeneous varieties by using degeneration method in algebraic geometry.


title: The first two Betti numbers of the moduli spaces of vector bundles on surfaces

abstract: We determined the first two Betti numbers of the moduli of rank two stable sheaves on an arbitrary algebraic surface


title: Picard groups of the moduli spaces of vector bundles over algebraic surfaces

abstract: We determined the Picard group of the moduli of rank two stable sheaves on an arbitrary algebraic surface up to finite index


title: On irreducible four--manifolds

abstract: We show that minimal symplectic 4--manifolds with $b_2^+ >1$ and with residually finite fundamental groups are irreducible. We also give examples of irreducible orientable four--manifolds with indefinite intersection forms which are not almost complex with respect to either orientation.


title: Making enumerative predictions by means of mirror symmetry

abstract: Given two Calabi--Yau threefolds which are believed to constitute a mirror pair, there are very precise predictions about the enumerative geometry of rational curves on one of the manifolds which can be made by performing calculations on the other. We review the mechanics of making these predictions, including a discussion of two conjectures which specify how the elusive ``constants of integration'' in the mirror map should be fixed. Such predictions can be useful for checking whether or not various conjectural constructions of mirror manifolds are producing reasonable answers.


title: Relative Geometric Invariant Theory and Universal Moduli Spaces

abstract: We expose in detail the principle that the relative geometric invariant theory of equivariant morphisms is related to the GIT for linearizations near the boundary of the $G$-effective ample cone. We then apply this principle to construct and reconstruct various universal moduli spaces. In particular, we constructed the universal moduli space over $\overline{M_g}$ of Simpson's $p$-semistable coherent sheaves and a canonical dominating morphism from the universal Hilbert scheme over $\overline{M_g}$ to a compactified universal Picard.


title: Orbifold Riemann Surfaces and the Yang-Mills-Higgs Equations

abstract: We extend Hitchin's results on "The self-duality equations on a Riemann surface" (Proc. LMS (3), vol. 55, 1987) to orbifold Riemann surfaces. We prove existence results for orbifold solutions of the Yang-Mills-Higgs equations and construct the moduli space of solutions. These moduli spaces provide interesting examples of non-compact hyper-Kahler manifolds in all dimensions divisible by 4 and of completely integrable Hamiltonian systems. We also reinterpret these moduli spaces as spaces of orbifold Higgs bundles and as representation varieties of Fuchsian groups.


title: Gauge fixing for logarithmic connections over curves and the Riemann-Hilbert-Problem

abstract: We explain in detail the correspondence between algebraic connections over CP^{1}, logarithmic at X = { x_{1},...,x_{n} } \subset CP^{1}, and flat bundles over CP^{1}-X with integer weighted filtrations near each x_{j}. Included is a gauge fixing theorem for logarithmic connections. (Thus far, one could work over any Riemann surface.) We prove a bound on the splitting type of a semi-stable logarithmic connection over CP^{1}. Using this we extend and simplify some results on the Riemann-Hilbert-Problem, which asks for a logarithmic connection on a holomorphically trivial bundle over CP^{1}, extending a given flat bundle over CP^{1}-X. The work is self contained and elementary, using only basic knowledge of Gauge Theory and the Birkhoff-Grothendieck-Theorem.


title: A Non-Linear Deformation of the Hitchin Dynamical System

abstract: Mukai's space, parametrizing simple sheaves on a K3 surface S whose numerical invariants are those of a line bundle on a curve C in S, is interpreted as a deformation of Hitchin's system on C. This is used to show that the nilpotent cone in Mukai space is Lagrangian. In rank 2, components of this nilpotent cone are described as affine bundles over symmetric products of the curve. The underlying vector bundles give the corresponding components of the Hitchin nilpotent cone.


title: Pieri's rule for flag manifolds and Schubert polynomials

abstract: We establish the formula for multiplication by the class of a special Schubert variety in the integral cohomology ring of the flag manifold. This formula also describes the multiplication of a Schubert polynomial by either an elementary symmetric polynomial or a complete homogeneous symmetric polynomial. Thus, we generalize the classical Pieri's rule for symmetric polynomials/Grassmann varieties to Schubert polynomials/flag manifolds. Our primary technique is an explicit geometric description of certain intersections of Schubert varieties. This method allows us to compute additional structure constants for the cohomology ring, which we express in terms of paths in the Bruhat order on the symmetric group.


title: Quantum cohomology of flag varieties

abstract: We describe a construction of Gromov-Witten invariants for flag varieties and use it to give a presentation for the quantum cohomology ring, by extending the ideas used by Bertram in the case of Grassmannians. This provides a proof for the conjecture of Givental and Kim in [GK].


title: Bogomolov conjecture over function fields for stable curves with only irreducible fibers (Version 2.0)

abstract: Let K be a function field and C a non-isotrivial curve of genus g >= 2 over K. In this paper, we will show that if C has a global stable model with only geometrically irreducible fibers, then Bogomolov conjecture over function fields holds.


title: A weighted version of Zariski's hyperplane section theorem and fundamental groups of complements of plane curves

abstract: We formulate and prove a weighted version of Zariski's hyperplane section theorem on the topological fundamental groups of the complements of hypersurfaces in a projective space. As an application, we calculate fundamental groups of the complements of certain singular projective plane curves.


title: Sequences of stable bundles over a compact complex surface

abstract: When identified with sequences of irreducible Hermitian-Einstein connections, sequences of stable holomorphic bundles of fixed topological type and bounded degree on a compact complex surface equipped with a Gauduchon metric are shown to have strongly convergent subsequences after blowing-up and pulling-back sufficiently many times.


title: Blowups and gauge fields

abstract: The relationship between stable holomorphic vector bundles on a compact complex surface and the same such objects on a blowup of the surface is investigated, where "stability" is with respect to a Gauduchon metric on the surface and naturally derived such metrics on the blowup. The main results are: descriptions of holomorphic vector bundles on a blowup; conditions relating (semi)-stability of these to that of their direct images on the surface; sheaf-theoretic constructions for "stabilising" unstable bundles and desingularising moduli of stable bundles; an analysis of the behaviour of Hermitian-Einstein connections on bundles over blowups as the underlying Gauduchon metric degenerates; the definition of a topology on equivalence classes of stable bundles on blowups over a surface and a proof (using results of a concurrent preprint) that this topology is compact in many cases---i.e., a new compactification for moduli of stable bundles on the original surface.


title: A note on Zariski pairs

abstract: A couple of complex projective plane curves are said to make a Zariski pair if they have the same degree and the same type of singularities, but their embeddings in the projective plane are topologically different. In this paper, we present a method to construct certain type of Zariski pairs, and make infinite series of examples.


title: Un crit\`ere d'extension d'un foncteur d\'efini sur les sch\'emas lisses

abstract: Let $k$ be a field of characteristic zero. By using Hironaka's desingularisation theorem, we prove an extension criterion for a functor defined on nonsingular k-schemes and taking values on a category of complexes. Roughly speaking, the criterion shows that if such a functor satisfies the standard exact sequence of a blowing-up, then the functor can be extended to all separated k-schemes of finite type. The result is applied to the Grothendieck's theory of motives, to the Hodge-De Rham filtered complex of an analytic space, and to the rational homotopy of k-schemes in algebraic De Rham theory.


title: Spectral Covers

abstract: This is a survey of various results about spectral covers and their relationship to Higgs bundles. To a G-principal Higgs bundle on a variety S corresponds a cameral cover \widetilde{S} of S (a W-Galois cover, where W is the Weyl group of G) together with a sheaf on \widetilde{S} which in simple cases is a line bundle, and is W-equivariant up to certain twists and shifts. Various other types of spectral covers, depending on the choice of a representation or weight of G, arise as associated objects of \widetilde{S}. We focus on the decomposition of the Picards of these spectral covers into Pryms (this includes various well-known Prym identities as special cases) and on the interpretation, in the spirit of Hitchin's abelianization program, of a distinguished Prym component as parameter space for higgs bundles.


title: Algebraic Barth-Lefschetz theorems

abstract: Using results of Hironaka-Matsumura and Faltings, we prove a strong version of the well known Fulton-Hansen connectivity theorem for weighted projective spaces. As a consequence we get the following result. If $Y$ is an irreducible subvariety of the $n$-dimensional projective space (over a field of arbitrary characteristic), then the diagonal embedding ${\Delta}_Y$ is $G_3$ in $Y\times Y$. This fact implies a generalized version (with a characteristic-free proof) of a result of Ogus (in char. zero) and Speiser (in positive characteristic).


title: Les Invariants de Seiberg-Witten et la Conjecture de Van De Ven

abstract: We give a short proof for the fact that rationality of complex surfaces is a property depending only on the differential structure. Our proof uses the new Seiberg-Witten invariants.


title: The Coupled Seiberg-Witten Equations, vortices, and Moduli spaces of stable pairs

abstract: We introduce coupled Seiberg-Witten equations, and we prove, using a generalized vortex equation, that, for Kaehler surfaces, the moduli space of solutions of these equations can be identified with a moduli space of holomorphic stable pairs. In the rank 1 case, one recovers Witten's result identifying the space of irreducible monopoles with a moduli space of divisors. As application, we give a short proof of the fact that a rational surface cannot be diffeomorphic to a minimal surface of general type.


title: Seiberg-Witten Invariants and the Van De Ven Conjecture

abstract: The purpose of this note is to give a short, selfcontained proof of the following result: A complex surface which is diffeomeorphic to a rational surface is rational.


title: Seiberg-Witten Invariants and Rationality of Complex Surfaces

abstract: The purpose of this paper is: 1) to explain the Seiberg-Witten invariants, 2) to show that - on a K\"ahler surface - the solutions of the monopole equations can be interpreted as algebraic objects, namely effective divisors, 3) to give - as an application - a short selfcontained proof for the fact that rationality of complex surfaces is a ${\cal C}^{\infty}$-property.


title: Stratified Picard--Lefschetz theory

abstract: The monodromy action in the homology of level sets of Morse functions on stratified singular analytic varieties is studied. The local variation operators in both the standard and the intersection homology groups defined by the loops around the critical values of such functions are reduced to similar operators in the homology groups of the transversal slices of the corresponding strata.


title: Iitaka-Severi's Conjecture for Complex Threefolds

abstract: We prove the following generalization of Severi's Theorem: Let $X$ be a fixed complex variety. Then there exist, up to birational equivalence, only finitely many complex varieties $Y$ of general type of dimension at most three which admit a dominant rational map $f$ from $X$ to Y$.


title: On projective plane curves whose complements have finite non-abelian fundamental groups

abstract: We construct new examples of singular projective plane curves whose complements have finite and non-abelian fundamental groups, by generalizing the classical three cuspidal quartic curve discovered by Zariski.


title: Rational Blowdowns of Smooth 4-Manifolds

abstract: In this paper we introduce a surgical procedure, called a rational blowdown, for a smooth 4-manifold X and determine how this procedure affects both the Donaldson and Seiberg-Witten invariants of X.