title: Mathematical description of the heat transfer in living tissue (Part I)

abstract: In the present monograph we formulate a simple model for heat transfer in living tissue with self - regulation. The initial point of the model is the governing equations describing heat transfer in living tissue at the mesoscopic level, i.e. considering different vessels individually. Then, basing on the well known equivalence of the diffusion type process and random walks, we develop a certain regular procedure that enables us to average these mesoscopic equations practically over all scales of the hierarchical vascular network. The microscopic governing equations obtained in this way describe living tissue in terms of an active medium with continuously distributed self - regulation. One of the interesting results obtained in the present monograph is that there can be the phenomena of ideal self - regulation in large active hierarchical systems. Large hierarchical systems are characterized by such a great information flow that none of its elements can possess whole information required of governing the system behavior. Nevertheless, there exists a cooperative mechanism of regulation which involves individual response of each element to the corresponding hierarchical piece of information and leads to ideal system response due to self - processing of information. The particular results are obtained for bioheat transfer. However, self - regulation in other natural hierarchical systems seems to be organized in a similar way. The characteristics of large hierarchical systems occurring in nature are discussed from the stand point of regulation problems. By way of example, some ecological and economic systems are considered. An cooperative mechanism of self-regulation which enables the system to function ideally is proposed.


title: Mathematical description of the heat transfer in living tissue (Part II)


title: Amplifying Phenomenal Information: Toward a Fundamental Theory of Consciousness

abstract: Fundamental approaches bypass the problem of getting consciousness from non-conscious components by positing that consciousness is a universal primitive. For example, the double aspect theory of information holds that information has a phenomenal aspect. How then do you get from phenomenal information to human consciousness? This paper proposes that an entity is conscious to the extent it amplifies information, first by trapping and integrating it through closure, and second by maintaining dynamics at the edge of chaos through simultaneous processes of divergence and convergence. The origin of life through autocatalytic closure, and the origin of an interconnected worldview through conceptual closure, induced phase transitions in the degree to which information, and thus consciousness, is locally amplified. Divergence and convergence of cognitive information may involve phenomena observed in light e.g. focusing, interference, and resonance. By making information flow inward-biased, closure shields us from external consciousness; thus the paucity of consciousness may be an illusion.


title: Criticality and Punctuated Equilibrium in a Spin System Model of a Financial Market

abstract: We describe a financial market model which shows a non-equilibrium phase transition. Near the transition punctuated equilibrium behaviour is seen, with avalanches occuring on all scales. This scaling is described by an exponent very near 1. This system shows intermittent time development with bursts of global synchronization reminiscent of a market rollercoaster.


title: Modelling Collective Opinion Formation by Means of Active Brownian Particles

abstract: The concept of active Brownian particles is used to model a collective opinion formation process. It is assumed that individuals in community create a two-component communication field that influences the change of opinions of other persons and/or can induce their migration. The communication field is described by a reaction-diffusion equation, the opinion change of the individuals is given by a master equation, while the migration is described by a set of Langevin equations, coupled by the communication field. In the mean-field limit holding for fast communication we derive a critical population size, above which the community separates into a majority and a minority with opposite opinions. The existence of external support (e.g. from mass media) changes the ratio between minority and majority, until above a critical external support the supported subpopulation exists always as a majority. Spatial effects lead to two critical ``social'' temperatures, between which the community exists in a metastable state, thus fluctuations below a certain critical wave number may result in a spatial opinion separation. The range of metastability is particularly determined by a parameter characterizing the individual response to the communication field. In our discussion, we draw analogies to phase transitions in physical systems.


title: Modelling Migration and Economic Agglomeration with Active Brownian Particles

abstract: We propose a stochastic dynamic model of migration and economic aggregation in a system of employed (immobile) and unemployed (mobile) agents which respond to local wage gradients. Dependent on the local economic situation, described by a production function which includes cooperative effects, employed agents can become unemployed and vice versa. The spatio-temporal distribution of employed and unemployed agents is investigated both analytically and by means of stochastic computer simulations. We find the establishment of distinct economic centers out of a random initial distribution. The evolution of these centers occurs in two different stages: (i) small economic centers are formed based on the positive feedback of mutual stimulation/cooperation among the agents, (ii) some of the small centers grow at the expense of others, which finally leads to the concentration of the labor force in different extended economic regions. This crossover to large-scale production is accompanied by an increase in the unemployment rate. We observe a stable coexistence between these regions, although they exist in an internal quasistationary non-equilibrium state and still follow a stochastic eigendynamics.


title: Frontiers of finance: Evolution and efficient markets

abstract: In this review article we explore several recent advances in the quantitative modeling of financial markets. We begin with the Efficient Markets Hypothesis and describe how this controversial idea has stimulated a number of new directions of research, some focusing on more elaborate mathematical models that are captable of rationalizing the empirical facrts, others taking a completely different different tack in rejecting rationality altogether. One of the most promising directions is to view financial markets from a biological perspective and, specifically, with an evolutionary framework in which markets, instruments, institutions, and investors interact and evolve dynamically according to the "law" of economic selection. Under this view, financial agents compete and adapt, but they do not necessarily do so in an optimal fashion. Evolutionary and ecological models of financial markets is truly a new frontier whose exploration has just begun.


title: Physicists attempt to scale the ivory towers of finance

abstract: Physicists have recently begun doing research in finance, and even though this movement is less than five years old, interesting and useful contributions have already emerged. This article reviews these developments in four areas, including empirical statistical properties of prices, random-process models for price dynamics, agent-based modeling, and practical applications.


title: Democracy versus Dictatorship in Self-Organized Models of Financial Markets

abstract: Models to mimic the transmission of information in financial markets are introduced. As an attempt to generate the demand process, we distinguish between dictatorship associations, where groups of agents rely on one of them to make decision, and democratic associations, where each agent takes part in the group decision. In the dictatorship model, agents segregate into two distinct populations, while the democratic model is driven towards a critical state where groups of agents of all sizes exist. Hence, both models display a level of organization, but only the democratic model is self-organized. We show that the dictatorship model generates less volatile markets than the democratic model.


title: Fitness versus Longevity in Age-Structured Population Dynamics

abstract: We examine the dynamics of an age-structured population model in which the life expectancy of an offspring may be mutated with respect to that of the parent. While the total population of the system always reaches a steady state, the fitness and age characteristics exhibit counter-intuitive behavior as a function of the mutational bias. By analytical and numerical study of the underlying rate equations, we show that if deleterious mutations are favored, the average fitness of the population reaches a steady state, while the average population age is a decreasing function of the overall fitness. When advantageous mutations are favored, the average population fitness grows linearly with time t, while the average age is independent of fitness. For no mutational bias, the average fitness grows as t^{2/3}.

categories: adap-org cond-mat.stat-mech nlin.AO q-bio.PE


title: The Importance of Being Discrete - Life Always Wins on the Surface

abstract: Many systems in chemistry, biology, finance and social sciences present emerging features which are not easy to guess from the elementary interactions of their microscopic individual components. In the past, the macroscopic behavior of such systems was modeled by assuming that the collective dynamics of microscopic components can be effectively described collectively by equations acting on spatially continuous density distributions. It turns out that quite contrary, taking into account the actual individual/discrete character of the microscopic components of these systems is crucial for explaining their macroscopic behavior. In fact, we find that in conditions in which the continuum approach would predict the extinction of all the population (respectively the vanishing of the invested capital or of the concentration of a chemical substance, etc), the microscopic granularity insures the emergence of macroscopic localized sub-populations with collective adaptive properties which allow their survival and development. In particular it is found that in 2 dimensions "life" (the localized proliferating phase) always prevails.

categories: adap-org cond-mat.stat-mech nlin.AO nlin.CG q-bio


title: Rational Curves on Calabi-Yau Threefolds

abstract: The point is to compare the mathematical meaning of the ``number of rational curves on a Calabi-Yau threefold'' to the meaning ascribed to the same notion by string theorists.


title: Gorenstein Threefold Singularities with Small Resolutions via Invariant Theory for Weyl Groups

abstract: We classify simple flops on smooth threefolds, or equivalently, Gorenstein threefold singularities with irreducible small resolution. There are only six families of such singularities, distinguished by Koll{\'a}r's {\em length} invariant. The method is to apply invariant theory to Pinkham's construction of small resolutions. As a by-product, generators of the ring of invariants are given for the standard action of the Weyl group of each of the irreducible root systems.


title: Complex Contact Threefolds and Their Contact Curves

abstract: A complex contact threefold is a threefold with a two-dimensional non-integrable holomorphic distribution. A contact curve on a contact threefold is an integrable curve of the distribution. This work was inspired by two papers of Bryant, in which he used complex contact geometry to study superminimal surfaces in four-sphere and to investigate exotic holonomies. The present paper is devoted to systematical studies of contact threefold and contact curves on them. We generalize a result of Bryant and answer a question of his.


title: Mirror symmetry and rational curves on quintic threefolds: a guide for mathematicians

abstract: We give a mathematical account of a recent string theory calculation which predicts the number of rational curves on the generic quintic threefold. Our account involves the interpretation of Yukawa couplings in terms of variations of Hodge structure, a new $q$-expansion principle for functions on the moduli space of Calabi-Yau manifolds, and the ``mirror symmetry'' phenomenon recently observed by string theorists.


title: On the difference between real and complex arrangements

abstract: Let $B$ be an arrangement of linear complex hyperplanes in $C^d$. Then a classical result by Orlik \& Solomon asserts that the cohomology algebra of the complement can be constructed from the combinatorial data that are given by the intersection lattice. If $B'$ is, more generally, a $2$-arrangement in $R^{2d}$ (an arrangement of real subspaces of codimension $2$ with even-dimensional intersections), then the intersection lattice still determines the cohomology {\it groups} of the complement, as was shown by Goresky \& MacPherson. We prove, however, that for $2$-arrangements the cohomology {\it algebra} is not determined by the intersection lattice. It encodes extra information on sign patterns, which can be computed from determinants of linear relations or, equivalently, from linking coefficients in the sense of knot theory. This also allows us (in the case $d=2$) to identify arrangements with the same lattice but different fundamental groups.


title: Twistors, Kaehler Manifolds, and Bimeromorphic Geometry II

abstract: Using examples of compact complex 3-manifolds which arise as twistor spaces, we show that the class of compact complex manifolds bimeromorphic to K\"ahler manifolds is not stable under small deformations of complex structure.


title: The algebraic de Rham theorem for toric varieties

abstract: On an arbitrary toric variety, we introduce the logarithmic double complex, which is essentially the same as the algebraic de Rham complex in the nonsingular case, but which behaves much better in the singular case. Over the field of complex numbers, we prove the toric analog of the algebraic de Rham theorem which Grothendieck formulated and proved for general nonsingular algebraic varieties re-interpreting an earlier work of Hodge-Atiyah. Namely, for a finite simplicial fan which need not be complete, the complex cohomology groups of the corresponding toric variety as an analytic space coincide with the hypercohomology groups of the single complex associated to the logarithmic double complex. They can then be described combinatorially as Ishida's cohomology groups for the fan. We also prove vanishing theorems for Ishida's cohomology groups. As a consequence, we deduce directly that the complex cohomology groups vanish in odd degrees for toric varieties which correspond to finite simplicial fans with full-dimensional convex support. In the particular case of complete simplicial fans, we thus have a direct proof for an earlier result of Danilov and the author.


title: On irregular links at infinity of algebraic plane curves

abstract: We give two proofs of a conjecture of the first author (Inv. Math. 98, 1989) that a reduced algebraic plane curve is regular at infinity if and only if its link at infinity is a regular toral link. This conjecture has also been proved by Ha H.~V. using Lojasiewicz numbers at infinity. Our first proof uses the polar invariant and the second proof uses linear systems of plane curve singularities. The second approach (based on a paper in preparation) also proves a stronger conjecture (loc. cit.) describing topologically the regular link at infinity associated with an irregular link at infinity.


title: On a Grauert-Riemenschneider vanishing theorem for Frobenius split varieties in characteristic p

abstract: This paper is about sheaf cohomology for varieties (schemes) in characteristic $p>0$. We assume the presence of a Frobenius splitting. (See V.B. Mehta and A. Ramanathan, Frobenius splitting and cohomology vanishing for Schubert varieties, Annals of Math. 122 (1985), 27--40). The main result is that a non-zero higher direct image under a proper map of the ideal sheaf of a compatibly Frobenius split subvariety can not have a support whose inverse image is contained in that subvariety. Earlier vanishing theorems for Frobenius split varieties were based on direct limits and Serre's vanishing theorem, but our theorem is based on inverse limits and Grothendieck's theorem on formal functions. The result implies a Grauert--Riemenschneider type theorem.


title: Another Relation Between Approaches to the Schottky Problem

abstract: The recent extensive work on different approaches to the Schottky problem has produced marked progress on several fronts. At the same time, it has become apparent that there exist very close connections between the various characterizations of Jacobian varieties described in Mumford's classic lectures {\it Curves and Their Jacobians\/}. Until now, the approach via double translation manifolds has seemed to be quite different from other approaches to the Schottky problem. The purpose of this paper is to bring this last approach ``into the fold'' as it were, and to show precisely how it relates to characterizations of Jacobians based on trisecants and flexes of the Kummer variety, and the K.P. equation.


title: The Geometry and Arithmetic of Elliptic Surfaces

abstract: We survey some aspects of the theory of elliptic surfaces and give some results aimed at determining the Picard number of such a surface. For the surfaces considered, this will be equivalent to determining the Mordell-Weil rank of an elliptic curve defined over a function field in one variable. An interesting conjecture concerning Galois actions on the relative de~Rham cohomology of these surfaces is discussed.


title: Cohomology of coherent sheaves on a proper scheme

abstract: (Makes a Gamma-acylic coherent resolution of a coherent sheaf on a projection scheme.)


title: Deformations of Semi-Euler Characteristics

abstract: (Generalizes theorem of Atiyah and Mumford.)


title: Degenerations of generalized KNN algebras on tori

abstract: Degenerations of Lie algebras of meromorphic vector fields on elliptic curves (i.e. complex tori) which are holomorphic outside a certain set of points (markings) are studied. By an algebraic geometric degeneration process certain subalgebras of Lie algebras of meromorphic vector fields on P^1 the Riemann sphere are obtained. In case of some natural choices of the markings these subalgebras are explicitly determined. It is shown that the number of markings can change. AMS subject classification (1991): 17B66, 17B90, 14F10, 14H52, 30F30, 81T40


title: Note on curves in a Jacobian

abstract: For a curve C, viewed as a cycle in its Jacobian, we study its image n_*C under multiplication by n on JC. We prove that the subgroup generated by these cycles, in the Chow group modulo algebraic equivalence, has rank at most d-1, where d is the gonality of C. We also discuss some general facts on the action of n_* on the Chow groups.


title: Congruences for real algebraic curves on an ellipsoid

abstract: The problem of arrangement of a real algebraic curve on a real algebraic surface is related to the 16th Hilbert problem. We prove in this paper new restrictions on arrangement of nonsingular real algebraic curves on an ellipsoid. These restrictions are analogues of Gudkov-Rokhlin, Gudkov-Krakhnov-Kharlamov, Kharlamov-Marin congruences for plane curves (see e.g. \cite{V} or \cite{V1}). To prove our results we follow Marin approach \cite{Marin} that is a study of the quotient space of a surface under the complex conjugation. Note that the Rokhlin approach \cite{R} that is a study of the 2-sheeted covering of the surface branched along the curve can not be directly applied for a proof of Theorem \ref{Rokhlin} since the homology class of a curve of Theorem \ref{Rokhlin} can not be divided by 2 hence such a covering space does not exist.


title: Extensions of Rokhlin congruence for curves on surfaces

abstract: The subject of this paper is the problem of arrangement of a real nonsingular algebraic curve on a real non-singular algebraic surface. This paper contains new restrictions on this arrangement extending Rokhlin and Kharlamov-Gudkov-Krakhnov congruences for curves on surfaces.


title: Arithmetically Cohen-Macaulay Curves cut out by Quadrics

abstract: Addressing a question of M. Stillman, it had been shown by Ein, Eisenbud, and the author that in a projective space of dimension at most 5, every arithmetically Cohen-Macaulay curve which is cut out by quadrics scheme- theoretically also has its homogeneous ideal generated by quadrics. In this note it is shown that this is not the case in higher dimensional spaces.


title: The cohomological Brauer group of a toric variety

abstract: Toric varieties are a special class of rational varieties defined by equations of the form {\it monomial = monomial}. For a good brief survey of the history and role of toric varieties see [10]. Any toric variety $X$ contains a cover by affine open sets described in terms of arrangements (called fans) of convex bodies in $\Bbb R^r$. The coordinate rings of each of these affine open sets is a graded ring generated over the ground field by monomials. As a consequence, toric varieties provide a good context in which cohomology can be calculated. The purpose of this article is to describe the second \'etale cohomology group with coefficients in the sheaf of units of any toric variety $X$. This is the so-called cohomological Brauer group of $X$.


title: Disproving Hibi's Conjecture with CoCoA or Projective Curves with bad Hilbert Functions

abstract: In this paper we show how to combine different techniques from Commutative Algebra and a systematic use of a Computer Algebra System (in our case mainly CoCoA) in order to explicitly construct Cohen-Macaulay domains, which are standard $k$-algebras and whose Hilbert function is ``bad". In particular we disprove a well-known conjecture by Hibi.


title: Grobner bases and extension of scalars

abstract: This paper studies the behavior of Grobner bases with respect to extensions of scalars. We prove that an extension of scalars commutes with taking Grobner bases iff the extension is flat. We consider what information can be deduced about fibers of a family, from the Grobner basis of the defining ideal of the family itself. This information can be used to construct algorithms, such as to find locii over which a map is finite, or an isomorphism.


title: Classical Polylogarithms

abstract: This paper is an introduction to classical polylogarithms and is an expanded version of a talk given by the author at the Motives conference. Topics covered include, monodromy; the polylogarithm local systems; Bloch's constructions of regulators using the dilogarithm; polylog locals systems as variations of mixed Hodge structre; the polylogarithm quotient of the fundamental group of C - {0,}. It is intended as background for understanding recent work of Beilinson, Deligne, and Goncharov.


title: Regulators and characteristic classes of flat bundles

abstract: This is a substantial revision of the older version of this paper. The main result of the old version (the equality, up to a factor of 2 of the Beilinson and Borel regulators) is now a conjecture. The main results give equality of Beilinson chern classes and Cheeger-Simons-Chern classes in various situations such as for flat bundles over quasi projective varieties. We also prove the equality (up to a factor of two) of the Borel regulator element and the universal Cheeger-Simons Chern class.


title: Sur la cohomologie de certains espaces de modules de fibr\'es vectoriels

abstract: Let M be a moduli space of stable vector bundles on a curve with rank and degree fixed and coprime. We give a simple proof that the rational cohomology of M is generated by the Kunneth components of the Chern classes of the universal bundle. The proof applies also to some moduli spaces of vector bundles over higher-dimensional varieties.


title: The Singularities of the parameter surface of a minimal elliptic threefold

abstract: Let f : X -> S be any elliptic fibration. If X has dimension 3 and is not uniruled, then X has a minimal model (with terminal singularities) [Mori]. In earlier work we have shown that there exists a birationally equivalent elliptic fibration p: Y -> T such that Y is minimal and a multiple of K_Y can be expressed as the pullback of a divisor from T. Moreover T has at worst quotient singularities; it is not difficult to find examples where T is actually singular. In this paper we describe the singularities of this parameter surface T in the case of no multiple fibers. Although T is not uniquely determined by the birational equivalence class of the fibration, any two such T are related by a particular kind of birational map.


title: Picard-Fuchs equations and mirror maps for hypersurfaces

abstract: We describe a strategy for computing Yukawa couplings and the mirror map, based on the Picard-Fuchs equation. (Our strategy is a variant of the method used by Candelas, de la Ossa, Green, and Parkes in the case of quintic hypersurfaces.) We then explain a technique of Griffiths which can be used to compute the Picard-Fuchs equations of hypersurfaces. Finally, we carry out the computation for four specific examples (including quintic hypersurfaces, previously done by Candelas et al.). This yields predictions for the number of rational curves of various degrees on certain hypersurfaces in weighted projective spaces. Some of these predictions have been confirmed by classical techniques in algebraic geometry.


title: Cohomological and Cycle-theoretic connectivity

abstract: One of the themes in algebraic geometry is the study of the relation between the ``topology'' of a smooth projective variety and a (``general'') hyperplane section. Recent results of Nori produce cohomological evidence for a conjecture that a general hypersurface of sufficently large degree should have no ``interesting'' cycles. We compute precise bounds for these results and show by example that there are indeed interesting cycles for degrees that are not high enough. In a different direction Esnault, Nori and Srinivas have shown connectivity for intersections of small multidegree. We show analogous cycle-theoretic connectivity results.


title: Complex Divisors on Algebraic Curves and Some Applications to String Theory

abstract: These are notes of a talk to the International Conference on Algebra in honor of A. I. Mal'tsev, Novosibirsk, USSR, 1989 (to appear in Contemporary Mathematics). The concept of a divisor with complex coefficients on an algebraic curve is introduced. We consider families of complex divisors, or, equivalently, families of invertible sheaves and define Arakelov-type metrics on some invertible sheaves produced from them on the base. We apply this technique to obtain a formula for the measure on the moduli space that gives tachyon correlators in string theory.


title: Exceptional linear systems on curves on Enriques surfaces

abstract: The main purpose in this paper is to study the gonality, the Clifford index and the Clifford dimension on linearly equivalent smooth curves on Enriques surfaces. The method is similar to techniques of M.Green $\&$ R.Lazarsfeld and G.Pareschi.


title: Prym Varieties and Integrable Systems

abstract: A new relation between Prym varieties of arbitrary morphisms of algebraic curves and integrable systems is discovered. The action of maximal commutative subalgebras of the formal loop algebra of GL(n) defined on certain infinite-dimensional Grassmannians is studied. It is proved that every finite-dimensional orbit of the action of traceless elements of these commutative Lie algebras is isomorphic to the Prym variety associated with a morphism of algebraic curves. Conversely, it is shown that every Prym variety can be realized as a finite-dimensional orbit of the action of traceless diagonal elements of the formal loop algebra, which defines the multicomponent KP system.


title: Computing the Cohomological Brauer Group of a Toric Variety

abstract: The purpose of this article is to show how one might compute the \'etale cohomology groups $H^p_{\acute{e}t}(X,G_m)$ in degrees $p=0$, $1$ and $2$ of a toric variety $X$ with coefficients in the sheaf of units. The method is to reduce the computation down to the problem of diagonalizing a matrix with integral coefficients. The procedure outlined in this article has been fully implemented by the author as a program written in the ``C'' programming language.


title: On the Abel-Jacobi Map for Divisors of Higher Rank on a Curve

abstract: The aim of this paper is to present an algebro-geometric approach to the study of the geometry of the moduli space of stable bundles on a smooth projective curve defined over an algebraically closed field $k$, of arbitrary characteristic. This establishes a bridge between the arithmetic approach of Harder, Narasimhan et al. and the gauge group approach of Atiyah and Bott. One of the basic ideas is to consider a notion of divisor of higher rank and a suitable Abel-Jacobi map generalizing the classical notions in rank one.


title: Homotopy groups of the complements to singular hypersurfaces,II

abstract: The homotopy group $\pi_{n-k} ({\bf C}^{n+1}-V)$ where $V$ is a hypersurface with a singular locus of dimension $k$ and good behavior at infinity is described using generic pencils. This is analogous to the van Kampen procedure for finding a fundamental group of a plane curve. In addition we use a certain representation generalizing the Burau representation of the braid group. A divisibility theorem is proven that shows the dependence of this homotopy group on the local type of singularities and behavior at infinity. Examples are given showing that this group depends on certain global data in addition to local data on singularities.


title: Weierstrass Gap Sequence at Total Inflection Points of Nodal Plane Curves

abstract: Let $\Gamma$ be a plane curve of degree $d$ with $\delta$ ordinary nodes and no other singularities. If $P$ is a smooth point on $\Gamma$ then the Weierstrass gap sequence at $P$ is considered as that at the corresponding point on the normalization of $\Gamma$. A smooth point $P\in\Gamma$ is called a total inflection point if $i(\Gamma ,T;P)=d$ where $T$ is the tangent line to $\Gamma$ at $P$. There are many possible Weierstrass gap sequences at total inflection points. Our main results are: Among them (1) There exists a pair $(P,\Gamma )$ such that the gap sequence at $P$ is the minimal (in the sense of weight). (2) There exists a pair $(P,\Gamma )$ such that the gap sequence at $P$ is the maximal (resp. up to 1 maximal). And we characterize these cases in the sense of location of nodes.


title: Report on the Torsion of the Differential Module of an algebraic Curve

abstract: There is a conjecture, that the torsionfreeness of the module of differentials in a point of an algebraic or algebroid curve should imply that the curve is non singular at that point. A report on the main results is given.


title: Cohomology, Symmetry, and Perfection

abstract: One of the aims of this paper is to better explain the philosophy behind the computations in [E.Bifet, C.De Concini,C.Procesi Cohomology of Regular Embeddings ] and to place them in a wider conceptual setting. Another aim of the paper is to outline in the last section an ``equivariant'' approach to some key results in the theory of toric varieties. The text of the first three sections follows closely a talk delivered at the University of Copenhagen in July 1989 on the occasion of the Zeuthen Symposium. This paper is dedicated to the memory of my friend Pere Menal and will appear in the Fall 1992 issue, dedicated to his memory, of Publicacions Matem\`atiques, Universitat Aut\`onoma de Barcelona.


title: Chern classes and degenerations of hypersurfaces and their lines

abstract: We study limiting lines on degenerations of generic hypersurfaces in $P^n$.


title: Notes on Kodaira energies of polarized varieties

abstract: The Kodaira energy of a polarized manifold (M,L) is defined by \kappa\epsilon(M,L)=-Inf{t\in Q|\kappa(K+tL)\ge 0}. Here we propose a couple of conjectures and announce several partial results. 3-dimensional cases are mainly considered. A hard copy is available on request to the author.


title: Linear orbits of d-tuples of points in P^1

abstract: The group PGL(2) of linear transformations of the projective line acts naturally on the d-dimensional projective space P^d parametrizing configurations (`d-tuples') of points on the line. In this note we are concerned with the orbits of this action of PGL(2) on P^d. The closure of each orbit is a projective subvariety of P^d of which we determine the degree, the `boundary'--i.e., the complement of an orbit in its closure--, and the multiplicity at points of the boundary. These results are used to provide a complete classification of the non-singular orbit closures, and criteria for an orbit closure to be non-singular in codimension 1.


title: Upper Bounds for the Betti Numbers of a given Hilbert Function

abstract: From a Macaulay's paper it follows that a lex-segment ideal has the greatest number of generators (the 0-th Betti number $\b_0$) among all the homogeneous ideals with the same Hilbert function. In this paper we prove that this fact extends to every Betti number, in the sense that all the Betti numbers of a minimal free resolution of a lex segment ideal are bigger than or equal to the ones of any homogeneous ideal with the same Hilbert function.


title: On the Tangent Space to the Universal Teichmuller Space

abstract: We find a remarkably simple relationship between the following two models of the tangent space to the Universal Teichm\"uller Space: (1) The real-analytic model consisting of Zygmund class vector fields on the unit circle; (2) The complex-analytic model comprising 1-parameter families of schlicht functions on the exterior of the unit disc which allow quasiconformal extension. Indeed, the Fourier coefficients of the vector field in (1) turn out to be essentially the same as (the first variations of) the corresponding power series coefficients in (2). These identities have many applications; in particular, to conformal welding, to the almost complex structure of Teichm\"uller space, to study of the Weil-Petersson metric, to variational formulas for period matrices, etc. These utilities are explored.


title: Linear orbits of smooth plane curves

abstract: The group PGL(3) of linear transformations of the projective plane acts naturally on the projective space parametrizing curves of a given degree. In this note we begin the study of the orbits of smooth curves under this action: we construct a resolution of the closure of the orbit of a given curve, and we use it to compute its degree. This turns out to depend only on the degree of the curve, the order of its automorphism group, and on the number and type of its flexes. This paper will appear on the Journal of Algebraic Geometry.


title: String Branchings on Complex Tori and Algebraic Representations of Generalized Krichever-Novikov Algebras

abstract: The propagation differential for bosonic strings on a complex torus with three symmetric punctures is investigated. We study deformation aspects between two point and three point differentials as well as the behaviour of the corresponding Krichever-Novikov algebras. The structure constants are calculated and from this we derive a central extension of the Krichever-Novikov algebras by means of b-c systems. The defining cocycle for this central extension deforms to the well known Virasoro cocycle for certain kinds of degenerations of the torus. AMS subject classification (1991): 17B66, 17B90, 14H52, 30F30, 81T40


title: Affine like Surfaces

abstract: We classify smooth surfaces whose higher cohomologies of i-forms for all i vanish. We show that if such a surface is not affine, then it has essentially two possibilities.


title: Extremal Rays and Null Geodesics on a Complex Conformal Manifold

abstract: This is a revised version of the paper submitted before.


title: Two Two-dimensional Terminations

abstract: Varieties with log terminal and log canonical singularities are considered in the Minimal Model Program, see \cite{...} for introduction. In \cite{shokurov:hyp} it was conjectured that many of the interesting sets, associated with these varieties have something in common: they satisfy the ascending chain condition, which means that every increasing chain of elements terminates. Philosophically, this is the reason why two main hypotheses in the Minimal Model Program: existence and termination of flips should be true and are possible to prove. In this paper we prove that the following two sets satisfy the ascending chain condition: 1. The set of minimal log discrepancies for $K_X+B$ where $X$ is a surface with log canonical singularities. 2. The set of groups $(b_1,...b_s)$ such that there is a surface $X$ with log canonical and numerically trivial $K_X+\sum b_jB_j$. The order on such groups is defined in a natural way.


title: Corps quadratiques dont le 5-rang du groupe des classes est >=3

abstract: We prove the existence of infinitely many real and imaginary fields whose 5-rank of the class group is >=3.


title: Rang de courbes elliptiques d'invariant donne

abstract: We prove that there exist infinitely many elliptic curves over \Q with given modular invariant, and rank >=2. Furthermore, there exist infinitely many elliptic curves over $\Q$ with invariant equal at 0 (resp. 1728) and rank >=6 (resp. >=4).


title: The fibers of the Prym map

abstract: In this work we use the bigonal, trigonal and tetragonal constructions to describe the fibers of the Prym map P : R_{g} ---->A_{g-1} inthe cases when it is dominant, i.e. for g < 7. The most interesting cases are g = 5, where the fiber is a double cover of the Fano surface of lines on a cubic threefold, and g=6, where the map is generically finite (of degree 27) with Galois group WE_{6}, so that the general fiber has the structure of the 27 lines on a cubic surface. For g > 6, the map is known to be generically injective. The tetragonal construction gives many counterexamples to injectivity, and we conjecture that all noninjectivity is due to the tetragonal construction.


title: The complex separation and extensions of Rokhlin congruence for curves on surfaces

abstract: The subject of this paper is the problem of arrangement of real algebraic curves on real algebraic surfaces. In this paper we extend Rokhlin, Kharlamov-Gudkov-Krakhnov and Kharlamov-Marin congruences for curves on surfaces and give some applications of this extension. For some pairs consisting of a surface and a curve on this surface (in particular for M-pairs) we introduce a new structure --- the complex separation that is separation of the complement of curve into two surfaces. In accordance with Rokhlin terminology the complex separation is a complex topological characteristic of real algebraic varieties. The complex separation is similar to complex orientations introduced by O.Ya.Viro (to the absolute complex orientation in the case when a curve is empty and to the relative complex orientation otherwise). In some cases we calculate the complex separation of a surface (for example in the case when surface is the double branched covering of another surface along a curve). With the help of these calculations applications of the extension of Rokhlin congruence gives some new restrictions for complex orientations of curves on a hyperboloid.


title: Completions of mapping class groups and the cycle $C - C^-$

abstract: In this paper we study the proalgebraic completion of mapping class relative to their maps to the symplectic group. The main result is that the natural map from the unipotent (a.k.a. Malcev) completion of the Torelli group to the prounipotent radical of the Sp_g completion of the mapping class group is a non trivial central extension with kernel isomorphic to Q, at least when g \ge 8. The theorem is proved by relating the central extension to the line bundle associated to the archemidean height of the cycle C - C- in the Jacobian of the curve C. We also develop some of the basic theory of relative completions.


title: Open String Diagrams I: Topological Type

abstract: An arbitrary Feynman graph for string field theory interactions is analysed and the homeomorphism type of the corresponding world sheet surface is completely determined even in the non-orientable cases. Algorithms are found to mechanically compute the topological characteristics of the resulting surface from the structure of the signed oriented graph. Whitney's permutation-theoretic coding of graphs is utilized.


title: Abelian varieties over Q and modular forms

abstract: This paper gives a conjectural characterization of those elliptic curves over the field of complex numbers which "should" be covered by standard modular curves. The elliptic curves in question all have algebraic j-invariant, so they can be viewed as curves over Q-bar, the field of algebraic numbers. The condition that they satisfy is that they must be isogenous to all their Galois conjugates. Borrowing a term from B.H. Gross, "Arithmetic on elliptic curves with complex multiplication," we say that the elliptic curves in question are "Q-curves." Since all complex multiplication elliptic curves are Q-curves (with this definition), and since they are all uniformized by modular forms (Shimura), we consider only non-CM curves for the remainder of this abstract. We prove: 1. Let C be an elliptic curve over Q-bar. Then C is a Q-curve if and only if C is a Q-bar simple factor of an abelian variety A over Q whose algebra of Q-endomorphisms is a number field of degree dim(A). (We say that abelian varieties A/Q with this property are of "GL(2) type.") 2. Suppose that Serre's conjecture on mod p modular forms are correct (Ref: Duke Journal, 1987). Then an abelian variety A over Q is of GL(2)-type if and only if it is a simple factor (over Q) of the Jacobian J_1(N) for some integer N\ge1. (The abelian variety J_1(N) is the Jacobian of the standard modular


title: Weierstrass weight of Gorenstein singularities with one or two branches

abstract: Let $X$ denote an integral, projective Gorenstein curve over an algebraically closed field $k$. In the case when $k$ is of characteristic zero, C. Widland and the second author have defined Weierstrass points of a line bundle on $X$. In the first section, this definition is extended to linear systems in arbitrary characteristic. This definition may be viewed as a generalization of the definitions of Laksov and St\"ohr-Voloch to the Gorenstein case. In the second section, an example is given to illustrate the definition. This example is a plane curve of arithmetic genus 3 in characteristic 2 such that the gap sequence at every smooth point (with respect to the dualizing bundle) is 1,2,5 and there are no smooth Weierstrass points. In the third section, the Weierstrass weight of a unibranch singularity (on a not necessarily rational curve) is computed in terms of its semigroup of values. In the final section, the Weierstrass weight of a singularity with precisely two branches (again assuming that the characteristic is zero) is computed. AMS Classification: Primary 14H55, Secondary 14H20.


title: Torsion Sections of Semistable Elliptic Surfaces

abstract: Let S be a torsion section of an elliptic surface with only I_n fibers. This article addresses the question: which components of singular fibers can S pass through? We give necessary criteria for the "component numbers", and show an equidistribution result for torsion sections of prime order.


title: On the $(-1)$-curve conjecture of Friedman and Morgan

abstract: Main difference with previous version: we prove that every differentiably embedded sphere with self intersection $-1$ in a simply connected algebraic surface with $p_g >0$ is homologous to a $(-1)$-curve if $|K_{\min}|$ contains a smooth irreducible curve of genus at least 2 and $p_g$ is even or $K_{\min}^2 \not\equiv 7 \pmod8$ (here $K_{\min}$ is the canonical class of the minimal model).


title: Arrangements of Hyperplanes and Vector Bundles on $P^n$

abstract: Any arrangement of hyperplanes in general position in $P^n$ can be regarded as a divisor with normal crossing. We study the bundles of logarithmic 1-forms corresponding to such divisors` from the point of view of classification of vector bundles on $P^n$. It turns out that all such bundles are stable. The study of jumping lines of these bundles gives a unified treatment of several classical constructions associating a curve to a collection of points in $P^n$. The main result of the paper is "Torelli theorem" which says that the collection of hyperplanes can be recovered from the isomorphism class of the corresponding logarithmic bundle unless the hyperplanes ocsulate a rational normal curve. In this latter case our construction reduces to that of secant bundles of Schwarzenberger.


title: Chow quotients of Grassmannian I

abstract: We introduce a certain compactification of the space of projective configurations i.e. orbits of the group $PGL(k)$ on the space of $n$ - tuples of points in $P^{k-1}$ in general position. This compactification differs considerably from Mumford's geometric invariant theory quotient. It is obtained by considering limit position (in the Chow variety) of the closures of generic orbits. The same result will be obtained if we study orbits of the maximal torus on the Grassmannian $G(k,n)$. We study in detail the closures of the torus orbits and their "visible contours" which are Veronese varieties in the Grassmannian. For points on $P^1$ our construction gives the Grothemdieck - Knudsen moduli space of stable $n$ -punctured curves of genus 0. The "Chow quotient" interpretation of this space permits us to represent it as a blow up of a projective space.


title: The simple method of distinguishing the underlying differentiable structures of algebraic surfaces

abstract: The simplest version of the Spin-polynomial invariants of the underlying differentiable structures of algebraic surfaces were considered and the simplest arguments were used in order to distinguish the underlying smooth structures of certain algebraic surfaces.


title: Points of Low Degree on Smooth Plane Curves

abstract: The purpose of this note is to provide some applications of Faltings' recent proof of S. Lang's conjecture to smooth plane curves. Let $C$ be a smooth plane curve defined by an equation of degree $d$ with integral coefficients. We show that for $d\ge 7$, the curve $C$ has only finitely many points whose field of definition has degree $\le d-2$ over $Q$, and that for $d\ge 8$, all but finitely many points of $C$ whose field of definition has degree $\le d-1$ over $Q$ arise as points of intersection of rational lines through rational points of $C$.


title: Degrees of Curves in Abelian Varieties

abstract: The degree of a curve $C$ in a polarized abelian variety $(X,\lambda)$ is the integer $d=C\cdot\lambda$. When $C$ generates $X$, we find a lower bound on $d$ which depends on $n$ and the degree of the polarization $\lambda$. The smallest possible degree is $d=n$ and is obtained only for a smooth curve in its Jacobian with its principal polarization (Ran, Collino). The cases $d=n+1$ and $d=n+2$ are studied. Moreover, when $X$ is simple, it is shown, using results of Smyth on the trace of totally positive algebraic integers, that if $d\le 1.7719\, n$, then $C$ is smooth and $X$ is isomorphic to its Jacobian. We also get an upper bound on the geometric genus of $C$ in terms of its degree.


title: Reductive group actions on K\"ahler manifolds

abstract: We prove that the action of a reductive complex Lie group on a K\"ahler manifold can be linearized in the neighbourhood of a fixed point, provided that the restriction of the action to some compact real form of the group is Hamiltonian with respect to the K\"ahler form.


title: Stable pairs, linear systems and the Verlinde formula

abstract: We study the moduli problem of pairs consisting of a rank 2 vector bundle and a nonzero section over a fixed smooth curve. The stability condition involves a parameter; as it varies, we show that the moduli space undergoes a sequence of flips in the sense of Mori. As applications, we prove several results about moduli spaces of rank 2 bundles, including the Harder-Narasimhan formula and the SU(2) Verlinde formula. Indeed, we prove a general result on the space of sections of powers of the ideal sheaf of a curve in projective space, which includes the Verlinde formula.


title: Erratum to "The Homogeneous Coordinate Ring of a Toric Variety", along with the original paper

abstract: This submission consists of two papers: 1) an erratum that corrects an error in the proof of Proposition 4.3 in my paper "The Homogeneous Coordinate Ring of a Toric Variety", and 2) the original (unchanged) version of the paper, published in 1995. The original paper introduced the homogeneous coordinate ring of a toric variety (now called the total coordinate ring or Cox ring) and gave a quotient construction. The paper also studied sheaves on a toric variety, and in Section 4 described its automorphism group. The error in the proof of Proposition 4.3 resulted from the faulty assumption that a certain set of graded endomorphisms forms a ring; rather, it is a monoid under composition. The erratum notes this error and gives a correct proof of the proposition.


title: Elliptic Three-folds I: Ogg-Shafarevich Theory

abstract: We calculate the Tate-Shafarevich group of an elliptic three-fold $f:X\rightarrow S$ when $X$ and $S$ are regular and $f$ is flat, relating it to the Brauer group of $X$ and $S$. We show that given certain hypotheses on $f$, the Tate-Shafarevich group has the interpretation of isomorphism classes of elliptic curves over the function field of $S$ which have the same jacobian as the generic fibre of $f$, and for which there exists a relatively minimal model which has no multiple fibres. We use this to give examples of elliptic fibrations with isolated multiple fibres, and also to give a new counterexample to the Luroth problem in dimension three. This is a revised, hopefully improved, version with a few extra theorems and a few errors corrected.


title: Stable pairs on curves and surfaces

abstract: We describe stability conditions for pairs consisting of a coherent sheaf and a homomorphism to a fixed coherent sheaf on a projective variety. The corresponding moduli spaces are constructed for pairs on curves and surfaces. We consider two examples. The fixed sheaf is the structure sheaf or is a vector bundle on a divisor, i.e. Higgs pairs or framed bundles, resp. (unencoded version)


title: Algebraic approximations of holomorphic maps from Stein domains to projective manifolds

abstract: It is shown that every holomorphic map $f$ from a Runge domain $\Omega$ of an affine algebraic variety $S$ into a projective algebraic manifold $X$ is a uniform limit of Nash algebraic maps $f_\nu$ defined over an exhausting sequence of relatively compact open sets $\Omega_\nu$ in $\Omega$. A relative version is also given: If there is an algebraic subvariety $A$ (not necessarily reduced) in $S$ such that the restriction of $f$ to $A\cap\Omega$ is algebraic, then $f_\nu$ can be taken to coincide with $f$ on $A\cap\Omega_\nu$. The main application of these results, when $\Omega$ is the unit disk, is to show that the Kobayashi pseudodistance and the Kobayashi-Royden infinitesimal metric of a quasi-projective algebraic manifold $Z$ are computable solely in terms of the closed algebraic curves in $Z$. Similarly, the $p$-dimensional Eisenman metric of a quasi-projective algebraic manifold can be computed in terms of the Eisenman volumes of its $p$-dimensional algebraic subvarieties. Another question addressed in the paper is whether the approximations $f_\nu$ can be taken to have their images contained in affine Zariski open subsets of $X$. By using complex analytic methods (pluricomplex potential theory and H\"ormander's $L^2$ estimates), we show that this is the case if $f$ is an embedding (with $\dim S<\dim X$) and if there is an ample line bundle $L$ on $X$ such that


title: On the stable rationality of $X/G$

abstract: Let $G$ be a connected, reductive algeraic group whose Dynkin diagram contains no components of type $G_2,$ $F_4,$ $E_6,$ $E_7$ or $E_8.$ That is, all the components are of classical type. Suppose $X$ is an affine variety, and suppose $G$ acts freely on $X.$ Then $X$ and $X/G$ are stably birationally equivalent.


title: The enumeration of simultaneous higher-order contacts between plane curves

abstract: Using the Semple bundle construction, we derive an intersection-theoretic formula for the number of simultaneous contacts of specified orders between members of a generic family of degree $d$ plane curves and finitely many fixed curves. The contacts counted by the formula occur at nonsingular points of both the members of the family and the fixed curves.


title: Automorphisms and the K\"ahler cone of certain Calabi-Yau manifolds

abstract: For the Calabi-Yau threefolds $X$ constructed by C. Schoen as fiber products of generic rational elliptic surfaces, we show that the action of the automorphism group of $X$ on the K\"ahler cone of $X$ has a rationally polyhedral fundamental domain. The second author has conjectured that this statement will hold in general, the example presented here being the first non-trivial case in which the statement has been checked. The conjecture was motivated by the desire to use a construction of E. Looijenga to compactify certain moduli spaces which arise in the study of conformal field theory and ``mirror symmetry.''


title: Lines on Calabi Yau complete intersections, mirror symmetry, and Picard Fuchs equations

abstract: A relation between the number of rational curves of fixed degree on Calabi Yau threefolds and the Picard Fuchs equations, which was suggested as part of the study of mirror symmetry, is verified in the case of complete intersection of two cubics and lines.


title: Minimal Cohomology Classes and Jacobians

abstract: We show that on the Jacobian $(JC,\theta)$ of a smooth curve $C$ of genus $g$, any effective cycle in $JC$ with cohomology class $\theta^d/d!$ is a translate of $W_{g-d}(C)$ or $-W_{g-d}(C)$. We then use this result to prove that for $1<d<g$, the Jacobian locus (\resp the locus of intermediate Jacobians of cubic threefolds) is an irreducible component of the set of principally polarized abelian varieties of dimension $g$ for which $\theta^d/d!$ (\resp $\theta^3/3!$) is the class of an effective algebraic cycle. Moreover, on the intermediate Jacobian of a generic cubic threefold, $\theta^2/2!$ is not the class of an effective algebraic cycle.


title: Non-trivial Linear Systems on Smooth Plane Curves

abstract: Let $C$ be a smooth plane curve of degree $d$ defined over an algebraically closed field $k$. A base point free complete very special linear system $g^r_n$ on $C$ is trivial if there exists an integer $m\ge 0$ and an effective divisor $E$ on $C$ of degree $md-n$ such that $g^r_n=|mg^2_d-E|$ and $r=(m^2+3m)/2-(md-n)$. In this paper, we prove the following: Theorem Let $g^r_n$ be a base point free very special non-trivial complete linear system on $C$. Write $r=(x+1)(x+2)/2-b$ with $x, b$ integers satisfying $x\ge 1, 0\le b \le x$. Then $n\ge n(r):=(d-3)(x+3)-b$. Moreover, this inequality is best possible.


title: The Geometry of Bielliptic Surfaces in P^4

abstract: In 1988 Serrano \cite{Ser}, using Reider's method, discovered a minimal bielliptic surface in $\PP^4$. Actually he showed that there is a unique family of such surfaces and that they have degree 10 and sectional genus 6. In this paper we describe, among other things, the geometry of the embedding of the minimal bielliptic surfaces. A consequence of this description will be the existence of smooth nonminimal bielliptic surfaces of degree 15 in $\PP^4$. We also explain how to construct the degree 15 surfaces with the help of the quadro-cubic Cremona transformation of $\PP^4$. Finally, we remark that the quintic elliptic scroll and the abelian and bielliptic surfaces of degree 10 and 15 are essentially the only smooth irregular surfaces known in $\PP^4$ (all others can be derived via finite morphisms $\PP^4\to\PP^4 $).


title: The topology of the space of rational curves on a toric variety

abstract: Let $X$ be a compact toric variety. Let $Hol$ denote the space of based holomorphic maps from $CP^1$ to $X$ which lie in a fixed homotopy class. Let $Map$ denote the corresponding space of continuous maps. We show that $Hol$ has the same homotopy groups as $Map$ up to some (computable) dimension. The proof uses a description of $Hol$ as a space of configurations of labelled points, where the labels lie in a partial monoid determined by the fan of $X$.


title: Rational curves on Calabi-Yau manifolds: verifying predictions of Mirror Symmetry

abstract: Mirror symmetry, a phenomenon in superstring theory, has recently been used to give tentative calculations of several numbers in algebraic geometry. In this paper, the numbers of lines and conics on various hypersurfaces which satisfy certain incidence properties are calculated, and shown to agree with the numbers predicted by Greene, Morrison, and Plesser using mirror symmetry in every instance. This increases the number of verified predictions from 3 to 65. Calculations are performed using the Maple package {\sc schubert} written by Katz and Str{\o}mme.


title: Bounds of automorphism groups of genus 2 fibrations

abstract: For a complex surface of general type with a relatively minimal genus 2 fibration, the bounds of the orders of the automorphism group of the fibration, of its abelian subgroups and of its cyclic subgroups are determined as linear functions of $c^2_1$. Most of them are the best.


title: A note on non-vanishing and applications

abstract: Let $X$ be a normal variety over the field of complex numbers with log terminal singularities and the canonical divisor $K_X$ being ${\bf Q}$-Gorenstein. Assume that $L$ is an ample line bundle over $X$ and $\phi: X\to Y$ is a morphism supported by $K_X+rL$ for some positive rational number $r$. In the present paper we study the evaluation $\phi^*\phi_*(L)\to L$ and the locus of points where it is not surjective which we call relative base point locus of $L$. In particular, we prove that, if the dimension of a fiber of $\phi$ is small with respect to $r$ then the relative base point locus does not meet the fiber. Consequently, in this case, we discuss the structure of the map $\phi$ for a smooth $X$.


title: On the surjectivity of Wahl maps on a general curve

abstract: This paper explores the geometric meaning of the failure of certain kinds of Wahl maps to surject on a general curve. Sufficient conditions for surjectivity are given. An approach used by Voisin to study canonical Wahl maps is applied in this direction.


title: Lefschetz Fixed Point Theorem and Lattice Points in Convex Polytopes

abstract: A simple convex lattice polytope $\Box$ defines a torus-equivariant line bundle $\LB$ over a toric variety $\XB.$ Atiyah and Bott's Lefschetz fixed-point theorem is applied to the torus action on the $d''$-complex of $\LB$ and information is obtained about the lattice points of $\Box$. In particular an explicit formula is derived, computing the number of lattice points and the volume of $\Box$ in terms of geometric data at its extreme points. We show this to be equivalent the results of Brion \cite{brion} and give an elementary convex geometric interpretation by performing Laurent expansions similar to those of Ishida \cite{ishida}.


title: Intersection homology Betti numbers

abstract: A generalization of the formula of Fine and Rao for the ranks of the intersection homology groups of a complex algebraic variety is given. The proof uses geometric properties of intersection homology and mixed Hodge theory.


title: A Finiteness Theorem for Quaternionic-Kaehler Manifolds with Positive Scalar Curvature

abstract: We study the topology and geometry of those compact Riemannian (4n)-manifolds (M,g), n > 1, with positive scalar curvature and holonomy in Sp(n)Sp(1). Up to homothety, we show that there are only finitely many such manifolds of any dimension 4n.


title: Existence and Deformation Theory for Scalar-Flat Kaehler Metrics on Compact Complex Surfaces

abstract: Let M be a compact complex surface which admits a Kaehler metric whose scalar curvature has integral zero; and suppose the fundamental group of M does not contain an Abelian subgroup of finite index. Then if M is blown up at sufficiently many points, the resulting surface M' admits scalar-flat Kaehler metrics.


title: Semistable Minimal Models of Threefolds in Positive or Mixed Characteristic

abstract: We extend the minimal model theorem to the 3-dimensional schemes which are projective and have semistable reduction over the spectrum of a Dedekind ring.


title: Projective varieties with many degenerate subvarieties

abstract: We study the problem of classifying the irreducible projective varieties $X$ of dimension $n\ge 2$ in $\Bbb P^N$ which contain an algebraic family $\Cal F$ of dimension $h+1$ ($h<n$) of subvarieties $Y$ of dimension $n-h$, each one contained in a $\Bbb P^{N-h-1}$. We prove that one of the following happens: (i) there exists an integer $r$, $r<N-n$ such that $X$ is contained in a variety $V_r$ of dimension at most $N-r$ containing a family of dimension $h+1$ of subvarieties of dimension $N-h-r$, each one contained in a linear space of dimension $N-h-1$; (ii) The degree of $Y$ is bounded by a function of $h$ and $N-n$ (in this case $X$ is called of isolated type). Successively we study some special cases; in particular we give a complete classification of surfaces in $\Bbb P^5$ containing a family of dimension $2$ of curves of $\Bbb P^3$.


title: Deformations of cones over hyperelliptic curves

abstract: We determine the versal deformation of cones, in the simplest case: cones over hyperelliptic curves of high degree. In particular, we show that for degree $4g+4$, the highest degree for which interesting deformations exist, the number of smoothing components is $2^{2g+1}$ ($g\neq3$). We review in a general setting the relation of $T^1(-1)$ with Wahl's Gaussian map. We prove that $T^1(-1)$ vanishes for a general curve and an arbitrary embedding line bundle of degree at least $2g+11$. To find $T^2$ for hyperelliptic cones with the Main Lemma of [Behnke--Christophersen], we compute $T^1$ for the cone over $d$ points on a rational normal curve of degree $d-g-1$, using explicit equations. Actually, the equations for the cone over a hyperelliptic curve have a nice structure. We give an interpretation of $T^2(-2)$ in terms of this structure. Smoothing components are related to surfaces with $C$ as hyperplane section. An explicit description of the corresponding infinitesimal deformations allowss to conclude that the base space is a complete intersection of degree $2^{2g+1}$. We also consider smoothing data in the sense of [Looijenga--Wahl].


title: Theta Functions for $\SL(n)$ versus $\GL(n)$

abstract: Over a smooth complex projective curve $C$ of genus $g$ let $\M (n,d)$ be the moduli space of semistable bundles of rank $n$ and degree $d$ on $C$, and $\SM (n,L)$, the moduli space of those bundles whose determinant is isomorphic to a fixed line bundle $L$ over $C$. Let $\theta_F$ and $\theta$ be theta bundles over these two moduli spaces. We prove a simple formula relating their spaces of sections: if $h=\gcd (n,d)$ is the greatest common divisor of $n$ and $d$, and $L\in \Pic ^d(C)$, then $$\dim H^0(\SM (n,L), \theta^k) \cdot k^g=\dim H^0(\M(n,d),\theta_F^k)\cdot h^g.$$ We also formulate a conjectural duality between these two types of spaces of sections.


title: Free pencils on divisors

abstract: Let X be a smooth projective variety defined over an algebraically closed field, and let Y in X be a reduced and irreducible ample divisor in X. We give a numerical sufficient condition for a base point free pencil on $Y$ to be the restriction of a base point free pencil on $X$. This result is then extended to families of pencils and to morphisms to arbitrary smooth curves. Serrano had already studied this problem in the case n=2 and 3, and Reider had then attacked it in the case $n=2$ using vector bundle methods based on Bogomolov's instability theorem on a surface (char(k)=0). The argument given here is based on Bogomolov's theorem on an n-dimensional variety, and on its recent adaptations to the setting of prime charachterstic (due to Shepherd-Barron and Moriwaki).


title: Seshadri constants, gonality of space curves and restriction of stable bundles

abstract: We define the Seshadri constant of a space curve and consider ways to estimate it. We then show that it governs the gonality of the curve. We use an argument based on Bogomolov's instability theorem on a threefold. The same methods are then applied to the study of the behaviour of a stable vector bundle on P^3 under restriction to curves and surfaces.


title: The Variety of Positive Superdivisors of a Supercurve (Supervortices)

abstract: The supersymmetric product of a supercurve is constructed with the aid of a theorem of algebraic invariants and the notion of positive relative superdivisor (supervortex) is introduced. A supercurve of positive superdivisors of degree 1 (supervortices of vortex number 1) of the original supercurve is constructed as its supercurve of conjugate fermions, as well as the supervariety of relative positive superdivisors of degre p (supervortices of vortex number p.) A universal superdivisor is defined and it is proved that every positive relative superdivisor can be obtained in a unique way as a pull-back of the universal superdivisor. The case of SUSY-curves is discussed.


title: Birational Equivalences of Vortex Moduli

abstract: We construct a finite dimensional Kaehler manifold with a holomorphic, symplectic circle action whose symplectic reduced spaces may be identified with the tau-vortex moduli spaces (or tau-stable pairs). The Morse theory of the circle action induces natural birational maps between the reduced spaces for different values of tau which in the case of rank two bundles can be canonically resolved in a sequence of blow-ups and blow-downs.


title: Refined intersection products and limiting linear subspaces of hypersurfaces

abstract: Let $X$ be a hypersurface of degree $d$ in $\Bbb P^n$ and $F_X$ be the scheme of $\Bbb P^r$'s contained in $X$. If $X$ is generic, then $F_X$ will have the expected dimension (or empty) and its class in the Chow ring of $G(r+1,n+1)$ is given by the top Chern class of the vector bundle $S^dU^*$, where $U$ is the universal subbundle on the Grassmannian $G(r+1,n+1)$. When we deform a generic $X$ into a degenerate $X_0$, the dimension of $F_X$ can jump. In this case, there is a subscheme $F_{lim}$ of $F_{X_0}$ with the expected dimension which consists of limiting $\Bbb P^r$'s in $X_0$ with respect to a general deformation. The simplest example is the well-known case of $27$ lines in a generic cubic surface. If we degenerate the surface into the union of a plane and a quadric, then there are infinitely many lines in the union. Which $27$ lines are the limiting ones and how many of them are in the plane and how many of them are in the quadric? The goal of this paper is to study $F_{lim}$ in general.


title: What can be computed in algebraic geometry?

abstract: This paper is a survey of computational issues in algebraic geometry, with particular attention to the theory of Grobner bases and the regularity of an algebraic variety. 1. A geometric introduction to Grobner bases. 2. An algebraic introduction to Grobner bases. 3. Bounds in algebraic geometry, and regularity and complexity questions. 4. Applications.


title: Holomorphic Slices, Symplectic Reduction and Multiplicities of Representations

abstract: I prove the existence of slices for an action of a reductive complex Lie group on a K\"ahler manifold at certain orbits, namely those orbits that intersect the zero level set of a momentum map for the action of a compact real form of the group. I give applications of this result to symplectic reduction and geometric quantization at singular levels of the momentum map. In particular, I obtain a formula for the multiplicities of the irreducible representations occurring in the quantization in terms of symplectic invariants of reduced spaces, generalizing a result of Guillemin and Sternberg.


title: Schur quadrics, cubic surfaces and rank 2 vector bundles over the projective plane

abstract: A cubic surface in $P^3$ is known to contain 27 lines, out of which one can form 36 Schlafli double - sixes i.e., collections $l_1,...,l_6, l'_1,..., l'_6\}$ of 12 lines such that each $l_i$ meets only $l'_j, j\neq i$ and does not meet $l_j, j\neq i$. In 1881 F. Schur proved that any double - six gives rise to a certain quadric $Q$ , called Schur quadric which is characterized as follows: for any $i$ the lines $l_i$ and $l'_i$ are orthogonal with respect to (the quadratic form defining) $Q$. The aim of the paper is to relate Schur's construction to the theory of vector bundles on $P^2$ and to generalize this construction along the lines of the said theory.


title: Recovering of curves with involution by extended Prym data

abstract: With every smooth, projective algebraic curve $\tilde{C}$ with involution $\sigma :\tilde{C}\longrightarrow \tilde{C}$ without fixed points is associated the Prym data which consists of the Prym variety $P:=(1-\sigma )J(\tilde{C})$ with principal polarization $\Xi$ such that $2\Xi$ is algebraically equivalent to the restriction on $P$ of the canonical polarization $\Theta $ of the Jacobian $J(\tilde{C})$. In contrast to the classical Torelli theorem the Prym data does not always determine uniquely the pair $(\tilde{C},\sigma )$ up to isomorphism. In this paper we introduce an extension of the Prym data as follows. We consider all symmetric theta divisors $\Theta $ of $J(\tilde{C})$ which have even multiplicity at every point of order 2 of $P$. It turns out that they form three $P_2$ orbits. The restrictions on $P$ of the divisors of one of the orbits form the orbit $\{ 2\Xi \} $, where $\Xi $ are the symmetric theta divisors of $P$. The other restrictions form two $P_2$-orbits $O_1,O_2\subset \mid 2\Xi \mid $. The extended Prym data consists of $(P,\Xi )$ together with $O_1,O_2$. We prove that it determines uniquely the pair $(\tilde{C} ,\sigma )$ up to isomorphism provided $g(\tilde{C})\geq 3$. The proof is analogous to Andreotti's proof of Torelli's theorem and uses the Gauss map for the divisors of $O_1,O_2$. The result is an analog in genus $>1$ of a classical theorem for elliptic curves.


title: Compactifications of moduli spaces inspired by mirror symmetry

abstract: We study moduli spaces of nonlinear sigma-models on Calabi-Yau manifolds, using the one-loop semiclassical approximation. The data being parameterized includes a choice of complex structure on the manifold, as well as some ``extra structure'' described by means of classes in H^2. The expectation that this moduli space is well-behaved in these ``extra structure'' directions leads us to formulate a simple and compelling conjecture about the action of the automorphism group on the K\"ahler cone. If true, it allows one to apply Looijenga's ``semi-toric'' technique to construct a partial compactification of the moduli space. We explore the implications which this construction has concerning the properties of the moduli space of complex structures on a ``mirror partner'' of the original Calabi-Yau manifold. We also discuss how a similarity which might have been noticed between certain work of Mumford and of Mori from the 1970's produces (with hindsight) evidence for mirror symmetry which was available in 1979. [The author is willing to mail hardcopy preprints upon request.]


title: A General Noether-Lefschetz Theorem and applications

abstract: In this paper we generalize the classical Noether-Lefschetz Theorem to arbitrary smooth projective threefolds. Let $X$ be a smooth projective threefold over complex numbers, $L$ a very ample line bundle on $X$. Then we prove that there is a positive integer $n_0(X,L)$ such that for $n \geq n_0(X,L)$, the Noether-Lefschetz locus of the linear system $H^0(X,L^n)$ is a countable union of proper closed subvarieties of $\P(H^0(X,L^n)^*)$ of codimension at least two. In particular, the {\em general singular member} of the linear system $H^0(X,L^n)$ is not contained in the Noether-Lefschetz locus. As an application of our main theorem we prove the following result: Let $X$ be a smooth projective threefold, $L$ a very ample line bundle. Assume that $n$ is very large. Let $S=\P(H^0(X,L^n)^*)$, let $K$ denote the function field of $S$. Let ${\cal Y}_K$ be the generic hypersurface corresponding to the sections of $H^0(X,L^n)$. Then we show that the natural map on codimension two cycles $$ CH^2(X_{\C}) \to CH^({\cal Y}_K) $$ is injective. This is a weaker version of a conjecture of M. V. Nori, which generalises the Noether-Lefschetz theorem on codimension one cycles on a smooth projective threefolds to arbitrary codimension


title: A Finiteness Theorem for Elliptic Calabi-Yau Threefolds

abstract: We prove that up to birational equivalence, there exists only a finite number of families of Calabi-Yau threefolds (i.e. a threefold with trivial canonical class and factorial terminal singularities) which have an elliptic fibration to a rational surface. This strengthens a result of B. Hunt that there are only a finite number of possible Euler characteristics for such threefolds.


title: Log contractions and equidimensional models of elliptic threefolds

abstract: This work was initially motivated by Miranda's work on elliptic Weierstrass threefolds. Miranda [Mi] describes a smooth equidimensional (flat) model for any elliptic Weierstrass threefold; such models occur naturally in the study of moduli spaces. In this paper we use minimal model theory to link birational maps of log surfaces (log contractions) to equidimensional fibrations of elliptic threefolds. As a corollary we show that an elliptic fibration of positive Kodaira dimension has a minimal model with an equidimensional birationally equivalent elliptic fibration satisfying certain good properties that naturally generalize the case of elliptic fibrations of surfaces. We apply the results to the case of Weierstrass models and give a global explanation of Miranda's algorithm.


title: Kodaira energies of polarized log varieties

abstract: Let L be an ample line bundle on a log variety (V, D) having only log terminal singularities.The Kodaira energy of such a triple (V, D, L) is defined as follows: \kappa\epsilon=-Inf{t\in Q | K(V,D)+tL is big}. Here K(V,D)=K_V+D is the log canonical bundle of (V,D) and "big" means \kappa=dim V. We first show that the rationality of \kappa\epsilon, when it is negative, follows from log Flip theorems (thus it is proved for dim V\le 3 at present). Second we consider the case in which D=0, dim V=3 and V has only terminal singularities. Let S be the set of all the possible values of Kodaira energies of such polarized log threefolds. We prove that S has no negative limit point. This result is closely related to the boundedness of Fano 3-folds.


title: Inequality of Bogomolov-Gieseker's type on arithmetic surfaces

abstract: Let K be an algebraic number field, O_K the ring of integers of K, and f : X --> Spec(O_K) an arithmetic surface. Let (E, h) be a rank r Hermitian vector bundle on X such that $E$ is semistable on the geometric generic fiber of f. In this paper, we will prove an arithmetic analogy of Bogomolov-Gieseker's inequality: c_2(E, h) - (r-1)/(2r) c_1(E, h)^2 >= 0.


title: The Noether exponent and Jacobi formula

abstract: For any polynomial mapping $F=(F_1,\dots ,F_n)$ of $\Cal C^n$ with a finite number of zeros we define the Noether exponent $\nu(F)$. We prove the Jacobi formula for all polynomials of degree strictly less than $\sum_{i=1}^n (\deg F_i-1)-\nu(F)$.


title: An inequality for polynomial mappings

abstract: We give an estimate of the growth of a polynonial mapping of $C^n$.


title: Injectivity on one line

abstract: Let $k$ be an algebraically closed field of characteristic zero. Let $H:k^2\to k^2$ be a polynomial mapping such that the Jacobian $\text{Jac}\,H$ is a non-zero constant. In this note we prove, that if there is a line $l \subset k^2$ such that $H|_l:l\to k^2$ is an injection, then $H$ is a polynomial automorphism.


title: On the approximate roots of polynomials

abstract: We give a simplified approach to the Abhyankar--Moh theory of approximate roots. Our considerations are based on properties of the intersection multiplicity of local curves.


title: Finding Sparse Systems of Parameters

abstract: For several computational procedures such as finding radicals and Noether normalizations, it is important to choose as sparse as possible a system of parameters in a polynomial ideal or modulo a polynomial ideal. We describe new strategies for these tasks, thus providing solutions to problems (1) and (2) posed in [Eisenbud-Huneke-Vasconcelos 1992].


title: On the fundamental group of an abelian cover

abstract: We study the behaviour of the topological fundamental group under totally ramified abelian covers (a special case of abelian Galois covers) of complex projective varieties of dimension at least 2.


title: A Kaehler Structure on the Space of String World-Sheets

abstract: Let (M,g) be an oriented Lorentzian 4-manifold, and consider the space S of oriented, unparameterized time-like 2-surfaces in M (string world-sheets) with fixed boundary conditions. Then the infinite-dimensional manifold S carries a natural complex structure and a compatible (positive-definite) Kaehler metric h on S determined by the Lorentz metric g. Similar results are proved for other dimensions and signatures, thus generalizing results of Brylinski regarding knots in 3-manifolds. Generalizing the framework of Lempert, we also investigate the precise sense in which S is an infinite-dimensional complex manifold.


title: The automorphism group of the moduli space of semi stable vector bundles

abstract: Let ${\cal S}{\cal U}(r, L_0)$ denote the moduli space of semi stable vector bundles of rank $r$ and fixed determinant $L_0$ of degree $d$ on a smooth curve $C$ of genus $g \geq 3$. In this paper we describe the group of automorphisms of $ {\cal S}{\cal U}(r, L_0) $. The analogue of this result is carried out for the space ${\cal U}(r,d) $ of semi stable vector bundles of rark $r$ and degree $d$. As an application of the technics we use, we give in the appendix at the end of the paper a proof of the Torelli theorem for the moduli spaces ${\cal S}{\cal U}(r, L_0) $ for any rank $r$ and degree $d$.


title: Picard groups of Hilbert schemes of curves

abstract: We calculate the Picard group, over the integers, of the Hilbert scheme of smooth, irreducible, non-degenerate curves of degree $d$and genus $g \geq 4$ in ${\Bbb P}^r$, in the case when $d \geq 2g+1 $ and $r \leq d-g$. We express the classes of the generators in terms of some ``natural'' divisor classes.


title: Linear Structure on Calabi-Yau Moduli Spaces

abstract: We show that the formal moduli space of a Calabi-Yau manifold $X^n$ carries a linear structure, as predicted by mirror symmetry. This linear structure is canonically associated to a splitting of the Hodge filtration on $H^n(X)$.


title: Very ample linear systems on abelian varieties

abstract: Let $(X,L)$ be a polarized complex abelian variety of dimension $g$ where $L$ is a polarization of type $(1,...,1,d)$. For $(X,L)$ genberic we prove the following: (1) If $d \ge g+2$, then $\phi_L\colon X \to {\bf P}^{d-1}$ defines a birational morphism onto its image. (2) If $d > 2^g$, then $L$ is very ample. We show the latter by checking it on a suitable rank-$(g-1)$-degeneration.


title: Gromov Invariants for Holomorphic Maps from Riemann Surfaces to Grassmannians

abstract: Two compactifications of the space of holomorphic maps of fixed degree from a compact Riemann surface to a Grassmannian are studied. It is shown that the Uhlenbeck compactification has the structure of a projective scheme and is dominated by the algebraic compactification arising as a Grothendieck Quot scheme. The latter may be embedded into the moduli space of solutions to a generalized version of the vortex equations studied by Bradlow. This gives an effective way of computing certain intersection numbers (known as Gromov invariants) on the space of holomorphic maps into Grassmannians. We carry out these computations in the case where the Riemann surface has genus one.


title: Bogomolov Instability and Kawamata-Viehweg Vanishing

abstract: The purpose of this note is to show how the Kawamata-Viehweg vanishing theorem for fractional divisors leads to a quick new proof of Bogomolov's instability theorem for rank two vector bundles on an algebraic surface.


title: Trisecant Lines And Jacobians, II

abstract: Let $\Theta$ be a symmetric theta divisor on an indecomposable principally polarized complex abelian variety $X$. The linear system $|2\Theta |$ defines a morphism $K:X\ra |2\Theta |^*$, whose image is the Kummer variety $K(X)$ of $X$. When $(X,\theta)$ is the Jacobian of an algebraic curve, there are infinitely many trisecants lines to $K(X)$. Welters has conjectured that the existence of one trisecant line to the Kummer variety should characterize Jacobians. The purpose of this article is to show the following weak version of Welters conjecture: $X$ is a Jacobian if and only if there exist points $a,b,c$ of $X$ such that (i) the subgroup of $X$ generated by $a-b$ and $b-c$ is dense in $X$, (ii) the points $K(a)$, $K(b)$ and $K(c)$ are distinct and collinear. This improves on previous results obtained by the author (Trisecant Lines And Jacobians, J. Alg. Geom. 1 (1992), 5--14). Various degenerate cases of the conjecture are also considered.


title: Distribution of Energy Levels of a Quantum Free Particle on a Surface of Revolution

abstract: We prove that the error term $\La(R)$ in the Weyl asymptotic formula $$\#\{ E_n\le R^2\}={\Vol M\over 4\pi} R^2+\La(R),$$ for the Laplace operator on a surface of revolution $M$ satisfying a twist hypothesis, has the form $\La(R) =R^{1/2}F(R)$ where $F(R)$ is an almost periodic function of the Besicovitch class $B^2$, and the Fourier series of $F(R)$ in $B^2$ is $\sum_\g A(\g)\cos(|\g|R-\phi)$ where the sum goes over all closed geodesics on $M$, and $A(\g)$ is computed through simple geometric characteristics of $\g$. We extend this result to surfaces of revolution, which violate the twist hypothesis and satisfy a more general Diophantine hypothesis. In this case we prove that $\La(R)=R^{2/3}\Phi(R)+R^{1/2}F(R)$, where $\Phi(R)$ is a finite sum of periodic functions and $F(R)$ is an almost periodic function of the Besicovitch class $B^2$. The Fourier series of $\Phi(R)$ and $F(R)$ are computed.


title: Classification of smooth congruences with a fundamental curve

abstract: We give a classification and a construction of all smooth $(n-1)$-dimensional varieties of lines in ${\bf P}\sp n$ verifying that all their lines meet a curve. This also gives a complete classification of $(n-1)$-scrolls over a curve contained in $G(1,n)$.


title: On stability of tangent bundles of Fano manifolds with b_2=1

abstract: In the present paper we discuss stability of the tanget bundle of a Fano n-fold of index >= n-2 and b_2=1. For example, we prove that all Fano 4-folds with b_2=1 have stable tangent bundle. For this purpose we prove some vanishing theorems for sheaves of twisted holomorphic forms on ample divisors and cyclic coverings of manifolds having "special cohomology".


title: On the Hodge Structure of Projective Hypersurfaces in Toric Varieties

abstract: This paper generalizes classical results of Griffiths, Dolgachev and Steenbrink on the cohomology of hypersurfaces in weighted projective spaces. Given a $d$-dimensional projective simplicial toric variety $P$ and an ample hypersurface $X$ defined by an polynomial $f$ in the homogeneous coordinate ring $S$ of $P$ (as defined in an earlier paper of the first author), we show that the graded pieces of the Hodge filtration on $H^d(P - X)$ are naturally isomorphic to certain graded pieces of $S/J(f)$, where $J(f)$ is the Jacobian ideal of $f$. We then discuss how this relates to the primitive cohomology of $X$. Also, if $T$ is the torus contained in $X$, then the intersection of $X$ and $T$ is an affine hypersurface in $T$, and we show how recent results of the second author can be stated using various ideals in the ring $S$. To prove our results, we must give a careful description (in terms of $S$) of $d$-forms and $(d-1)$-forms on the toric variety $P$. For completeness, we also provide a proof of the Bott-Steenbrink-Danilov vanishing theorem for simplicial toric varieties. Other topics considered in the paper include quasi-smooth hypersurfaces and $V$-submanifolds, the structure of the complement of $U$ when $P$ is represented as the quotient of an open subset $U$ of affine space, a generalization of the Euler exact sequence on projective space, and the relation between graded pieces of $R/J(f)$ and the moduli of ample hypersurfaces in $P$.


title: Localization for nonabelian group actions

abstract: Suppose $X$ is a compact symplectic manifold acted on by a compact Lie group $K$ (which may be nonabelian) in a Hamiltonian fashion, with moment map $\mu: X \to {\rm Lie}(K)^*$ and Marsden-Weinstein reduction $\xred = \mu^{-1}(0)/K$. There is then a natural surjective map $\kappa_0$ from the equivariant cohomology $H^*_K(X) $ of $X$ to the cohomology $H^*(\xred)$. In this paper we prove a formula (Theorem 8.1, the residue formula) for the evaluation on the fundamental class of $\xred$ of any $\eta_0 \in H^*(\xred)$ whose degree is the dimension of $\xred$, provided that $0$ is a regular value of the moment map $\mu$ on $X$. This formula is given in terms of any class $\eta \in H^*_K(X)$ for which $\kappa_0(\eta ) = \eta_0$, and involves the restriction of $\eta$ to $K$-orbits $KF$ of components $F \subset X$ of the fixed point set of a chosen maximal torus $T \subset K$. Since $\kappa_0$ is


title: Vector bundles and $SO(3)$ invariants for elliptic surfaces I

abstract: This paper is the first in a series of three devoted to the smooth classification of simply connected elliptic surfaces. The method is to compute some coefficients of Donaldson polynomials of $SO(3)$ invariants whose second Stiefel-Whitney class is transverse to the unique primitive class $\kappa$ such that a positive multiple of $\kappa$ is the class of a general fiber on the surface. In this paper, we collect preliminary results on elliptic surfaces and vector bundles and give the general outline of the argument.


title: Vector bundles and $SO(3)$ invariants for elliptic surfaces II: The case of even fiber degree

abstract: This paper is the second in a series of three devoted to the smooth classification of simply connected elliptic surfaces. In this paper, we study the case where one of the multiple fibers has even multiplicity, and describe the moduli space of stable rank two vector bundles with the appropriate first Chern class needed to calculate Donaldson polynomials. The analysis is in many ways parallel to the analysis in the case of vector bundles of trivial determinant, but the asymmetry between the multiplicities also appears in the moduli space. In this way, the first coefficient of an appropriate Donaldson polynomial determines one of the multiplicities.


title: Arithmetic Bogomolov-Gieseker's inequality

abstract: Let f : X --> Spec(Z) be an arithmetic variety of dimension d >= 2 and (H, k) an arithmetically ample Hermitian line bundle on X. Let (E, h) be a rank r vector bundle on X. In this paper, we will prove that if E is semistable with respect to H on each connected component of the infinite fiber of X, then { c_2(E, h) - (r-1)/(2r) c_1(E, h)^2 } c_1(H, k)^{d-2} >= 0. Moreover, if the equality of the above inequality holds, then E is projectively flat and h is a weakly Einstein-Hermitian metric.


title: Duistermaat-Heckman measures in a non-compact setting

abstract: We prove a \dh type formula in a suitable non-compact setting. We use this formula to evaluate explicitly the pushforward of the Liouville measure via the moment map of both an abelian and a non-abelian group action. As an application we obtain the classical analogues of well-known multiplicity formulas for the holomorphic discrete series representations.


title: Boundary of the Picard Group of a Singular Curve

abstract: In this work we explore the boundary of the jacobian of a singular curve in the compactified picard group. We formulate a functor that helps to determine this boundary and show that this functor is representable. We try to dertermine the points on the boundary.


title: Compactified Jacobian of some Singular Curves

abstract: We look at the decomposition of the compactified jacobian of a singular curve into components and discuss some examples.


title: Hyperholomorphic bundles

abstract: Hyperholomorphic bundle is a bundle with connection defined over a hyperkaehler manifold such that this connection is holomorphic with respect to all complex structures induced by a hyperkaehler structure. A hyperholomorphic connection is Yang-Mills. If a stable bundle has first two Chern classes invariant with respect to ${\Bbb H}$, then it admits a hyperholomorphic connection. Deformation spaces of hyperholomorphic bundles are hyperkaehler. There are no higher obstructions to a deformation besides Ioneda product. This deformation space does not depend on a base manifold.


title: Hyperkaehler and holomorphic symplectic geometry

abstract: We prove that all complex analytic subvarieties of a generic compact hyperkaehler manifold are even-dimensional. Moreover, these subvarieties are holomorphically symplectic.


title: Generalized Hypergeometric Functions and Rational Curves on Calabi-Yau Complete Intersections in Toric Varieties

abstract: We formulate general conjectures about the relationship between the A-model connection on the cohomology of a $d$-dimensional Calabi-Yau complete intersection $V$ of $r$ hypersurfaces $V_1, \ldots, V_r$ in a toric variety ${\bf P}_{\Sigma}$ and the system of differential operators annihilating the special hypergeometric function $\Phi_0$ depending on the fan $\Sigma$. In this context, the Mirror Symmetry phenomenon can be interpreted as the following twofold characterization of the series $\Phi_0$. First, $\Phi_0$ is defined by intersection numbers of rational curves in ${\bf P}_{\Sigma}$ with the hypersurfaces $V_i$ and their toric degenerations. Second, $\Phi_0$ is the power expansion near a boundary point of the moduli space of the monodromy invariant period of the holomorphic differential $d$-form on an another Calabi-Yau $d$-fold $V'$ which is called Mirror of $V$. Using the generalized hypergeometric series, we propose a general construction for Mirrors $V'$ of $V$ and canonical $q$-coordinates on the moduli spaces of Calabi-Yau manifolds.


title: On the Griffiths group of the cubic sevenfold

abstract: We prove that the Griffiths group of 3-cycles homologous to zero modulo algebraic equivalence, on a generic hypersurfaces of dimension 7 and degree 3 is not finitely generated, even when tensored with Q. Using this and a result of Nori, we give examples of varieties for which some Griffiths group is not finitely generated (modulo torsion) but whose corresponding intermediate Jacobian is trivial.


title: The Euler Series of Restricted Chow Varieties

abstract: Let X be an algebraic projective variety in {\bf P}^n. Denote by {\cal C}_{\lambda} the space of all effective cycles on X whose homology class is \lambda \in H_{2p} (X,{\bf Z}). It is easy to show that {\cal C}_{\lambda} is an algebraic projective variety. Let \chi ({\cal C}_{\lambda} be its Euler characteristic. Define the Euler series of X by E_{p} = \sum_{\lambda\in{C}} \, \chi({\cal C}_{\lambda} \lambda \in \, {\bf Z}[[C]] where {\bf Z}[[C]] is the full algebra over {\bf Z} of the monoid C of all homology classes of effective p-cyles on X. This algebra is the ring of function (with respect the convolution product) over C. Denote by {\bf Z}[C] the ring of functions with finite support on C. We say that an element of {\bf Z}[[C]] is rational if it is the quotient of two elements in {\bf Z}[C]. If a basis for homology is fixed we can associated to any rationa element a rational function and therefore compute the Euler characteristic of {\cal C}_{\lambda}. We prove that E_p is rational for any projective variety endowed with an algebraic torus action in such a way that there are finitely many irreducible invariant subvarieties. If it is smooth we also define the equivariant Euler series and proved it is rational, we relate both series and compute some classical examples. The projective space {\bf P}^n, the blow up of {\bf P}^n at a point, Hirzebruch surfaces, the product of {\bf P}^n with {\bf P}^m.


title: Some remarks on the Kronheimer-Mrowka classes of algebraic surfaces

abstract: Define the Donaldson series of a simply connected 4-manifold by q(X) = \sum_d q_d(X)/d! Recently Kronheimer and Mroka have announced the result that the Donaldson series of so called simple 4-manifolds can be written as q(X) = e^{Q/2}\sum_{i=1}^p a_i e^{K_i} where $Q$ is the intersection form and the $K_i \in H^2(X,\Z)$ are the {\it Kronheimer-Mrowka classes}. We prove that for simple simply connected algebraic surfaces the $K_i$ are algebraic classes and that they are closely related to the canonical class $K_X$. For simple simply connected minimal surfaces of general type we prove $K_i^2 \le K_X^2$ with equality if and only if $K_i = \pm K_X$. Remark: although no gauge theory is used in this paper it should have a cross reference with the as yet non existent e-print service for low dimensional topology.


title: Vector bundles and $SO(3)$ invariants for elliptic surfaces III: The case of odd fiber degree

abstract: This paper, the last in a series of three, studies vector bundles on an elliptic surface whose determinant has odd intersection number with a general fiber and uses this study to calculate certain coefficients of Donaldson polynomials.


title: The existence of higher logarithms

abstract: In this paper we prove the existence of all higher logarithms as multivalued and ordinary Deligne cohomology classes.


title: Unobstructedness of Calabi-Yau OrbiKleinfolds

abstract: We show that Calabi-Yau spaces with certain types of hypersurface- quotient singularities have unobstructed deformations. This applies in particular to all Calabi-Yau orbifolds nonsingular in codimension 2.


title: Theoremes de connexites et varietes abeliennes

abstract: We prove a connexity theorem for abelian varieties in characteristic $0$: if $X$ is an abelian variety and $V\rightarrow X$ and $W\rightarrow X$ two morphisms, then, under certain hypotheses, the fiber product of $V$ and $W$ over $X$ is connected. This theorem has several consequences: the algebraic fundamental groups of a simple abelian variety $X$ and of a normal subvariety $V$ of $X$ of dimension $> dim(X)/2$ are isomorphic. The same holds when $V$ is a finite cover of degree $\le dim(X)$ of $X$. (The only difference between this replacement and the original submission is that one of the conjectures is now proved).


title: A family of \'etale coverings of the affine line

abstract: In the note we construct a family of \'etale coverings of the affine line. More specifically, let $F$ be a finite field of characteristic $p$ and suppose that the cardinality of $F$ is at least 4. Let $A = F[T]$ be the polynomial ring in one variable $T$, $K=F(T)$. Let $K_\infty$ be the completion of $K$ along the valuation given by $1/T$, and let $C$ be the completion of the algebraic closure of $K_\infty$. We prove in this note that there is a continous surjection $$\pi_1^{alg}(\A^1_C) \to \lim_{\leftarrow \atop I} SL_2( A/I )/{\pm 1},$$ where $\pi_1^{alg}(\A^1_C)$ is the algebraic fundamental group of the affine line over $C$, and the inverse limit on the right (above) is taken over all nonzero proper ideals in $A=F[T]$. We use the theory of Drinfel'd modular curves to obtain these coverings.


title: Conformal blocks and generalized theta functions

abstract: Let M(r) be the moduli space of rank r vector bundles with trivial determinant on a Riemann surface X . This space carries a natural line bundle, the determinant line bundle L . We describe a canonical isomorphism of the space of global sections of L^k with a space known in conformal field theory as the ``space of conformal blocks", which is defined in terms of representations of the Lie algebra sl(r, C((z))).


title: Generic Singularities of Holomorphic Foliations

abstract: A holomorphic foliation is defined as an integrable coherent subsheaf of the tangent sheaf. The structure of the leaves around a singularity is read off from the structure of the stalks. This was done by Baum when the dimension of the singular set is one less than the leaf dimension. In this article we study the general case and construct some examples.


title: Differential-geometric methods for the lifting problem and linear systems on plane curves

abstract: Let $X$ be an integral projective variety of codimension two, degree $d$ and dimension $r$ and $Y$ be its general hyperplane section. The problem of lifting generators of minimal degree $\sigma$ from the homogeneous ideal of $Y$ to the homogeneous ideal of $X$ is studied. A conjecture is given in terms of $d$, $r$ and $\sigma$; it is proved in the cases $r=1,2,3$. A description is given of linear systems on smooth plane curves whose dimension is almost maximal.


title: Conic bundles in projective fourspace

abstract: P. Ellia and G.Sacchiero have shown that if $S$ is a smooth surface in $\Pn 4$ which is ruled in conics, then $S$ has degree 4 or 5. In this paper we give a proof of this result combining the ideas of Ellia and Sacchiero as they are used in the paper of the second author on plane curve fibrations and the recent work of G. Fl\o ystad and the first author bounding the degree of smooth surfaces in $\Pn 4$ not of general type.