title: A Construction of Coxeter Group Representations (II)

abstract: An axiomatic approach to the representation theory of Coxeter groups and their Hecke algebras was presented in [1]. Combinatorial aspects of this construction are studied in this paper. In particular, the symmetric group case is investigated in detail. The resulting representations are completely classified and include the irreducible ones.


title: Characterization of the unit ball in ${\bf C}^n$ among complex manifolds of dimension $n$

abstract: We show that if the group of holomorphic automorphisms of a connected complex manifold $M$ of dimension $n$ is isomorphic as a topological group equipped with the compact-open topology to the automorphism group of the unit ball $B^n\subset\CC^n$, then $M$ is biholomorphically equivalent to either $B^n$ or $\CC\PP^n\setminus\bar{B^n}$.


title: The Operator Valued Autoregressive Filter Problem and the Suboptimal Nehari Problem in Two Variables

abstract: Necessary and sufficient conditions are given for the solvability of the operator valued two-variable autoregressive filter problem. In addition, in the two variable suboptimal Nehari problem sufficient conditions are given for when a strictly contractive little Hankel has a strictly contractive symbol.


title: Spherical Stein spaces

abstract: Let X be an irreducible reduced complex space on which a connected compact Lie group K acts by holomorphic automorphisms. Let G be the complexification of K and g the Lie algebra of G. Following the theory of algebraic transformation groups, we call the complex space X spherical if X is normal and its tangent space at some point is generated by the vector fields from a Borel subalgebra b or g. We give several characterizations of spherical Stein spaces. In particular, we prove that a connected Stein manifold X is spherical if and only if the algebra of K-invariant differential operators on X is commutative.


title: Sharp thresholds and percolation in the plane

abstract: Recently, the authors showed that the critical probability for random Voronoi percolation in the plane is 1/2. A by-product of the method was a short proof of the Harris-Kesten Theorem concerning bond percolation in the planar square lattice. The aim of this paper is to show that the same techniques can be applied to many other planar percolation models, both to obtain short proofs of known results, and to prove new ones.


title: Links, two-handles, and four-manifolds

abstract: We show that only finitely many links in a closed 3-manifold share the same complement, up to twists along discs and annuli. Using the same techniques, we prove that by adding 2-handles on the same link we get only finitely many smooth cobordisms between two given closed 3-manifolds. As a consequence, there are finitely many smooth closed 4-manifolds constructed from some Kirby diagram with bounded number of crossings, discs, and strands, or from some Turaev special shadow with bounded number of vertices. (These are the 4-dimensional analogues of Heegaard diagrams and special spines for 3-manifolds.) We therefore get two filtrations on the set of all smooth closed 4-manifolds with finite sets. The two filtrations are equivalent after linear rescalings, and their cardinality grows at least as n^{c*n}.


title: Notes on Grothendieck topologies, fibered categories and descent theory

abstract: This is an introduction to Grothendieck's descent theory, with some stress on the general machinery of fibered categories and stacks.


title: Euclidean Mahler measure and twisted links

abstract: If the twist numbers of a collection of oriented alternating link diagrams are bounded, then the Alexander polynomials of the corresponding links have bounded euclidean Mahler measure (see Definition 1.2). The converse assertion does not hold. Similarly, if a collection of oriented link diagrams, not necessarily alternating, have bounded twist numbers, then both the Jones polynomials and a parametrization of the 2-variable Homflypt polynomials of the corresponding links have bounded Mahler measure.


title: Geometric Transitions

abstract: The purpose of this paper is to give, on one hand, a mathematical exposition of the main topological and geometrical properties of geometric transitions, on the other hand, a quick outline of their principal applications, both in mathematics and in physics.


title: Verblunsky Coefficients With Coulomb-Type Decay

abstract: We show that probability measures on the unit circle associated with Verblunsky coefficients obeying a Coulomb-type decay estimate have no singular continuous component.


title: Homological representations of the Iwahori-Hecke algebra

abstract: Representations of the Iwahori-Hecke algebra of type A_{n-1} are equivalent to representations of the braid group B_n for which the generators satisfy a certain quadratic relation. We show how to construct such representations from the natural action of B_n on the homology of configuration spaces of the punctured disk. We conjecture that all irreducible representations of Hecke_n can be obtained in this way, even for non-generic values of q.


title: Invariants of Knots, Embeddings and Immersions via Contact Geometry

abstract: This paper is an overview of the idea of using contact geometry to construct invariants of immersions and embeddings. In particular, it discusses how to associate a contact manifold to any manifold and a Legendrian submanifold to an embedding or immersion. We then discuss recent work that creates invariants of immersions and embeddings using the Legendrian contact homology of the associated Legendrian submanifold.


title: An obstruction to the existence of constant scalar curvature K\"ahler metrics

abstract: We prove that polarised manifolds that admit a constant scalar curvature K\"ahler (cscK) metric satisfy a condition we call slope semistability. That is, we define the slope $\mu$ for a projective manifold and for each of its subschemes, and show that if $X$ is cscK then $\mu(Z)\le\mu(X)$ for all subschemes $Z$. This gives many examples of manifolds with K\"ahler classes which do not admit cscK metrics, such as del Pezzo surfaces and projective bundles. If $\PP(E)\to B$ is a projective bundle which admits a cscK metric in a rational K\"ahler class with sufficiently small fibres, then $E$ is a slope semistable bundle (and $B$ is a slope semistable polarised manifold). The same is true for \emph{all} rational K\"ahler classes if the base $B$ is a curve. We also show that the slope inequality holds automatically for smooth curves, canonically polarised and Calabi Yau manifolds, and manifolds with $c_1(X)<0$ and $L$ close to the canonical polarisation.


title: A study of the Hilbert-Mumford criterion for the stability of projective varieties

abstract: We make a systematic study of the Hilbert-Mumford criterion for different notions of stability for polarised algebraic varieties $(X,L)$; in particular for K- and Chow stability. For each type of stability this leads to a concept of slope $\mu$ for varieties and their subschemes; if $(X,L)$ is semistable then $\mu(Z)\le\mu(X)$ for all $Z\subset X$. We give examples such as curves, canonical models and Calabi-Yaus. We prove various foundational technical results towards understanding the converse, leading to partial results; in particular this gives a geometric (rather than combinatorial) proof of the stability of smooth curves.


title: Algebraic invariants for right-angled Artin groups

abstract: A finite simplicial graph \Gamma determines a right-angled Artin group G_\Gamma, with generators corresponding to the vertices of \Gamma, and with a relation vw=wv for each pair of adjacent vertices. We compute the lower central series quotients, the Chen quotients, and the (first) resonance variety of G_\Gamma, directly from the graph \Gamma.


title: Finite flat commutative group schemes over complete discrete valuation rings III: classification, tangent spaces, and semistable reduction of Abelian varieties

abstract: We classify group schemes in terms of their Cartier modules. We also prove the equivalence of different definitions of the tangent space and the dimension for these group schemes; in particular, the minimal dimension of a formal group law that contains $S$ as a closed subgroup is equal to the minimal number of generators for the affine algebra of $S$. As an application the following reduction criteria for Abelian varieties are proved. Let $K$ be a mixed characteristic local field, let its residue field have characteristic $p$, $L$ be a finite extension of $K$, let $\mathfrak{O}_K\subset\mathfrak{O}_L$ be their rings of integers. Let $e$ be the absolute ramification index of $L$, $s=[\log_p(pe/(p-1))]$, $e_0$ be the ramification index of $L/K$, $l=2s+v_p(e_0)+1$. For a finite flat commutative $\mathfrak{O}_L$-group scheme $H$ we denote the $\mathfrak{O}_L$-dual of the module $J/J^2$ by $TH$. Here $J$ is the augmentation ideal of the affine algebra of $H$. Let $V$ be an $m$-dimensional Abelian variety over $K$. Suppose that $V$ has semistable reduction over $L$. \begin{theor} $V$ has semistable reduction over $K$ if and only if for some group scheme $H$ over $\mathfrak{O}_K$ there exist embeddings of $H_K$ into $\operatorname{Ker}[p^{l}]_{V,K}$, and of $(\mathfrak{O}_L/p^l\mathfrak{O}_L)^m$ into $TH_\ol$. \end{theor} This criterion has a very nice-looking version in the ordinary reduction case. \begin{theor} $V$ has ordinary reduction over $K$ if and only if for some $H_K\subset \operatorname{Ker}[p^{l}]_{V,K}$ and $M$ unramified over $K$ we have $H_M\cong (\mu_{p^{l},M})^m$. Here $\mu$ denotes the group scheme of roots of unity.\end{theor}


title: On nodal sextic fivefold

abstract: We prove the birational superrigidity and nonrationality of a hypersurface in $\mathbb{P}^{6}$ of degree 6 having at most isolated ordinary double points.


title: On the Noether--Fano inequalities

abstract: I give a survey of Noether-Fano inequalities in birational geometry, starting with the original Noether inequality and up to the modern approach of Log Minimal Model program. The paper is based on my talk at the Fano conference in Torino in October 2002. This is the revised version: an erroneous reference in my paper published in the Proceedings of Fano conference is corrected.


title: Finite flat commutative group schemes over complete discrete valuation fields: classification, structural results; application to reduction of Abelian varieties

abstract: This paper is a summary of author's results on finite flat commutative group schemes. The properties of the generic fibre functor are discussed. A complete classification of finite local flat commutative group schemes over mixed characteristic complete discrete valuation rings in terms of their Cartier modules (defined by Oort) is given. We also state several properties of tangent space of these schemes. These results are applied to the study of reduction of Abelian varieties. A finite $p$-adic semistable reduction criterion is formulated. It looks especially nice in the ordinary reduction case. The plans of the proofs are described.


title: Minimal smooth models of Drinfeld coarse moduli threefolds

abstract: We construct minimal smooth models of coarse moduli schemes of rational Drinfeld modules of rank 4 as well as their smooth compactifications.


title: On local CR-transformations of Levi-degenerate group orbits in compact Hermitian symmetric spaces

abstract: Let $S$ be a real-analytic hypersurface in $C^n$ or, more generally, a CR-submanifold in a complex manifold $Z$ of arbitrary CR-codimension. This paper addresses the question, when a local biholomorphic map between open sets in $Z$ sending an open piece of $S$ into $S$ extends to a global biholomorphic self-map of $Z$ preserving $S$. We give answers for a large class of Levi-degenerate group orbits in compact Hermitian symmetric spaces.


title: Conics on a Generic Hypersurface

abstract: In this paper, we compute the contributions from double cover maps to genus 0 degree 2 Gromov-Witten invariants of general type projective hypersurfaces. Our results correspond to a generalization of Aspinwall-Morrison formula to general type hypersurfaces in some special cases.


title: Orthogonal polynomials in several non-commuting variables. II

abstract: In this paper we continue to investigate a certain class of Hankel-like positive definite kernels using their associated orthogonal polynomials. The main result of this paper is about the structure of this kind of kernels.


title: Mean Convex Hulls and Least Area Disks spanning Extreme Curves

abstract: We show that for any extreme curve in a 3-manifold M, there exist a canonical mean convex hull containing all least area disks spanning the curve. Similar result is true for asymptotic case in hyperbolic 3-space such that for any asymptotic curve, there is a canonical mean convex hull containing all minimal planes spanning that curve. Applying this to quasi-Fuchsian manifolds, we show that for any quasi-Fuchsian manifold, there exist a canonical mean convex core capturing all essential minimal surfaces. On the other hand, we also show that for a generic C^3-smooth curve in the boundary of C^3-smooth mean convex domain in R^3, there exist a unique least area disk spanning the curve.


title: Maximum run length in a toroidal grid graph

abstract: A toroidal grid graph is a Cartesian product of cycles, and the run length of a Hamiltonian cycle in a grid graph is defined to be the maximum number r such that any r consecutive edges include no more than one edge in any dimension. By constructive methods, we place bounds on the maximum run length possible for a Hamiltonian cycle in several families of grid graphs.


title: Stellar Braiding

abstract: We construct a one-dimensional deformation retract of the unordered k-point configuration space of a star S. This retract suggests an explicit set of free generators Beta_k for the corresponding braid group of the star B_k and shows that the natural map from B_k-1 to B_k sends Beta_k-1 to Beta_k injectively.


title: Asymptotics of multivariate orthogonal polynomials with hyperoctahedral symmetry

abstract: We present a formula describing the asymptotics of a class of multivariate orthogonal polynomials with hyperoctahedral symmetry as the degree tends to infinity. The polynomials under consideration are characterized by a factorized weight function satisfying certain analyticity assumptions. As an application, the large-degree asymptotics of the Koornwinder-Macdonald BC_N-type multivariate Askey-Wilson polynomials is determined.


title: Logarithmic asymptotics of the genus zero Gromov-Witten invariants of the blown up plane

abstract: We study the growth of the genus zero Gromov-Witten invariants GW_{nD} of the projective plane P^2_k blown up at k points (where D is a class in the second homology group of P^2_k). We prove that, under some natural restrictions on D, the sequence log GW_{nD} is equivalent to lambda n log n, where lambda = D.c_1(P^2_k).


title: The Construction of a Partially Regular Solution to the Landau-Lifshitz-Gilbert Equation in $\mathbb{R}^2$

abstract: We establish a framework to construct a global solution in the space of finite energy to a general form of the Landau-Lifshitz-Gilbert equation in $\mathbb{R}^2$. Our characterization yields a partially regular solution, smooth away from a 2-dimensional locally finite Hausdorff measure set. This construction relies on approximation by discretization, using the special geometry to express an equivalent system whose highest order terms are linear and the translation of the machinery of linear estimates on the fundamental solution from the continuous setting into the discrete setting. This method is quite general and accommodates more general geometries involving targets that are compact smooth hypersurfaces.


title: Compressed polytopes and statistical disclosure limitation

abstract: We provide a characterization of the compressed lattice polytopes in terms of their facet defining inequalities and we show that every compressed lattice polytope is affinely isomorphic to a 0/1-polytope. As an application, we characterize those graphs whose cut polytopes are compressed and discuss consequences for studying linear programming relaxations in statistical disclosure limitation.


title: Sharp upper bounds on the number of the scattering poles

abstract: For various compactly supported perturbations of the Laplacian in odd dimensions $n$, we prove a sharp upper bound of the resonance counting function $N(r)$ of the type $N(r) \le A_n r^n(1+o(1))$ with an explicit constant $A_n$. In a few special cases, we show that this estimate turns into an asymptotic.


title: Asymptotic expansions for infinite weighted convolutions of heavy tail distributions and applications

abstract: We establish some asymptotic expansions for infinite weighted convolution of distributions having regular varying tails. Various applications to statistics and probability are developed.


title: Quantum conjugacy classes of simple matrix groups

abstract: Let $G$ be a simple complex classical group and $\g$ its Lie algebra. Let $\U_\hbar(\g)$ be the Drinfeld-Jimbo quantization of the universal enveloping algebra $\U(\g)$. We construct an explicit $\U_\hbar(\g)$-equivariant quantization of conjugacy classes of $G$ with Levi subgroups as the stabilizers.


title: Monodromy calculatons of fourth order equations of Calabi-Yau type

abstract: This paper contains a preliminary study of the monodromy of certain fourth order differential equations, that were called of Calabi-Yau type in math.NT/0402386. Some of these equations can be interpreted as the Picard-Fuchs equations of a Calabi-Yau manifold with one complex modulus, which links up the observed integrality to the conjectured integrality of the Gopakumar-Vafa invariants. A natural question is if in the other cases such a geometrical interpretation is also possible. Our investigations of the monodromies are intended as a first step in answering this question. We use a numerical approach combined with some ideas from homological mirror symmetry to determine the monodromy for some further one-parameter models. Furthermore, we present a conjectural identification of the Picard-Fuchs equation for 5 new examples from Borcea's list and one constructed by Tonoli and conjecture the existence of some new Calabi-Yau three folds. The paper does not contain any theorems or proofs but is, we think, nevertheless of interest.


title: A q-analog of the Racah polynomials and the q-algebra SUq(2)

abstract: We study some q-analogues of the Racah polynomials and some of their applications in the theory of representation of quantum algebras.


title: Artinianness of local cohomology modules of ZD-modules

abstract: This paper centers around Artinianness of the local cohomology of $ZD$-modules. Let $\fa$ be an ideal of a commutative Noetherian ring $R$. The notion of $\fa$-relative Goldie dimension of an $R$-module $M$, as a generalization of that of Goldie dimension is presented. Let $M$ be a $ZD$-module such that $\fa$-relative Goldie dimension of any quotient of $M$ is finite. It is shown that if $\dim R/\fa=0$, then the local cohomology modules $H^i_{\fa}(M)$ are Artinian. Also, it is proved that if $d=\dim M$ is finite, then $H^d_{\fa}(M)$ is Artinian, for any ideal $\fa$ of $R$ . These results extend the previously known results concerning Artinianness of local cohomology of finitely generated modules.


title: Noncommutative Algebras, Nano-Structures, and Quantum Dynamics Generated by Resonances

abstract: We observe ``quantum'' properties of resonance equilibrium points and resonance univariant submanifolds in the phase space. Resonances between Birkhoff or Floquet--Lyapunov frequencies generate quantum algebras with polynomial commutation relations. Irreducible representations and coherent states of these algebras correspond to certain quantum nano-structure near the classical resonance motion. Based on this representation theory and nano-geometry, for equations of Schr\"odinger or wave type in various regimes and zones (up to quantum chaos borders) we describe the resonance spectral and long-time asymptotics, resonance localization and focusing, resonance adiabatic and spin-like effects. We discuss how the mathematical phase space nano-structures relate to physical nanoscale objects like dots, quantum wires, etc. We also demonstrate that even in physically macroscale Helmholtz channels the resonance implies a specific quantum character of classical wave propagation.


title: An unconditionally convergent iterative scheme for initial shape identification in small deformations

abstract: The question of interest in the present study is: ``Given a body subject to mechanical loads, how to define the initial geometry so that the deformed one matches precisely a prescribed shape?'' This question is particularly relevant in forming processes where the tolerated mismatch between the deformed and desired geometries may be lower than a Micron. The method proposed here uses as a first ``guess'' to the required initial geometry the desired one, then it updates iteratively the locations of a set of boundary points so that their locations in the deformed configuration come closer and closer to the desired ones. The scheme is shown to converge unconditionally for small deformations in the sense that arbitrarily small mismatch between the deformed and desired shape can be achieved. Moreover, since it is based entirely on geometric considerations, the convergence should not be affected by the nature of material, i.e. it is independent of the constitutive law. The success of the method is illustrated by considering an example.


title: On the residue fields of Henselian valued stable fields

abstract: Let $(K, v)$ be a Henselian valued field satisfying the following conditions, for a given prime number $p$: (i) central division $K$-algebras of (finite) $p$-primary dimensions have Schur indices equal to their exponents; (ii) the value group $v(K)$ properly includes its subgroup $pv(K)$. The paper shows that if $\hat K$ is the residue field of $(K, v)$ and $\hat R$ is an intermediate field of the maximal $p$-extension $\hat K (p)/\hat K$, then the natural homomorphism Br$(\hat K) \to $ Br$(\hat R)$ of Brauer groups maps surjectively the $p$-component Br$(\hat K)_{p}$ on Br$(\hat R)_{p}$. It proves that Br$(\hat K)_{p}$ is divisible, if $p > 2$ or $\hat K$ is a nonreal field, and that Br$(\hat K)_{2}$ is of order 2 when $\hat K$ is formally real. We also obtain that $\hat R$ embeds as a $\hat K$-subalgebra in a central division $\hat K$-algebra $\hat \Delta $ if and only if the degree $[\hat R\colon \hat K]$ divides the index of $\hat \Delta $.


title: A Random Matrix Approach to the Lack of Projections in C*_red(F_2)

abstract: In 1982 Pimsner and Voiculescu computed the K_0- and K_1-groups of the reduced group C*-algebra C*_red(F_k) of the free group F_k on k generators and settled thereby a long standing conjecture: C*_red(F_k) has no projections except for the trivial projections 0 and 1. Later simpler proofs of this conjecture were found by methods from K-theory or from non-commutative differential geometry. In this paper we provide a new proof of the fact that C*_red(F_k) is projectionless. The new proof is based on random matrices and is obtained by a refinement of the methods recently used by the first and the third named author to show that the semigroup Ext(C*_red(F_k)) is not a group for k >= 2. By the same type of methods we also obtain that two phenomena proved by Bai and Silverstein for certain classes of random matrices: ``no eigenvalues outside (a small neighbourhood of) the support of the limiting distribution'' and ``exact separation of eigenvalues by gaps in the limiting distribution'' also hold for arbitrary non-commutative selfadjoint polynomials of independent GUE, GOE or GSE random matrices with matrix coefficients.


title: Semi-Selfdecomposable Laws and Related Processes

abstract: In this note we identify the class of distributions for {Xn} that can generate a linear, additive, first order auto-regressive scheme that is marginally stationary as semi-selfdecomposable laws. We give a method to construct these distributions. Its implications in subordination and selfdecomposability of Levy processes are given. The discrete analogues of these processes are also discussed.


title: How many miles to beta-X? -- d miles, or just one foot

abstract: It is known that the Stone-Cech compactification of a metrizable space X is approximated by the collection of Smirnov compactifications of X for all compatible metrics on X. If we confine ourselves to locally compact separable metrizable spaces, the corresponding statement holds for Higson compactifications. We investigate the smallest cardinality of a set D of compatible metrics on X such that the Stone-Cech compactification of X is approximated by Smirnov or Higson compactifications for all metrics in D. We prove that it is either the dominating number or 1 for a locally compact separable metrizable space.


title: Branching rules, Kostka-Foulkes polynomials and $q$-multiplicities in tensor product for the root systems $B\_{n},C\_{n}$ and $D\_{n}$

abstract: The Kostka-Foulkes polynomials $K$ related to a root system $\phi $ can be defined as alternated sums running over the Weyl group associated to $\phi .$ By restricting these sums over the elements of the symmetric group when $% \phi $ is of type $B,C$ or $D$, we obtain again a class $\widetilde{K}$ of Kostka-Foulkes polynomials. When $\phi $ is of type $C$ or $D$ there exists a duality beetween these polynomials and some natural $q$-multiplicities $U$ in tensor product \cite{lec}. In this paper we first establish identities for the $\widetilde{K}$ which implies in particular that they can be decomposed as sums of Kostka-Foulkes polynomials related to the root system of type $A$ with nonnegative integer coefficients. Moreover these coefficients are branching rule coefficients. This allows us to clarify the connection beetween the $q$-multiplicities $U$ and the polynomials defined by Shimozono and Zabrocki in \cite{SZ}. Finally we establish that the $q$-multiplicities $U$ defined for the tensor powers of the vector representation coincide up to a power of $q$ with the one dimension sum $X$ introduced in \cite{Ok} This shows that in this case the one dimension sums $% X$ are affine Kazhdan-Lusztig polynomials.


title: Aspects of a new class of braid matrices: roots of unity and hyperelliptic $q$ for triangularity, L-algebra,link-invariants, noncommutative spaces

abstract: Various properties of a class of braid matrices, presented before, are studied considering $N^2 \times N^2 (N=3,4,...)$ vector representations for two subclasses. For $q=1$ the matrices are nontrivial. Triangularity $(\hat R^2 =I)$ corresponds to polynomial equations for $q$, the solutions ranging from roots of unity to hyperelliptic functions. The algebras of $L-$ operators are studied. As a crucial feature one obtains $2N$ central, group-like, homogenous quadratic functions of $L_{ij}$ constrained to equality among themselves by the $RLL$ equations. They are studied in detail for $N =3$ and are proportional to $I$ for the fundamental $3\times3$ representation and hence for all iterated coproducts. The implications are analysed through a detailed study of the $9\times 9$ representation for N=3. The Turaev construction for link invariants is adapted to our class. A skein relation is obtained. Noncommutative spaces associated to our class of $\hat R$ are constructed. The transfer matrix map is implemented, with the N=3 case as example, for an iterated construction of noncommutative coordinates starting from an $(N-1)$ dimensional commutative base space. Further possibilities, such as multistate statistical models, are indicated.


title: Geometric versus homotopy theoretic equivariant bordism

abstract: By results of Loeffler and Comezana, the Pontrjagin-Thom map from geometric G-equivariant bordism to homotopy theoretic equivariant bordism is injective for compact abelian G. If G = S^1 x ... x S^1, we prove that the associated fixed point square is a pull back square, thus confirming a recent conjecture of D. Sinha. This is used in order to determine the image of the Pontrjagin-Thom map for toral G.


title: The Kreps-Yan theorem for $L^\infty$

abstract: We prove the following version of the Kreps-Yan theorem. For any norm closed convex cone $C\subset L^\infty$ such that $C\cap L_+^\infty=\{0\}$ and $C\supset -L_+^\infty$, there exists a strictly positive continuous linear functional, whose restriction on $C$ is non-positive. The proof uses some tools from convex analysis in contrast to the case of a weakly Lindel\"of Banach space, where such approach is not needed.


title: On the Foundation of Algebraic Topology

abstract: In the 70:th, combinatorialists begun to systematically relate simplicial complexes and polynomial algebras, named Stanley-Reisner rings or face rings. This demanded an algebraization of the simplicial complexes, that turned the empty simplicial complex into a zero object w.r.t. to simplicial join, losing its former role as join-unit - a role taken over by a new (-1)-dimensional simplicial complex containing only the empty simplex. There can be no realization functor targeting the classical category of topological spaces that turns the contemporary simplicial join into topological join unless a (-1)-dimensional space is introduced as a topological join-unit. This algebraization of general topology enables a homology theory that unifies the classical relative and reduced homology functors and allows a K\"unneth Theorem for simplicial resp. topological pair-joins.


title: A sufficient condition for the insertion of a contra-continuous (Baire-one) function

abstract: A sufficient condition for the insertion of a contra-continuous (resp. Baire-one) function between two comparable real-valued functions is given on the topological spaces that L-sets are open (resp. G-delta-sets).


title: Various topologies on trees

abstract: This is a survey article on trees, with a modest number of proofs to give a flavor of the way these topologies can be efficiently handled. Trees are defined in set-theorist fashion as partially ordered sets in which the elements below each element are well-ordered. A number of different topologies on trees are treated, some at considerable length. Two sections deal in some depth with the coarse and fine wedge topologies, and the interval topology, respectively. The coarse wedge topology gives a class of supercompact monotone normal topological spaces, and the fine wedge topology puts a monotone normal, hereditarily ultraparacompact topology on every tree. The interval topology gives a large variety of topological properties, some of which depend upon set-theoretic axioms beyond ZFC. Many of the open problems in this area are given in the last section.


title: Hilbert's first and second problems and the foundations of mathematics

abstract: This survey article on Hilbert's first and second problems is adapted from a one-hour colloquium lecture given at the University of Auckland in May, 2000, just three months before the 100th anniversary of Hilbert's lecture. It includes an annotated bibliography.


title: A survey of topological work at CEOL

abstract: We present an overview of ongoing work at the Centre for Efficiency-Oriented languages (CEOL), with a focus on topological aspects. CEOL researchers are engaged in designing a new Real-Time Language to improve software timing. The centre broadly focuses on bridging Semantics and Complexity and unites researchers with expertise in Semantics of Programming Languages, Real-Time Languages, Compiler Design and Graph Based Algorithms. CEOL aims to narrow the gap between Worst Case Execution Time analysis and Average Case Execution Time analysis for Real-Time languages and its longer term goal is the development of ACETT, an Average Case Execution Time Tool. This research work is of crucial interest to industry, given that real-time software is widely used in a variety of applications, such as chemical plants, satellite communications, the space industry, telephone exchanges, medical equipment, the motor industry, etc. Topological work at CEOL focuses on the exploration of quantitative Domains, semivaluations, partial metrics and their applications. We give an overview of prior results obtained at CEOL in this area and of current work on relating the notion of balance of algorithms to running time and of an exploration of semivaluations in relation to algorithmic running time.


title: Sequential convergence in topological spaces

abstract: In this survey, my aim has been to discuss the use of sequences and countable sets in general topology. In this way I have been led to consider five different classes of topological spaces: first countable spaces, sequential spaces, Frechet spaces, spaces of countable tightness and perfect spaces. We are going to look at how these classes are related, and how well the various properties behave under certain operations, such as taking subspaces, products, and images under proper mappings. Where they are not well behaved we take the opportunity to consider some relevant examples, which are often of special interest. For instance, we examine an example of a Frechet space with unique sequential limits that is not Hausdorff. I asked the question of whether there exists in ZFC an example of a perfectly normal space that does not have countable tightness: such an example was supplied and appears below. In our discussion we shall report two independence theorems, one of which forms the solution to the Moore-Mrowka problem. The results that we prove below include characterisation theorems of sequential spaces and Frechet spaces in terms of appropriate classes of continuous mappings, and the theorem that every perfectly regular countably compact space has countable tightness.


title: Educational production and optimal class size

abstract: Lazear (2001) (Quarterly Journal of Economics, v. 116, p. 777-803) provided a model of a private school with a particular profit function. Using an alternative, related profit function I show that an optimal solution has nearly equal class sizes. I also offer a conjecture about the roots of a certain family of polynomials, which if true, allows one to conclude that if students become less disruptive or teacher cost increases, then the optimal solution for a profit maximizing school is generally, but not always, to use fewer classes. I also show that if the school has s>1 types of students, then the optimal solution will have at most s-1 mixed classes and its bipartite graph is a forest.


title: Three topological problems about integral functionals on Sobolev spaces

abstract: In this paper, I propose some problems, of topological nature, on the energy functional associated to the Dirichlet problem -\Delta u = f(x,u) in Omega, u restricted to the boundary of Omega is 0. Positive answers to these problems would produce innovative multiplicity results on this Dirichlet problem.


title: A Note On Coinduction Functors between Categories of Comodules for Corings

abstract: In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case of locally projective corings as a composition of suitable ``Trace'' and ``Hom'' functors and show how to derive it from a more general coinduction functor between categories of type $\sigma \lbrack M].$ In special cases (e.g. the corings morphism is part of a morphism of measuring $\alpha $-pairings or the corings have the same base ring), a version of our functor is shown to be isomorphic to the usual coinduction functor obtained by means of the cotensor product. Our results in this note generalize previous results of the author on coinduction functors between categories of comodules for coalgebras over commutative base rings.


title: Nonstandard Consequence Operators Generated By Mixed Logic-Systems

abstract: Mixed logic-systems contain both standard and nonstandard coordinate values. In this paper, it is shown that each of the specifically defined mixed logic-systems generates an internal nonstandard consequence operator.


title: Covering dimension and nonlinear equations

abstract: Theorem: Let X and Y be two Banach spaces, Phi: X to Y a continuous, linear, surjective operator, and Psi: X to Y a completely continuous operator with bounded range. Then, one has dim{x in X : Phi(x)=Psi(x)} >= dim(Phi^{-1}(0)). Here dim denotes the covering dimension.


title: Some research perspectives in nonlinear functional analysis

abstract: The object of this lecture is to propose a series of conjectures and problems in different fields of analysis. They have been formulated with the aim of introducing some innovative methods in the study of classical topics, as open mappings, fixed points, critical points, global minima, control theory.


title: Infinitely many local minima of sequentially weakly lower semicontinuous functionals

abstract: We give an overview of some applications of a general variational principle.


title: A further improvement of a minimax theorem of Borenshtein and Shulman

abstract: I do improve a recent improvement (due to Saint Raymond) of a minimax theorem of Borenshtein and Shul'man, replacing a global compactness assumption by a local one.


title: A general variational principle and some of its applications

abstract: In this paper, given a reflexive real Banach space X and two sequentially weakly lower semicontinuous functionals Phi, Psi on X with Psi strongly continuous and coercive, we are mainly interested in the existence of infinitely many local minima of the functional capital Phi + r Psi for each sufficiently real r.


title: Recent uses of connectedness in functional analysis

abstract: Perhaps, it is not too far from the truth to say that, among the great concepts (as compactness, completeness, order, convexity) on which functional analysis is based, connectedness is relatively less popular, though this does not mean that it is less useful than the others. The aim of this lecture is just to support this latter sentence, focusing some recent results where connectedness plays a central role.


title: The Minimal Number of Three-Term Arithmetic Progressions Modulo a Prime Converges to a Limit

abstract: Given a density t in (0,1], and a prime p, let S be any subset of F_p having at least tp elements, and having the least number of three-term arithmetic progressions mod p among all subsets of F_p with at least tp elements. Define N(t,p) to be 1/p^2 times the number of three-term arithmetic progressions in S modulo p. Note that N(t,p) does not depend on S -- it only depends on t and p. An old result of Varnavides shows that for fixed t, N(t,p) > c(t) > 0 for all primes p sufficiently large. But, does N(t,p) converge to a limit as p -> infinity? We prove that it does.


title: The Stationary Measure of a 2-type Totally Asymmetric Exclusion Process

abstract: We give a combinatorial description of the stationary measure for a totally asymmetric exclusion process (TASEP) with second class particles, on either Z or on the cycle Z_N. The measure is the image by a simple operation of the uniform measure on some larger finite state space. This reveals a combinatorial structure at work behind several results on the TASEP with second class particles.


title: Scaling of Percolation on Infinite Planar Maps, I

abstract: We consider several aspects of the scaling limit of percolation on random planar triangulations, both finite and infinite. The equivalents for random maps of Cardy's formula for the limit under scaling of various crossing probabilities are given. The limit probabilities are expressed in terms of simple events regarding Airy-Levy processes. Some explicit formulas for limit probabilities follow from this relation by applying known results on stable processes. Conversely, natural symmetries of the random maps imply identities concerning the Airy-Levy processes.


title: Dynamics of the Sixth Painlev\'e Equation

abstract: The sixth Painlev\'e equation is hiding extremely rich geometric structures behind its outward appearance. This article tries to give as a total picture as possible of its dynamical natures, based on the Riemann-Hilbert approach recently developed by the authors, using various techniques from algebraic geometry. A good part of the contents is extended to Garnier systems, while this article is restricted to the original sixth Painlev\'e equation.


title: A note on Galois theory for bialgebroids

abstract: In this note we reduce certain proofs in \cite{KS, Karl, AMA} to depth two quasibases from one side only. This minimalistic approach leads to a characterization of Galois extensions for finite projective bialgebroids without the Frobenius extension property: a proper algebra extension is a left $T$-Galois extension for some right finite projective left bialgebroid $T$ over some algebra $R$ if and only if it is of left depth two and left balanced. Exchanging left and right in this statement, we have also a characterization of right Galois extensions for left finite projective right bialgebroids. As a corollary, we obtain insights into split monic Galois mappings and endomorphism ring theorems for depth two extensions.


title: General Sobolev Inequality on Riemannian Manifold

abstract: Let M be a complete n-dimensional Riemannian manifold, if the sobolev inqualities hold on M, then the geodesic ball has maximal volume growth; if the Ricci curvature of M is nonnegative, and one of the general Sobolev inequalities holds on M, then M is diffeomorphic to $R^{n}$.


title: Combinatoric of H-primes in quantum matrices

abstract: Let n be a positive integer greater than or equal to 2, and q a complex number, transcendental over Q. In this paper, we give an algorithmic construction of an ordered bijection between the set of H-primes of n \times n quantum matrices and the sub-poset S of the (reverse) Bruhat order of the symmetric group S_{2n} consisting of those permutations that move any integer by no more than n positions. Further, we describe the permutations that correspond via this bijection to rank t H-primes, that is, to those H-invariant prime ideals which contain all (t+1) \times (t+1) quantum minors but not all t \times t quantum minors. More precisely, we establish the following result. Imagine that there is a barrier between positions n and n+1. Then a 2n-permutation \sigma which belongs to the sub-poset S corresponds to a rank t H-invariant prime ideal of the algebra of n \times n quantum matrices if and only if the number of integers that are moved by \sigma from the right to the left of this barrier is exactly n-t. The existence of such a bijection (with such properties) was conjectured by Goodearl and Lenagan.


title: Circle and torus actions on equal symplectic blow-ups of CP^2

abstract: A manifold obtained by k simultaneous symplectic blow-ups of CP^2 of equal sizes epsilon (where the size of CP^1 \subset CP^2 is one) admits an effective two dimensional torus action if k <= 3 and admits an effective circle action if (k-1)epsilon < 1. We show that these bounds are sharp if 1/epsilon is an integer.


title: Hyers-Ulam-Rassias Stability of Generalized Derivations

abstract: The generalized Hyers--Ulam--Rassias stability of generalized derivations on unital Banach algebras into Banach bimodules is established.


title: Approximate $(\sigma-\tau)$-Contractibility

abstract: In this paper, the generalized Hyers--Ulam--Rassias stability of $(\sigma-\tau)$-derivations on normed algebras into Banach bimodules is established. We introduce the notion of approximate $(\sigma-\tau)$-contractibility and prove that a Banach algebra is $(\sigma-\tau)$-contractible if and only if it is approximately $(\sigma-\tau)$-Contractible.


title: Stability Properties of Constrained Jump-Diffusion Processes

abstract: We consider a class of jump-diffusion processes, constrained to a polyhedral cone $G\subset\R^n$, where the constraint vector field is constant on each face of the boundary. The constraining mechanism corrects for ``attempts'' of the process to jump outside the domain. Under Lipschitz continuity of the Skorohod map \Gamma, it is known that there is a cone \mathcalC such that the image \Gamma\phi of a deterministic linear trajectory \phi remains bounded if and only if \dot\phi\in\mathcalC. Denoting the generator of a corresponding unconstrained jump-diffusion by \cll, we show that a key condition for the process to admit an invariant probability measure is that for x\in G, \cll \id(x) belongs to a compact subset of \mathcalC^o.


title: Approximately Vanishing of Topological Cohomology Groups

abstract: In this paper, we establish the Pexiderized stability of coboundaries and cocycles and use them to investigate the Hyers--Ulam stability of some functional equations. We prove that for each Banach algebra $A$, Banach $A$-bimodule $X$ and positive integer $n, H^n(A,X)=0$ if and only if the $n$-th cohomology group approximately vanishes.


title: Singular control with state constraints on unbounded domain

abstract: We study a class of stochastic control problems where a cost of the form \begin{equation}\mathbb{E}\int_{[0,\infty)}e^{-\beta s}[\ell(X_s) ds+h(Y^{\circ}_s) d|Y|_s]\end{equation} is to be minimized over control processes $Y$ whose increments take values in a cone $\mathbb{Y}$ of $\mathbb{R}^p$, keeping the state process $X=x+B+GY$ in a cone $\mathbb{X}$ of $\mathbb{R}^k$, $k\le p$. Here, $x\in\mathbb{X}$, $B$ is a Brownian motion with drift $b$ and covariance $\Sigma$, $G$ is a fixed matrix, and $Y^{\circ}$ is the Radon--Nikodym derivative $dY/d|Y|$. Let $\mathcal{L}=-(1/2)trace(\Sigma D^2)-b\cdot D$ where $D$ denotes the gradient. Solutions to the corresponding dynamic programming PDE, \begin{equation}[(\mathcal{L}+\beta)f-\ell]\vee\sup_{y\in\mathbb{Y}:|Gy|=1 }[-Gy\cdot Df-h(y)]=0,\end{equation} on $\mathbb{X}^o$ are considered with a polynomial growth condition and are required to be supersolution up to the boundary (corresponding to a ``state constraint'' boundary condition on $\partial\mathbb{X}$). Under suitable conditions on the problem data, including continuity and nonnegativity of $\ell$ and $h$, and polynomial growth of $\ell$, our main result is the unique viscosity-sense solvability of the PDE by the control problem's value function in appropriate classes of functions. In some cases where uniqueness generally fails to hold in the class of functions that grow at most polynomially (e.g., when $h=0$), our methods provide uniqueness within the class of functions that, in addition, have compact level sets. The results are new even in the following special cases: (1) The one-dimensional case $k=p=1$, $\mathbb{X}=\mathbb{Y}=\mathbb{R}_+$; (2) The first-order case $\Sigma=0$; (3) The case where $\ell$ and $h$ are linear. The proofs combine probabilistic arguments and viscosity solution methods. Our framework covers a wide range of diffusion control problems that arise from queueing networks in heavy traffic.


title: An optimal systolic inequality for CAT(0) metrics in genus two

abstract: We prove an optimal systolic inequality for CAT(0) metrics on a genus~2 surface. We use a Voronoi cell technique, introduced by C.~Bavard in the hyperbolic context. The equality is saturated by a flat singular metric in the conformal class defined by the smooth completion of the curve y^2=x^5-x. Thus, among all CAT(0) metrics, the one with the best systolic ratio is composed of six flat regular octagons centered at the Weierstrass points of the Bolza surface.


title: On Positive Recurrence of Constrained Diffusion Processes

abstract: Let G \subset \R^k be a convex polyhedral cone with vertex at the origin given as the intersection of half spaces {G_i, i= 1, ..., N}, where n_i and d_i denote the inward normal and direction of constraint associated with G_i, respectively. Stability properties of a class of diffusion processes, constrained to take values in G, are studied under the assumption that the Skorokhod problem defined by the data {(n_i, d_i), i = 1, ..., N} is well posed and the Skorokhod map is Lipschitz continuous. Explicit conditions on the drift coefficient, b(\cdot), of the diffusion process are given under which the constrained process is positive recurrent and has a unique invariant measure. Define \C \Df{- \sum_{i=1}^N \alpha_i d_i; \alpha_i \ge 0, i \in \{1, ..., N}}. Then the key condition for stability is that there exists \delta \in (0, \infty) and a bounded subset A of G such that for all x \in G\backslash A, b(x) \in \C and \dist(b(x), \partial \C) \ge \delta, where \partial \C denotes the boundary of \C.


title: On equivariant Dirac operators for $SU_q(2)$

abstract: We explain the notion of minimality for an equivariant spectral triple and show that the triple for the quantum SU(2) group constructed by Chakraborty and Pal is minimal. We also give a decomposition of the spectral triple constructed by Dabrowski et al in terms of this minimal triple.


title: The Composite Cosine Transform on the Stiefel Manifold and Generalized Zeta Integrals

abstract: We introduce a new integral transform $T^\lam f$, $\lam \in C^m$, on the Stiefel manifold of orthonormal $m$-frames in $R^n$ which generalizes the $\lam$-cosine transform on the Grassmann manifold of $m$-dimensional linear subspaces of $R^n$. We call it the composite cosine transform, by taking into account that its kernel agrees with the composite power function of the cone of positive definite symmetric matrices. Our aim is to describe the set of all $\lam \in C^m$ for which $T^\lam$ is injective on the space of integrable functions. We obtain the precise description of this set in some important cases, in particular, for $\lam$-cosine transforms on Grassmann manifolds. The main tools are the classical Fourier analysis of functions of matrix argument and the relevant zeta integrals.


title: Holomorphic horospherical duality "sphere-cone"

abstract: We describe a construction of complex geometrical analysis which corresponds to the classical theory of spherical harmonics.


title: Horospherical Cauchy-Radon transform on compact symmetric spaces

abstract: Harmonic analysis on noncompact Riemannian symmetric spaces is in a sense equivalent to the theory of the horospherical transform. There are no horospheres on compact symmetric spaces, but we define a complex version of horospherical transform which plays a similar role for the harmonic analysis on them.


title: Complex horospherical transform on real sphere

abstract: We define a new integral transform on the real sphere which is invariant relative to the orthogonal group and similar to the horospherical Radon transform for the hyperbolic space. This transform involves complex geometry associated with the sphere.


title: Third order ODEs and four-dimensional split signature Einstein metrics

abstract: We construct a family of split signature Einstein metrics in four dimensions, corresponding to particular classes of third order ODEs considered modulo fiber preserving transformations of variables.


title: Positive solutions to singular semilinear elliptic equations with critical potential on cone-like domains

abstract: We study the existence and nonexistence of positive (super-)solutions to a singular semilinear elliptic equation $$-\nabla\cdot(|x|^A\nabla u)-B|x|^{A-2}u=C|x|^{A-\sigma}u^p$$ in cone--like domains of $\R^N$ ($N\ge 2$), for the full range of parameters $A,B,\sigma,p\in\R$ and $C>0$. We provide a complete characterization of the set of $(p,\sigma)\in\R^2$ such that the equation has no positive (super-)solutions, depending on the values of $A,B$ and the principle Dirichlet eigenvalue of the cross--section of the cone. The proofs are based on the explicit construction of appropriate barriers and involve the analysis of asymptotic behavior of super-harmonic functions associated to the Laplace operator with critical potentials, Phragmen--Lindel\"of type comparison arguments and an improved version of Hardy's inequality in cone--like domains.


title: Symmetric Bush-type Hadamard matrices of order $4m^4$ exist for all odd $m$

abstract: Using reversible Hadamard difference sets, we construct symmetric Bush-type Hadamard matrices of order $4m^4$ for all odd integer $m$.


title: Lipshitz maps from surfaces

abstract: We give a simple procedure to estimate the smallest Lipshitz constant of a degree 1 map from a Riemannian 2-sphere to the unit 2-sphere, up to a factor of 10. Using this procedure, we are able to prove several inequalities involving this Lipshitz constant. For instance, if the smallest Lipshitz constant is at least 1, then the Riemannian 2-sphere has Uryson 1-Width less than 12 and contains a closed geodesic of length less than 160. Similarly, if a closed oriented Riemannian surface does not admit a degree 1 map to the unit 2-sphere with Lipshitz constant 1, then it contains a closed homologically non-trivial curve of length less than 4 pi. On the other hand, we give examples of high genus surfaces with arbitrarily large Uryson 1-Width which do not admit a map of non-zero degree to the unit sphere with Lipshitz constant 1.


title: Pinning of polymers and interfaces by random potentials

abstract: We consider a polymer, with monomer locations modeled by the trajectory of a Markov chain, in the presence of a potential that interacts with the polymer when it visits a particular site 0. Disorder is introduced by, for example, having the interaction vary from one monomer to another, as a constant $u$ plus i.i.d. mean-0 randomness. There is a critical value of $u$ above which the polymer is pinned, placing a positive fraction of its monomers at 0 with high probability. This critical point may differ for the quenched, annealed and deterministic cases. We show that self-averaging occurs, meaning that the quenched free energy and critical point are nonrandom, off a null set. We evaluate the critical point for a deterministic interaction ($u$ without added randomness) and establish our main result that the critical point in the quenched case is strictly smaller. We show that, for every fixed $u\in\mathbb{R}$, pinning occurs at sufficiently low temperatures. If the excursion length distribution has polynomial tails and the interaction does not have a finite exponential moment, then pinning occurs for all $u\in\mathbb{R}$ at arbitrary temperature. Our results apply to other mathematically similar situations as well, such as a directed polymer that interacts with a random potential located in a one-dimensional defect, or an interface in two dimensions interacting with a random potential along a wall.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Spin chains from dynamical quadratic algebras

abstract: We present a construction of integrable quantum spin chains where local spin-spin interactions are weighted by ``position''-dependent potential containing abelian non-local spin dependance. This construction applies to the previously defined three general quadratic reflection-type algebras: respectively non-dynamical, semidynamical, fully dynamical.


title: Strong Morita equivalence of higher-dimensional noncommutative tori. II

abstract: We show that two C*-algebraic noncommutative tori are strongly Morita equivalent if and only if they have isomorphic ordered K_0-groups and centers, extending N. C. Phillips's result in the case that the algebras are simple. This is also generalized to the twisted group C*-algebras of arbitrary finitely generated abelian groups.


title: An escape time criterion for queueing networks: Asymptotic risk-sensitive control via differential games

abstract: We consider the problem of risk-sensitive control of a stochastic network. In controlling such a network, an escape time criterion can be useful if one wishes to regulate the occurrence of large buffers and buffer overflow. In this paper a risk-sensitive escape time criterion is formulated, which in comparison to the ordinary escape time criteria penalizes exits which occur on short time intervals more heavily. The properties of the risk-sensitive problem are studied in the large buffer limit, and related to the value of a deterministic differential game with constrained dynamics. We prove that the game has value, and that the value is the (viscosity) solution of a PDE. For a simple network, the value is computed, demonstrating the applicability of the approach.


title: Comatrix Corings an Invertible Bimodules

abstract: We extend Masuoka's Theorem [11] concerning the isomorphism between the group of invertible bimodules in a non-commutative ring extension and the group of automorphisms of the associated Sweedler's canonical coring, to the class of finite comatrix corings introduced in [6].


title: On the operator space UMD property for noncommutative Lp-spaces

abstract: We study the operator space UMD property, introduced by Pisier in the context of noncommutative vector-valued Lp-spaces. It is unknown whether the property is independent of p in this setting. We prove that for 1<p,q<\infty, the Schatten q-classes Sq are OUMDp. The proof relies on properties of the Haagerup tensor product and complex interpolation. Using ultraproduct techniques, we extend this result to a large class of noncommutative Lq-spaces. Namely, we show that if M is a QWEP von Neumann algebra (i.e., a quotient of a C^*-algebra with Lance's weak expectation property) equipped with a normal, faithful tracial state \tau, then Lq(M,\tau) is OUMDp for 1<p,q<\infty.


title: Une caracterisation des endomorphismes de Lattes par leur mesure de Green

abstract: We show that the Lattes endomorphisms are the only holomorphic endomorphisms of the complex k-dimensional projective space whose measure of maximal entropy is absolutely continuous with respect to the Lebesgue measure. As a consequence, Lattes endomorphisms are also characterized by other extremal properties as the maximality of the Hausdorff dimension of their measure of maximal entropy or the minimality of their Liapounov exponents. Our proof uses a linearization method which is of independant interest and a previous characterization by the regularity of the Green current.


title: Explicit solution for a network control problem in the large deviation regime

abstract: We consider optimal control of a stochastic network,where service is controlled to prevent buffer overflow. We use a risk-sensitive escape time criterion, which in comparison to the ordinary escape time criteria heavily penalizes exits which occur on short time intervals. A limit as the buffer sizes tend to infinity is considered. In [2] we showed that, for a large class of networks, the limit of the normalized cost agrees with the value function of a differential game. The game's value is characterized in [2] as the unique solution to a Hamilton-Jacobi-Bellman Partial Differential Equation (PDE). In the current paper we apply this general theory to the important case of a network of queues in tandem. Our main results are: (i) the construction of an explicit solution to the corresponding PDE, and (ii) drawing out the implications for optimal risk-sensitive and robust regulation of the network. In particular, the following general principle can be extracted. To avoid buffer overflow there is a natural competition between two tendencies. One may choose to serve a particular queue, since that will help prevent its own buffer from overflowing, or one may prefer to stop service, with the goal of preventing overflow of buffers further down the line. The solution to the PDE indicates the optimal choice between these two, specifying the parts of the state space where each queue must be served (so as not to lose optimality), and where it can idle.


title: Linkage Extensions

abstract: Given two equidimensional Cohen-Macaulay local rings of the same dimension, one shows that a simultaneous extension of each of them by a dualizing module of the other is Gorenstein. This generalizes a theorem of Fossum. The geometrical analogue is also considered. The pairs of double lines in the projective space which are algebraically linked are classified.


title: Dispersive estimates for Schroedinger operators: A survey

abstract: We present some old and new results on dispersive estimates for Schroedinger equations.


title: The Maslov dequantization, idempotent and tropical mathematics: a very brief introduction

abstract: This paper is a very brief introduction to idempotent mathematics and related topics.


title: Asymptotic analysis of spatially inhomogeneous stiff and ultra-stiff cosmologies

abstract: This article has been removed. It has been superseded by gr-qc/0506097.


title: The Kontsevich integral

abstract: This is an overview article on the Kontsevich integral written for the Encyclopedia of Mathematical Physics, to be published by Elsevier.


title: A Recent Look at the Quantum Berezinian in the Yangian Y(gl_{m|n})

abstract: Brundan and Kleshchev recently introduced a new family of presentations of the Yangian Y(gl_n) associated to the general linear Lie algebra gl_n, and thus provided a fresh approach to its study. In this article, we show how some of their ideas can be fruitfully extended to consider the Yangian Y(gl_{m|n}) associated to the Lie superalgebra gl_{m|n}. In particular, we give a new proof of the result by Nazarov that the quantum Berezinian is central.


title: Asymptotic analysis of the Krawtchouk polynomials by the WKB method

abstract: We analyze the Krawtchouk polynomials K(n,x,N,p,q) asymptotically. We use singular perturbation methods to analyze them for N large with appropriate scalings of the two variables x and n. In particular, the WKB method and asymptotic matching are used. We obtain asymptotic approximations valid in the whole domain [0,N]x[0,N] involving some special functions. We give numerical examples showing the accuracy of our formulas.


title: Conifold transitions and Mori theory

abstract: We show there is a symplectic conifold transition of a projective 3-fold which is not deformation equivalent to any Kaehler manifold. The key ingredient is Mori's classification of extremal rays on smooth projective 3-folds. It follows that there is a Lagrangian sphere in a projective variety which is not the vanishing cycle of any Kaehler degeneration, answering a question of Donaldson.


title: A sharp weighted Wirtinger inequality

abstract: We obtain a sharp estimate for the best constant $C>0$ in the Wirtinger type inequality \[ \int_0^{2\pi}\gamma^pw^2\le C\int_0^{2\pi}\gamma^qw'^2 \] where $\gamma$ is bounded above and below away from zero, $w$ is $2\pi$-periodic and such that $\int_0^{2\pi}\gamma^pw=0$, and $p+q\ge0$. Our result generalizes an inequality of Piccinini and Spagnolo.


title: No-arbitrage in discrete-time markets with proportional transaction costs and general information structure

abstract: We discuss the no-arbitrage conditions in a general framework for discrete-time models of financial markets with proportional transaction costs and general information structure. We extend the results of Kabanov and al. (2002), Kabanov and al. (2003) and Schachermayer (2004) to the case where bid-ask spreads are not known with certainty. In the "no-friction" case, we retrieve the result of Kabanov and Stricker (2003).


title: Real Root Conjecture fails for five and higher dimensional spheres

abstract: A construction of convex flag triangulations of five and higher dimensional spheres, whose h-polynomials fail to have only real roots, is given. We show that there is no such example in dimensions lower than five. A condition weaker than realrootedness is conjectured and some evidence is provided


title: On (Co)Homology of Triangular Banach Algebras

abstract: Suppose that A and B are unital Banach algebras with units 1_A and 1_B, respectively, M is a unital Banach A-B-bimodule, T=Tri(A,M,B) is the triangular Banach algebra, X is a unital T-bimodule, X_{AA}=1_AX1_A, X_{BB}=1_BX1_B, X_{AB}=1_AX1_B and X_{BA}=1_BX1_A. Applying two nice long exact sequences related to A, B, T, X, X_{AA}, X_{BB}, X_{AB} and X_{BA} we establish some results on (co)homology of triangular Banach algebras.


title: A Survey on the Complemented Subspace Problem

abstract: The complemented subspace problem asks, in general, which closed subspaces $M$ of a Banach space $X$ are complemented; i.e. there exists a closed subspace $N$ of $X$ such that $X=M\oplus N$? This problem is in the heart of the theory of Banach spaces and plays a key role in the development of the Banach space theory. Our aim is to investigate some results on complemented subspaces, to give a history of the subject, and to present some open problems.


title: Inverse Problems and Index Formulae for Dirac Operators

abstract: We consider a Dirac-type operator $D_P$ on a vector bundle $V$ over a compact Riemannian manifold $(M,g)$ with a nonempty boundary. The operator $D_P$ is specified by a boundary condition $P(u|_{\p M})=0$ where $P$ is a projector which may be a non-local, i.e. a pseudodifferential operator. We assume the existence of a chirality operator which decomposes $L^2(M, V)$ into two orthogonal subspaces $X_+ \oplus X_-$. Under certain conditions, the operator $D_P$ restricted to $X_+$ and $ X_-$ defines a pair of Fredholm operators which maps $X_+\to X_-$ and $X_-\to X_+$ correspondingly, giving rise to a superstructure on $V$. In this paper we consider the questions of determining the index of $D_P$ and the reconstruction of $(M, g), V$ and $D_P$ from the boundary data on $\p M$. The data used is either the Cauchy data, i.e. the restrictions to $\p M \times \R_+$ of the solutions to the hyperbolic Dirac equation, or the boundary spectral data, i.e. the set of the eigenvalues and the boundary values of the eigenfunctions of $D_P$. We obtain formulae for the index and prove uniqueness results for the inverse boundary value problems. We apply the obtained results to the classical Dirac-type operator in $M\times \C^4$, $M \subset \R^3$.


title: Chiral polyhedra in ordinary space, II

abstract: A chiral polyhedron has a geometric symmetry group with two orbits on the flags, such that adjacent flags are in distinct orbits. Part I of the paper described the discrete chiral polyhedra in ordinary Euclidean 3-space with finite skew faces and finite skew vertex-figures; they occur in infinite families and are of types {4,6}, {6,4} and {6,6}. Part II completes the enumeration of all discrete chiral polyhedra in 3-space. There exist several families of chiral polyhedra with infinite, helical faces. In particular, there are no discrete chiral polyhedra with finite faces in addition to those described in Part I.


title: Injections of Artin groups

abstract: We study those Artin groups which, modulo their centers, are finite index subgroups of the mapping class group of a sphere with at least 5 punctures. In particular, we show that any injective homomorphism between these groups is parameterized by a homeomorphism of a punctured sphere together with a map to the integers. We also give a generating set for the automorphism group of the pure braid group on at least 4 strands. The technique, following Ivanov, is to prove that every superinjective map of the complex of curves of a sphere with at least 5 punctures is induced by a homeomorphism.


title: Nested Derivatives: A simple method for computing series expansions of inverse functions

abstract: We give an algorithm to compute the series expansion for the inverse of a given function. The algorithm is extremely easy to implement and gives the first $N$ terms of the series. We show several examples of its application in calculating the inverses of some special functions.


title: The Johnson homomorphism and the second cohomology of IA_n

abstract: Let F_n be the free group on n generators. Define IA_n to be group of automorphisms of F_n that act trivially on first homology. The Johnson homomorphism in this setting is a map from IA_n to its abelianization. The first goal of this paper is to determine how much this map contributes to the second rational cohomology of IA_n. A descending central series of IA_n is given by the subgroups K_n^(i) which act trivially on F_n/F_n^(i+1), the free rank n, degree i nilpotent group. It is a conjecture of Andreadakis that K_n^(i) is equal to the lower central series of IA_n; indeed K_n^(2) is known to be the commutator subgroup of IA_n. We prove that the quotient group K_n^(3)/IA_n^(3) is finite for all n and trivial for n=3. We also compute the rank of K_n^(2)/K_n^(3).


title: Nilpotent orbits of linear and cyclic quivers and Kazhdan-Lusztig polynomials of type A

abstract: The intersection cohomologies of closures of nilpotent orbits of linear (respectively, cyclic) quivers are known to be described by Kazhdan-Lusztig polynomials for the symmetric group (respectively, the affine symmetric group). We explain how to simplify this description using a combinatorial cancellation procedure, and derive some consequences for representation theory.


title: On the Kleiman-Mori cone

abstract: The Kleiman-Mori cone plays important roles in the birational geometry. In this paper, we construct complete varieties whose Kleiman-Mori cones have interesting properties. First, we construct a simple and explicit example of complete non-projective singular varieties for which Kleiman's ampleness criterion does not hold. More precisely, we construct a complete non-projective toric variety $X$ and a line bundle $L$ on $X$ such that $L$ is positive on $\bar {NE}(X)\setminus \{0\}$. Next, we construct complete singular varieties $X$ with $NE(X)=N_1(X)\simeq \mathbb R^k$ for any $k$. These explicit examples seem to be missing in the literature.


title: Toric varieties whose canonical divisors are divisible by their dimensions

abstract: We totally classify the projective toric varieties whose canonical divisors are divisible by their dimensions. In Appendix, we show that Reid's toric Mori theory implies Mabuchi's characterization of the projective space for toric varieties.


title: Geometric representation theory for unitary groups of operator algebras

abstract: Geometric realizations for the restrictions of GNS representations to unitary groups of $C^*$-algebras are constructed. These geometric realizations use an appropriate concept of reproducing kernels on vector bundles. To build such realizations in spaces of holomorphic sections, a class of complex coadjoint orbits of the corresponding real Banach-Lie groups are described and some homogeneous holomorphic Hermitian vector bundles that are naturally associated with the coadjoint orbits are constructed.


title: Average structures associated with a Finsler space

abstract: Given a Finsler space (M,F) on a manifold M, the averaging method associates to Finslerian geometric objects affine geometric objects} living on $M$. In particular, a Riemannian metric is associated to the fundamental tensor $g$ and an affine, torsion free connection is associated to the Chern-Rund connection. As an illustration of the technique, a generalization of the Gauss-Bonnet theorem to Berwald surfaces using the average metric is presented. The parallel transport and curvature endomorphisms of the average connection are obtained. The holonomy group for a Berwald space is discussed. New affine, local isometric invariants of the original Finsler metric. The heredity of the property of symmetric space from the Finsler space to the average Riemannian metric is proved.


title: The special function "shin", II

abstract: This Paper (one first and draft version) contains some small imperfections, one its correct and definitive version has been already submitted to one prestigious review of mathematics. More precisely "the Special Function SHIN, II" will be published in the "Kragujevac Journal of Mathematics, 29 (2006) ".


title: Phase transition for parking blocks, Brownian excursion and coalescence

abstract: In this paper, we consider hashing with linear probing for a hashing table with m places, n items (n < m), and l = m<n empty places. For a non computer science-minded reader, we shall use the metaphore of n cars parking on m places: each car chooses a place at random, and if this place k is occupied, the car tries successively k+1, k+2, ... until it finds an empty place (with the convention that place m+1 is actually place 1). Pittel [42] proves that when l/m goes to some positive limit a < 1, the size of the largest block of consecutive cars is O(log m). In this paper we examine at which level for n a phase transition occurs for the largest block of consecutive cars between o(m) and O(m). The intermediate case reveals an interesting behaviour of sizes of blocks, related to the standard additive coalescent in the same way as the sizes of connected components of the random graph are related to the multiplicative coalescent.


title: On centralizers of parabolic subgroups in Coxeter groups

abstract: Let $W$ be an arbitrary Coxeter group, possibly of infinite rank. We describe a decomposition of the centralizer $Z_W(W_I)$ of an arbitrary parabolic subgroup $W_I$ into the center of $W_I$, a Coxeter group and a subgroup defined by a 2-cell complex. Only information about finite parabolic subgroups is required in an explicit computation. Moreover, by using our description of $Z_W(W_I)$, we reveal a further strong property of the action of the third factor on the second factor, in particular on the finite irreducible components of the second factor.


title: Curvature of (special) almost Hermitian manifolds

abstract: We study the curvature of almost Hermitian manifolds and their special analogues via intrinsic torsion and representation theory. By deriving different forumlae for the skew-symmetric part of the star-Ricci curvature, we find that some of these contributions are dependent on the approach used, and for the almost Hermitian case we obtain tables that differ from those of Falcitelli, Farinola and Salamon. We show how the exterior algebra may used to explain some of these variations.


title: Attached primes of the top local cohomology modules with respect to an ideal (II)

abstract: For a finitely generated module $M$, over a commutative Noetherian local ring $(R, \mathfrak{m})$, it is shown that there exist only a finite number of non--isomorphic top local cohomology modules $\mathrm{H}_{\mathfrak{a}}^{\mathrm{dim} (M)}(M)$, for all ideals $\mathfrak{a}$ of $R$. We present a reduced secondary representation for the top local cohomology modules with respect to an ideal. It is also shown that for a given integer $r\geq 0$, if $\mathrm{H}_{\mathfrak{a}}^{r}(R/\mathfrak {p})$ is zero for all $\mathfrak{p}$ in $\mathrm{Supp}(M)$, then $\mathrm{H}_{\mathfrak{a}}^{i}(M)= 0$ for all $i\geq r$.


title: Division Algebras and Non-Commensurable Isospectral Manifolds

abstract: A. Reid showed that if $\Gamma_1$ and $\Gamma_2$ are arithmetic lattices in $G = \operatorname{PGL}_2(\mathbb R)$ or in $\operatorname{PGL}_2(\mathbb C)$ which give rise to isospectral manifolds, then $\Gamma_1$ and $\Gamma_2$ are commensurable (after conjugation). We show that for $d \geq 3$ and ${\mathcal S} = \operatorname{PGL}_d(\mathbb R) / \operatorname{PGO}_d(\mathbb R)$, or ${\mathcal S} = \operatorname{PGL}_d(\mathbb C) / \operatorname{PU}_d(\mathbb C)$, the situation is quite different: there are arbitrarily large finite families of isospectral non-commensurable compact manifolds covered by $\mathcal S$. The constructions are based on the arithmetic groups obtained from division algebras with the same ramification points but different invariants.


title: Isospectral Cayley graphs of some finite simple groups

abstract: We apply spectral analysis of quotients of the Bruhat-Tits buildings of type $\tilde{A}_{d-1}$ to construct isospectral non-isomorphic Cayley graphs of the finite simple groups $\operatorname{PSL}_d({\mathbb F}_q)$ for every $d \geq 5$ ($d \neq 6$) and prime power $q > 2$.


title: Conditioned Brownian trees

abstract: We consider a Brownian tree consisting of a collection of one-dimensional Brownian paths started from the origin, whose genealogical structure is given by the Continuum Random Tree (CRT). This Brownian tree may be generated from the Brownian snake driven by a normalized Brownian excursion, and thus yields a convenient representation of the so-called Integrated Super-Brownian Excursion (ISE), which can be viewed as the uniform probability measure on the tree of paths. We discuss different approaches that lead to the definition of the Brownian tree conditioned to stay on the positive half-line. We also establish a Verwaat-like theorem showing that this conditioned Brownian tree can be obtained by re-rooting the unconditioned one at the vertex corresponding to the minimal spatial position. In terms of ISE, this theorem yields the following fact: Conditioning ISE to put no mass on $]-\infty,-\epsilon[$ and letting $\epsilon$ go to 0 is equivalent to shifting the unconditioned ISE to the right so that the left-most point of its support becomes the origin. We derive a number of explicit estimates and formulas for our conditioned Brownian trees. In particular, the probability that ISE puts no mass on $]-\infty,-\epsilon[$ is shown to behave like $2\epsilon^4/21$ when $\epsilon$ goes to 0. Finally, for the conditioned Brownian tree with a fixed height $h$, we obtain a decomposition involving a spine whose distribution is absolutely continuous with respect to that of a nine-dimensional Bessel process on the time interval $[0,h]$, and Poisson processes of subtrees originating from this spine.


title: Unique continuation results for Ricci curvature and applications

abstract: Final version in paper linked above.


title: A note on random walk in random scenery

abstract: We consider a d-dimensional random walk in random scenery X(n), where the scenery consists of i.i.d. with exponential moments but a tail decay of the form exp(-c t^a) with a<d/2. We study the probability, when averaged over both randomness, that {X(n)>ny}. We show that this probability is of order exp(-(ny)^b) with b=a/(a+1).


title: On a generic defining function of projective motion in the rigid 6-dimensional h-spaces

abstract: In this note we find a generic defining function of projective motion in the 6-dimensional rigid h-space.


title: New techniques for bounds on the total number of Prime Factors of an Odd Perfect Number

abstract: Let $\sigma(n)$ denote the sum of the positive divisors of $n$. We say that $n$ is perfect if $\sigma(n) = 2 n$. Currently there are no known odd perfect numbers. It is known that if an odd perfect number exists, then it must be of the form $N = p^\alpha \prod_{j=1}^k q_j^{2 \beta_j}$, where $p, q_1, ..., q_k$ are distinct primes and $p \equiv \alpha\equiv 1 \pmod{4}$. Define the total number of prime factors of $N$ as $\Omega(N) := \alpha + 2 \sum_{j=1}^k \beta_j$. Sayers showed that $\Omega(N) \geq 29$. This was later extended by Iannucci and Sorli to show that $\Omega(N) \geq 37$. This was extended by the author to show that $\Omega(N) \geq 47$. Using an idea of Carl Pomerance this paper extends these results. The current new bound is $\Omega(N) \geq 75$.


title: The topology of critical sets of some ordinary differential operators

abstract: We survey recent work of Burghelea, Malta and both authors on the topology of critical sets of nonlinear ordinary differential operators. For a generic nonlinearity $f$, the critical set of the first order nonlinear operator $F_1(u)(t) = u'(t) + f(u(t))$ acting on the Sobolev space $H^1_p$ of periodic functions is either empty or ambient diffeomorphic to a hyperplane. For the second order operator $F_2(u)(t) = -u''(t) + f(u(t))$ on $H^2_D$ (Dirichlet boundary conditions), the critical set is ambient diffeomorphic to a union of isolated parallel hyperplanes. For second order operators on $H^2_p$, the critical set is not a Hilbert manifold but is still contractible and admits a normal form. The third order case is topologically far more complicated.


title: Asymptotic analysis of the Askey-scheme I: from Krawtchouk to Charlier

abstract: We analyze the Charlier polynomials C(n,x)and their zeros asymptotically for large n. We obtain asymptotic approximations, using the limit relation between the Krawtchouk and Charlier polynomials, involving some special functions. We give numerical examples showing the accuracy of our formulas.


title: A special case of Hadwiger's conjecture

abstract: We investigate Hadwiger's conjecture for graphs with no stable set of size 3. Such a graph on at least 2t-1 vertices is not t-1 colorable, so is conjectured to have a $K_t$ minor. There is a strengthening of Hadwiger's conjecture in this case, which states that there is always a minor in which the preimages of the vertices of $K_t$ are connected subgraphs of size one or two. We prove this strengthened version for graphs whose complement has an even number of vertices and fractional chromatic number less than 3. We investigate several possible generalizations and obtain counterexamples for some and improved results from others. We also show that for sufficiently large $n=|V(G)|$, a graph with no stable set of size 3 has a $K_{1/9 n^{4/5}}$ minor using only sets of size one or two as preimages of vertices.


title: On Legendrian Surgeries

abstract: We use the Ozsv\'ath-Szab\'o contact invariants to distinguish between tight contact structures obtained by Legendrian surgeries on stabilized Legendrian links in tight contact 3-manifolds. We also discuss the implication of our result on the tight contact structures on the Brieskon homology spheres $-\Sigma(2,3,6n-1)$.


title: Matching theorems for systems of a finitely generated Coxeter group

abstract: In this paper we prove a series of matching theorems for two sets of Coxeter generators of a finitely generated Coxeter group that identify common features of the two sets of generators. As an application, we describe an algorithm for finding a set of Coxeter generators of maximum rank for a finitely generated Coxeter group.


title: Countable Tightness, Elementary Submodels and Homogeneity

abstract: We show (in ZFC) that the cardinality of a compact homogeneous space of countable tightness is no more than the size of the continuum.


title: Iterated function systems, Ruelle operators, and invariant projective measures

abstract: We introduce an harmonic analysis for iterated function systems (IFS) (X, mu) which is based on a Markov process on certain paths. The probabilities are determined by a weight function W on X. From W we define a transition operator R_W acting on functions on X, and a corresponding class of R_W-harmonic functions. The properties of these functions determine the spectral theory of L^2(mu). For affine IFSs we establish orthogonal bases in L^2(mu). These bases are generated by paths with infinite repetition of finite words. We use this in the last section to analyze tiles in R^d.


title: Generic Integral Manifolds for Weight Two Period Domains

abstract: We define the notion of a generic integral element for the Griffiths distribution on a weight two period domain, draw the analogy with the classical contact distribution, and then show how to explicitly construct an infinite-dimensional family of integral manifolds tangent to a given element.


title: Probabilistic and fractal aspects of Levy trees

abstract: We investigate the random continuous trees called L\'evy trees, which are obtained as scaling limits of discrete Galton-Watson trees. We give a mathematically precise definition of these random trees as random variables taking values in the set of equivalence classes of compact rooted R-trees, which is equipped with the Gromov-Hausdorff distance. To construct L\'evy trees, we make use of the coding by the height process which was studied in detail in previous work. We then investigate various probabilistic properties of L\'evy trees. In particular we establish a branching property analogous to the well-known property for Galton-Watson trees: Conditionally given the tree below level a, the subtrees originating from that level are distributed as the atoms of a Poisson point measure whose intensity involves a local time measure supported on the vertices at distance a from the root. We study regularity properties of local times in the space variable, and prove that the support of local time is the full level set, except for certain exceptional values of a corresponding to local extinctions. We also compute several fractal dimensions of L\'evy trees, including Hausdorff and packing dimensions, in terms of lower and upper indices for the branching mechanism function $\psi$ which characterizes the distribution of the tree. We finally discuss some applications to super-Brownian motion with a general branching mechanism.


title: Unipotent orbits and local L-functions

abstract: The result in theorem 2.1 has been strengthened (see theorem 2.3) and the remarks in the introduction and the text adapted to this new result. Also some misprints in the previous version have been corrected.


title: Path Coupling Using Stopping Times and Counting Independent Sets and Colourings in Hypergraphs

abstract: We give a new method for analysing the mixing time of a Markov chain using path coupling with stopping times. We apply this approach to two hypergraph problems. We show that the Glauber dynamics for independent sets in a hypergraph mixes rapidly as long as the maximum degree Delta of a vertex and the minimum size m of an edge satisfy m>= 2Delta+1. We also show that the Glauber dynamics for proper q-colourings of a hypergraph mixes rapidly if m>= 4 and q > Delta, and if m=3 and q>=1.65Delta. We give related results on the hardness of exact and approximate counting for both problems.


title: Presentations of higher dimensional Thompson groups

abstract: In a previous paper, we defined a higher dimensional analog of Thompson's group V, and proved that it is simple, infinite, finitely generated, and not isomorphic to any of the known Thompson groups. There are other Thompson groups that are infinite, simple and finitely presented. Here we show that the new group is also finitely presented by calculating an explicit finite presentation.


title: On the S-transform over a Banach algebra

abstract: The S-transform is shown to satisfy a specific twisted multiplicativity property for free random variables in a B-valued Banach noncommutative probability space, for an arbitrary unital complex Banach algebra B. Also, a new proof of the additivity of the R-transform in this setting is given.


title: Chiral Equivariant Cohomology I

abstract: We construct a new equivariant cohomology theory for a certain class of differential vertex algebras, which we call the chiral equivariant cohomology. A principal example of a differential vertex algebra in this class is the chiral de Rham complex of Malikov-Schechtman-Vaintrob of a manifold with a group action. The main idea in this paper is to synthesize the algebraic approach to classical equivariant cohomology due to H. Cartan, with the theory of differential vertex algebras, by using an appropriate notion of invariant theory. We also construct the vertex algebra analogues of the Mathai-Quillen isomorphism, the Weil and the Cartan models for equivariant cohomology, and the Chern-Weil map. We give interesting cohomology classes in the new theory that have no classical analogues.


title: Elementary amenable subgroups of R. Thompson's group F

abstract: The subgroup structure of Thompson's group F is not yet fully understood. The group F is a subgroup of the group PL(I) of orientation preserving, piecewise linear self homeomorphisms of the unit interval and this larger group thus also has a poorly understood subgroup structure. It is reasonable to guess that F is the "only" subgroup of PL(I) that is not elementary amenable. In this paper, we explore the complexity of the elementary amenable subgroups of F in an attempt to understand the boundary between the elementary amenable subgroups and the non-elementary amenable. We construct an example of an elementary amenable subgroup up to class (height) omega squared, where omega is the first infinite ordinal.


title: Coherence of Associativity in Categories with Multiplication

abstract: The usual coherence theorem of MacLane for categories with multiplication assumes that a certain pentagonal diagram commutes in order to conclude that associativity isomorphisms are well defined in a certain practical sense. The practical aspects include creating associativity isomorphisms from a given one by tensoring with the identity on either the right or the left. We show, by reinspecting MacLane's original arguments, that if tensoring with the identity is restricted to one side, then the well definedness of constructed isomorphisms follows from naturality only, with no need of the commutativity of the pentagonal diagram. This observation was discovered by noting the resemblance of the usual coherence theorems with certain properties of a finitely presented group known as Thompson's group F. This paper is to be taken as an advertisement for this connection.


title: A unified framework for graph algebras and quantum causal histories

abstract: We present a mathematical framework that unifies the quantum causal history formalism from theoretical high energy physics and the directed graph operator framework from the theory of operator algebras. The approach involves completely positive maps and directed graphs and leads naturally to a new class of operator algebras.


title: Ruelle's probability cascades seen as a fragmentation process

abstract: In this paper, we study Ruelle's probability cascades in the framework of time-inhomogeneous fragmentation processes. We describe Ruelle's cascades mechanism exhibiting a family of measures $(\nu_t,t\in [0,1[)$ that characterizes its infinitesimal evolution. To this end, we will first extend the time-homogeneous fragmentation theory to the inhomogeneous case. In the last section, we will study the behavior for small and large times of Ruelle's fragmentation process.


title: Bounds on primitives of differential forms and cofilling inequalities

abstract: We prove that on a Riemannian manifold, a smooth differential form has a primitive with a given (functional) upper bound provided the necessary weighted isoperimetric inequalities implied by Stokes are satisfied. We apply this to prove a comparison predicted by Gromov between the cofilling function and the filling area.


title: Casson--type invariants in dimension four

abstract: This article surveys our ongoing project about the relationship between invariants extending the classical Rohlin invariant of homology spheres and those coming from 4-dimensional (Yang-Mills) gauge theory. The main conjecture towards which this project is directed is that the Rohlin invariant and the gauge theoretic invariant coincide for a homology $S^1\times S^3$. We discuss the implications of this conjecture for some classical problems in low-dimensional topology, and progress we have made towards proving the conjecture.


title: Wiedersehen metrics and exotic involutions of Euclidean spheres

abstract: We provide explicit, simple, geometric formulas for free involutions rho of Euclidean spheres that are not conjugate to the antipodal involution. Therefore the quotient S^n/rho is a manifold that is homotopically equivalent but not diffeomorphic to RP^n. We use these formulas for constructing explicit non-trivial elements in pi_1 Diff(S^5) and pi_1 Diff(S^13) and to provide explicit formulas for non-cancellation phenomena in group actions.


title: Operator amenability of the Fourier algebra in the cb-multiplier norm

abstract: Let $G$ be a locally compact group, and let $A_\cb(G)$ denote the closure of $A(G)$, the Fourier algebra of $G$, in the space of completely bounded multipliers of $A(G)$. If $G$ is a weakly amenable, discrete group such that $\cstar(G)$ is residually finite-dimensional, we show that $A_\cb(G)$ is operator amenable. In particular, $A_\cb(F_2)$ is operator amenable even though $F_2$, the free group in two generators, is not an amenable group. Moreover, we show that, if $G$ is a discrete group such that $A_\cb(G)$ is operator amenable, a closed ideal of $A(G)$ is weakly completely complemented in $A(G)$ if and only if it has an approximate identity bounded in the cb-multiplier norm.


title: Orbifolds as diffeologies

abstract: We consider orbifolds as diffeological spaces. This gives rise to a natural notion of differentiable maps between orbifolds, making them into a subcategory of diffeology. We prove that the diffeological approach to orbifolds is equivalent to Satake's notion of a V-manifold and to Haefliger's notion of an orbifold. This follows from a lemma: a diffeomorphism (in the diffeological sense) of finite linear quotients lifts to an equivariant diffeomorphism.


title: Derived categories of sheaves: a skimming

abstract: These lecture notes were prepared for the workshop ``Algebraic Geometry: Presentations by Young Researchers'' in Snowbird, Utah, July 2004, and for the autumn school in Lukecin, Poland, September 2004. In six lectures I attempted to present a non-technical introduction to derived categories of sheaves on varieties, including some important results like: -- the description of the derived category of P^n; -- Serre duality; -- the Bondal-Orlov result about derived categories of varieties with ample or antiample canonical class; -- the Mukai-Bondal-Orlov-Bridgeland criterion for equivalence; -- equivalences for K3 surfaces and abelian varieties; -- invariance of Hochschild homology and cohomology under derived equivalence.


title: The divergence of fluctuations for the shape on first passage percolation

abstract: Consider the first passage percolation model on ${\bf Z}^d$ for $d\geq 2$. In this model we assign independently to each edge the value zero with probability $p$ and the value one with probability $1-p$. We denote by $T({\bf 0}, v)$ the passage time from the origin to $v$ for $v\in {\bf R}^d$ and $$B(t)=\{v\in {\bf R}^d: T({\bf 0}, v)\leq t\}{and} G(t)=\{v\in {\bf R}^d: ET({\bf 0}, v)\leq t\}.$$ It is well known that if $p < p_c$, there exists a compact shape $B_d\subset {\bf R}^d$ such that for all $\epsilon >0$ $$t B_d(1-\epsilon) \subset {B(t)} \subset tB_d(1+\epsilon){and} G(t)(1-{\epsilon}) \subset {B(t)} \subset G(t)(1+{\epsilon}) {eventually w.p.1.}$$ We denote the fluctuations of $B(t)$ from $tB_d$ and $G(t)$ by &&F(B(t), tB_d)=\inf \{l:tB_d(1-{l\over t})\subset B(t)\subset tB_d(1+{l\over t})\} && F(B(t), G(t))=\inf\{l:G(t)(1-{l\over t})\subset B(t)\subset G(t)(1+{l\over t})\}. The means of the fluctuations $E[F(B(t), tB_d]$ and $E[F(B(t), G(t))]$ have been conjectured ranging from divergence to non-divergence for large $d\geq 2$ by physicists. In this paper, we show that for all $d\geq 2$ with a high probability, the fluctuations $F(B(t), G(t))$ and $F(B(t), tB_d)$ diverge with a rate of at least $C \log t$ for some constant $C$. The proof of this argument depends on the linearity between the number of pivotal edges of all minimizing paths and the paths themselves. This linearity is also independently interesting.


title: Hodge and signature theorems for a family of manifolds with fibration boundary

abstract: Let $\bar{M}$ be a manifold with boundary $Y$ which is the total space of a fibre bundle, and is defined by the vanishing of a boundary defining function, $x$. We prove $L^2$ Hodge and signature theorems for $M$ endowed with a metric of the form $dx^2 + x^{2c} h + k$, where $k$ is the lift to $Y$ of the metric on the base of the fibre bundle, $h$ is a two form on $Y$ which restricts to a metric on each fibre, and $0 \leq c \leq 1$. These metrics interpolate between the case when $c=0$, in which case the metric near the boundary is a cylinder, and the case where $c=1$, in which case the metric near the boundary is that of a cone bundle over the base of the boundary fibration. We show that the $L^2$ Hodge theorems for the cohomologies given by the maximal and minimal extensions of $d$ with respect to these metrics and the $L^2$ signature theorem for the image of the minimal cohomology in the maximal cohomology interpolate between known results for $L^2$ Hodge and signature theorems for cylindrical and cone bundle type metrics. In particular, the Hodge theorems all relate the related spaces of $L^2$ harmonic forms to intersection cohomology of varying perversities for $X$, the space formed from $\bar{M}$ by collapsing the fibres of $Y$ at the boundary. The signature theorem involves variations on the $\tau$ invariant described by Dai.


title: A class of nonassociative algebras and cogebras

abstract: We present classes of nonassociative algebras whose associator satisfies invariance conditions given by the action of the 3 order symmetric group. Amongst these algebras we find the wellknown Pre Lie or Vinberg algebras and the Lie admissible algebras. We study the corresponding noncoassociative cogebras.


title: The reduced spaces of a symplectic Lie group action

abstract: There exist three main approaches to reduction associated to canonical Lie group actions on a symplectic manifold, namely, foliation reduction, introduced by Cartan, Marsden-Weinstein reduction, and optimal reduction, introduced by the authors. When the action is free, proper, and admits a momentum map these three approaches coincide. The goal of this paper is to study the general case of a symplectic action that does not admit a momentum map and one needs to use its natural generalization, a cylinder valued momentum map introduced by Condevaux, Dazord, and Molino. In this case it will be shown that the three reduced spaces mentioned above do not coincide, in general. More specifically, the Marsden-Weinstein reduced spaces are not symplectic but Poisson and their symplectic leaves are given by the optimal reduced spaces. Foliation reduction produces a symplectic reduced space whose Poisson quotient by a certain Lie group associated to the group of symmetries of the problem equals the Marsden-Weinstein reduced space. We illustrate these constructions with concrete examples, special emphasis being given to the reduction of a magnetic cotangent bundle of a Lie group in the situation when the magnetic term ensures the non-existence of the momentum map for the lifted action. The precise relation of the cylinder valued momentum map with group valued momentum maps for Abelian Lie groups is also given.


title: Generalized descent algebras

abstract: If $A$ is a subset of the set of reflections of a finite Coxeter group $W$, we define a sub-${\mathbb{Z}}$-module ${\mathcal{D}}_A(W)$ of the group algebra ${\mathbb{Z}} W$. We provide examples where this submodule is a subalgebra. This family of subalgebras includes strictly the Solomon descent algebra and, if $W$ if of type $B$, the Mantaci-Reutenauer algebra.