title: Some new results on Borel irreducibility of equivalence relations

abstract: We prove that orbit equivalence relations (ERs, for brevity) of generically turbulent Polish actions are not Borel reducible to ER s of a family which includes Polish actions of S_\infty, the group of all permutations of N, and is closed under the Fubini product modulo the ideal Fin of all finite sets, and some other operations. Our second main result shows that T_2, the equivalence relation called ``the equality of countable sets of the reals'', is not Borel reducible to another family of ERs which includes continuous actions of Polish CLI groups, Borel equivalence relations with G_\delta classes, some ideals, and is closed under the Fubini product over $Fin.$ Both results and their corollaries extend some earlier irreducibility theorems by Hjorth and Kechris.


title: Variation of the Liouville measure of a hyperbolic surface

abstract: For a compact riemannian manifold of negative curvature, the geodesic foliation of its unit tangent bundle is independent of the negatively curved metric, up to Holder bicontinuous homeomorphism. However, the riemannian metric defines a natural transverse measure to this foliation, the Liouville transverse measure, which does depend on the metric. For a surface S, we show that the map which to a hyperbolic metric on S associates its Liouville transverse measure is differentiable, in an appropriate sense. Its tangent map is valued in the space of transverse Holder distributions for the geodesic foliation.


title: Differential Operators and Weighted Isobaric Polynomials

abstract: We characterize those sequences of weighted isobaric polynomials as defined in math.CO/0106213 which belong to the kernel of the linear operator $D_{11} - \sum_{j=1}^k a_j t_j D_{2j} - mD_2$, and we characterize those linear operators of this form in terms of the coefficients $a_j$ which have a non-zero kernel.


title: On the Computation of Hilbert Bases and Extreme Rays of Cones

abstract: In this paper we present a novel project-and-lift approach to compute the set of minimal generators of the semigroup $(\Lambda\cap\R^n_+,+)$ for lattices $\Lambda\subseteq\Z^n$. This problem class includes the computation of Hilbert bases of cones $\{z:Az=0,z\in\R^n_+\}$ for integer matrices $A$. A similar approach can be used to compute only the extreme rays of such cones. Finally, some combinatorial applications and computational experience are presented.


title: Motivic Haar measure on reductive groups

abstract: We define a motivic analogue of the Haar measure for groups of the form G(k((t))), where k is an algebraically closed field of characteristic zero, and G is a reductive algebraic group defined over k. A classical Haar measure on such groups does not exist since they are not locally compact. We use the theory of motivic integration introduced by M. Kontsevich to define an additive function on a certain natural Boolean algebra of subsets of G(k((t))). This function takes values in the so-called dimensional completion of the Grothendieck ring of the category of varieties over the base field. It is invariant under translations by all elements of G(k((t))), and therefore we call it a motivic analogue of Haar measure. We give an explicit construction of the motivic Haar measure, and then prove that the result is independent of all the choices that are made in the process, even though we have no general uniqueness statement.


title: On the representations of Sp(p,q) and SO^\ast(2n) unitarily induced from derived functor modules

abstract: We obtain a decomposition formula of a representation of Sp(p,q) and SO^\ast(2n) unitarily induced from a derived functor module, which enables us to reduce the problem of irreducible decompositions to the study of derived functor modules. In particular, we show such an induced representation is decomposed into a direct sum of irreducible unitarily induced modules from derived functor modules under some regularity condition on the parameters. In particular, representations of SO^\ast(2n) and Sp(p,q) induced from one-dimensional unitary representations of their parabolic subgroups are irreducible.


title: The theory of Liouville functions

abstract: A Liouville function is a complex analytic function H with a Taylor series \sum_{n=1}^{\infty} x^n/a_n such the a_n's form a ``very fast growing'' sequence of integers. In this paper we exhibit the complete first-order theory of the complex field expanded with H.


title: The conjugacy and isomorphism problems for combable groups

abstract: There exist combable groups in which the conjugacy problem is unsolvable. The isomorphism problem is unsolvable for certain recursive sequences of finite presentations of combable groups.


title: On the structure of graded symplectic supermanifolds and Courant algebroids

abstract: This paper is devoted to a study of geometric structures expressible in terms of graded symplectic supermanifolds. We extend the classical BRST formalism to arbitrary pseudo-Euclidean vector bundles (E\to M_{0}) by canonically associating to such a bundle a graded symplectic supermanifold ((M,\Omega)), with (\textrm{deg}(\Omega)=2). Conversely, every such manifold arises in this way. We describe the algebra of functions on (M) in terms of (E) and show that ``BRST charges'' on (M) correspond to Courant algebroid structures on (E), thereby constructing the standard complex for the latter as a generalization of the classical BRST complex. As an application of these ideas, we prove the acyclicity of ``higher de Rham complexes'', a generalization of a classic result of Fr\"{o}hlicher-Nijenhuis, and derive several easy but useful corollaries.


title: Some Observations on Dyson's New Symmetries of Partitions

abstract: We utilize Dyson's concept of the adjoint of a partition to derive an infinite family of new polynomial analogues of Euler's Pentagonal Number Theorem. We streamline Dyson's bijection relating partitions with crank <= k and those with k in the Rank-Set of partitions. Also, we extend Dyson's adjoint of a partition to MacMahon's ``modular'' partitions with modulus 2. This way we find a new combinatorial proof of Gauss's famous identity. We give a direct combinatorial proof that for n>1 the partitions of n with crank k are equinumerous with partitions of n with crank -k.


title: Lie brackets on affine bundles

abstract: Natural analogs of Lie brackets on affine bundles are studied, based on natural examples from differential geometry and analytical mechanics. In particular, a close relation to Lie algebroids and, by a sort of duality, to affine analogs of Poisson structures is established as well as affine versions of the complete lift of a section and the Cartan exterior calculus.


title: Decidability of quantified propositional intuitionistic logic and S4 on trees

abstract: Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers \forall p, \exists p over propositions. In the context of Kripke semantics, a proposition is a subset of the worlds in a model structure which is upward closed. Kremer (1997) has shown that the quantified propositional intuitionistic logic H\pi+ based on the class of all partial orders is recursively isomorphic to full second-order logic. He raised the question of whether the logic resulting from restriction to trees is axiomatizable. It is shown that it is, in fact, decidable. The methods used can also be used to establish the decidability of modal S4 with propositional quantification on similar types of Kripke structures.


title: Residues and tame symbols on toroidal varieties

abstract: We introduce a new approach to the study of a system of algebraic equations in the algebraic torus whose Newton polytopes have sufficiently general relative positions. Our method is based on the theory of Parshin's residues and tame symbols on toroidal varieties. It provides a uniform algebraic explanation of the recent result of Khovanskii on the product of the roots of such systems and the Gel'fond--Khovanskii result on the sum of the values of a Laurent polynomial over the roots of such systems, and extends them to the case of an algebraically closed field of arbitrary characteristic.


title: On the stable rank of algebras of operator fields over N-cubes

abstract: Let A be a unital maximal full algebra of operator fields with base space the k-cube [0,1]^k and fibre algebras, say, {A_t}_{t \in [0,1]^k}. Then the stable rank of A is bounded above by the supremum of the stable ranks sr(C([0,1]^k) \otimes A_t) for t \in [0,1]^k. Using this estimate, we compute the stable ranks of the universal C^*-algebras of the discrete Heisenberg groups.


title: Wilson's grassmannian and a noncommutative Quadric

abstract: Let the group G of m-th roots of unity act on the complex line by multiplication, inducing an action on the algebra, Diff, of polynomial differential operators on the line. Following Crawley-Boevey and Holland, we introduce a multiparameter deformation, D_c, of the smash-product (Diff # G). Our main result provides natural bijections between (roughly speaking) the following spaces: (1) G-equivariant version of Wilson's adelic Grassmannian of rank r; (2) Rank r projective D_c-modules (equipped with generic trivialization); (3) Rank r torsion-free sheaves on a `noncommutative quadric'; (4) Disjoint union of Nakajima quiver varieties for the cyclic quiver with m vertices. The bijection between (1) and (2) is provided by a version of Riemann-Hilbert correspondence between D-modules and sheaves. The bijections between (2), (3) and (4) were motivated by our previous work math.AG/0103068. The resulting bijection between (1) and (4) reduces, in the very special case: r=1 and G=1, to the partition of (rank 1) adelic Grassmannian into a union of Calogero-Moser spaces, discovered by Wilson. This gives, in particular, a natural and purely algebraic approach to Wilson's result.


title: Birational isomorphisms between generalized Severi-Brauer varieties

abstract: The aim of this paper is to investigate the birational geometry of Generalized Severi-Brauer varieties. A conjecture of Amitsur states that two Severi-Brauer varieties $V(A)$ and $V(B)$ are birational if the underlying central simple algebras $A$ and $B$ are the same degree and generate the same cyclic subgroup of the Brauer group. We present a generalization of this conjecture to Generalized Severi-Brauer varieties, and show that in most cases we may reduce the new conjecture to the case where every subfield of the algebras is maximal, and in particular to the case where the algebras have prime power degree. This allows us to prove infinitely many new cases for Amitsur's original conjecture. We also give a proof of the generalized conjecture for the case $B \cong A^{op}$.


title: Multiple points of immersions

abstract: Given smooth manifolds $V^n$ and $M^m$, an integer $k$, and an immersion $f:V\looparrowright M$, we have constructed an obstruction for existence of regular homotopy of $f$ to an immersion $f':V\looparrowright M$ without $k$-fold points. This obstruction takes values in certain framed bordism group, and for $(k+1)(n+1)\leq km$ turns out to be complete.


title: Kashaev's conjecture and the Chern-Simons invariants of knots and links

abstract: R.M. Kashaev conjectured that the asymptotic behavior of his link invariant, which equals the colored Jones polynomial evaluated at a root of unity, determines the hyperbolic volume of any hyperbolic link complement. We observe numerically that for knots $6_3$, $8_9$ and $8_{20}$ and for the Whitehead link, the colored Jones polynomials are related to the hyperbolic volumes and the Chern-Simons invariants and propose a complexification of Kashaev's conjecture.


title: Two complete and minimal systems associated with the zeros of the Riemann zeta function

abstract: We link together three themes which had remained separated so far: the Hilbert space properties of the Riemann zeros, the ``dual Poisson formula'' of Duffin-Weinberger (also named by us co-Poisson formula), and the ``Sonine spaces'' of entire functions defined and studied by de Branges. We determine in which (extended) Sonine spaces the zeros define a complete, or minimal, system. We obtain some general results dealing with the distribution of the zeros of the de Branges Sonine entire functions. We draw attention onto some distributions associated with the Fourier transform and which we introduced in our earlier works.


title: Biliaison classes of curves in $P^3$

abstract: We characterize the curves in $ P^3$ which are minimal in their biliaison class. Such curves are exactly the curves which do no admit an elementary descending biliaison. As a consequence we have that every curve in $P^3$ can be obtained from a minimal one by means of a finite sequence of ascending elementary biliaisons.


title: Inclusion-exclusion and Segre classes

abstract: We propose a variation of the notion of Segre class, by forcing a naive `inclusion-exclusion' principle to hold. The resulting class is computationally tractable, and is closely related to Chern-Schwartz-MacPherson classes. We deduce several general properties of the new class from this relation, and obtain an expression for the Milnor class of a scheme in terms of this class.


title: An Orientation-Sensitive Vassiliev Invariant for Virtual Knots

abstract: It is an open question whether there are Vassiliev invariants that can distinguish an oriented knot from its inverse, i.e., the knot with the opposite orientation. In this article, an example is given for a first order Vassiliev invariant that takes different values on a virtual knot and its inverse. The Vassiliev invariant is derived from the Conway polynomial for virtual knots. Furthermore, it is shown that the zeroth order Vassiliev invariant coming from the Conway polynomial cannot distinguish a virtual link from its inverse and that it vanishes for virtual knots.


title: Once more about Voronoi's conjecture and space tiling zonotopes

abstract: Voronoi conjectured that any parallelotope is affinely equivalent to a Voronoi polytope. A parallelotope is defined by a set of $m$ facet vectors $p_i$ and defines a set of $m$ lattice vectors $t_i$, $1\le i\le m$. We show that Voronoi's conjecture is true for an $n$-dimensional parallelotope $P$ if and only if there exist scalars $\gamma_i$ and a positive definite $n\times n$ matrix $Q$ such that $\gamma_i p_i=Qt_i$ for all $i$. In this case the quadratic form $f(x)=x^TQx$ is the metric form of $P$. As an example, we consider in detail the case of a zonotopal parallelotope. We show that $Q=(Z_{\beta}Z^T_{\beta})^{-1}$ for a zonotopal parallelotope $P(Z)$ which is the Minkowski sum of column vectors $z_j$ of the $n\times r$ matrix $Z$. Columns of the matrix $Z_{\beta}$ are the vectors $\sqrt{2\beta_j}z_j$, where the scalars $\beta_j$, $1\le j\le r$, are such that the system of vectors $\{\beta_jz_j:1\le j\le r\}$ is unimodular. $P(Z)$ defines a dicing lattice which is the set of intersection points of the dicing family of hyperplanes $H(j,k)=\{x:x^T(\beta_jQz_j)=k\}$, where $k$ takes all integer values and $1\le j\le r$.


title: Isospectral Theory of Euler Equations

abstract: Isospectral problem of both 2D and 3D Euler equations of inviscid fluids, is investigated. Connections with the Clay problem are described. Spectral theorem of the Lax pair is studied.


title: Examples of Anosov diffeomorphisms

abstract: We give a simple procedure to construct explicit examples of nilmanifolds admitting an Anosov diffeomorphism, and show that a reasonable classification up to homeomorphism (or even up to commensurability) of such nilmanifolds would not be possible.


title: Fundamental Groups of Blow-ups

abstract: Many examples of nonpositively curved closed manifolds arise as blow-ups of projective hyperplane arrangements. If the hyperplane arrangement is associated to a finite reflection group W, and the blow-up locus is W-invariant, then the resulting manifold M will admit a cell decomposition whose maximal cells are all combinatorially isomorphic to a given convex polytope P. In other words, M admits a tiling with tile P. The universal covers of such examples yield tilings of R^n whose symmetry groups are generated by involutions but are not, in general, reflection groups. We begin a study of these ``mock reflection groups'', and develop a theory of tilings that includes the examples coming from blow-ups and that generalizes the corresponding theory of reflection tilings. We apply our general theory to classify the examples coming from blow-ups in the case where the tile P is either the permutohedron or the associahedron.


title: Variations on the Bloch-Ogus Theorem

abstract: In the present paper we discuss questions concerning the arithmetic resolution for etale cohomology. Namely, consider a smooth quasi-projective variety X over a field k together with the local scheme U at a point x. Let Y be a smooth proper scheme over U. We prove there is the Gersten-type exact sequence for etale cohomology with coefficients in a locally constant etale sheaf F of Z/nZ-modules on Y which has finite stalks and (n,char(k))=1.


title: Elementary divisors of Gram matrices of certain Specht modules

abstract: The elementary divisors of the Gram matrices of Specht modules S^lambda over the symmetric group are determined for two-row partitions and for two-column partitions lambda. More precisely, the subquotients of the Jantzen filtration are calculated using Schaper's formula. Moreover, considering a general partition lambda of n at a prime p > n - lambda_1, the only possible non trivial composition factor of S_p^lambda is induced by the morphism of Carter and Payne, as shown by means of Kleshchev's modular branching rule. This enables the Jantzen filtration to be calculated in this case as well.


title: An algorithm for computing the Weierstrass normal form of hyperelliptic curves

abstract: An algorithm is given to compute a normal form for hyperelliptic curves. The elliptic case has been treated in a previous paper. In this paper the hyperelliptic case is treated.


title: Abelian Subgroups of the Torelli Group

abstract: Let S be a closed oriented surface of genus g > 1, and let T denote its Torelli group. First, given a set E of homotopically nontrivial, pairwise disjoint, pairwise nonisotopic simple closed curves on S, we determine precisely when a multitwist on E is an element of T by defining an equivalence relation on E and then applying graph theory. Second, we prove that an arbitrary Abelian subgroup of T has rank < 2g-4.


title: A mean value theorem for orders of degree zero divisor class groups of quadratic extensions over a function field

abstract: Let $k$ be a function field of one variable over a finite field with the characteristic not equal to two. In this paper, we consider the prehomogeneous representation of the space of binary quadratic forms over $k$. We have two main results. The first result is on the principal part of the global zeta function associated with the prehomogeneous vector space. The second result is on a mean value theorem for degree zero divisor class groups of quadratic extensions over $k$, which is a consequence of the first one.


title: An algorithm for twisted fusion rules

abstract: We present an algorithm for an efficient calculation of the fusion rules of twisted representations of untwisted affine Lie algebras. These fusion rules appear in WZW orbifold theories and as annulus coefficients in boundary WZW theories; they provide NIM-reps of the WZW fusion rules.


title: A Splitting Criterion for Galois Representations Associated to Exceptional Modular Forms (mod p)

abstract: This paper continues the study of certain two-dimensional Galois representations attached to modular forms (mod p) via a construction due to Deligne. In particular, we prove a criterion for determining when the representation is split when restricted to a decomposition group at p.While this problem was already well understood for "nonexceptional" modular forms, here we specifically address the "exceptional" case. Although the problem is not solved in all generality, it is reasonable to hope that this proof will in fact provide the framework of a proof in the more general case.


title: The homology theory of Koszul-Vinberg algebroids and Poisson manifolds II

abstract: We deal with smooth real manifolds as well as complex analytic manifolds as well. It is well known that the concept of star product is powerful enough to produce all Poisson structures on real manifolds. According to [BdM] it is not known whether holomorphic star products exist on complex analytic manifolds. The main purpose of this paper is to show that the concept of homology of Koszul-Vinberg algebroids on smooth (resp. complex analytic) manifolds is an effective tool to produce smooth (resp complex analytic) Poisson structures on smooth (resp. complex analytic) manifolds. We also study some invariants of contact structures which arise from the associated Koszul-Vinberg algebroids.


title: Askey-Wilson Type Functions, With Bound States

abstract: The two linearly independent solutions of the three-term recurrence relation of the associated Askey-Wilson polynomials, found by Ismail and Rahman in [22], are slightly modified so as to make it transparent that these functions satisfy a beautiful symmetry property. It essentially means that the geometric and the spectral parameters are interchangeable in these functions. We call the resulting functions the Askey-Wilson functions. Then, we show that by adding bound states (with arbitrary weights) at specific points outside of the continuous spectrum of some instances of the Askey-Wilson difference operator, we can generate functions that satisfy a doubly infinite three-term recursion relation and are also eigenfunctions of $q$-difference operators of arbitrary orders. Our result provides a discrete analogue of the solutions of the purely differential version of the bispectral problem that were discovered in the pioneering work [8] of Duistermaat and Gr\"unbaum.


title: Loop homology algebra of a closed manifold

abstract: The loop homology of a closed orientable manifold $M$ of dimension $d$ is the ordinary homology of the free loop space $M^{S^1}$ with degrees shifted by $d$, i.e. $\mathbb H_*(M^{S^1}) = H_{*+d}(M^{S^1})$. Chas and Sullivan have defined a loop product on $\mathbb H_*(M^{S^1})$ and an intersection morphism $I : \mathbb H_*(M^{S^1}) \to H_*(\Omega M)$. The algebra $\mathbb H_*(M^{S^1})$ is commutative and $I$ is a morphism of algebras. In this paper we produce a model that computes the algebra $\mathbb H_*(M^{S^1})$ and the morphism $I$. We show that the kernel of $I$ is nilpotent and that the image is contained in the center of $H_*(\Omega M)$, which is in general quite small.


title: Some properties of the Schouten tensor and applications to conformal geometry

abstract: The note is about some nonlinear curvature conditions which arise naturally in conformal geometry.


title: Weak* sequential closures in Banach space theory and their applications

abstract: Let X be a Banach space. Given a subset A of the dual space X* denote by $A_{(1)}$ the weak* sequential closure of A, i.e., the set of all limits of weak*-convergent sequences in A. The study of weak* sequential closures of linear subspaces of the duals of separable Banach spaces was initiated by S.Banach. The first results of this study were presented in the appendix to his book "Theorie des operations lineaires" (1932). It is natural to suppose that the reason for studying weak* sequential closures by S. Banach and S. Mazurkiewicz was the lack of acquaintance of S. Banach and his school with concepts of general topology. Although the name "General topology" was introduced later, the subject did already existed. F. Hausdorff introduced topological spaces in his book published in 1914, Alexandroff-Urysohn (1924) studied compactness, and A.Tychonoff published his theorem on compactness of products in 1929. Also J.von Neumann introduced the notion of a weak topology in his paper published in 1929. Using the notions of a topological space and the Tychonoff theorem, more elegant treatment of weak and weak* topologies, and the duality of Banach spaces was developed by L.Alaoglu, N.Bourbaki and S.Kakutani (1938-1940). Nevertheless, an "old-fashioned" treatment of S.Banach still attracts attention. It happens because the "sequential" approach is very useful in several contexts. The main purpose of the paper is to describe the history of this direction of research and to give an up-to-date (1999) survey of the results on weak* sequential closures and their applications.


title: Regularity Bounds on Zakharov System Evolutions

abstract: Spatial regularity properties of certain global-in-time solutions of the Zakharov system are established. In particular, the evolving solution $u(t)$ is shown to satisfy an estimate $\Hsup s {u(t)} \leq C {{|t|}^{(s-1)+}}$, where $H^s$ is the standard spatial Sobolev norm. The proof is an adaptation of earlier work on the nonlinear Schr\"odinger equation which reduces matters to bilinear estimates.


title: On Povzner--Wienholtz-type Self-Adjointness Results for Matrix-Valued Sturm--Liouville Operators

abstract: We derive Povzner--Wienholtz-type self-adjointness results for $m\times m$ matrix-valued Sturm--Liouville operators $T=R^{-1}\big[-\f{d}{dx}P\f{d}{dx}+Q\big]$ in $L^2((a,b);Rdx)^m$, $m\in\bbN$, for $(a,b)$ a half-line or $\bbR$.


title: $\mathbf {SL_2(\bbR)}$, Exponential Herglotz Representations, and Spectral Averaging

abstract: We revisit the concept of spectral averaging and point out its origin in connection with one-parameter subgroups of $SL_2(\bbR)$ and the corresponding M\"obius transformations. In particular, we identify exponential Herglotz representations as the basic ingredient for the absolute continuity of average spectral measures with respect to Lebesgue measure and the associated spectral shift function as the corresponding density for the averaged measure. As a by-product of our investigations we unify the treatment of rank-one perturbations of self-adjoint operators and that of self-adjoint extensions of symmetric operators with deficiency indices $(1,1)$. Moreover, we derive separate averaging results for absolutely continuous, singularly continuous, and pure point measures and conclude with an averaging result of the $\kappa$-continuous part (with respect to the $\kappa$-dimensional Hausdorff measure) of singularly continuous measures.


title: Global Regularity of Wave Maps from R^{3+1} to H^2

abstract: We consider Wave Maps with smooth compactly supported initial data of small H^{{3/2}}-norm from R^{3+1} to the hyperbolic plane and show that they stay smooth globally in time. Our methods are based on the introduction of a global Coulomb Gauge as in a recent paper by Shatah and Struwe, followed by dynamic separation as in earlier work of Klainerman and Machedon. We then rely on an adaptation of T.Tao's methods used in his recent breakthrough result on Wave Maps to spheres in low spatial dimensions.


title: Arithmetic of hyperbolic 3-manifolds

abstract: This note is an elaboration of the ideas and intuitions of Grothendieck and Weil concerning the "arithmetic topology". Given 3-dimensional manifold M fibering over the circle we introduce an real quadratic number field K with discriminant d, where d>0 is an integer number uniquely determined by M. The idea is to relate geometry of M to the arithmetic of field K. On this way, we show that Vol M is a limit density of ideals of given norm in the field K (Dirichlet density). The second statement says that the number of cusp points of manifold M is equal to the class number of the field K. It is remarkable that both of the invariants can be explicitly calculated for the concrete values of discriminant d. Our approach is based on the K-theory of noncommutative C*-algebras coming from measured foliations and geodesic laminations studied by Thurston et al. We apply the elaborated technique to solve the Poincare conjecture for given class of manifolds.


title: Critical Thresholds in 2D Restricted Euler-Poisson Equations

abstract: We provide a complete description of the critical threshold phenomena for the two-dimensional localized Euler-Poisson equations, introduced by the authors in [Liu & Tadmor, Comm. Math Phys., To appear]. Here, the questions of global regularity vs. finite-time breakdown for the 2D Restricted Euler-Poisson solutions are classified in terms of precise explicit formulae, describing a remarkable variety of critical threshold surfaces of initial configurations. In particular, it is shown that the 2D critical thresholds depend on the relative size of three quantities: the initial density, the initial divergence as well as the initial spectral gap, that is, the difference between the two eigenvalues of the $2 \times 2$ initial velocity gradient.


title: On Banach spaces without the approximation property

abstract: A. Szankowski's example is used to construct a Banach space similar to that of "An example of an asymptotically Hilbertian space which fails the approximation property", P.G. Casazza, C.L. Garc\'{\i}a, W.B. Johnson [math.FA/0006134 (math@arXiv.org)].


title: Generalized Jacobian Rings for Open Complete Intersections

abstract: In this paper, we develop the theory of Jacobian rings of open complete intersections, which mean a pair $(X,Z)$ where $X$ is a smooth complete intersection in the projective space and and $Z$ is a simple normal crossing divisor in $X$ whose irreducible components are smooth hypersurface sections on $X$. Our Jacobian rings give an algebraic description of the cohomology of the open complement $X-Z$ and it is a natural generalization of the Poincar\'e residue representation of the cohomology of a hypersurface originally invented by Griffiths. The main results generalize the Macaulay's duality theorem and the Donagi's symmetrizer lemma for usual Jacobian rings for hypersurfaces. A feature that distinguishes our generalized Jacobian rings from usual ones is that there are instances where duality fails to be perfect while the defect can be controlled explicitly by using the defining equations of $Z$ in $X$. Two applications of the main results are given: One is the infinitesimal Torelli problem for open complete intersections. Another is an explicit bound for Nori's connectivity in case of complete intersections. The results have been applied also to study of algebraic cycles in several other works.


title: On Beilinson's Hodge and Tate conjectures for open complete intersections

abstract: The contents is changed.


title: Thin Position for Tangles

abstract: If a tangle, K, in the 3-ball has no planar, meridional, essential surfaces in its exterior then thin position for K has no thin levels.


title: The gradient of a polynomial at infinity

abstract: The paper gives a full description of the growth of the gradient of a polynomial in two complex variables at infinity near any fiber of the polynomial


title: Sur la R-\'equivalence de torseurs sous un groupe fini

abstract: We give criteria for R-equivalence of torsors under finite constant group schemes over a field. In paticular, using bitorsors, we obtain a Galois devissage result which formalises and generalises a theorem of Philippe Gille in the case of local fields; for instance, Gille's theorem is shown to extend to higher local fields.


title: A note on Tutte polynomials and Orlik-Solomon algebras

abstract: Let A be a (central) arrangement of hyperplanes in a finite dimension complex vector space V. Let M(A) be the dependence matroid determined by A. The Orlik-Solomon algebra OS(M) of a matroid M is the exterior algebra on the points modulo the ideal generated by circuit boundaries. The algebra OS(M) is isomorphic to the cohomology algebra of the complement in V of the union of the hyperplanes of A. The Tutte polynomial T(x,y) of M is a powerful invariant of the matroid M. When M(A) is a rank three matroid and A is the complexification of a real arrangement, we prove that OS(M) determines T(x,y). This result solves partially a conjecure of M. Falk.


title: Controllability of reduced systems

abstract: Sufficient conditions for the controllability of a conservative reduced system are given. Several examples illustrating the theory are also presented.


title: Factorization of Symmetric Matrices and Actions on \Sigma_k

abstract: In this note, firstly we give an easy proof of the factorization of symmetric matrices (see [Mos] math-ph/0203023), then we use it to prove the well-known fact that the automorphism group of a non-degenerate symmetric bilinear form acts transitively on the locus of isotropic subspaces \Sigma_k.


title: A short proof of chaos in an atmospheric system

abstract: We will prove the presence of chaotic motion in the Lorenz five-component atmospheric system model using the Melnikov function method developed by Holmes and Marsden for Hamiltonian systems on Lie Groups.


title: Le cone des fonctions plurisousharmoniques negatives et une conjecture de Coman

abstract: Les fonctions plurisousharmoniques negatives dans un domaine D de \CC^n forment un cone convexe. Nous considerons les points extremaux de ce cone, et donnons trois exemples. En particulier, nous traitons le cas de la fonction de Green pluricomplexe. Nous calculons celle du bidisque, lorsque les poles se situent sur un axe. Nous montrons que cette fonction ne se confonde pas avec la fonction de Lempert correspondante. Cela donne un contre-exemple a une conjecture de Dan Coman.


title: Indecomposable racks of order p^2

abstract: We classify indecomposable racks of order p^2 (p a prime). There are 2p^2 - 2p - 2 isomorphism classes, among which 2p^2 - 3p - 1 correspond to quandles. In particular, we prove that an indecomposable quandle of order p^2 is affine (=Alexander). One of the results yielding this classification is the computation of the quandle nonabelian second cohomology group of an indecomposable quandle of prime order; which turns out to be trivial, as in the abelian case.


title: Constructing compact manifolds with exceptional holonomy

abstract: The exceptional holonomy groups are G2 in 7 dimensions, and Spin(7) in 8 dimensions. Riemannian manifolds with these holonomy groups are Ricci-flat. This is a survey paper on constructions for compact 7- and 8-manifolds with holonomy G2 and Spin(7). The simplest such constructions work by using techniques from complex geometry and Calabi-Yau analysis to resolve the singularities of a torus orbifold T^7/G or T^8/G, for G a finite group preserving a flat G2 or Spin(7)-structure on T^7 or T^8. There are also more complicated constructions which begin with a Calabi-Yau manifold or orbifold. All the material in this paper is covered in much more detail in the author's book, "Compact manifolds with special holonomy", Oxford University Press, 2000.


title: Area preserving group actions on surfaces

abstract: Suppose G is an almost simple group containing a subgroup isomorphic to the three-dimensional integer Heisenberg group. For example any finite index subgroup of SL(3,Z) is such a group. The main result of this paper is that every action of G on a closed oriented surface by area preserving diffeomorphisms factors through a finite group.


title: Differential and complex geometry of two-dimensional noncommutative tori

abstract: We analyze in detail projective modules over two-dimensional noncommutative tori and complex structures on these modules.We concentrate our attention on properties of holomorphic vectors in these modules; the theory of these vectors generalizes the theory of theta-functions. The paper is self-contained; it can be used also as an introduction to the theory of noncommutative spaces with simplest space of this kind thoroughly analyzed as a basic example.


title: Quasi-Hamiltonian Geometry of Meromorphic Connections

abstract: For each connected complex reductive group G, we find a family of new examples of complex quasi-Hamiltonian G-spaces with G-valued moment maps. These spaces arise naturally as moduli spaces of (suitably framed) meromorphic connections on principal G-bundles over a disc, and they generalise the conjugacy class example of Alekseev, Malkin and Meinrenken (which appears in the simple pole case). Using the `fusion product' in the theory this gives a finite dimensional construction of the natural symplectic structures on the spaces of monodromy/Stokes data of meromorphic connections over arbitrary genus Riemann surfaces, together with a new proof of the symplectic nature of isomonodromic deformations of such connections.


title: Discrete subsets of R^2 and the associated distance sets

abstract: We prove that a well-distributed subset of R^2 can have a separated distance set only if the distance is induced by a polygon.


title: A crystal to rigged configuration bijection for nonexceptional affine algebras

abstract: Kerov, Kirillov, and Reshetikhin defined a bijection between highest weight vectors in the crystal graph of a tensor power of the vector representation, and combinatorial objects called rigged configurations, for type $A^{(1)}_n$. We define an analogous bijection for all nonexceptional affine types, thereby proving (in this special case) the fermionic formulas conjectured by Hatayama, Kuniba, Takagi, Tsuboi, Yamada, and the first author.


title: Puzzle geometry and rigidity: The Fibonacci cycle is hyperbolic

abstract: We describe a new and robust method to prove rigidity results in complex dynamics. The new ingredient is the geometry of the critical puzzle pieces: under control of geometry and ``complex bounds'', two generalized polynomial-like maps which admits a topological conjugacy, quasiconformal outside the filled-in Julia set are, indeed, quasiconformally conjugated. The proof uses a new abstract removability-type result for quasiconformal maps, following ideas of Heinonen & Koskela and Kallunki & Koskela, optimized to complex dynamics. As the first application to this new method, we prove that, for even criticalities distinct of two, the period two cycle of the Fibonacci renormalization operator is hyperbolic with one-dimensional unstable manifold. To derive the exponential contraction in the hybrid classes, we use the non existence of invariant line fields in the Fibonacci tower, the topological convergence (both results by van Strien & Nowicki) and a new argument, distinct of the C. McMullen and M. Lyubich previous methods in the classic renormalization operator theory. We also describe other future applications.


title: Curves of genus 2 with group of automorphisms isomorphic to D_8 or D_12

abstract: In this paper we classify curves of genus 2 with group of automorphisms isomorphic to D_8 or D_12 over an arbitrary field k (of characteristic different from 2 in the D_8 case and from 2 and 3 in the D_{12} case) up to k-isomorphism. As an application of the classification of curves of genus 2 obtained, we get precise arithmetic information on their elliptic quotients and on their jacobians. Over the field k=Q, we show that the elliptic quotients of the curves with automorphisms D_8 and D_{12} are precisely the Q-curves of degrees 2 and 3, respectively, and we determine which curves have jacobians of GL_2-type.


title: On balanced products of the distributions $x_{\pm}^{a}$ in Colombeau algebra $\EuScript{G}(\mathbb{R})$

abstract: Results on products of the distributions $x_{\pm}^{a}$ and $\de^{(p)}(x)$ with coinciding singularities are derived when the products are balanced so that they exist in the distribution space. These results follow the idea of a known result on distributional products published by Jan Mikusi\'nski in 1966. They are obtained in Colombeau algebra $\EuScript{G}(\mathbb{R})$ of generalized functions that contains the distribution space and the notion of 'association' in it allows obtaining results in terms of distributions.


title: Representing braids by automorphisms

abstract: Based on a normal form for braid group elements suggested by Dehornoy, we prove several representations of braid groups by automorphisms of a free group to be faithful. This includes a simple proof of the standard Artin's representation being faithful.


title: Large deviations of empirical measures under symmetric interaction

abstract: In this paper we study empirical measures which can be thought as a decoupled version of the empirical measures generated by random matrices. We prove the large deviation principle with the rate function, which is finite only on product measures and hence is non-convex. As a corollary, we derive a large deviations principle for (univariate) average empirical measures with the rate function that superficially resembles the rate function of random matrices, but may be concave.


title: A Family of Estimators of Population Mean Using Multiauxiliary Information in Presence of Measurement Errors

abstract: This paper proposes a family of estimators of population mean using information on several auxiliary variables and analyzes its properties in the presence of measurement errors.


title: Rigidity of graph products of groups

abstract: We show that if a group can be represented as a graph product of finite directly indecomposable groups, then this representation is unique.


title: Weak UCP and perturbed monopole equations

abstract: We give a simple proof of weak Unique Continuation Property for perturbed Dirac operators, using the Carleman inequality. We apply the result to a class of perturbations of the Seiberg-Witten monopole equations that arise in Floer theory.


title: Phantom maps, SNT-theory, and natural filtrations on lim^1 sets

abstract: We study the so-called Gray filtration on the set of phantom maps between two spaces. Using both its algebraic characterization and the Sullivan completion approach to phantom maps, we generalize some of the recent results of Le, McGibbon and Strom. We particularly emphasize on the set of phantom maps with infinite Gray index, describing it in an original algebraic way. We furthermore introduce and study a natural filtration on SNT-sets (that is sets of homotopy types of spaces having the same n-type for all n), which appears to have the same algebraic characterization of the Gray one on phantom maps. For spaces whose rational homotopy type is that of an H-space or a co-H-space, we establish criteria permitting to determinate those subsets of this filtration which are non trivial, generalizing work of McGibbon and Moller. We finally describe algebraically the natural connection between phantom maps and SNT-theory, associating to a phantom map its homotopy fiber or cofiber. We use this description to show that this connection respect filtrations, and to find generic examples of spaces for which the filtration on the corresponding SNT-set consists of infinitely many strict inclusions.


title: Rational Curves on Varieties

abstract: The aim of these notes is to give a introduction to the ideas and techniques of handling rational curves on varieties. The main emphasis is on varieties with many rational curves which are the higher dimensional analogs of rational curves and surfaces. The first six sections closely follow the lectures of J. Koll\'ar given at the summer school ``Higher dimensional varieties and rational points''. The notes were written up by C. Araujo and substantially edited later. Revised version with 2 new sections.


title: Rationally connected varieties and fundamental groups

abstract: Let U be an open subset of a unirational variety (or more generally of a separably rationally connected variety). We prove that there is rational curve C in U such that the fundamental group of C surjects onto the fundamental group of U. The proof improves the earlier proof (math.AG/0003138) and works in any characteristic. Much improved version, thanks to comments of Colliot-Th\'el\`ene.


title: The Frobenius map, rank 2 vector bundles and Kummer's quartic surface in characteristic 2 and 3

abstract: Let X be a smooth projective curve of genus g>1 defined over an algebraically closed field k of characteristic p>0. Let M_X(r) be the moduli space of semi-stable rank r vector bundles with fixed trivial determinant. The relative Frobenius map F : X \to X_1 induces by pull-back a rational map V: M_{X_1}(r) \to M_X(r). We determine the equations of V in the following two cases (1) (g,r,p) = (2,2,2) and X non-ordinary with Hasse-Witt invariant equal to 1 (see math.AG/0005044 for the case X ordinary), and (2) (g,r,p) = (2,2,3). We also show, for any triple (g,r,p), the existence of base points of V, i.e., semi-stable bundles E such that F^* E is not semi-stable.


title: Random matrices, non-colliding processes and queues

abstract: This is survey of some recent results connecting random matrices, non-colliding processes and queues.


title: A path-transformation for random walks and the Robinson-Schensted correspondence

abstract: In [O'Connell and Yor (2002)] a path-transformation G was introduced with the property that, for X belonging to a certain class of random walks on the integer lattice, the transformed walk G(X) has the same law as that of the original walk conditioned never to exit a type-A Weyl chamber. In this paper, we show that G is closely related to the Robinson-Schensted algorithm, and use this connection to give a new proof of the above representation theorem. The new proof is valid for a larger class of random walks and yields additional information about the joint law of X and G(X). The corresponding results for the Brownian model are recovered by Donsker's theorem. These are connected with Hermitian Brownian motion and the Gaussian Unitary Ensemble of random matrix theory. The connection we make between the path-transformation G and the RS algorithm also provides a new formula and interpretation for the latter. This can be used to study properties of the RS algorithm and, moreover, extends easily to a continuous setting.


title: Lie algebroid structures and Lagrangian systems on affine bundles

abstract: As a continuation of previous papers, we study the concept of a Lie algebroid structure on an affine bundle by means of the canonical immersion of the affine bundle into its bidual. We pay particular attention to the prolongation and various lifting procedures, and to the geometrical construction of Lagrangian-type dynamics on an affine Lie algebroid.


title: Characterization of Y_2-equivalence for homology cylinders

abstract: For S a compact connected oriented surface, we consider homology cylinders over S: these are homology cobordisms with an extra homological triviality condition. When considered up to Y_2-equivalence, which is a surgery equivalence relation arising from the Goussarov-Habiro theory, homology cylinders form an Abelian group. In this paper, when S has one or zero boundary component, we define a surgery map from a certain space of graphs to this group. This map is shown to be an isomorphism, with inverse given by some extensions of the first Johnson homomorphism and Birman-Craggs homomorphisms.


title: Generic Noncommutative Surfaces

abstract: We study a class of noncommutative surfaces and their higher dimensional analogues which provide answers to several open questions in noncommutative projective geometry. Specifically, we give the first known graded algebras which are noetherian but not strongly noetherian, answering a question of Artin, Small, and Zhang. In addition, these examples are maximal orders and satisfy the $\chi_1$ condition but not $\chi_i$ for $i \geq 2$, answering a questions of Stafford and Zhang and a question of Stafford and Van den Bergh. Finally, we show that these algebras have finite cohomological dimension.


title: On a geometric description of $Gal(\bar{\bf Q}_p/{\bf Q}_p)$ and a p-adic avatar of $\hat{GT}$

abstract: We develop a $p$-adic version of the so-called Grothendieck-Teichm\"uller theory (which studies $Gal(\bar{\bf Q}/{\bf Q})$ by means of its action on profinite braid groups or mapping class groups). For every place $v$ of $\bar{\bf Q}$, we give some geometrico-combinatorial descriptions of the local Galois group $Gal(\bar{\bf Q}_v/{\bf Q}_v)$ inside $Gal(\bar{\bf Q}/{\bf Q})$. We also show that $Gal(\bar{\bf Q}_p/{\bf Q}_p)$ is the automorphism group of an appropriate $\pi_1$-functor in $p$-adic geometry.


title: Complete isometries into C*-algebras

abstract: We give various characterizations of into (not necessarily onto) complete isometries between $C^*$-algebras, generalizing a classical result of Holsztynski. Our results are related to a natural embedding of the noncommutative Shilov boundary in a second dual.


title: Fundamental groups of complements of plane curves and symplectic invariants

abstract: Introducing the notion of stabilized fundamental group for the complement of a branch curve in $CP^2$, we define effectively computable invariants of symplectic 4-manifolds that generalize those previously introduced by Moishezon and Teicher for complex projective surfaces. Moreover, we study the structure of these invariants and formulate conjectures supported by calculations on new examples.


title: The Brownian Web

abstract: Arratia, and later T\'oth and Werner, constructed random processes that formally correspond to coalescing one-dimensional Brownian motions starting from every space-time point. We extend their work by constructing and characterizing what we call the {\em Brownian Web} as a random variable taking values in an appropriate (metric) space whose points are (compact) sets of paths. This leads to general convergence criteria and, in particular, to convergence in distribution of coalescing random walks in the scaling limit to the Brownian Web.


title: C*-Algebras of Irreversible Dynamical Systems

abstract: We show that certain C*-algebras which have been studied among others by Arzumanian, Vershik, Deaconu, and Renault in connection to a measure preserving transformation of a measure space and/or to a covering map of a compact space are special cases of the endomorphism crossed-product construction recently introduced by the first named author. As a consequence these algebras are given presentations in terms of generators and relations. These results come as a consequence of a general Theorem on faithfulness of representations which are covariant with respect to certain circle actions. For the case of topologically free covering maps we prove a stronger result on faithfulness of representations which needs no covariance. We also give a necessary and sufficient condition for simplicity.


title: The strong Franchetta Conjecture in arbitrary characteristics

abstract: Using Moriwaki's calculation of the Q-Picard group for the moduli space of curves, I prove the strong Franchetta Conjecture in all characteristics. That is, the canonical class generates the group of rational points on the Picard scheme for the generic curve of genus g>2. Similar results hold for generic pointed curves. Moreover, I show that Hilbert's Irreducibility Theorem implies that there are many other nonclosed points in the moduli space of curves with such properties.


title: Double newtonisation of fixed point sequences

abstract: A neutral fixed point of a real iteration map $u$ becomes a super attracting fixed point using a suitable double newtonisation. The map $u$ is so transformed into a map $w$ which is here called the standard accelerator of $u$. The map $w$ provides a unifying process to deal with a large set of fixed point sequences which are not convergent or converge slowly. Several examples illustrate the main results obtained.


title: Optimal stability and instability results for a class of nearly integrable Hamiltonian systems

abstract: We consider a nearly integrable, non-isochronous, a-priori unstable Hamiltonian system with a (trigonometric polynomial) $O(\mu)$-perturbation which does not preserve the unperturbed tori. We prove the existence of Arnold diffusion with diffusion time $T_d = O((1/ \mu) \log (1/ \mu))$ by a variational method which does not require the existence of ``transition chains of tori'' provided by KAM theory. We also prove that our estimate of the diffusion time $T_d$ is optimal as a consequence of a general stability result proved via classical perturbation theory.


title: Doubly Extended Lie Groups - Curvature, Holonomy and Parallel Spinors

abstract: (This is a revised version of the paper) - In the present paper we study the geometry of doubly extended Lie groups with their natural biinvariant metric. We describe the curvature, the holonomy and the space of parallel spinors. This is completely done for all simply connected groups with biinvariantmetric of Lorentzian signature $(1,n-1)$, of signature $(2,n-2)$ and of signature $(p,q)$, where $p+q\leq 6$. Furthermore, some special series with higher signature are discussed.


title: A Characterization of Extremal Sets in Hilbert Spaces

abstract: We give a characterization of extremal sets in Hilbert spaces that generalizes a classical theorem of H. W. E. Jung. We investigate also the behaviour of points near to the circumsphere of such a set with respect to the Kuratowski and Hausdorff measures of non-compactness.


title: Transfer operators and dynamical zeta functions for a class of lattice spin models

abstract: We investigate the location of zeros and poles of a dynamical zeta function arizing in a class of lattice spin models introduced in the 60-ties by M. Kac. The transfer operator method allows us to prove the xistence of infinitely nontrivial zeros of this function on the real line. For certain parameter values there exist also infinitely many trivial equally spaced zeros on a line parallel to the imaginary axis. Hence also for this kind of dynamical zeta function some kind of Riemann hypothesis seems to hold.

categories: math.DS cond-mat.stat-mech math-ph math.MP math.NT math.SP


title: Laminations and groups of homeomorphisms of the circle

abstract: If M is an atoroidal 3-manifold with a taut foliation, Thurston showed that pi_1(M) acts on a circle. Here, we show that some other classes of essential laminations also give rise to actions on circles. In particular, we show this for tight essential laminations with solid torus guts. We also show that pseudo-Anosov flows induce actions on circles. In all cases, these actions can be made into faithful ones, so pi_1(M) is isomorphic to a subgroup of Homeo(S^1). In addition, we show that the fundamental group of the Weeks manifold has no faithful action on S^1. As a corollary, the Weeks manifold does not admit a tight essential lamination, a pseudo-Anosov flow, or a taut foliation. Finally, we give a proof of Thurston's universal circle theorem for taut foliations based on a new, purely topological, proof of the Leaf Pocket Theorem.


title: Quantum Markov Processes (Correspondences and Dilations)

abstract: We study the structure of quantum Markov Processes from the point of view of product systems and their representations.


title: Period mappings and differential equations. From $\bf C$ to $\bf C_p$

abstract: This is an introduction to $p$-adic geometry and $p$-adic analysis focusing on the theme of $p$-adic period mappings. We follow as closely as possible the development of the classical theory of complex period mappings, blending differential equations, group theory and geometry. The text ends with a detailed discussion of $p$-adic triangle groups.


title: Quiver representations respecting a quiver automorphism: a generalisation of a theorem of Kac

abstract: We consider quiver representations respecting a quiver automorphism and show that the dimension vectors of the indecomposables are precisely the positive roots of an associated symmetrisable Kac-Moody Lie algebra. Moreover, every such Lie algebra arises in this way. We also discuss the relationship with species of valued quivers over finite fields.


title: Representations of compact Lie groups and the osculating spaces of their orbits

abstract: Several classes of irreducible orthogonal representations of compact Lie groups that are of importance in Differential Geometry have the property that the second osculating spaces of all of their nontrivial orbits coincide with the representation space. We say that representations with this property are of class O^2. Our approach in the present paper will be to find restrictions on the class O^2 and then apply them to classify variationally complete and taut representations. The known classifications of cohomogeneity one and two orthogonal representations and more generally of polar representations will also follow easily.


title: Banach space properties forcing a reflexive amenable Banach algebra to be trivial

abstract: It is an open problem whether an infinite-dimensional amenable Banach algebra exists whose underlying Banach space is reflexive. We give sufficient conditions for a reflexive, amenable Banach algebra to be finite-dimensional (and thus a finite direct sum of full matrix algebras). If $A$ is a reflexive, amenable Banach algebra such that for each maximal left ideal $L$ of $A$ (i) the quotient $A / L$ has the approximation property and (ii) the canonical map from $A \check{\otimes} L^\perp$ to $(A / L) \wtensor L^\perp$ is open, then $A$ is finite-dimensional. As an application, we show that, if $A$ is an a menable Banach algebra whose underlying Banach space is an ${\cal L}^p$-space with $p \in (1,\infty)$ such that for each maximal left ideal $L$ the quotient $A / L$ has the approximation property, then $A$ is finite-dimensional.


title: Classical Yang-Baxter Equation and Left Invariant Affine Geometry on Lie Groups

abstract: Let G be a Lie group with Lie algebra $ \Cal G: = T_\epsilon G$ and $T^*G = \Cal G^* \rtimes G$ its cotangent bundle considered as a Lie group, where G acts on $\Cal G^*$ via the coadjoint action. We show that there is a 1-1 correspondance between the skew-symmetric solutions $r\in \wedge^2 \Cal G$ of the Classical Yang-Baxter Equation in G, and the set of connected Lie subgroups of $T^*G$ which carry a left invariant affine structure and whose Lie algebras are lagrangian graphs in $ \Cal G \oplus \Cal G^*$. An invertible solution r endows G with a left invariant symplectic structure and hence a left invariant affine structure. In this case we prove that the Poisson Lie tensor $\pi := r^+ - r^-$ is polynomial of degree at most 2 and the double Lie groups of $(G,\pi)$ also carry a canonical left invariant affine structure. In the general case of (non necessarly invertible) solutions r, we supply a necessary and suffisant condition to the geodesic completness of the associated affine structure


title: Amenability for dual Banach algebras

abstract: We define a Banach algebra A to be dual if $A = (A_\ast)^\ast$ for a closed submodule $A_\ast$ of $A^\ast$. The class of dual Banach algebras includes all $W^\ast$-algebras, but also all algebras M(G) for locally compact groups G, all algebras L(E) for reflexive Banach spaces E, as well as all biduals of Arens regular Banach algebras. The general impression is that amenable, dual Banach algebras are rather the exception than the rule. We confirm this impression. We first show that under certain conditions an amenable dual Banach algebra is already super-amenable and thus finite-dimensional. We then develop two notions of amenability - Connes-amenability and strong Connes-amenability - which take the $w^\ast$-topology on dual Banach algebras into account. We relate the amenability of an Arens regular Banach algebra A to the (strong) Connes-amenability of $A^{\ast\ast}$; as an application, we show that there are reflexive Banach spaces with the approximation property such that L(E) is not Connes-amenable. We characterize the amenability of inner amenable locally compact groups in terms of their algebras of pseudo-measures. Finally, we give a proof of the known fact that the amenable von Neumann algebras are the subhomogeneous ones which avoids the equivalence of amenability and nuclearity for $C^\ast$-algebras.


title: Convex-concave body in $\mathbb{R}P^3$ contains a line

abstract: We define a class of $L$-convex-concave subsets of $\mathbb{R}P^3$, where $L$ is a projective line in $\mathbb{R}P^3$. These are sets whose sections by any plane containing $L$ are convex and concavely depend on this plane. We prove a version of Arnold hypothesis for these sets, namely we prove that each such set contains a line.


title: q-Deformed Orthogonal and Pseudo-Orthogonal Algebras and Their Representations

abstract: Deformed orthogonal and pseudo-orthogonal Lie algebras are constructed which differ from deformations of Lie algebras in terms of Cartan subalgebra and root vectors and which make it possible to construct representations by operators acting according to Gel'fand--Tsetlin-type formulas. Unitary representations of the q-deformed algebras U_q(so_{n,1}) are found.

categories: math.QA gr-qc hep-th math-ph math.MP math.RT


title: On affine hypersurfaces with everywhere nondegenerate Second Quadratic Form

abstract: Consider a closed connected hypersurface in $\mathbb{R}^n$ with constant signature (k,l) of the second quadratic form, and approaching a quadratic cone at infinity. This hypersurface divides $\mathbb{R}^n$ into two pieces. We prove that one of them contains a k-dimensional subspace, and another contains a l-dimensional subspace, thus proving an affine version of Arnold hypothesis. We construct an example of a surface of negative curvature in $\mathbb{R}^3$ with slightly different asymptotical behavior for which the previous claim is wrong.


title: L-convex-concave sets in real projective space and L-duality

abstract: We define a class of L-convex-concave subsets of $\Bbb{R}P^n$, where L is a projective subspace of dimension l in $\Bbb{R}P^n$. These are sets whose sections by any (l+1)-dimensional space L' containing L are convex and concavely depend on L'. We introduce an L-duality for these sets, and prove that the L-dual to an L-convex-concave set is an $L^*$-convex-concave subset of $(\Bbb RP^n)^*$. We discuss a version of Arnold hypothesis for these sets and prove that it is true (or wrong) for an L-convex-concave set and its L-dual simultaneously.


title: Approximating Propositional Calculi by Finite-valued Logics

abstract: Bernays introduced a method for proving underivability results in propositional calculi by truth tables. In general, this motivates an investigations of how to find, given a propositional logic, a finite-valued logic which has as few tautologies as possible, but which has all the valid formulas of the given logic as tautologies. It is investigated how far this method can be carried using (1) one or (2) an infinite sequence of finite-valued logics. It is shown that the best candidate matrices for (1) can be computed from a calculus, and how sequences for (2) can be found for certain classes of logics (including, in particular, logics characterized by Kripke semantics).


title: Approximating Ropelength by Energy Functions

abstract: The ropelength of a knot is the quotient of its length by its thickness. We consider a family of energy functions for knots, depending on a power p, which approach ropelength as p increases. We describe a numerically computed trefoil knot which seems to be a local minimum for ropelength; there are nearby critical points for the p-energies, which are evidently local minima for large enough p.


title: Representations of algebraic quantum groups and reconstruction theorems for tensor categories

abstract: We give a pedagogical survey of those aspects of the abstract representation theory of quantum groups which are related to the Tannaka-Krein reconstruction problem. We show that every concrete semisimple tensor *-category with conjugates is equivalent to the category of finite dimensional non-degenerate *-representations of a discrete algebraic quantum group. Working in the self-dual framework of algebraic quantum groups, we then relate this to earlier results of S. L. Woronowicz and S. Yamagami. We establish the relation between braidings and R-matrices in this context. Our approach emphasizes the role of the natural transformations of the embedding functor. Thanks to the semisimplicity of our categories and the emphasis on representations rather than corepresentations, our proof is more direct and conceptual than previous reconstructions. As a special case, we reprove the classical Tannaka-Krein result for compact groups. It is only here that analytic aspects enter, otherwise we proceed in a purely algebraic way. In particular, the existence of a Haar functional is reduced to a well known general result concerning discrete multiplier Hopf *-algebras.


title: On the moment problem of closed semi-algebraic sets

abstract: Let $K_f$ be a closed semi-algebraic set in $\dR^d$ such that there exist bounded real polynomials $h_1,{...},h_n$ on $K_f$. It is proved that the moment problem for $K_f$ is solvable provided it is for all sets $K_f\cap C_\lambda$, where $C_\lambda=\{x:h_1(x)=\lambda_1,{...},h_n(x)=\lambda_n\}$ and $\inf\{h_j(x); x\in K_f\}\le\lambda_j\le\sup\{h_j(x);x\in K_f\}$. New classes of non-compact closed semi-algebraic sets $K_f$ are found for which the moment problem is solvable. To appear in Journal fuer die Reine und Angewandte Mathematik


title: Perturbation results of critical elliptic equations of Caffarelli-Kohn-Nirenberg type

abstract: We find for small $\epsilon$ positive solutions to the equation \[-\textrm{div} (|x|^{-2a}\nabla u)-\displaystyle{\frac{\lambda}{|x|^{2(1+a)}}} u= \Big(1+\epsilon k(x)\Big)\frac{u^{p-1}}{|x|^{bp}}\] in ${\mathbb{R}}^N$, which branch off from the manifold of minimizers in the class of radial functions of the corresponding Caffarelli-Kohn-Nirenberg type inequality. Moreover, our analysis highlights the symmetry-breaking phenomenon in these inequalities, namely the existence of non-radial minimizers.


title: Quantum moment maps and invariants for G-invariant star products

abstract: We study a quantum moment map and propose an invariant for $G$-invariant star products on a $G$-transitive symplectic manifold. We start by describing a new method to construct a quantum moment map for $G$-invariant star products of Fedosov type. We use it to obtain an invariant that is invariant under $G$-equivalence. In the last section we give two simple examples of such invariants, which involve non-classical terms and provide new insights into the classification of $G$-invariant star products.


title: Quasialgebraicity of Picard--Vessiot fields

abstract: We prove that under certain spectral assumptions on the monodromy group, solutions of Fuchsian systems of linear equations on the Riemann sphere admit explicit global bounds on the number of their isolated zeros.


title: Matrix Valued Spherical Functions Associated to the Three Dimensional Hyperbolic Space

abstract: The main purpose of this paper is to compute all irreducible spherical functions on $G={SL}(2,{\mathbb C})$ of arbitrary type $\delta\in \hat K$, where $K={SU}(2)$. This is accomplished by associating to a spherical function $\Phi$ on $G$ a matrix valued function $H$ on the three dimensional hyperbolic space ${\mathbb H}=G/K$. The entries of $H$ are solutions of two coupled systems of ordinary differential equations. By an appropriate twisting involving Hahn polynomials we uncouple one of the systems and express the entries of $H$ in terms of Gauss' functions ${}_2F_1$. Just as in the compact instance treated in [GPT] there is a useful role for a special class of generalized hypergeometric functions ${}_{p+1}F_p$.


title: Subfactors of free products of rescalings of a II_1-factor

abstract: Let Q be any II_1-factor. It is shown that any standard lattice G can be realized as the standard invariant of a free product of (several) rescalings of Q. In particular, if Q has fundamental group equal to the positive reals and if P is the free product of infinitely many copies of Q, then P has subfactors giving rise to all possible standard invariants. Similarly, given a II_1-subfactor N of M, it is shown there is a subfactor R of S having the same standard invariant as N in M but where S, respectively R, is the free product of M, respectively N, with rescalings of Q.


title: Weak-interaction limits for one-dimensional random polymers

abstract: In this paper we present a new and flexible method to show that, in one dimension, various self-repellent random walks converge to self-repellent Brownian motion in the limit of weak interaction after appropriate space-time scaling. Our method is based on cutting the path into pieces of an appropriately scaled length, controlling the interaction between the different pieces, and applying an invariance principle to the single pieces. In this way we show that the self-repellent random walk large deviation rate function for the empirical drift of the path converges to the self-repellent Brownian motion large deviation rate function after appropriate scaling with the interaction parameters. The method is considerably simpler than the approach followed in our earlier work, which was based on functional analytic arguments applied to variational representations and only worked in a very limited number of situations. We consider two examples of a weak interaction limit: (1) vanishing self-repellence, (2) diverging step variance. In example (1), we recover our earlier scaling results for simple random walk with vanishing self-repellence and show how these can be extended to random walk with steps that have zero mean and a finite exponential moment. Moreover, we show that these scaling results are stable against adding self-attraction, provided the self-repellence dominates. In example (2), we prove a conjecture by Aldous for the scaling of self-avoiding walk with diverging step variance. Moreover, we consider self-avoiding walk on a two-dimensional horizontal strip such that the steps in the vertical direction are uniform over the width of the strip and find the scaling as the width tends to infinity.


title: Large deviations for the one-dimensional Edwards model

abstract: In this paper we prove a large deviation principle for the empirical drift of a one-dimensional Brownian motion with self-repellence called the Edwards model. Our results extend earlier work in which a law of large numbers, respectively, a central limit theorem were derived. In the Edwards model a path of length $T$ receives a penalty $e^{-\beta H_T}$, where $ H_T$ is the self-intersection local time of the path and $\beta\in(0,\infty)$ is a parameter called the strength of self-repellence. We identify the rate function in the large deviation principle for the endpoint of the path as $\beta^{\frac 23} I(\beta^{-\frac 13}\cdot)$, with $I(\cdot)$ given in terms of the principal eigenvalues of a one-parameter family of Sturm-Liouville operators. We show that there exist numbers $0<b^{**}<b^*<\infty$ such that: (1) $I$ is linearly decreasing on $[0,b^{**}]$; (2) $I$ is real-analytic and strictly convex on $(b^{**},\infty)$; (3) $I$ is continuously differentiable at $b^{**}$; (4) $I$ has a unique zero at $b^*$. (The latter fact identifies $b^*$ as the asymptotic drift of the endpoint.) The critical drift $b^{**}$ is associated with a crossover in the optimal strategy of the path: for $b\geq b^{**}$ the path assumes local drift $b$ during the full time $T$, while for $0\leq b<b^{**}$ it assumes local drift $b^{**}$ during time $\frac{b^{**}+b}{2b^{**}}T$ and local drift $-b^{**}$ during the remaining time $\frac{b^{**}-b}{2b^{**}}T$. Thus, in the second regime the path makes an overshoot of size $\frac{b^{**}-b}{2}T$ in order to reduce its intersection local time.


title: Complexity of torus bundles over the circle with monodromy (2 1, 1 1)

abstract: We find the exact values of complexity for an infinite series of 3-manifolds. Namely, by calculating hyperbolic volumes, we show that c(N_n)=2n, where $c$ is the complexity of a 3-manifold and N_n is the total space of the punctured torus bundle over S^1 with monodromy 2&1 1&1 ^n$. We also apply a recent result of Matveev and Pervova to show that c(M_n) \ge 2Cn with C\approx 0.598, where a compact manifold M_n is the total space of the torus bundle over S^1 with the same monodromy as N_n, and discuss an approach to the conjecture c(M_n)=2n+5 based on the equality c(N_n)=2n.


title: Toric Residues and Mirror Symmetry

abstract: We develop some ideas of Morrison and Plesser and formulate a precise mathematical conjecture which has close relations to toric mirror symmetry. Our conjecture, we call it Toric Residue Mirror Conjecture, claims that the generating functions of intersection numbers of divisors on a special sequence of simplicial toric varieties are power series expansions of some rational functions obtained as toric residues. We expect that this conjecture holds true for all Gorenstein toric Fano varieties associated with reflexive polytopes and give some evidences for that. The proposed conjecture suggests a simple method for computing Yukawa couplings for toric mirror Calabi-Yau hypersurfaces without solving systems of differential equations. We make several explicit computations for Calabi-Yau hypersurfaces in weighted projective spaces and in products of projective spaces.


title: A functional equation arising from multiplication of quantum integers

abstract: For the quantum integer $[n]_q = 1+q+...+q^{n-1}$ there is a natural polynomial multiplication $*_q$ such that $[m]_q *_q [n]_q = [mn]_q$. This multiplication leads to the functional equation $f_{mn}(q) = f_m(q)f_n(q^m),$ defined on a given sequence $\mathcal(F)=\{f_n(q)\}_{n=1}^{\infty}$ of polynomials. This paper contains various results concerning the classification and construction of polynomial sequences that satisfy the functional equation, as well as a list of open problems that arise fromthe classification.


title: Almost conservation laws and global rough solutions to a Nonlinear Schr\"odinger equation

abstract: We prove an "almost conservation law" to obtain global-in-time well-posedness for the cubic, defocussing nonlinear Schr\"odinger equation in H^s(R^n) when n = 2, 3 and s > 4/7, 5/6, respectively.


title: Global solutions of the Klein-Gordon - Schroedinger system with rough data

abstract: The Klein-Gordon - Schroedinger system with Yukawa coupling is shown to have a unique global solution for rough data, which not necessarily have finite energy. The proof uses a generalized bilinear estimate of Strichartz type and Bourgain's idea to split the data into low and high frequency parts.


title: Rationally connected varieties over finite fields

abstract: Let X be a geometrically rational (or more generally, separably rationally connected) variety over a finite field K. We prove that if K is large enough then X contains many rational curves defined over K. As a consequence we prove that R-equivalence is trivial on X if K is large enough. These imply that if Y is defined over a local field and it has good, separably rationally connected reduction then the Chow group of zero cycles is trivial for any residue field. R-equivalence is also trivial if the residue field is large enough.


title: Flows, coalescence and noise

abstract: We are interested in stationary "fluid" random evolutions with independent increments. Under some mild assumptions, we show they are solutions of a stochastic differential equation (SDE). There are situations where these evolutions are not described by flows of diffeomorphisms, but by coalescing flows or by flows of probability kernels. In an intermediate phase, for which there exist a coalescing flow and a flow of kernels solution of the SDE, a classification is given: All solutions of the SDE can be obtained by filtering a coalescing motion with respect to a subnoise containing the Gaussian part of its noise. Thus, the coalescing motion cannot be described by a white noise.


title: Counting peaks at height k in a Dyck path

abstract: A Dyck path is a lattice path in the plane integer lattice $\mathbb{Z}\times\mathbb{Z}$ consisting of steps (1,1) and (1,-1), which never passes below the x-axis. A peak at height k on a Dyck path is a point on the path with coordinate y=k that is immediately preceded by a (1,1) step and immediately followed by a (1,-1) step. In this paper we find an explicit expression to the generating function for the number of Dyck paths starting at (0,0) and ending at (2n,0) with exactly r peaks at height k. This allows us to express this function via Chebyshev polynomials of the second kind and generating function for the Catalan numbers.


title: Minimal Surfaces from Monopoles

abstract: The geometry of minimal surfaces generated by charge 2 Bogomolny monopoles on 3-dimensional Euclidean space is described in terms of the moduli parameter k. We find that the distribution of Gaussian curvature on the surface reflects the monopole structure. This is elucidated by the behaviour of the Gauss maps of the minimal surfaces.


title: A proof of the Willmore conjecture

abstract: A proof of the Willmore conjecture is presented. With the help of the global Weierstrass representation the variational problem of the Willmore functional is transformed into a constrained variational problem on the moduli space of all spectral curves corresponding to periodic solutions of the Davey-Stewartson equation. The subsets of this moduli space, which correspond to bounded first integrals, are shown to be compact. With respect to another topology the moduli space is shown to be a Banach manifold. The subset of all periodic solutions of the Davey-Stewartson equation, which correspond to immersion of tori into the three-dimensional Euclidean space, are characterized by a singularity condition on the corresponding spectral curves. This yields a proof of the existence of minimizers for all conformal classes and the determination of the absolute minimum, which is realized by the Clifford torus.


title: Cartan Angular Invariant and Deformations in Rank One Symmetric Spaces

abstract: We develop and study quaternionic and octonionic analogies of Cartan angular and Toledo invariants that are well known in the complex hyperbolic space. Using such invariants we study quasifuchsian deformations (including bendings) of quaternionic and octonionic hyperbolic manifolds.


title: Restricted Permutations, Fibonacci Numbers, and k-generalized Fibonacci Numbers

abstract: A permutation $\pi \in S_n$ is said to {\it avoid} a permutation $\sigma \in S_k$ whenever $\pi$ contains no subsequence with all of the same pairwise comparisons as $\sigma$. For any set $R$ of permutations, we write $S_n(R)$ to denote the set of permutations in $S_n$ which avoid every permutation in $R$. In 1985 Simion and Schmidt showed that $|S_n(132, 213, 123)|$ is equal to the Fibonacci number $F_{n+1}$. In this paper we generalize this result in several ways. We first use a result of Mansour to show that for any permutation $\tau$ in a certain infinite family of permutations, $|S_n(132, 213, \tau)|$ is given in terms of Fibonacci numbers or $k$-generalized Fibonacci numbers. In many cases we give explicit enumerations, which we prove bijectively. We then use generating function techniques to show that for any permutation $\gamma$ in a second infinite family of permutations, $|S_n(123, 132, \gamma)|$ is also given in terms of Fibonacci numbers or $k$-generalized Fibonacci numbers. In many cases we give explicit enumerations, some of which we prove bijectively. We go on to use generating function techniques to show that for any permutation $\omega$ in a third infinite family of permutations, $|S_n(132, 2341, \omega)|$ is given in terms of Fibonacci numbers, and for any permutation $\mu$ in a fourth infinite family of permutations, $|S_n(132, 3241, \mu)|$ is given in terms of Fibonacci numbers and $k$-generalized Fibonacci numbers. In several cases we give explicit enumerations. We conclude by giving an infinite class of examples of a set $R$ of permutations for which $|S_n(R)|$ satisfies a linear homogeneous recurrence relation with constant coefficients.


title: Stabilization in the Braid Groups (with applications to transverse knots)

abstract: Withdrawn and replaced by two related manuscripts: (1) "Stabilization in the braid groups I:MTWS", published in Geometry and Topology Volume 10 (2006), 413-540, arXiv:math.GT/0310279, and (2) "Stabilization in the braid groups II: Transversal simplicity of knots", Geometry and Topology Volume 10 (2006), to appear, arXiv:math,GT/0310280.


title: Adaptation Implies Internal Model

abstract: This note provides a simple result showing, under suitable technical assumptions, that if a system S adapts to a class of external signals U, then S must necessarily contain a subsystem which is capable of generating all the signals in U. It is not assumed that regulation is robust, nor is there a prior requirement for the system to be partitioned into separate plant and controller components.


title: q-Hypergeometric proofs of polynomial analogues of the triple product identity, Lebesgue's identity and Euler's pentagonal number theorem

abstract: We present alternative, q-hypergeometric proofs of some polynomial analogues of classical q-series identities recently discovered by Alladi and Berkovich, and Berkovich and Garvan.


title: On classes of globally smooth solutions to the Euler equations in several dimensions

abstract: It is shown that if the system of the Euler equations has a special global in time smooth solution with the linear profile of velocity, then another solutions with Cauchy data, close in the Sobolev norm to the initial data of the given solution, will be globally smooth as well. The examples of the solutions are constructed.


title: Range of the first three eigenvalues of the planar Dirichlet Laplacian

abstract: We conduct extensive numerical experiments aimed at finding the admissible range of the ratios of the first three eigenvalues of a planar Dirichlet Laplacian. The results improve the previously known theoretical estimates of M Ashbaugh and R Benguria. We also prove some properties of a maximizer of the ratio $\lambda_3/\lambda_1$.


title: Restrictions on symplectic fibrations

abstract: Moduli spaces of stable pseudoholomorphic curves can be defined parametrically, i.e. over total spaces of symplectic fibrations. This imposes several restrictions on the spectral sequence of a symplectic fibration. We prove that, under certain assumptions, a Hamiltonian fibration c-splits, i.e. the spectral sequence associated to the fibration collapses at E_2. Moreover, we obtain a new estimate of the rank of flux groups. In the appendix, we provide examples of nonzero Gromov-Witten invariants for blow-ups. As an application, we prove that any Hamiltonian fibration with fibre being projective space CP^5 blown-up along 4-dimensional symplectic submanifold c-splits.


title: A Characterization of Similarity Maps Between Euclidean Spaces Related to the Beckman--Quarles Theorem

abstract: It is shown that each continuous transformation $h$ from Euclidean $m$-space ($m>1$) into Euclidean $n$-space that preserves the equality of distances (that is, fulfils the implication $|x-y|=|z-w|\Rightarrow|h(x)-h(y)|=|h(z)-h(w)|$) is a similarity map. The case of equal dimensions already follows from the Beckman--Quarles Theorem.


title: Convergence in Energy-Lowering (Disordered) Stochastic Spin Systems

abstract: We consider stochastic processes, S^t \equiv (S_x^t : x \in Z^d), with each S_x^t taking values in some fixed finite set, in which spin flips (i.e., changes of S_x^t) do not raise the energy. We extend earlier results of Nanda-Newman-Stein that each site x has almost surely only finitely many flips that strictly lower the energy and thus that in models without zero-energy flips there is convergence to an absorbing state. In particular, the assumption of finite mean energy density can be eliminated by constructing a percolation-theoretic Lyapunov function density as a substitute for the mean energy density. Our results apply to random energy functions with a translation-invariant distribution and to quite general (not necessarily Markovian) dynamics.


title: On multiplicities of graded sequences of ideals

abstract: We generalize a result of Ein-Lazarsfeld-Smith (math.AG/0202303), proving that for an arbitrary sequence of zero-dimensional ideals, the multiplicity of the sequence is equal with its volume. This is done using a deformation to monomial ideals. As a consequence of our result, we obtain a formula which computes the multiplicity of an ideal I in terms of the multiplicities of the initial monomial ideals of the powers I^m. We use this to give a new proof of the inequality between multiplicity and the log canonical threshold due to de Fernex, Ein and the author.


title: Free Loop Spaces and Cyclohedra

abstract: In this note we introduce an action of cyclohedra on the free loop space. We will then discuss how this action can be used for an appropriate recognition principle in the same manner as the action of Stasheff's associahedra can be used to recognize based loop spaces. We will also interpret one result of R.L. Cohen as an approximation theorem, in the spirit of Beck and May, for free loop spaces.


title: Uniform approximation of continuous mappings by smooth mappings with no critical points on Hilbert manifolds

abstract: We prove that every continuous mapping from a separable infinite-dimensional Hilbert space $X$ into $\mathbb{R}^{m}$ can be uniformly approximated by $C^\infty$ smooth mappings {\em with no critical points}. This kind of result can be regarded as a sort of very strong approximate version of the Morse-Sard theorem. Some consequences of the main theorem are as follows. Every two disjoint closed subsets of $X$ can be separated by a one-codimensional smooth manifold which is a level set of a smooth function with no critical points; this fact may be viewed as a nonlinear analogue of the geometrical version of the Hahn-Banach theorem. In particular, every closed set in $X$ can be uniformly approximated by open sets whose boundaries are $C^\infty$ smooth one-codimensional submanifolds of $X$. Finally, since every Hilbert manifold is diffeomorphic to an open subset of the Hilbert space, all of these results still hold if one replaces the Hilbert space $X$ with any smooth manifold $M$ modelled on $X$.


title: The nef cone of toroidal compactifications of ${\cal A}_4$

abstract: We determine the cone of nef divisors on the Igusa and Voronoi compactifications of the moduli space of principally polarised abelian 4-folds. We also show that the canonical bundle on the Igusa compactification of A_4(n) is ample for n at least 3. Analogous results for A_2 and A_3 were earlier obtained by the first author but the case of A_4 is far less simple.


title: Generic-case complexity, decision problems in group theory and random walks

abstract: We give a precise definition of ``generic-case complexity'' and show that for a very large class of finitely generated groups the classical decision problems of group theory - the word, conjugacy and membership problems - all have linear-time generic-case complexity. We prove such theorems by using the theory of random walks on regular graphs.


title: On a Subspace Perturbation Problem

abstract: We discuss the problem of perturbation of spectral subspaces for linear self-adjoint operators on a separable Hilbert space. Let $A$ and $V$ be bounded self-adjoint operators. Assume that the spectrum of $A$ consists of two disjoint parts $\sigma$ and $\Sigma$ such that $d=\text{dist}(\sigma, \Sigma)>0$. We show that the norm of the difference of the spectral projections $\EE_A(\sigma)$ and $\EE_{A+V}\big (\{\lambda | \dist(\lambda, \sigma)$ $<d/2\}\big)$ for $A$ and $A+V$ is less then one whenever either (i) $\|V\|<\frac{2}{2+\pi}d$ or (ii) $\|V\|<{1/2}d$ and certain assumptions on the mutual disposition of the sets $\sigma$ and $\Sigma$ are satisfied.


title: Series of Lie Groups

abstract: For various series of complex semi-simple Lie algebras $\fg (t)$ equipped with irreducible representations $V(t)$, we decompose the tensor powers of $V(t)$ into irreducible factors in a uniform manner, using a tool we call {\it diagram induction}. In particular, we interpret the decompostion formulas of Deligne \cite{del} and Vogel \cite{vog} for decomposing $\fg^{\ot k}$ respectively for the exceptional series and $k\leq 4$ and all simple Lie algebras and $k\leq 3$, as well as new formulas for the other rows of Freudenthal's magic chart. By working with Lie algebras augmented by the symmetry group of a marked Dynkin diagram, we are able to extend the list \cite{brion} of modules for which the algebra of invariant regular functions under a maximal nilpotent subalgebra is a polynomial algebra. Diagram induction applied to the exterior algebra furnishes new examples of distinct representations having the same Casimir eigenvalue.


title: Toric modular forms of higher weight

abstract: In two previous papers we used the geometry of complete polyhedral fans to construct a subring $\TTT (l)$ of the modular forms on $\Gamma_{1} (l)$, and showed that for weight two the cuspidal part of $\TTT (l)$ coincides with the space of cusp forms of analytic rank zero. In this paper we show that in weights greater than two, the cuspidal part of $\TTT (l)$ coincides with the space of all cusp forms.


title: Periodic Floer pro-spectra from the Seiberg-Witten equations

abstract: Given a three-manifold with b_1=1 and a nontorsion spin^c structure, we use finite dimensional approximation to construct from the Seiberg-Witten equations two invariants in the form of a periodic pro-spectra. Various functors applied to these invariants give different flavors of Seiberg-Witten Floer homology. We also construct stable homotopy versions of the relative Seiberg-Witten invariants for certain four-manifolds with boundary.


title: On a group associated to $z^2-1$

abstract: We construct a group acting on a binary rooted tree; this discrete group mimics the monodromy action of iterates of $f(z)=z^2-1$ on associated coverings of the Riemann sphere. We then derive some algebraic properties of the group, and describe for that specific example the connection between group theory, geometry and dynamics. The most striking is probably that the quotient Cayley graphs of the group (aka ``Schreier graphs'') converge to the Julia set of $f$.


title: A Generator System of Invariant differential forms

abstract: We obtain a generator system of the algebra of $\mathrm{GL}(V)$-invariant differential forms on $\mathrm{End}_{\bf k} (V)$. The proof uses the Weyl-Schur reciprocity.


title: On the vanishing of higher syzygies of curves. II

abstract: We verify Green's conjecture for a generic $k$-gonal curve of genus $g$, for $g\geq k(k-1)/2$.


title: Free L\'evy Processes on Dual Groups

abstract: We give a short introduction to the theory of L\'evy processes on dual groups. As examples we consider L\'evy processes with additive increments and L\'evy processes on the dual affine group.


title: Filtrations de type Hasse-Arf et monodromie p-adique

abstract: One proves the Crew-Tsuzuki "p-adic local monodromy conjecture" (for local fields of characteristic p>0).


title: Scaled Boolean Algebras

abstract: Scaled Boolean algebras are a category of mathematical objects that arose from attempts to understand why the conventional rules of probability should hold when probabilities are construed, not as frequencies or proportions or the like, but rather as degrees of belief in uncertain propositions. This paper separates the study of these objects from that not-entirely-mathematical problem that motivated them. That motivating problem is explicated in the first section, and the application of scaled Boolean algebras to it is explained in the last section. The intermediate sections deal only with the mathematics. It is hoped that this isolation of the mathematics from the motivating problem makes the mathematics clearer.


title: Variational principles for circle patterns and Koebe's theorem

abstract: We prove existence and uniqueness results for patterns of circles with prescribed intersection angles in constant curvature surfaces. Our method is based on two new functionals--one for the Euclidean and one for the hyperbolic case. We show how Colin de Verdi`ere's, Br"agger's and Rivin's functionals can be derived from ours.


title: Balanced Colombeau products of the distributions $x_{\pm}^{-p}$ and $x^{-p}$

abstract: Results on singular products of the distributions $x_{\pm}^{-p}$ and $x^{-p}$ for natural $p$ are derived when the products are balanced so that their sum exists in the distribution space. These results follow the pattern of a known distributional product published by Jan Mikusi\'nski in 1966. The results are obtained in Colombeau algebra of generalized functions, which is most relevant algebraic construction for tackling nonlinear problems of Schwartz distributions.


title: What is Aperiodic Order?

abstract: The theory of aperiodic order is concerned with the development of ideas stimulated by the discovery of quasicrystals. We give a gentle introduction to some mathematical aspects of aperiodic order, aimed at a more general audience.


title: The classification of highly connected manifolds in dimensions 7 and 15

abstract: Let P be a closed smooth (4j-2)-connected 8j-manifold. We complete Wilkens' classification of the manifolds P for j = 1,2 and give an alternative proof to Wall's classification of the manifolds for j > 2. The Hopf-invariant-one dimensions (j=1,2) are characteristed by the fact that the quadratic linking functions which classify may be inhomogeneous. Hence we also extend the classification of (homogeneous) quadratic linking forms on finite abelian groups (due to Nikulin) to the inhomogeneous case.


title: Stability, energy functionals, and K\"ahler-Einstein metrics

abstract: An explicit seminorm $||f||_{#}$ on the vector space of Chow vectors of projective varieties is introduced, and shown to be a generalized Mabuchi energy functional for Chow varieties. The singularities of the Chow varieties give rise to currents supported on their singular loci, while the regular parts are shown to reproduce the Mabuchi energy functional of the corresponding projective variety. Thus the boundedness from below of the Mabuchi functional, and hence the existence of K\"ahler-Einstein metrics, is related to the behavior of the current $[Y_s]$ and the seminorm $||f||_{#}$ along the orbits of $SL(N+1,{\bf C})$.


title: Fusion categories of rank 2

abstract: We classify semisimple rigid monoidal categories with two isomorphism classes of simple objects over the field of complex numbers. In the appendix written by P.Etingof it is proved that the number of semisimple Hopf algebras with a given finite number of irreducible representations is finite.


title: p-Modular TQFT's, Milnor torsion and the Casson-Lescop invariant

abstract: We derive formulae which lend themselves to TQFT interpretations of the Milnor torsion, the Lescop invariant, the Casson invariant, and the Casson-Morita cocyle of a 3-manifold, and, furthermore, relate them to the Reshetikhin-Turaev theory.


title: Projective normality of special scrolls

abstract: We study the projective normality of a linearly normal special scroll R of degree d and speciality i over a smooth curve of genus g. If d>=4g-2i+1, we prove that the projective normality of the scroll is equivalent to the projective normality of its directrix curve of minimum degree.


title: Combination of convergence groups

abstract: We state and prove a combination theorem for relatively hyperbolic groups seen as geometrically finite convergence groups. For that, we explain how to contruct a boundary for a group that is an acylindrical amalgamation of relatively hyperbolic groups over a fully quasi-convex subgroup. We apply our result to Sela's theory on limit groups and prove their relative hyperbolicity. We also get a proof of the Howson property for limit groups.


title: $F_p$-espaces vectoriels de formes diff\'erentielles logarithmiques sur la droite projective

abstract: Let k be an algebraically closed field of characteristic p >0. Let $m \in \N$, (m,p)=1. We study $\fp$-vector spaces of logarithmic differential forms on the projective line such that each non zero form has a unique zero at $\infty$ of given order m-1. We discuss the existence of such vectors spaces according to the value of m. We give applications to the lifting to characteristic 0 of $(\Z /p\Z)^n$ actions as k-automorphisms of $k[[t]]$.


title: Representation theory and projective geometry

abstract: We give an elementary introduction to our papers relating the geometry of rational homogeneous varieties to representation theory. We also describe related work and recent progress.


title: The amenability of affine algebras

abstract: We introduce the notion of amenability for affine algebras. We characterize amenability by Folner-sequences, paradoxicality and the existence of finitely invariant dimension-measures. Then we extend the results of Rowen on ranks, from affine algebras of subexponential growth to amenable affine algebras.


title: First Passage Percolation Has Sublinear Distance Variance

abstract: Let $0<a<b<\infty$, and for each edge $e$ of $Z^d$ let $\omega_e=a$ or $\omega_e=b$, each with probability 1/2, independently. This induces a random metric $\dist_\omega$ on the vertices of $Z^d$, called first passage percolation. We prove that for $d>1$ the distance $dist_\omega(0,v)$ from the origin to a vertex $v$, $|v|>2$, has variance bounded by $C |v|/\log|v|$, where $C=C(a,b,d)$ is a constant which may only depend on $a$, $b$ and $d$. Some related variants are also discussed


title: On the Grinberg - Kazhdan formal arc theorem

abstract: Let X be an algebraic variety over a field k, and L(X) be the scheme of formal arcs in X. Let f be an arc whose image is not contained in the singularities of X. Grinberg and Kazhdan proved that if k has characteristic 0 then the formal neighborhood of f in L(X) admits a decomposition into a product of an infinite-dimensional smooth piece and a piece isomorphic to the formal neighborhood of a closed point of a scheme of finite type. We give a short proof of this theorem without the characteristic 0 assumption.