title: Cut-and-Paste on Foliated Bundles

abstract: We discuss the behaviour of the signature index class of closed foliated bundles under the operation of cutting and pasting. Along the way we establish several index theoretic results: we define Atiyah-Patodi-Singer (APS) index classes for Dirac-type operators on foliated bundles with boundary; we prove a relative index theorem for the difference of two APS-index classes associated to different boundary conditions; we prove a gluing formula on closed foliated bundles that are the union of two foliated bundles with boundary; we establish a variational formula for APS-index classes of a 1-parameter family of Dirac-type operators on foliated bundles (this formula involves the noncommutative spectral flow of the boundary family). All these formulas take place in the $K$-theory of a suitable cross-product algebra. We then apply these results in order to find sufficient conditions ensuring the equality of the signature index classes of two cut-and-paste equivalent foliated bundles. We give applications to the question of when the Baum-Connes higher signatures of closed foliated bundles are cut-and-paste invariant.


title: Logarithmic De Rham, Infinitesimal and Betti Cohomologies

abstract: In this article, we analyze the connection between the Log De Rham Cohomology of an fs (not necessary log smooth) log scheme $Y$ over $\mathbb C$ (for $Y$ admitting an exact closed immersion into an fs log smooth log scheme over $\mathbb C$), its Log Infinitesimal Cohomology $H^{^.}(Y^{log}_{inf}, \mathcal O_{Y^{log}_{inf}})$, and its Log Betti Cohomology, which is the Cohomology of its associated Kato-Nakayama topological space $Y^{an}_{log}$, and we prove that they are isomorphic. These results are the log scheme analogues of two classical comparison theorems.


title: Erratum: Studying Links via Closed Braids IV: Composite Links and Split Links

abstract: The purpose of this erratum is to fill a gap in the proof of the `Composite Braid Theorem' in the manuscript "Studying Links Via Closed Braids IV: Composite Links and Split Links (SLVCB-IV)", Inventiones Math, \{bf 102\} Fasc. 1 (1990), 115-139. The statement of the theorem is unchanged. The gap occurs on page 135, lines $13^-$ to $11^-$, where we fail to consider the case: $V_2 = 4, V_4 > 0, V_j=0$ if $j not= 2,4,$ and all 4 vertices of valence 2 are bad. At the end of this Erratum we make some brief remarks on the literature, as it has evolved during the 14 years between the publication of SLVCB-IV and the submission of this Erratum.


title: First eigenvalue and Maximum principle for fully nonlinear singular operators

abstract: Through the Maximum principle we define the principal eigenvalue for a class of fully-nonlinear operators that are the non-variational equivalent of the p-Laplacian. We also obtain some a priori Holder estimates for non-negative solutions below that eigenvalue.


title: Half of an inseparable pair

abstract: A classical theorem of Luzin is that the separation principle holds for the Pi^0_alpha sets but fails for the Sigma^0_alpha sets. We show that for every Sigma^0_alpha set A which is not Pi^0_alpha there exists a Sigma^0_alpha set B which is disjoint from A but cannot be separated from A by a Delta^0_alpha set C. Assuming Pi^1_1-determancy it follows from a theorem of Steel that a similar result holds for Pi^1_1 sets. On the other hand assuming V=L there is a proper Pi^1_1 set which is not half of a Borel inseparable pair. These results answer questions raised by F.Dashiell. Latest version at: www.math.wisc.edu/~miller/


title: Newton's aerodynamic problem in media of chaotically moving particles

abstract: We study the problem of minimal resistance for a body moving with constant velocity in a rarefied medium of chaotically moving point particles, in Euclidean space R^d. The particles distribution over velocities is radially symmetric. Under some additional assumptions on the distribution function, the complete classification of bodies of least resistance is made. In the case of three and more dimensions there are two kinds of solutions: a body similar to the solution of classical Newton's problem and a union of two such bodies ``glued together'' by rear parts of their surfaces. In the two-dimensional case there are solutions of five different types: (a) a trapezium; (b) an isosceles triangle; (c) the union of a triangle and a trapezium with common base; (d) the union of two isosceles triangles with common base; (e) the union of two triangles and a trapezium. The cases (a)--(d) are realized for any distribution of particles over velocities, and the case (e) is only realized for some distributions. Two limit cases are considered, where the average velocity of particles is big and where it is small as compared to the body's velocity. Finally, using the obtained analytical results, we study numerically a particular case: the problem of body's motion in a rarefied homogeneous monatomic ideal gas of positive temperature in R^2 and in R^3.


title: Virtual Knot Diagrams and the Witten-Reshetikhin-Turaev Invariant

abstract: The Witten-Reshetikhin-Turaev invariant of classical link diagrams is generalized to virtual link diagrams. This invariant is unchanged by the framed Reidemeister moves and the Kirby calculus. As a result, it is also an invariant of the 3-manifolds represented by the classical link diagrams. This generalization is used to demonstrate that there are virtual knot diagrams with a non-trivial Witten-Reshetikhin-Turaev invariant and trivial 3-manifold fundamental group.


title: Rational functions and real Schubert calculus

abstract: We single out some problems of Schubert calculus of subspaces of codimension 2 that have the property that all their solutions are real provided that the data are real. Our arguments explore the connection between subspaces of codimension 2 and rational functions of one variable.


title: On the Noether Invariance Principle for Constrained Optimal Control Problems

abstract: We obtain a generalization of Noether's invariance principle for optimal control problems with equality and inequality state-input constraints. The result relates the invariance properties of the problems with the existence of conserved quantities along the constrained Pontryagin extremals. A result of this kind was posed as an open question by Vladimir Tikhomirov, in 1986.


title: Homotopy and cohomology of spaces of locally convex curves in the sphere

abstract: We discuss the homotopy type and the cohomology of spaces of locally convex parametrized curves gamma: [0,1] -> S^2, i.e., curves with positive geodesic curvature. The space of all such curves with gamma(0) = gamma(1) = e_1 and gamma'(0) = gamma'(1) = e_2 is known to have three connected components X_{-1,c}, X_1, X_{-1}. We show several results concerning the homotopy type and cohomology of these spaces. In particular, X_{-1,c} is contractible, X_1 and X_{-1} are simply connected, pi_2(X_{-1}) contains a copy of Z and pi_2(X_1) contains a copy of Z^2. Also, H^n(X_{1}, R) and H^n(X_{-1}, R) are nontrivial for all even n. More, dim H^{4n-2}(X_1, R) >= 2 and dim H^{4n}(X_{-1}, R) >= 2 for all positive n.


title: Limit theorems for rarefaction of set of diffusion processes by boundaries

abstract: This paper is devoted to the study of the following problem. We have set of diffusion processes with absorption on boundaries in some region at initial time $t=0$. It is required to estimate of number of the unabsorbed processes for the fixed time ~$\tau>0$. The number of initial processes is considered as function of $\tau$ and $\tau\to\infty$.


title: A Pieri-type formula for the K-theory of a flag manifold

abstract: We derive explicit Pieri-type multiplication formulas in the Grothendieck ring of a flag variety. These expand the product of an arbitrary Schubert class and a special Schubert class in the basis of Schubert classes. These special Schubert classes are indexed by a cycle which has either the form (k-p+1,k-p+2,...,k+1) or the form (k+p,k+p-1,...,k), and are pulled back from a Grassmannian projection. Our formulas are in terms of certain labeled chains in the k-Bruhat order on the symmetric group and are combinatorial in that they involve no cancellations. We also show that the multiplicities in the Pieri formula are naturally certain binomial coefficients.


title: On Quantum unique ergodicity for locally symmetric spaces I

abstract: We construct an equivariant microlocal lift for locally symmetric spaces. In other words, we demonstrate how to lift, in a ``semi-canonical'' fashion, limits of eigenfunction measures on locally symmetric spaces to Cartan-invariant measures on an appropriate bundle. The construction uses elementary features of the representation theory of semisimple real Lie groups, and can be considered a generalization of Zelditch's results from the upper half-plane to all locally symmetric spaces of noncompact type. This will be applied in a sequel to settle a version of the quantum unique ergodicity problem on certain locally symmetric spaces.


title: Cluster algebras: notes for 2004 IMCC (Chonju, Korea, August 2004)

abstract: This is an expanded version of the notes for the two lectures at the 2004 International Mathematics Conference (Chonbuk National University, August 4-6, 2004). The first lecture discusses the origins of cluster algebras, with the focus on total positivity and geometry of double Bruhat cells in semisimple groups. The second lecture introduces cluster algebras and discusses some basic results, open questions and conjectures.


title: Generalized Greatest Common Divisors, Divisibility Sequences, and Vojta's Conjecture for Blowups

abstract: We apply Vojta's conjecture to blowups and deduce a number of deep statements regarding (generalized) greatest common divisors on varieties, in particular on projective space and on abelian varieties. Special cases of these statements generalize earlier results and conjectures. We also discuss the relationship between generalized greatest common divisors and the divisibility sequences attached to algebraic groups, and we apply Vojta's conjecture to obtain a strong bound on the divisibility sequences attached to abelian varieties of dimension at least two.


title: The Maximum Principle for the Bergman Space and the M\"obius Pseudodistance for the Annulus

abstract: It is shown that the formula for the M\"obius pseudodistance for the annulus yields better estimates than previously known for the constant in the Bergman space maximum principle. A maximum principle for the Fock space is proved.


title: Deformations of group actions

abstract: Let $G$ be a noncompact real algebraic group and $\G<G$ a lattice. One purpose of this paper is to show that there is an smooth, volume preserving, mixing action of $G$ or $\G$ on a compact manifold which admits a smooth deformation. We also describe some other, rather special, deformations when $G=SO(1,n)$ and provide a simple proof that any action of a compact Lie group is locally rigid.


title: The spectral problem and *-representations of algebras associated with Dynkin graphs

abstract: We study the connection between *-representations of algebras associated with graphs, locally-scalar graph representations and the problem about the spectrum of a sum of two Hermitian operators. For algebras associated with Dynkin graphs we give an explicit description of the parameters for which there are irreducible representations and an algorithm for contructing these representations.


title: Gr\"obner bases for *-algebars and faithful operator representations

abstract: Sufficient conditions for existence of a faithful representation of a *-algebra in terms of its G\"obner basis is presented. Proposed construction of faithful representation is applicable to concrete examples: *-doubles, monomial *-algebras, extension of a *-algebras allowing Wick ordering and others. Several examples and counterexamples are presented.


title: Overtwisted open books from sobering arcs

abstract: We study open books on three manifolds which are compatible with an overtwisted contact structure. We show that the existence of certain arcs, called sobering arcs, is a sufficient condition for an open book to be overtwisted, and is necessary up to stabilization by positive Hopf-bands. Using these techniques we prove that some open books arising as the boundary of symplectic configurations are overtwisted, answering a question of Gay in Algebr. Geom. Topol. 3 (2003) 569--586.


title: On primes p for which d divides ord_p(g)

abstract: Let N_g(d) be the set of primes p such that the order of g modulo p is divisible by a prescribed integer d. Wiertelak showed that this set has a natural density and gave a rather involved explicit expression for it. Let N_g(d)(x) be the number of primes p<=x that are in N_g(d). A simple identity for N_g(d)(x) is established. It is used to derive a more compact expression for the natural density than known hitherto. A numerical demonstration, using a program of Y. Gallot, is presented.


title: Tetra and Didi, the cosmic spectral twins

abstract: We introduce a pair of isospectral but non-isometric compact flat 3-manifolds called Tetra (a tetracosm) and Didi (a didicosm). The closed geodesics of Tetra and Didi are very different. Where Tetra has two quarter-twisting geodesics of the shortest length, Didi has four half-twisting geodesics. Nevertheless, these spaces are isospectral. This isospectrality can be proven directly by matching eigenfunctions having the same eigenvalue. However, the real interest of this pair--and what led us to discover it--is the way isospectrality emerges from the Selberg trace formula, as the result of a delicate interplay between the lengths and twists of closed geodesics.


title: Negative Latin square type partial difference sets in nonelementary abelian 2-groups

abstract: Combining results on quadrics in projective geometries with an algebraic interplay between finite fields and Galois rings, we construct the first known family of partial difference sets with negative Latin square type parameters in nonelementary abelian groups, the groups $\Z_4^{2k}\times \Z_2^{4 \ell-4k}$ for all $k$ when $\ell$ is odd and for all $k < \ell$ when $\ell$ is even. Similarly, we construct partial difference sets with Latin square type parameters in the same groups for all $k$ when $\ell$ is even and for all $k<\ell$ when $\ell$ is odd. These constructions provide the first example that the non-homomorphic bijection approach outlined by Hagita and Schmidt \cite{hagitaschmidt} can produce difference sets in groups that previously had no known constructions. Computer computations indicate that the strongly regular graphs associated to the PDSs are not isomorphic to the known graphs, and we conjecture that the family of strongly regular graphs will be new.


title: A Class of Permutation Polynomials of $\bF_{2^m}$ Related to Dickson Polynomials

abstract: We construct a class of permutation polynomials of $\bF_{2^m}$ that are closely related to Dickson polynomials.


title: Recent results on $p$-ranks and Smith normal forms of some $2-(v,k,\lambda)$ designs

abstract: We survey recent results on $p$-ranks and Smith normal forms of some $2-(v,k,\lambda)$ designs. In particular, we give a description of the recent work in \cite{csx} on the Smith normal forms of the 2-designs arising from projective and affine spaces over $\Ff_q$.


title: Equidistribution of small points, rational dynamics, and potential theory

abstract: If phi(z) is a rational function on P^1 of degree at least 2 with coefficients in a number field k, we compute the homogeneous transfinite diameter of the v-adic filled Julia sets of phi for all places v of k by introducing a new quantity called the homogeneous sectional capacity. In particular, we show that the product over all places of these homogeneous transfinite diameters is 1. We apply this product formula and some new potential-theoretic results concerning Green's functions on Riemann surfaces and Berkovich spaces to prove an adelic equidistribution theorem for dynamical systems on the projective line. This theorem, which generalizes the results of Baker-Hsia, says that for each place v of k, there is a canonical probability measure on the Berkovich space P^1_{Berk,v} over C_v such that if z_n is a sequence of algebraic points in P^1 whose canonical heights with respect to phi tend to zero, then the z_n's and their Galois conjugates are equidistributed with respect to mu_{phi,v} for all places v of k. For archimedean v, P^1_{Berk,v} is just the Riemann sphere, mu_{phi,v} is Lyubich's invariant measure, and our result is closely related to a theorem of Lyubich and Freire-Lopes-Mane.


title: Harmonic analysis on metrized graphs

abstract: We study the Laplacian on a metrized graph, and its eigenfunctions.


title: Metrized graphs, electrical networks, and Fourier analysis

abstract: A metrized graph is a finite weighted graph whose edges are thought of as line segments. In this expository paper, we study the Laplacian operator on a metrized graph and some important functions related to it, including the ``j-function'', the effective resistance, and eigenfunctions of the Laplacian. We discuss the relationship between metrized graphs and electrical networks, which provides some physical intuition for the concepts being dealt with. We also discuss the relation between the Laplacian on a metrized graph and the combinatorial Laplacian matrix. We introduce the``canonical measure'' on a metrized graph, which arises naturally when considering the Laplacian of the effective resistance function. Finally, we discuss a generalization of classical Fourier analysis which utilizes eigenfunctions of the Laplacian on a metrized graph. During the course of the paper, we obtain a proof of Foster's network theorem and of an intriguing series identity.


title: Symmetric coinvariant algebras and local Weyl modules at a double point

abstract: The symmetric coinvariant algebra $C[x_1, dots, x_n]_{S_n}$ is the quotient algebra of the polynomial ring by the ideal generated by symmetric polynomials vanishing at the origin. It is known that the algebra is isomorphic to the regular representation of $S_n$. Replacing $C[x]$ with $A = C[x,y]/(xy)$, we introduce another symmetric coinvariant algebra $A^{otimes n}_{S_n}$ and determine its $S_n$-module structure. As an application, we determine the $sl_{r+1}$-module structure of the local Weyl module at a double point for $sl_{r+1} otimes A$.


title: pi-adic approach of p-class group and unit group of p-cyclotomic fields

abstract: Let p > 2 be a prime. Let Q(zeta) be the p-cyclotomic field. Let pi be the prime ideal of Q(zeta) lying over p. This article aims to describe some pi-adic congruences characterizing the structure of the p-class group and of the unit group of the field Q(zeta). For the unit group, this article supplements the 1954 and 1956 papers of Denes on this topic. A complete summarizing of the results obtained follows in the Introduction section of the paper (pages 3 to 6). This new version of the article with the same title, submitted with reference math.NT/0407430 25 Jul 2004: - corrects several typing errors in the introduction and in the paper, - simplifies some proofs of pi-adic congruences connected to p-class group, - removes the section dealing of the singular group foreseen in an independant paper.


title: A Hurewicz-type theorem for asymptotic dimension and applications to geometric group theory

abstract: We prove an asymptotic analog of the classical Hurewicz theorem on mappings which lower dimension. This theorem allows us to find sharp upper bound estimates for the asymptotic dimension of groups acting on finite dimensional metric spaces and allows us to prove a useful extension theorem for asymptotic dimension. As applications we find upper bound estimates for the asymptotic dimension of nilpoltent and polycyclic groups in terms of their Hirsch length. We are also able to improve the known upper bounds on the asymptotic dimension of fundamental groups of complexes of groups, amalgamated free products and the hyperbolization of metric spaces possessing the Higson property.


title: The Dirichlet Boundary Value Problem for Real Solutions of the first Painlev\'e Equation on Segments on Non-Positive Semi-Axis

abstract: We develop a qualitative theory for real solutions of the equation $y''=6y^2 -x$. In this work a restriction $x\leq0$ is assumed. An important ingredient of our theory is the introduction of several new transcendental functions of one, two, and three variables that describe different properties of the solutions. In particular, the results obtained allow us to completely analyse the Dirichlet boundary value problem $y(a)=y^0$, $y(b)=y_0$ for $a<b\leq0$.


title: Analysis and dynamics on the Berkovich projective line

abstract: This is a set of expanded lecture notes from the Berkovich Space seminar held at the University of Georgia during Spring, 2004. The purpose of the notes is to provide a non-technical introduction to Berkovich spaces, and to develop the foundations for analysis on the Berkovich projective line, with a view toward applications in dynamics. After describing the underlying topological space and the sheaf of functions on the Berkovich line, we introduce the Hsia kernel, the fundamental kernel for potential theory. We develop a theory of capacities, define a Laplacian operator, and construct a theory of harmonic functions. We then develop the theory of subharmonic functions and give applications to dynamics, including a construction of the Lyubich measure attached to a rational function.


title: Non-zero contact and Sasakian reduction

abstract: We complete the reduction of Sasakian manifolds with the non-zero case by showing that Willett's contact reduced space is compatible with the Sasakian structure. We then prove the compatibility of the non-zero Sasakian (in particular, contact) reduction with the reduction of the K\"ahler (in particular, symplectic) cone. We provide examples obtained by toric actions on Sasakian spheres and make some comments concerning the curvature of the quotients.


title: Egorov's theorem for transversally elliptic operators on foliated manifolds and noncommutative geodesic flow

abstract: The main result of the paper is Egorov's theorem for transversally elliptic operators on compact foliated manifolds. This theorem is applied to describe the noncommutative geodesic flow in noncommutative geometry of Riemannian foliations.


title: Triangular braidings and pointed Hopf algebras

abstract: We consider an interesting class of braidings defined by a combinatorial property in an earlier paper. We show that it consists exactly of those braidings that come from certain Yetter-Drinfeld module structures over pointed Hopf algebras with abelian coradical. As a tool we define a reduced version of the FRT construction. For braidings induced by U_q(g)-modules the reduced FRT construction is calculated explicitly.


title: Automorphisms of free groups have asymptotically periodic dynamics

abstract: We show that every automorphism $\alpha$ of a free group $F_k$ of finite rank $k$ has {\it asymptotically periodic} dynamics on $F_k$ and its boundary $\partial F_k$: there exists a positive power $\alpha^q$ such that every element of the compactum $F_k \cup \partial F_k$ converges to a fixed point under iteration of $\alpha^q$.


title: Kleinian groups and the rank problem

abstract: We prove that the rank problem is decidable in the class of torsion-free word-hyperbolic Kleinian groups. We also show that every group in this class has only finitely many Nielsen equivalence classes of generating sets of a given cardinality.


title: Semidirect products of groups of loops and groups of diffeomorphisms of real, complex and quaternion manifolds

abstract: This article is devoted to the investigation of semidirect products of groups of loops and groups of diffeomorphisms of finite and infinte dimensional real, complex and quaternion manifolds. Necessary statements about quaternion manifolds with quaternion holomorphic transition mappings between charts of atlases are proved. Unitary representations of these groups including irreducible are constructed with the help of stochastic processes and quasi-invariant transition measures on groups $G$ relative to dense subgroups $G'$. It is proved, that this procedure provides a family of the cardinality $card ({\bf R})$ of pairwise nonequivalent irreducible unitary representations. A differentiability of such representations is studied.


title: Positive partition relations for P_{kappa,lambda}

abstract: Let kappa a regular uncountable cardinal and lambda a cardinal >kappa, and suppose lambda^{<kappa} is less than the covering number for category cov(M_{kappa,kappa}). Then (a) I_{kappa,lambda}^+ -->^kappa (I_{kappa, lambda}^+,omega +1)^2, (b) I_{kappa, lambda}^+ -->^kappa [I_{kappa, lambda}^+]_{kappa^+}^2 if kappa is a limit cardinal, and (c) I_{kappa, lambda}^+ -->^kappa (I_{kappa, lambda}^+)^2 if kappa is weakly compact.


title: The geometry of symplectic pairs

abstract: We study the geometry of manifolds carrying symplectic pairs consisting of two closed 2-forms of constant ranks, whose kernel foliations are complementary. Using a variation of the construction of Boothby and Wang we build contact-symplectic and contact pairs from symplectic pairs.


title: Stability theorems for symplectic and contact pairs

abstract: We prove Gray--Moser stability theorems for complementary pairs of forms of constant class defining symplectic pairs, contact-symplectic pairs and contact pairs. We also consider the case of contact-symplectic and contact-contact structures, in which the constant class condition on a one-form is replaced by the condition that its kernel hyperplane distribution have constant class in the sense of E. Cartan.


title: Entrelacement de co-Poisson

abstract: Une danse avec co-Poisson: 1 Introduction: Sommes, Propriete de support, Co-sommes, Mellin et dz\^eta, Fonctions entieres et meromorphes 2 Docteur Poisson et Mister Co: Des theoremes de co-Poisson, Lemmes sur les sommes et les co-sommes, Preuve du theoreme 2.4, Un theoreme de Poisson presque s\^ur, Formule integrale de co-Poisson, Sommes de Riemann, Un autre theoreme de co-Poisson ponctuel 3 Etudes sur une formule de M\"untz: Dz\^eta et Mellin, Distributions temperees et formule de M\"untz, La transformation de Fourier de la fonction dz\^eta, Fonctions de carres integrables 4 Entrelacement et fonctions meromorphes: Convolution multiplicative, Le theoreme d'entrelacement, Transformation de Mellin, Propriete S et transformees de Mellin entieres, Fonctions moderees et propriete S, Distributions homogenes et quasi-homogenes, Propriete S-etendue et fonctions meromorphes, Exemples ----- A dance with co-Poisson: 1 Introduction 2 Dr Poisson and Mister Co 3 Studies on a formula of M\"untz 4 Intertwining and meromorphic functions


title: Oscillation stability of the Urysohn metric space

abstract: The paper has been withdrawn by the author as the main technical result (Th. 4.6) is false, as well as Corol. 4.3 on which it is based. The question of oscillation stability of the Urysohn space remains therefore open.


title: Self maps of P^1 with prescribed ramification in characteristic p

abstract: Using limit linear series and a result controlling degeneration from separable maps to inseparable maps, we give a formula for the number of self-maps of the projective line with ramification to order e_i at general points P_i, in the case that all e_i are less than the characteristic. Unlike the case of characteristic 0, the answer is not given by Schubert calculus, nor is the number of maps always finite for distinct P_i, even in the tamely ramified case. However, finiteness for general P_i, obtained by exploiting the relationship to branched covers, is a key part of the argument.


title: Separability of Solvable Subgroups in Linear Groups

abstract: Let G be a finitely generated linear group over a field of characteristic 0. Suppose that every solvable subgroup of G is polycyclic. Then the claim is made that any solvable subgroup of G is separable. This is proven for G=SL_n(Z). However, the proof of the main theorem in section 4 is incomplete.


title: Second order difference equations and discrete orthogonal polynomials of two variables

abstract: The second order partial difference equation of two variables $ \CD u:= A_{1,1}(x) \Delta_1 \nabla_1 u + A_{1,2}(x) \Delta_1 \nabla_2 u + A_{2,1}(x) \Delta_2 \nabla_1 u + A_{2,2}(x) \Delta_2 \nabla_2 u & \qquad \qquad \qquad \qquad + B_1(x) \Delta_1 u + B_2(x) \Delta_2 u = \lambda u, $ is studied to determine when it has orthogonal polynomials as solutions. We derive conditions on $\CD$ so that a weight function $W$ exists for which $W \CD u$ is self-adjoint and the difference equation has polynomial solutions which are orthogonal with respect to $W$. The solutions are essentially the classical discrete orthogonal polynomials of two variables.


title: Polynomial Interpolation on the Unit Sphere II

abstract: The problem of interpolation at $(n+1)^2$ points on the unit sphere $\mathbb{S}^2$ by spherical polynomials of degree at most $n$ is proved to have a unique solution for several sets of points. The points are located on a number of circles on the sphere with even number of points on each circle. The proof is based on a method of factorization of polynomials.


title: A note on the uniformization of gradient K\"ahler-Ricci solitons

abstract: Applying a well known result for attracting fixed points of biholomorphisms \cite{RR, V}, we observe that one immediately obtains the following result: if $(M^n,g)$ is a complete non-compact gradient K\"ahler-Ricci soliton which is either steady with positive Ricci curvature so that the scalar curvature attains its maximum at some point, or expanding with non-negative Ricci curvature, then $M$ is biholomorphic to $\ce ^n$.


title: On hyperbolic knots realizing the maximal distance between toroidal surgeries

abstract: For a hyperbolic knot in the 3-sphere, the distance between toroidal surgeries is at most 5, except the figure eight knot. In this paper, we determine all hyperbolic knots that admit two toroidal surgeries with distance 5.


title: On the dynamics near infinity of some polynomial mappings in $\mathbb{C}^2$

abstract: We construct the Green current for a random iteration of "horizontal-like" mappings in two complex dimensions. This is applied to the study of a polynomial map $f:\mathbb{C}^2\to\mathbb{C}^2$ with the following properties: 1. infinity is $f$-attracting, 2. $f$ contracts the line at infinity to a point not in the indeterminacy set. Then the Green current of $f$ can be decomposed into pieces associated with an itinerary determined by the indeterminacy points. We also study the set of escape rates near infinity, i.e. the possible values of the function $\limsup \frac{1}{n}\log^+\log^+ \norm{f^n}$. We exhibit examples for which this set contains an interval.


title: An extension which is relatively twofold mixing but not threefold mixing

abstract: We give an example of a dynamical system which is mixing relative to one of its factors, but for which relative mixing of order three does not hold.


title: Gradient Kahler Ricci Solitons

abstract: Some observations about the local and global generality of gradient Kahler Ricci solitons are made, including the existence of a canonically associated holomorphic volume form and vector field, the local generality of solutions with a prescribed holomorphic volume form and vector field, and the existence of Poincare coordinates in the case that the Ricci curvature is positive and the vector field has a fixed point.


title: Linear filtering of systems with memory

abstract: We study the linear filtering problem for systems driven by continuous Gaussian processes with memory described by two parameters. The driving processes have the virtue that they possess stationary increments and simple semimartingale representations simultaneously. It allows for straightforward parameter estimations. After giving the semimartingale representations of the processes by innovation theory, we derive Kalman-Bucy-type filtering equations for the systems. We apply the result to the optimal portfolio problem for an investor with partial observations. We illustrate the tractability of the filtering algorithm by numerical implementations.


title: Torus Actions and Integrable Systems

abstract: This is a survey on natural local torus actions which arise in integrable dynamical systems, and their relations with other subjects, including: reduced integrability, local normal forms, affine structures, monodromy, global invariants, integrable surgery, convexity properties of momentum maps, localization formulas, integrable PDEs.


title: On vertex covers, matchings and random trees

abstract: We study minimal vertex covers and maximal matchings on trees. We pay special attention to the corresponding backbones i.e. these vertices that are occupied and those that are empty in every minimal vertex cover (resp. these egdes that are occupied and those that are empty in every maximal matching). The key result in our approach is that for trees, the backbones can be recovered from a particular tri-coloring which has a simple characterization. We give applications to the computation of some averages related to the enumeration of minimal vertex covers and maximal matchings in the random labeled tree ensemble, both for finite size and in the asymptotic regime.


title: Exceptional coupling constants for the Coulomb-Dirac operator with anomalous magnetic moment

abstract: It was recently shown that the point spectrum of the separated Coulomb-Dirac operator H_0(k) is the limit of the point spectrum of the Dirac operator with anomalous magnetic moment H_a(k) as the anomaly parameter tends to 0; this spectral stability holds for all Coulomb coupling constants c for which H_0(k) has a distinguished self-adjoint extension if the angular momentum quantum number k is negative, but for positive k there are certain exceptional values for c. Here we obtain an explicit formula for these exceptional values. In particular, it implies spectral stability for the three-dimensional Coulomb-Dirac operator if |c| < 1, covering all physically relevant cases.


title: Approximation by analytic operator functions. Factorizations and very badly approximable functions

abstract: This is a continuation of our earlier paper \cite{PT3}. We consider here operator-valued functions (or infinite matrix functions) on the unit circle $\T$ and study the problem of approximation by bounded analytic operator functions. We discuss thematic and canonical factorizations of operator functions and study badly approximable and very badly approximable operator functions. We obtain algebraic and geometric characterizations of badly approximable and very badly approximable operator functions. Note that there is an important difference between the case of finite matrix functions and the case of operator functions. Our criteria for a function to be very badly approximable in the case of finite matrix functions also guarantee that the zero function is the only superoptimal approximant. However in the case of operator functions this is not true.


title: Asymptotic behavior of an elastic beam fixed on a small part of one of its extremities

abstract: We study the asymptotic behavior of the solution of an anisotropic, heterogeneous, linearized elasticity problem in a cylinder whose diameter $\epsilon$ tends to zero. The cylinder is assumed to be fixed (homogeneous Dirichlet boundary condition) on the whole of one of its extremities, but only on a small part (of size $\epsilon r^\epsilon$) of the second one; the Neumann boundary condition is assumed on the remainder of the boundary. We show that the result depends on $r^\epsilon$, and that there are 3 critical sizes, namely $r^\epsilon=\epsilon^3$, $r^\epsilon=\epsilon$, and $r^\epsilon=\epsilon^{1/3}$, and in total 7 different regimes. We also prove a corrector result for each behavior of $r^\epsilon$.


title: Semi-Classical Wavefront Set and Fourier Integral Operators

abstract: We define and prove some properties of the semi-classical wavefront set. We also define and study semi-classical Fourier integral operators, of which we give a complete characterization. Lastly, we prove a generalization of the semi-classical Egorov's Theorem to manifolds of unequal dimensions.


title: Symmetry groups and non-planar collisionless action-minimizing solutions of the three-body problem in three-dimensional space

abstract: Periodic and quasi-periodic solutions of the n-body problem can be found as minimizers of the Lagrangian action functional restricted to suitable spaces of symmetric paths. The main purpose of this paper is to develop a systematic approach to the equivariant minimization for the three-body problem in the three-dimensional space. First we give a finite complete list of symmetry groups fit to the minimization of the action, with the property that any other symmetry group can be reduced to be isomorphic to one of these representatives. A second step is to prove that the resulting (local and global) symmetric action-minimizers are always collisionless (when they are not already bound to collisions). Furthermore, we prove some results addressed to the question whether minimizers are planar or non-planar; as a consequence of the theory we will give general criteria for a symmetry group to yield planar or homographic minimizers (either homographic or not, as in the Chenciner-Montgomery eight solution); on the other hand we will provide a rigorous proof of the existence of some interesting one-parameter families of periodic and quasi-periodic non-planar orbits. These include the choreographic Marchal's $P_{12}$ family with equal masses -- together with a less-symmetric choreographic family (which anyway probably coincides with the $P_{12}$).


title: Stable degenerations of surfaces isogenous to a product of curves

abstract: We use the moduli space of stable curves to determine the stable (in the sense of Koll\'{a}r-Shepherd-Barron) degenerations of surfaces isogenous to a product of stable curves. A recent family of examples of Catanese show that the moduli space of such smooth surfaces may have two components. The main result of this note is that these components do not meet in the stable compactification. To the best of my knowledge this gives the first example of a moduli space of stable surfaces with multiple connected components parameterizing diffeomorphic smooth surfaces. Comments are appreciated.


title: Categorical representations of categorical groups

abstract: The representation theory for categorical groups is constructed. Each categorical group determines a monoidal bicategory of representations. Typically, these categories contain representations which are indecomposable but not irreducible. A simple example is computed in explicit detail.


title: A surprising fact about D-modules in characteristic p>0

abstract: Let R=k[x_1,...,x_d] be the polynomial ring in d independent variables, where k is a field of characteristic p>0. Let D be the ring of k-linear differential operators of R and let f be a polynomial in R. In this work we prove that the localization R[1/f] obtained from R by inverting f is generated as a D-module by 1/f. This is an amazing fact considering that the corresponding characteristic zero statement is very false.


title: Geometric lower bounds for the spectrum of elliptic PDEs with Dirichlet conditions in part

abstract: An extension of the lower-bound lemma of Boggio is given for the weak forms of certain elliptic operators, which have partially Dirichlet and partially Neumann boundary conditions, and are in general nonlinear. Its consequences and those of an adapted Hardy inequality for the location of the bottom of the spectrum are explored in corollaries wherein a variety of assumptions are placed on the shape of the Dirichlet and Neumann boundaries.


title: Fourier Coefficients of Beurling Functions and a Class of Mellin Transform Formally Determined by its Values on the Even Integers

abstract: It is a well-known fact that Riemann Hypothesis will follows if the function identically equal to -1 can be arbitrarily approximated in the norm $\norma{.}$ of $L^{2}([0,1],dx)$ by functions of the form $f(x)=\sum_{k=1}^{n}a_{k} \rho(\frac{\theta_{k}}{x})$, where $\rho(x)\adef\pfrac{x}$, and $a_{k}\in\cc$, $0<\theta_{k}\leqslant 1$ satisfies $\sum_{k=1}^{n}a_{k} \theta_{k}=0$. Parsevall Identity $\norma{f(x)+1}^{2}=\sum_{n\in\zz}\modulo{c(n)}^{2}$ is a possible tool to compute or estimate this norm. In this note we give an expression for the Fourier coefficients $c(n)$ of $f+1$, when $f$ is a function defined as above. As an application, we derive an expression for $M_{f}(s)\adef\int_{0}^{1}(f(x)+1) x^{s-1} dx$ as a series that only depends on $M_{f}(2k)$, $k\in\nn$. We remark that the Fourier coefficients $c(n)$ depend on $M_{f}(2k)$ which, for a function $f$ defined as above, can be expressed also in terms of the $a_{k}$'s and $\theta_{k}$'s. Therefore, a better control on these parameters will allow to estimate $M_{f}(2k)$ and therefore eventually to handle $\norma{f+1}$ via our expression for the Fourier coefficients and Parsevall Identity.


title: Reciprocity Algebras and Branching for Classical Symmetric Pairs

abstract: We study branching laws for a classical group $G$ and a symmetric subgroup $H$. Our approach is through the {\it branching algebra}, the algebra of covariants for $H$ in the regular functions on the natural torus bundle over the flag manifold for $G$. We give concrete descriptions of (natural subalgebras of) the branching algebra using classical invariant theory. In this context, it turns out that the ten classes of classical symmetric pairs $(G,H)$ are associated in pairs, $(G,H)$ and $(H',G')$, and that the (partial) branching algebra for $(G,H)$ also describes a branching law from $H'$ to $G'$. (However, the second branching law may involve certain infinite-dimensional highest weight modules for $H'$.) To highlight the fact that these algebras describe two branching laws simultaneously, we call them {\it reciprocity algebras}. Our description of the reciprocity algebras reveals that they all are related to the tensor product algebra for $GL_n$. This relation is especially strong in the {\it stable range}. We give quite explicit descriptions of reciprocity algebras in the stable range in terms of the tensor product algebra for $GL_n$. This is the structure lying behind formulas for branching multiplicities in terms of Littlewood-Richardson coefficients.


title: A Basis for the GL_n Tensor Product Algebra

abstract: This paper focuses on the $GL_n$ tensor product algebra, which encapsulates the decomposition of tensor products of arbitrary finite dimensional irreducible representations of $GL_n$. We will describe an explicit basis for this algebra. This construction relates directly with the combinatorial description of Littlewood-Richardson coefficients in terms of Littlewood-Richardson tableaux. Philosophically, one may view this construction as a recasting of the Littlewood-Richardson rule in the context of classical invariant theory.


title: Theoreme d'equidistribution de Brolin en dynamique p-adique

abstract: We prove an analog of the famous equidistribution theorem of Brolin for rational mappings in one variable defined over the p-adic field C_p. We construct a mixing invariant probability measure which describes the asymptotic distribution of iterated preimages of a given point. This measure is supported on the Berkovich space associated to the projective line over C_p. We show that its support is precisely the Julia set as defined by Rivera-Letelier. Our results are based on the construction of a Laplace operator on real trees with arbitrary number of branching as done by Favre-Jonsson.


title: On a method for obtaining a planar region with two equichordal points

abstract: This paper has been withdrawn by the author. It has been shown by G.A. Edgar that curves created by the presented method are not continuous at \theta = 0. See http://www.math.ohio-state.edu/~edgar/equichord/ .


title: Equidistribution quantitative des points de petite hauteur sur la droite projective

abstract: We introduce a new class of adelic heights on the projective line. We estimate their essential minimum and prove a result of equidistribution (at every place) for points of small height with estimates on the speed of convergence. To each rational function R in one variable and defined over a number field K, is associated a normalized height on the algebraic closure of K. We show that these dynamically defined heights are adelic in our sense, and deduce from this equidistribution results for preimages of points under R at every place of K. Our approach follows that of Bilu, and relies on potential theory in the complex plane, as well as in the Berkovich space associated to the projective line over C_p, for each prime p.


title: Real hypersurfaces in unimodular complex surfaces

abstract: A unimodular complex surface is a complex 2-manifold X endowed with a holomorphic volume form. A strictly pseudoconvex real hypersurface M in X inherits not only a CR-structure but a canonical coframing as well. In this article, this canonical coframing on M is defined, its invariants are discussed and interpreted geometrically, and its basic properties are studied. A natural evolution equation for strictly pseudoconvex real hypersurfaces in unimodular complex surfaces is defined, some of its properties are discussed, and several examples are computed. The locally homogeneous examples are determined and used to illustrate various features of the geometry of the induced structure on the hypersurface.


title: Orbits of automorphism groups of fields

abstract: We address several specific aspects of the following general question: can a field K have so many automorphisms that the action of the automorphism group on the elements of K has relatively few orbits? We prove that any field which has only finitely many orbits under its automorphism group is finite. We extend the techniques of that proof to approach a broader conjecture, which asks whether the automorphism group of one field over a subfield can have only finitely many orbits on the complement of the subfield. Finally, we apply similar methods to analyze the field of Mal'cev-Neumann "generalized power series" over a base field; these form near-counterexamples to our conjecture when the base field has characteristic zero, but often fall surprisingly far short in positive characteristic.


title: Interior Gradient Bound For Minimal Graphs in a Product Manifold

abstract: Let $(M, g)$ be an $n$-dimensional complete Riemannian manifold with $Ric(M)\geq-(n-1)Q$, where $Q\geq0$ is a constant. We obtain an interior gradient bound for minimal graphs in $M\times R$ under some technical assumptions. For details, see Theorem 2.


title: On a problem of Miyaoka

abstract: We give an example of a vector bundle E on a relative curve C --> Spec Z such that the restriction to the generic fiber in characteristic zero is semistable but such that the restriction to positive characteristic p is not strongly semistable for infinitely many prime numbers. Moreover, under the hypothesis that there exist infinitely many Sophie Germain primes, there are also examples such that the density of primes with non strongly semistable reduction is arbitrarily high.


title: Automorphisms of hyperk\"ahler manifolds in the view of topological entropy

abstract: First we show that any group of automorphisms of null-entropy of a projective hyperk\"ahler manifold $M$ is almost abelian of rank at most $\rho(M) - 2$. We then characterize automorphisms of a K3 surface with null-entropy and those with positive entropy in algebro-geometric terms. We also give an example of a group of automorphisms which is not almost abelian in each dimension.


title: Symplectic Techniques for Semiclassical Completely Integrable Systems

abstract: This article is a survey of classical and quantum completely integrable systems from the viewpoint of local ``phase space'' analysis. It advocates the use of normal forms and shows how to get global information from glueing local pieces. Many crucial phenomena such as monodromy or eigenvalue concentration are shown to arise from the presence of non-degenerate critical points.


title: Kobayashi-Ochiai's theorem for log schemes

abstract: Kobayashi-Ochiai's theorem says us that the set of dominant rational maps to a complex variety of general type is finite. In this paper, we give a generalization of it in the category of log schemes.


title: Properties and Problems related to Smarandache Type Functions

abstract: In this paper we present the definitions and some properties of several Samrandache Type Functions that are involved in many solved and unsolved problems and conjectures in number theory and recreational mathematics.


title: Archimedean cohomology revisited

abstract: Archimedean cohomology provides a cohomological interpretation for the calculation of the local L-factors at archimedean places as zeta regularized determinant of a log of Frobenius. In this paper we investigate further the properties of the Lefschetz and log of monodromy operators on this cohomology. We use the Connes-Kreimer formalism of renormalization to obtain a fuchsian connection whose residue is the log of the monodromy. We also present a dictionary of analogies between the geometry of a tubular neighborhood of the ``fiber at arithmetic infinity'' of an arithmetic variety and the complex of nearby cycles in the geometry of a degeneration over a disk, and we recall Deninger's approach to the archimedean cohomology through an interpretation as global sections of a analytic Rees sheaf. We show that action of the Lefschetz, the log of monodromy and the log of Frobenius on the archimedean cohomology combine to determine a spectral triple in the sense of Connes. The archimedean part of the Hasse-Weil L-function appears as a zeta function of this spectral triple. We also outline some formal analogies between this cohomological theory at arithmetic infinity and Givental's homological geometry on loop spaces.


title: The UMD constants of the summation operators

abstract: The UMD property of a Banach space is one of the most useful properties when one thinks about possible applications. This is in particular due to the boundedness of the vector-valued Hilbert transform for functions with values in such a space. Looking at operators instead of at spaces, it is easy to check that the summation operator does not have the UMD property. The actual asymptotic behavior however of the UMD constants computed with martingales of length n is unknown. We explain, why it would be important to know this behavior, rephrase the problem of finding these UMD constants and give some evidence of how they behave asymptotically.


title: Strong martingale type and uniform smoothness

abstract: We introduce stronger versions of the usual notions of martingale type p <= 2 and cotype q >= 2 of a Banach space X and show that these concepts are equivalent to uniform p-smoothness and q-convexity, respectively. All these are metric concepts, so they depend on the particular norm in X. These concepts allow us to get some more insight into the fine line between X being isomorphic to a uniformly p-smooth space or being uniformly p-smooth itself. Instead of looking at Banach spaces, we consider linear operators between Banach spaces right away. The situation of a Banach space X can be rediscovered from this by considering the identity map of X.


title: Non-commutative low dimension spaces and superspaces associated with contracted quantum groups and supergroups

abstract: Quantum planes which correspond to all one parameter solutions of QYBE for the two-dimensional case of GL-groups are summarized and their geometrical interpretations are given. It is shown that the quantum dual plane is associated with an exotic solution of QYBE and the well-known quantum $h$-plane may be regarded as the quantum analog of the flag (or fiber) plane. Contractions of the quantum supergroup $ GL_q(1|2)$ and corresponding quantum superspace $ C_q(1|2)$ are considered in Cartesian basis. The contracted quantum superspace $ C_h(1|2;\iota)$ is interpreted as the non-commutative analog of the superspace with the fiber odd part.


title: Threefolds with big and nef anticanonical bundles I

abstract: We start the classification of smooth projective threefolds X whose anticanonical bundles -K_X are big and nef but not ample. In this paper we treat the case b_2(X) = 2 and the morphism associated with the base point free linear system |-mK_X|, m>>0, is divisorial.


title: Computationally efficient approximations of the joint spectral radius

abstract: The joint spectral radius of a set of matrices is a measure of the maximal asymptotic growth rate that can be obtained by forming long products of matrices taken from the set. This quantity appears in a number of application contexts but is notoriously difficult to compute and to approximate. We introduce in this paper a procedure for approximating the joint spectral radius of a finite set of matrices with arbitrary high accuracy. Our approximation procedure is polynomial in the size of the matrices once the number of matrices and the desired accuracy are fixed.


title: Interior estimates for solutions of Abreu's equation

abstract: The paper develops various estimates for solutions of a fourth order nonlinear PDE, which corresponds to prescribing the scalar curvature of a toric Kahler metric.


title: Covering the Baire space by families which are not finitely dominating

abstract: It is consistent (relative to ZFC) that the union of max{b,g} many families in the Baire space which are not finitely dominating is not dominating. In particular, it is consistent that for each nonprincipal ultrafilter U, the cofinality of the reduced ultrapower w^w/U is greater than max{b,g}. The model is constructed by oracle chain condition forcing, to which we give a self-contained introduction.


title: The Theory of Quantum Levy Processes

abstract: Various recent results on quantum L\'evy processes are presented. The first part provides an introduction to the theory of L\'evy processes on involutive bialgebras. The notion of independence used for these processes is tensor independence, which generalizes the notion of independence used in classical probability and corresponds to independent observables in quantum physics. In quantum probability there exist other notions of independence and L\'evy processes can also be defined for the five so-called universal independences. This is the topic of the second part. In particular, it is shown that boolean, monotone, and anti-monotone independence can be reduced to tensor independence. Finally, in the third part, several classes of quantum L\'evy processes of special interest are considered, e.g., L\'evy processes on real Lie algebras or Brownian motions on braided spaces. Several applications of these processes are also presented.


title: Isomorphism Conjecture for homotopy K-theory and groups acting on trees

abstract: We discuss an analogon to the Farrell-Jones Conjecture for homotopy algebraic K-theory. In particular, we prove that if a group G acts on a tree and all isotropy groups satisfy this conjecture, then G satisfies this conjecture. This result can be used to get rational injectivity results for the assembly map in the Farrell-Jones Conjecture in algebraic K-theory.


title: An Indefinite Kaehler Metric on the Space of Oriented Lines

abstract: The total space of the tangent bundle of a K\"ahler manifold admits a canonical K\"ahler structure. Parallel translation identifies the space ${\Bbb{T}}$ of oriented affine lines in ${\Bbb{R}}^3$ with the tangent bundle of $S^2$. Thus, the round metric on $S^2$ induces a K\"ahler structure on ${\Bbb{T}}$ which turns out to have a metric of neutral signature. It is shown that the isometry group of this metric is isomorphic to the isometry group of the Euclidean metric on ${\Bbb{R}}^3$. The geodesics of this metric are either planes or helicoids in ${\Bbb{R}}^3$. The signature of the metric induced on a surface $\Sigma$ in ${\Bbb{T}}$ is determined by the degree of twisting of the associated line congruence in ${\Bbb{R}}^3$, and we show that, for $\Sigma$ Lagrangian, the metric is either Lorentz or totally null. For such surfaces it is proven that the Keller-Maslov index counts the number of isolated complex points of ${\Bbb{J}}$ inside a closed curve on $\Sigma$.


title: Complete toric varieties with reductive automorphism group

abstract: We give equivalent and sufficient criteria for the automorphism group of a complete toric variety, respectively a Gorenstein toric Fano variety, to be reductive. In particular we show that the automorphism group of a Gorenstein toric Fano variety is reductive, if the barycenter of the associated reflexive polytope is zero. Furthermore a sharp bound on the dimension of the reductive automorphism group of a complete toric variety is proven by studying the set of Demazure roots.


title: Associated prime submodules of finitely generated modules

abstract: Let $R$ be a commutative ring with identity. For a finitely generated $R$-module $M$, the notion of associated prime submodules of $M$ is defined. It is shown that this notion inherits most of essential properties of the usual notion of associated prime ideals. In particular, it is proved that for a Noetherian multiplication module $M$, the set of associated prime submodules of $M$ coincides with the set of $M$-radicals of primary submodules of $M$ which appear in a minimal primary decomposition of the zero submodule of $M$. Also, Anderson's theorem [{\bf 2}] is extended to minimal prime submodules in a certain type of modules.


title: Ribbon-moves for 2-knots with 1-handles attached and Khovanov-Jacobsson numbers

abstract: We prove that a crossing change along a double point circle on a 2-knot is realized by ribbon-moves for a knotted torus obtained from the 2-knot by attaching a 1-handle. It follows that any 2-knots for which the crossing change is an unknotting operation, such as ribbon 2-knots and twist-spun knots, have trivial Khovanov-Jacobsson number.


title: Standard surfaces and nodal curves in symplectic 4-manifolds

abstract: Continuing the program of math.SG/0012067 and math.SG/0310450, we introduce refinements of the Donaldson-Smith standard surface count which are designed to count nodal pseudoholomorphic curves and curves with a prescribed decomposition into reducible components. In cases where a corresponding analogue of the Gromov-Taubes invariant is easy to define, our invariants agree with those analogues. We also prove a vanishing result for some of the invariants that count nodal curves.


title: Lagrange-Fedosov Nonholonomic Manifolds

abstract: We outline an unified approach to geometrization of Lagrange mechanics, Finsler geometry and geometric methods of constructing exact solutions with generic off-diagonal terms and nonholonomic variables in gravity theories. Such geometries with induced almost symplectic structure are modelled on nonholonomic manifolds provided with nonintegrable distributions defining nonlinear connections. We introduce the concept of Lagrange-Fedosov spaces and Fedosov nonholonomic manifolds provided with almost symplectic connection adapted to the nonlinear connection structure. We investigate the main properties of generalized Fedosov nonholonomic manifolds and analyze exact solutions defining almost symplectic Einstein spaces.


title: A limit linear series moduli scheme

abstract: We develop a new, more functorial construction for the basic theory of limit linear series, which provides a compactification of the Eisenbud-Harris theory, and shows promise for generalization to higher-dimensional varieties and higher-rank vector bundles. We also give a result on lifting linear series from characteristic p to characteristic 0. In an appendix, in order to obtain the necessary dimensional lower bounds on our limit linear series scheme we develop a theory of "linked Grassmannians;" these are schemes parametrizing sub-bundles of a sequence of vector bundles which map into one another under fixed maps of the ambient bundles.


title: Universal localization of triangular matrix rings

abstract: If R is a triangular 2x2 matrix ring, the columns, P and Q, are projective left R-modules. We describe the universal localization of R which makes invertible an R-module morphism P --> Q, generalizing a theorem of A.Schofield. We also describe the universal localization of R-modules.


title: The combinatorics of reasonable ultrafilters

abstract: We are interested in generalizing part of the theory of ultrafilters on omega to larger cardinals. Here we set the scene for further investigations introducing properties of ultrafilters in strong sense dual to being normal.


title: An Improved Energy-Area Inequality for Harmonic Maps Using Image Curvature

abstract: An ODE variational calculation shows that an image principle curvature ratio factor can raise the lower bound, 2(Image Area), on energy of a harmonic map of a surface into Rn. In certain situations, including all radially symmetry harmonic maps, equality is achieved.


title: Constructing Piecewise Flat Pseudo-Manifolds with Minimal Pseudo-Foliations

abstract: Piecewise Euclidean structures (identified solid Euclidean polyhedra) on topological 3-dimensional manifolds and pseudo-manifolds are constructed so that they admit pseudo-foliations, a generalized type of foliation. The construction of non-manifold point neighborhoods is done to preserve as much of the geometric, and vector space, structure of Euclidean space as possible. This enables structures, such as foliations and calibrations, to generalize over to pseudo-manifolds. The main result is that the cone of any compact topological surfaces can be given a piecewise flat metric structure that admits a pseudo-foliation by minimal surfaces. In some situations orientation reversing holonomy is an obstruction and in others it is just the opposite, a sufficient condition. Also foliations by minimal surfaces can extend across connect sum operations.


title: Four dimensional symplectic Lie algebras

abstract: In this paper we deal with symplectic Lie algebras. All symplectic structures are determined for dimension four and the corresponding Lie algebras are classified up to equivalence. Symplectic four dimensional Lie algebras are described either as solutions of the cotangent extension problem or as symplectic double extension of $\Bbb RR^2$ by $\Bbb RR$. The difference in the choice of a certain model lies on the existence or not of a lagrangian ideal. Moreover all extensions of a two dimensional Lie algebra are determined, and so all solutions (up to equivalence) of the cotangent extension problem are given in dimension two. By studying the adjoint representation we generalize to higher dimensions finding obstructions to the existence of symplectic forms. Finally, as an appendix we compute the authomorphisms of four dimensional symplectic Lie algebras and the cohomology over $\Bbb RR$ of the solvable real four dimensional Lie algebras.


title: Structure of the Semi-Classical Amplitude for General Scattering Relations

abstract: We consider scattering by general compactly supported semi-classical perturbations of the Euclidean Laplace-Beltrami operator. We show that if the suitably cut-off resolvent of the Hamiltonian quantizes a Lagrangian relation on the product cotangent bundle, the scattering amplitude quantizes the natural scattering relation. In the case when the resolvent is tempered, which is true under some non-resonance assumptions, and when we work microlocally near a non-trapped ray, our result implies that the scattering amplitude defines a semiclassical Fourier integral operator associated to the scattering relation in a neighborhood of that ray. Compared to previous work we allow this relation to have more general geometric structure.


title: Separated sets and the Falconer conjecture for polygonal norms

abstract: The Falconer conjecture asserts that if E is a planar set with Hausdorff dimension strictly greater than 1, then its Euclidean distance set has positive one-dimensional Lebesgue measure. We discuss the analogous question with the Euclidean distance replaced by non-Euclidean norms in which the unit ball is a polygon with 2K sides. We prove that for any such norm there is a set of Hausdorff dimension K/(K-1) whose distance set has Lebesgue measure 0.


title: The Renyi-Ulam pathological liar game with a fixed number of lies

abstract: The $q$-round Renyi-Ulam pathological liar game with $k$ lies on the set $[n]:=\{1,...,n\}$ is a 2-player perfect information zero sum game. In each round Paul chooses a subset $A\subseteq [n]$ and Carole either assigns 1 lie to each element of $A$ or to each element of $[n]\setminus A$. Paul wins if after $q$ rounds there is at least one element with $k$ or fewer lies. The game is dual to the original Renyi-Ulam liar game for which the winning condition is that at most one element has $k$ or fewer lies. We prove the existence of a winning strategy for Paul to the existence of a covering of the discrete hypercube with certain relaxed Hamming balls. Defining $F^*_k(q)$ to be the minimum $n$ such that Paul can win the $q$-round pathological liar game with $k$ lies and initial set $[n]$, we find $F^*_1(q)$ and $F^*_2(q)$ exactly. For fixed $k$ we prove that $F_k^*(q)$ is within an absolute constant (depending only on $k$) of the sphere bound, $2^q/\binom{q}{\leq k}$; this is already known to hold for the original Renyi-Ulam liar game due to a result of J. Spencer.


title: Casimirs of the Goldman Lie algebra of a closed surface

abstract: In 1986 Goldman introduced a Lie algebra structure on the linear span L of conjugacy classes of the fundamental group of a closed oriented surface. It is easy to see that the class e_1 of the trivial loop is a central element in L. We prove that any central element of L is a multiple of e_1 (a conjecture communicated to the author by Chas and Sullivan), and moreover that any central element of the Poisson algebra SL is a polynomial of e_1.


title: Cocompact Proper CAT(0) Spaces

abstract: This paper is about geometric and topological properties of a proper CAT(0) space $X$ which is cocompact - i.e. which has a compact generating domain with respect to the full isometry group. It is shown that geodesic segments in $X$ can "almost" be extended to geodesic rays. A basic ingredient of the proof of this geometric statement is the topological theorem that there is a top dimension $d$ in which the compactly supported integral cohomology of $X$ is non-zero. It is also proved that the boundary-at-infinity of $X$ (with the cone topology) has Lebesgue covering dimension $d-1$. It is not assumed that there is any cocompact discrete subgroup of the isometry group of $X$; however, a corollary for that case is that "the dimension of the boundary" is a quasi- isometry invariant of CAT(0) groups. (By contrast, it is known that the topological type of the boundary is not unique for a CAT(0) group.)


title: Higher Monodromy

abstract: For a given category C and a topological space X, the constant stack on X with stalk C is the stack of locally constant sheaves with values in C. Its global objects are classified by their monodromy, a functor from the Poincare groupoid of X to C. In this paper we recall these notions from the point of view of higher category theory and then define the 2-monodromy of a locally constant stack with values in a 2-category as a 2-functor from the homotopy 2-groupoid into the 2-category. We show that 2-monodromy classifies locally constant stacks on a reasonably well-behaved space X. As an application, we show how to recover from this classification the cohomological version of a classical theorem of Hopf, and we extend it to the non abelian case.


title: Quantum Cohomology of Hilb^2(P^1xP^1) and Enumerative Applications

abstract: We compute the Small Quantum Cohomology of Hilb^2(P^1xP^1) and determine recursively most of the Big Quantum Cohomology. We prove a relationship between the invariants so obtained and the enumerative geometry of hyperelliptic curves in P^1xP^1. This extends the results obtained by Graber for Hilb^2(P^2) and hyperelliptic curves in P^2.


title: The Ihara-Selberg zeta function for PGL(3) and Hecke operators

abstract: We prove an approximation to an Ihara-formula for the zeta function of an arithmetic quotient of the Bruhat-Tits building of a p-adic PGL(3).


title: Doi-Hopf modules and Yetter-Drinfeld modules for quasi-Hopf algebras

abstract: For a quasi-Hopf algebra $H$, a left $H$-comodule algebra $\mf{B}$ and a right $H$-module coalgebra $C$ we will characterize the category of Doi-Hopf modules ${}^C{\cal M}(H)_{\mf{B}}$ in terms of modules. We will also show that for an $H$-bicomodule algebra $\mb{A}$ and an $H$-bimodule coalgebra $C$ the category of generalized Yetter-Drinfeld modules ${}_{\mb{A}}{\cal YD}(H)^C$ is isomorphic to a certain category of Doi-Hopf modules. Using this isomorphism we will transport the properties from the category of Doi-Hopf modules to the category of generalized Yetter-Drinfeld modules.


title: Line bundles and p-adic characters

abstract: For a certain class of vector bundles E on abelian varieties A over local fields containing all line bundles algebraically equivalent to zero we define a canonical representation of the Tate module of A on the fibre of E in the zero section. This extends an old construction of Tate for line bundles to vector bundles of higher rank. We also compare this construction to the theory of parallel transport for vector bundles on p-adic curves developed in mathAG/0403516. Relations with the Hodge-Tate decomposition are also explained.


title: Existence of weak solutions to stochastic evolution inclusions

abstract: We consider the Cauchy problem for a semilinear stochastic differential inclusion in a Hilbert space. The linear operator generates a strongly continuous semigroup and the nonlinear term is multivalued and satisfies a condition which is more heneral than the Lipschitz condition. We prove the existence of a mild solution to this problem. This solution is not "strong" in the probabilistic sense, that is, it is not defined on the underlying probability space, but on a larger one, which provides a "very good extension" in the sense of Jacod and Memin. Actually, we construct this solution as a Young measure, limit of approximated solutions provided by the Euler scheme. The compactness in the space of Young measures of this sequence of approximated solutions is obtained by proving that some measure of noncompactness equals zero.


title: Hilbert-Kunz multiplicity and reduction mod p

abstract: We show that the Hilbert-Kunz multiplicities of the reductions to positive characteristics of an irreducible projective curve in characteristic 0 have a well-defined limit as the characteristic tends to infinity.


title: Geodesically reversible Finsler 2-spheres of constant curvature

abstract: A Finsler space is said to be geodesically reversible if each oriented geodesic can be reparametrized as a geodesic with the reverse orientation. A reversible Finsler space is geodesically reversible, but the converse need not be true. In this note, building on recent work of LeBrun and Mason, it is shown that a geodesically reversible Finsler metric of constant flag curvature on the 2-sphere is necessarily projectively flat. As a corollary, using a previous result of the author, it is shown that a reversible Finsler metric of constant flag curvature on the 2-sphere is necessarily a Riemannian metric of constant Gauss curvature, thus settling a long-standing problem in Finsler geometry.


title: A Construction of Metabelian Groups

abstract: In 1934, Garrett Birkhoff has shown that the number of isomorphism classes of finite metabelian groups of order $p^{22}$ tends to infinity with $p$. More precisely, for each prime number $p$ there is a family $(M_\lambda)_{\lambda=0,...,p-1}$ of indecomposable and pairwise nonisomorphic metabelian $p$-groups of the given order. In this manuscript we use recent results on the classification of possible embeddings of a subgroup in a finite abelian $p$-group to construct families of indecomposable metabelian groups, indexed by several parameters, which have upper bounds on the exponents of the center and the commutator subgroup.


title: Rational Cherednik algebras and Hilbert schemes

abstract: Let H_c be the rational Cherednik algebra of type A_{n-1} with spherical subalgebra U_c = eH_ce. Then U_c is filtered by order of differential operators, with associated graded ring gr U_c = C[h+h*]^W, where W is the n-th symmetric group. We construct a filtered Z-algebra B such that, under mild conditions on c: (1) The category B-qgr of graded noetherian B-modules modulo torsion is equivalent to U_c-mod; (2) The associated graded Z-algebra gr(B) has gr(B)-qgr equivalent to Coh Hilb(n), the category of coherent sheaves on the Hilbert scheme of points in the plane. This can be regarded as saying that U_c simultaneously gives a noncommutative deformation both of (h+h*)/W and of its resolution of singularities Hilb(n) --> (h+h*)/W. As our forthcoming companion paper [GS] shows, this result is a powerful tool for studying the representation theory of H_c and its relationship to Hilb(n).


title: Operators, martingales, and measures on projective limit spaces

abstract: Let X be a compact Hausdorff space. We study finite-to-one mappings r:X->X, onto X, and measures on the corresponding projective limit space X_\infinity(r). We show that the invariant measures on X_\infinity(r) correspond in a one-to-one fashion to measures on X which satisfy two identities. Moreover, we identify those special measures on X_\infinity(r) which are associated via our correspondence with a function V on X, a Ruelle transfer operator R_V, and an equilibrium measure \mu_V on X.


title: Four-manifold invariants from higher-rank bundles

abstract: Generalized Donaldson invariants of 4-manifolds are defined, using moduli spaces of anti-self-dual connections with structure group SU(N) or PSU(N). Some values of the invariants are calculated for the case that the 4-manifold arises by the knot-complement construction of Fintushel and Stern. The results are consistent with predictions of Marino and Moore.


title: A combinatorial approach to jumping particles

abstract: In this paper we consider a model of particles jumping on a row of cells, called in physics the one dimensional totally asymmetric exclusion process (TASEP). More precisely we deal with the TASEP with open or periodic boundary conditions and with two or three types of particles. From the point of view of combinatorics a remarkable feature of this Markov chain is that it involves Catalan numbers in several entries of its stationary distribution. We give a combinatorial interpretation and a simple proof of these observations. In doing this we reveal a second row of cells, which is used by particles to travel backward. As a byproduct we also obtain an interpretation of the occurrence of the Brownian excursion in the description of the density of particles on a long row of cells.


title: Embedding the diamond graph in $L_p$ and dimension reduction in $L_1$

abstract: We show that any embedding of the level-k diamond graph of Newman and Rabinovich into $L_p$, $1 < p \le 2$, requires distortion at least $\sqrt{k(p-1) + 1}$. An immediate consequence is that there exist arbitrarily large n-point sets $X \subseteq L_1$ such that any D-embedding of X into $\ell_1^d$ requires $d \geq n^{\Omega(1/D^2)}$. This gives a simple proof of the recent result of Brinkman and Charikar which settles the long standing question of whether there is an $L_1$ analogue of the Johnson-Lindenstrauss dimension reduction lemma.


title: The Colored Jones Polynomial and the A-Polynomial of Knots

abstract: We study relationships between the colored Jones polynomial and the A-polynomial of a knot. We establish for a large class of 2-bridge knots the AJ conjecture (of Garoufalidis) that relates the colored Jones polynomial and the A-polynomial. Along the way we also calculate the Kauffman bracket skein module of all 2-bridge knots. Some properties of the colored Jones polynomial of alternating knots are established.


title: A duality between $q$-multiplicities in tensor products and $q$-multiplicities of weights for the root systems $B,C$ or $D$

abstract: Starting from Jacobi-Trudi's type determinental expressions for the Schur functions corresponding to types $B,C$ and $D,$ we define a natural $q$-analogue of the multiplicity $[V(\lambda):M(\mu)]$ when $M(\mu)$ is a tensor product of row or column shaped modules defined by $\mu$. We prove that these $q$-multiplicities are equal to certain Kostka-Foulkes polynomials related to the root systems $C$ or $D$. Finally we derive formulas expressing the associated multiplicities in terms of Kostka numbers.


title: On the geometry of moduli spaces of coherent systems on algebraic curves

abstract: Let $C$ be an algebraic curve of genus $g$. A coherent system on $C$ consists of a pair $(E,V)$, where $E$ is an algebraic vector bundle over $C$ of rank $n$ and degree $d$ and $V$ is a subspace of dimension $k$ of the space of sections of $E$. The stability of the coherent system depends on a parameter $\alpha$. We study the geometry of the moduli space of coherent systems for different values of $\alpha$ when $k\leq n$ and the variation of the moduli spaces when we vary $\alpha$. As a consequence, for sufficiently large $\alpha$, we compute the Picard groups and the first and second homotopy groups of the moduli spaces of coherent systems in almost all cases, describe the moduli space for the case $k=n-1$ explicitly, and give the Poincar\'e polynomials for the case $k=n-2$.


title: Gaudin model and opers

abstract: This is a review of our previous works (some of them joint with B. Feigin and N. Reshetikhin) on the Gaudin model and opers. We define a commutative subalgebra in the tensor power of the universal enveloping algebra of a simple Lie algebra g. This algebra includes the hamiltonians of the Gaudin model, hence we call it the Gaudin algebra. It is constructed as a quotient of the center of the completed enveloping algebra of the affine Kac-Moody algebra g^ at the critical level. We identify the spectrum of the Gaudin algebra with the space of opers associated to the Langlands dual Lie algebra of g on the projective line with regular singularities at the marked points. Next, we recall the construction of the eigenvectors of the Gaudin algebra using the Wakimoto modules over g^ of critical level. The Wakimoto modules are naturally parameterized by Miura opers (or, equivalently, Cartan connections), and the action of the center on them is given by the Miura transformation. This allows us to relate solutions of the Bethe Ansatz equations to Miura opers and ultimately to the flag varieties associated to the Langlands dual Lie algebra of g.


title: A new approach to induction and imprimitivity results

abstract: In the framework of locally compact quantum groups, we provide an induction procedure for unitary corepresentations as well as coactions on C*-algebras. We prove imprimitivity theorems that unify the existing theorems for actions and coactions of groups. We essentially use von Neumann algebraic techniques.


title: Free quasi-free states and factors of type III (after D. Shlyakhtenko)

abstract: This is a survey paper on the work of D. Shlyakhtenko on free Araki-Woods factors. The paper was written (in French) on the occasion of the Bourbaki seminar. Our original contribution consists in computing the tau invariant for arbitrary free Araki-Woods factors.


title: Hypercube embedding of Wythoffians

abstract: The Wythoff construction takes a $d$-dimensional polytope $P$, a subset $S$ of $\{0,..., d\}$ and returns another $d$-dimensional polytope $P(S)$. If $P$ is a regular polytope, then $P(S)$ is vertex-transitive. This construction builds a large part of the Archimedean polytopes and tilings in dimension 3 and 4. We want to determine, which of those Wythoffians $P(S)$ with regular $P$ have their skeleton or dual skeleton isometrically embeddable into the hypercubes $H_m$ and half-cubes ${1/2}H_m$. We find six infinite series, which, we conjecture, cover all cases for dimension $d>5$ and some sporadic cases in dimension 3 and 4 (see Tables \ref{WythoffEmbeddable3} and \ref{WythoffEmbeddable4}). Three out of those six infinite series are explained by a general result about the embedding of Wythoff construction for Coxeter groups. In the last section, we consider the Euclidean case; also, zonotopality of embeddable $P(S)$ are addressed throughout the text.


title: Lagrangian submanifolds and dynamics on Lie algebroids

abstract: In some previous papers, a geometric description of Lagrangian Mechanics on Lie algebroids has been developed. In the present paper, we give a Hamiltonian description of Mechanics on Lie algebroids. In addition, we introduce the notion of a Lagrangian submanifold of a symplectic Lie algebroid and we prove that the Lagrangian (Hamiltonian) dynamics on Lie algebroids may be described in terms of Lagrangian submanifolds of symplectic Lie algebroids. The Lagrangian (Hamiltonian) formalism on Lie algebroids permits to deal with Lagrangian (Hamiltonian) functions not defined necessarily on tangent (cotangent) bundles. Thus, we may apply our results to the projection of Lagrangian (Hamiltonian) functions which are invariant under the action of a symmetry Lie group. As a consequence, we obtain that Lagrange-Poincare (Hamilton-Poincare) equations are the Euler-Lagrange (Hamilton) equations associated with the corresponding Atiyah algebroid. Moreover, we prove that Lagrange-Poincare (Hamilton-Poincare) equations are the local equations defining certain Lagrangian submanifolds of symplectic Atiyah algebroids.


title: Do Goedel's incompleteness theorems set absolute limits on the ability of the brain to express and communicate mental concepts verifiably?

abstract: Classical interpretations of Goedel's formal reasoning imply that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is essentially unverifiable. However, a language of general, scientific, discourse cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth verifiably. We consider a constructive interpretation of classical, Tarskian, truth, and of Goedel's reasoning, under which any formal system of Peano Arithmetic is verifiably complete. We show how some paradoxical concepts of Quantum mechanics can be expressed, and interpreted, naturally under a constructive definition of mathematical truth.


title: Extremality for the Vafa-Witten bound on the sphere

abstract: We prove that the round metric on the sphere has the largest first eigenvalue of the Dirac operator among all metrics that are larger than it. As a corollary, this gives an alternative proof of an extremality result for scalar curvature due to M. Llarull.


title: Contact homology and homotopy groups of the space of contact structures

abstract: Using contact homology, we reobtain some recent results of Geiges and Gonzalo about the fundamental group of the space of contact structures on some 3-manifolds. We show that our techniques can be used to study higher dimensional contact manifolds and higher order homotopy groups.


title: Regularization of currents and entropy

abstract: Let T be a positive closed (p,p)-current of mass 1 on a compact Kahler manifold X. Then, there exist a constant c, independent of T, and smooth positive closed (p,p)-currents Tn and Sn of mass c such that Tn-Sn converge weakly to T. We also extend this result to positive pluriharmonic currents. Then we study the wedge product of positive closed (1,1)-currents having continuous potential with positive pluriharmonic currents. As an application, we give an estimate of the topological entropy of meromorphic maps on compact Kahler manifolds.


title: A note on a construction of J.F. Feinstein

abstract: In \cite{F} J.F. Feinstein constructed a compact plane set $X$ such that $R(X)$ has no non-zero, bounded point derivations but is not weakly amenable. In the same paper he gave an example of a separable uniform algebra $A$ such that every point in the character space of $A$ is a peak point but $ A$ is not weakly amenable. We show that it is possible to modify the construction in order to produce examples which are also regular.


title: Scalar curvature and projective embeddings, II

abstract: The paper uses the technique of finite-dimensional approximation to show that a constant scalr curvature Kahler metric (on a polarised algebraic variety without holomorphic vector fields) minimises the Mabuchi functional.


title: A two-variable refinement of the Stark conjecture in the function field case

abstract: We propose a conjecture refining the Stark conjecture St(K/k,S) (Tate's formulation) in the function field case. Of course St(K/k,S) in this case is a theorem due to Deligne and independently to Hayes. The novel feature of our conjecture is that it involves two- rather than one-variable algebraic functions over finite fields. Because the conjecture is formulated in the language and framework of Tate's thesis we have powerful standard techniques at our disposal to study it. We build a case for our conjecture by (i) proving a parallel result in the framework of adelic harmonic analysis which we dub the adelic Stirling formula, (ii) proving the conjecture in the genus zero case and (iii) explaining in detail how to deduce St(K/k,S) from our conjecture. In the genus zero case the class of two-variable algebraic functions thus arising includes all the F_q[T]-solitons previously studied and applied by the author, collaborators and others. Ultimately the inspiration for this paper comes from striking examples given some years ago by R. Coleman and D. Thakur.


title: Boundedly Simple Groups Have Trivial Bounded Cohomology

abstract: We observe that the singular part of the second bounded cohomology group of boundedly simple groups is trivial.


title: Bethe Ansatz for Arrangements of Hyperplanes and the Gaudin Model

abstract: We show that the Shapovalov norm of a Bethe vector in the Gaudin model is equal to the Hessian of the logarithm of the corresponding master function at the corresponding isolated critical point. We show that different Bethe vectors are orthogonal. These facts are corollaries of a general Bethe ansatz type construction, suggested in this paper and associated with an arbitrary arrangement of hyperplanes.


title: Heegaard splittings of the form H + nK

abstract: Suppose that a three-manifold M contains infinitely many distinct strongly irreducible Heegaard splittings H + nK, obtained by Haken summing the surface H with n copies of the surface K. We show that K is incompressible. All known examples, of manifolds containing infinitely many irreducible Heegaard splittings, are of this form. We also give new examples of such manifolds.


title: A search method for thin positions of links

abstract: We give a method for searching for thin positions of a given link.


title: Skipped Blocking and other Decompositions in Banach spaces

abstract: Necessary and sufficient conditions are given for when a sequence of finite dimensional subspaces (X_n) can be blocked to be a skipped blocking decompositon (SBD). These are very similar to known results about blocking of biorthogonal sequences. A separable space $X$ has PCP, if and only if, every norming decomposition (X_n) can be blocked to be a boundedly complete SBD. Every boundedly complete SBD is a JT-decomposition.


title: Bundle Constructions of Calibrated Submanifolds in R^7 and R^8

abstract: We construct calibrated submanifolds of R^7 and R^8 by viewing them as total spaces of vector bundles and taking appropriate sub-bundles which are naturally defined using certain surfaces in R^4. We construct examples of associative and coassociative submanifolds of R^7 and of Cayley submanifolds of R^8. This construction is a generalization of the Harvey-Lawson bundle construction of special Lagrangian submanifolds of R^{2n}.


title: Some remarks on Brauer groups of K3 surfaces

abstract: We discuss the geometry of the genus one fibrations associated to an elliptic fibration on a K3 surface. We show that the two-torsion subgroup of the Brauer group of a general elliptic fibration is naturally isomorphic to the two-torsion of the Jacobian of a curve associated to the fibration. We remark that this is related to Recillas' trigonal construction. Finally we discuss the two-torsion in the Brauer group of a general K3 surface with a polarisation of degree two.


title: Formal symplectic groupoid of a deformation quantization

abstract: We give a self-contained algebraic description of a formal symplectic groupoid over a Poisson manifold M. To each natural star product on M we then associate a canonical formal symplectic groupoid over M. Finally, we construct a unique formal symplectic groupoid `with separation of variables' over an arbitrary Kaehler-Poisson manifold.


abstract: We generalize the classical construction principles of infinite-dimensional real (and complex) Lie groups to the case of Lie groups over non-discrete topological fields. In particular, we discuss linear Lie groups, mapping groups, test function groups, diffeomorphism groups, and weak direct products of Lie groups. The specific tools of differential calculus required for the Lie group constructions are developed. Notably, we establish differentiability properties of composition and evaluation, as well as exponential laws for function spaces. We also present techniques to deal with the subtle differentiability and continuity properties of non-linear mappings between spaces of test functions. Most of the results are independent of any specific properties of the topological vector spaces involved; in particular, we can deal with real and complex Lie groups modeled on non-locally convex spaces.


title: Deformation and applicability of surfaces in Lie sphere geometry

abstract: The theory of surfaces in Euclidean space can be naturally formulated in the more general context of Legendre surfaces into the space of contact elements. We address the question of deformability of Legendre surfaces with respect to the symmetry group of Lie sphere contact transformations from the point of view of the deformation theory of submanifolds in homogeneous spaces. Necessary and sufficient conditions are provided for a Legendre surface to admit non-trivial deformations and the corresponding existence problem is discussed.


title: A Note on Commuting Diffeomorphisms on Surfaces

abstract: Let S be a closed surface with nonzero Euler characteristic. We prove the existence of an open neighborhood V of the identity map of S in the C^1-topology with the following property: if G is an abelian subgroup of Diff^1(S) generated by any family of elements in V then the elements of G have common fixed points. This result generalizes a similar result due to Bonatti and announced in his paper "Diffeomorphismes commutants des surfaces et stabilite des fibrations en tores".


title: Combinatorics of Bifurcations in Exponential Parameter Space

abstract: We give a complete combinatorial description of the bifurcation structure in the space of exponential maps $z\mapsto\exp(z)+\kappa$. This combinatorial structure is the basis for a number of important results about exponential parameter space. These include the fact that every hyperbolic component has connected boundary, a classification of escaping parameters, and the fact that all dynamic and parameter rays at periodic addresses land.


title: Morse functions and cohomology of homogeneous spaces

abstract: This article arose from a series of three lectures given at the Banach Center, Warsaw, during period of 24 March to 13 April, 2003. Morse functions are useful tool in revealing the geometric formation of its domain manifolds $M$. They define the handle decompositions of $M$ from which the additive homologies $H_{\ast}(M)$ may be constructed. In these lectures two further questions were emphasized. (1) How to find a Morse function on a given manifold? (2) From Morse functions can one derive the multiplicative cohomology rather than the additive homology?


title: An Introduction to Some Spaces of Interval Functions

abstract: The paper gives a brief account of the spaces of interval functions defined through the concepts of H-continuity, D-continuity and S-continuity. All three continuity concepts generalize the usual concept of continuity for real (point valued) functions. The properties of the functions in these new spaces are discussed and investigated, preserving essential properties of the usual continuous real functions being of primary interest. Various ways in which the spaces of H-continuous, D-continuous and S-continuous interval functions complement the spaces of continuous real functions are discussed.


title: On subcanonical surfaces of P^4

abstract: We prove that a smooth, subcanonical surface of P^4 (projective space over an algebraically closed field of characteristic zero) is complete intersection if it is contained in a quartic hypersurface.


title: The homotopy type of complexes of graph homomorphisms between cycles

abstract: In this paper we study the homotopy type of $\Hom(C_m,C_n)$, where $C_k$ is the cyclic graph with $k$ vertices. We enumerate connected components of $\Hom(C_m,C_n)$ and show that each such component is either homeomorphic to a point or homotopy equivalent to $S^1$. Moreover, we prove that $\Hom(C_m,L_n)$ is either empty or is homotopy equivalent to the union of two points, where $L_n$ is an $n$-string, i.e., a tree with $n$ vertices and no branching points.


title: Characteristic-independence of Betti numbers of graph ideals

abstract: In this paper we study the Betti numbers of Stanley-Reisner ideals generated in degree 2. We show that the first six Betti numbers do not depend on the characteristic of the ground field. We also show that, if the number of variables $n$ is at most 10, all Betti numbers are independent of the ground field. For $n=11$, there exists precisely 4 examples in which the Betti numbers depend on the ground field. This is equivalent to the statement that the homology of flag complexes with at most 10 vertices is torsion free and that there exists precisely 4 non-isomorphic flag complexes with 11 vertices whose homology has torsion. In each of the 4 examples mentioned above the 8th Betti numbers depend on the ground field and so we conclude that the highest Betti number which is always independent of the ground field is either 6 or 7; if the former is true then we show that there must exist a graph with 12 vertices whose 7th Betti number depends on the ground field.


title: Conservation of resonant periodic solutions for the one-dimensional nonlinear Schroedinger equation

abstract: We consider the one-dimensional nonlinear Schr\"odinger equation with Dirichlet boundary conditions in the fully resonant case (absence of the zero-mass term). We investigate conservation of small amplitude periodic-solutions for a large set measure of frequencies. In particular we show that there are infinitely many periodic solutions which continue the linear ones involving an arbitrary number of resonant modes, provided the corresponding frequencies are large enough and close enough to each other (wave packets with large wave number).


title: On Wilson's Theorem and Polignac Conjecture

abstract: We introduce Wilson's theorem and Clement's result and present a necessary and sufficient condition for p and p+2k to be primes where k is a positive integer. By using Simiov's Theorem, we derive an improved version of Clement's result and characterizations of Polignac twin primes which parallel previous characterizations.


title: On polynomials orthogonal to all powers of a given polynomial on a segment

abstract: In this paper we investigate the following "polynomial moment problem": for a complex polynomial $P(z)$ and distinct complex numbers $a,b$ to describe polynomials $q(z)$ orthogonal to all integer non-negative powers of $P(z)$ on the segment $[a,b].$


title: The stable and the real rank of Z-absorbing C*-algebras

abstract: Suppose that A is a C*-algebra for which A is isomorphic to A tensor Z, where Z is the Jiang-Su algebra: a unital, simple, stably finite, separable, nuclear, infinite dimensional C*-algebra with the same Elliott invariant as the complex numbers. We show that: (i) The Cuntz semigroup W(A) of equivalence classes of positive elements in matrix algebras over A is weakly unperforated. (ii) If A is exact, then A is purely infinite if and only if A is traceless. (iii) If A is separable and nuclear, then A is isomorphic to A tensor O_infty if and only if A is traceless. (iv) If A is simple and unital, then the stable rank of A is one if and only if A is finite. We also characterise when A is of real rank zero.


title: Normalization of Poincar\'{e} Singularities {\it via} Variation of Constants

abstract: We present a geometric proof of the Poincar\'e-Dulac Normalization Theorem for analytic vector fields with singularities of Poincar\'e type. Our approach allows us to relate the size of the convergence domain of the linearizing transformation to the geometry of the complex foliation associated to the vector field. A similar construction is considered in the case of linearization of maps in a neighborhood of a hyperbolic fixed point.


title: The moments of the Riemann zeta-function. Part I: The fourth moment off the critical line

abstract: In this paper, the first part of a larger work, we prove the spectral decomposition of $$ \int_{-\infty}^\infty|\zeta(\s+it)|^4g(t){\rm d}t\qquad(\hf < \sigma < 1 {\rm {fixed}}), $$ where $g(t)$ is a suitable weight function of fast decay. This is used to obtain estimates and omega results for the function $$\eqalign{E_2(T,\sigma) &: =\int_0^T|\zeta(\sigma+it)|^4{rm d}t - {\zeta^4(2\sigma)\over\zeta(4\sigma)}T -{T\over3-4\sigma}{({T\over2\pi} )}^{2-4\sigma}{\zeta^4(2-2\sigma)\over\zeta(4-4\sigma)}\cr& - T^{2-2\sigma}(a_0(\sigma) + a_1(\sigma)\log T + a_2(\sigma)\log^2T),\cr} $$ the error term in the asymptotic formula for the fourth moment of $|\zeta(\sigma+it)|$.