title: Holonomic approximation and Gromov's h-principle

abstract: In 1969 M. Gromov in his PhD thesis greatly generalized Smale-Hirsch-Phillips immersion-submersion theory by proving what is now called the h-principle for invariant open differential relations over open manifolds. Gromov extracted the original geometric idea of Smale and put it to work in the maximal possible generality. Gromov's thesis was brought to the West by A. Phillips and was popularized in his talks. However, most western mathematicians first learned about Gromov's theory from A. Haefliger's article. The current paper is devoted to the same subject as the papers of Gromov and Haefliger. It seems to us that we further purified Smale-Gromov's original idea by extracting from it a simple but very general theorem about holonomic approximation of sections of jet-bundles (see Theorem 1.2.1 below). We show below that Gromov's theorem as well as some other results in the h-principle spirit are immediate corollaries of Theorem 1.2.1.


title: Asymptotic Size Ramsey Results for Bipartite Graphs

abstract: We investigate size Ramsey numbers involving bipartite graphs. It is proved that, if each forbidden graph is fixed or grows with n (in a certain uniform manner), then the extremal function has a linear asymptotics. The corresponding slope can be obtained as the minimum of a certain mixed integer program. Applying the Farkas Lemma, we solve the MIP for complete bipartite graphs, in particular answering a question of Erdos, Faudree, Rousseau and Schelp (1978) who asked for the asymptotics of the size Ramsey number of (K_{s,n},K_{s,n}) for fixed s and large n.


title: Projective manifolds with splitting tangent bundles, I

abstract: We investigate the universal cover of projective threefolds whose tangent bundle is a direct sum of subbundles in case the Kodaira dimension is not 1 and 2. We also prove results on Fano manifolds with splitting tangent bundles in any dimension.


title: Isometric shifts and metric spaces

abstract: Let M be a complete metric space. It is proved that if the space or scalar-valued bounded continuous functions on M admits an isometric shift, then M is separable.


title: Bicomplex algebra and function theory

abstract: This treatise investigates holomorphic functions defined on the space of bicomplex numbers introduced by Segre. The theory of these functions is associated with Fueter's theory of regular, quaternionic functions. The algebras of quaternions and bicomplex numbers are developed by making use of so-called complex pairs. Special attention is paid to singular bicomplex numbers that lack an inverse. The elementary bicomplex functions are defined and their properties studied. The derivative of a bicomplex function is defined as the limit of a fraction with nonsingular denominator. The existence of the derivative amounts to the validity of the complexified Cauchy-Riemann equations, which characterize the holomorphic bicomplex functions. It is proved that such a function has derivatives of all orders. The bicomplex integral is defined as a line integral. The condition for path independence and the bicomplex generalizations of Cauchy's theorem and integral formula are given. Finally, the relationship between the bicomplex functions and different forms of the Laplace equation is considered. In particular, the four-dimensional Laplace equation is factorized using quaternionic differential operators. The outcome is new classes of bicomplex functions including Fueter's regular functions. It is shown that each class contains differentiable functions.


title: Generating functions for intersection numbers on moduli spaces of curves

abstract: Using the connection between intersection theory on the Deligne-Mumford spaces and the edge scaling of the GUE matrix model (see math.CO/9903176, math.AG/0101147), we express the n-point functions for the intersection numbers as n-dimensional error-function-type integrals and also give a derivation of Witten's KdV equations using the higher Fay identities of Adler, Shiota, and van Moerbeke.


title: Computer Algebra of Vector Bundles, Foliations and Zeta Functions and a Context of Noncommutative Geometry

abstract: We present some methods and results in the application of algebraic geometry and computer algebra to the study of algebraic vector bundles, foliations and zeta functions. A connection of the methods and results with noncommutative geometry will be consider.


title: Well-posedness and global attractors for liquid crystals on Riemannian manifolds

abstract: We study the coupled Navier-Stokes Ginzburg-Landau model of nematic liquid crystals introduced by F.H. Lin, which is a simplified version of the Ericksen-Leslie system. We generalize the model to compact n-dimensional Riemannian manifolds, and show that the system comes from a variational principle. We present a new simple proof for the local well-posedness of this coupled system without using the higher-order energy law. We then prove that this system is globally well-posed and has compact global attractors when the dimension of the manifold M is two.Finally, we introduce the Lagrangian averaged liquid crystal equations, which arise from averaging the Navier-Stokes fluid motion over small spatial scales in the variational principle. We show that this averaged system is globally well-posed and has compact global attractors even when M is three-dimensional.


title: The charge conjugation orbifold $V_{Z\alpha}^{+}$ is rational when $<\alpha,\alpha>/2$ is prime

abstract: We prove that the vertex operator algebra $V_{Z\alpha}^{+}$ is rational if $<\alpha,\alpha>/2$ is a prime integer.


title: Holistic projection of initial conditions onto a finite difference approximation

abstract: Modern dynamical systems theory has previously had little to say about finite difference and finite element approximations of partial differential equations (Archilla, 1998). However, recently I have shown one way that centre manifold theory may be used to create and support the spatial discretisation of \pde{}s such as Burgers' equation (Roberts, 1998a) and the Kuramoto-Sivashinsky equation (MacKenzie, 2000). In this paper the geometric view of a centre manifold is used to provide correct initial conditions for numerical discretisations (Roberts, 1997). The derived projection of initial conditions follows from the physical processes expressed in the PDEs and so is appropriately conservative. This rational approach increases the accuracy of forecasts made with finite difference models.


title: Holomorphic disks and topological invariants for closed three-manifolds

abstract: The aim of this article is to introduce and study certain topological invariants for closed, oriented three-manifolds Y. These groups are relatively Z-graded Abelian groups associated to SpinC structures over Y. Given a genus g Heegaard splitting of Y, these theories are variants of the Lagrangian Floer homology for the g-fold symmetric product of the surface relative to certain totally real subspaces associated to the handlebodies.


title: From PDE Systems and Metrics to Generalized Field Theories

abstract: The paper proved that every $C^2$-solution of a given first order PDEs system, regarded on the jet fibre bundle of order one $J^1(T,M)$, may be viewed as a "generalized harmonic map", via the least squares variational method. Our ideas are structured in the following way: 1) we find a suitable geometrical structure on $J^1(T,M)$ that convert the solutions of the given PDEs system into "generalized harmonic maps"; 2) we build a natural geometry induced by a such PDEs system; 3) we construct a field theory, in a general setting, naturally attached to this PDEs system.


title: A Proof of Desingularization over fields of characteristic zero

abstract: We present a proof of embedded desingularization for closed subschemes which does not make use of Hilbert-Samuel function and avoids Hironaka's notion of normal flatness. This proof, already sketched in [A course on constructive desingularization and equivariance. In {\em Resolution of singularities (Obergurgl, 1997)}, vol. 181 {\em Progr. Math.}, Birkh\"auser, 2000.] page 224, is done by showing that desingularization of a closed subscheme $X$, in a smooth sheme W, is achieved by taking an algorithmic principalization for the ideal $I(X)$, associated to the embedded scheme $X$.


title: Cycles of Bott-Samelson type for taut representations

abstract: Bott and Samuelson constructed explicit cycles representing a basis of the Z_2-homology of the orbits of variationally complete representations of compact Lie groups. As a consequence, all those orbits are taut. We were able to show that an irreducible representation of a compact Lie group, all of whose orbits are taut, is either variationally complete or it is one of the following orthogonal representations (n bigger than or equal to 2): the (standard) x_R (spin) representation of SO(2)xSpin(9); or the (standard) x_C (standard) representation of U(2)xSp(n); or the (standard)^3 x_ H (standard) representation of SU(2)xSp(n). In this paper we will show how to adapt the construction of the cycles of Bott and Samelson to the orbits of these three representations. As a result, they also admit explicit cycles representing a basis of their Z_2-homology and, in particular, this provides another proof of their tautness.


title: A differential analog of a theorem of Chevalley

abstract: In this note a proof of a differential analog of Chevalley's theorem \cite{C} on homomorphism extensions is given. An immediate corollary is a condition of finitenes of extensions of differential algebras and several equivalent definitions of a differentially closed field, including Kolchin's Nullstellensatz.


title: A note on noncommutative interpolation

abstract: In this paper we formulate and solve Nevanlinna-Pick and Carath\'eodory type problems for tensor algebras with data given on the N-dimensional operator unit ball of a Hilbert space. We develop an approach based on the displacement structure theory.


title: Scattering theory for p-forms on hyperbolic real space

abstract: Due to spectral obstructions, a scattering theory in the Lax-Phillips sense for the wave equation for differential p-forms on H^{n+1} cannot be developed. As a consequence, Huygens' principle for the wave equation in this context does not hold. If we restrict the class of forms and we consider the case of coclosed p-forms on H^{n+1}, when n=2p, Huygens' principle does hold and thus in this case incoming and outgoing subspaces can be constructed.


title: The principle of local reflexivity for operator ideals and its implications

abstract: We present a survey of past research activities and current results in constructing a mathematical framework describing the principle of local reflexivity for operator ideals and reveal further applications involving operator ideal products consisting of operators which factor through a Hilbert space.


title: Lax Pairs and Darboux Transformations for Euler Equations

abstract: In this article, we will report the recent developments on Lax pairs and Darboux transformations for Euler equations of inviscid fluids.


title: Realization of the annihilation operator for generalized oscillator-like system by a differential operator

abstract: This work continues the research of generalized Heisenberg algebras connected with several orthogonal polynomial systems. The realization of the annihilation operator of the algebra corresponding to a polynomial system by a differential operator A is obtained. The important special case of orthogonal polynomial systems, for which the matrix of the operator A in $l^2(Z_+)$ has only off-diagonal elements on the first upper diagonal different from zero, is considered. The known generalized Hermite polynomials give us an example of such orthonormal system. The replacement of the usual derivative by q-derivative allows us to use the suggested approach for similar investigation of various "deformed" polynomials.


title: Generalized Hermite polynomials

abstract: The new method for obtaining a variety of extensions of Hermite polynomials is given. As a first example a family of orthogonal polynomial systems which includes the generalized Hermite polynomials is considered. Apparently, either these polynomials satisfy the differential equation of the second order obtained in this work or there is no differential equation of a finite order for these polynomials.


title: A class of non-convex polytopes that admit no orthonormal basis of exponentials

abstract: A conjecture of Fuglede states that a bounded measurable set D, of measure 1, can tile space by translations if and only if the Hilbert space L^2(D) has an orthonormal basis consisting of exponentials exp(i 2 pi lambda x). If D has the latter property it is called spectral. Let D be a polytope with the following property: there is a direction u such that, of all the polytope faces perpendicular to u, the total area of the faces pointing in the positive u direction is more than the total area of the faces pointing in the negative u direction. It is almost obvious that such a polytope D cannot tile space by translation. We prove in this paper that such a domain is also not spectral, which agrees with Fuglede's conjecture.


title: On the Decoupling of the Homogeneous and Inhomogeneous Parts in Inhomogeneous Quantum Groups

abstract: We show that, if there exists a realization of a Hopf algebra $H$ in a $H$-module algebra $A$, then one can split their cross-product into the tensor product algebra of $A$ itself with a subalgebra isomorphic to $H$ and commuting with $A$. This result applies in particular to the algebra underlying inhomogeneous quantum groups like the Euclidean ones, which are obtained as cross-products of the quantum Euclidean spaces $R_q^N$ with the quantum groups of rotation $U_qso(N)$ of $R_q^N$, for which it has no classical analog.


title: On q-analog of McKay correspondence and ADE classification of sl^(2) conformal field theories

abstract: The goal of this paper is to classify ``finite subgroups in U_q sl(2)'' where $q=e^{\pi\i/l}$ is a root of unity. We propose a definition of such a subgroup in terms of the category of representations of U_q sl(2); we show that this definition is a natural generalization of the notion of a subgroup in a reductive group, and that it is also related with extensions of the chiral (vertex operator) algebra corresponding to sl^(2) at level k=l-2. We show that ``finite subgroups in U_q sl(2)'' are classified by Dynkin diagrams of types A_n, D_{2n}, E_6, E_8 with Coxeter number equal to $l$, give a description of this correspondence similar to the classical McKay correspondence, and discuss relation with modular invariants in (sl(2))_k conformal field theory.


title: Free crossed resolutions for graph products of groups

abstract: The category of crossed complexes gives an algebraic model of the category of $CW$-complexes and cellular maps. We explain basic results on crossed complexes which allow the computation of free crossed resolutions of graph products of groups, given free crossed resolutions of the individual groups.


title: P-th powers in mod p cohomology of fibers

abstract: Let $F\hookrightarrow E\twoheadrightarrow B$ be a fibration whose base space $B$ is a finite simply-connected CW-complex of dimension $\leq p$ and whose total space $E$ is a path-connected CW-complex of dimension $\leq p-1$. If $\alpha\in H^{+}(F;\mathbb{F}_p)$ then $\alpha ^{p}=0$.


title: Lie Algebras and Growth in Branch Groups

abstract: We compute the structure of the Lie algebras associated to two examples of branch groups, and show that one has finite width while the other, the ``Gupta-Sidki group'', has unbounded width. This answers a question by Sidki. More precisely, the Lie algebra of the Gupta-Sidki group has Gelfand-Kirillov dimension $\log3/\log(1+\sqrt2)$. We then draw a general result relating the growth of a branch group, of its Lie algebra, of its graded group ring, and of a natural homogeneous space we call "parabolic space", namely the quotient of the group by the stabilizer of an infinite ray. The growth of the group is bounded from below by the growth of its graded group ring, which connects to the growth of the Lie algebra by a product-sum formula, and the growth of the parabolic space is bounded from below by the growth of the Lie algebra. Finally we use this information to explicitly describe the normal subgroups of the "Grigorchuk group". All normal subgroups are characteristic, and the number of normal subgroups of index $2^n$ is odd and is asymptotically $n^{\log_2(3)}$.


title: Density of monodromy actions on non-abelian cohomology

abstract: In this paper we study the monodromy action on the first Betti and de Rham non-abelian cohomology arising from a family of smooth curves. We describe sufficient conditions for the existence of a Zariski dense monodromy orbit. In particular we show that for a Lefschetz pencil of sufficiently high degree the monodromy action is dense.


title: Unitary interpolants and factorization indices of matrix functions

abstract: For an $n\times n$ bounded matrix function $\Phi$ we study unitary interpolants $U$, i.e., unitary-valued functions $U$ such that $\hat U(j)=\hat\Phi(j)$, $j<0$. We are looking for unitary interpolants $U$ for which the Toeplitz operator $T_U$ is Fredholm. We give a new approach based on superoptimal singular values and thematic factorizations. We describe Wiener--Hopf factorization indices of $U$ in terms of superoptimal singular values of $\Phi$ and thematic indices of $\Phi-F$, where $F$ is a superoptimal approximation of $\Phi$ by bounded analytic matrix functions. The approach essentially relies on the notion of a monotone thematic factorization introduced in [AP]. In the last section we discuss hereditary properties of unitary interpolants. In particular, for matrix functions $\Phi$ of class $H^\be+C$ we study unitary interpolants $U$ of class $QC$.


title: Badly approximable matrix functions and canonical factorizations

abstract: We continue studying the problem of analytic approximation of matrix functions. We introduce the notion of a partial canonical factorization of a badly approximable matrix function $\Phi$ and the notion of a canonical factorization of a very badly approximable matrix function $\Phi$. Such factorizations are defined in terms of so-called balanced unitary-valued functions which have many remarkable properties. Unlike the case of thematic factorizations studied earlier in [PY1], [PY2], [PT], [AP1], the factors in canonical factorizations (as well as partial canonical factorizations) are uniquely determined by the matrix function $\Phi$ up to constant unitary factors. We study many properties of canonical factorizations. In particular we show that under certain natural assumptions on a function space $X$ the condition $\Phi\in X$ implies that all factors in a canonical factorization of $\Phi$ belong to the same space $X$. In the last section we characterize the very badly approximable unitary-valued functions $U$ that satisfy the condition $\|H_U\|_{\text e}<1$.


title: BRST-resolution for Principally Graded Wakimoto module of {\hat sl_2}

abstract: BRST-resolution is studied for the principally graded Wakimoto module of {\hat sl_2} recently found in math.QA/0005203. The submodule structure is completely determined and irreducible representations can be obtained as the zero-th cohomology group.


title: Explicit criteria for several types of ergodicity

abstract: The explicit criteria for several types of ergodicity of one-dimensional diffusions or birth-death processes have been found out recently in a surprisingly short period. One of the criteria is for exponential ergodicity of birth-death processes. This problem has been opened for a long time in the study of Markov chains. The survey article explains in details the idea which leads to solve the problem just mentioned. It is interesting that the problem is connected with several branches of mathematics. Some open problems for the further study are also proposed.


title: A Unifying Field in Logics: Neutrosophic Logic, Neutrosophic Set, Neutrosophic Probability and Statistics (fourth edition)

abstract: In this book one makes an introduction to non-standard analysis in the first part, needed to the next four chapters in order to study the neutrosophics: 1. Neutrosophy - a new branch of philosophy. 2. Neutrosophic Logic - a unifying field in logics. 3. Neutrosophic Set - a unifying field in sets. 4. Neutrosophic Probability - a generalization of classical and imprecise probabilities - and Neutrosophic Statistics.


title: Discretization and Moyal brackets

abstract: We give a q-analysis version of a discretization procedure of Kemmoku and Saito leading to an apparently new q-Moyal type bracket.


title: Integral Structures on H-type Lie Algebras

abstract: In this paper we prove that every H-type Lie algebra possesses a basis with respect to which the structure constants are integers. Existence of such an integral basis implies via the Mal'cev criterion that all simply connected H-type Lie groups contain cocompact lattices. Since the Campbell-Hausdorff formula is very simple for two-step nilpotent Lie groups we can actually avoid invoking the Mal'cev criterion and exhibit our lattices in an explicit way. As an application, we calculate the isoperimetric dimensions of H-type groups.


title: Formal structures and representation spaces

abstract: M. Kapranov introduced and studied in math.AG/9802041 the noncommutative formal structure of a smooth affine variety. In this note we show that his construction is a special case of microlocalization and extend it in a functorial way to representation schemes of affine algebras. We describe the formal completion in the case of path algebras of quivers and initiate the study of their finite dimensional representations.


title: Solving the Braid Word Problem Via the Fundamental Group

abstract: The word problem of a group is a very important question. The word problem in the braid group is of particular interest for topologists, algebraists and geometers. In previouse article we have looked at the braid group from a topological point of view, and thus using a new computerized representation of some elements of the fundamental group we gave a solution for its word problem. In this paper we will give an algorithm that will make it possible to transform the new presentation into a syntactic presentation. This will make it possible to computerize the group operation to sets of elements of the fundamental group, which are isomorphic to the braid group. More over we will show that it is sufficient enough to look at the syntactic presentation in order to solve the braid word problem, resulting with a better and faster braid word solution.


title: Hurwitz Equivalence in Braid Group B_3

abstract: In this paper we prove certain Hurwitz equivalence properties of $B_n$. In particular we prove that for $n=3$ every two Artin's factorizations of $\Delta _3 ^2$ of the form $H_{i_1} ... H_{i_6}, \quad F_{j_1} ... F_{j_6}$ (with $i_k, j_k \in \{1,2 \}$) where $\{H_1, H_2 \}, \{F_1, F_2 \}$ are frames, are Hurwitz equivalent. The proof provided here is geometric, based on a newly defined frame type. The results will be applied to the classification of algebraic surfaces up to deformation. It is already known that there exist surfaces that are diffeomorphic to each other but are not deformations of each other (Manetti example). We are constructing a new invariant based on Hurwitz equivalence class of factorization, to distinguish among diffeomorphic surfaces which are not deformation of each other.


title: Quantum Hyperbolic State Sum Invariants of 3-Manifolds

abstract: Any triple $(W,L,\rho)$, where $W$ is a compact closed oriented 3-manifold, $L$ is a link in $W$ and $\rho$ is a flat principal $B$-bundle over $W$ ($B$ is the Borel subgroup of upper triangular matrices of $SL(2,\mc)$), can be encoded by suitable {\it distinguished} and {\it decorated} triangulations ${\cal T}=(T,H,{\cal D})$. For each $\cal T$, for each odd integer $N\geq 3$, one defines a state sum $K_N({\cal T})$, based on the Faddeev-Kashaev quantum dilogarithm at $\omega =\exp(2\pi i/N)$, such that $K_N(W,L,\rho)=K_N({\cal T})$ is a well-defined complex valued invariant. The purely topological, conjectural invariants $K_N(W,L)$ proposed earlier by Kashaev correspond to the special case of the {\it trivial} flat bundle. Moreover, we extend the definition of these invariants to the case of flat bundles on $W\setminus L$ with non necessarily trivial holonomy along the meridians of the link's components, and also to 3-manifolds endowed with a $B$-flat bundle and with \emph{arbitrary} non-spherical parametrized boundary components. We point out some remarkable specializations of the invariants; among these, the so called {\it Seifert-type} invariants, when $W=S^3$: these seem to be good candidates in orther to fully reconduct the Jones polynomials in the main stream of quantum hyperbolic invariants. Finally, we try to set our results against the heuristic backgroud of the Euclidean analytic continuation of (2+1)-quantum gravity with negative cosmological constant, regarded as a gauge theory with the {\it non compact} group SO(3,1) as gauge group.


title: Remarks on a Paper by Y.Caro and R.Yuster on Turan Problem

abstract: Caro and Yuster (Electronic J.Comb 7 (2000)) studied a generalization of the Turan problem, where a certain function (instead of the size) of an F-free graph of order n has to be maximized. We prove that for a wide class of functions the asymptotics of the maximum is given by complete partite graphs.


title: A note on the moving hyperplane method

abstract: We give more precision on the regularity of the domain that is needed to have the monotonicity and symmetry results recently proved by Damascelli and Pacella, result concerning p-Laplace equations. For this purpose, we study the continuity and semicontinuity of some parameters linked with the moving hyperplane method.


title: Problemes variationnels invariants par transformation conforme en dimension 2

abstract: This text proposes geometrical descriptions of all variational problems invariant by conformal transformations in two variables. First a characterisation in terms of C-Finsler manifolds, a suitable generalization of Finsler manifolds, is given. Second Hamiltonian formalisms are explored, with an emphasis on Caratheodory's formalism. Some of these considerations were subsequently developped in papers with Joseph Kouneiher in math-ph/0004020 and math-ph/0010036


title: The Oka principle, lifting of holomorphic maps and removability of intersections

abstract: The paper is related to the author's talk at the Hayama Symposium in Complex Analysis in December 2000. In section 1 we survey results on the Oka principle for sections of holomorphic submersions over Stein manifolds. In section 2 we apply these results to the lifting problem for holomorphic mappings from Stein manifolds, and in section 3 we apply them to the problem of removability of intersections of holomorphic maps from Stein manifolds with closed complex subvarieties of the target space.


title: Yang-Mills measure on compact surfaces

abstract: We construct and study the Yang-Mills measure in two dimensions. According to the informal description given by the physicists, it is a probability measure on the space of connections modulo gauge transformations on a principal bundle with compact structure group. We are interested in the case where the base space of this bundle is a compact orientable surface. The construction of the measure in a discrete setting, where the base space of the fiber bundle is replaced by a graph traced on a surface, is quite well understood thanks to the work of E. Witten. In contrast, the continuum limit of this construction, which should allow to put a genuine manifold as base space, still remains problematic. This work presents a complete and unified approach of the discrete theory and of its continuum limit. We give a geometrically consistent definition of the Yang-Mills measure, under the form of a random holonomy along a wide, intrinsic and natural class of loops. This definition allows us to study combinatorial properties of the measure, like its Markovian behaviour under the surgery of surfaces, as well as properties specific to the continuous setting, for example, some of its microscopic properties. In particular, we clarify the links between the Yang-Mills measure and the white noise and show that there is a major difference between the Abelian and semi-simple theories. We prove that it is possible to construct a white noise using the measure as a starting point and vice versa in the Abelian case but we show a result of asymptotic independence in the semi-simple case which suggests that it is impossible to extract a white noise from the measure.


title: Stable manifolds of holomorphic diffeomorphisms

abstract: We consider stable manifolds of a holomorphic diffeomorphism of a complex manifold. Using a conjugation of the dynamics to a (non-stationary) polynomial normal form, we show that typical stable manifolds are biholomorphic to complex Euclidean space.


title: Degenerations of Prym varieties

abstract: Let $(C,\iota)$ be a stable curve with an involution. Following a classical construction one can define its Prym variety $P$, which in this case turns out to be a semiabelian group variety and usually not complete. In this paper we study the question whether there are ``good'' compactifications of $P$ in analogy to compactified Jacobians. The answer to this question depends on whether we consider degenerations of principally polarized Prym varieties or degenerations with the induced (non-principal) polarization. We describe degeneration data of such degenerations. The main application of our theory lies in the case of degenerations of principally polarized Prym varieties where we ask whether such a degeneration depends on a given one-parameter family containing $(C,\iota)$ or not. This allows us to determine the indeterminacy locus of the Prym map.


title: On a character sum problem of H. Cohn

abstract: Let $f$ be a complex valued function on a finite field $F$ such that $f(0) = 0$, $f(1) = 1$, and $|f(x)| = 1$ for $x \neq 0$. Cohn asked if it follows that $f$ is a nontrivial multiplicative character provided that $\sum_{x \in F} f(x) \bar{f(x+h)} = -1$ for $h \neq 0$. We prove that this is the case for finite fields of prime cardinality under the assumption that the nonzero values of $f$ are roots of unity.


title: Growth of solutions for QG and 2D Euler equations

abstract: We study the rate of growth of sharp fronts of the Quasi-geostrophic equation and 2D incompressible Euler equations.. The development of sharp fronts are due to a mechanism that piles up level sets very fast. Under a semi-uniform collapse, we obtain a lower bound on the minimum distance between the level sets.


title: Scalars convected by a 2D incompressible flow

abstract: We provide a test for numerical simulations, for several two dimensional incompressible flows, that appear to develop sharp fronts. We show that in order to have a front the velocity has to have uncontrolled velocity growth.


title: Using noncommutative Groebner bases in solving partially prescribed matrix inverse completion problems

abstract: We investigate the use of noncommutative Groebner bases in solving partially prescribed matrix inverse completion problems. The types of problems considered here are similar to those in [BLJW]. There the authors gave necessary and sufficient conditions for the solution of a two by two block matrix completion problem. Our approach is quite different from theirs and relies on symbolic computer algebra. Here we describe a general method by which all block matrix completion problems of this type may be analyzed if sufficient computational power is available. We also demonstrate our method with an analysis of all three by three block matrix inverse completion problems with eleven blocks known and seven unknown. We discover that the solutions to all such problems are of a relatively simple form. We then perform a more detailed analysis of a particular problem from the 31,824 three by three block matrix completion problems with eleven blocks known and seven unknown. A solution to this problem of the form derived in [BLJW] is presented. Not only do we give a proof of our detailed result, but we describe the strategy used in discovering our theorem and proof, since it is somewhat unusual for these types of problems.


title: Hypersurface complements, Milnor fibers and higher homotopy groups of arrangements

abstract: We describe a new relation between the topology of hypersurface complements, Milnor fibers and degree of gradient mappings. In particular we show that any projective hypersurface has affine parts which are bouquets of spheres. The main tools are the polar curves and the affine Lefschetz theory developped by H. Hamm, D.T. L\^e and A. N\'emethi. In the special case of the hyperplane arrangements, we strengthen some results due to Orlik and Terao (see Math. Ann. 301(1995)) and obtain the minimality of hyperplane arrangements (see Randell math.AT/0011101 for another proof of this result). This is then used to compute some higher homotopy groups of hyperplane arrangements using the ideas from Papadima-Suciu, see math.AT/0002251. The second version contains applications of the above ideas to the polar Cremona transformations and gives a positive answer to Dolgachev's Conjecture (see Michigan Math. J. 48 (2000), volume dedicated to W. Fulton). The third version corrects some errors and provides new applications.


title: Sharp estimates for Brownian non-intersection probabilities

abstract: This paper gives an accessible (but still technical) self-contained proof to the fact that the intersection probabilities for planar Brownian motion are given in terms of the intersection exponents, up to a bounded multiplicative error, and some closely related results. While most of the results are already known, the proofs are somewhat new, and the paper can serve as a source for the estimates used in our paper on the analyticity of the Brownian intersection exponents (math.PR/0005295).


title: Hypersurfaces in $H^n$ and the space of its horospheres

abstract: A classical theorem, mainly due to Aleksandrov and Pogorelov, states that any Riemannian metric on $S^2$ with curvature $K>-1$ is induced on a unique convex surface in $H^3$. A similar result holds with the induced metric replaced by the third fundamental form. We show that the same phenomenon happens with yet another metric on immersed surfaces, which we call the horospherical metric. This results extends in higher dimension, the metrics obtained are then conformally flat. One can also study equivariant immersions of surfaces or the metrics obtained on the boundaries of hyperbolic 3-manifolds. Some statements which are difficult or only conjectured for the induced metric or the third fundamental form become fairly easy when one considers the horospherical metric. The results concerning the third fundamental form are obtained using a duality between $H^3$ and the de Sitter space $S^3_1$. In the same way, the results concerning the horospherical metric are proved through a duality between $H^n$ and the space of its horospheres, which is naturally endowed with a fairly rich geometrical structure.


title: Special Lagrangian 3-folds and integrable systems

abstract: This is the sixth in a series of papers constructing examples of special Lagrangian m-folds in C^m. We present a construction of special Lagrangian cones in C^3 involving two commuting o.d.e.s, motivated by the first two papers of the series. Then we generalize it to a construction of non-conical special Lagrangian 3-folds in C^3 involving three commuting o.d.e.s. Now special Lagrangian cones in C^3 are linked to the theory of harmonic maps and integrable systems. Harmonic maps from a Riemann surface into complex projective space CP^n are an integrable system, and can be studied and classified using loop group techniques. If N is a special Lagrangian cone in C^3, then N is the cone on the image of a conformal harmonic map \psi : S --> S^5 for some Riemann surface S, and the projection of \psi to CP^2 is also conformal harmonic. Our examples of special Lagrangian cones in C^3 yield conformal harmonic maps \psi : R^2 --> CP^2. We work through the integrable systems theory for these examples, showing that they are superconformal of finite type, and calculating their harmonic sequences, Toda and Tzitzeica solutions, algebra of polynomial Killing fields and spectral curves. We also study the double periodicity conditions for \psi, and so find families of superconformal tori in CP^2. We finish by asking whether our more general construction of special Lagrangian 3-folds can also be derived from a higher-dimensional integrable system, and whether the special Lagrangian equations themselves are in some sense integrable.


title: Invariant Subspaces of the Monodromy

abstract: We show that there are obstructions to the existence of certain types of invariant subspaces of the Milnor monodromy; this places restrictions on the cohomology of Milnor fibres of non-isolated hypersurface singularities.


title: Universal abelian covers of quotient-cusps

abstract: The quotient-cusp singularities are isolated complex surface singularities that are double-covered by cusp singularities. We show that the universal abelian cover of such a singularity, branched only at the singular point, is a complete intersection cusp singularity of embedding dimension 4. This supports a general conjecture that we make about the universal abelian cover of a $\Q$-Gorenstein singularity.


title: Tensor algebras, displacement structure, and the Schur algorithm

abstract: In this paper we explore the connection between tensor algebras and displacement structure. We describe a scattering experiment in this framework, we obtain a realization of the elements of the tensor algebra as transfer maps of a certain class of nonstationary linear systems, and we describe a Schur algorithm for the Schur elements of the tensor algebra.


title: On the Collapse of Tubes Carried by 3D Incompressible Flows

abstract: We povide a test for numerical simulations for the collapse of regular tubes carried by a 3D incompressible flow. In particular, we obtain necessary conditions for 3D Euler to have a vortex tube collapse in finite time.


title: Intersection cohomology of quotients of nonsingular varieties

abstract: The purpose of this paper is to provide a way to compute the intersection cohomology of the GIT quotient of a nonsingular projective variety. We show that the middle perversity intersection cohomology of the GIT quotient $M//G$ is naturally embedded into the $G$ equivariant cohomology of $M^{ss}$ under an assumption satisfied by many interesting spaces. This embedding enables us to compute the intersection pairing in terms of the cup product structure of the equivariant cohomology ring. We also show that the image is a subspace defined by truncation. Overall, we can compute the intersection cohomology as a graded vector space with a nondegenerate pairing.


title: The cosupport axiom, equivariant cohomology and the intersection cohomology of certain symplectic quotients

abstract: Let $M$ be a proper Hamiltonian $K$-space with proper moment map $\mu$. The symplectic quotient $X=\mu^{-1}(0)/K$ is in general a singular stratified space. In this paper we first generalize the Kirwan map to this symplectic setting which maps the $K$ equivariant cohomology of $\mu^{-1}(0)$ to the middle perversity intersection cohomology $IH^*(X)$. Next, we show that there is a natural right inverse of the Kirwan map, under an assumption coming from the cosupport axiom for the intersection homology sheaf. Furthermore, we can identify the subspace of $H^*_K(\mu^{-1}(0))$ which corresponds to $IH^*(X)$. The naturality of the splitting ensures that the intersection pairing corresponds to the cup product on equivariant cohomology. Finally, we show that the same set of ideas can be applied to any circle action and prove similar results without any assumption.


title: Intersection cohomology of representation spaces of surface groups

abstract: We show by studying the symplectic geometry of the extended moduli space that the intersection cohomology of the representation space $Hom(\pi_1(\Sigma),G)/G$ for a simply connected compact Lie group $G$ is naturally embedded into the $G$ equivariant cohomology of $Hom(\pi_1(\Sigma),G)$ where $\Sigma$ is a closed Riemann surface. This enables us to compute the intersection cohomology as a graded vector space with intersection pairing, in terms of the equivariant cohomology ring. The case where $G=SU(2)$ -- the moduli space of rank 2 holomorphic vector bundles of even degree -- is discussed in detail.


title: Eigenvalues, inequalities and ergodic theory

abstract: This paper surveys the main results obtained during the period 1992-1999 on three aspects mentioned at the title. The first result is a new and general variational formula for the lower bound of spectral gap (i.e., the first non-trivial eigenvalue) of elliptic operators in Euclidean space, Laplacian on Riemannian manifolds or Markov chains (\S 1). Here, a probabilistic method-coupling method is adopted. The new formula is a dual of the classical variational formula. The last formula is actually equivalent to Poincar\'e inequality. To which, there are closely related logarithmic Sobolev inequality, Nash inequality, Liggett inequality and so on. These inequalities are treated in a unified way by using Cheeger's method which comes from Riemannian geometry. This consists of \S 2. The results on these two aspects are mainly completed by the author joint with F. Y. Wang. Furthermore, a diagram of the inequalities and the traditional three types of ergodicity is presented (\S 3). The diagram extends the ergodic theory of Markov processes. The details of the methods used in the paper will be explained in a subsequent paper under the same title.


title: Yet another construction of the central extension of the loop group

abstract: We give a characterisation of central extensions of a Lie group G by the non-zero complex numbers in terms of a differential two-form on G and a differential one-form on GxG. This is applied to the case of the central extension of the loop group.


title: The integral representations of the q-Bessel-Macdonald functions

abstract: The q-Bessel-Macdonald functions of kinds 1, 2 and 3 are considered. Their representations by classical integral are constructed.


title: Resultants and Moving Surfaces

abstract: We prove a conjectured relationship among resultants and the determinants arising in the formulation of the method of moving surfaces for computing the implicit equation of rational surfaces formulated by Sederberg. In addition, we extend the validity of this method to the case of not properly parametrized surfaces without base points.


title: Global well-posedness for KdV in Sobolev Spaces of negative index

abstract: The initial value problem for the Korteweg-deVries equation on the line is shown to be globally well-posed for rough data. In particular, we show global well-posedness for initial data in H^s({\mathbb{R}), -3/10<s.


title: A general theory of almost convex functions

abstract: Let $\Delta_m$ be the standard $m$-dimensional simplex of non-negative $m+1$ tuples that sum to unity and let $S$ be a nonempty subset of $\Delta_m$. A real valued function $h$ defined on a convex subset of a real vector space is $S$-almost convex iff for all $(t_0,...,t_m)\in S$ and $x_0,...,x_m\in C$ the inequality h(t_0 x_0+ ... +t_m x_m)\leq 1+ t_0 h(x_0)+ ... +t_m h(x_m) holds. A detailed study of the properties of $S$-almost convex functions is made, including the constriction of the extremal (i.e. pointwise largest bounded) $S$-almost convex function on simplices that vanishes on the vertices. In the special case that $S$ is the barycenter of $\Delta_m$ very explicit formulas are given for the extremal function and its maximum. This is of interest as the extremal function and its maximum give the best constants in various geometric and analytic inequalities and theorems.


title: Global well-posedness for Schr\"odinger equations with derivative

abstract: We prove that the 1D Schr\"odinger equation with derivative in the nonlinear term is globally well-posed in $H^{s}$, for $s>2/3$ for small $L^{2}$ data. The result follows from an application of the ``I-method''. This method allows to define a modification of the energy norm $H^{1}$ that is ``almost conserved'' and can be used to perform an iteration argument. We also remark that the same argument can be used to prove that any quintic nonlinear defocusing Schr\"odinger equation on the line is globally well-posed for large data in $H^{s}$, for $s>2/3$ .


title: Hankel and Toeplitz-Schur Multipliers

abstract: We study the problem of characterizing Hankel-Schur multipliers and Toeplitz-Schur multipliers of Schatten-von Neumann class $\bS_p$ for $0<p<1$. We obtain various sharp necessary conditions and sufficient conditions for a Hankel matrix to be a Schur multiplier of $\bS_p$. We also give a characterization of the Hankel-Schur multipliers of $\bS_p$ whose symbols have lacunary power series. Then the results on Hankel-Schur multipliers are used to obtain a characterization of the Toeplitz-Schur multipliers of $\bS_p$. Finally, we return to Hankel-Schur multipliers and obtain new results in the case when the symbol of the Hankel matrix is a complex measure on the unit circle.


title: Correctors for some nonlinear monotone operators

abstract: In this paper we study homogenization of quasi-linear partial differential equations of the form $-\mbox{div}\left( a\left( x,x/\varepsilon _h,Du_h\right) \right) =f_h$ on $\Omega $ with Dirichlet boundary conditions. Here the sequence $\left( \varepsilon _h\right) $ tends to $0$ as $h\rightarrow \infty $ and the map $a\left( x,y,\xi \right) $ is periodic in $y,$ monotone in $\xi $ and satisfies suitable continuity conditions. We prove that $u_h\rightarrow u$ weakly in $W_0^{1,p}\left( \Omega \right) $ as $h\rightarrow \infty ,$ where $u$ is the solution of a homogenized problem of the form $-\mbox{div}\left( b\left( x,Du\right) \right) =f$ on $\Omega .$ We also derive an explicit expression for the homogenized operator $b$ and prove some corrector results, i.e. we find $\left( P_h\right) $ such that $Du_h-P_h\left( Du\right) \rightarrow 0$ in $L^p\left( \Omega, \mathbf{R}^n\right)$.


title: On bilinear invariant differential operators acting on tensor fields on the symplectic manifold

abstract: Let $M$ be an $n$-dimensional manifold, $V$ the space of a representation $\rho: GL(n)\longrightarrow GL(V)$. Locally, let $T(V)$ be the space of sections of the tensor bundle with fiber $V$ over a sufficiently small open set $U\subset M$, in other words, $T(V)$ is the space of tensor fields of type $V$ on $M$ on which the group $\Diff (M)$ of diffeomorphisms of $M$ naturally acts. Elsewhere, the author classified the $\Diff (M)$-invariant differential operators $D: T(V_{1})\otimes T(V_{2})\longrightarrow T(V_{3})$ for irreducible fibers with lowest weight. Here the result is generalized to bilinear operators invariant with respect to the group $\Diff_{\omega}(M)$ of symplectomorphisms of the symplectic manifold $(M, \omega)$. We classify all first order invariant operators; the list of other operators is conjectural. Among the new operators we mention a 2nd order one which determins an ``algebra'' structure on the space of metrics (symmetric forms) on $M$.


title: Orthogonalization of graded sets of vectors

abstract: I propose an orthogonalization procedure preserving the grading of the initial graded set of linearly independent vectors. In particular, this procedure is applicable for orthonormalization of any countable set of polynomials in several (finitely many) indeterminates.


title: Finite volume flows and Morse theory

abstract: In this paper we present a new approach to Morse theory based on the de Rham-Federer theory of currents. The full classical theory is derived in a transparent way. The methods carry over uniformly to the equivariant and the holomorphic settings. Moreover, the methods are substantially stronger than the classical ones and have interesting applications to geometry. They lead, for example, to formulae relating characteristic forms and singularities of bundle maps.


title: Heights of Heegner points on Shimura curves

abstract: The purpose of this paper is to generalize some results of Gross-Zagier [20] and Kolvyvagin [28] to totally real fields.


title: Period functions for Maass wave forms. I

abstract: Recall that a Maass wave form on the full modular group Gamma=PSL(2,Z) is a smooth gamma-invariant function u from the upper half-plane H = {x+iy | y>0} to C which is small as y \to \infty and satisfies Delta u = lambda u for some lambda \in C, where Delta = y^2(d^2/dx^2 + d^2/dy^2) is the hyperbolic Laplacian. These functions give a basis for L_2 on the modular surface Gamma\H, with the usual trigonometric waveforms on the torus R^2/Z^2, which are also (for this surface) both the Fourier building blocks for L_2 and eigenfunctions of the Laplacian. Although therefore very basic objects, Maass forms nevertheless still remain mysteriously elusive fifty years after their discovery; in particular, no explicit construction exists for any of these functions for the full modular group. The basic information about them (e.g. their existence and the density of the eigenvalues) comes mostly from the Selberg trace formula: the rest is conjectural with support from extensive numerical computations.


title: On the parity of ranks of Selmer groups II

abstract: This paper is the same as ANT-0265, but with a few minor mistakes corrected. Let E be an elliptic curve over Q with good ordinary reduction at a prime p. We show that the parity of the (co)-rank of the p-Selmer group of E is as predicted by the conjecture of Birch and Swinnerton-Dyer.


title: Equivariant characteristic classes in the Cartan model

abstract: This note shows the compatibility of the differential geometric and the topological formulations of equivariant characteristic classes for a compact connected Lie group action.


title: Artin monoids inject in their groups

abstract: We prove that the natural homomorphism from an Artin monoid to its associated Artin group is always injective


title: Fully commutative Kazhdan-Lusztig cells

abstract: We investigate the compatibility of the set of fully commutative elements of a Coxeter group with the various types of Kazhdan-Lusztig cells using a canonical basis for a generalized version of the Temperley-Lieb algebra.


title: The gluing construction for normally generic J-holomorphic curves

abstract: Under an assumption of normal genericity, we show that a stable J-holomorphic curve has, in the space of homologous curves of the same genus, a locally Euclidean neighbourhood of the expected dimension given by Riemann-Roch. In dimension 4, the normal genericity condition is satisfied in by every curve in CP2 (for an almost complex structure homotopic with the standard one) which has only nodes as singularities. This leads in particular to a solution of the symplectic isotopy problem for surfaces of degree 3.


title: Non-commutative $\PP^1$-bundles over commutative schemes

abstract: In this paper we develop the theory of non-commutative $\PP^1$-bundles over commutative (smooth) schemes. Such non-commutative $\PP^1$-bundles occur in the theory of $D$-modules but our definition is more general. We can show that every non-commutative deformation of a Hirzebruch surface is given by a non-commutative $\PP^1$-bundle over $\PP^1$ in our sense.


title: Continued fractions, modular symbols, and non-commutative geometry

abstract: Using techniques introduced by D. Mayer, we prove an extension of the classical Gauss-Kuzmin theorem about the distribution of continued fractions, which in particular allows one to take into account some congruence properties of successive convergents. This result has an application to the Mixmaster Universe model in general relativity. We then study some averages involving modular symbols and show that Dirichlet series related to modular forms of weight 2 can be obtained by integrating certain functions on real axis defined in terms of continued fractions. We argue that the quotient $PGL(2,\bold{Z})\setminus\bold{P}^1(\bold{R})$ should be considered as non-commutative modular curve, and show that the modular complex can be seen as a sequence of $K_0$-groups of the related crossed-product $C^*$-algebras. This paper is an expanded version of the previous "On the distribution of continued fractions and modular symbols". The main new features are Section 4 on non-commutative geometry and the modular complex and Section 1.2.2 on the Mixmaster Universe.


title: Boolean representation of manifolds and functions

abstract: It is shown that a smooth n dimensional manifold with a boundary in R^n admits a Boolean representation in terms of closed half spaces defined by the tangent hyperplanes at the points on its boundary. A similar result is established for smooth functions on closed convex domains in R^n. The latter result is considered as a form of the Legendre transformation.


title: Strictly singular, non-compact operators exist on the space of Gowers and Maurey

abstract: We construct a strictly singular non-compact operator on Gowers' and Maurey's space $GM$.


title: Sur les transformations de contact au-dessus des surfaces

abstract: Let S be a compact surface - or the interior of a compact surface - and let V be the manifold of cooriented contact elements of S equiped with its canonical contact structure. A diffeomorphism of V that preserves the contact structure and its coorientation is called a contact transformation over S. We prove the following results. 1) If S is neither a sphere nor a torus then the inclusion of the diffeomorphism group of S into the contact transformation group is 0-connected. 2) If S is a sphere then the contact transformation group is connected. 3) if S is a torus then the homomorphism from the contact transformation group of S to the automorphism group of $H_1(V) \simeq Z^3$ has connected fibers and the image is (known to be) the stabilizer of $Z^2 \times \{0\}$).


title: Frobenius extensions and weak Hopf algebras

abstract: We study a symmetric Markov extension of k-algebras N \into M, a certain kind of Frobenius extension with conditional expectation that is tracial on the centralizer and dual bases with a separability property. We place a depth two condition on this extension, which is essentially the requirement that the Jones tower N \into M \into M_1 \into M_2 can be obtained by taking relative tensor products with centralizers A = C_{M_1}(N) and B = C_{M_2}(M). Under this condition, we prove that N \into M is the invariant subalgebra pair of a weak Hopf algebra action by A, i.e., that N = M^A. The endomorphism algebra M_1 = \End_N M is shown to be isomorphic to the smash product algebra M # A. We also extend results of Szymanski, Vainerman and the second author, and the authors.


title: Perfectly meager sets and universally null sets

abstract: We will show that there is no ZFC example of a set distinguishing between universally null and perfectly meager sets.


title: p-adic Fourier Theory

abstract: In this paper we generalize work of Amice and Lazard from the early (nineteen) sixties. Amice determined the dual of the space of locally Qp-analytic functions on Zp and showed that it is isomorphic to the ring of rigid functions on the open unit disk over Cp. Lazard showed that this ring has a divisor theory and that the classes of closed, finitely generated, and principal ideals in this ring coincide. We study the space of locally L-analytic functions on the ring of integers in L, where L is a finite extension of Qp. We show that the dual of this space is a ring isomorphic to the ring of rigid functions on a certain rigid variety X. We show that the variety X is isomorphic to the open unit disk over Cp, but not over any discretely valued extension field of L; it is a "twisted form" of the open unit disk. In the ring of functions on X, the classes of closed, finitely generated, and invertible ideals coincide, but unless L=Qp not all finitely generated ideals are principal. The paper uses Lubin-Tate theory and results on p-adic Hodge theory. We give several applications, including one to the construction of p-adic L-functions for supersingular elliptic curves.


title: Computing characteristic numbers using fixed points

abstract: Let G be a compact connected Lie group with maximal torus T, and H a closed subgroup containing T . We work out the Atiyah--Bott--Berline--Vergne localization formula for the homogeneous space G/H under the natural action of the maximal torus T. The computation gives explicit formulas for the ordinary and equivariant characteristic numbers of a homogeneous space.


title: On the product by generators of characteristically nilpotent Lie S-algebras

abstract: We introduce the product by generators of complex nilpotent Lie algebras, which is a commutative product obtained from a central extension of the direct sum of Lie algebras. We show that the product preserves also the characteristic nilpotence provided that the multiplied algebras are $S$-algebras. In particular, this shows the existence of nonsplit characteristically nilpotent Lie algebras $\frak{h}$ such that the quotient $\frac{\dim \frak{h}-\dim Z(\frak{h})}{\dim Z(\frak{h})} $ is as small as wanted.


title: The Local Moduli of Sasakian 3-Manifolds

abstract: The Newman-Penrose-Perjes formalism is applied to Sasakian 3-manifolds and the local form of the metric and contact structure is presented. The local moduli space can be parameterised by a single function of two variables and it is shown that, given any smooth function of two variables, there exists locally a Sasakian structure with scalar curvature equal to this function. The case where the scalar curvature is constant ($\eta$-Einstein Sasakian metrics) is completely solved locally. The resulting Sasakian manifolds include $S^3$, $Nil$ and $\tilde{SL_2R}$, as well as the Berger spheres. It is also shown that a conformally flat Sasakian 3-manifold is Einstein of positive scalar curvature.


title: Parabolic vector bundles and equivariant vector bundles

abstract: Given a complex manifold $X$, a normal crossing divisor $D\subset X$ whose irreducible components $D_1,...,D_s$ are smooth, and a choice of natural numbers $r=(r_1,...,r_s)$, we construct a manifold $X(D,\ur)$ with an action of a torus $\Gamma$ and we prove that some full subcategory of the category of $\Gamma$-equivariant vector bundles on $X(D,r)$ is equivalent to the category of parabolic vector bundles on $(X,D)$ in which the lengths of the filtrations over each irreducible component of $X$ are given by $r$. When $X$ is Kaehler, we study the Kaehler cone of $X(D,r)$ and the relation between the corresponding notions of slope-stability.


title: Descendant invariants and characteristic numbers

abstract: On a stack of stable maps, the psi classes are modified by subtracting certain boundary divisors. These modified psi classes are compatible with forgetful morphisms, and are well-suited to enumerative geometry: tangency conditions allow simple expressions in terms of modified psi classes. Topological recursion relations are established among their top products in genus zero, yielding effective recursions for characteristic numbers of rational curves in any projective homogeneous variety. In higher genus, the obtained numbers are only virtual, due to contributions from spurious components of the space of maps. For the projective plane, the necessary corrections are determined in genus 1 and 2 to give the characteristic numbers in these cases.


title: Boundary Conditions for Singular Perturbations of Self-Adjoint Operators

abstract: Let $A:D(A)\subseteq\H\to\H$ be an injective self-adjoint operator and let $\tau:D(A)\to\X$, X a Banach space, be a surjective linear map such that $\|\tau\phi\|_\X\le c \|A\phi\|_\H$. Supposing that \text{\rm Range}$ (\tau')\cap\H' =\{0\}$, we define a family $A^\tau_\Theta$ of self-adjoint operators which are extensions of the symmetric operator $A_{|\{\tau=0\}.}$. Any $\phi$ in the operator domain $D(A^\tau_\Theta)$ is characterized by a sort of boundary conditions on its univocally defined regular component $\phireg$, which belongs to the completion of D(A) w.r.t. the norm $\|A\phi\|_\H$. These boundary conditions are written in terms of the map $\tau$, playing the role of a trace (restriction) operator, as $\tau\phireg=\Theta Q_\phi$, the extension parameter $\Theta$ being a self-adjoint operator from X' to X. The self-adjoint extension is then simply defined by $A^\tau_\Theta\phi:=A \phireg$. The case in which $A\phi=T*\phi$ is a convolution operator on LD, T a distribution with compact support, is studied in detail.


title: Foundations of a nonlinear distributional geometry

abstract: Co lombeau's construction of generalized functions (in its special variant) is extended to a theory of generalized sections of vector bundles. As particular cases, generalized tensor analysis and exterior algebra are studied. A point value characterization for generalized functions on manifolds is derived, several algebraic characterizations of spaces of generalized sections are established and consistency properties with respect to linear distributional geometry are derived. An application to nonsmooth mechanics indicates the additional flexibility offered by this approach compared to the purely distributional picture.


title: A Homotopy Theory of Orbispaces

abstract: In 1985, physicists Dixon, Harvey, Vafa and Witten studied string theories on Calabi-Yau orbifolds (cf. [DHVW]). An interesting discovery in their paper was the prediction that a certain physicist's Euler number of the orbifold must be equal to the Euler number of any of its crepant resolutions. This was soon related to the so called McKay correspondence in mathematics (cf. [McK]). Later developments include stringy Hodge numbers (cf. [Z], [BD]), mirror symmetry of Calabi-Yau orbifolds (cf. [Ro]), and most recently the Gromov-Witten invariants of symplectic orbifolds (cf. [CR1-2]). One common feature of these studies is that certain contributions from singularities, which are called ``twisted sectors'' in physics, have to be properly incorporated. This is called the ``stringy aspect'' of an orbifold (cf. [R]). This paper makes an effort to understand the stringy aspect of orbifolds in the realm of ``traditional mathematics''.


title: Semiclassical asymptotics and gaps in the spectra of magnetic Schroedinger operators

abstract: In this paper, we study an L2 version of the semiclassical approximation of magnetic Schroedinger operators with invariant Morse type potentials on covering spaces of compact manifolds. In particular, we are able to establish the existence of an arbitrary large number of gaps in the spectrum of these operators, in the semiclassical limit as the coupling constant goes to zero.


title: Convex decomposition theory

abstract: We use convex decomposition theory to (1) reprove the existence of a universally tight contact structure on every irreducible 3-manifold with nonempty boundary, and (2) prove that every toroidal 3-manifold carries infinitely many nonisotopic, nonisomorphic tight contact structures.


title: Discrete versions of the Beckman-Quarles theorem from the definability results of Raphael M. Robinson

abstract: We derive author's discrete forms of the Beckman-Quarles theorem from the definability results of Raphael M. Robinson.


title: Commensurability of 1-cusped hyperbolic 3-manifolds

abstract: We give examples of non-fibered hyperbolic knot complements in homology spheres that are not commensurable to fibered knot complements in homology spheres. In fact, we give many examples of knot complements in homology spheres with the property that every commensurable knot complement in a homology sphere has non-monic Alexander polynomial.


title: Group actions on one-manifolds, II: Extensions of H\"{o}lder's Theorem

abstract: We study groups of homeomorphisms of R, each of whose elements have at most one fixed point. In particular we prove that any such group of C^2 diffeomorphisms is topologically conjugate to an affine group.


title: Groups of homeomorphisms of one-manifolds, III: Nilpotent subgroups

abstract: This paper has been withdrawn by the authors; it will be incorporated into part I of the series (in preparation).


title: Two results on tilings of quadriculated annuli

abstract: We provide a more informal explanation of two results in our manuscript "Tilings of quadriculated annuli". Tilings of a quadriculated annulus $A$ are counted according to volume (in the formal variable q) and flux (in p). The generating function Phi_A(p,q) is such that, for q = -1, the non-zero roots in p are roots of unity and for q > 0, real negative.


title: Co-Frobenius Hopf algebras and the coradical filtration

abstract: We prove that a Hopf algebra with a finite coradical filtration is co-Frobenius, i. e. there is a non-zero integral on it. As a consequence, we show that algebras of functions on quantum groups at roots of one are co-Frobenius. We also characterize co-Frobenius Hopf algebras with coradical a Hopf subalgebra. This characterization is in the framework of the lifting method due to H.-J. Schneider and the first-named author. Here is our main result. Let H be a Hopf algebra whose coradical is a Hopf subalgebra. Let gr H be the associated graded Hopf algebra and let R be the diagram of H. Then the following are equivalent: (1) H is co-Frobenius, (2) gr H is co-Frobenius, (3) R is finite dimensional, (4) the coradical filtration of H is finite. This Theorem allows to construct many new examples of co-Frobenius Hopf algebras and opens the way to the classification of ample classes of such Hopf algebras.


title: Gluing tight contact structures

abstract: We prove gluing theorems for tight contact structures. In particular, we rederive (as special cases) gluing theorems due to Colin and Makar-Limanov, and present an algorithm for determining whether a given contact structure on a handlebody is tight. As applications, we construct a tight contact structure on a genus 4 handlebody which becomes overtwisted after Legendrian -1 surgery, and study certain Legendrian surgeries on T^3.


title: Covering lattice points by subspaces

abstract: We find tight estimates for the minimum number of proper subspaces needed to cover all lattice points in an n-dimensional convex body symmetric about the origin. We also find the order of magnitude of the number of (n-1)-dimensional subspaces induced by the lattice points in a large n-dimensional ball centered at the origin.


title: Riemann hypothesis and super-conformal invariance

abstract: A strategy for proving (not a proof of, as was the first over-optimistic belief) the Riemann hypothesis is suggested. The vanishing of Riemann Zeta reduces to an orthogonality condition for the eigenfunctions of a non-Hermitian operator D^+ having the zeros of Riemann Zeta as its eigenvalues. The construction of D^+ is inspired by the conviction that Riemann Zeta is associated with a physical system allowing superconformal transformations as its symmetries and second quantization in terms of the representations of superconformal algebra. The eigenfunctions of D^+ are analogous to the so called coherent states and in general not orthogonal to each other. The states orthogonal to a vacuum state (having a negative norm squared) correspond to the zeros of Riemann Zeta. The physical states having a positive norm squared correspond to the zeros of Riemann Zeta at the critical line. Riemann hypothesis follows by reductio ad absurdum from the hypothesis that ordinary superconformal algebra acts as gauge symmetries for all coherent states orthogonal to the vacuum state, including also the non-physical coherent states that might exist off from the critical line.


title: Analytic continuation of the generalized hypergeometric series near unit argument with emphasis on the zero-balanced series

abstract: Various methods to obtain the analytic continuation near $z=1$ of the hypergeometric series $_{p+1}F_p(z)$ are reviewed together with some of the results. One approach is to establish a recurrence relation with respect to $p$ and then, after its repeated use, to resort to the well-known properties of the Gaussian hypergeometric series. Another approach is based on the properties of the underlying generalized hypergeometric differential equation: For the coefficients in the power series expansion around $z=1$ a general formula, valid for any $p$, is found in terms of a limit of a terminating Saalsch\"utzian hypergeometric series of unit argument. Final results may then be obtained for each particular $p$ after application of an appropriate transformation formula of the Saalsch\"utzian hypergeometric series. The behaviour at unit argument of zero-balanced hypergeometric series, which have received particular attention in recent years, is discussed in more detail. The related problem involving the behaviour of partial sums of such series is addressed briefly.


title: From Jacobians to one-motives: exposition of a conjecture of Deligne

abstract: Deligne has conjectured that certain mixed Hodge theoretic invariants of complex algebraic invariants are motivic. This conjecture specializes to an algebraic construction of the Jacobian for smooth projective curves, which was done by A. Weil. The conjecture (and one-motives) are motivated by means of Jacobians, generalized Jacobians of Rosenlicht, and Serre's generalized Albanese varieties. We discuss the connections with the Hodge and the generalized Hodge conjecture. We end with some applications to number theory by providing partial answers to questions of Serre, Katz and Jannsen.


title: Superrigid subgroups and syndetic hulls in solvable Lie groups

abstract: This is an expository paper. It is not difficult to see that every group homomorphism from the additive group Z of integers to the additive group R of real numbers extends to a homomorphism from R to R. We discuss other examples of discrete subgroups D of connected Lie groups G, such that the homomorphisms defined on D can ("virtually") be extended to homomorphisms defined on all of G. For the case where G is solvable, we give a simple proof that D has this property if it is Zariski dense. The key ingredient is a result on the existence of syndetic hulls.


title: Mean curvature 1 surfaces in hyperbolic 3-space with low total curvature II

abstract: In this work, complete constant mean curvature 1 (CMC-1) surfaces in hyperbolic 3-space with total absolute curvature at most 4 pi are classified. This classification suggests that the Cohn-Vossen inequality can be sharpened for surfaces with odd numbers of ends, and a proof of this is given.


title: Representations of the q-deformed algebra U'_q(so_4)

abstract: We study the nonstandard $q$-deformation $U'_q({\rm so}_4)$ of the universal enveloping algebra $U({\rm so}_4)$ obtained by deforming the defining relations for skew-symmetric generators of $U({\rm so}_4)$. This algebra is used in quantum gravity and algebraic topology. We construct a homomorphism $\phi$ of $U'_q({\rm so}_4)$ to the certain nontrivial extension of the Drinfeld--Jimbo quantum algebra $U_q({\rm sl}_2)^{\otimes 2}$ and show that this homomorphism is an isomorphism. By using this homomorphism we construct irreducible finite dimensional representations of the classical type and of the nonclassical type for the algebra $U'_q({\rm so}_4)$. It is proved that for $q$ not a root of unity each irreducible finite dimensional representation of $U'_q({\rm so}_4)$ is equivalent to one of these representations. We prove that every finite dimensional representation of $U'_q({\rm so}_4)$ for $q$ not a root of unity is completely reducible. It is shown how to construct (by using the homomorphism $\phi$) tensor products of irreducible representations of $U'_q({\rm so}_4)$. (Note that no Hopf algebra structure is known for $U'_q({\rm so}_4)$.) These tensor products are decomposed into irreducible constituents.


title: Minimal surfaces that attain equality in the Chern-Osserman inequality

abstract: In the previous paper, Takahasi and the authors generalized the theory of minimal surfaces in Euclidean n-space to that of surfaces with holomorphic Gauss map in certain class of non-compact symmetric spaces. It also includes the theory of constant mean curvature one surfaces in hyperbolic 3-space. Moreover, a Chern-Osserman type inequality for such surfaces was shown. Though its equality condition is not solved yet, the authors have noticed that the equality condition of the original Chern-Osserman inequality itself is not found in any literature except for the case n=3, in spite of its importance. In this paper, a simple geometric condition for minimal surfaces that attains equality in the Chern-Osserman inequality is given. The authors hope it will be a useful reference for readers.


title: The L^2 geometry of spaces of harmonic maps S^2 -> S^2 and RP^2 -> RP^2

abstract: Harmonic maps from S^2 to S^2 are all weakly conformal, and so are represented by rational maps. This paper presents a study of the L^2 metric gamma on M_n, the space of degree n harmonic maps S^2 -> S^2, or equivalently, the space of rational maps of degree n. It is proved that gamma is Kaehler with respect to a certain natural complex structure on M_n. The case n=1 is considered in detail: explicit formulae for gamma and its holomorphic sectional, Ricci and scalar curvatures are obtained, it is shown that the space has finite volume and diameter and codimension 2 boundary at infinity, and a certain class of Hamiltonian flows on M_1 is analyzed. It is proved that \tilde{M}_n, the space of absolute degree n (an odd positive integer) harmonic maps RP^2 -> RP^2, is a totally geodesic Lagrangian submanifold of M_n, and that for all n>1, \tilde{M}_n is geodesically incomplete. Possible generalizations and the relevance of these results to theoretical physics are briefly discussed.


title: Quasi-exceptional sets and equivariant coherent sheaves on the nilpotent cone

abstract: In math.AG/0005152 a certain $t$-structure on the derived category of equivariant coherent sheaves on the nil-cone of a simple complex algebraic group was introduced (the so-called perverse $t$-structure corresponding to the middle perversity). In the present note we show that the same $t$-structure can be obtained from a natural quasi-exceptional set generating this derived category. As a consequence we obtain a bijection between the sets of dominant weights and pairs consisting of a nilpotent orbit, and an irreducible representation of the centralizer of this element, conjectured by Lusztig and Vogan (and obtained by other means in math.RT/0010089).


title: Weyl-Titchmarsh M-Function Asymptotics, Local Uniqueness Results, Trace Formulas, and Borg-type Theorems for Dirac Operators

abstract: We explicitly determine the high-energy asymptotics for Weyl-Titchmarsh matrices associated with general Dirac-type operators on half-lines and on $\bbR$. We also prove new local uniqueness results for Dirac-type operators in terms of exponentially small differences of Weyl-Titchmarsh matrices. As concrete applications of the asymptotic high-energy expansion we derive a trace formula for Dirac operators and use it to prove a Borg-type theorem.


title: Vertex operators and the class algebras of symmetric groups

abstract: We exhibit a vertex operator which implements multiplication by power-sums of Jucys-Murphy elements in the centers of the group algebras of all symmetric groups simultaneously. The coefficients of this operator generate a representation of ${\cal W}_{1+\infty}$, to which operators multiplying by normalized conjugacy classes are also shown to belong. A new derivation of such operators based on matrix integrals is proposed, and our vertex operator is used to give an alternative approach to the polynomial functions on Young diagrams introduced by Kerov and Olshanski.


title: Severi varieties

abstract: R. Hartshorne conjectured and F. Zak proved that any n-dimensional smooth non-degenerate complex algebraic variety X in a m-dimensional projective space P satisfies Sec(X)=P if m<3n/2+2. In this article, I deal with the limiting case of this theorem, namely the Severi varieties, defined by the conditions m=3n/2+2 and Sec(X) different from P. I want to give a different proof of a theorem of F. Zak classifying all Severi varieties: I will prove that any Severi variety is homogeneous and then deduce their classification and the following geometric property : the derivatives of the equation of Sec(X), which is a cubic hypersurface, determine a birational morphism of P.


title: Universal graphs at the successor of a singular cardinal

abstract: The paper is concerned with the existence of a universal graph at the successor of a strong limit singular mu of cofinality aleph_0. Starting from the assumption of the existence of a supercompact cardinal, a model is built in which for some such mu there are mu^{++} graphs on mu^+ that taken jointly are universal for the graphs on mu^+, while 2^{mu^+}>> mu^{++} . The paper also addresses the general problem of obtaining a framework for consistency results at the successor of a singular strong limit starting from the assumption that a supercompact cardinal kappa exists. The result on the existence of universal graphs is obtained as a specific application of a more general method.


title: Forcing a Boolean Algebra with predesigned automorphism group

abstract: For suitable groups G we will show that one can add a Boolean algebra B by forcing in such a way that Aut(B) is almost isomorphic to G. In particular, we will give a positive answer to the following question due to J.Roitman: Is aleph_{omega} a possible number of automorphisms of a rich Boolean algebra?


title: Nowhere precipitousness of the non-stationary ideal over P_kappa(lambda)

abstract: We prove that if lambda is a strong limit singular cardinal and kappa a regular uncountable cardinal < lambda, then NS_{kappa lambda}, the non-stationary ideal over P_{kappa} lambda, is nowhere precipitous. We also show that under the same hypothesis every stationary subset of P_{kappa} lambda can be partitioned into lambda^{< kappa} disjoint stationary sets.


title: A Generalization of Poisson-Nijenhuis Structures

abstract: We generalize Poisson-Nijenhuis structures. We prove that on a manifold endowed with a Nijenhuis tensor and a Jacobi structure which are compatible, there is a hierarchy of pairwise compatible Jacobi structures. Furthermore, we study the homogeneous Poisson-Nijenhuis structures and their relations with Jacobi structures.


abstract: We briefly describe each of the four topics: Schubert Calculus, Schubert Cell, Schubert Cycle, and Schubert Polynomials.


title: Some additive galois cohomology rings

abstract: Let p be an odd prime. We consider the cyclotomic extension T := Z_(p)[zeta_{p^2}] of S := Z_(p), with galois group G := (Z/p^2)^*. Since this extension is wildly ramified, the SG-module T is not projective. We calculate its cohomology ring H^*(G, T; S), carrying the cup product induced by the ring structure of T. Proceeding in a somewhat greater generality, our results also apply to certain Lubin-Tate extensions.


title: The Culler-Shalen seminorms of the (-3,3,4) pretzel knot

abstract: We describe a method to compute the Culler-Shalen seminorms of a knot, using the (-3,3,4) pretzel knot as an illustrative example. We deduce that the SL2(C)-character variety of this knot consists of three algebraic curves and that it admits no non-trivial cyclic or finite surgeries. We also summarize similar results for other (-3,3,n) pretzel knots including the observation that the Seifert surgeries for these knots are precisely those integral slopes lying between two of the boundary slopes.


title: Cyclic and finite surgeries on pretzel knots

abstract: We classify Dehn surgeries on (p,q,r) pretzel knots resulting in a manifold M(s) having cyclic fundamental group and analyze those leading to a finite fundamental group. The proof uses the theory of cyclic and finite surgeries developed by Culler, Shalen, Boyer, and Zhang. In particular, Culler-Shalen seminorms play a central role.


title: The cycle enumerator of unimodal permutations

abstract: We give a generating function for the number of unimodal permutations with a given cycle structure.


title: The virtual Poincare polynomials of homogeneous spaces

abstract: We factor the virtual Poincare polynomial of every homogeneous space G/H, where G is a complex connected linear algebraic group and H is an algebraic subgroup, as $t^{2u} (t^2-1)^r Q_{G/H}(t^2)$ for a polynomial $Q_{G/H}$ with non-negative integer coefficients. Moreover, we show that $Q_{G/H}(t^2)$ divides the virtual Poincar\'e polynomial of every regular embedding of G/H, if H is connected.


title: Dialgebras

abstract: There is a notion of non-commutative Lie algebra called "Leibniz algebra", which is characterized by the condition: left bracketing is a derivation. The purpose of this article is to introduce and study a new notion of algebra, called "associative dialgebra", which is, to the Leibniz algebras, what associative algebras are to Lie algebras. An associative dialgebra is a vector space equipped with two associative operations satisfying three more conditions. For instance, any differential associative algebra gives rise to a dialgebra. In this article we construct and study a (co)homology theory for associative dialgebras. The surprizing fact, in the construction of the chain complex, is the appearance of the combinatorics of planar binary trees (grafting and nesting). The principal result about this homology theory is its vanishing on free associative dialgebras. The Koszul dual (in the sense of Ginzburg and Kapranov) of the operad of associative dialgebras is the operad of "dendriform algebras". The dendriform algebras are characterized by two operations satisfying three linear conditions. The sum of these two operations defines a new operation which is associative. The free dendriform algebra can be described in terms of planar binary trees. As a consequence we give an explicitly description of strong homotopy associative dialgebras. This paper is part of a long-standing project whose ultimate aim is to study periodicity phenomenons in algebraic K-theory, as explained in ``Overview on Leibniz algebras, dialgebras and their homology". Fields Inst. Commun. 17 (1997), 91--102.


title: Floating bundles and their applications

abstract: The aim of section 1 is to define the homotopic functor to category of Abelian groups, connected with the special classes of bundles with fiber matrix algebra or projective space. The aim of section 2 is to define some generalization of the notion of formal group. More precisely, we consider the analog of formal groups with coefficients belonging to a Hopf algebra. We also study some example of a formal group over a Hopf algebra, which generalizes the formal group of geometric cobordisms.


title: The movable fan of the Horrocks-Mumford quintic

abstract: This paper explores the birational geometry of a general Horrocks-Mumford quintic threefold, describing the set of all minimal models up to marked isomorphism, the movable fan (the way in which the nef cones of all these models are arranged to form the movable cone), and the birational automorphism group. There are infinitely many models up to marked isomorphism, falling into just eight (unmarked-) isomorphism classes.


title: You Can Enter Cantor's Paradise

abstract: This paper is based on the talk given by the author after he received the International Bolyai Prize in Mathematics (on November 4, 2000 in Budapest, Hungary).


title: Almost disjoint pure subgroups of the Baer-Specker group

abstract: We prove in ZFC that the Baer-Specker group Z^omega has 2^{aleph_1} non-free pure subgroups of cardinality aleph_1 which are almost disjoint: there is no non-free subgroup embeddable in any pair.


title: Universality among the graph omitting a complete bipartite graph

abstract: For cardinals lambda, kappa, theta we consider the class of graphs of cardinality lambda which has no subgraph which is (kappa, theta)-complete bipartite graph. The question is whether in such a class there is a universal one under (weak) embedding. We solve this problem completely under GCH. Under various assumptions mostly related to cardinal arithmetic we prove nonexistence of universals for this problem and some related ones.


title: On Polynomial Time Computation Over Unordered Structures

abstract: This paper is motivated by the question whether there exists a logic capturing polynomial time computation over unordered structures. We consider several algorithmic problems near the border of the known, logically defined complexity classes contained in polynomial time. We show that fixpoint logic plus counting is stronger than might be expected, in that it can express the existence of a complete matching in a bipartite graph. We revisit the known examples that separate polynomial time from fixpoint plus counting. We show that the examples in a paper of Cai, Furer, and Immerman, when suitably padded, are in choiceless polynomial time yet not in fixpoint plus counting. Without padding, they remain in polynomial time but appear not to be in choiceless polynomial time plus counting. Similar results hold for the multipede examples of Gurevich and Shelah, except that their final version of multipedes is, in a sense, already suitably padded. Finally, we describe another plausible candidate, involving determinants, for the task of separating polynomial time from choiceless polynomial time plus counting.


title: Naturality and Definability II

abstract: In two papers we noted that in common practice many algebraic constructions are defined only `up to isomorphism' rather than explicitly. We mentioned some questions raised by this fact, and we gave some partial answers. The present paper provides much fuller answers, though some questions remain open. Our main result says that there is a transitive model of Zermelo-Fraenkel set theory with choice (ZFC) in which every fully definable construction is `weakly natural' (a weakening of the notion of a natural transformation). A corollary is that there are models of ZFC in which some well-known constructions, such as algebraic closure of fields, are not explicitly definable. We also show that there is no model of ZFC in which the explicitly definable constructions are precisely the natural ones.


title: Homotopy complex projective spaces with Pin(2)-action

abstract: Let $M$ be a manifold homotopy equivalent to the complex projective space $\C P^m$. Petrie conjectured that $M$ has standard total Pontrjagin class if $M$ admits a non-trivial action by $S^1$. We prove the conjecture for $m<12$ under the assumption that the action extends to a nice $Pin(2)$-action with fixed point. The proof involves equivariant index theory for $Spin^c$-manifolds and Jacobi functions as well as classical results from the theory of transformation groups.


title: Free stochastic measures via noncrossing partitions II

abstract: We show that for stochastic measures with freely independent increments, the partition-dependent stochastic measures of math.OA/9903084 can be expressed purely in terms of the higher stochastic measures and the higher diagonal measures of the original.


title: Ito formula for free stochastic integrals

abstract: The objects under investigation are the stochastic integrals with respect to free Levy processes. We define such integrals for square-integrable integrands, as well as for a certain general class of bounded integrands. Using the product form of the Ito formula, we prove the full functional Ito formula in this context.


title: Constructions of Non-Abelian Zeta Functions for Curves

abstract: In this paper, we introduce (local and) global non-abelian zeta functions for general curves. As an example, we compute the so-called rank two zeta functions for genus two curves by studying non-abelian Brill-Noether loci and their infinitesimal structures.


title: Quantum symmetry groups of noncommutative spheres

abstract: We show that the noncommutative spheres of Connes and Landi are quantum homogeneous spaces for certain compact quantum groups. We give a general construction of homogeneous spaces which support noncommutative spin geometries.


title: Order structure on the algebra of permutations and of planar binary trees

abstract: In "Hopf algebra of the planar binary trees", Adv. Math. 139 (1998), no. 2, 293--309, we constructed by induction a graded associative product on the vector space generated by the planar binary trees (resp. the permutations). In the present paper we prove an explicit formula for this product in terms of a partial order on the set of planar binary trees (resp. the weak Bruhat order on the symmetric groups).


title: Chern numbers of Chern submanifolds

abstract: We present a solution of the generalized Hirzebruch problem on the relations between the Chern numbers of a stably almost complex manifold and the Chern numbers of its virtual Chern submanifolds.


title: Ramification in C-extensions of local field of characteristic 0

abstract: We construct explicitly APF extensions of finite extensions of $\qp$ for which the Galois group is not a p-adic Lie group and which do not have any open subgroup with $\zp$-quotient.


title: Operads and Algebraic Homotopy II. Suspensions

abstract: This paper extends the results of "Operads and Algebraic Homotopy" in giving algebraic invariants for the stable homotopy type of a pointed simply-connected simplicial set.


title: Hodge cycles on some moduli spaces

abstract: The goal is to verify the Hodge conjecture (and some related conjectures) for certain moduli spaces. It is shown that the (generalized) Hodge conjecture holds for the projective moduli spaces of vector bundles over an abelian or K3 surface or a curve if it holds for all powers of the surface or curve. In the latter case, the curve can be replaced by its Jacobian. As a consequence the generalized Hodge conjecture holds for these moduli spaces when the curve is very general. A similar result is proved for the Hilbert schemes of points over an arbitrary surface.


abstract: Possible contractions of quantum orthogonal groups which correspond to different choices of primitive elements of Hopf algebra are considered and all allowed contractions in Cayley--Klein scheme are obtained. Quantum deformations of kinematical groups have been investigated and have shown that quantum analog of (complex) Galilei group G(1,3) do not exist in our scheme.


title: Index and Spectral Theory for Manifolds with Generalized Fibred Cusps

abstract: Generalizing work of W. M\"uller we investigate the spectral theory for the Dirac operator D on a noncompact manifold X with generalized fibred cusps $$ C(M)=M\times [A,\infty[_r, g= d r^2+ \phi^*g_Y+ e^{-2cr}g_Z, $$ at infinity. Here $\phi:M^{h+v}\to Y^h$ is a compact fibre bundle with fibre Z and a distinguished horizontal space HM. The metric $g_Z$ is a metric in the fibres and $g_Y$ is a metric on the base of the fibration. We also assume that the kernel of the vertical Dirac operator at infinity forms a vector bundle over $Y$. Using the ``$\phi$-calculus'' developed by R. Mazzeo and R. Melrose we explicitly construct the meromorphic continuation of the resolvent $G(\lambda)$ of D for small spectral parameter as a special ``conormal distribution''. From this we deduce a description of the generalized eigensections and of the spectral measure of D. Complementing this, we perform an explicit construction of the heat kernel $[\exp(-tD^2)]$ for finite and small times t, corresponding to large spectral parameter $\lambda$. Using a generalization of Getzler's technique, due to R. Melrose, we can describe the singular terms in the heat kernel expansion and prove an index formula for D, calculating the extended $L^2$-index of D in terms of the usual local expression, the family eta invariant for the family of vertical Dirac operators at infinity and the eta invariant for the horizontal ``Dirac'' operator at infinity.


title: Variants of the Andrews-Gordon Identities

abstract: The object of this paper is to propose and prove a new generalization of the Andrews-Gordon identities, extending a recent result of Garrett, Ismail and Stanton. We also give a combinatorial discussion of the finite form of their result, which appeared in the work of Andrews, Knopfmacher, and Paule.


title: Twists and spectral triples for isospectral deformations

abstract: We construct explicitly the symmetries of the isospectral deformations as twists of Lie algebras and demonstrate that they are isometries of the deformed spectral triples.


title: Rieffel's deformation quantization and isospectral deformations

abstract: We demonstrate the relation between the isospectral deformation and Rieffel's deformation quantization by the action of $\mathbb{R}^d$.


title: A theorem on eigenvectors in idempotent spaces

abstract: This paper suggests an algebraic version of the theorem on the existence of eigenvectors for linear operators in abstract idempotent spaces. Earlier, the theorem on the existence of eigenvectors was only known for the cases of a free finite-dimensional semimodule and for compact operators in semimodules of real continuous functions.


title: Real Rational Surfaces Are Quasi-Simple

abstract: We show that a real rational (over $\C$) surfaces are quasi-simple, i.e., that such a surface is determined up to deformation in the class of real surfaces by the topological type of its real structure.


title: K(\pi, 1)'s for Artin groups of finite type

abstract: We construct K(\pi, 1)'s for Artin groups of type C_n and D_n.


title: Etude d'equations differentielles singulierement perturbees au voisinage d'un point tournant

abstract: Consider a singularly perturbed ordinary differential equation, admitting 0 as turning point of order p. We study the behaviour, in the complex plane, of the solutions of this equation in the neighborhood of 0. We prove that the domain of these solutions contains sectors like $\{\theta_1< \arg(x)<\theta_2, and |x|<|X_l| |\epsilon|^{1/(p+1)} \}$. If we introduce thereafter a p-parameter $\alpha$ in the equation, we have (for some particular values of the parameter, depending from $\epsilon$) canards solutions, id est solutions which are bounded in a whole neighborhood of the turning point. These two results are used for two examples, one of them is the Van der Pol equation; we can then find for these two equations an equivalent of the coefficients of the asymptotic serie in $\epsilon$ for the values of $\alpha$ corresponding to canards solutions.


title: On the valuation of arithmetic-average Asian options: the Geman-Yor Laplace transform revisited

abstract: The 1993 Laplace transform approach of Geman and Yor is a celebrated advance in valuing Asian options. Its insights are fundamental from both a mathematical and a financial perspective. In this paper, we discuss two observations regarding the financial relevance of its results. First, we show that the Geman and Yor Laplace transform is not that of an Asian option price, as reported in Geman and Yor and other papers. We nonetheless show how the Geman and Yor Laplace transform can be used to obtain the price of an Asian option. Second, we find that following Geman and Yor these Laplace transfoms are available only if the risk-neutral drift is not less than half the squared volatility. Using complex analytic techniques, we lift this restriction, thus extending the financial applicability of the Laplace transform approach.


title: Theorems of Barth-Lefschetz type on Kaehler manifolds of non-negative bisectional curvature

abstract: Theorems of Barth-Lefschetz type describe restrictions on the topology of varieties of small codimension. R. Schoen and J. Wolfson, using Morse theory on a path space, have described a technique to prove theorems of this kind for complex submanifolds of K\"ahler manifolds of non-negative holomorphic bisectional curvature. In this paper this program is carried out for the compact Hermitian symmetric spaces. The key technical point is to define and compute an invariant, called the {\it complex positivity}, that measures the ``amount'' of positive curvature, in a suitable sense.


title: Characteristic numbers of rational curves with cusp or prescribed triple contact

abstract: This note pursues the techniques of modified psi classes on the stack of stable maps (cf. [Graber-Kock-Pandharipande]) to give concise solutions to the characteristic number problem of rational curves in P^2 or P^1 x P^1 with a cusp or a prescribed triple contact. The classes of such loci are computed in terms of modified psi classes, diagonal classes, and certain codimension-2 boundary classes. Via topological recursions the generating functions for the numbers can then be expressed in terms of the usual characteristic number potentials.


title: $L^p$ estimates for the biest I. The Walsh case

abstract: We prove L^p estimates for the Walsh model of the "biest", a trilinear multiplier with singular symbol which arises naturally in the expansion of eigenfunctions of a Schrodinger operator, and which is also related to the bilinear Hilbert transform. The corresponding estimates for the Fourier model will be obtained in the sequel of this paper.


title: $L^p$ estimates for the biest II. The Fourier case

abstract: We prove L^p estimates for the "biest", a trilinear multiplier with singular symbol which arises naturally in the expansion of eigenfunctions of a Schrodinger operator, and which is also related to the bilinear Hilbert transform. In a previous paper these estimates were obtained for a simpler Walsh model for this operator, but in the Fourier case additional complications arise due to the inability to perfectly localize in both space and frequency.


title: Intersection complexes of fans and toric varieties

abstract: In the article math.AG/0102085, Lemma 5.5 was false. Hence the decomposition theorem (Theorem 5.8) and all statements in Section 7 are not proved.