title: A Complex Hyperbolic Structure for Moduli of Cubic Surfaces

abstract: We show that the moduli space M of marked cubic surfaces is biholomorphic to the quotient by a discrete group generated by complex reflections of the complex four-ball minus the reflection hyperplanes of the group. Thus M carries a complex hyperbolic structure: an (incomplete) metric of constant holomorphic sectional curvature.


title: The Determinant of a Hypergeometric Period Matrix

abstract: We consider a function $U=e^{-f_0}\prod_j^N f_j^{\alpha_j}$ on a real affine space, here $f_0,..,f_N$ are linear functions, $\alpha_1, ...,\alpha_N$ complex numbers. The zeros of the functions $f_1, ..., f_N$ form an arrangement of hyperplanes in the affine space. We study the period matrix of the hypergeometric integrals associated with the arrangement and the function $U$ and compute its determinant as an alternating product of gamma functions and critical points of the functions $f_0,..., f_N$ with respect to the arrangement. In the simplest example, $N=1, f_0=f_1=t$, the determinant formula takes the form $\int_0^\infty e^{-t} t^{\alpha -1} dt=\Gamma (\alpha).$ We also give a determinant formula for Selberg type exponential integrals. In this case the arangements of hyperplanes is special and admits a symmetry group, the period matrix is decomposed into blocks corresponding to different representations of the symmetry group on the space of the hypergeometric integrals associated with the arrangement. We compute the determinant of the block corresponding to the trivial representation.


title: Degeneracy Schemes and Schubert Varieties

abstract: A result of Zelevinsky states that an orbit closure in the space of representations of the equioriented quiver of type $A_h$ is in bijection with the opposite cell in a Schubert variety of a partial flag variety $SL(n)/Q$. We prove that Zelevinsky's bijection is a scheme-theoretic isomorphism, which shows that the universal degeneracy schemes of Fulton are reduced and Cohen-Macaulay in arbitrary characteristic.


title: Kawachi's invariant for normal surface singularities

abstract: We study a useful numerical invariant of normal surface singularities, introduced recently by T. Kawachi. Using this invariant, we give a quick proof of the (well-known) fact that all log-canonical surface singularities are either elliptic Gorenstein or rational (without assuming a priori that they are Q-Gorenstein). The main result is a criterion (stated in terms of Kawachi's invariant) regarding global generation of adjoint linear systems on normal surfaces with boundary. Such results can be used in proving effective estimates for global generation on singular threefolds. The theorem of Ein-Lazarsfeld and Kawamata, which says that the minimal center of log-canonical singularities is always normal, explains why the results proved here are relevant in that situation.


title: Very ampleness of adjoint linear systems on smooth surfaces with boundary

abstract: Let M be a Q-divisor on a smooth surface over C. In this paper we give criteria for very ampleness of the adjoint of the round-up of M. (Similar results for global generation were given by Ein and Lazarsfeld and used in their proof of Fujita's Conjecture in dimension 3.) In the last section we discuss an example which suggests that this kind of criteria might also be useful in the study of linear systems on surfaces.


title: The family G_T of graded quotients of k[x,y] of given Hilbert function

abstract: The nonsingular variety G_T parametrizes all graded ideals I of R=k[x,y] for which the Hilbert function H(R/I)=T. The variety G_T has a natural cellular decomposition: each cell V(E) corresponds to a monomial ideal E for which H(R/E)=T. Given a monomial ideal E, the quotient R/E has a basis of monomials in the shape of a partition P(E), having "diagonal lengths" T. The dimension of the cell V(E) is the number of difference one hooks of P(E). We show that G_T is birational to a certain product SGrass(T) of small Grassman varieties, and that over the complexes, the birational map induces an isomorphism of homology groups, but not usually an isomorphism of rings. We determine the homology ring) when T=(1,2,...,d-1,d,...,d,1). This G(T) is the desingularisation of the d-secant bundle Sec(d,j) of the degree-j rational normal curve, We determine the classes of the pullbacks of the higher singular loci of Sec(d,j). We also use the ring H*(G_T) to determine the number of ideals satisfying an intersection of ramification conditions at different points of P^1. A main tool is a combinatorial "hook code" for the partition P(E), that gives the image of the cell V(E) in SGrass(T).


title: Wall-Crossing functors and D-modules

abstract: We study Translation functors and Wall-Crossing functors on infinite dimensional representations of a complex semisimple Lie algebra using D-modules. This functorial machinery is then used to prove the Endomorphism-theorem and the Structure-theorem, two important results established earlier by W. Soergel in a totally different way. Other applications to the category O of Bernstein-Gelfand-Gelfand are given, and some conjectural relationships between Koszul duality, Verdier duality and convolution functors are discussed. A geometric interpretation of tilting modules is given.


title: A generalization of curve genus for ample vector bundles, II

abstract: Let $X$ be a compact complex manifold of dimension $n\ge 2$ and $\ce$ an ample vector bundle of rank $r<n$ on $X$. As the continuation of Part I, we further study the properties of $g(X,\ce)$ that is an invariant for pairs $(X,\ce)$ and is equal to curve genus when $r=n-1$. Main results are the classifications of $(X,\ce)$ with $g(X,\ce)=2$ (resp. 3) when $\ce$ has a regular section (resp. $\ce$ is ample and spanned) and $1<r<n-1$.


title: A generalization of curve genus for ample vector bundles, I

abstract: A new genus $g=g(X,\ce)$ is defined for the pairs $(X,\ce)$ that consist of $n$-dimensional compact complex manifolds $X$ and ample vector bundles $\ce$ of rank $r$ less than $n$ on $X$. In case $r=n-1$, $g$ is equal to curve genus. Above pairs $(X,\ce)$ with $g$ less than two are classified. For spanned $\ce$ it is shown that $g$ is greater than or equal to the irregularity of $X$, and its equality condition is given.


title: On Moduli of G-bundles over Curves for exceptional G

abstract: Let $G$ be a simple and simply connected complex Lie group, ${\goth{g}}$ its Lie algebra. I remove the restriction ``$G$ is of classical type or $G_2$'' made on $G$ in the papers of Beauville, Laszlo and myself [L-S] and [B-L-S] on the moduli of principal G-bundles over a curve. As I will just "patch" the missing technical points, this note should be seen as an appendix to the above cited papers.


title: On the width of lattice-free simplices

abstract: Among integral polytopes (vertices with integral coordinates), lattice-free polytopes - intersecting the lattice ONLY at their vertices- are of particular interestin combinatorics and geometry of numbers. A natural question is to measure their "width" (with respect to the integral lattice).There were no known examples of lattice-free polytopes with width bigger than 2 .We prove the following Theorem : Given any positive number $\alpha$ strictly inferior to $1/e$, for d large enough there exists a lattice-free simplex of dimension d and width superior to $\alpha d$.


title: On Mirror Symmetry Conjecture for Schoen's Calabi-Yau 3 folds

abstract: In this paper, we verify a part of the Mirror Symmetry Conjecture for Schoen's Calabi-Yau 3-fold, which is a special complete intersection in a toric variety. We calculate a part of the prepotential of the A-model Yukawa couplings of the Calabi-Yau 3-fold directly by means of a theta function and Dedekind's eta function. This gives infinitely many Gromov-Witten invariants, and equivalently infinitely many sets of rational curves in the Calabi-Yau 3-fold. Using the toric mirror construction, we also calculate the prepotential of the B-model Yukawa couplings of the mirror partner. Comparing the expansion of the B-model prepotential with that of the A-model prepotential, we check a part of the Mirror Symmetry Conjecture up to a high order.


title: Resolution of Singularities

abstract: This article is an exposition of an elementary constructive proof of canonical resolution of singularities in characteristic zero, presented in detail in Invent. Math. 128 (1997), 207-302. We define a new local invariant and get an algorithm for canonical desingularization by successively blowing up its maximum loci. The invariant can be described by local computations that provide equations for the centres of blowing up. We describe the origin of our approach and present the proof (in the hypersurface case) in parallel with a worked example.


title: Vector Bundles over Elliptic Fibrations

abstract: This paper gives various methods for constructing vector bundles over elliptic curves and more generally over families of elliptic curves. We construct universal families over generalized elliptic curves via spectral cover methods and also by extensions, and then give a relative version of the construction in families. We give various examples and make Chern class computations.


title: A Survey of the Hodge Conjecture for Abelian Varieties

abstract: We review what is known about the Hodge conjecture for abelian varieties, with some emphasis on how Mumford-Tate groups have been applied to this problem.


title: K3 Surfaces with Nine Cusps

abstract: By a K3-surface with nine cusps I mean a surface with nine isolated double points A_2, but otherwise smooth, such that its minimal desingularisation is a K3-surface. It is shown, that such a surface admits a cyclic triple cover branched precisely over the cusps. This parallels the theorem of Nikulin, that a K3-surface with 16 nodes is a Kummer quotient of a complex torus.


title: Dimension of linear systems: a combinatorial and differential approach

abstract: We give upper-bounds for the dimension of some linear systems. The theorem improves the differential Horace method introduced by Alexander-Hirschowitz, and was conjectured by Simpson. Possible applications are the calculus of the dimension of linear systems of hypersurfaces in a projective space $\PP^n$ with generically prescribed singularities, and the calculus of collisions of fat points in $\PP^2$. These applications will be treated independently but a simple example in the introduction explains how the theorem will be used.


title: On fibre space structures of a projective irreducible symplectic manifold

abstract: In this note, we investigate fibre space structures of a projective irreducible symplectic manifold. We prove that an 2n-dimensional projective irreducible symplectic manifold admits only an n-dimensional fibration over a Fano variety which has only Q-factorial log-terminal singularities and whose Picard number is one. Moreover we prove that a general fibre is an abelian variety up to finite unramified cover, especially, a general fibre is an abelian surface for 4-fold.


title: Skew Schubert functions and the Pieri formula for flag manifolds

abstract: We show the equivalence of the Pieri formula for flag manifolds and certain identities among the structure constants, giving new proofs of both the Pieri formula and of these identities. A key step is the association of a symmetric function to a finite poset with labeled Hasse diagram satisfying a symmetry condition. This gives a unified definition of skew Schur functions, Stanley symmetric function, and skew Schubert functions (defined here). We also use algebraic geometry to show the coefficient of a monomial in a Schubert polynomial counts certain chains in the Bruhat order, obtaining a new combinatorial construction of Schubert polynomials.


title: An algebraic cell decomposition of the nonnegative part of a flag variety

abstract: We study the nonnegative part B_{\ge 0} of the flag variety of a reductive algebraic group G, as defined by Lusztig. Using positivity properties of the canonical basis it is shown that B_{\ge 0} has an algebraic cell decomposition indexed by pairs w\le w' of the Weyl group. This result was conjectired by Lusztig in [Lu; Progress in Math 123].


title: Convex polytopes and linear algebra

abstract: This paper defines, for each convex polytope $\Delta$, a family $H_w\Delta$ of vector spaces. The definition uses a combination of linear algebra and combinatorics. When what is called exact calculation holds, the dimension $h_w\Delta$ of $H_w\Delta$ is a linear function of the flag vector $f\Delta$. It is expected that the $H_w\Delta$ are examples, for toric varieties, of the new topological invariants introduced by the author in "Local-global intersection homolog" (preprint alg-geom/9709011).


title: The Gross-Kohnen-Zagier theorem in higher dimensions

abstract: The Gross-Kohnen-Zagier theorem describes Heegner points on a modular curve in terms of coefficients of modular forms. We give another proof of this theorem which generalizes to higher dimensions.


title: A sparse effective Nullstellensatz

abstract: We present bounds for the sparseness and for the degrees of the polynomials in the Nullstellensatz. Our bounds depend mainly on the unmixed volume of the input polynomial system. The degree bounds can substantially improve the known ones when this polynomial system is sparse, and they are, in the worst case, simply exponential in terms of the number of variables and the maximum degree of the input polynomials.


title: Algorithmic Computation of Local Cohomology Modules and the Cohomological Dimension of Algebraic Varieties

abstract: In this paper we present algorithms that compute certain local cohomology modules associated to a ring of polynomials containing the rational numbers. In particular we are able to compute the local cohomological dimension of algebraic varieties in characteristic zero. Our approach is based on the theory of D-modules.


title: Ladders on Fano varieties

abstract: We prove the existence of Fano ladders on weak log Fano varieties of coindex less than 4, as an application of adjunction and nonvanishing.


title: Special Lagrangian Fibrations I: Topology

abstract: In 1996, Strominger, Yau and Zaslow made a conjecture about the geometric relationship between two mirror Calabi-Yau manifolds. Roughly put, if X and Y are a mirror pair of such manifolds, then X should possess a special Lagrangian torus fibration $f:X\to B$ such that Y is obtained by dualizing the fibration f. This leaves a huge amount to be done to verify such conjectures. This paper takes a speculative point of view, in that it assumes that a special Lagrangian torus fibration exists on X. We address a number of questions of a topological nature: what is the relationship between the cohomology of X and the cohomology of the dual fibration? what kind of information does the Leray spectral sequence for f contain? what is the relationship between the topological (1,1) couplings of the dual of f and the (1,n-1)-couplings of X in the large complex structure limit? These questions are shown to have nice answers if a key conjecture about the monodromy diffeomorphisms about a large complex structure limit point holds. Roughly put, this conjecture says that monodromy about a large complex structure limit point can be described as a very natural generalization of a Dehn twist for an elliptic curve. Given this conjecture, we show, among other results, that the large complex radius limit of the (1,n-1) couplings on X coincide with the topological (1,1) couplings on Y, and if dim X=3, the Leray filtration and weight filtrations of the mixed Hodge structure coincide, as conjectured by myself and P.M.H. Wilson, and independently by D. Morrison.


title: Inequalities for semistable families of arithmetic varieties

abstract: In this paper, we will consider a generalization of Bogomolov's inequality and Cornalba-Harris-Bost's inequality to semistable families of arithmetic varieties under the idea that geometric semistability implies a certain kind of arithmetic positivity. The first one is an arithmetic analogue of the relative Bogomolov's inequality proved by the second author. We also establish the arithmetic Riemann-Roch formulae for stable curves over regular arithmetic varieties and generically finite morphisms of arithmetic varieties.


title: On the index of a vector field at an isolated singularity

abstract: We consider manifolds with isolated singularities, i.e., topological spaces which are manifolds (say, $C^\infty$--) outside discrete subsets (sets of singular points). For (germs of) manifolds with, so called, cone--like singularities, a notion of the index of an isolated singular point of a vector field is introduced. There is given a formula for the index of a gradient vector field on a (real) isolated complete intersection singularity. The formula is in terms of signatures of certain quadratic forms on the corresponding spaces of thimbles.


title: On The Projective Normality of Smooth Surfaces of degree nine

abstract: We investigate the projective normality of smooth, linearly normal surfaces of degree 9. All non projectively normal surfaces which are not scrolls over a curve are classified. Results on the projective normality of surface scrolls are also given. One of the reasons that brought us to look at this question is our desire to find examples for a long standing problem in adjunction theory. Andreatta followed by a generalization by Ein and Lazarsfeld posed the problem of classifying smooth n-dimensional varieties (X,L) polarized with a very ample line bundle L, such that the adjoint linear system |H| = |K + (n-1)L| gives an embedding which is not projectively normal. After a detailed check of the non projectively normal surfaces found in this work no examples were found except possibly a blow up of an elliptic P^1-bundle whose existence is uncertain.


title: Isolated rational curves on K3-fibered Calabi-Yau threefolds

abstract: We study each of the 16 types of complete intersection Calabi-Yau threefolds in projective n-space times the projective line, for various n, and prove existence of isolated rational curves of bidegree (d,0) for all positive integers d on a general threefold of each of these types. As a corollary we find isolated rational curves in all degrees on a general CICY of each of the 5 possible types in usual projective n-space.


title: Canonical rational equivalence of intersections of divisors

abstract: We consider the operation of intersecting with a locally principal Cartier divisor (i.e., a Cartier divisor which is principal on some neighborhood of its support). We describe this operation explicitly on the level of cycles and rational equivalences and as a corollary obtain a formula for rational equivalence between intersections of two locally principal Cartier divisors. Such canonical rational equivalence applies quite naturally to the setting of algebraic stacks. We present two applications: (i) a simplification of the development of Fulton-MacPherson-style intersection theory on Deligne-Mumford stacks, and (ii) invariance of a key rational equivalence under a certain group action (which is used in developing the theory of virtual fundamental classes via intrinsic normal cones).


title: Invariant stable bundles over modular curves X(p)

abstract: We study stable vector bundles over the modular curve X(p) corresponding to the principal congruence subgroup of the modular group of prime level p which are invariant with respect to its automorphism group.


title: Quasi-algebraic geometry of curves I. Riemann-Roch theorem and Jacobian

abstract: We discuss an analogue of Riemann-Roch theorem for curves with an infinite number of handles. We represent such a curve X by its Shottki model, which is an open subset U of CP^{1} with infinite union of circles as a boundary. An appropriate bundle on X is \omega^{1/2} \otimes L, L being a bundle with (say) constants as gluing conditions on the circles. An admissible section of an appropriate bundle on X is a holomorphic half-form on U with given gluing conditions and H^{1/2}-smoothness condition. We study the restrictions on the mutual position of the circles and the gluing constants which guarantee the finite dimension of the space of appropriate sections of admissible bundles, and make the Riemann-Roch theorem hold. The resulting Jacobian variety is described as an infinite-dimension analogue of a torus.


title: The product formula for Gromov-Witten invariants

abstract: We prove that the system of Gromov-Witten invariants of the product of two varieties is equal to the tensor product of the systems of Gromov-Witten invariants of the two factors.


title: Moduli of Trigonal Curves

abstract: We study the moduli of trigonal curves. We establish the exact upper bound of ${36(g+1)}/(5g+1)$ for the slope of trigonal fibrations. Here, the slope of any fibration $X\to B$ of stable curves with smooth general member is the ratio $\delta_B/\lambda_B$ of the restrictions of the boundary class $\delta$ and the Hodge class $\lambda$ on the moduli space $\bar{\mathfrak{M}}_g$ to the base $B$. We associate to a trigonal family $X$ a canonical rank two vector bundle $V$, and show that for Bogomolov-semistable $V$ the slope satisfies the stronger inequality ${\delta_B}/{\lambda_B}\leq 7+{6}/{g}$. We further describe the rational Picard group of the {trigonal} locus $\bar{\mathfrak T}_g$ in the moduli space $\bar{\mathfrak{M}}_g$ of genus $g$ curves. In the even genus case, we interpret the above Bogomolov semistability condition in terms of the so-called Maroni divisor in $\bar{\mathfrak T}_g$.


title: Generalized Reed-Muller codes and curves with many points

abstract: The weight hierarchy of generalized Reed-Muller codes over arbitrary finite fields was determined by Heijnen and Pellikaan. In this paper we produce curves over finite fields with many points which are closely related to this weight hierarchy.


title: Un th\'eor\`eme de Rao pour les familles de courbes gauches

abstract: The aim of this paper is to prove a generalization of a theorem of Rao for families of space curves, which caracterizes the biliaison classes of curves. First we introduce the concept of pseudo-isomorphism of coherent sheaves, which generalizes the concept of stable isomorphism. An N-type resolution for a family of curves $C$ over the local ring $A$, defined by an ideal $J$, is an exact sequence $0\to P\to N\to J\to 0$ where $N$ is a locally free sheaf on $P^3_A$ and $P$ is a direct sum of invertible sheaves $O_P(-n_i)$. We prove the two following results, when the residual field of $A$ is infinite : 1. Let $C$ and $C'$ be two flat families of space curves over the local ring $A$. Then $C$ and $C'$ are in the same biliaison class if and only if their ideals $J$ and $J'$ are pseudo-isomorphic, up to a shift. 2. Let $C$ and $C'$ be two flat families of space curves over the local ring $A$, with N-type resolutions, involving sheaves $N$ and $N'$. Then $C$ and $C'$ are in the same biliaison class if and only if $N$ and $N'$ are pseudo-isomorphic, up to a shift.


title: Generation of $k$-jets on Toric Varieties

abstract: In this notes we study $k$-jet ample line bundles $L$ on a non singular toric variety $X$, i.e. line bundles with global sections having arbitrarily prescribed $k$-jets at a finite number of points. We introduce the notion of an associated $k$-convex $\D$-support function, $\psi_L$, requiring that the polyhedra $P_L$ has edges of length at least $k$. This translates to the property that the intersection of $L$ with the invariant curves, associated to every edge, is $\geq k$. We also state an equivalent criterion in terms of a bound of the Seshadri constant $\e(L,x)$. More precisely we prove the equivalence of the following: (1) $L$ is $k$-jet ample; (2) $L\cdot C\geq k$, for any invariant curve $C$; (3) $\psi_L$ is $k$-convex; (4) the Seshadri constant $\e(L,x)\geq k$ for each $x\in X$.


title: On a conjecture of Lange

abstract: Let C be a projective smooth curve of genus g> 1. Let E be a vector bundle of rank r on C. For each integer r'<r, associate to E the invariant s_{r'}(E)=r'deg(E)-rdeg(E') where E'is a subbundle of E of rank r' and maximal degree. For every r', one can stratify the moduli space of stable vector bundles according to the value of the invariant. Lange's conjecture says that this strata are non-empty and of the right dimension if s_{r'}>0. The conjecture has recently been solved thanks to work of Lange- Narasimhan, Lange-Brambila-Paz, Ballico and the authors. The purpose of this paper is to give a simpler proof of the result valid without further assumptions. The method of proof provides additional information on the geometry of the strata. We can prove that each strata (which is irreducible) is contained in the closure of the following one. We also show the unicity of the maximal subbundle when s\le r'(r-r')(g-1). Our methods can be used to study twisted Brill-Noether loci and to give a new proof of Hirschowitz Theorem about the non-speciality of the tensor product of generic vector bundles.


title: Birational Calabi--Yau n-folds have equal Betti numbers

abstract: Let X and Y be two smooth projective n-dimensional algebraic varieties X and Y over C with trivial canonical line bundles. We use methods of p-adic analysis on algebraic varieties over local number fields to prove that if X and Y are birational, they have the same Betti numbers.


title: Cohomology of complete intersections in toric varieties

abstract: This paper explicitly describes Hodge structures of complete intersections of ample hypersurfaces in compact simplicial toric varieties.


title: Conifold Transitions and Mirror Symmetry for Calabi-Yau Complete Intersections in Grassmannians

abstract: In this paper we show that conifold transitions between Calabi-Yau 3-folds can be used for the construction of mirror manifolds and for the computation of the instanton numbers of rational curves on complete intersection Calabi-Yau 3-folds in Grassmannians. Using a natural degeneration of Grassmannians $G(k,n)$ to some Gorenstein toric Fano varieties $P(k,n)$ with conifolds singularities which was recently described by Sturmfels, we suggest an explicit mirror construction for Calabi-Yau complete intersections $X \subset G(k,n)$ of arbitrary dimension. Our mirror construction is consistent with the formula for the Lax operator conjectured by Eguchi, Hori and Xiong for gravitational quantum cohomology of Grassmannians.


title: Real deformations and complex topology of plane curve singularities

abstract: This is the paper as published. The topology of a complex plane curve singularity with real branches is deduced from any real deformation having delta crossings. An example of the computation of the global geometric monodromy of a polynomial mapping is added.


title: The Geometry of the Space of Holomorphic Maps from a Riemann Surface into Complex Projective Space

abstract: In this paper we study the topology of the spaces Hol(M,P{n},k) of (basepoint preserving) holomorphic maps of a given degree k from a Riemann surface M of genus g>0 into the n-th complex projective space P{n}, n>0. Using symmetric products of the surface as well as the geometry of the associated Abel-Jacobi maps, we construct an explicit topological compactification of Hol(M,P{n},k) which allow us to construct spectral sequences with known E_1-terms that can be used to determine the homology groups of Hol(M,P{n},k). Complete calculations are given for the elliptic case (g=1). Complete rational calculations are also given for hyperelliptic curves.


title: Minimal even sets of nodes

abstract: We extend some results on even sets of nodes which have been proved for surfaces up to degree 6 to surfaces up to degree 10. In particular, we give a formula for the minimal cardinality of a nonempty even set of nodes.


title: Hyperkaehler structures on total spaces of holomorphic cotangent bundles

abstract: Let $M$ be a Kaehler manifold, and consider the total space $T^*M$ of the cotangent bundle to $M$. We show that in the formal neighborhood of the zero section $M \subset T^*M$ the space $T^*M$ admits a canonical hyperkaehler structure, compatible with the complex and holomorphic symplectic structures on $T^*M$. The associated hyperkaehler metric $h$ coincides with the given Kaehler metric on the zero section $M \subset T^*M$. Moreover, $h$ is invariant under the canonical circle action on $T^*M$ by dilatations along the fibers of $T^*M$ over $M$. We show that a hyperkaehler structure with these properties is unique. When the Kaehler metric on $M$ is real-analytic, we show that this formal hyperkaehler structure can be extended to an open neighborhood of the zero section. We also prove a hyperkaehler analog of the Darboux-Weinstein Theorem. To prove these results, we use the machinery of $R$-Hodge structures, following Deligne and Simpson.


title: Injective resolutions of BG and derived moduli spaces of local systems

abstract: It was suggested on several occasions by Deligne, Drinfeld and Kontsevich that all the moduli spaces arising in the classical problems of deformation theory should be extended to natural "derived" moduli spaces which are always smooth in an appropriate sense and whose tangent spaces involve the entire cohomology of the sheaf of infinitesimal automorphisms, not just H^1. In this note we give an algebraic construction of such an extension for the simplest class of moduli spaces, namely for moduli of local systems (representations of the fundamental group).


title: On the infinitesimal rigidity of homogeneous varieties

abstract: Let $X\subset P^N$ be a variety (respectively a patch of an analytic submanifold) and let $x\in X$ be a general point. We show that if the projective second fundamental form of $X$ at $x$ is isomorphic to the second fundamental form of a point of a Segre $P^n\times P^m$, $n,m\geq 2$, a Grassmaniann $G(2,n+2)$, $n\geq 4$, or the Cayley plane $OP^2$, then $X$ is the corresponding homogeneous variety (resp. a patch of the corresponding homogeneous variety). If the projective second fundamental form of $X$ at $x$ is isomorphic to the second fundamental form of a point of a Veronese $v_2(P^n)$ and the Fubini cubic form of $X$ at $x$ is zero, then $X=v_2(P^n)$ (resp. a patch of $v_2(P^n)$). All these results are valid in the real or complex analytic categories and locally in the $C^{\infty}$ category if one assumes the hypotheses hold in a neighborhood of any point $x$. As a byproduct, we show that the systems of quadrics $I_2(P^{m-1}\sqcup P^{n-1}), I_2(P^1\times P^{n-1})$ and $I_2(S_5)$ are stable in the sense that if $A_t\subset S^2T^*$ is an analytic family such that for $t\neq 0$, $A_t\simeq A$, then $A_0\simeq A$. We also make some observations related to the Fulton-Hansen connectedness theorem.


title: Irreducibility of the moduli space of vector bundles on surfaces and Brill-Noether theory on singular curves

abstract: We prove the irreducibility of the moduli space of rank 2 semistable torsion free sheaves (with a generic polarization and any value of c_2) on a K3 or a del Pezzo surface. In the case of a K3 surface, we need to prove a result on the connectivity of the Brill-Noether locus for singular curves on the surface. In the case of a del Pezzo surface, we reduce the problem to the case of P^2 by first relating the moduli spaces of the plane and the blown-up plane, and then studying how the moduli space changes when we change the polarization.


title: The universal rank-(n-1) bundle on G(1,n) restricted to subvarieties

abstract: We classify those smooth (n-1)-folds in G(1,n) for which the restriction of the rank-(n-1) universal bundle has more than n+1 independent sections. As an aplication, we classify also those (n-1)-folds for which that bundle splits.


title: Involutions on Moduli Spaces and Refinements of the Verlinde Formula

abstract: The moduli space $M$ of semi-stable rank 2 bundles with trivial determinant over a complex curve carries involutions naturally associated to 2-torsion points on the Jacobian of the curve. For every lift of a 2-torsion point to a 4-torsion point, we define a lift of the involution to the determinant line bundle $\L$. We obtain an explicit presentation of the group generated by these lifts in terms of the order 4 Weil pairing. This is related to the triple intersections of the components of the fixed point sets in $M$, which we also determine completely using the order 4 Weil pairing. The lifted involutions act on the spaces of holomorphic sections of powers of $\L$, whose dimensions are given by the Verlinde formula. We compute the characters of these vector spaces as representations of the group generated by our lifts, and we obtain an explicit isomorphism (as group representations) with the combinatorial-topological TQFT-vector spaces of [BHMV]. As an application, we describe a `brick decomposition', with explicit dimension formulas, of the Verlinde vector spaces. We also obtain similar results in the twisted (i.e., degree one) case.


title: Frobenius Manifolds and Formality of Lie Algebras of Polyvector Fields

abstract: We construct a generalization of the variations of Hodge structures on Calabi-Yau manifolds. It gives a Mirror partner for the theory of genus=0 Gromov-Witten invariants


title: On the k-normality of some projective manifolds

abstract: A long standing conjecture, known to us as the Eisenbud Goto conjecture, states that an n-dimensional variety embedded with degree $d$ in the $N$- dimensional projective space is $(d-(N-n)+1)$-regular in the sense of Castelnuovo-Mumford. In this work the conjecture is proved for all smooth varieties $X$ embedded by the complete linear system associated with a very ample line bundle $L$ such that $\Delta (X,L) \le 5$ where $\Delta (X,L) = \dim{X} + \deg{X} -h^0(L).$ As a by-product of the proof of the above result the projective normality of a class of surfaces of degree nine in $\Pin{5}$ which was left as an open question in a previous work of the second author and S. Di Rocco alg-geom/9710009 is established. The projective normality of scrolls $X =\Proj{E}$ over a curve of genus 2 embedded by the complete linear system associated with the tautological line bundle assumed to be very ample is investigated. Building on the work of Homma and Purnaprajna and Gallego alg-geom/9511013, criteria for the projective normality of three-dimensional quadric bundles over elliptic curves are given, improving some results due to D. Butler.


title: On the variety of rational space curves

abstract: We consider the locus of irreducible nonsingular rational curves of degree d Pn, n>2, meeting a generic collection of linear subspaces. When this locus is 0 (resp 1)- dimensional, we compute (recursively) its degree (resp. geometric genus). The method is completely elementary and similar to that of (alg-geom/9704004, alg-geom/9708013), where the case n=2 was considered.


title: On higher order embeddings of Fano threefolds by the anticanonical linear system

abstract: The map given by the anticanonical bundle of a Fano manifold is investigated with respect to a number of natural notions of higher order embeddings of projective manifolds. This is of importance in the understanding of higher order embeddings of the special varieties of adjunction theory, which are usually fibered by special Fano manifolds. An analysis is carried out of the higher order embeddings of the special varieties of adjunction theory that arise in the study of the first and second reductions. Special attention is given to determining the order of the anticanonical embeddings of the three dimensional Fano manifolds which have been classified by Iskovskih, Mori, and Mukai and also of the Fano complete intersections in $\pn N$.


title: Resonant Hypergeometric Systems and Mirror Symmetry

abstract: The Gamma-series of Gel'fand-Kapranov-Zelevinsky are adapted so that they give solutions for certain resonant systems of GKZ hypergeometric differential equations. For this some complex parameters in the Gamma-series are replaced by nilpotent elements from a ring $R_{A,T}$. The adapted Gamma-series is a function $\Psi$ with values in the finite dimensional vector space $R_{A,T}\otimes C$. Applications of these results in the context of toric Mirror Symmetry are described. Building on work of Batyrev we show that the relative cohomology module of a certain hypersurface in a torus is a GKZ hypergeometric $D$-module which over an appropriate domain is isomorphic to the trivial $D$-module $R_{A,T}\otimes O_T$, where $O_T$ is the sheaf of holomorphic functions on this domain. The isomorphism is explicitly given by adapted Gamma-series. As a result one finds the periods of a holomorphic differential form of degree $d$ on a $d$-dimensional Calabi-Yau manifold, needed for the B-model side input to Mirror Symmetry. Relating our work with that of Batyrev and Borisov we interpret the ring $\cR_{\sA,\gT}$ as the cohomology ring of a toric variety and a certain principal ideal in it as a subring of the Chow ring of a Calabi-Yau complete intersection. This interpretation takes place on the A-model side of Mirror Symmetry.


title: Pure Hodge structure on the $L_2$-cohomology of varieties with isolated singularities

abstract: Let $V$ be a complex projective variety with isolated singularities. Let the smooth part be given the metric induced by a projective imbedding. Then we develop the $L_2$ harmonic theory and construct a pure Hodge structure on the $L_2$-cohomology of $V$. If the dimension of $V$ is two, we put a cohomological Hodge structure on its complex of sheaves of $L_2$ forms.


title: Approximation by smooth curves near the tangent cone

abstract: We show that through a point of an affine variety there always exists a smooth plane curve inside the ambient affine space, which has the multiplicity of intersection with the variety at least 3. This result has an application to the study of affine schemes.


title: Some fundamental problems on real-analytic sets

abstract: The category of real-analytic sets and real-analytic maps is the most important category in application. However, in spite of efforts by F. Bruhat, H. Cartan, H. Whitney et al., the basic theory of real-analytic category does not yet seem to be well-developed. In this article I would like to point out several basic problems.


title: Beyond the Manin obstruction

abstract: We construct a (smooth, projective) surface over the field of rational numbers, which is a counterexample to the Hasse principle not accounted for by the Manin obstruction. The construction relies on the classical 4-descent on elliptic curves. By combining the Manin obstruction with descent we define a refinement of the Manin obstruction which for surfaces of the type considered suffices to explain the absence of a rational point.


title: Construction de familles minimales de courbes gauches

abstract: Let $A$ be a local noetherian ring and $N$ be a locally sheaf on the projective space $P^3_A$ : one proves easily that there exists a family $C$ of (smooth connected) curves contained in $P^3_A$, flat over $A$, and an integer $h$ such that the ideal sheaf $J$ of $C$ has a resolution $0\to P\to N\to J\to 0$ where $P$ is a direct sum of invertible sheaves $O_P(-n_i)$. In this paper we determine, for a given sheaf $N$, all the families of curves with such a resolution, especially the minimal ones (corresponding to the minimum value of $h$). It gives a description of the biliaison class related to $N$, and a tool for constructing families of space curves.


title: Stringy Hodge numbers of varieties with Gorenstein canonical singularities

abstract: We introduce the notion of stringy E-function for an arbitrary normal irreducible algebraic variety X with at worst log-terminal singularities. We prove some basic properties of stringy E-functions and compute them explicitly for arbitrary Q-Gorenstein toric varieties. Using stringy E-functions, we propose a general method to define stringy Hodge numbers for projective algebraic varieties with at worst Gorenstein canonical singularities. This allows us to formulate the topological mirror duality test for arbitrary Calabi-Yau varieties with canonical singularities. In Appendix we explain non-Archimedian integrals over spaces of arcs. We need these integrals for the proof of the main technical statement used in the definition of stringy Hodge numbers.


title: Semiinfinite Flags. II. Local and Global Intersection Cohomology of Quasimaps' Spaces

abstract: For a simple algebraic group $G$ we study the space $Q$ of Quasimaps from the projective line $C$ to the flag variety of $G$. We prove that the global Intersection Cohomology of $Q$ carries a natural pure Tate Hodge structure, and compute its generating function. We define an action of the Langlands dual Lie algebra $g^L$ on this cohomology. We present a new geometric construction of the universal enveloping algebra $U(n^L_+)$ of the nilpotent subalgebra of $g^L$. It is realized in the Ext-groups of certain perverse sheaves on Quasimaps' spaces, and it is equipped with a canonical basis numbered by the irreducible components of certain algebraic cycles, isomorphic to the intersections of semiinfinite orbits in the affine Grassmannian of $G$. We compute the stalks of the IC-sheaves on the Schubert strata closures in $Q$. They carry a natural pure Tate Hodge structure, and their generating functions are given by the generic affine Kazhdan-Lusztig polynomials. In the Appendix we prove that Kontsevich's space of stable maps provides a natural resolution of $Q$.


title: Constructing curves over finite fields with many points by solving linear equations

abstract: In this note is we exhibit an elementary method to construct explicitly curves over finite fields with many points. Despite its elementary character the method is very efficient and can be regarded as a partial substitute for the use of class field theory.


title: Hypergeometric functions on reductive groups

abstract: The A-hypergeometric system studied by I.M. Gelfand, M.I. Graev, A.V. Zelevinsky and the author, is defined for a set A of characters of an algebraic torus. In this paper we propose a generalization of the theory where the torus is replaced by an arbitrary reductive group H and A is a set of irreducible representations of H. The functions are thus defined on the space M_A of functions on H spanned by the matrix elements of representations from A. The properties of the system are related to the geometry of a certain algebraic variety X_A, which belongs to the class of group compactifications studied by De Concini and Procesi. We develop the theory of Euler integral representations for these generalized hypergeometric functions (with integrals taken over cycles in H). We also construct the analogs of hypergeometric series, by expanding the delta-function along a subgroup into a power series and taking the termwise Fourier transform.


title: A conjectural generating function for numbers of curves on surfaces

abstract: I give a conjectural generating function for the numbers of $\delta$-nodal curves in a linear system of dimension $\delta$ on an algebraic surface. It reproduces the results of Vainsencher for the case $\delta\le 6$ and Kleiman-Piene for the case $\delta\le 8$. The numbers of curves are expressed in terms of five universal power series, three of which I give explicitly as quasimodular forms. This gives in particular the numbers of curves of arbitrary genus on a K3 surface and an abelian surface in terms of quasimodular forms, generalizing the formula of Yau-Zaslow for rational curves on K3 surfaces. The coefficients of the other two power series can be determined by comparing with the recursive formulas of Caporaso-Harris for the Severi degrees in $\P_2$. We verify the conjecture for genus 2 curves on an abelian surface. We also discuss a link of this problem with Hilbert schemes of points.


title: First quantum correction for the moduli space of stable bundles over a Riemann surface

abstract: We compute some Gromov-Witten invariants of the moduli space of odd degree rank two stable vector bundles over a Riemann surface of any genus. Next we find the first correction term for the quantum product of this moduli space and hence get the two leading terms of the relations satisfied by the natural generators of its quantum cohomology. Finally, we use this information to get a full description of the quantum cohomology of the moduli space when the genus of the Riemann surface is 3.


title: Topological Triviality of $\mu$-constant Deformations of Type f(x) + tg(x)

abstract: We show that every $\mu$-constant family of isolated hypersurface singularities of type f(x) + tg(x), where t is a parameter, is topologically trivial. In the proof we construct explicitely a vector field trivializing the family. The proof uses only the curve selection lemma and hence, for an appropriately translated statement, also works over the reals. Some applications to the study of singularities at infinity of complex polynomials are given.


title: Weak approximation, Brauer and R-equivalence in algebraic groups over arithmetical fields

abstract: We prove some new relations between weak approximation and some rational equivalence relations (Brauer and R-equivalence) in algebraic groups over arithmetical fields. By using weak approximation and local - global approach, we compute completely the group of Brauer equivalence classes of connected linear algebraic groups over number fields, and also completely compute the group of R-equivalence classes of connected linear algebraic groups $G$, which either are defined over a totally imaginary number field, or contains no anisotropic almost simple factors of exceptional type $^{3,6}\D_4$, nor $\E_6$. We discuss some consequences derived from these, e.g., by giving some new criteria for weak approximation in algebraic groups over number fields, by indicating a new way to give examples of non stably rational algebraic groups over local fields and application to norm principle.


title: Boundary Manifolds of Line Arrangements

abstract: In this paper we describe the complement of real line arrangements in the complex plane in terms of the boundary three-manifold of the line arrangement. We show that the boundary manifold of any line arrangement is a graph manifold with Seifert fibered vertex manifolds, and depends only on the incidence graph of the arrangement. When the line arrangement is defined over the real numbers, we show that the homotopy type of the complement is determined by the incidence graph together with orderings on the edges emanating from each vertex.


title: On the theta divisor of SU(2,1)

abstract: Let SU(2,1) be the moduli space of stable rank two vector bundles having fixed determinant of odd degree over a compact Riemann surface C. In this paper it is shown that the Theta divisor of SU(2,1) is very ample for every C. The proof is related to the study of the base locus of the pencil of divisors 2-theta in the Jacobian of C which is naturally associated to a point of SU(2,1).


title: Chern Classes of Bundles over Rational Surfaces

abstract: Consider the blow up $\pi: \widetilde{X} \to X$ of a rational surface $X$ at a point. Let $\widetilde{V}$ be a holomorphic bundle over $\widetilde{X}$ whose restriction to the exceptional divisor equals ${\cal{O}(j) \oplus {\cal O}(-j)$ and define $V =(\pi_*\widetilde{V})^{\vee \vee}.$ Friedman and Morgan gave the following bounds for the second Chern classes $j \leq c_2(\widetilde{V}) - c_2(V) \leq j^2.$ We show that these bounds are sharp.


title: Stringy Hodge numbers and Virasoro algebra

abstract: Let $X$ be an arbitrary smooth $n$-dimensional projective variety. It was discovered by Libgober and Wood that the product of the Chern classes $c_1(X)c_{n-1}(X)$ depends only on the Hodge numbers of $X$. This result has been used by Eguchi, Jinzenji and Xiong in their approach to the quantum cohomology of $X$ via a representation of the Virasoro algebra with the central charge $c_n(X)$. In this paper we define for singular varieties $X$ a rational number $c_{st}^{1,n-1}(X)$ which is a stringy version of the number $c_1c_{n-1}$ for smooth $n$-folds. We show that the number $c_{st}^{1,n-1}(X)$ can be expressed in the same way using the stringy Hodge numbers of $X$. Our results provides an evidence for the existence of an approach to quantum cohomology of singular varieties $X$ via a representation of the Virasoro algebra whose central charge is the rational number $e_{st}(X)$ which equals the stringy Euler number of $X$.


title: Semistable reduction in characteristic 0 for families of surfaces and three-folds

abstract: Let F:X->B be a morphism of varieties in characteristic zero. The problem of semistable reduction of F was stated as a problem in the combinatorics of polyhedral complexes by Abramovich and Karu (alg-geom/9707012). In this paper we solve the combinatorial problem when the relative dimension of F is not bigger than 3.


title: A geometric approach to the fundamental lemma for unitary groups

abstract: We consider from a geometric point of view the conjectural fundamental lemma of Langlands and Shelstad for unitary groups over a local field of positive characteristic. We introduce projective algebraic varieties over the finite residue field $k$ and interpret the conjecture in this case as a remarkable identity between the number of $k$-rational points of them. We prove the corresponding identity for the numbers of $k_f$-rational points, for any extension of even degree $f$ of $k$. The proof uses the local intersection theory on a regular surface and Deligne's theory of intersection multiplicities with weights. We also discuss a possible descent argument that uses $\ell$-adic cohomology to treat extensions of odd degree as well.


title: Equations of the moduli of pointed curves in the infinite Grassmannian

abstract: The main result of this paper is the explicit computation of the equations defining the moduli space of triples $(C,p,z)$ (where $C$ is an integral and complete algebraic curve, $p$ a smooth rational point and $z$ a formal trivialization around $p$) in the infinite Grassmannian of $k((t))$. This is achieved by introducing infinite Grassmannians, tau and Baker-Ahkiezer functions algebraically and by proving an Addition Formula for tau functions.


title: Cellular Resolutions of Monomial Modules

abstract: We construct a canonical free resolution for arbitrary monomial modules and lattice ideals. This includes monomial ideals and defining ideals of toric varieties, and it generalizes our joint results with Irena Peeva for generic ideals.


title: Complements on surfaces

abstract: The main result of the paper is a boundedness for $n$-complements on algebraic surfaces. In addition, applications of this theorem to a classification of log Del Pezzo surfaces and of birational contractions for 3-folds are formulated.


title: Cycles on Siegel 3-folds and derivatives of Eisenstein series

abstract: We consider the Siegel modular variety of genus 2 and a p-integral model of it for a good prime p>2, which parametrizes principally polarized abelian varieties of dimension two with a level structure. We consider cycles on this model which are characterized by the existence of certain special endomorphisms, and their intersections. We characterize that part of the intersection which consists of isolated points in characteristic p only. Furthermore, we relate the (naive) intersection multiplicities of the cycles at isolated points to special values of derivatives of certain Eisenstein series on the metaplectic group in 8 variables.


title: Symmetric matrices and quantum codes

abstract: This paper has been withdrawn since a Gilbert-Varshamov bound for general quantum codes has already appeared in Ekert and Macchiavello, Prys. Rev. Lett. 77, p. 2585, and a Gilbert-Varshamov bound for stabilizer codes connected with orthogonal geometry, or equivalently, with symmetric matrices as in this paper, has been proved by Calredbank, Rains, Shor and Sloane, Phys. Rev. Lett. 78, p. 405. I would like to thank Robert Calderbank for pointing out these references to me.


title: Mathematical Instantons In Characteristic Two

abstract: On P3, we show that mathematical instantons in characteristic two are unobstructed. We produce upper bounds for the dimension of the moduli space of stable rank two bundles on P3 in characteristic two. In cases where there is a phenomenon of good reduction modulo two, these give similar results in characteristic zero. We also give an example of a non-reduced component of the moduli space in characteristic two.


title: On moduli spaces of 4- or 5-instanton bundles

abstract: We study the scheme of multi-jumping lines of an $n$-instanton bundle mainly for $n\leq 5$. We apply it to prove the irreducibility and smoothness of the moduli space of 5-instanton. Some particular situations with higher $c_2$ are also studied.


title: Classification of Exceptional Complements: Elliptic Curve Case

abstract: We classify the log del Pezzo surface (S,B) of rank 1 with no 1-,2-,3-,4-, or 6-complements with the additional condition that B has one irreducible component C which is an elliptic curve, and that C has the coefficient b in B with (1/n)floor((n+1)b)=1 for n=1,2,3,4, and 6.


title: Quantum cohomology of the moduli space of stable bundles over a Riemann surface

abstract: We determine the quantum cohomology of the moduli space of odd degree rank two stable vector bundles over a Riemann surface $\Sigma$ of any genus. This work together with dg-ga/9710029 prove that this quantum cohomology is isomorphic to the instanton Floer cohomology of the three manifold $\Sigma \times S^1$. (Note: There is some overlap with the previous paper: alg-geom/9711013).


title: The enumerative geometry of K3 surfaces and modular forms

abstract: We prove the conjectures of Yau-Zaslow and Gottsche concerning the number curves on K3 surfaces. Specifically, let X be a K3 surface and C be a holomorphic curve in X representing a primitive homology class. We count the number of curves of geometric genus g with n nodes passing through g generic points in X in the linear system |C| for any g and n satisfying C^2=2g+2n-2. When g=0, this coincides with the enumerative problem studied by Yau and Zaslow who obtained a conjectural generating function for the numbers. Recently, Gottsche has generalized their conjecture to arbitrary g in terms of quasi-modular forms. We prove these formulas using Gromov-Witten invariants for families, a degeneration argument, and an obstruction bundle computation. Our methods also apply to P^2 blown up at 9 points where we show that the ordinary Gromov-Witten invariants of genus g constrained to g points are also given in terms of quasi-modular forms.


title: On the classification of hyperbolic root systems of the rank three. Part I

abstract: It was recently understood that from the point of view of automorphic Lorentzian Kac-Moody algebras and some aspects of Mirror Symmetry, interesting hyperbolic root systems should have restricted arithmetic type and a generalized lattice Weyl vector. One can consider hyperbolic root systems with these properties as an appropriate hyperbolic analog of the classical finite and affine root systems. This series of papers is devoted to classification of hyperbolic root systems of restricted arithmetic type and with a generalized lattice Weyl vector $\rho$, having the rank 3 (it is the first non-trivial rank). In the Part I we announce classification of the maximal hyperbolic root systems of elliptic (i.e. $\rho^2 >0$) and parabolic (i.e. $\rho^2=0$) type, having the rank 3. We give sketch of the proof. Details of the proof and further results (non-maximal cases) will be given in Part II. Classification for hyperbolic type (i.e. $\rho^2<0$) and applications will be considered in Part III.


title: Uniform Zariski's Theorem On Fundamental Groups

abstract: The Zariski theorem says that for every hypersurface in a complex projective (resp. affine) space of dimension at least 3 and for every generic plane in the projective (resp. affine) space the natural embedding generates an isomorphism of the fundamental groups of the complements to the hypersurface in the plane and in the space. If a family of hypersurfaces depends algebraically on parameters then it is not true in general that there exists a plane such that the natural embedding generates isomorphisms of the fundamental groups of the complements to each hypersurface from this family in the plane and in the space. But we show that in the affine case such plane exists after a polynomial coordinate substitution.


title: Minimal discrepancies of hypersurface singularities

abstract: We give an upper bound for the minimal discrepancies of hypersurface singularities. As an application, we show that Shokurov's conjecture is true for log-terminal threefolds.


title: On the Euler Characteristic of Generalized Kummer Varieties

abstract: We apply the Yau-Zaslow-Beauville method to compute the Euler characteristic of the generalized Kummer varieties attached to a complex abelian surface (a calculation also done by Goettsche and Soergel by different methods). It is related to the number of genus 2 curves on an abelian surface.


title: Coupled Contact Systems and Rigidity of Maximal Dimensional Variations of Hodge Structure

abstract: In this article we prove that locally Griffiths' horizontal distribution on the period domain is given by a generalized version of the familiar contact differential system. As a consequence of this description we obtain strong local rigidity properties of maximal dimensional variations of Hodge structure. For example, we prove that if the weight is odd then there is a unique germ of maximal dimensional variation of Hodge stucture though every point of the period domain. Similar results hold if the weight is even with the exception of one case.


title: Tamagawa numbers of polarized algebraic varieties

abstract: Let ${\cal L} = (L, \| \cdot \|_v)$ be an ample metrized invertible sheaf on a smooth quasi-projective algebraic variety $V$ defined over a number field. Denote by $N(V,{\cal L},B)$ the number of rational points in $V$ having ${\cal L}$-height $\leq B$. We consider the problem of a geometric and arithmetic interpretation of the asymptotic for $N(V,{\cal L},B)$ as $B \to \infty$ in connection with recent conjectures of Fujita concerning the Minimal Model Program for polarized algebraic varieties. We introduce the notions of ${\cal L}$-primitive varieties and ${\cal L}$-primitive fibrations. For ${\cal L}$-primitive varieties $V$ over $F$ we propose a method to define an adelic Tamagawa number $\tau_{\cal L}(V)$ which is a generalization of the Tamagawa number $\tau(V)$ introduced by Peyre for smooth Fano varieties. Our method allows us to construct Tamagawa numbers for $Q$-Fano varieties with at worst canonical singularities. In a series of examples of smooth polarized varieties and singular Fano varieties we show that our Tamagawa numbers express the dependence of the asymptotic of $N(V,{\cal L},B)$ on the choice of $v$-adic metrics on ${\cal L}$.


title: Real Algebraic Surfaces

abstract: These are the notes for my lectures at the Trento summer school held September 1997. The aim of the lectures is to provide an introduction to real algebraic surfaces using the minimal model program. This leads to a fairly complete understanding of real rational surfaces and to a complete topological classification of real Del Pezzo surfaces. Almost all the results are contained in the works of Comessatti and Silhol.


title: Real Algebraic Threefolds I: Terminal Singularities

abstract: This is the first of a series of papers studying real algebraic threefolds using the minimal model program. The main results are outlined in Part II. The present part I. contains the necessary preliminary work concerning terminal singularities. First I give standard forms for 3-dimensional terminal singularities over arbitrary fields. This is then used to develop a fairly complete topological classification over the reals.


title: Real Algebraic Threefolds II: Minimal Model Program

abstract: This is the second of a series of papers studying real algebraic threefolds using the minimal model program. The main result is the following. Let $X$ be a smooth projective real algebraic 3-fold. Assume that the set of real points is an orientable 3-manifold (this assumption can be weakened considerably). Then there is a fairly simple description on how the topology of real points changes under the minimal model program. The first application is to study the topology of real projective varieties which are birational to projective 3-space (Nash conjecture). The second application is a factorization theorem for birational maps.


title: Homological infiniteness of Torelli groups

abstract: We prove that rational homology of the Torelli group of genus g is infinite dimensional, provided g>6. This means that rational homology of the Torelli space of genus g>6 is infinite dimensional. The Torelli groups with marked points are also considered. In addition, we prove that rational homology of the subgroup of the Torelli group of genus g generated by all the Dehn twists along separating simple closed curves is infinite dimensional for g>2.


title: Toric varieties and minimal complexes

abstract: We translate the equivariant decomposition theorem (in the case of a proper morphism of toric varieties) in to the language of combinatorially defined ``shifted minimal complexes''.


title: Quantum Hyperplane Section Theorem For Homogeneous Spaces

abstract: We formulated a mirror-free approach to the mirror conjecture, namely, quantum hyperplane section conjecture, and proved it in the case of nonnegative complete intersections in homogeneous manifolds. For the proof we followed the scheme of Givental's proof of a mirror theorem for toric complete intersections.


title: The Character of the Infinite Wedge Representation

abstract: We study the character of the infinite wedge projective representation of the algebra of differential operators on the circle. We prove quasi-modularity of this character and also compute certain generating functions for traces of differential operators which we call correlation functions. These correlation functions are sums of determinants built from genus 1 theta functions and their derivatives.


title: Structures du cube et fibres d'intersection

abstract: We define the notion of a hypercube structure on a functor between two strictly commutative Picard categories which generalizes the notion of a cube structure on a $G_m$-torsor over an abelian scheme. We use this notion to define the intersection bundle of $n+1$ line bundles on a relative scheme $X/S$ of relative dimension $n$ and to construct an additive structure on the functor $I_{X/S}:PIC(X/S)^{n+1}\F PIC(S)$. Finally, we study a section of $I_{X/S}(L_1,...,L_{n+1})$ which generalizes the resultant of $n+1$ polynomials in $n$ variables and we interprete some classical formulas with this formalism.


title: Mirror Principle I

abstract: We propose and study the following Mirror Principle: certain sequences of multiplicative equivariant characteristic classes on Kontsevich's stable map moduli spaces can be computed in terms of certain hypergeometric type classes. As applications, we compute the equivariant Euler classes of obstruction bundles induced by any concavex bundles -- including any direct sum of line bundles -- on $\P^n$. This includes proving the formula of Candelas-de la Ossa-Green-Parkes hence completing the program of Candelas et al, Kontesevich, Manin, and Givental, to compute rigorously the instanton prepotential function for the quintic in $\P^4$. We derive, among many other examples, the multiple cover formula for Gromov-Witten invariants of $\P^1$, computed earlier by Morrison-Aspinwall and by Manin in different approaches. We also prove a formula for enumerating Euler classes which arise in the so-called local mirror symmetry for some noncompact Calabi-Yau manifolds. At the end we interprete an infinite dimensional transformation group, called the mirror group, acting on Euler data, as a certain duality group of the linear sigma model.


title: Hyperholomorphic sheaves and new examples of hyperkaehler manifolds

abstract: Given a compact hyperkaehler manifold $M$ and a holomorphic bundle B over $M$, we consider a Hermitian connection $\nabla$ on B which is compatible with all complex structures on $M$ induced by the hyperkaehler structure. Such a connection is unique, because it is Yang-Mills. We call the bundles admitting such connections hyperholomorphic bundles. A stable bundle is hyperholomorphic if and only if its Chern classes $c_1$, $c_2$ are SU(2)-invariant, with respect to the natural SU(2)-action on the cohomology. For several years, it was known that the moduli space of stable hyperholomorphic bundles is singular hyperkaehler. More recently, it was proven that singular hyperkaehler varieties admit a canonical hyperkaehler desingularization. In the present paper, we show that a moduli space of stable hyperholomorphic bundles is compact, given some assumptions on Chern classes of B and hyperkaehler geometry of $M$ (we also require $dim_C M>2$). Conjecturally, this leads to new examples of hyperkaehler manifolds. We develop the theory of hyperholomorphic sheaves, which are (intuitively speaking) coherent sheaves compatible with hyperkaehler structure. We show that hyperholomorphic sheaves with isolated singularities can be canonically desingularized by a blow-up. This theory is used to study degenerations of hyperholomorphic bundles.


title: Eigenvalues of products of unitary matrices and quantum Schubert calculus

abstract: We describe the inequalities on the possible eigenvalues of products of unitary matrices in terms of quantum Schubert calculus. Related problems are the existence of flat connections on the punctured two-sphere with prescribed holonomies, and the decomposition of fusion product of representations of SU(n), in the large level limit. In the second part of the paper we investigate how various aspects of the problem (symmetry, factorization) relate to properties of the Gromov-Witten invariants.


title: Subadjunction of log canonical divisors II

abstract: We extend a subadjunction formula of log canonical divisors as in [K3] to the case when the codimension of the minimal center is arbitrary by using the positivity of the Hodge bundles.


title: The universal regular quotient of the Chow group of 0-cycles on a singular projective variety

abstract: We show the existence of a regular universal quotient as a smooth commutative algebraic group of the Chow group of 0-cycles on a projective reduced variety, and give over the field of complex numbers an analytic description of it. This generalizes the classical theory of the Albanese. The Chow group of 0-cycles is then isomorphic to this smooth algebraic group if and only if it is finite dimensional in the sense of Mumford. This generalizes the classical theorem of Roitman.


title: Invariance of Plurigenera

abstract: The following conjecture on the deformation invariance of plurigenera is proved. For a smooth projective holomorphic family of compact complex manifolds over the open unit 1-disk such that all the fibers are of general type, every plurigenus of the fiber is independent of the fiber. The proof uses Nadel's multiplier ideal sheaves, Skoda's result on the generation of ideals with L2 estimates with respect to a plurisubharmonic weight, and the extension theorem of Ohsawa-Takegoshi-Manivel for holomorphic top-degree forms which are L2 with respect to a plurisubharmonic weight.


title: Derived categories of coherent sheaves on abelian varieties and equivalences between them

abstract: We study derived categories of coherent sheaves on abelian varieties. We give a criterion for the equivalence of the derived categories on two abelian varieties. We describe the autoequivalence group for the derived category of coherent sheaves of an abelian variety.


title: Deformations of canonical singularities

abstract: We prove that small deformations of canonical singularities are canonical.


title: On the cone of curves of an abelian variety

abstract: Let $X$ be a smooth projective variety over the complex numbers. One knows by the Cone Theorem that the closed cone of curves of $X$ is rational polyhedral whenever $c_1(X)$ is ample. For varieties $X$ such that $c_1(X)$ is not ample, however, it is in general difficult to determine the structure of $\bar NE(X)$. The purpose of this paper is to study the cone of curves of abelian varieties. Specifically, the abelian varieties $X$ are determined such that the closed cone $\bar NE(X)$ is rational polyhedral. The result can also be formulated in terms of the nef cone of $X$ or in terms of the semi-group of effective classes in the N\'eron-Severi group of $X$.


title: Secondary Kodaira-Spencer classes and nonabelian Dolbeault cohomology

abstract: If $X$ is a smooth projective variety moving in a family, we define a secondary Kodaira-Spencer class for nonabelian Dolbeault cohomology $Hom(X_{Dol}, T)$ of $X$ with coefficients in the complexified 2-sphere $T=S^2\otimes \cc$ (which is a 3-stack on $Sch /\cc$). Let $Z$ be a simply connected projective surface with $h^{2,0}\neq 0$, and let $X$ be the blow-up of $Z$ at a point $P$. As $P$ moves in $Z$, the blow-up $X$ moves in a family and we show that the secondary Kodaira-Spencer class is nontrivial. This contrasts with the fact that the variations of mixed Hodge structures on the homotopy groups of $X$ are constant. We discuss various surrounding notions, including two appendices where we give some details about the Breen calculations in characteristic zero and representability of simply connected complex shapes.


title: Analogue of Weil representation for abelian schemes

abstract: In this paper we construct a projective action of certain arithmetic group on the derived category of coherent sheaves on an abelian scheme $A$, which is analogous to Weil representation of the symplectic group. More precisely, the arithmetic group in question is a congruence subgroup in the group of "symplectic" automorphisms of $A\times\hat{A}$ where $\hat{A}$ is the dual abelian scheme. The "projectivity" of this action refers to shifts in the derived category and tensorings with line bundles pulled from the base. In particular, if $A$ is an abelian scheme over $S$ equipped with an ample line bundle $L$ of degree 1 then we construct an action of a central extension of $Sp_{2n}(\Bbb Z)$ by $\Bbb Z\times Pic(S)$ on the derived category of coherent sheaves on $A^n$ (the $n$-th fibered power of $A$ over $S$). We describe the corresponding central extension explicitly using the the canonical torsion line bundle on $S$ associated with $L$. As a main technical result we prove the existence of a representation of rank $d$ for a symmetric finite Heisenberg group scheme of odd order $d^2$.


title: Poisson structures and birational morphisms associated with bundles on elliptic curves

abstract: In this paper we define a Poisson structure on some moduli spaces related to principal G-bundles on elliptic curves, the simplest example being the moduli space of stable pairs: a vector bundle and its global section. We also study birational morphisms between projective spaces appearing as such moduli spaces.


title: A canonical lift of Chern-Mather classes

abstract: There are several ways to generalize characteristic classes for singular algebraic varieties. The simplest ones to describe are Chern-Mather classes obtained by Nash blow up. They serve as an ingredient to construct Chern-MacPherson-Schwartz classes. Unfortunately, they all are defined in homology. There are examples showing, that they do not lie in the image of Poincar\'e morphism. On the other hand they are represented by an algebraic cycles. Barthel, Brasselet, Fiesler, Kaup and Gabber have shown that, any algebraic cycle can be lifted to intersection homology. Nevertheless, a lift is not unique. The Chern-Mather classes are represented by polar varieties. We show how to define a canonical lift of Chern-Mather classes to intersection homology. Instead of the polar variety alone, we consider it as a term in the whole sequence of inclusions of polar varieties. The inclusions are of codimension one. In this case the lifts are unique.


title: Symplectic cutting of Kaehler manifolds

abstract: We obtain estimates on the character of the cohomology of an $S^1$-equivariant holomorphic vector bundle over a Kaehler manifold $M$ in terms of the cohomology of the Lerman symplectic cuts and the symplectic reduction of $M$. In particular, we prove and extend inequalities conjectured by Wu and Zhang. The proof is based on constructing a flat family of complex spaces $M_t$ such that $M_t$ is isomorphic to $M$ for $t\not=0$, while $M_0$ is a singular reducible complex space, whose irreducible components are the Lerman symplectic cuts.


title: Heisenberg-invariant Kummer surfaces

abstract: We study the geometry of Nieto's quintic threefold (Barth & Nieto, J. Alg. Geom. 3, 1994) and the Kummer and abelian surfaces that correspond to special loci.


title: Degenerations of (1,3) abelian surfaces and Kummer surfaces

abstract: We continue our study of the geometry of Nieto's quintic threefold, looking at degenerate surfaces that correspond to certain loci and showing how they arise from a toroidal compactification of a suitable moduli space.


title: The arithmetic-geometric mean and isogenies for curves of higher genus

abstract: Computation of Gauss's arithmetic-geometric mean involves iteration of a simple step, whose algebro-geometric interpretation is the construction of an elliptic curve isogenous to a given one, specifically one whose period is double the original period. A higher genus analogue should involve the explicit construction of a curve whose jacobian is isogenous to the jacobian of a given curve. The doubling of the period matrix means that the kernel of the isogeny should be a lagrangian subgroup of the group of points of order 2 in the jacobian. In genus 2 such a construction was given classically by Humbert and was studied more recently by Bost and Mestre. In this article we give such a construction for general curves of genus 3. We also give a similar but simpler construction for hyperelliptic curves of genus 3. We show that the hyperelliptic construction is a degeneration of the general one, and we prove that the kernel of the induced isogeny on jacobians is a lagrangian subgroup of the points of order 2. We show that for g at least 4 no similar construction exists, and we also reinterpret the genus 2 case in our setup. Our construction of these correspondences uses the bigonal and the trigonal constructions, familiar in the theory of Prym varieties.


title: Zero-pole interpolation for matrix meromorphic functions on a compact Riemann surface, and a matrix Fay trisecant identity

abstract: This paper presents a new approach to constructing a meromorphic bundle map between flat vector bundles over a compact Riemann surface having a prescribed Weil divisor (i.e., having prescribed zeros and poles with directional as well as multiplicity information included in the vector case). This new formalism unifies the earlier approach of Ball-Clancey (in the setting of trivial bundles over an abstract Riemann surface) with an earlier approach of the authors (where the Riemann surface was assumed to be the normalizing Riemann surface for an algebraic curve embedded in ${\bold C}^2$ with determinantal representation, and the vector bundles were assumed to be presented as the kernels of linear matrix pencils). The main tool is a version of the Cauchy kernel appropriate for flat vector bundles over the Riemann surface. Our formula for the interpolating bundle map (in the special case of a single zero and a single pole) can be viewed as a generalization of the Fay trisecant identity from the usual line bundle case to the vector bundle case in terms of Cauchy kernels. In particular we obtain a new proof of the Fay trisecant identity.


title: Reconstruction of a variety from the derived category and groups of autoequivalences

abstract: We consider smooth algebraic varieties with ample either canonical or anticanonical sheaf. We prove that such a variety is uniquely determined by its derived category of coherent sheaves. We also calculate the group of exact autoequivalences for these categories. The technics of ample sequences in abelian categories is used.


title: The L^2 dbar method, weak Lefschetz theorems, and the topology of Kahler manifolds

abstract: A new approach to Nori's weak Lefschetz theorem is described. The new approach, which involves the dbar-method, avoids moving arguments and gives much stronger results. In particular, it is proved that if X and Y are connected smooth projective varieties of positive dimension and f is a holomorphic immersion of Y into X with ample normal bundle, then the image of the fundamental group of Y in that of X is of finite index. This result is obtained as a consequence of a direct generalization of Nori's theorem. The second part concerns a new approach to the theorem of Burns which states that a quotient of the unit ball in complex Euclidean space (of dimension at least 3) by a discrete group of automorphisms which has a strongly pseudoconvex boundary component has only finitely many ends. The following generalization is obtained. If a complete Hermitian manifold X of dimension at least 3 has a strongly pseudoconvex end E and the Ricci curvature of X is bounded above by a negative constant, then, away from E, X has finite volume.


title: Descent for Shimura Varieties

abstract: We verify that the descent maps provided by Langlands's Conjugacy Conjecture do satisfy the continuity condition necessary for them to be effective. Thus Langlands's conjecture does imply the existence of canonical models. This replaces an earlier version of the paper --- the proof in this version is simpler, and the exposition more detailed.


title: A morphism of intersection homology induced by an algebraic map

abstract: Let $f:X-->Y$ be a map of algebraic varieties. Barthel, Brasselet, Fieseler, Gabber and Kaup have shown that there exists a homomorphism of intersection homology groups $f^*:IH^*(Y)-->IH^*(X)$ compatible with the induced homomorphism on cohomology. The crucial point in the argument is reduction to the finite characteristic. We give an alternative and short proof of the existence of a homomorphism $f^*$. Our construction is an easy application of the Decomposition Theorem.


title: On the classification of hyperbolic root systems of the rank three. Part II

abstract: Here we prove classification results announced in Part I (alg-geom/9711032). We classify maximal hyperbolic root systems of the rank 3 having restricted arithmetic type and a generalized lattice Weyl vector $\rho$ with $\rho^2\ge 0$ (i.e. of elliptic or parabolic type). We give classification of all reflective of elliptic or parabolic type elementary hyperbolic lattices of the rank three. We apply the same method (narrow places of polyhedra) which was developed to prove finiteness results on reflective hyperbolic lattices. We also use some additional arithmetic arguments: studying of class numbers of central symmetries. The same methods permit to get similar results for hyperbolic type. We will consider hyperbolic type in Part III. These results are important for Theory of Lorentzian Kac--Moody algebras and some aspects of Mirror Symmetry.


title: Toric Degenerations of Fano Varieties and Constructing Mirror Manifolds

abstract: For an arbitrary smooth n-dimensional Fano variety $X$ we introduce the notion of a small toric degeneration. Using small toric degenerations of Fano n-folds $X$, we propose a general method for constructing mirrors of Calabi-Yau complete intersections in $X$. Our mirror construction is based on a generalized monomial-divisor mirror correspondence which can be used for computing Gromov-Witten invariants of rational curves via specializations of GKZ-hypergeometric series.


title: Comparison of the algebraic and the symplectic Gromov-Witten invariants

abstract: We show that the algebraic and the symplectic GW-inivariants of smooth projective varieties are equivalent.


title: North Atlantic thermohaline circulation predictability in a coupled ocean-atmosphere model

abstract: Predictability of the North Atlantic thermohaline circulation (THC) variability as simulated in the GFDL coupled ocean-atmosphere general circulation model is established for a set of ensemble experiments. The ensembles consist of identical oceanic initial conditions underneath a model atmosphere chosen randomly from the model climatology. This experimental design is based on the separation in time scales present in the model which motivates the assumption that the predictability deduced from these ensembles provides an upper limit to the model's THC predictability. The climatology is taken from a multi-century model integration whose THC variability has power concentrated at the 40-60 year time scale. A linear stochastic perspective is shown to be generally consistent with the ensemble statistics. The linear theory suggests a natural measure of ensemble predictability as the time at which the ensemble variance becomes a subjectively defined fraction (0.5 used here) of the climatological variance. It is furthermore of interest to distinguish predictability of the rapidly de-correlating portion of the model's THC from the longer time correlated portion. The rapidly de-correlating portion shows predictability for $\approx 1.5$ years. The slower portion shows predictability for $\approx 5-7$ years. The linear stochastic framework provides for the straightforward construction of an optimal forecast of the model's THC variability and an understanding of why the optimal forecast is useless beyond a particular limit.


title: A linear thermohaline oscillator driven by stochastic atmospheric forcing

abstract: The interdecadal variability of a stochastically forced four-box model of the oceanic meridional thermohaline circulation (THC) is described and compared to the THC variability in the coupled ocean-atmosphere GCM of Delworth, Manabe, and Stouffer (1993). The box model is placed in a linearly stable thermally dominant mean state under mixed boundary conditions. A linear stability analysis of this state reveals one damped oscillatory THC mode in addition to purely damped modes. The variability of the model under a moderate amount of stochastic forcing, meant to emulate the random variability of the atmosphere affecting the coupled model's interdecadal THC variability, is studied. A linear interpretation, in which the damped oscillatory mode is of primary importance, is sufficient for understanding the mechanism accounting for the stochastically forced variability. Direct comparison of the variability in the box model and coupled GCM reveals common qualitative aspects. Such a comparison supports, although does not verify, the hypothesis that the coupled model's THC variability can be interpreted as the result of atmospheric weather exciting a linear damped oscillatory THC mode.


title: A Scaling Theory for Horizontally Homogeneous, Baroclinically Unstable Flow on a Beta-Plane

abstract: The scaling argument developed by Larichev and Held (1995) for eddy amplitudes and fluxes in a horizontally homogeneous, two-layer model on an f-plane is extended to a beta-plane. In terms of the non-dimensional number x = U/(beta*lambda^2), where lambda is the deformation radius and U is the mean thermal wind, the result for the RMS eddy velocity V, the characteristic wavenumber of the energy-containing eddies and of the eddy-driven jets k, and the magnitude of the eddy diffusivity for potential vorticity D, in the limit x>>1, are as follows: V/U ~ x ; k*lambda ~ 1/x ; D/(U*lambda) ~ x^2. Numerical simulations provide qualitative support for this scaling, but suggest that it underestimates the sensitivity of these eddy statistics to the value of x. A generalization that is applicable to continuous stratification is suggested which leads to the estimates: V ~ 1/(beta T^2); k ~ beta*T; D ~ 1/{[beta^2][T^3]} where T is a time-scale determined by the environment; in particular, it equals lambda/U in the two-layer model and N/(fS) in a continuous flow with uniform shear S and stratification N. This same scaling has also been suggested as relevant to a continuously stratified fluid in the opposite limit, x<<1 (Held, 1980). Therefore, we suggest that it may be of general relevance in planetary atmospheres and in the oceans.


title: The stability of a zonally averaged thermohaline circulation model

abstract: A combination of analytical and numerical techniques are used to efficiently determine the qualitative and quantitative behaviour of a one-basin zonally averaged thermohaline circulation ocean model. In contrast to earlier studies which use time stepping to find the steady solutions, the steady state equations are first solved directly to obtain the multiple equilibria under identical mixed boundary conditions. This approach is based on the differentiability of the governing equations and especially the convection scheme. A linear stability analysis is then performed, in which the normal modes and corresponding eigenvalues are found for the various equilibrium states. Resonant periodic solutions superimposed on these states are predicted for various types of forcing. The results are used to gain insight into the solutions obtained by Mysak, Stocker and Huang in a previous numerical study in which the eddy diffusivities were varied in a randomly forced one-basin zonally averaged model. Resonant stable oscillations with century scale periods are predicted with structures that compare favorably with those found in the previous study. In cases with large horizontal diffusivities, the two-cell pattern is also stable, which parallels cases in the previous study where large vacillations were seen between the three stable steady states. Further, in cases with large horizontal {\it and} large vertical diffusivities, no one-cell pattern can be realised and the only asymptotic behaviour found is the two-cell pattern.


title: Interpretation of TOVS Water Vapor Radiances Using a Random Strong Line Model

abstract: This study illustrates the application of a random strong line (RSL) model of radiative transfer to the interpretation of satellite observations of the upwelling radiation in the 6.3 micron water vapor absorption band. The model, based upon an assemblage of randomly overlapped, strongly absorbing, pressure broadened lines, is compared to detailed radiative transfer calculations of the upper (6.7 micron) tropospheric water vapor radiance and demonstrated to be accurate to within ~ 1.2 K. Similar levels of accuracy are found when the model is compared to detailed calculations of the middle (7.3 micron) and lower (8.3 micron) tropospheric water vapor radiance, provided that the emission from the underlying surface is taken into account. Based upon these results, the RSL model is used to interpret TOVS-observed water vapor radiances in terms of the relative humidity averaged over deep layers of the upper, middle, and lower troposphere. We then present near-global maps of the geographic distribution and climatological variations of upper, middle and lower tropospheric humidity from TOVS for the period 1981-1991. These maps clearly depict the role of large-scale circulation in regulating the location and temporal variation of tropospheric water vapor.


title: Mechanisms of Seasonal - ENSO interaction

abstract: The mechanisms of interaction between the seasonal cycle and ENSO are investigated using the Zebiak and Cane ENSO prediction model. The most dominant seasonal effect is found to be due to the wind divergence field, as determined by the seasonal motion of the ITCZ, through its effect on the atmospheric heating. The next order seasonal effects are due to the seasonality of the background SST and ocean upwelling velocity, and the corresponding mechanisms are analyzed. It is suggested that the seasonal forcing has a first order effect on ENSO's dynamics. Important aspects of the seasonal forcing may be included in idealized delayed oscillator ENSO models by making the model background seasonally shift from stable to unstable states.


title: Hadley circulations and large scale motions of moist convection in the two dimensional numerical model

abstract: As a tool for understanding the meridional circulation of the atmosphere, a two-dimensional ( latitude -- height ) numerical model is used to clarify the relationship between the Hadley circulation and large-scale motions associated with moist convection. The model is based on the primitive equations including the moist process, and two kinds of coordinates are used: the spherical coordinate and the Cartesian coordinate with a uniform rotation. The surface temperature is externally fixed and the troposphere is cooled by the radiation; unstable stratification generates large-scale convective motions. Dependencies on the surface temperature difference from north to south Delta T_s are investigated. The numerical results show that a systematic multi-cell structure exists in every experiment. If the surface temperature is constant (Delta T_s = 0 ), convective motions are organized in the scale of the Rossby deformation radius and their precipitation patterns have a periodicity of the advective time tau_D. As Delta T_s becomes larger, the organized convective system tends to propagate toward warmer regions. The convective cells calculated in the Cartesian coordinate model is very similar to those of the mid-latitudes in the spherical coordinate model. In particular, the Hadley cell can be regarded as the limit of the convective cells in the equatorial latitudes.


title: A Stochastic Diffusion Model of Climate Change

abstract: We present a model for variations in atmospheric temperature from time scales of one day to one million years based on a stochastic diffusion (random walk) model of the turbulent transport of heat energy vertically in a coupled atmosphere-ocean model. The predictions of the model are supported by station records and paleoclimatic proxy data of temperature variations.


title: Kardar-Parisi-Zhang model for the fractal structure of cumulus cloud fields

abstract: We model the ascent of warm, moist air in the Earth's atmosphere by turbulent convection and expansion with the KPZ equation, familiar in the physics literature on surface growth. Clouds form in domains where the interface between the rising air and its surrounding air achieves an elevation higher than that necessary for condensation. The model predictions are consistent with the perimeter fractal dimension and the cumulative frequency-size distribution of cumulus cloud fields observed from space.


title: Analysis and modeling of scale-invariance in plankton abundance

abstract: The power spectrum, $S$, of horizontal transects of plankton abundance are often observed to have a power-law dependence on wavenumber, $k$, with exponent close to -2: $S(k)\propto k^{-2}$ over a wide range of scales. I present power spectral analyses of aircraft lidar measurements of phytoplankton abundance from scales of 1 to 100 km. A power spectrum $S(k)\propto k^{-2}$ is obtained. As a model for this observation, I consider a stochastic growth equation where the rate of change of plankton abundance is determined by turbulent mixing, modeled as a diffusion process in two dimensions, and exponential growth with a stochastically variable net growth rate representing a fluctuating environment. The model predicts a lognormal distribution of abundance and a power spectrum of horizontal transects $S(k)\propto k^{-1.8}$, close to the observed spectrum. The model equation predicts that the power spectrum of variations in abundance in time at a point in space is $S(f)\propto f^{-1.5}$ (where $f$ is the frequency). Time series analysis of local variations of phytoplankton and zooplankton yield a power-law power spectrum with exponents -1.3 and -1.2, respectively from time scales of one hour to one year. These values are roughly consistent with the model prediction of -1.5. The distribution of abundances is nearly lognormal as predicted. The model may be more generally applicable than for the spatial distribution of plankton. I relate the model predictions to observations of spatial patchiness in vegetation.


title: Entropic "sound" in the atmosphere

abstract: It is shown that small, local disturbances of entropy in the atmosphere may give rise to "sound" waves propagating with a velocity which depends on the amplitude ratio of the local relative variations of temperature and volume. This velocity is much smaller than the mean molecular velocity and the usual, adiabatic sound velocity.


title: Interdecadal variability and oceanic thermohaline adjustment

abstract: Changes in the strength of the thermohaline overturning circulation are associated, by geostrophy, with changes in the east-west pressure difference across an ocean basin. The tropical-polar density contrast and the east-west pressure difference are connected by an adjustment process. In flat-bottomed ocean models the adjustment is associated with viscous, baroclinic Kelvin wave propagation. Weak-high latitude stratification leads to the adjustment having an interdecadal timescale. We reexamine model interdecadal oscillations in the context of the adjustment process, for both constant flux and mixed surface boundary conditions. Under constant surface flux, interdecadal oscillations are associated with the passage of a viscous Kelvin wave around the model domain. Our results suggest the oscillations can be self-sustained by perturbations to the western boundary current arising from the southward boundary wave propagation. Mixed boundary condition oscillations are characterized by the eastward, cross-basin movement of salinity-dominated density anomalies, and the westward return of these anomalies along the northern boundary. We suggest the latter is associated with viscous Kelvin wave propagation. Under both types of boundary conditions, the strength of the thermohaline overturning and the tropical-polar density contrast vary out of phase. We show how the phase relationship is related to the boundary wave propagation. The importance of boundary regions indicates an urgent need to examine the robustness of interdecadal variability in models as the resolution is increased, and as the representation of the coastal, shelf/slope wave guide is improved. (Abriged abstract)


title: Sub-Suns and Low Reynolds Number Flow

abstract: The phenomenon called the ``sub-Sun'' is the specular reflection of sunlight by horizontally oriented plates of ice. Although well-known in meteorological optics, the hydrodynamics of the orientation is not quantitatively understood. I review the theory of torques on objects at low Reynolds numbers, define coefficients $C_o$, $C_p$, and $C_\psi$ which describe the orienting torques on discs, rods, and hexagonal prisms, and report here the results of experiments to measure $C_o$ and $C_p$.


title: Statistics of Turbulence from Spectral-Line Data Cubes

abstract: Emission in spectral lines can provide unique information on interstellar turbulence. Doppler shifts due to supersonic motions contain information on turbulent velocity field which is otherwise difficult to measure. However, the problem of separation of velocity and density fluctuations is far from being trivial. Using atomic hydrogen (HI) as a test case, I review techniques applicable to emission line studies with the emphasis on those that can provide information on the underlying power spectra of velocity and density. I show that recently developed mathematical machinery is promising for the purpose. Its application to HI shows that in cold neutral hydrogen the velocity fluctuations dominate the small scale structures observed in spectral-line data cubes and this result is very important for the interpretation of observational data, including the identification of clouds. Velocity fluctuations are shown to dominate the formation of small scale structures that can be erroneously identified as diffuse clouds. One may argue that the HI data is consistent with the Goldreich-Shridhar picture of magnetohydrodynamic turbulence, but the cascade from the scales of several kpc that this interpretation involves does not fit well in the current paradigm of energy injection. The issue whether magnetic field does make the turbulence anisotropic is still open, but if this is the case, I show that studies of emission lines can provide a reliable way of determining magnetic field direction. I discuss various techniques for studying interstellar turbulence using emission lines, e.g. spectral correlation functions, genus statistics and principal component analysis.

categories: astro-ph cond-mat.stat-mech physics.ao-ph physics.flu-dyn physics.plasm-ph physics.space-ph


title: On the inverse Compton scattering model of radio pulsars

abstract: Some characteristics of the inverse Compton scattering (ICS) model are reviewed. At least the following properties of radio pulsars can be reproduced in the model: core or central emission beam, one or two hollow emission cones, different emission heights of these components, diverse pulse profiles at various frequencies, linear and circular polarization features of core and cones.