title: The Bourgain ell ^1-index of mixed Tsirelson space

abstract: Suppose that (F_n)_{n=0}^{\infty} is a sequence of regular families of finite subsets of N such that F_0 contains all singletons, and (\theta _n)_{n=1}^{\infty} is a nonincreasing null sequence in (0,1). In this paper, we compute the Bourgain \ell^1 - index of the mixed Tsirelson space T(F_0,(\theta_n, F_n)_{n=1}^{\infty}). As a consequence, it is shown that if \eta is a countable ordinal not of the form \omega^\xi for some limit ordinal \xi, then there is a Banach space whose \ell^1-index is \omega^\eta . This answers a question of Judd and Odell.


title: Weak Hyperbolicity on Periodic Orbits for Polynomials

abstract: We prove that if the multipliers of the repelling periodic orbits of a complex polynomial grow at least like $n^{5 + \epsilon}$, for some $\epsilon > 0$, then the Julia set of the polynomial is locally connected when it is connected. As a consequence for a polynomial the presence of a Cremer cycle implies the presence of a sequence of repelling periodic orbits with "small" multipliers. Somehow surprinsingly the proof is based in measure theorical considerations.


title: Discrete Torsion, Quotient Stacks, and String Orbifolds

abstract: This is the writeup of a lecture given at the May Wisconsin workshop on mathematical aspects of orbifold string theory. In the first part of this lecture, we review recent work on discrete torsion, and outline how it is currently understood in terms of the B field. In the second part of this lecture, we discuss the relationship between quotient stacks and string orbifolds.


title: Some Applications of Algebraic Curves to Computational Vision

abstract: We introduce a new formalism and a number of new results in the context of geometric computational vision. The classical scope of the research in geometric computer vision is essentially limited to static configurations of points and lines in $P^3$ . By using some well known material from algebraic geometry, we open new branches to computational vision. We introduce algebraic curves embedded in $P^3$ as the building blocks from which the tensor of a couple of cameras (projections) can be computed. In the process we address dimensional issues and as a result establish the minimal number of algebraic curves required for the tensor variety to be discrete as a function of their degree and genus. We then establish new results on the reconstruction of an algebraic curves in $P^3$ from multiple projections on projective planes embedded in $P^3$ . We address three different presentations of the curve: (i) definition by a set of equations, for which we show that for a generic configuration, two projections of a curve of degree d defines a curve in $P^3$ with two irreducible components, one of degree d and the other of degree $d(d - 1)$, (ii) the dual presentation in the dual space $P^{3*}$, for which we derive a lower bound for the number of projections necessary for linear reconstruction as a function of the degree and the genus, and (iii) the presentation as an hypersurface of $P^5$, defined by the set of lines in $P^3$ meeting the curve, for which we also derive lower bounds for the number of projections necessary for linear reconstruction as a function of the degree (of the curve). Moreover we show that the latter representation yields a new and efficient algorithm for dealing with mixed configurations of static and moving points in $P^3$.


title: On a Subfactor Construction of a Factor Non Anti-Isomorphic to Itself

abstract: We give a subfactor construction for a $II_{1}$ factor M which is not anti-isomorphic to itself. The $II_{1}$ factor we consider is essentially the same as the example previously given by Connes. However, our construction uses the recently developed theory of free group factors. We show that there exists an inclusion of $II_{1}$ factors $A\subset B$ which by iteration of the Jones basic construction produces $M$ as the enveloping algebra. Here A is a free group factor and B is isomorphic to the crossed product of A by an action of a finite group. By using a Connes' argument involving the invariant $\chi (M)$, we verify that $M$ is not anti--isomorphic to itself. Publication of this manuscript is funded in part by the National Science Foundation. This material is based upon work supported by the National Science Foundation under Grant No. DMS--9810361.


title: Asymptotic analysis of two reduction methods for systems of chemical reactions

abstract: This article concerns two methods for reducing large systems of chemical kinetics equations, namely, the method of intrinsic low-dimensional manifolds (ILDMs) due to Maas and Pope and an iterative method due to Fraser and further developed by Roussel and Fraser. Both methods exploit the separation of fast and slow reaction time scales to find low-dimensional manifolds in the space of species concentrations where the long-term dynamics are played out. The analysis is carried out in the context of systems of ordinary differential equations with multiple time scales and geometric singular perturbation theory. A small parameter $\eps$ measures the separation of time scales. The underlying assumptions are that the system of equations has an asymptotically stable slow manifold $\mathcal{M}_0$ in the limit as $\eps \downarrow 0$ and that there exists a slow manifold $\mathcal{M}_\eps$ for all sufficiently small positive $\eps$, which is asymptotically close to $\mathcal{M}_0$. It is shown that the ILDM method yields a low-dimensional manifold whose asymptotic expansion agrees with the asymptotic expansion of $\mathcal{M}_\eps$ up to and including terms of $\mathcal{O} (\eps)$. The error at $\mathcal{O} (\eps^2)$ is proportional to the local curvature of $\mathcal{M}_0$. The iterative method generates, term by term, the asymptotic expansion of the slow manifold $\mathcal{M}_\eps$. The analytical results are illustrated in two examples.


title: On the coefficients of a Fibonacci power series

abstract: We give an explicit description of the coefficients of the formal power series (1-x)(1-x^2)(1-x^3)(1-x^5)(1-x^8)(1-x^13)... In particular, we show that all the coefficients are equal to -1, 0 or 1.


title: Tangent Processes on Wiener Space

abstract: This paper deals with the study of the Malliavin calculus of Euclidean motions on Wiener space, (i.e. transformations induced by general measure preserving transformations, called `rotations', and H-valued shifts) and the associated flows on abstract Wiener spaces


title: Some Ergodic Theorems for Random Rotations on Wiener Space

abstract: In this paper we study ergodicity and mixing property of some measure preserving transformations on the Wiener space (W,H,\mu) which are generated by some random unitary operators defined on the Cameron-Martin space H.


title: Homology stability for symplectic groups

abstract: In this paper the homology stability for symplectic groups over a ring with finite stable rank is established. First we develop a `nerve theorem' on the homotopy type of a poset in terms of a cover by subposets, where the cover is itself indexed by a poset. We use the nerve theorem to show that a poset of sequences of isotropic vectors is highly connected, as conjectured by Charney in the eighties.


title: Coherent transforms and irreducible representations corresponding to complex structures on a cylinder and on a torus

abstract: We study a class of algebras with non-Lie commutation relations whose symplectic leaves are surfaces of revolution: a cylinder or a torus. Over each of such surfaces we introduce a family of complex structures and Hilbert spaces of antiholomorphic sections in which the irreducible Hermitian representations of the original algebra are realized. The reproducing kernels of these spaces are expressed in terms of the Riemann theta-function and its modifications. They generate quantum K\"ahler structures on the surface and the corresponding quantum reproducing measures. We construct coherent transforms intertwining abstract representations of an algebra with irreducible representations, and these transforms are also expressed via the theta-function.


title: New Identities of Hall-Littlewood Polynomials and Rogers-Ramanujan Type

abstract: We prove two new summation formulae of Hall-Littlewood polynomials over partitions into bounded parts and derive some new multiple $q$-identities of Rogers-Ramanujan type.


title: On a conjecture of Cox and Katz

abstract: This note shows that a certain toric quotient of the quintic Calabi-Yau threefold in projective four-space provides a counterexample to a recent conjecture of Cox and Katz concerning nef cones of toric hypersurfaces.


title: Universal abelian covers of surface singularities

abstract: We discuss the evidence for and implications of a conjecture that the universal abelian cover of a Q-Gorenstein surface singularity with finite local homology (i.e., the singularity link is a Q-homology sphere) is a complete intersection singularity.


title: A pseudo-Daugavet property for narrow projections in Lorentz spaces

abstract: Let $X$ be a rearrangement-invariant space. An operator $T: X\to X$ is called narrow if for each measurable set $A$ and each $\epsilon > 0$ there exists $x \in X$ with $x^2= \chi_A, \int x d \mu = 0$ and $\| Tx \| < \epsilon$. In particular all compact operators are narrow. We prove that if $X$ is a Lorentz function space $L_{w,p}$ on [0,1] with $p>2$, then there exists a constant $k_X>1$ so that for every narrow projection $P$ on $L_{w,p}$ $\| Id - P \| \geq k_X. $ This generalizes earlier results on $L_p$ and partially answers a question of E. M. Semenov. Moreover we prove that every rearrangement-invariant function space $X$ with an absolutely continuous norm contains a complemented subspace isomorphic to $X$ which is the range of a narrow projection and a non-narrow projection, which gives a negative answer to a question of A.Plichko and M.Popov.


title: Holomorphic triangles and invariants for smooth four-manifolds

abstract: The aim of this article is to introduce invariants of oriented, smooth, closed four-manifolds, built using the Floer homology theories defined in two earlier papers (math.SG/0101206 and math.SG/0105202). This four-dimensional theory also endows the corresponding three-dimensional theories with additional structure: an absolute grading of certain of its Floer homology groups. The cornerstone of these constructions is the study of holomorphic disks in the symmetric products of Riemann surfaces.


title: Absolutely Graded Floer homologies and intersection forms for four-manifolds with boundary

abstract: In an earlier paper (math.SG/0110169), we introduced absolute gradings on the three-manifold invariants developed in math.SG/0101206 and math.SG/0105202. Coupled with the surgery long exact sequences, we obtain a number of three- and four-dimensional applications of this absolute grading including strengthenings of the ``complexity bounds'' (from math.SG/0101206), restrictions on knots whose surgeries give rise to lens spaces, and calculations of $\HFp$ for a variety of three-manifolds. Moreover, we show how the structure of $\HFp$ constrains the exoticness of definite intersection forms for smooth four-manifolds which bound a given three-manifold. In addition to these new applications, the techniques also provide alternate proofs of Donaldson's diagonalizability theorem and the Thom conjecture for $\CP{2}$.


title: Norm One Projections in Banach Spaces

abstract: This is the survey of results about norm one projections and 1-complemented subspaces in K\"othe function spaces and Banach sequence spaces. The historical development of the theory is presented from the 1930's to the newest ideas. Proofs of the main results are outlined. Open problems are also discussed. Every effort has been made to include as complete a bibliography as possible.


title: A note on the index of cone differential operators

abstract: We prove that the index formula for $b$-elliptic cone differential operators given by M. Lesch holds verbatim for operators whose coefficients are not necessarily independent of the normal variable near the boundary. We also show that, for index purposes, the operators can always be considered on weighted Sobolev spaces.


title: Invariant Stein domains in Stein symmetric spaces and a non-linear complex convexity theorem

abstract: We prove a complex version of Kostant's non-linear convexity theorem. Applications to the construction of G-invariant Grauert tubes of non-compact Riemannian symmetric G/K spaces are given.


title: Crossing number of links formed by edges of a triangulation

abstract: We study the crossing number of links that are formed by edges of a triangulation T of the 3-sphere with n tetrahedra. We show that the crossing number is bounded from above by an exponential function of n^2. In general, this bound can not be replaced by a subexponential bound. However, if T is polytopal (resp. shellable) then there is a quadratic (resp. biquadratic) upper bound in n for the crossing number. In our proof, we use a numerical invariant p(T), called polytopality, that we have introduced in math.GT/0009216.


title: Zeta functions and regularized determinants on projective spaces

abstract: A Hermite type formula is introduced and used to study the zeta function over the real and complex n-projective space. This approach allows to compute the residua at the poles and the value at the origin as well as the value of the derivative at the origin, that gives the regularized determinant of the associated Laplacian operator.


title: On uniqueness of JSJ decompositions of finitely generated groups

abstract: We give an example of two JSJ decompositions of a group that are not related by conjugation, conjugation of edge-inclusions, and slide moves. This answers the question of Rips and Sela stated in "Cyclic splittings of finitely presented groups and the canonical JSJ decomposition," Ann. of Math. 146 (1997), 53-109. On the other hand we observe that any two JSJ decompositions of a group are related by an elementary deformation, and that strongly slide-free JSJ decompositions are genuinely unique. These results hold for the decompositions of Rips and Sela, Dunwoody and Sageev, and Fujiwara and Papasoglu, and also for accessible decompositions.


title: Low energy inverse problems in three-body scattering

abstract: We consider low energy inverse problems in three-body scattering and show that if all unknown interactions are small in an appropriate sense then the 2-cluster to 2-cluster S-matrices given at low energies determine the Fourier transform of the effective interaction in a ball.


title: Average number of distinct part sizes in a random Carlitz composition

abstract: A composition of an integer is called Carlitz if adjacent parts are different. Several characteristics of random Carlitz compsitions have been studied recently by Knopfmacher and Prodinger. We complement their work by establishing the asymptotics of the average number of distinct part sizes in a random Carlitz composition.


title: On the intersection forms of spin 4-manifolds bounded by spherical 3-manifolds

abstract: We determine the contributions of isolated singularities of spin V 4-manifolds to the index of the Dirac operator over them. From these data we derive certain constraints on the intersection forms of spin 4-manifolds bounded by spherical 3-manifolds, and also on the embeddings of the real projective planes into 4-manifolds.


title: An analogue of cyclotomic units for products of elliptic curves

abstract: We construct certain elements in the integral motivic cohomology group $H^3_{{\cal M}}(E \times E',\Q(2))_{\ZZ}$, where $E$ and $E'$ are elliptic curves over $\Q$. When $E$ is not isogenous to $E'$ these elements are analogous to `cyclotomic units' in real quadratic fields as they come from modular parametrisations of the elliptic curves. We then find an analogue of the class number formula for real quadratic fields. Finally we use the Beilinson conjectures for $E \times E'$ to deduce them for products of $n$ elliptic curves. A certain amount of this paper is expository in nature.


title: A generatingfunctionology approach to a problem of Wilf

abstract: Wilf posed the following problem: determine asymptotically as $n\to\infty$ the probability that a randomly chosen part size in a randomly chosen composition of n has multiplicity m. One solution of this problem was given by Hitczenko and Savage. In this paper, we study this question using the techniques of generating functions and singularity analysis.


title: Unitary Representations of Quantum Lorentz Group and Quantum Relativistic Toda Chain

abstract: The aim of this paper is to give a group theoretical interpretation of the three types of Bessel-Jackson functions. We consider a family of quantum Lorentz groups and a family of quantum Lobachevsky spaces. For three members of quantum Lobachevsky spaces the Casimir operators give rise to the two-body relativistic open Toda lattice Hamiltonians. Their eigen-functions are the modified Bessel-Jackson functions of three types. We construct the principal series of unitary irreducible representations of the quantum Lorentz groups. Special matrix elements in the irreducible spaces are the Bessel-Macdonald-Jackson functions. They are the wave functions of the two-body relativistic open Toda lattice. We obtain integral representations for these functions.


title: KMS states for generalized gauge actions on Cuntz-Krieger algebras (An application of the Ruelle-Perron-Frobenius Theorem)

abstract: Given a zero-one matrix A we consider certain one-parameter groups of automorphisms of the Cuntz-Krieger algebra O_A, generalizing the usual gauge group, and depending on a positive continuous function H defined on the Markov space \Sigma_A. The main result consists of an application of Ruelle's Perron-Frobenius Theorem to show that these automorphism groups admit a single KMS state.


title: On the Castelnuovo-Mumford regularity of products of ideal sheaves

abstract: In this paper we give bounds on the Castelnuovo-Mumford regularity of products of ideals and ideal sheaves. In particular, we show that the regularity of a product of ideals is bounded by the sum of the regularities of its factors if the corresponding schemes intersect in a finite set of points. We also show how approximations of sheaves can be used to bound the regularity of an arrangement of two-planes in projective space.


title: S-partitions

abstract: This note reports on the number of s-partitions of a natural number n. In an s-partition each cell has the form $2^k-1$ for some integer k. Such partitions have potential applications in cryptography, specifically in distributed computations of the form $a^n$ mod m. The main contribution of this paper is a correction to the upper bound on the number of s-partitions presented by Bhatt. We will give a precise asymptotics for the number of such partitions for a given integer n.


title: Characterizations of orthonormal scale functions: a probabilistic approach

abstract: The construction of a multiresolution analysis starts with specification of a scale function. The Fourier transform of this function is defined by an infinite product. The convergence of this product is usually discussed in the context of $L_2(R)$. Here, we treat the convergence problem by viewing the partial products as probabilities, converging weakly to a probability defined on an appropriate sequence space. We obtain a sufficient condition for this convergence, which is also necessary in the case where the scale function is continuous. These results extend and clarify those of A. Cohen, and Hernandez, Wang, and Weiss. The method also applies to more general dilation schemes that commute with translations by $Z^d$.


title: Stability properties for a compactly supported prescale function

abstract: We show that if $\phi$ is a continuous, minimally supported prescale function, then its translates are linearly independent on any set of positive measure in the unit interval. This generalizes results of Y. Meyer and P. G. Lemarie. This result implies that a stability condition, introduced by Gundy and Kazarian for the study of local convergence of spline wavelet expansions, is satisfied for all expansions arizing from multiresolution analyses generated by such prescale functions $\phi$.


title: Random partitions with non negative rth differences

abstract: Let $P_r(n)$ be the set of partitions of n with non negative rth differences. Let $\lambda$ be a partition chosen uniformly at random among the set $P_r(n)$. Let $d(\lambda)$ be a positive rth difference chosen uniformly at random in $\lambda$. The aim of this work is to show that for every $m\ge 1$, the probability that $d(\lambda)\ge m$ approaches $m^{-1/r}$ as $n\to\infty$. To prove this result we use bijective, asymptotic/analytic, and probabilistic combinatorics.


title: Expected number of distinct part sizes in a random integer composition

abstract: The asymptotics, as $n\to\infty$, for the expected number of distinct part sizes in a random composition of an integer n is obtained.


title: Calogero-Moser space and Kostka polynomials

abstract: We consider the canonical map from the Calogero-Moser space to symmetric powers of the affine line, sending conjugacy classes of pairs of n by n matrices to their eigenvalues. We show that the character of a natural C^*-action on the scheme-theoretic zero fiber of this map is given by Kostka polynomials.


title: Notes on interpolation in the generalized Schur class. II. Nudel'man's problem

abstract: An indefinite generalization of Nudel'man's problem is used in a systematic approach to interpolation theorems for generalized Schur and Nevanlinna functions with interior and boundary data. Besides results on existence criteria for Pick-Nevanlinna and Caratheodory-Fejer interpolation, the method yealds new results on generalized interpolation in the sense of Sarason and boundary interpolation, including properties of the finite Hilbert transform relative to weights. The main theorem appeals to the Ball and Helton almost-commutant lifting theorem to provide criteria for the existence of a solution to Nudel'man's problem.


title: Decomposable Ternary Cubics

abstract: Cubic forms in three variables are parametrised by points of $\P^9$. We study the subvarieties in this space defined by decomposable forms. Specifically, we calculate the equivariant minimal resolutions of these varieties and describe their ideals invariant-theoretically.


title: The Vanishing of the Theta Function in the KP Direction: a Geometric Approach

abstract: We give a geometric proof of a formula, due to Segal and Wilson, which describes the order of vanishing of the Riemann theta function in the direction which corresponds to the direction of the tangent space of a Riemann surface at a marked point. While this formula appears in the work of Segal and Wilson as a by-product of some non-trivial constructions from the theory of integrable systems (loop groups, infinite-dimensional Grassmannians, tau functions, Schur polynomials, ...) our proof only uses the classical theory of linear systems on Riemann surfaces.


title: Topological entropy of a magnetic flow and the growth of the number of trajectories

abstract: Final version. To appear in Discrete and Continuous Dynamical Systems - A.


title: Thermal convection in a cylindrical annulus heated laterally

abstract: In this paper we study thermoconvective instabilities appearing in a fluid within a cylindrical annulus heated laterally. As soon as a horizontal temperature gradient is applied a convective state appears. As the temperature gradient reaches a critical value a stationary or oscillatory bifurcation may take place. The problem is modelled with a novel method which extends the one described in (numerico). The Navier Stokes equations are solved in the primitive variable formulation, with appropriate boundary conditions for pressure. This is a low order formulation which in cylindrical coordinates introduces lower order singularities. The problem is discretized with a Chebyshev collocation method easily implemented and its convergence has been checked. The results obtained are not only in very good agreement with those obtained in experiments, but also provide a deeper insight into important physical parameters developing the instability, which has not been reported before.


title: Geometric quantization of symplectic foliations

abstract: Geometric quantization of a Poisson manifold need not imply quantization of its symplectic leaves. We provide the leafwise geometric quantization of a Poisson manifold, seen as a foliated one, whose quantum algebra restricted to each leaf is quantized.


title: Tolstoy's Mathematics in "War and Peace"

abstract: The nineteenth century Russian author Leo Tolstoy based his egalitarian views on sociology and history on mathematical and probabilistic views, and he also proposed a mathematical theory of waging war.


title: Fields of definition for division algebras

abstract: Let $A$ be a finite-dimensional division algebra containing a base field $k$ in its center $F$. We say that $A$ is defined over a subfield $F_0$ of $F$ if $A = A_0\otimes_{F_0} F$ for some $F_0$-subalgebra $A_0$ of $A$. We show that: (1) In many cases $A$ can be defined over a rational extension of $k$. (2) If $A$ has odd degree $n \ge 5$, then $A$ is defined over a field $F_0$ of transcendence degree at most $(n-1)(n-2)/2$ over $k$. (3) If $A$ is a $Z/m \times Z/2$-crossed product for some $m \ge 2$ (and in particular, if $A$ is any algebra of degree 4) then $A$ is Brauer equivalent to a tensor product of two symbol algebras. Consequently, $M_m(A)$ can be defined over a field $F_0$ of transcendence degree at most 4 over $k$. (4) If $A$ has degree 4 then the trace form of $A$ can be defined over a field $F_0$ of transcendence degree at most 4. (In (1), (3), and (4) we assume that the center of $A$ contains certain roots of unity.)


title: Differential Calculi over Quantum Groups and Twisted Cyclic Cocycles

abstract: We study some aspects of the theory of non-commutative differential calculi over complex algebras, especially over the Hopf algebras associated to compact quantum groups in the sense of S.L. Woronowicz. Our principal emphasis is on the theory of twisted graded traces and their associated twisted cyclic cocycles. One of our principal results is a new method of constructing differential calculi, using twisted graded traces.


title: On the Kauffman skein modules

abstract: Let k be a subring of the field of rational functions in \alpha, s which contains \alpha^{1}, \alpha^{-1}, s^{1}, s^{-1}, . Let M be a compact oriented 3-manifold, and let K(M) denote the Kauffman skein module of M over k. Then K(M) is the free k-module generated by isotopy classes of framed links in M modulo the Kauffman skein relations. In the case of k={Q}(\alpha, s), the field of rational functions in \alpha, s, we give a basis for the Kauffman skein module of the solid torus and a basis for the relative Kauffman skein module of the solid torus with two points on the boundary. We then show that K(S^{1} \times S^2) is generated by the empty link, i.e., K(S^{1} \times S^2)=k.


title: The Oka principle for sections of subelliptic submersions

abstract: Let X and Y be complex manifolds. One says that maps from X to Y satisfy the Oka principle if the inclusion of the space of holomorphic maps from X to Y into the space of continuous maps is a weak homotopy equivalence. In 1957 H. Grauert proved the Oka principle for maps from Stein manifolds to complex Lie groups and homogeneous spaces, as well as for sections of fiber bundles with homogeneous fibers over a Stein base. In 1989 M. Gromov extended Grauert's result to sections of submersions over a Stein base which admit dominating sprays over small open sets in the base; for proof see [F. Forstneric and J. Prezelj: Oka's principle for holomorphic fiber bundles with sprays, Math. Ann. 317 (2000), 117-154, and the preprint math.CV/0101040]. In this paper we prove the Oka principle for maps from Stein manifolds to any complex manifold Y that admits finitely many sprays which together dominate at every point of Y (such manifold is called subelliptic). The class of subelliptic manifolds contains all the elliptic ones, as well as complements of closed algebraic subvarieties of codimension at least two in a complex projective space or a complex Grassmanian. We also prove the Oka principle for removing intersections of holomorphic maps with closed complex subvarieties A of the target manifold Y, provided that the source manifold is Stein and the manifolds Y and Y\A are subelliptic.


title: A note on Banach--Mazur problem

abstract: We prove that if $X$ is a real Banach space, with $\dim X\geq 3$, which contains a subspace of codimension 1 which is 1-complemented in $X$ and whose group of isometries is almost transitive then $X$ is isometric to a Hilbert space. This partially answers the Banach-Mazur rotation problem and generalizes some recent related results.


title: Kolmogorov Random Graphs and the Incompressibility Method

abstract: We investigate topological, combinatorial, statistical, and enumeration properties of finite graphs with high Kolmogorov complexity (almost all graphs) using the novel incompressibility method. Example results are: (i) the mean and variance of the number of (possibly overlapping) ordered labeled subgraphs of a labeled graph as a function of its randomness deficiency (how far it falls short of the maximum possible Kolmogorov complexity) and (ii) a new elementary proof for the number of unlabeled graphs.


title: Surfaces with p_{g}=q=2 and an irrational pencil

abstract: We classify all the irrational pencils over the surfaces of general type with p=q=2. This classification adds a new evidence to a Catanese conjecture which states that if S has p=q=2 but no irrational pencils then it is the double cover of a P.P. Abelian variety branched on a reduced divisor linearly equivalent to twice a theta divisor.


title: Improving Rogers' upper bound for the density of unit ball packings via estimating the surface area of Voronoi cells from below in Euclidean d-space for all d>7

abstract: The sphere packing problem asks for the densest packing of unit balls in d-dimensional Euclidean space. This problem has its roots in geometry, number theory and it is part of Hilbert's 18th problem. In 1958 C. A. Rogers proved a non-trivial upper bound for the density of unit ball packings in d-dimensional Euclidean space for all d>0. In 1978 Kabatjanskii and Levenstein improved this bound for large d. In fact, Rogers' bound is the presently known best bound for 43>d>3, and above that the Kabatjanskii-Levenstein bound takes over. In this paper we improve Rogers' upper bound for the density of unit ball packings in Euclidean d-space for all d>7. We do this by estimating from below the surface area of Voronoi cells in any packing of unit balls in Euclidean d-space for all d>7.


title: Abelian covers and isotrivial canonical fibrations

abstract: We classify all the surfaces of general type whose canonical map is composed with a pencil if they are the quotient of the diagonal action by an Abelian group acting over the product of two curves. As far as we know all the previous examples with isotrivial canonical map are very particular cases of our construction; moreover we find an unexpected action by a group of order 16. This construction can be easily generalizable to all dimensions.


title: Loop Groupoids, Gerbes, and Twisted Sectors on Orbifolds

abstract: The purpose of this paper is to introduce the notion of loop groupoid associated to a groupoid. After studying the general properties of the loop groupoid, we show how this notion provides a very natural geometric interpretation for the twisted sectors of an orbifold, and for the inner local systems introduced by Ruan by means of a natural generalization of the concept holonomy of a gerbe.


title: The average length of a trajectory in a certain billiard in a flat two-torus

abstract: We remove a small disc from the flat two-dimensional torus and consider a point-like particle that starts moving from the center of the disc with linear trajectory. We provide asymptotic estimates for the moments of the first exit time, with respect to the velocity, when the radius of the disc tends to zero.


title: The number of point-splitting circles

abstract: Let S be a set of 2n+1 points in the plane such that no three are collinear and no four are concyclic. A circle will be called point-splitting if it has 3 points of S on its circumference, n-1 points in its interior and n-1 in its exterior. We show the surprising property that S always has exactly n^2 point- splitting circles, and prove a more general result.


title: Regular Neighbourhoods and Canonical Decompositions for Groups

abstract: We find canonical decompositions for finitely presented groups which specialize to the classical JSJ-decomposition when restricted to the fundamental groups of Haken manifolds. The decompositions that we obtain are invariant under automorphisms of the group. A crucial new ingredient is the concept of a regular neighbourhood for a finite family of almost invariant subsets of a group. An almost invariant set is an analogue of an immersion.


title: Characterisation of lattices induced by (extended) Chip Firing Games

abstract: The Chip Firing Game (CFG) is a discrete dynamical model used in physics, computer science and economics. It is known that the set of configurations reachable from an initial configuration (this set is called the configuration space) can be ordered as a lattice. We first present a structural result about this model, which allows us to introduce some useful tools for describing those lattices. Then we establish that the class of lattices that are the configuration space of a CFG is strictly between the class of distributive lattices and the class of upper locally distributive (or ULD) lattices. Finally we propose an extension of the model, the coloured Chip Firing Game, which generates exactly the class of ULD lattices.


title: Branching coefficients of holomorphic representations and Segal-Bargmann transform

abstract: Let $\mathbb D=G/K$ be a complex bounded symmetric domain of tube type in a Jordan algebra $V_{\mathbb C}$, and let $D=H/L =\mathbb D\cap V$ be its real form in a Jordan algebra $V\subset V_{\mathbb C}$. The analytic continuation of the holomorphic discrete series on $\mathbb D$ forms a family of interesting representations of $G$. We consider the restriction on $D$ of the scalar holomorphic representations of $G$, as a representation of $H$. The unitary part of the restriction map gives then a generalization of the Segal-Bargmann transform. The group $L$ is a spherical subgroup of $K$ and we find a canonical basis of $L$-invariant polynomials in components of the Schmid decomposition and we express them in terms of the Jack symmetric polynomials. We prove that the Segal-Bargmann transform of those $L$-invariant polynomials are, under the spherical transform on $D$, multi-variable Wilson type polynomials and we give a simple alternative proof of their orthogonality relation. We find the expansion of the spherical functions on $D$, when extended to a neighborhood in $\mathbb D$, in terms of the $L$-spherical holomorphic polynomials on $\mathbb D$, the coefficients being the Wilson polynomials.


title: Cochain algebras of mapping spaces and finite group actions

abstract: The purpose of the present article is threefold. First of all, we rebuild the whole theory of cosimplicial models of mapping spaces by using systematically Kan adjunction techniques. Secondly, given two topological spaces X and Y, we construct a cochain algebra which is quasi-isomorphic (as an algebra) to the singular cochain algebra of the corresponding mapping space from X to Y. Here, X has to be homotopy equivalent to the geometric realization a finite simplicial set and of dimension less or equal to the connectivity of Y. At last, we apply these results to the study of finite group actions on mapping spaces that are induced by an action on the source.


title: Coding Distributive Lattices with Edge Firing Games

abstract: In this note, we show that any distributive lattice is isomorphic to the set of reachable configurations of an Edge Firing Game. Together with the result of James Propp, saying that the set of reachable configurations of any Edge Firing Game is always a distributive lattice, this shows that the two concepts are equivalent.

categories: math.CO cs.IT math-ph math.DS math.IT math.MP


title: Finite volume approximation of the effective diffusion matrix: The case of independent bond disorder

abstract: Consider uniformly elliptic random walk on $\bbZ^d$ with independent jump rates across nearest neighbour bonds of the lattice. We show that the infinite volume effective diffusion matrix can be almost surely recovered as the limit of finite volume periodized effective diffusion matrices.


title: The quantum double for quasitriangular quasi-Hopf algebras

abstract: Let $D(H)$ be the quantum double associated to a finite dimensional quasi-Hopf algebra $H$. In this note, we first generalize a result of Majid, stating that a finite dimensional Hopf algebra $H$ is quasitriangular if and only if there is a projection of the quantum double $D(H)$ onto $H$ covering the natural inclusion.We then prove that the quantum double of a finite dimensional quasitriangular quasi-Hopf algebra is a biproduct.


title: The statistics of the trajectory in a certain billiard in a flat two-torus

abstract: We consider a billiard in the punctured torus obtained by removing a small disk from the two-dimensional flat torus, with trajectory starting from the center of the puncture. In this case the phase space is given by the range of the velocity only. We prove that the probability measures on $[0,\infty)$ associated with the first exit time are weakly convergent when the size of the puncture tends to zero and explicitly compute the density of the limit.


title: Gonality and Clifford Index of curves on $K3$ Surfaces

abstract: We show that every possible value for the Clifford index and gonality of a curve of a given genus on a $K3$ surface occurs.


title: Spin Representations of the q-Poincare Algebra

abstract: The spin of particles on a non-commutative geometry is investigated within the framework of the representation theory of the q-deformed Poincare algebra. An overview of the q-Lorentz algebra is given, including its representation theory with explicit formulas for the q-Clebsch-Gordan coefficients. The vectorial form of the q-Lorentz algebra (Wess), the quantum double form (Woronowicz), and the dual of the q-Lorentz group (Majid) are shown to be essentially isomorphic. The construction of q-Minkowski space and the q-Poincare algebra is reviewed. The q-Euclidean sub-algebra, generated by rotations and translations, is studied in detail. The results allow for the construction of the q-Pauli-Lubanski vector, which, in turn, is used to determine the q-spin Casimir and the q-little algebras for both the massive and the massless case. Irreducible spin representations of the q-Poincare algebra are constructed in an angular momentum basis, accessible to physical interpretation. It is shown how representations can be constructed, alternatively, by the method of induction. Reducible representations by q-Lorentz spinor wave functions are considered. Wave equations on these spaces are found, demanding that the spaces of solutions reproduce the irreducible representations. As generic examples the q-Dirac equation and the q-Maxwell equations are computed explicitly and their uniqueness is shown.


title: Smooth, isolated curves in families of Calabi-Yau threefolds in homogeneous spaces

abstract: We show the existence of smooth isolated curves of different degrees and genera in Calabi-Yau threefolds that are complete intersections in homogeneous spaces. Along the way, we classify all degrees and genera of smooth curves on BN general K3 surfaces of low genera. By results of Mukai, these are the K3 surfaces that can be realised as complete intersections in certain homogeneous spaces.


title: Modular categories and orbifold models II

abstract: This is a continuation of the paper "Modular tensor categories and orbifold theories", arXiv:math.QA/0104242. It discusses orbifold models of conformal filed theory, or, in mathematical language, question of constructing the category of representations of the fixed point algebra $V^G$ for a given vertex operator algebra $V$ with an action of a finite group $G$. The previous paper gave a proof of well-known conjecture of Dijkgraaf-Vafa-Verlinde-Verlinde giving a complete answer to this question in the holomorphic case (when $V$ has a unique simple module, $V$ itself) under the assumption that categories of rrepresentations of $V$, $V^G$ are modular tensor categories. In the current paper, we give a partial answer in non-holomorphic case. In particular, we show that the category of representations of $V^G$ is completely determined by the category of twisted $V$-modules together with the action of $G$ on this category. Our approach is based on describing representations of $V$, $V^G$ and relation between them in terms of tensor categories and avoids using the technique of VOAs as much as possible.


title: Substitution Delone Sets

abstract: This paper addresses the problem of describing aperiodic discrete structures that have a self-similar or self-affine structure. Substitution Delone set families are families of Delone sets (X_1, ..., X_n) in R^d that satisfy an inflation functional equation under the action of an expanding integer matrix in R^d. This paper studies such functional equation in which each X_i is a discrete multiset (a set whose elements are counted with a finite multiplicity). It gives necessary conditions on the coefficients of the functional equation for discrete solutions to exist. It treats the case where the equation has Delone set solutions. Finally, it gives a large set of examples showing limits to the results obtained.


title: Non-semisimple Hopf Algebras of Dimension p^2

abstract: Let H be a Hopf algebra of dimension pq over an algebraically closed field of characteristic 0, where p <= q are odd primes. Suppose that S is the antipode of H. If H is not semisimple, then S^{4p}=id_H and Tr(S^{2p}) is an integer divisible by p^2. In particular, if dim H = p^2, we prove that H is isomorphic to a Taft algebra. We then complete the classification for the Hopf algebras of dimension p^2.


title: On equations defining coincident root loci

abstract: We study the problem of specifying algebraic conditions on the coefficients of a binary form, so that it may have roots with preassigned multiplicities.


title: A polytope combinatorics for semisimple groups

abstract: Mirkovic and Vilonen discovered a canonical basis of algebraic cycles for the intersection homology of (the closures of the strata of) the loop Grassmannian. The moment map images of these varieties are a collection of polytopes, and they may be used to compute weight multiplicities and tensor product multiplicities for representations of a semisimple group. The polytopes are explicitly described for a few low rank groups.


title: Complex cobordism and embeddability of CR-manifolds

abstract: This paper studies complex cobordisms between compact, three dimensional, strictly pseudoconvex Cauchy-Riemann manifolds. Suppose the complex cobordism is given by a complex 2-manifold X with one pseudoconvex and one pseudoconcave end. We answer the following questions. What is the relation between the embeddability of the pseudoconvex end and the embeddability of the pseudoconcave end of X? Do all CR-functions on the pseudoconvex end of X extend to holomorphic functions on the interior of X? We prove that embeddability of a strictly pseudoconvex Cauchy-Riemann 3-manifold is not a complex-cobordism invariant. We show that a new phenomenon occurs: there are CR-functions on the pseudoconvex end that do not extend to holomorphic functions on X. We also show that the extendability of the CR-functions from the pseudoconvex end is necessary but not sufficient for embeddability to be preserved under complex cobordisms.


title: AF-algebras and topology of 3-manifolds

abstract: We construct a functor which maps conjugate pseudo-Anosov automorphisms of a surface to the so-called stably isomorphic stationary AF-algebras; the functor gives new topological invariants of three dimensional manifolds coming from the known invariants of the AF-algebras. The main invariant is a triple (L, [I], K), where L is an integral order in the real number field K and [I] the equivalence class of ideals in L.


title: Twisted jets, motivic measure and orbifold cohomology

abstract: We introduce the notion of twisted jet on a Deligne-Mumford stack. and study the motivic measure on the space of the twisted $\infty$-jets on a smooth Deligne-Mumford stack. As an application, we prove that two birational minimal models with Gorenstein quotient singularities have the same orbifold cohomology with Hodge structure.


title: Generating function polynomials for legendrian links

abstract: It is shown that, in the 1-jet space of the circle, the swapping and the flyping procedures, which produce topologically equivalent links, can produce nonequivalent legendrian links. Each component of the links considered is legendrian isotopic to the 1-jet of the 0-function, and thus cannot be distinguished by the classical rotation number or Thurston-Bennequin invariants. The links are distinguished by calculating invariant polynomials defined via homology groups associated to the links through the theory of generating functions. The many calculations of these generating function polynomials support the belief that these polynomials carry the same information as a refined version of Chekanov's first order polynomials which are defined via the theory of holomorphic curves.


title: La filtration de Krull de la categorie U et la cohomologie des espaces

abstract: Paper written in French -- English abstract: This paper proves a particular case of a conjecture of N. Kuhn. This conjecture is as follows. Consider the Gabriel-Krull filtration of the category U of unstable modules. Let U_n, n>=0, be the n-th step of this filtration. The category U is the smallest thick sub-category that contains all sub-categories U_n and is stable under colimit [L. Schwartz, Unstable modules over the Steenrod algebra and Sullivan's fixed point set conjecture, Chicago Lectures in Mathematics Series (1994)]. The category U_0 is the one of locally finite modules, i.e. the modules that are direct limit of finite modules. The conjecture is as follows, let X be a space then : * either H^*X is locally finite, * or H^*X does not belong to U_n, for all n. As an example the cohomology of a finite space, or of the loop space of a finite space are always locally finite. On the other side the cohomology of the classifying space of a finite group whose order is divisible by 2 does belong to any sub-category U_n. One proves this conjecture, modulo the additional hypothesis that all quotients of the nilpotent filtration are finitely generated. This condition is used when applying N. Kuhn's reduction of the problem. It is necessary to do it to be allowed to apply Lannes' theorem on the cohomology of mapping spaces.[N. Kuhn, On topologically realizing modules over the Steenrod algebra, Ann. of Math. 141 (1995) 321-347].


title: On the effective cone of the moduli space of pointed rational curves

abstract: We compute the effective cone for the moduli space of stable rational curves with at most six marked points.


title: Non-extendable isomorphisms between affine varieties

abstract: In this paper, we report several large classes of affine varieties (over an arbitrary field $K$ of characteristic 0) with the following property: each variety in these classes has an isomorphic copy such that the corresponding isomorphism cannot be extended to an automorphism of the ambient affine space $K^n$. This implies, in particular, that each of these varieties has at least two inequivalent embeddings in $K^n$. The following application of our results seems interesting: we show that lines in $K^2$ are distinguished among irreducible algebraic retracts by the property of having a unique embedding in $K^2$.


title: Centralisers of Involutions in Black Box Groups

abstract: We discuss basic structural properties of finite black box groups. A special emphasis is made on the use of centralisers of involutions in probabilistic recognition of black box groups. In particular, we suggest an algorithm for finding the $p$-core of a black box group of odd characteristic. This special role of involutions suggest that the theory of black box groups reproduces, at a non-deterministic level, some important features of the classification of finite simple groups.


title: Orthogonal and Symplectic Black Box Groups, Revisited

abstract: We propose a simple one sided Monte-Carlo algorithm to distinguish, to any given degree of certainty, between certain symplectic and orthogonal groups over fields of odd order. The algorithm does not use an order oracle and works in polynomial time.


title: Topological classification of generic real rational functions

abstract: To any real rational function with generic ramification points we assign a combinatorial object, called a garden, which consists of a weighted labeled directed planar chord diagram and of a set of weighted rooted trees each corresponding to a face of the diagram. We prove that any garden corresponds to a generic real rational function, and that equivalent functions have equivalent gardens.


title: Integrals of Borcherds forms

abstract: In his Inventiones papers in 1995 and 1998, Borcherds constructed holomorphic automorphic forms $\Psi(F)$ with product expansions on bounded domains $D$ associated to rational quadratic spaces $V$ of signature (n,2). The input $F$ for his construction is a vector valued modular form of weight $1-n/2$ for $SL_2(Z)$ which is allowed to have a pole at the cusp and whose non-positive Fourier coefficients are integers $c_\mu(-m)$, $m\ge0$. For example, the divisor of $\Psi(F)$ is the sum over $m>0$ and the coset parameter $\mu$ of $c_\mu(-m) Z_\mu(m)$ for certain rational quadratic divisors $Z_\mu(m)$ on the arithmetic quotient $X = \Gamma D$. In this paper, we give an explicit formula for the integral $\kappa(\Psi(F))$ of $-\log||\Psi(F)||^2$ over $X$, where $||.||^2$ is the Petersson norm. More precisely, this integral is given by a sum over $\mu$ and $m>0$ of quantities $c_\mu(-m) \kappa_\mu(m)$, where $\kappa_\mu(m)$ is the limit as $Im(\tau) -> \infty$ of the $m$th Fourier coefficient of the second term in the Laurent expansion at $s= n/2$ of a certain Eisenstein series $E(\tau,s)$ of weight $n/2 + 1$ attached to $V$. It is also shown, via the Siegel--Weil formula, that the value $E(\tau, n/2)$ of the Eisenstein series at this point is the generating function of the volumes of the divisors $Z_\mu(m)$ with respect to a suitable K\"ahler form. The possible role played by the quantity $\kappa(\Psi(F))$ in the Arakelov theory of the divisors $Z_\mu(m)$ on $X$ is explained in the last section.


title: An algorithm to generate exactly once every tiling with lozenges of a domain

abstract: We first show that the tilings of a general domain form a lattice which we then undertake to decompose and generate without any redundance. To this end, we study extensively the relatively simple case of hexagons and their deformations. We show that general domains can be broken up into hexagon-like parts. Finally we give an algorithm to generate exactly once every element in the lattice of the tilings of a general domain.


title: Some new formulas for $\pi$

abstract: We show how to find series expansions for $\pi$ of the form $\pi=\sum_{n=0}^\infty {S(n)}\big/{\binom{mn}{pn}a^n}$, where S(n) is some polynomial in $n$ (depending on $m,p,a$). We prove that there exist such expansions for $m=8k$, $p=4k$, $a=(-4)^k$, for any $k$, and give explicit examples for such expansions for small values of $m$, $p$ and $a$.


title: Some aspects of the global geometry of entire space-like submanifolds

abstract: We prove some Bernstein theorems for entire space-like submanifolds in pseudo-Euclidean spaces and, as a corollary, we obtain a new proof of the Calabi-Pogorelov theorem on global solutions of Monge-Ampere equations.


title: Kalai's squeezed 3-spheres are polytopal

abstract: In 1988, Kalai extended a construction of Billera and Lee to produce many triangulated (d-1)-spheres. In fact, in view of upper bounds on the number of simplicial d-polytopes by Goodman and Pollack, he derived that for every dimension d>=5, most of these (d-1)-spheres are not polytopal. However, for d=4, this reasoning fails. We can now show that, as already conjectured by Kalai, all of his 3-spheres are in fact polytopal. Moreover, we can now give a shorter proof of Hebble & Lee's 2000 result that the dual graphs of these 4-polytopes are Hamiltonian. Therefore, the polars of these Kalai polytopes yield another family supporting Barnette's conjecture that all simple 4-polytopes admit a Hamiltonian circuit.


title: Geometric and Physical Interpretation of Fractional Integration and Fractional Differentiation

abstract: A solution to the more than 300-years old problem of geometric and physical interpretation of fractional integration and differentiation (i.e., integration and differentiation of an arbitrary real order) is suggested for the Riemann-Liouville fractional integration and differentiation, the Caputo fractional differentiation, the Riesz potential, and the Feller potential. It is also generalized for giving a new geometric and physical interpretation of more general convolution integrals of the Volterra type. Besides this, a new physical interpretation is suggested for the Stieltjes integral.


title: The Riemann problem with additional singularities

abstract: The Riemann problem is studied in the case when the unknown function has nonisolated singularities, concentrated on the real axis. The problem is used for the factorization of functions, holomorphic outside of the unit circle and the real axis, in the form of the product of two functions which have singulariries on the given set of the real axis.


title: Hilbert's Theorem 90 and algebraic spaces

abstract: In modern form, Hilbert's Theorem 90 tells us that R^1f_*(G_m)=0, where f is the canonical map between the etale site and the Zariski site of a scheme X. I construct examples showing that the corresponding statement for algebraic spaces does not hold. The first example is a nonseparated smooth 1-dimensional bug-eyed cover in Kollar's sense. The second example is a nonnormal proper algebraic space obtained by identifying points on suitable nonprojective smooth proper schemes.


title: The intersection homology D--module in finite characteristic

abstract: Let R be a regular, local and F-finite ring defined over a field of finite characteristic. Let I be an ideal of height c with normal quotient $A=R/I$. It is shown that the local cohomology module H^c_I(R) contains a unique simple D_R--submodule L(A,R). This should be viewed as a finite characteristic analog of the Kashiwara--Brylinski D_R--module in characteristic zero which corresponds to the intersection cohomology complex via the Riemann--Hilbert correspondence. Besides the existence of L(A,R), more importantly, we give its construction as a certain dual of the tight closure of zero in $H^d_m(A)$. We obtain a precise D_R--simplicity criterion for H^c_I(R), namely H^c_I(R) is D_R--simple if and only if the tight closure of zero in H^d_m(A) is Frobenius nilpotent, in particular this is the case if A is F--rational. Furthermore, the techniques developed imply a result in tight closure theory, saying that the parameter test module commutes with completion.


title: Constant mean curvature foliations of flat space--times

abstract: Let $V$ be a maximal globally hyperbolic flat $n+1$--dimensional space--time with compact Cauchy surface of hyperbolic type. We prove that $V$ is globally foliated by constant mean curvature hypersurfaces $M_{\tau}$, with mean curvature $\tau$ taking all values in $(-\infty, 0)$. For $n \geq 3$, define the rescaled volume of $M_{\tau}$ by $\Ham = |\tau|^n \Vol(M,g)$, where $g$ is the induced metric. Then $\Ham \geq n^n \Vol(M,g_0)$ where $g_0$ is the hyperbolic metric on $M$ with sectional curvature -1. Equality holds if and only if $(M,g)$ is isometric to $(M,g_0)$.


title: The Andrews-Curtis Conjecture and Black Box Groups

abstract: The paper discusses the Andrews-Curtis graph of a normal subgroup N in a group G. The vertices of the graph are k-tuples of elements in N which generate N as a normal subgroup; two vertices are connected if one them can be obtained from another by certain elementary transformations. This object appears naturally in the theory of black box finite groups and in the Andrews-Curtis conjecture in algebraic topology. We suggest an approach to the Andrews-Curtis conjecture based on the study of Andrews-Curtis graphs of finite groups, discuss properties of Andrews-Curtis graphs of some classes of finite groups and results of computer experiments with generation of random elements of finite groups by random walks on their Andrews-Curtis graphs.


title: A Homotopy Theory for Stacks

abstract: We give a homotopy theoretic characterization of stacks on a site $\cC$ as the {\it homotopy sheaves} of groupoids on $\cC$. We use this characterization to construct a model category in which stacks are the fibrant objects. We compare different definitions of stacks and show that they lead to Quillen equivalent model categories. In addition, we show that these model structures are Quillen equivalent to the $S^2$-nullification of Jardine's model structure on sheaves of simplicial sets on $\cC$.


title: The Tensor Product of Representations of U_q(sl_2) Via Quivers

abstract: Using the tensor product variety introduced by Malkin and Nakajima, the complete structure of the tensor product of a finite number of integrable highest weight modules of U_q(sl_2) is recovered. In particular, the elementary basis, Lusztig's canonical basis, and the basis adapted to the decomposition of the tensor product into simple modules are all exhibited as distiguished elements of certain spaces of invariant functions on the tensor product variety. For the latter two bases, these distinguished elements are closely related to the irreducible components of the tensor product variety. The space of intertwiners is also interpreted geometrically.


title: Invariants of Boundary Link Cobordism

abstract: An n-dimensional \mu-component boundary link is a codimension 2 embedding of spheres L=\bigsqcup_{\mu}S^n \subset S^{n+2} such that there exist \mu disjoint oriented embedded (n+1)-manifolds which span the components of L. An F_\mu-link is a boundary link together with a cobordism class of such spanning manifolds. The F_\mu-link cobordism group C_n(F_\mu) is known to be trivial when n is even but not finitely generated when n is odd. Our main result is an algorithm to decide whether two odd-dimensional F_\mu-links represent the same cobordism class in C_{2q-1}(F_\mu) assuming q>1. We proceed to compute the isomorphism class of C_{2q-1}(F_\mu), generalizing Levine's computation of the knot cobordism group C_{2q-1}(F_1). Our starting point is the algebraic formulation of Levine, Ko and Mio who identify C_{2q-1}(F_\mu) with a surgery obstruction group, the Witt group G^{(-1)^q,\mu}(Z) of \mu-component Seifert matrices. We obtain a complete set of torsion-free invariants by passing from integer coefficients to complex coefficients and by applying the algebraic machinery of Quebbemann, Scharlau and Schulte. Signatures correspond to `algebraically integral' simple self-dual representations of a certain quiver (directed graph with loops). These representations, in turn, correspond to algebraic integers on an infinite disjoint union of real affine varieties. To distinguish torsion classes, we consider rational coefficients in place of complex coefficients, expressing G^{(-1)^q,\mu}(Q) as an infinite direct sum of Witt groups of finite-dimensional division Q-algebras with involution. Numerical invariants of such Witt groups are available in the literature.


title: A remark on resolution of terminal singularities

abstract: Let $(Z,o)$ be a three-dimensional terminal singularity of type $cA/r$. We prove that all exceptional divisors over $o$ with discrepancies $\le 1$ are rational.


title: Minimal Lagrangian submanifolds in the complex hyperbolic space

abstract: In this paper we construct new examples of minimal Lagrangian submanifolds in the complex hyperbolic space with large symmetry groups, obtaining three 1-parameter families with cohomegeneity one. We characterize them as the only minimal Lagrangian submanifolds in CH^n foliated by umbilical hypersurfaces of Lagrangian subspaces RH^n of CH^n. Several suitable generalizations of the above construction allow us to get new families of minimal Lagrangian submanifolds in CH^n from curves in CH^1 and (n-1)-dimensional minimal Lagrangian submanifolds of the complex space forms CP^n-1, CH^n-1 and C^n-1. Similar constructions are made in the complex projective space.


title: Total Masses of Mixed Monge-Ampere Currents

abstract: Monge-Ampere currents generated by plurisubharmonic functions of logarithmic growth are studied. Upper bounds for their total masses are obtained in terms of growth characteristics of the functions. In particular, this gives a plurisubharmonic version of D.Bernstein's theorem on the number of zeros of polynomial mappings in terms of the Newton polyhedra, and a representation for Demailly's generalized degrees of plurisubharmonic functions.


title: C*-Structure and K-Theory of Boutet de Monvel's Algebra

abstract: We consider the norm closure $A$ of the algebra of all operators of order and class zero in Boutet de Monvel's calculus on a manifold $X$ with boundary $Y$. We first describe the image and the kernel of the continuous extension of the boundary principal symbol to $A$. If the $X$ is connected and $Y$ is not empty, we then show that the K-groups of $A$ are topologically determined. In case the manifold, its boundary and the tangent space of the interior have torsion-free K-theory, we prove that $K_i(A/K)$ is isomorphic to the direct sum of $K_i(C(X))$ and $K_{1-i}(C_0(TX'))$, for i=0,1, with $K$ denoting the compact ideal and $TX'$ the tangent bundle of the interior of $X$. Using Boutet de Monvel's index theorem, we also prove this result for i=1 without assuming the torsion-free hypothesis. We also give a composition sequence for $A$.


title: Secant varieties and successive minima

abstract: Given an arithmetic surface and a positive hermitian line bundle over it, we bound the successive minima of the lattice of global sections of this line bundle. Our method combines a result of C.Voisin on secant varieties of projective curves with previous work by the author on the arithmetic analog of the Kodaira vanishing theorem. The paper also includes a result of A.Granville on the divisibility properties of binomial coefficients in a given line of Pascal's triangle.


title: Motivic measures and stable birational geometry

abstract: We study the motivic Grothendieck group of algebraic varieties from the point of view of stable birational geometry. In particular, we obtain a counter-example to a conjecture of M. Kapranov on the rationality of motivic zeta-function.


title: Appendix: On linear subspaces contained in the secant varieties of a projective curve

abstract: We show that the d-th secant variety of a projective curve of genus g imbedded in projective space by a complete linear system of degree 2g-2+m, with m at least 2d+3, does not contain linear spaces of dimension bigger than d-1, and that the only linear subspaces of dimension d-1 contained in it are the obvious ones.


title: A reason for fusion rules to be even

abstract: We show that certain tensor product multiplicities in semisimple braided sovereign tensor categories must be even. The quantity governing this behavior is the Frobenius-Schur indicator. The result applies in particular to the representation categories of large classes of groups, Lie algebras, Hopf algebras and vertex algebras.


title: Vector bundles on a three dimensional neighborhood of a ruled surface

abstract: Let $S$ be a ruled surface inside a smooth threefold $W$ and let $E$ be a vector bundle on a formal neighborhood of $S.$ We find minimal conditions under which the local moduli space of $E$ is finite dimensional and smooth. Moreover, we show that $E$ is a flat limit of a flat family of vector bundles whose general element we describe explicitly.


title: Rank 4 vector bundles on the quintic threefold

abstract: By the results of the author and Chiantini in Math.AG/0110102, on a general quintic threefold $X \subset {\mathbf P}^4$ the minimum integer $p$ for which there exists a positive dimensional family of irreducible rank $p$ vector bundles on $X$ without intermediate cohomology is at least three. In this paper we show that $p \leq 4$, by constructing series of positive dimensional families of rank 4 vector bundles on $X$ without intermediate cohomology. The general member of such family is an indecomposable bundle from the extension class $Ext^1(E,F)$, for a suitable choice of the rank 2 ACM bundles $E$ and $F$ on $X$. The existence of such bundles of rank $p = 3$ remains under question.


title: On the existence of completely saturated packings and completely reduced covering

abstract: A packing by a body $K$ is collection of congruent copies of $K$ (in either Euclidean or hyperbolic space) so that no two copies intersect nontrivially in their interiors. A covering by $K$ is a collection of congruent copies of $K$ such that for every point $p$ in the space there is copy in the collection containing $p$. A completely saturated packing is one in which it is not possible to replace a finite number of bodies of the packing with a larger number and still remain a packing. A completely reduced covering is one in which it is not possible to replace a finite number of bodies of the covering with a smaller number and still remain a covering. It was conjectured by G. Fejes Toth, G. Kuperberg, and W. Kuperberg that completely saturated packings and commpletely reduced coverings exist for every body $K$ in either $n$-dimensional Euclidean or $n$-dimensional hyperbolic space. We prove this conjecture.


title: On an alternate proof of Hamilton's matrix Harnack inequality for the Ricci flow

abstract: Based on a suggestion of Richard Hamilton, we give an alternate proof of his matrix Harnack inequality for solutions of the Ricci flow with positive curvature operator. This Harnack inequality says that a certain endomorphism, consisting of an expression in the curvature and its first two covariant derivatives, of the bundle of 2-forms Whitney sum 1-forms is nonnegative. The idea is to consider the 2-form which minimizes the associated quadratic form to obtain a symmetric 2-tensor. A long but straightforward computation implies this 2-tensor is a subsolution to heat-type equation. A standard application of the maximum principle implies the result.


title: On the group orders of elliptic curves over finite fields

abstract: Given a prime power q, for every pair of positive integers m and n with m dividing the GCD of n and q-1, we construct a modular curve over F_q that parametrizes elliptic curves over F_q along with F_q-defined points P and Q of order m and n, respectively, with P and (n/m)Q having a given Weil pairing. Using these curves, we estimate the number of elliptic curves over F_q that have a given integer N dividing the number of their F_q-defined points.


title: Short Calculus

abstract: This paper has been withdrawn by the author.


title: Exemples de Lattes et domaines faiblement spheriques de C^n

abstract: In this paper, we study the attracting basins of the origin in C^(k+1) for the polynomial lifts of Lattes examples. We show that their boundaries are obtained as quotient of a spherical hypersurface and we explicit the singularities that appear. These domains are surprising, because they are very close to the ball, and admit a non injective self proper holomorphic map. For the proof, we desingularize these boundaries into a spherical hypersurface in a line bundle over a complex torus by using theta fonctions. Finally, we discuss some examples in dimension 2. We show that some critically finite endomorphisms of CP^2 considered by Ueda are actually Lattes examples although the one studied by Fornaess and Sibony is not.


title: Induced Representations of Quantum Groups

abstract: In this paper we show how to construct explicitly induced representations for bicrossproduct Hopf algebras with abelian kernels starting from one-dimensional characters of the commutative sector. We introduce this technique by means of two concrete physical examples: two quantum deformations of the (1+1) Galilei algebra.


title: Elements of the theory of induced representations

abstract: We analyze the elements characterizing the theory of induced representations of Lie groups, in order to generalize it to quantum groups. We emphasize the geometric and algebraic aspects of the theory, because they are more suitable for generalization in the framework of Hopf algebras. As an example, we present the induced representations of a quantum deformation of the extended Galilei algebra in (1+1) dimensions.


title: A noncommutative version of the Banach-Stone theorem (II)

abstract: In this paper, we extend the Banach-Stone theorem to the non commutative case, i.e, we give a partial answere to the question 2.1 of [13], and we prove that the structure of the postliminal C*-algebras A determines the topology of its primitive ideals space.


title: Local action of the symmetric group and the twisted Yang-Baxter relation

abstract: The generalization of the the Yang-Baxter relation is proposed. In this generalization the spectral parameters of the particles change after the scattering. The corresponding algebraic structures are discussed. The corresponding action of the symmetric group is studied. The most interesting examples of such action are connected with factorization of matrix polynomials and matrix $theta$-functions. The generalization of the star-triangle relation is also proposed.


title: A remark on Fourier pairing and binomial formula for Macdonald polynomials

abstract: We give a concise direct proof of the orthogonality of interpolation Macdonald polynomials with respect to the Fourier pairing and briefly discuss some immediate applications of this orthogonality, such as the symmetry of the Fourier pairing and the binomial formula.


title: A very ampleness result

abstract: Let (M,L) be a polarized manifold and let G(M,L) be the graded algebra generated by H^0(M,iL) in degree i. The aim of this paper is to establish a connection between the generators of G(M,L) and the very ampleness of the line bundle rL. Some applications are given.


title: Q-Curvature and Poincare Metrics

abstract: This article presents a new definition of Branson's Q-curvature in even-dimensional conformal geometry. We derive the Q-curvature as a coefficient in the asymptotic expansion of the formal solution of a boundary problem at infinity for the Laplacian in the Poincare metric associated to the conformal structure. This gives an easy proof of the result of Graham-Zworski that the log coefficient in the volume expansion of a Poincare metric is a multiple of the integral of the Q-curvature, and leads to a definition of a non-local version of the Q-curvature in odd dimensions.


title: Remarks on Ruelle Operator and invariant line fields problem II

abstract: Let R be rational map. Critical point c is called summable if series $\sum_i\frac{1}{(R^i)'(R(c))}$ is absolutely convergent. Under some topological condition on postcritical set we prove that R can not be structurally stable if summable critical point $c \in J(R)$.


title: Some properties of the theory of n-categories

abstract: Let $L_n$ denote the Dwyer-Kan localization of the category of weak n-categories divided by the n-equivalences. We propose a list of properties that this simplicial category is likely to have, and conjecture that these properties characterize $L_n$ up to equivalence. We show, using these properties, how to obtain the morphism $n-1$-categories between two points in an object of $L_n$ and how to obtain the composition map between the morphism objects.


title: Sampling theorems for the Heisenberg groups

abstract: In the first part of the paper a general notion of sampling expansions for locally compact groups is introduced, and its close relationship to the discretisation problem for generalised wavelet transforms is established. In the second part, attention is focussed on the simply connected nilpotent Heisenberg group $\HH$. We derive criteria for the existence of discretisations and sampling expansions associated to lattices in $\HH$. Analogies and differences to the sampling theorem over the reals are discussed, in particular a notion of bandwidth on $\HH$ will figure prominently. The main tools for the characterisation are the Plancherel formula of $\HH$ and the theory of Weyl-Heisenberg frames. In the last section we compute an explicit example


title: Representations of Quantum Bicrossproduct Algebras

abstract: We present a method to construct induced representations of quantum algebras having the structure of bicrossproduct. We apply this procedure to some quantum kinematical algebras in (1+1)--dimensions with this kind of structure: null-plane quantum Poincare algebra, non-standard quantum Galilei algebra and quantum kappa Galilei algebra.


title: On an inverse problem for finite-difference operators of second order

abstract: The Jacobi matrices with bounded elements whose spectrum of multiplicity 2 is separated from its simple spectrum and contains an interval of absolutely continuous spectrum are considered. A new type of spectral data, which are analogous for scattering data, is introduced for this matrix. An integral equation that allows us to reconstruct the matrix from this spectral data is obtained. We use this equation to solve the Cauchy problem for the Toda lattice with the initial data that are not stabilized.


title: Crepant Resolutions of Gorenstein Toric Singularities and Upper Bound Theorem

abstract: A necessary condition for the existence of torus-equivariant crepant resolutions of Gorenstein toric singularities can be derived by making use of a variant of the classical Upper Bound Theorem which is valid for simplicial balls.


title: Resolving 3-dimensional toric singularities

abstract: This paper surveys, in the first place, some basic facts from the classification theory of normal complex singularities, including details for the low dimensions 2 and 3. Next, it describes how the toric singularities are located within the class of rational singularities, and recalls their main properties. Finally, it focuses, in particular, on a toric version of Reid's desingularization strategy in dimension three


title: A comparison of Vassiliev and Ziegler-Zivaljevic models for homotopy types of subspace arrangements

abstract: In this paper we represent the Vassiliev model for the homotopy type of the one-point compactification of subspace arrangements as a homotopy colimit of an appropriate diagram over the nerve complex of the intersection semilattice of the arrangement. Furthermore, using a generalization of simplicial collapses to diagrams of topological spaces over simplicial complexes, we construct an explicit deformation retraction from the Vassiliev model to the Ziegler-Zivaljevic model.


title: The shape theorem for the frog model with random initial configuration

abstract: We prove a shape theorem for a growing set of simple random walks on Z^d, known as frog model. The dynamics of this process is described as follows: There are active particles, which perform independent discrete time SRWs, and sleeping particles, which do not move. When a sleeping particle is hit by an active particle, the former becomes active as well. Initially, a random number of particles is placed into each site. At time 0 all particles are sleeping, except for those placed at the origin. We prove that the set of all sites visited by active particles, rescaled by the elapsed time, converges to a compact convex set.


title: Integrals over Grassmannians and Random permutations

abstract: In testing the independence of two Gaussian populations, one computes the distribution of the sample canonical correlation coefficients, given that the actual correlation is zero. The "Laplace transform" of this distribution is not only an integral over the Grassmannian of p-dimensional planes in complex n-space, but is also related to a generalized hypergeometric function. Such integrals are solutions of Painlev\'e-like equations. They also have expansions, related to random words of length l formed with an alphabet of p letters. Given that each letter appears in the word, the maximal length of the disjoint union of p increasing subsequences of the word clearly equals l. But the maximal length of the disjoint union of p-1 increasing subsequences leads to a non-trivial distribution. It is precisely this probability which appears in the expansion above.


title: K3 surfaces via almost-primes

abstract: Based on the result on derived categories on K3 surfaces due to Mukai and Orlov and the result concerning almost-prime numbers due to Iwaniec, we remark the following fact: For any given positive integer N, there are N (mutually non-isomorphic) projective complex K3 surfaces such that their Picard lattices are not isomorphic but their transcendental lattices are Hodge isometric, or equivalently, their derived categories are mutually equivalent. After reviewing some finiteness result, we also give an explicit formula for the cardinality of the isomorphism classes of projective K3 surfaces having derived categories equivalent to the one of X with Picard number 1 in terms of the degree of X.


title: Additive structure of multiplicative subgroups of fields and Galois theory

abstract: One of the fundamental questions in current field theory, related to Grothendieck's conjecture of birational anabelian geometry, is the investigation of the precise relationship between the Galois theory of fields and the structure of the fields themselves. In this paper we initiate the classification of additive properties of multiplicative subgroups of fields containing all squares, using pro-2-Galois groups of nilpotency class at most 2, and of exponent at most 4. This work extends some powerful methods and techniques from formally real fields to general fields of characteristic not 2.


title: Some Galois extensions of quadratic extensions associated with Witt rings

abstract: A Galois field extension $E/F$ whose Galois group is a pro-2-group of an exponent of at most 8, with a nilpotency class of at most 4, is determined, such that it contains essential information about the Witt rings of all quadratic extensions of $F$.


title: Grafting Seiberg-Witten monopoles

abstract: We demonstrate that the operation of taking disjoint unions of J-holomorphic curves (and thus obtaining new J-holomorphic curves) has a Seiberg-Witten counterpart. The main theorem asserts that, given two solutions (A_i, psi_i), i=0,1 of the Seiberg-Witten equations for the Spin^c-structure W^+_{E_i}= E_i direct sum (E_i tensor K^{-1}) (with certain restrictions), there is a solution (A, psi) of the Seiberg-Witten equations for the Spin^c-structure W_E with E= E_0 tensor E_1, obtained by `grafting' the two solutions (A_i, psi_i).


title: The Orevkov invariant of an affine plane curve

abstract: We show that although the fundamental group of the complement of an algebraic affine plane curve is not easy to compute, it possesses a more accessible quotient, which we call the Orevkov invariant.


title: mm-Spaces and group actions

abstract: These are introductory notes on some aspects of concentration of measure in the presence of an acting group and its links to Ramsey theory.


title: Cycles in hyperbolic manifolds of non-compact type and Fourier coefficients of Siegel modular forms

abstract: Throughout the 1980's, Kudla and the second named author studied integral transforms from rapidly decreasing closed differential forms on arithmetic quotients of the symmetric spaces of orthogonal and unitary groups to spaces of classical Siegel and Hermitian modular forms. These transforms came from the theory of dual reductive pairs and the theta correspondence. They computed the Fourier expansion of these transforms in terms of periods over certain totally geodesic cycles . This also gave rise to the realization of intersection numbers of these `special' cycles with cycles with compact support as Fourier coefficients of modular forms. The purpose of this paper is to initiate a systematic study of this transform for non rapidly decreasing differential forms by considering the case for the finite volume quotients of hyperbolic space coming from unit groups of isotropic quadratic forms over the rationals. We expect that many of the techniques and features of this case will carry over to the more general situation.


title: Derivatives of Eisenstein series and Faltings heights

abstract: We prove a relation between a generating series for the heights of Heegner cycles on the arithmetic surface associated to a Shimura curve and the second term in the Laurent expansion at s=1/2 of an Eisenstein series of weight 3/2 for SL(2). On the geometric side, a typical coefficient of the generating series involves the Faltings heights of abelian surfaces isogenous to a product of CM elliptic curves, an archimedean contribution, and contributions from vertical components in the fibers of bad reduction. On the analytic side, these terms arise via the derivatives of local Whittaker functions. It should be noted that s=1/2 is not the central point for the functional equation of the Eisenstein series in question. Moreover, the first term of the Laurent expansion at s=1/2 coincides with the generating function for the degrees of the Heegner cycles on the generic fiber, and, in particular, does not vanish.


title: On nonlinear equations integrable in theta functions of nonprincipally polarized Abelian varieties

abstract: The formula of expanding the Abel variety theta function restricted to Abel subvariety into theta functions of this subvariety is obtained. With the help of this formula the solution of differential equations with Jacobi theta functions, restricted on a nonprincipally polarized Abel subvariety and their translations are rewritten in terms of the theta functions of these subvarieties. This is exemplified by the CKP equations, the Bogoyavlenskij system, and the Toda $g_2^{(1)}$-chain.


title: Commutative rings of differential operators connected with two-dimensional Abelian varieties

abstract: In this paper we find the explicit formulas of two dimensional commuting ($2\times 2$)-matrix differential operators which were introduced by Nakayashiki. The common eigen functions and eigen values of these operators are parametrized by the points of principally polarized Abelian varieties.


title: On the Ma\'{c}kowiak-Tymchatyn theorem

abstract: In this paper we give new proofs of the theorem of Ma\'{c}kowiak and Tymchatyn that every metric continuum is a weakly-confluent image of some one-dimensional hereditarily indecomposable continuum of countable weight. The first is a model-theoretic argument; the second is a topological proof inspired by the first.


title: Resolution of the Cauchy problem for the Toda lattice with non-stabilized initial data

abstract: This paper is the continuation of the work "On an inverse problem for finite-difference operators of second order". We consider the Cauchy problem for the Toda lattice in the case when the corresponding L-operator is a Jacobi matrix with bounded elements, whose spectrum of multipliciy 2 is separated from its simple spectrum and contains an interval of asolutely continuous spectrum. Using the integral equation of the inverse problem for this matrix, obtained in the previous work, we solve the Cauchy problem for the Toda lattice with non-stabilized initial data.


title: A semicontinuous trace for almost local operators on an open manifold

abstract: A semicontinuous semifinite trace is constructed on the C*-algebra generated by the finite propagation operators acting on the L^2-sections of a hermitian vector bundle on an amenable open manifold of bounded geometry. This trace is the semicontinuous regularization of a functional already considered by J. Roe. As an application, we show that, by means of this semicontinuous trace, Novikov-Shubin numbers for amenable manifolds can be defined (cf. math.OA/9802015 for an alternate definition).


title: An asymptotic dimension for metric spaces, and the 0-th Novikov-Shubin invariant

abstract: A nonnegative number d_infinity, called asymptotic dimension, is associated with any metric space. Such number detects the asymptotic properties of the space (being zero on bounded metric spaces), fulfills the properties of a dimension, and is invariant under rough isometries. It is then shown that for a class of open manifolds with bounded geometry the asymptotic dimension coincides with the 0-th Novikov-Shubin number alpha_0 defined previously (math.OA/9802015, cf. also math.DG/0110294). Thus the dimensional interpretation of alpha_0 given in the mentioned paper in the framework of noncommutative geometry is established on metrics grounds. Since the asymptotic dimension of a covering manifold coincides with the polynomial growth of its covering group, the stated equality generalises to open manifolds a result by Varopoulos.


title: Transience, Recurrence and Critical Behavior for Long-Range Percolation

abstract: We study the behavior of the random walk on the infinite cluster of independent long range percolation in dimensions $d=1,2$, where $x$ and $y$ a re connected with probability $\sim\beta/\|x-y\|^{-s}$. We show that when $d<s<2d$ the walk is transient, and when $s\geq 2d$, the walk is recurrent. The proof of transience is based on a renormalization argument. As a corollary of this renormalization argument, we get that for every dimension $d$, if $d<s<2d$, then critical percolation has no infinite clusters. This result is extended to the free random cluster model. A second corollary is that when $d\geq 2$ and $d<s<2d$ we can erase all long enough bonds and still have an infinite cluster. The proof of recurrence in two dimensions is based on general stability results for recurrence in random electrical networks. In particular, we show that i.i.d. conductances on a recurrent graph of bounded degree yield a recurrent electrical network.


title: Deformations of large fundamental groups

abstract: A projective variety has a large fundamental group if its universal covering has no compact subvarieties. In this paper we investigate whether the property of a variety having a large fundamental groups is stable under K\"{a}hler deformations.


title: Reconstruction of less regular conductivities in the plane

abstract: We study the inverse conductivity problem of how to reconstruct an isotropic electrical conductivity distribution $\gamma$ in an object from static electrical measurements on the boundary of the object. We give an exact reconstruction algorithm for the conductivity $\gamma\in C^{1+\epsilon}(\ol \Om)$ in the plane domain $\Omega$ from the associated Dirichlet to Neumann map on $\partial \Om.$ Hence we improve earlier reconstruction results. The method used relies on a well-known reduction to a first order system, for which the $\ol\partial$-method of inverse scattering theory can be applied.


title: Locating anisotropies in electrical impedance tomography

abstract: In this article, we consider the problem of finding the support of an inhomogenous possibly anisotropic inclusion in a background of constant electric conductivity from the electrical impedance tomography data at the boundary of a bounded body. The article discusses the linear sampling method applied to this problem. A practical algorithm for solving this problem is suggested.


title: Infinitely Many Eclipses

abstract: We show that any bounded zero-angular momentum solution for the Newtonian three-body problem must suffer infinitely many eclipses, or collinearities, provided that it does not suffer a triple collision. Motivation for the result comes from the dream of building a symbolic dynamics for the three-body problem, one whose symbols 1, 2, 3 representing the three types of eclipses. The proof involves the conformal geometry of the shape sphere.


title: Embedded spheres and 4-manifolds with spin coverings

abstract: A strategy for constructing an embedded sphere in a 4-manifold realizing a given homology class which has been successfully applied in the past is to represent the class as a first step stably by an embedded sphere, i.e. after adding products of 2-spheres, and to move that sphere back into the original manifold. In this paper, we study under what conditions the first step of this approach can be carried out if the 4-manifold at hand is not simply connected. One of our main results is that there are - apart from the well known Arf invariant - additional bordism theoretical obstructions to stably representing homology classes by embedded spheres.


title: A semi-numerical computation for the added mass coefficients of an oscillating hemi-sphere at very low and very high frequencies

abstract: A floating hemisphere under forced harmonic oscillation at very high and very low frequencies is considered. The problem is reduced to an elliptic one, that is, the Laplace operator in the exterior domain with standard Dirichlet and Neumann boundary conditions, so the flow problem is simplified to standard ones, with well known analytic solutions in some cases. The general procedure is based in the use of spherical harmonics and its derivation is based on a physics insight. The results can be used to test the accuracy achieved by numerical codes as, for example, by finite elements or boundary elements.


title: Homotopy Lie algebras, lower central series and the Koszul property

abstract: Let X and Y be finite-type CW-complexes (X connected, Y simply connected), such that the rational cohomology ring of Y is a k-rescaling of the rational cohomology ring of X. Assume H^*(X,Q) is a Koszul algebra. Then, the homotopy Lie algebra pi_*(Omega Y) tensor Q equals, up to k-rescaling, the graded rational Lie algebra associated to the lower central series of pi_1(X). If Y is a formal space, this equality is actually equivalent to the Koszulness of H^*(X,Q). If X is formal (and only then), the equality lifts to a filtered isomorphism between the Malcev completion of pi_1(X) and the completion of [Omega S^{2k+1}, Omega Y]. Among spaces that admit naturally defined homological rescalings are complements of complex hyperplane arrangements, and complements of classical links. The Rescaling Formula holds for supersolvable arrangements, as well as for links with connected linking graph.


title: A classification of topologically stable Poisson structures on a compact oriented surface

abstract: Poisson structures vanishing linearly on a set of smooth closed disjoint curves are generic in the set of all Poisson structures on a compact connected oriented surface. We construct a complete set of invariants classifying these structures up to an orientation-preserving Poisson isomorphism. We show that there is a set of non-trivial infinitesimal deformations which generate the second Poisson cohomology and such that each of the deformations changes exactly one of the classifying invariants. As an example, we consider Poisson structures on the sphere which vanish linearly on a set of smooth closed disjoint curves.


title: Stochastic processes on non-Archimedean spaces with values in non-Archimedean fields

abstract: Stochastic processes on topological vector spaces over non-Archimedean fields and with transition measures having values in non-Archimedean fields are defined and investigated. For this the non-Archimedean analog of the Kolmogorov theorem is proved. The analogos of Markov and Poisson processes are studied. For Poisson processes the corresponding Poisson measures are considered and the non-Archimedean analog of the L\`evy theorem is proved. Wide classes of stochastic processes are constructed.


title: Diffeomorphisms with an anomalous growth of the differential

abstract: The paper is withdrawn.


title: The generalized Borwein conjecture. II. Refined q-trinomial coefficients

abstract: Transformation formulas for four-parameter refinements of the q-trinomial coefficients are proven. The iterative nature of these transformations allows for the easy derivation of several infinite series of q-trinomial identities, and can be applied to prove many instances of Bressoud's generalized Borwein conjecture.


title: A Combinatorial Method for Computing Steenrod Squares

abstract: We present here a combinatorial method for computing cup-$i$ products and Steenrod squares of a simplicial set $X$. This method is essentially based on the determination of explicit formulae for the component morphisms of a higher diagonal approximation (i.e., a family of morphisms measuring the lack of commutativity of the cup product on the cochain level) in terms of face operators of $X$. A generalization of this method to Steenrod reduced powers is sketched. This description can be considered as a translation of the most ancient definition of Steenrod squares to the general setting of the Simplicial Topology.


title: Notes on Linear Algebra

abstract: This paper has been withdrawn by the author.


title: Estimation of dimension functions of band-limited wavelets

abstract: The dimension function D_psi of a band-limited wavelet is bounded by n if the support of its Fourier transform is contained in the interval [-{2^(n+2)/3}pi, {2^(n+2)/3}pi]. For each positive integer n and for each epsilon > 0, we construct a wavelet psi with support of $\hat psi$ contained in [-{2^(n+2)/3}pi, {2^(n+2)/3}pi + epsilon] such that D_psi > n on a set of positive measure, which proves that [-{2^(n+2)/3}pi, {2^(n+2)/3}pi] is the largest symmetric interval for estimating the dimension function by n.


title: The categorical theory of relations and quantizations

abstract: In this paper we develope a categorical theory of relations and use this formulation to define the notion of quantization for relations. Categories of relations are defined in the context of symmetric monoidal categories. They are shown to be symmetric monoidal categories in their own right and are found to be isomorphic to certain categories of $A-A$ bicomodules. Properties of relations are defined in terms of the symmetric monoidal structure. Equivalence relations are shown to be commutative monoids in the category of relations. Quantization in our view is a property of functors between monoidal categories. This notion of quantization induce a deformation of all algebraic structures in the category, in particular the ones defining properties of relations like transitivity and symmetry.


title: The Kodaira dimension of moduli spaces of curves with marked points, II

abstract: We sharpen our previous results on the g and n such that the moduli space of curves of genus g with n marked points is of general type.


title: Relative family Gromov-Witten invariants and symplectomorphisms

abstract: We study the symplectomorphism groups $G_{\lambda}=Symp_0(M,\omega_{\lambda})$ of an arbitrary closed manifold M equipped with a 1-parameter family of symplectic forms $\omega_{\lambda}$ with variable cohomology class. We show that the existence of nontrivial elements in $\pi_*({\cal A},{\cal A}')$, where $({\cal A},{\cal A}')$ is a suitable pair of spaces of almost complex structures, implies the exiarxiv.org stence of families of nontrivial elements in $\pi_{*-i}G_{\lambda}$, for $i=1$ or 2. Suitable parametric Gromov Witten invariants detect nontrivial elements in $\pi_*({\cal A},{\cal A}')$. By looking at certain resolutions of quotient singularities we investigate the situation $(M,\omega_{\lambda})= (S^2 \times S^2 \times X,\sigma_F \oplus \lambda \sigma_B \oplus \omega_{st})$, with $(X,\omega_{st})$ an arbitrary symplectic manifold. We find families of nontrivial elements in $\pi_k(G_{\lambda}^X)$, for countably many $k$ and different values of $\lambda$. In particular we show that the fragile elements $w_{\ell}$ found by Abreu-McDuff in $\pi_{4 \ell}(G_{\ell+1}^{pt})$ do not disappear when we consider them in $S^2 \times S^2 \times X$.


title: Computing Cocycles on Simplicial Complexes

abstract: In this note, working in the context of simplicial sets, we give a detailed study of the complexity for computing chain level Steenrod squares, in terms of the number of face operators required. This analysis is based on the combinatorial formulation given in [R. Gonzalez-Diaz, P. Real. A Combinatorial Method for Computing Steenrod Squares. J. of Pure and Applied Algebra, 139 (1999) 89-108]. As an application, we give here an algorithm for computing cup-$i$ products over integers on a simplicial complex at chain level.


title: Manifolds of algebraic elements in the algebra L(H) of bounded linear operators

abstract: Given a complex Hilbert space H, we study the differential geometry of the manifold A of normal algebraic elements in Z=L(H), the algebra of bounded linear operators on H. We represent A as a disjoint union of subsets M of Z and, using the algebraic structure of Z, a torsionfree affine connection $\nabla$ (that is invariant under the group G= Aut (Z) of automorphisms of Z) is defined on each of these connected components and the geodesics are computed. In case M consists of elements that have a fixed finite rank r, (0<r<\infty), G-invariant Riemann and K\"ahler structures are defined on M which in this way becomes a totally geodesic symmetric holomorphic manifold.