title: $\mathcal{L}$-- and $\mathcal{R}$--cross-sections in the Brauer semigoup

abstract: We classify all cross-sections of Green's relations $\mathcal{L}$ and $\mathcal{R}$ in the Brauer semigroup. The regular behavior of such cross-sections starts from $n=7$. We show that in the regular case there are essentially two different cross-sections and all others are $\mathcal{S}_n$-conjugated to one of these two. We also classify all cross-sections up to isomorphism.


title: An algebraic proof of Deligne's regularity criterion

abstract: Deligne's regularity criterion for an integrable connection $\nabla$ on a smooth complex algebraic variety $X$ says that $\nabla$ is regular along the irreducible divisors at infinity in some fixed normal compactification of $X$ if and only if the restriction of $\nabla$ to every smooth curve on $X$ is regular ({\it i. e.} has only regular singularities at infinity). The ``only if" part is the difficult implication. Deligne's proof is transcendental, and uses Hironaka's resolution of singularities. We give here an elementary and purely algebraic proof of this implication: it is, as far as we know, the first algebraic proof of Deligne's regularity criterion.


title: Integral representation of some functions related to the Gamma function

abstract: We prove that the functions Phi(x)=[Gamma(x+1)]^{1/x}(1+1/x)^x/x and log Phi(x) are Stieltjes transforms.


title: The Effect of Finite Memory Cutoff on Loop Erased Walk in Z^3

abstract: Let \zeta be the intersection exponent of random walks in Z^3 and \alpha be a positive real number. We construct a stochastic process from a simple random walk by erasing loops of length at most N^\alpha. We will prove that for \alpha < \frac{1}{1+2\zeta}, the limiting distribution is Gaussian. For \alpha > 2 the limiting distribution will be shown to be equal to the limiting distribution of the loop erased walk.


title: Exact variations for stochastic heat equations driven by space--time white noise

abstract: This paper calculates the exact quadratic variation in space and quartic variation in time for the solutions to a one dimensional stochastic heat equation driven by a multiplicative space-time white noise.


title: Semigroup actions on tori and stationary measures on projective spaces

abstract: Let $\Gamma$ be a sub-semigroup of $G=GL(d,\mathbb R),$ $d>1.$ We assume that the action of $\Gamma$ on $\R^d$ is strongly irreducible and that $\Gamma$ contains a proximal and expanding element. We describe contraction properties of the dynamics of $\Gamma$ on $\R^d$ at infinity. This amounts to the consideration of the action of $\Gamma$ on some compact homogeneous spaces of $G,$ which are extensions of the projective space $\pr^{d-1}.$ In the case where $\Gamma$ is a sub-semigroup of $GL(d,\R)\cap M(d,\Z)$ and $\Gamma$ has the above properties, we deduce that the $\Gamma$-orbits on $\T^d=\R^d\slash\Z^d$ are finite or dense.


title: Conjugacy in Permutation Representations of the Symmetric Group

abstract: Although the conjugacy classes of the general linear group are known, it is not obvious (from the canonic form of matrices) that two permutation matrices are similar if and only if they are conjugate as permutations in the symmetric group, i.e. that conjugacy classes of S_n do not unite under the natural representation. We prove this fact, and give its application to the enumeration of fixed points under a natural action of S_n x S_n. We also consider the permutation representations of S_n which arise from the action of S_n on k-tuples, and classify which of them unite conjugacy classes and which do not.


title: The Alternative Daugavet Property of $C^*$-algebras and $JB^*$-triples

abstract: A Banach space $X$ is said to have the alternative Daugavet property if for every (bounded and linear) rank-one operator $T:X\longrightarrow X$ there exists a modulus one scalar $\omega$ such that $\|Id + \omega T\|= 1 + \|T\|$. We give geometric characterizations of this property in the setting of $C^*$-algebras, $JB^*$-triples and their isometric preduals.


title: Permutation representations on invertible matrices

abstract: We discuss permutation representations which are obtained by the natural action of $S_n \times S_n$ on some special sets of invertible matrices, defined by simple combinatorial attributes. We decompose these representations into irreducibles. The multiplicities involved have a nice combinatorial interpretation. We also generalize known results on asymptotic behavior of the conjugacy representation of $S_n$.


title: The number of matroids on a finite set

abstract: In this paper we highlight some enumerative results concerning matroids of low rank and prove the tail-ends of various sequences involving the number of matroids on a finite set to be log-convex. We give a recursion for a new, slightly improved, lower bound on the number of rank-$r$ matroids on $n$ elements when $n=2^m-1$. We also prove an adjacent result showing the point-lines-planes conjecture to be true if and only if it is true for a special subcollection of matroids. Two new tables are also presented, giving the number of paving matroids on at most eight elements.


title: On quantum ergodicity for vector bundles

abstract: In the present paper we develop a framework in which questions of quantum ergodicity for operators acting on sections of hermitian vector bundles over Riemannian manifolds can be studied. We are particularly interested in the case of locally symmetric spaces. For locally symmetric spaces, we extend the recent construction of Silberman and Venkatesh (math.RT/0407413) of representation theoretic lifts to vector bundles.


title: Generalized Bergman kernels on symplectic manifolds

abstract: We study the near diagonal asymptotic expansion of the generalized Bergman kernel of the renormalized Bochner-Laplacian on high tensor powers of a positive line bundle over a compact symplectic manifold. We show how to compute the coefficients of the expansion by recurrence and give a closed formula for the first two of them. As consequence, we calculate the density of states function of the Bochner-Laplacian and establish a symplectic version of the convergence of the induced Fubini-Study metric. We also discuss generalizations of the asymptotic expansion for non-compact or singular manifolds as well as their applications. Our approach is inspired by the analytic localization techniques of Bismut-Lebeau.


title: The time constant and critical probabilities in percolation models

abstract: We consider a first-passage percolation model on a Delaunay triangulation of the plane. In this model each edge is independently equipped with a nonnegative random variable, with distribution function F, which is interpreted as the time it takes to traverse the edge. Vahidi-Asl and Wierman have shown that, under a suitable moment condition on F, the minimum time taken to reach a point x from the origin 0 is asymptotically \mu(F)|x|, where \mu(F) is a nonnegative finite constant. However the exact value of the time constant \mu(F) still a fundamental problem in percolation theory. Here we prove that if F(0)<1-p_c^* then \mu(F)>0, where p_c^* is a critical probability for bond percolation on the dual graph (Voronoi tessellation).


title: Combinatorial n-fold monoidal categories and n-fold operads

abstract: Operads were originally defined as V-operads, that is, enriched in a symmetric or braided monoidal category V. The symmetry or braiding in V is required in order to describe the associativity axiom the operads must obey, as well as the associativity that must be a property of the action of an operad on any of its algebras. After a review of the role of operads in loop space theory and higher categories we go over definitions of iterated monoidal categories and introduce a large family of simple examples. Then we generalize the definition of operad by defining n-fold operads and their algebras in an iterated monoidal category. We discuss examples of these that live in the previously described categories. Finally we describe the iterated monoidal category of m-fold V-operads.


title: Extending the idea of compressed algebra to arbitrary socle-vectors

abstract: Fix a codimension $r$ and a socle-vector $s$. Is there an (entry by entry) maximal $h$-vector $h$ among the $h$-vectors of all the (standard graded artinian) algebras having data $(r,s)$? Extending a definition of Iarrobino, if such an $h$ exists, we define as {\it generalized compressed} (GCA, in brief) any algebra having the data $(r,s,h)$. The two main results of this paper are: Theorem A, where we supply a very natural upper-bound $H$ for all the $h$-vectors possible for a given pair $(r,s)$; Theorem B, which asserts that, under certain conditions on the pair $(r,s)$, the upper-bound $H$ of Theorem A is actually achieved by a GCA. In particular, it follows that, when $r=2$, there always exists a GCA (having $h$-vector $H$). Moreover, we show that, in general, the hypotheses of Theorem B cannot be improved, i.e., under weaker conditions on the pair $(r,s)$, the upper-bound $H$ above is not always achieved.


title: Extending the idea of compressed algebra to arbitrary socle-vectors, II: cases of non-existence

abstract: This paper is the continuation of the previous work on generalized compressed algebras (GCA's). First we exhibit a new class of socle-vectors $s$ which admit a GCA (whose $h$-vector is lower than the upper-bound $H$ of Theorem A of the previous paper). In particular, it follows that for every socle-vector $s$ of type 2 there exists a GCA (in any codimension $r$). The main result of this paper is the following: there exist pairs $(r,s)$ which do not admit a GCA. Moreover, the way this pathology occurs may be "arbitrarily bad" (even in codimension 3). Finally, we start considering the difficult problem of characterizing the pairs $(r,s)$ which admit a GCA, focusing on a particular class of socle-vectors of codimension 3.


title: Horospherical model for holomorphic discrete series and horospherical Cauchy transform

abstract: We define a complex horospherical transform for affine symmetric spaces of Hermitian type and show that it has no kernel on the holomorphic discrete series.


title: Noncommutative continuous Bernoulli shifts

abstract: We introduce a non-commutative extension of Tsirelson-Vershik's noises, called (non-commutative) continuous Bernoulli shifts. These shifts encode stochastic independence in terms of commuting squares, as they are familiar in subfactor theory. Such shifts are, in particular, capable of producing Arveson's product system of type I and type II. We investigate the structure of these shifts and prove that the von Neumann algebra of a (scalar-expected) continuous Bernoulli shift is either finite or of type III. The role of (`classical') stationary flows for Tsirelson-Vershik's noises is now played by cocycles of continuous Bernoulli shifts. We show that these cocycles provide an operator algebraic notion for Levy processes. They lead, in particular, to units and `logarithms' of units in Arveson's product systems. Furthermore, we introduce (non-commutative) white noises, which are operator algebraic versions of Tsirelson's `classical' noises. We give examples coming from probability, quantum probability and from Voiculescu's theory of free probability. Our main result is a bijective correspondence between additive and unital shift cocycles. For the proof of the correspondence we develop tools which are of interest on their own: non-commutative extensions of stochastic Ito integration, stochastic logarithms and exponentials.


title: A Note on Self-extremal Sets in $L_p(\Om)$ Spaces

abstract: We give a geometric characterization of self-extremal sets in $L_p(\Om)$ spaces that partially extends our previous results to the case of $L_p$\ spaces.


title: Witt Vectors and Equivariant Ring Spectra

abstract: This paper establishes a connection between equivariant ring spectra and Witt vectors in the sense of Dress and Siebeneicher. Given a commutative ringspectrum T in the highly structured sense, that is, an E-infinity-ringspectrum, with action of a finite group G we construct a ringhomomorphism from the ring of G-typical Witt vectors of the zeroth homotopy group of T to the zeroth homotopy group of the G-fixed point spectrum of T. In the particular case, where T is the periodic unitary cobordism spectrum introduced by Strickland, we show that this ringhomomorphism is injective, and we interpret this in terms of equivariant cobordism.


title: Diagonal Temperley-Lieb Invariants and Harmonics

abstract: In the context of the ring Q[x,y], of polynomials in 2n variables x=x1,...,x_n and y=y1,...,yn, we introduce the notion of diagonally quasi-symmetric polynomials. These, also called "diagonal Temperley-Lieb invariants", make possible the further introduction of the space of "diagonal Temperley-Lieb harmonics" and "diagonal Temperley-Lieb coinvariant space". We present new results and conjectures concerning these spaces, as well as the space obtained as the quotient of the ring of diagonal Temperley-Lieb invariants by the ideal generated by constant term free diagonally symmetric invariants. We also describe how the space of diagonal Temperley-Lieb invariants affords a natural graded Hopf algebra structure, for n going to infinity. We finally show how this last space and its graded dual Hopf algebra are related to the well known Hopf algebras of symmetric functions, quasi-symmetric functions and noncommutative symmetric functions.


title: L^p estimates for Riesz transforms on forms in the Poincare space H^n

abstract: Using hyperbolic form convolution with doubly isometry-invariant kernels, the explicit expression of the inverse of the de Rham laplacian acting on m-forms in the Poincar\'{e} space is found. Also, by means of some estimates for hyperbolic singular integrals, we obtain L^p-estimates for the Riesz transforms passing from the Laplacian to other covariant derivatives, in a range of p depending on m,n. Finally, using these, it is shown that the Laplacian defines topological isomorphisms in the scale of form Sobolev spaces, for m different from n/2,(n+1)/2,(n-1)/2.


title: Enriched homology and cohomology modules of simplicial complexes

abstract: For a simplicial complex X on {1,2, ..., n} we define enriched homology and cohomology modules. They are graded modules over k[x_1, ..., x_n] whose ranks are equal to the dimensions of the reduced homology and cohomology groups. We characterize Cohen-Macaulay, l-Cohen-Macaulay, Buchsbaum, and Gorenstein* complexes X, and also orientable manifolds in terms of the enriched modules. We introduce the notion of girth for simplicial complexes and make a conjecture relating the girth to invariants of the simplicial complex. We also put strong vanishing conditions on the enriched homology modules and describe the simplicial complexes we then get. They are block designs and include Steiner systems S(c,d,n) and cyclic polytopes of even dimension.


title: A spectral sequence for string cohomology

abstract: Let X be a 1-connected space with free loop space LX. We introduce two spectral sequences converging towards H^*(LX;Z/p) and H^*((LX)_hT;Z/p). The E2-terms are certain non Abelian derived functors applied to H^*(X;Z/p). When H^*(X;Z/p) is a polynomial algebra, the spectral sequences collapse for more or less trivial reasons. If X is a sphere it is a surprising fact that the spectral sequences collapse for p=2.


title: The vanishing neighbourhood of non-isolated singularities

abstract: We study the vanishing neighbourhood of non-isolated singularities of functions on singular spaces by associating a general linear function. We use the carrousel monodromy in order to show how to get a better control over the attaching of thimbles. For one dimensional singularities, we prove obstructions to integer (co)homology groups and to the eigenspaces of the monodromy via monodromies of nearby sections. Our standpoint allows to find, in certain cases, the structure of the Milnor fibre up to the homotopy type.


title: On Poincare bundles of vector bundles on curves

abstract: Let $M$ denote the moduli space of stable vector bundles of rank $n$ and fixed determinant of degree coprime to $n$ on a non-singular projective curve $X$ of genus $g \geq 2$. Denote by $\cU$ a universal bundle on $X \times M$. We show that, for $x,y \in X, x \neq y$, the restrictions $\cU|\{x\} \times M$ and $\cU|\{y\} \times M$ are stable and non-isomorphic when considered as bundles on $X$.


title: Computational Methods for the Construction of a Class of Noetherian Operators

abstract: This paper presents some algorithmic techniques to compute explicitly the noetherian operators associated to a class of ideals and modules over a polynomial ring. The procedures we include in this work can be easily encoded in computer algebra packages such as CoCoA and Singular.


title: Sur les automorphismes et la rigidite des groupes de Coxeter a angles droits

abstract: By underlying the commutation relation in a right-angled Coxeter group W, we recover the fact that right-angled Coxeter groups are rigid and we describe the second subgroup of Aut(W) that appears in the decomposition of Aut(W) into a semi-direct product established by J. Tits in "Sur le groupe des automorphismes de certains groupes de Coxeter" (Journal of Algebra 113, (1988), 346-357). ----- En mettant l'accent sur la relation de commutation dans un groupe de Coxeter a angles droits W, on redemontre le fait que les groupes de Coxeter a angles droits sont rigides et on decrit le second sous-groupe de Aut(W) apparaissant dans la decomposition en produit semi-direct de Aut(W) etablie par J. Tits dans "Sur le groupe des automorphismes de certains groupes de Coxeter"(Journal of Algebra 113, (1988), 346-357).


title: On the structure of quantum permutation groups

abstract: The quantum permutation group of the set $X_n=\{1,..., n\}$ corresponds to the Hopf algebra $A_{aut}(X_n)$. This is an algebra constructed with generators and relations, known to be isomorphic to $\cc (S_n)$ for $n\leq 3$, and to be infinite dimensional for $n\geq 4$. In this paper we find an explicit representation of the algebra $A_{aut}(X_n)$, related to Clifford algebras. For $n=4$ the representation is faithful in the discrete quantum group sense.


title: Homologie de contact des varietes toroidales

abstract: We show that contact homology distinguishes infinitely many tight contact structures on any orientable, toroidal, irreducible 3-manifold. As a consequence of the contact homology computations, on a very large class of toroidal manifolds, all known examples of universally tight contact structures with nonvanishing torsion satisfy the Weinstein conjecture. ----- On montre que l'homologie de contact distingue une infinite de structures de contact tendues sur toute variete toroidale irreductible et orientable de dimension trois. En consequence des calculs d'homologie de contact, sur une tres large classe de varietes toroidales, tous les exemples de structures de contact universellement tendues de torsion non nulle connus verifient la conjecture de Weinstein.


title: Volume entropy, systole and stable norm on graphs

abstract: We study some new isoperimetric inequalities on graphs. We etablish a relation between the volume entropy (or asymptotic volume), the systole and the first Betti number of weighted graphs. We also find bounds for the volume, associated to some special measure, of the unit ball for the stable norm of graphs.


title: Geometry of non-commutative orbits related to Hecke symmetries

abstract: To some braiding R of Hecke type (a Hecke symmetry) we put into correspondence an associative algebra called the modified Reflection Equation Algebra (mREA). We construct a series of matrices L_(m), m=1,2,... with entries belonging to mREA such that each of them satisfies a version of the Cayley-Hamilton identity with central coefficients. We also consider some quotients of the mREA which are called the non-commutative orbits. For each of these orbits we construct a large family of projective modules. In this family we introduce an algebraic structure which is close to that of $K^0(\Fl(\C^n))$. The algebraic structure respects an equivalence relation motivated by a "quantum" trace compatible with the initial Hecke symmetry R. For a subclass of non-commutative orbits we compute the spectrum of central elements of the mREA Tr_R(L_(m)^k), k\in {\Bbb N}.


title: The Operad Quad is Koszul

abstract: The purpose of this paper is to prove the koszulity of the operad ${\mathcal Quad}$, governing quadri-algebras. That ${\mathcal Quad}$ is Koszul was conjectured by Aguiar and Loday. The operad ${\mathcal Dend}$, governing dendriform algebras, is known to be Koszul, by work of Loday, and ${\mathcal Quad}$ is its second black square power. We find a new complex, based on the associahedron, which captures the structure of ${\mathcal Dend}$. This complex behaves well with respect to the black squaring process, and allows us to conclude. Also, this proves koszulity of higher powers of ${\mathcal Dend}$.


title: The Deformation Quantization of $\Real^n$ via the specifiaction of the commutators

abstract: In a deformation quantization of $\Real^n$, the Jacobi identity is automatically satisfied. This article poses the contrary question: Given a set of commutators which satisfies the Jacobi identity, is the resulting associative algebra a deformation quantization of $\Real^n$? It is shown that the result is true. However care must taken when stating precisely how and in which algebra the Jacobi identity is satisfied.


title: Branched Crystals and Category O

abstract: In this paper we describe a theory of (branched) crystals which is adapted to the study of representations in the BGG category $\cal O$ and which generalizes the theory of normal crystals of Kashiwara. In the case of $sl_2$ we show that one can associate (uniquely up to isomorphism) to every module in $\cal O$ a branched crystal . We show that the indecomposable modules in \cal O$ correspond to "indecomposable" branched crystals. We also define the tensor product of these crystals and show that for $sl_2$ the indecomposable components of the tensor product of branched crystals are the same as the crystals associated to the indecomposable summands of the tensor product of the corresponding modules.


title: A multi-type shape theorem for FPP models

abstract: An Euclidean first-passage percolation (FPP) model describing the competing growth between $k$ different types of infection is considered. We focus on the long time behavior of this multi-type growth process and we derive multi-type shape results related to its morphology.


title: Moduli spaces of d-connections and difference Painleve equations

abstract: We show that difference Painleve equations can be interpreted as isomorphisms of moduli spaces of d-connections on the projective line with given singularity structure. We also derive a new difference equation. It is the most general difference Painleve equation known so far, and it degenerates to both difference Painleve V and classical (differential) Painleve VI equations.


title: Asymptotic dimension of relatively hyperbolic groups

abstract: Suppose that a finitely generated group $G$ is hyperbolic relative to a collection of subgroups $\{H_1, ..., H_m\} $. We prove that if each of the subgroups $H_1, ..., H_m$ has finite asymptotic dimension, then asymptotic dimension of $G$ is also finite.


title: A Class of Ring-like Objects

abstract: We introduce the notions of one-sided dirings, 3-irreducible left modules, 3-primitive left dirings, 3-semi-primitive left dirings, 3-primitive ideals and 3-radicals. The main results consists of two parts. The first part establishes two external characterizations of a 3-semi-primitive left diring. The second part characterizes the 3-radical of a left diring by using 3-primitive ideals.


title: An observation on the sums of divisors

abstract: Translation from the Latin of Euler's "Observatio de summis divisorum" (1752). E243 in the Enestroem index. The pentagonal number theorem is that $\prod_{n=1}^\infty (1-x^n)=\sum_{n=-\infty}^\infty (-1)^n x^{n(3n-1)/2}$. This paper assumes the pentagonal number theorem and uses it to prove a recurrence relation for the sum of divisors function. The term "pentagonal numbers" comes from polygonal numbers. Euler takes the logarithmic derivative of both sides. Then after multiplying both sides by $-x$, the left side is equal to $\sum_{n=1}^\infty \sigma(n) x^n$, where $\sigma(n)$ is the sum of the divisors of $n$, e.g. $\sigma(6)=12$. This then leads to the recurrence relation for $\sigma(n)$. I have been studying in detail all of Euler's work on the pentagonal number theorem, and more generally infinite products. I would be particularly interested to see if anyone else worked with products and series like these between Euler and Jacobi, and I would enjoy hearing from anyone who knows something about this.


title: Multiplicative rule in the Grothendieck cohomology of a flag variety

abstract: In the Grothendieck cohomology of a flag variety G/H there are two canonical additive bases, namely, the Demazure basis and the Grothendieck basis We present explicit formulae that reduce the multiplication of these basis elements to the Cartan numbers of G.


title: The non-parametric problem of Plateau in arbitrary codimension

abstract: We study the problem of finding a minimal graph with prescribed boundary data in arbitrary dimension and codimension. Existence, uniqueness, stability and regularity are treated. We first present the well-known results for codimension one: Jenkins-Serrin's existence theorem, convexity properties of the area which give uniqueness and stability and De Giorgi's theorem for regularity. In higher codimension we first discuss the counterexamples of Lawson and Osserman. Then we present the recent results of Mu-Tao Wang: we use the mean curvature flow to show existence for small boundary data and we prove a new Bernstein theorem (also due to Mu-Tao Wang) which holds for every area-decreasing minimal graph. We finally deduce from the Bernstein theorem that an area-decreasing minimal graph is always smooth.


title: Dynimics and entropy in the Zhang model of Self-Organized Criticality

abstract: We give a detailed study of dynamical properties of the Zhang model, including evaluation of topological entropy and estimates for the Lyapunov exponents and the dimension of the attractor. In the thermodynamic limit the entropy goes to zero and the Lyapunov spectrum collapses.


title: Characterizations of noncommutative $H^\infty$

abstract: We transfer a large part of the circle of theorems characterizing the generalization of classical $H^\infty$ known as `weak* Dirichlet algebras', to Arveson's noncommutative setting of subalgebras of finite von Neumann algebras.


title: Global minimality of generic manifolds and holomorphic extendibility of CR functions

abstract: Let M be a smooth generic submanifold of C^n. Tumanov showed that the direction of CR extendability parallel propagates with respect to a certain differential geometric partial connection in a quotient bundle of the normal bundle to M. M is said to be globally minimal at a point z in M if the CR orbit of z contains a neighborhood of z in M. It is shown that the vector space generated by the directions of CR-extendability of CR functions on M is preserved by the induced composed flow between two points in the same CR orbit. As an application, the main result of this paper, conjectured by J.-M. Trepreau in 1990, is established: for wedge extendability of CR functions to hold at every point in the CR-orbit of z M, it is sufficient that M be globally minimal at z.


title: Surfaces branch\'ees et sol\'eno\"{\i}des $\epsilon$-holomorphes

abstract: We show that for every $\epsilon>0$, there exists a compact lamination by $\epsilon$-holomorphic surfaces in the complex projective plane, minimal, and that carries hyperbolic holonomy. We call $\epsilon$-holomorphic a real 2-dimensional surface $\Sigma$ in ${\bf C}P^2$ such that the angle between $T\Sigma$ and $iT\Sigma$ is uniformly bounded by $\epsilon$. When $\epsilon$ is sufficiently small, such surfaces are in particular symplectic.


title: A splitting result for the free loop space of spheres and projective spaces

abstract: Let X be a 1-connected compact space such that the algebra H*(X;Z/2) is generated by one single element. We compute the cohomology of the free loop space H*(LX;Z/2) including the Steenrod algebra action. When X is a projective space CP^n, HP^n, the Cayley projective plane CaP^2 or a sphere S^m we obtain a splitting result for integral and mod two cohomology of the suspension spectrum of LX_+. The splitting is in terms of the suspension spectrum of X_+ and the Thom spaces of the q-fold Whitney sums of the tangent bundle over X for non negative integers q.


title: An alternative approach to homotopy operations

abstract: We give a particular choice of the higher Eilenberg-MacLane maps by a recursive formula.This choice leads to a simple description of the homotopy operations for simplicial Z/2-algebras.


title: Stability of the nonlinear filter for slowly switching Markov chains

abstract: Exponential stability of the nonlinear filtering equation is revisited, when the signal is a finite state Markov chain. An asymptotic upper bound for the filtering error due to incorrect initial condition is derived in the case of slowly switching signal.


title: The quantization complexity of diffusion processes

abstract: We investigate the high resolution coding problem for solutions of stochastic differential equations in the L^p[0,1]- and the C[0,1]-space. Tight asymptotic estimates are found under weak regularity assumptions. The main technical tool is a decoupling method which allows us to relate the complexity of the diffusion process to that of the Wiener process under certain random distortions.


title: Dissipative Boundary Conditions for Ordinary Differential Operators

abstract: In this paper two theorems which describe dissipative boundary conditions for ordinary differential operators on a closed interval are proved. We also show that all these boundary conditions are Birkhoff regular in even case. In odd case this is not true and we bring an example which demonstrates it.


title: Structure of the Short Range Amplitude for General Scattering Relations

abstract: We consider scattering by short range perturbations of the semi-classical Laplacian. We prove that when a polynomial bound on the resolvent holds, the scattering amplitude is a semi-classical Fourier integral operator associated to the scattering relation. Compared to previous work, we allow the scattering relation to have more general structure.


title: A K3 surface associated to certain integral matrices with integral eigenvalues

abstract: In this article we will show that there are infinitely many symmetric, integral 3 x 3 matrices, with zeros on the diagonal, whose eigenvalues are all integral. We will do this by proving that the rational points on a certain non-Kummer, singular K3 surface are dense. We will also compute the entire Neron-Severi group of this surface and find all low degree curves on it.


title: The symplectic topology of Ramanujam's surface

abstract: Ramanujam's surface M is a contractible affine algebraic surface which is not homeomorphic to the affine plane. For any m>1 the product M^m is diffeomorphic to Euclidean space R^{4m}. We show that, for every m>0, M^m cannot be symplectically embedded into a subcritical Stein manifold. This gives the first examples of exotic symplectic structures on Euclidean space which are convex at infinity. It follows that any exhausting plurisubharmonic Morse function on M^m has at least three critical points, answering a question of Eliashberg. The heart of the argument involves showing a particular Lagrangian torus L inside M cannot be displaced from itself by any Hamiltonian isotopy, via a careful study of pseudoholomorphic discs with boundary on L.


title: An almost sure invariance principle for random walks in a space-time random environment

abstract: We consider a discrete time random walk in a space-time i.i.d. random environment. We use a martingale approach to show that the walk is diffusive in almost every fixed environment. We improve on existing results by proving an invariance principle and considering environments with an annealed $L^2$ drift. We also state an a.s. invariance principle for random walks in general random environments whose hypothesis requires a subdiffusive bound on the variance of the quenched mean, under an ergodic invariant measure for the environment chain.


title: An Almost Sure Invariance Principle for Additive Functionals of Markov Chains

abstract: We prove an invariance principle (functional central limit theorem) for a vector-valued additive functional of a Markov chain for almost every starting point with respect to an ergodic equilibrium distribution. The hypothesis is a moment bound on the resolvent.


title: Mean Value Conjectures for Rational Maps

abstract: Let p be a polynomial in one complex variable. Smale's mean value conjecture estimates |p'(z)| in terms of the gradient of a chord from (z, p(z)) to some stationary point on the graph of $p$. The conjecture does not immediately generalise to rational maps since its formulation is invariant under the group of affine maps, not the full Mobius group. Here we give two possible generalisations to rational maps, both of which are Mobius invariant. In both cases we prove a version with a weaker constant, in parallel to the situation for Smale's mean value conjecture. Finally, we discuss some candidate extremal rational maps, namely rational maps all of whose critical points are fixed points.


title: Metrics on diagram groups and uniform embeddings in a Hilbert space

abstract: We give first examples of finitely generated groups having an intermediate, with values in (0,1), Hilbert space compression (which is a numerical parameter measuring the distortion required to embed a metric space into Hilbert space). These groups include certain diagram groups. In particular, we show that the Hilbert space compression of Richard Thompson's group $F$ is equal to 1/2, the Hilbert space compression of the restricted wreath product $Z\wr Z$ is between 1/2 and 3/4, and the Hilbert space compression of $Z\wr (Z\wr Z)$ is between 0 and 1/2. In general, we find a relationship between the growth of $H$ and the Hilbert space compression of $Z\wr H$.


title: An elliptic K3 surface associated to Heron triangles

abstract: A rational triangle is a triangle with rational sides and rational area. A Heron triangle is a triangle with integral sides and integral area. In this article we will show that there exist infinitely many rational parametrizations, in terms of s, of rational triangles with perimeter 2s(s+1) and area s(s^2-1). As a corollary, there exist arbitrarily many Heron triangles with all the same area and the same perimeter. The proof uses an elliptic K3 surface Y. Its Picard number is computed to be 18 after we prove that the Neron-Severi group of Y injects naturally into the Neron-Severi group of the reduction of Y at a prime of good reduction. We also give some constructions of elliptic surfaces and prove that under mild conditions a cubic surface in projective three-space can be given the structure of an elliptic surface by cutting it with the family of hyperplanes through a given line L. Some of these constructions were already known but appear to have lacked proof in the literature until now.


title: Multi-parameter paraproducts

abstract: We prove that the classical Coifman-Meyer theorem holds on any polydisc $\T^d$ of arbitrary dimension $d\geq 1$.


title: Two Simple Ways of Generating the Partitions of (n+1) from the Partitions of n

abstract: I propose two simple ways of generating the partitions of (n+1) from the partitions of n. A recurrence relation for P(n+1), the number of partitions of (n+1), in terms of P(n) and Q(n), where Q(n) denotes the number of partitions of n having strictly different last two parts is obtained. Also a generating function for Q(n) is given. The other method for generating the partitions of (n+1) from the partitions of n is discussed at the end.


title: The Dirac operator on SU_q(2)

abstract: We construct a 3^+ summable spectral triple (A(SU_q(2)),H,D) over the quantum group SU_q(2) which is equivariant with respect to a left and a right action of U_q(su(2)). The geometry is isospectral to the classical case since the spectrum of the operator D is the same as that of the usual Dirac operator on the 3-dimensional round sphere. The presence of an equivariant real structure J demands a modification in the axiomatic framework of spectral geometry, whereby the commutant and first-order properties need be satisfied only modulo infinitesimals of arbitrary high order.


title: Chain polynomials of distributive lattices are 75 % unimodal

abstract: It is shown that the numbers $c_i$ of chains of length $i$ in the proper part $L\setminus\{0,1\}$ of a distributive lattice $L$ of length $\ell +2$ satisfy the inequalities $$c_0<...<c_{\lfloor{\ell /2}\rfloor} \quad{and}\quad c_{\lfloor{3 \ell /4}\rfloor}>...>c_{\ell}.$$ This proves 75 % of the inequalities implied by the Neggers unimodality conjecture.


title: On removable singularities for CR functions in higher codimension

abstract: We establish the holomorphic wedge extendability of CR functions, defined on an everywhere locally minimal generic submanifold M of C^n and having singularities contained in a submanifold N of codimension 1, 2 or 3, assuming some transversality conditions about the relative disposition of N with respect to the complex tangent bundle to M. The statements hold in arbitrary codimension and are obtained by applying the theory of normal deformations of analytic discs, due to A.E. Tumanov in 1994 and also the FBI propagation of singularities phenomenon enjoyed by CR functions, due to J.-M. Trepreau in 1990. Related results in the hypersurface case were obtained simultaneously by B. Joricke in 1992-96 and by E. Porten in his thesis (1996).


title: Stabilizers and orbits of smooth functions

abstract: Let $f:R^m \to R$ be a smooth function such that $f(0)=0$. We give a condition on $f$ when for arbitrary preserving orientation diffeomorphism $\phi:\mathbb{R} \to \mathbb{R}$ such that $\phi(0)=0$ the function $\phi\circ f$ is right equivalent to $f$, i.e. there exists a diffeomorphism $h:\mathbb{R}^m \to \mathbb{R}^m$ such that $\phi \circ f = f \circ h$ at $0\in \mathbb{R}^m$. The requirement is that $f$ belongs to its Jacobi ideal. This property is rather general: it is invariant with respect to the stable equivalence of singularities, and holds for non-degenerated critical points, simple singularities and many others. We also globalize this result as follows. Let $M$ be a smooth compact manifold, $f:M \to [0,1]$ a surjective smooth function, $\mathrm{Diff}(M)$ the group of diffeomorphisms of $M$, and $\mathrm{Diff}^{[0,1]}(\mathbb{R})$ the group of diffeomorphisms of $\mathbb{R}$ that have compact support and leave $[0,1]$ invariant. There are two natural right and left-right actions of $\mathrm{Diff}(M)$ and $\mathrm{Diff}(M) \times \mathrm{Diff}^{[0,1]}(\mathbb{R})$ on $C^{\infty}(M,R)$. Let $S_M(f)$, $S_{MR}(f)$, $O_{M}(f)$, and $O_{MR}(f)$ be the corresponding stabilizers and orbits of $f$ with respect to these actions. Under mild assumptions on $f$ we get the following homotopy equivalences $S_M(f) \approx S_{MR}(f)$ and $O_M \approx O_{MR}$. Similar results are obtained for smooth mappings $M \to S^1$.


title: Some examples of spaces of stability conditions on derived categories

abstract: We study stability conditions on the derived categories of coherent sheaves on some projective varieties. We give a complete description of the stability manifold for smooth projective curves and we examine a connected open subset of the stability manifold for projective spaces and del Pezzo surfaces.


title: Exact Constants in the Rosenthal Moment Inequalities for Sums of independent centered Random Variables

abstract: We study the exact constants in the moment inequalities for sums of centered independent random variables: improve their asymptotics, low and upper bounds, calculate more exact asymptotics, elaborate the numerical algorithm for their calculation, study the class of smoothing etc.


title: Correct Solvability of Nonlinear Ordinary Differential Equations in Orlicz Spaces

abstract: We prove in this article the well posedness of non - linear Ordinary Differential Equations (ODE) of first and second order in Orlicz spaces with unbounded domain of definition.


title: Exponential Bounds for Random Sums

abstract: We construct a non - improved exponential bounds for distribution of normed sums of i.,i.d. random variables with random numbers of summand.


title: A Remark on the Inequalities of Bernstein - Markov Type in Exponential Orlicz and Lorentz Spaces

abstract: We prove in this article the generalizations on the exponential Orlicz spaces Markov's - Bernstein's inequalities for algebraic polynomials and rational functions.


title: An Invertible Discrete Auditory Transform

abstract: A discrete auditory transform (DAT) from sound signal to spectrum is presented and shown to be invertible in closed form. The transform preserves energy, and its spectrum is smoother than that of the discrete Fourier transform (DFT) consistent with human audition. DAT and DFT are compared in signal denoising tests with spectral thresholding method. The signals are noisy speech segments. It is found that DAT can gain 5 to 7 decibel (dB) in signal to noise ratio (SNR) over DFT except when the noise level is relatively low.


title: Goldie conditions for Ore extensions over semiprime rings

abstract: Let $R$ be a ring, $\sigma$ an injective endomorphism of $R$ and $\delta$ a $\sigma$-derivation of $R$. We prove that if $R$ is semiprime left Goldie then the same holds for the Ore extension $R[x;\sigma,\delta]$ and both rings have the same left uniform dimension.


title: Strange Integrals Derived By Elementary Complex Analysis

abstract: In this short note, we provide an elementary complex analytic method for converting known real integrals into numerous strange and interesting looking real integrals.


title: Weyl equivalence for rank 2 Nichols algebras of diagonal type

abstract: Yetter--Drinfel'd modules of diagonal type admit an equivalence relation which conjecturally preserves dimension and Gel'fand--Kirillov dimension of the corresponding Nichols algebras. This relation is determined explicitly for all rank 2 Yetter--Drinfeld modules where the Gel'fand--Kirillov dimension is known to be finite. Key Words: Brandt groupoid, Hopf algebra, pseudo-reflections, Weyl group


title: Algebraic and F-Independent sets in 2-firs

abstract: Let $R$ denote a 2-fir. The notions of F-independence and algebraic subsets of R are defined. The decomposition of an algebraic subset into similarity classes gives a simple way of translating the F-independence in terms of dimension of some vector spaces. In particular to each element $a \in R$ is attached a certain algebraic set of atoms and the above decomposition gives a lower bound of the length of the atomic decompositions of $a$ in terms of dimensions of certain vector spaces. A notion of rank is introduced and fully reducible elements are studied in details.


title: Quantum computation of zeta functions of curves

abstract: We exhibit a quantum algorithm for determining the zeta function of a genus g curve over a finite field F_q, which is polynomial in g and log(q). This amounts to giving an algorithm to produce provably random elements of the class group of a curve, plus a recipe for recovering a Weil polynomial from enough of its cyclic resultants. The latter effectivizes a result of Fried in a restricted setting.


title: Orientation-reversing free actions on handlebodies

abstract: We examine free orientation-reversing group actions on orientable handlebodies, and free actions on nonorientable handlebodies. A classification theorem is obtained, giving the equivalence classes and weak equivalence classes of free actions in terms of algebraic invariants that involve Nielsen equivalence. This is applied to describe the sets of free actions in various cases, including a complete classification for many (and conjecturally all) cases above the minimum genus. For abelian groups, the free actions are classified for all genera.


title: Hilbert spaces with generic groups of automorphisms

abstract: Let G be a countable group. We proof that there is a model companion for the approximate theory of a Hilbert space with a group G of automorphisms. We show that G is amenable if and only if the structure induced by countable copies of the regular representation of G is existentially closed.


title: A Counter Example of Invariant Deformation Quantization

abstract: In this note, we will show one example of hamiltonian Lie algebra action which has no invariant star product.


title: Minimal hypersurfaces with zero Gauss-Kronecker curvature

abstract: We investigate complete minimal hypersurfaces in the Euclidean space $% \ {R}^{4}$, with Gauss-Kronecker curvature identically zero. We prove that, if $f:M^{3}\to {R}^{4}$ is a complete minimal hypersurface with Gauss-Kronecker curvature identically zero, nowhere vanishing second fundamental form and scalar curvature bounded from below, then $f(M^{3})$ splits as a Euclidean product $L^{2}\times {R}$, where $L^{2}$ is a complete minimal surface in $ {R}^{3}$ with Gaussian curvature bounded from below.


title: McShane's identity for classical Schottky Groups

abstract: Greg McShane introduced a remarkable identity for the lengths of simple closed geodesics on cusped hyperbolic surfaces. This was subsequently generalized by the authors to hyperbolic cone-surfaces, possibly with cusps and/or geodesic boundary. In this paper, we generalize the identity further to the case of classical Schottky groups. As a consequence, we obtain some surprising new identities in the case of fuchsian Schottky groups. For classical Schottky groups of rank 2, we also give generalizations of the Weierstrass identities, first given by McShane.


title: Restriction theorems for homogeneous bundles

abstract: We prove that for an irreducible representation $\tau:GL(n)\to GL(W)$, the associated homogeneous ${\bf P}_k^n$-vector bundle $W_{\tau}$ is strongly semistable when restricted to any smooth quadric or to any smooth cubic in ${\bf P}_k^n$, where $k$ is an algebraically closed field of characteristic $\neq 2,3$ respectively. In particular $W_{\tau}$ is semistable when restricted to general hypersurfaces of degree $\geq 2$ and is strongly semistable when restricted to the $k$-generic hypersurface of degree $\geq 2$.


title: Global Embedding of Analytic Branes into Einstein MD Bulk Cosmology

abstract: Extends results of math-ph/0407067


title: Auslander correspondence

abstract: We study Auslander correspondence from the viewpoint of higher dimensional Auslander-Reiten theory on maximal orthogonal subcategories. We give homological characterizations of Auslander algebras, especially an answer to a question of M. Artin. They are also closely related to Auslander's representation dimension of artin algebras and Van den Bergh's non-commutative crepant resolutions of Gorenstein singularities.


title: Rigidity of non-negatively curved metrics on open five-dimensional manifolds

abstract: As the first step in the direction of the Hopf conjecture on the non-existence of metrics with positive sectional curvature on $S^2 \times S^2$ D.Gromoll and K.Tapp in [GT] suggested the following (Weak Hopf) conjecture (on the rigidity of non-negatively curved metrics on $S^2 \times R^3$): "The boundary $S^2\times S^2$ of the $S^2 \times B^3\subset S^2 \times R^3$ with an arbitrary complete metric of non-negative sectional curvature contains a point where a curvature of $S^2 \times S^2$ vanish". In this note we verify this.


title: Computing Matveev's complexity via crystallization theory: the orientable case

abstract: By means of a slight modification of the notion of GM-complexity, the present paper performs a graph-theoretical approach to the computation of (Matveev's) complexity for closed orientable 3-manifolds. In particular, the existing crystallization catalogue C^{28}, due to Lins, is used to obtain upper bounds for the complexity of closed orientable 3-manifolds triangulated by at most 28 tetrahedra. The experimental results actually coincide with the exact values of complexity, for all but three elements. Moreover, in the case of at most 26 tetrahedra, the exact value of the complexity is shown to be always directly computable via crystallization theory.


title: Regularized determinants of Laplace type operators, analytic surgery and relative determinants

abstract: We study the asymptotic behaviour of regularized determinants of certain Laplace type operators with respect to singular deformations of the underlying manifold which are obtained by stretching a tubular neighborhood of an embedded separating hypersurface to a cylinder of infinite length. Using the asymptotic expansions, we derive adiabatic splitting formulas for regularized determinants of Laplace type operators.


title: On algebras of gauge transformations in a general setting

abstract: We consider a Lagrangian system on a fiber bundle and its gauge transformations depending on derivatives of dynamic variables and gauge parameters of arbitrary order. We say that gauge transformations form an algebra if they generate a nilpotent BRST operator.


title: The splitting criterion of Kempf and the Babylonian tower theorem

abstract: We show that the idea used by Kempf (1990) in order to obtain a splitting criterion for vector bundles on projective spaces leads to an elementary proof of the Babylonian tower theorem for this class of bundles, a result due to Barth--Van de Ven (1974) in the rank 2 case and to Sato (1977) and Tyurin (1976) in the case of arbitrary rank. As a byproduct we obtain a slight improvement of the numerical criterion of Flenner (1985) in the particular case under consideration.


title: Explicit differential characterization of PDE systems pointwise equivalent to Y_{X^{j_1}X^{j_2}}=0, 1\leq j_1,j_2\leq n\geq 2

abstract: In this paper, a direct continuation of math.DG/0411165, we generalize S. Lie's linearization criterion of an ordinary second order differential equation to the case of several independent variables (x^1, x^2 ..., x^n), n >1, and a single dependent variable y. Strikingly, as in math.DG/0411165, the (complicated) characterizing differential system is of first order. By means of computer programming, this phenomenon was discovered in the case n=2 by S. Neut and M. Petitot (www.lifl.fr/~neut/recherche/these.pdf).


title: Integrals of equivariant forms over non-compact symplectic manifolds

abstract: This article is a result of the AIM workshop on Moment Maps and Surjectivity in Various Geometries (August 9 - 13, 2004) organized by T.Holm, E.Lerman and S.Tolman. At that workshop I was introduced to the work of T.Hausel and N.Proudfoot on hyperkahler quotients [HP]. One interesting feature of their article is that they consider integrals of equivariant forms over non-compact symplectic manifolds which do not converge, so they formally {\em define} these integrals as sums over the zeroes of vector fields, as in the Berline-Vergne localization formula. In this article we introduce a geometric-analytic regularization technique which makes such integrals converge and utilizes the symplectic structure of the manifold. We also prove that the Berline-Vergne localization formula holds for these integrals as well. The key step here is to redefine the collection of integrals \int_M alpha(X), X \in g, as a distribution on the Lie algebra g. We expect our regularization technique to generalize to non-compact group actions extending the results of [L1,L2].


title: Slope inequalities for fibred surfaces via GIT

abstract: In this paper we present a generalisation of a theorem due to Cornalba and Harris, which is an application of Geometric Invariant Theory to the study of invariants of fibrations. In particular, our generalisation makes it possible to treat the problem of bounding the invariants of general fibred surfaces. As a first application, we give a new proof of the slope inequality and of a bound for the invariants associated to double cover fibrations.


title: Constructions controlees de champs de Reeb et applications

abstract: On every compact, orientable, irreducible 3-manifold V which is toroidal or has torus boundary components we construct a contact 1-form whose Reeb vector field R does not have any contractible periodic orbits and is tangent to the boundary. Moreover, if bdry V is nonempty, then the Reeb vector field R is transverse to a taut foliation. By appealing to results of Hofer, Wysocki, and Zehnder, we show that, under certain conditions, the 3-manifold obtained by Dehn filling along bdry V is irreducible and different from the 3-sphere. Resum\'e On construit, sur toute variete V de dimension trois orientable, compacte, irreductible, bordee par des tores ou toroidale, une forme de contact dont le champ de Reeb R est sans orbite periodique contractible et tangent au bord. De plus, si le bord de V est non vide, le champ R est transversal a un feuilletage tendu. En utilisant des resultats de Hofer, Wysocki et Zehnder, on obtient sous certaines conditions que la variete obtenue par obturation de Dehn le long du bord de V est irreductible et differente de la sphere S^3.


title: Higher-order Alexander invariants and filtrations of the knot concordance group

abstract: We establish certain "non-triviality" results for several filtrations of the smooth and topological knot concordance groups. First, as regards the n-solvable filtration of the topological knot concordance group defined by K. Orr, P. Teichner and the first author, we refine the recent non-triviality results of Cochran and Teichner by including information on the Alexander modules. These results also extend those of C. Livingston and the second author. We exhibit similar structure in the closely related symmetric Grope filtration of the knot concordance group considered by the first author and Teichner. We also show that the Grope filtration of the smooth concordance group is non-trivial using examples that cannot be distinguished by the Ozsvath-Szabo tau invariant nor by J. Rasmussen's s-invariant. Our broader contribution is to establish, in "the relative case", the key homological results whose analogues Cochran-Orr-Teichner established in "the absolute case". We say two knots K and J are concordant modulo n-solvability if K#(-J) is n-solvable. Our main result is that, for any knot K whose classical Alexander polynomial has degree greater than 2, and for any positive integer n, there exist infinitely many knots K_i that are concordant to K modulo n-solvability, but are all distinct modulo n.5-solvability. Moreover, the K_i and K share the same classical Seifert matrix and Alexander module as well as sharing the same higher-order Alexander modules and Seifert presentations up to order n-1.


title: Generalised $G_2$-manifolds

abstract: We define new Riemannian structures on 7-manifolds by a differential form of mixed degree which is the critical point of a (possibly constrained) variational problem over a fixed cohomology class. The unconstrained critical points generalise the notion of a manifold of holonomy $G_2$, while the constrained ones give rise to a new geometry without a classical counterpart. We characterise these structures by the means of spinors and show the integrability conditions to be equivalent to the supersymmetry equations on spinors in supergravity theory of type IIA/B with bosonic background fields. In particular, this geometry can be described by two linear metric connections with skew torsion. Finally, we construct explicit examples by using the device of T-duality.


title: Rasmussen invariant, Slice-Bennequin inequality, and sliceness of knots

abstract: We use recently introduced Rasmussen invariant to find knots that are topologically locally-flatly slice but not smoothly slice. We note that this invariant can be used to give a combinatorial proof of the slice-Bennequin inequality. Finally, we compute the Rasmussen invariant for quasipositive knots and show that most of our examples of non-slice knots are not quasipositive and, to the best of our knowledge, were previously unknown.


title: The conjugacy search problem in public key cryptography: unnecessary and insufficient

abstract: The conjugacy search problem in a group G is the problem of recovering an x in G from given g in G and h=x^{-1}gx. This problem is in the core of several recently suggested public key exchange protocols, most notably the one due to Anshel, Anshel, and Goldfeld, and the one due to Ko, Lee at al. In this note, we make two observations that seem to have eluded most people's attention. The first observation is that solving the conjugacy search problem is not necessary for an adversary to get the common secret key in the Ko-Lee protocol. It is sufficient to solve an apparently easier problem of finding x, y in G such that h=ygx for given g, h in G. Another observation is that solving the conjugacy search problem is not sufficient for an adversary to get the common secret key in the Anshel-Anshel-Goldfeld protocol.


title: Topology of complex reflection arrangements

abstract: Let $V$ be a finite dimensional complex vector space and $W\subset \GL(V)$ be a finite complex reflection group. Let $V^{\reg}$ be the complement in $V$ of the reflecting hyperplanes. A classical conjecture predicts that $V^{\reg}$ is a $K(pi,1)$ space. When $W$ is a complexified real reflection group, the conjecture follows from a theorem of Deligne. Our main result validates the conjecture for duality (or, equivalently, well-generated) complex reflection groups. This includes the complexified real case (but our proof is new) and new cases not previously known. We also address a number of questions about $\pi_1(W\cq V^{\reg})$, the braid group of $W$.


title: A pairing in homology and the category of linear complexes of tilting modules for a quasi-hereditary algebra

abstract: We show that there exists a natural non-degenerate pairing of the homomorphism space between two neighbor standard modules over a quasi-hereditary algebra with the first extension space between the corresponding costandard modules and vise versa. Investigation of this phenomenon leads to a family of pairings involving standard, costandard and tilting modules. In the graded case, under some "Koszul-like" assumptions (which we prove are satisfied for example for the blocks of the category $\mathcal{O}$), we obtain a non-degenerate pairing between certain graded homomorphism and graded extension spaces. This motivates the study of the category of linear tilting complexes for graded quasi-hereditary algebras. We show that, under assumptions, similar to those mentioned above, this category realizes the module category for the Koszul dual of the Ringel dual of the original algebra. As a corollary we obtain that under these assumptions the Ringel and Koszul dualities commute.


title: Asymptotics of characters of symmetric groups, genus expansion and free probability

abstract: The convolution of indicators of two conjugacy classes on the symmetric group S_q is usually a complicated linear combination of indicators of many conjugacy classes. Similarly, a product of the moments of the Jucys--Murphy element involves many conjugacy classes with complicated coefficients. In this article we consider a combinatorial setup which allows us to manipulate such products easily: to each conjugacy class we associate a two-dimensional surface and the asymptotic properties of the conjugacy class depend only on the genus of the resulting surface. This construction closely resembles the genus expansion from the random matrix theory. As the main application we study irreducible representations of symmetric groups S_q for large q. We find the asymptotic behavior of characters when the corresponding Young diagram rescaled by a factor q^{-1/2} converge to a prescribed shape. The character formula (known as the Kerov polynomial) can be viewed as a power series, the terms of which correspond to two-dimensional surfaces with prescribed genus and we compute explicitly the first two terms, thus we prove a conjecture of Biane.


title: Riesz transform and $L^p$ cohomology for manifolds with Euclidean ends

abstract: Let $M$ be a smooth Riemannian manifold which is the union of a compact part and a finite number of Euclidean ends, $\RR^n \setminus B(0,R)$ for some $R > 0$, each of which carries the standard metric. Our main result is that the Riesz transform on $M$ is bounded from $L^p(M) \to L^p(M; T^*M)$ for $1 < p < n$ and unbounded for $p \geq n$ if there is more than one end. It follows from known results that in such a case the Riesz transform on $M$ is bounded for $1 < p \leq 2$ and unbounded for $p > n$; the result is new for $2 < p \leq n$. We also give some heat kernel estimates on such manifolds. We then consider the implications of boundedness of the Riesz transform in $L^p$ for some $p > 2$ for a more general class of manifolds. Assume that $M$ is a $n$-dimensional complete manifold satisfying the Nash inequality and with an $O(r^n)$ upper bound on the volume growth of geodesic balls. We show that boundedness of the Riesz transform on $L^p$ for some $p > 2$ implies a Hodge-de Rham interpretation of the $L^p$ cohomology in degree 1, and that the map from $L^2$ to $L^p$ cohomology in this degree is injective.


title: A generalized Hochster's formula for local cohomologies of monomial ideals

abstract: The Hilbert series of local cohomologies for monomial ideals, which are not necessarily square-free, is established. As applications, we give a sharp lower bound of the non-vanishing degree of local cohomologies and also a sharp lower bound of the positive integer k of k-Buchsbaumness for generalized Cohen-Macaulay monomial ideals.


title: Four explicit formulas for the prolongations of an infinitesimal Lie symmetry and multivariate Faa di Bruno formulas

abstract: In 1979, building on S. Lie's theory of symmetries of (partial) differrential equations, P.J. Olver formulated inductive formulas which are appropriate for the computation of the prolongations of an infinitesimal Lie symmetry to jet spaces, for an arbitrary number n\geq 1 of independent variables (x^1, ..., x^n) and for an arbitrary number m \geq 1 of dependent variables (y^1, ..., y^m). This paper is devoted to elaborate a formalism based on multiple Kronecker symbols which enables one to handle these ``unmanageable'' prolongations and to discover the underlying complicated combinatorics. Proceeding progressively, we write down closed explicit formulas in four cases: n=m=1; n\geq 1, m=1; n=1, m\geq 1; general case n\geq 1, m\geq 1. As a subpart of the obtained formulas, we recover four possible versions of the (multivariate) Fa\`a di Bruno formula. We do not employ the classical formalism based on the symmetric algebra ({\it cf.} e.g. H. Federer's book, p. 222), because it hides several explicit sums in symbolic compactifications, and because the presence of supplementary complexities ({\it e.g.} splitting of indices, combinatorics of partial derivatives) impedes us to apply such compactifications coherently. Our method of exposition is inductive: we conduct our reasonings by analyzing several thoroughly organized formulas, by comparing them together and by ``drifting'' towards generality, in homology with the classical style of L. Euler.


title: The fundamental group of symplectic manifolds with Hamiltonian SU(2) or SO(3) actions

abstract: Let $(M, \omega)$ be a connected compact symplectic manifold equipped with a Hamiltonian SU(2) or SO(3) action. We prove that, as fundamental group of topological spaces, $\pi_1(M)=\pi_1(M_{red})$, where $M_{red}$ is the symplectic quotient at any value of the moment map $\phi$.


title: Development of singularities for the compressible Euler equations with external force in several dimensions

abstract: We consider solutions to the Euler equations in the whole space from a certain class, which can be characterized, in particular, by finiteness of mass, total energy and momentum. We prove that for a large class of right-hand sides, including the viscous term, such solutions, no matter how smooth initially, develop a singularity within a finite time. We find a sufficient condition for the singularity formation, "the best sufficient condition", in the sense that one can explicitly construct a global in time smooth solution for which this condition is not satisfied "arbitrary little". Also compactly supported perturbation of nontrivial constant state is considered. We generalize the known theorem by Sideris on initial data resulting in singularities. Finally, we investigate the influence of frictional damping and rotation on the singularity formation.


title: Mediated Digraphs and Quantum Nonlocality

abstract: A digraph D=(V,A) is mediated if, for each pair x,y of distinct vertices of D, either xy belongs to A or yx belongs to A or there is a vertex z such that both xz,yz belong to A. For a digraph D, DELTA(D) is the maximum in-degree of a vertex in D. The "nth mediation number" mu(n) is the minimum of DELTA(D) over all mediated digraphs on n vertices. Mediated digraphs and mu(n) are of interest in the study of quantum nonlocality. We obtain a lower bound f(n) for mu(n) and determine infinite sequences of values of n for which mu(n)=f(n) and mu(n)>f(n), respectively. We derive upper bounds for mu(n) and prove that mu(n)=f(n)(1+o(1)). We conjecture that there is a constant c such that mu(n)=<f(n)+c. Methods and results of graph theory, design theory and number theory are used.


title: Homological Mirror Symmetry for Toric del Pezzo Surfaces

abstract: We prove the homological mirror conjecture for toric del Pezzo surfaces. In this case, the mirror object is a regular function on an algebraic torus. We show that the derived Fukaya category of this mirror coincides with the derived category of coherent sheaves on the original manifold.


title: Long-range exclusion processes, generator and invariant measures

abstract: We show that if $\mu$ is an invariant measure for the long range exclusion process putting no mass on the full configuration, $L$ is the formal generator of that process and $f$ is a cylinder function, then $Lf\in\mathbf{L}^1(d\mu)$ and $\int Lf d\mu=0$. This result is then applied to determine (i) the set of invariant and translation-invariant measures of the long range exclusion process on $\mathbb{Z}^d$ when the underlying random walk is irreducible; (ii) the set of invariant measures of the long range exclusion process on $\mathbb{Z}$ when the underlying random walk is irreducible and either has zero mean or allows jumps only to the nearest-neighbors.


title: Parametrized homotopy theory

abstract: We give rigorous foundations for parametrized homotopy theory in this monograph. After preliminaries on point-set topology, base change functors, and proper actions of non-compact Lie groups, we develop the homotopy theory of equivariant ex-spaces (spaces over and under a given space) and of equivariant parametrized spectra. We emphasize several issues of independent interest and include much new material on the general theory of topologically enriched model categories. The essential point is to resolve problems in parametrized homotopy theory that have no nonparametrized counterparts. In contrast to previously encountered situations, model theoretic techniques are intrinsically insufficient for this. Instead, a rather intricate blend of model theory and classical homotopy theory is required. Stably, we work with equivariant orthogonal spectra, which are simpler for the purpose than alternative kinds of spectra and give highly structured smash products. We then give a fiberwise duality theorem that allows fiberwise recognition of dualizable and invertible parametrized spectra. This allows application of formal duality theory to the construction and analysis of transfer maps. A construction of fiberwise bundles of spectra plays a central role and leads to a simple conceptual proof of a generalized Wirthmuller isomorphism theorem that calculates the right adjoint to base change along an equivariant bundle with manifold fibers in terms of a shift of the left adjoint. Due to the generality of our bundle theoretic context, the Adams isomorphism theorem relating orbit and fixed point spectra is a direct consequence.


title: A boundary cross theorem for separately holomorphic functions

abstract: Let $D\subset \C^n,$ $G\subset \C^m$ be pseudoconvex domains, let $A$ (resp. $B$) be an open subset of the boundary $\partial D$ (resp. $\partial G$) and let $X$ be the 2-fold cross $((D\cup A)\times B)\cup (A\times(B\cup G)).$ Suppose in addition that the domain $D$ (resp. $G$) is {\it locally $\mathcal{C}^2$ smooth on $A$} (resp. $B$). We shall determine the "envelope of holomorphy" $\hat{X}$ of $X$ in the sense that any function continuous on $X$ and separately holomorphic on $(A\times G) \cup (D\times B)$ extends to a function continuous on $\hat{X}$ and holomorphic on the interior of $\hat{X}.$ A generalization of this result for an $N$-fold cross is also given.


title: A ground state alternative for singular Schr\"odinger operators

abstract: Let $\mathbf{a}$ be a quadratic form associated with a Schr\"odinger operator $L=-\nabla\cdot(A\nabla)+V$ on a domain $\Omega\subset \mathbb{R}^d$. If $\mathbf{a}$ is nonnegative on $C_0^{\infty}(\Omega)$, then either there is $W>0$ such that $\int W|u|^2 dx\leq \mathbf{a}[u]$ for all $C_0^{\infty}(\Omega;\mathbb{R})$, or there is a sequence $\phi_k\in C_0^{\infty}(\Omega)$ and a function $\phi>0$ satisfying $L\phi=0$ such that $\mathbf{a}[\phi_k]\to 0$, $\phi_k\to\phi$ locally uniformly in $\Omega\setminus\{x_0\}$. This dichotomy is equivalent to the dichotomy between $L$ being subcritical resp. critical in $\Omega$. In the latter case, one has an inequality of Poincar\'e type: there exists $W>0$ such that for every $\psi\in C_0^\infty(\Omega;\mathbb{R})$ satisfying $\int \psi \phi dx \neq 0$ there exists a constant $C>0$ such that $C^{-1}\int W|u|^2 dx\le \mathbf{a}[u]+C|\int u \psi dx|^2$ for all $u\in C_0^\infty(\Omega;\mathbb{R})$.


title: An example of $\infty$-harmonic function, which is not $C^2$ on a dense subset

abstract: We show that for certain boundary values McShane-Whitney's minimal-extension-like function is $\infty$-harmonic near the boundary and is not $C^2$ on a dense subset.


title: Large deviations for trapped interacting Brownian particles and paths

abstract: We introduce two probabilistic models for $N$ interacting Brownian motions moving in a trap in $\mathbb {R}^d$ under mutually repellent forces. The two models are defined in terms of transformed path measures on finite time intervals under a trap Hamiltonian and two respective pair-interaction Hamiltonians. The first pair interaction exhibits a particle repellency, while the second one imposes a path repellency. We analyze both models in the limit of diverging time with fixed number $N$ of Brownian motions. In particular, we prove large deviations principles for the normalized occupation measures. The minimizers of the rate functions are related to a certain associated operator, the Hamilton operator for a system of $N$ interacting trapped particles. More precisely, in the particle-repellency model, the minimizer is its ground state, and in the path-repellency model, the minimizers are its ground product-states. In the case of path-repellency, we also discuss the case of a Dirac-type interaction, which is rigorously defined in terms of Brownian intersection local times. We prove a large-deviation result for a discrete variant of the model. This study is a contribution to the search for a mathematical formulation of the quantum system of $N$ trapped interacting bosons as a model for Bose--Einstein condensation, motivated by the success of the famous 1995 experiments. Recently, Lieb et al. described the large-N behavior of the ground state in terms of the well-known Gross--Pitaevskii formula, involving the scattering length of the pair potential. We prove that the large-N behavior of the ground product-states is also described by the Gross--Pitaevskii formula, however, with the scattering length of the pair potential replaced by its integral.


title: Loday--Quillen--Tsygan Theorem for Coalgebras

abstract: In this paper we prove that Loday--Quillen--Tsygan Theorem generalizes to the case of coalgebras. Specifically, we show that the Chevalley--Eilenberg--Lie homology of the Lie coalgebra of infinite matrices over a coassociative coalgebra $C$ is generated by the cyclic homology of the underlying coalgebra $C$ as an exterior algebra.


title: Weak Forms of the Ehrenpreis Conjecture and the Surface Subgroup Conjecture

abstract: We prove the following: 1. Let epsilon>0 and let S_1,S_2 be two closed hyperbolic surfaces. Then there exists locally-isometric covers S'_i of S_i (for i=1,2) such that there is a (1+\epsilon) bi-Lipschitz homeomorphism between S'_1 and S'_2 and both covers S'_i have bounded injectivity radius. 2. Let M be a closed hyperbolic 3-manifold. Then there exists a map j: S -> M where S is a surface of bounded injectivity radius and j is a pi_1-injective local isometry onto its image.


title: Cyclic structures for simplicial objects from comonads

abstract: The simplicial endofunctor induced by a comonad in some category may underly a cyclic object in its category of endofunctors. The cyclic symmetry is then given by a sequence of natural transformations. We write down the commutation relations the first cyclic operator has to satisfy with the data of the comonad. If we add a version of quantum Yang Baxter relation and another relation we actually get a sufficient condition for constructing a sequence of higher cyclic operators in a canonical fashion. A degenerate case of this construction comes from so-called trivial symmetry of an additive comonad. We also consider weaker versions for paracyclic objects as well as some connections to the subject of distributive laws.


title: Rational curves of degree 10 on a general quintic threefold

abstract: We prove the "strong form" of the Clemens conjecture in degree 10. Namely, on a general quintic threefold F in P^4, there are only finitely many smooth rational curves of degree 10, and each curve is embedded in F with normal bundle O(-1)^2. Moreover, in degree 10, there are no singular, reduced, and irreducible rational curves, nor any reduced, reducible, and connected curves with rational components in F.


title: Benford's Law, Values of L-functions and the 3x+1 Problem

abstract: We show the leading digits of a variety of systems satisfying certain conditions follow Benford's Law. For each system proving this involves two main ingredients. One is a structure theorem of the limiting distribution, specific to the system. The other is a general technique of applying Poisson Summation to the limiting distribution. We show the distribution of values of L-functions near the central line and (in some sense) the iterates of the 3x+1 Problem are Benford.


title: Deformations of covers, Brill-Noether theory, and wild ramification

abstract: In this paper, we give a simple description of the deformations of a map between two smooth curves with partially prescribed branching, in the cases that both curves are fixed, and that the source is allowed to vary. Both descriptions work equally well in the tame or wild case. We then apply this result to obtain a positive-characteristic Brill-Noether-type result for ramified maps from general curves to the projective line, which even holds for wild ramification indices. Lastly, in the special case of rational functions on the projective line, we examine what we can say as a result about families of wildly ramified maps.


title: The Pearcey Process

abstract: The extended Airy kernel describes the space-time correlation functions for the Airy process, which is the limiting process for a polynuclear growth model. The Airy functions themselves are given by integrals in which the exponents have a cubic singularity, arising from the coalescence of two saddle points in an asymptotic analysis. Pearcey functions are given by integrals in which the exponents have a quartic singularity, arising from the coalescence of three saddle points. A corresponding Pearcey kernel appears in a random matrix model and a Brownian motion model for a fixed time. This paper derives an extended Pearcey kernel by scaling the Brownian motion model at several times, and a system of partial differential equations whose solution determines associated distribution functions. We expect there to be a limiting nonstationary process consisting of infinitely many paths, which we call the Pearcey process, whose space-time correlation functions are expressible in terms of this extended kernel.


title: The classification of Kleinian surface groups, II: The Ending Lamination Conjecture

abstract: Thurston's Ending Lamination Conjecture states that a hyperbolic 3-manifold N with finitely generated fundamental group is uniquely determined by its topological type and its end invariants. In this paper we prove this conjecture for Kleinian surface groups; the general case when N has incompressible ends relative to its cusps follows readily. The main ingredient is the establishment of a uniformly bilipschitz model for a Kleinian surface group. The first half of the proof appeared in math.GT/0302208, and a subsequent paper will establish the Ending Lamination Conjecture in general.


title: Non-Abelian L Functions for Function Fields

abstract: This is an integrated part of our Geo-Arithmetic Program. In this paper we initiate a geometrically oriented construction of non-abelian zeta functions for curves defined over finite fields by a weighted count of semi-stable bundles. Basic properties such as rationality and functional equation are established. Examples of rank two zetas over genus two curves are given as well. Based on this and motivated by our study for non-abelian zetas of number fields, general non-abelian $L$ functions for function fields are defined and studied using Langlands and Morris' theory of Eisenstein series.


title: Non-Abelian L Function for Number Fields

abstract: This is an integrated part of our Geo-Arithmetic Program. In this paper we introduce and hence study non-abelian zeta functions and more generally non-abelian $L$-functions for number fields, based on geo-arithmetical cohomology, geo-arithmetical truncation and Langlands' theory of Eisenstein series.


title: Rank Two Non-Abelian Zeta and Its Zeros

abstract: In this paper, we first reveal an intrinsic relation between non-abelian zeta functions and Epstein zeta functions for algebraic number fields. Then, we expose a fundamental relation between stability of lattices and distance to cusps. Next, using these two relations, we explicitly express rank two zeta functions in terms of the well-known Dedekind zeta functions. Finally, based on such an expression, we show that all zeros of rank two non-abelian zeta functions are entirely sitting on the critical line whose real part equals to 1/2. This is an integrated part of our Geo-Arithmetic Program.


title: Linear Transports along Paths in Vector Bundles. II. Some Applications

abstract: The linear transports along paths in vector bundles introduced in Ref. [1] are applied to the special case of tensor bundles over a given differentiable manifold. Links with the transports along paths generated by derivations of tensor algebras are investigated. A possible generalization of the theory of geodesics is proposed when the parallel transport generated by a linear connection is replaced with an arbitrary linear transport along paths in the tangent bundle.


title: Filling area conjecture, optimal systolic inequalities, and the fiber class in abelian covers

abstract: We investigate the filling area conjecture, optimal systolic inequalities, and the related problem of the nonvanishing of certain linking numbers in 3-manifolds.


title: Compact Quantum Ergodic Systems

abstract: We develop theory of multiplicity maps for compact quantum groups, as an application, we obtain a complete classification of right coideal $C^*$-algebras of $C(SU_q(2))$ for $q\in [-1,1]\setminus \{0\}$. They are labeled with Dynkin diagrams, but classification results for positive and negative cases of $q$ are different. Many of the coideals are quantum spheres or quotient spaces by quantum subgroups, but we do have other ones in our classification list.


title: Homological Transcendence Degree

abstract: Let D be a division algebra over a base field k. The homological transcendence degree of D, denoted by Htr D, is defined to be the injective dimension of the enveloping algebra of D. We show that Htr has several useful properties which the classical transcendence degree has. We extend some results of Resco, Rosenberg, Schofield and Stafford, and compute Htr for several classes of division algebras. The main tool for the computation is Van den Bergh's rigid dualizing complex.


title: On the formal structure of logarithmic vector fields

abstract: In this article, we prove that a free divisor in a three dimensional complex manifold must be Euler homogeneous in a strong sense if the cohomology of its complement is the hypercohomology of its logarithmic differential forms. F.J. Calderon-Moreno et al. conjectured this implication in all dimensions and proved it in dimension two. We prove a theorem which describes in all dimensions a special minimal system of generators for the module of formal logarithmic vector fields. This formal structure theorem is closely related to the formal decomposition of a vector field by Kyoji Saito and is used in the proof of the above result. Another consequence of the formal structure theorem is that the truncated Lie algebras of logarithmic vector fields up to dimension three are solvable. We give an example that this may fail in higher dimensions.


title: A note on two identities arising from enumeration of convex polyominoes

abstract: Motivated by some binomial coefficients identities encountered in our approach to the enumeration of convex polyominoes, we prove some more general identities of the same type, one of which turns out to be related to a strange evaluation of ${}_3F_2$ of Gessel and Stanton.


title: The smash product of symmetric functions. Extended abstract

abstract: We construct a new operation among representations of the symmetric group that interpolates between the classical internal and external products, which are defined in terms of tensor product and induction of representations. Following Malvenuto and Reutenauer, we pass from symmetric functions to non-commutative symmetric functions and from there to the algebra of permutations in order to relate the internal and external products to the composition and convolution of linear endomorphisms of the tensor algebra. The new product we construct corresponds to the smash product of endomorphisms of the tensor algebra. For symmetric functions, the smash product is given by a construction which combines induction and restriction of representations. For non-commutative symmetric functions, the structure constants of the smash product are given by an explicit combinatorial rule which extends a well-known result of Garsia, Remmel, Reutenauer, and Solomon for the descent algebra. We describe the dual operation among quasi-symmetric functions in terms of alphabets.


title: Laplacians on quotients of Cauchy-Riemann complexes and Szeg\"o map for $L^2$-harmonic forms

abstract: We compute the spectra of the Tanaka type Laplacians on the Rumin complex, a quotient of the tangential Cauchy-Riemann complex on the unit sphere in $C^n$. We prove that Szeg\"o map is a unitary operator from a subspace of $(p, q-1)$-forms on the sphere defined by the Tanaka operators and the normal vector field onto the space of $L^2$-harmonic $(p, q)$-forms on the unit ball. Our results generalize earlier result of Folland.


title: Frequently visited sets for random walks

abstract: We study the occupation measure of various sets for a symmetric transient random walk in $Z^d$ with finite variances. Let $\mu^X_n(A)$ denote the occupation time of the set $A$ up to time $n$. It is shown that $\sup_{x\in Z^d}\mu_n^X(x+A)/\log n$ tends to a finite limit as $n\to\infty$. The limit is expressed in terms of the largest eigenvalue of a matrix involving the Green's function of $X$ restricted to the set $A$. Some examples are discussed and the connection to similar results for Brownian motion is given.


title: Pattern avoiding permutations are context-sensitive

abstract: We establish a bijection from the set of all permutations (of a given length) that avoid a pattern $q$ and a context-sensitive language.


title: When Soap Bubbles Collide

abstract: Can you fill R^n with a froth of "soap bubbles" that meet at most n at a time? Not if they have bounded diameter, as follows from Lebesgue's Covering Theorem. We provide some related results and conjectures.


title: Equivariant periodic cyclic homology

abstract: We define and study equivariant periodic cyclic homology for locally compact groups. This can be viewed as a noncommutative generalization of equivariant de Rham cohomology. Although the construction resembles the Cuntz-Quillen approach to ordinary cyclic homology, a completely new feature in the equivariant setting is the fact that the basic ingredient in the theory is not a complex in the usual sense. As a consequence, in the equivariant context only the periodic cyclic theory can be defined in complete generality. Our definition recovers particular cases studied previously by various authors. We prove that bivariant equivariant periodic cyclic homology is homotopy invariant, stable and satisfies excision in both variables. Moreover we construct the exterior product which generalizes the obvious composition product. Finally we prove a Green-Julg theorem in cyclic homology for compact groups and the dual result for discrete groups.


title: On a theorem of Peters on automorphisms of Kahler surfaces

abstract: For any Kahler surface which admits no nonzero holomorphic vectorfields, we consider the group of holomorphic automorphisms which induce identity on the second rational cohomology. Assuming the canonical linear system is without base points and fixed components, C.A.M. Peters showed that this group is trivial except when the Kahler surface is of general type and either $c_1^2=2c_2$ or $c_1^2=3c_2$ holds. Moreover, this group is a 2-group in the former case, and is a 3-group in the latter. The purpose of this note is to give further information about this group. In particular, we show that $c_1^2$ is divisible by the order of the group. Our argument is based on the results of C.H. Taubes on symplectic 4-manifolds, which are applied here in an equivariant setting.


title: Virtual Strings for Closed Curves with Multiple Components

abstract: A Gauss paragraph is a combinatorial formulation of a generic closed curve with multiple components on some surface. A virtual string is a collection of circles with arrows that represent the crossings of such a curve. Every closed curve has an underlying virtual string and every virtual string has an underlying Gauss paragraph. A word-wise partition is a partition of the alphabet set of a Gauss paragraph that satisfies certain conditions with respect to the Gauss paragraph. In this paper we use the theory of virtual strings to obtain a combinatorial description of closed curves in the 2-sphere (and therefore 2-dimensional Euclidean space) in terms of Gauss paragraphs and word-wise partitions.


title: From braid groups to mapping class groups

abstract: This paper is a survey of some properties of the braid groups and related groups that lead to questions on mapping class groups.


title: A shadowing lemma for abelian Higgs vortices

abstract: We use a shadowing-type lemma in order to analyze the singular, semilinear elliptic equation describing static self-dual abelian Higgs vortices. Such an approach allows us to construct new solutions having an \textit{infinite} number of arbitrarily prescribed vortex points. Furthermore, we obtain the precise asymptotic profile of the solutions in the form of an approximate superposition rule, up to an error which is exponentially small.


title: Isomorphism rigidity of commuting automorphisms

abstract: Let $d > 1$, and let $(X,\alpha)$ and $(Y,\beta)$ be two zero-entropy ${\mathbb{Z}}^d$-actions on compact abelian groups by $d$ commuting automorphisms. We show that if all lower rank subactions of $\alpha$ and $\beta$ have completely positive entropy, then any measurable equivariant map from $X$ to $Y$ is an affine map. In particular, two such actions are measurably conjugate if and only if they are algebraically conjugate.


title: A Transform Method for Evolution PDEs on a Finite Interval

abstract: We study initial boundary value problems for linear scalar partial differential equations with constant coefficients, with spatial derivatives of {\em arbitrary order}, posed on the domain $\{t>0, 0<x<L\}$. We first show that by analysing the so-called {\em global relation}, which is an algebraic relation defined in the complex $k$-plane coupling all boundary values of the solution, it is possible to identify how many boundary conditions must be prescribed at each end of the space interval in order for the problem to be well posed. We then show that the solution can be expressed as an integral in the complex $k$-plane. This integral is defined in terms of an $x$-transform of the initial condition and a $t$-transform of the boundary conditions. For particular cases, such as the case of periodic boundary conditions, or the case of boundary value problems for {\em second} order PDEs, the integral can be rewritten as an infinite series. However, there exist initial boundary value problems for which the only representation is an integral which {\em cannot} be written as an infinite series. An example of such a problem is provided by the linearised version of the KdV equation. Thus, contrary to common belief, the solution of many linear initial boundary value problems on a finite interval {\em cannot} be expressed in terms of an infinite series.


title: Revlex-Initial 0/1-Polytopes

abstract: We introduce revlex-initial 0/1-polytopes as the convex hulls of reverse-lexicographically initial subsets of 0/1-vectors. These polytopes are special knapsack-polytopes. It turns out that they have remarkable extremal properties. In particular, we use these polytopes in order to prove that the minimum numbers f(d, n) of facets and the minimum average degree a(d, n) of the graph of a d-dimensional 0/1-polytope with n vertices satisfy f(d, n) <= 3d and a(d, n) <= d + 4. We furthermore show that, despite the sparsity of their graphs, revlex-initial 0/1-polytopes satisfy a conjecture due to Mihail and Vazirani, claiming that the graphs of 0/1-polytopes have edge-expansion at least one.


title: Boundary Value Problems for Linear PDEs with Variable Coefficients

abstract: A new method is introduced for studying boundary value problems for a class of linear PDEs with {\it variable} coefficients. This method is based on ideas recently introduced by the author for the study of boundary value problems for PDEs with {\it constant} coefficients. As illustrative examples the following boundary value problems are solved: (a) A Dirichlet and a Neumann problem on the half line for the time-dependent Schr\"odinger equation with a space dependent potential. (b) A Poincar\'e problem on the quarter plane for a variable coefficient eneralisation of the Laplace equation.


title: Convex Imprecise Previsions: Basic Issues and Applications

abstract: In this paper we study two classes of imprecise previsions, which we termed convex and centered convex previsions, in the framework of Walley's theory of imprecise previsions. We show that convex previsions are related with a concept of convex natural estension, which is useful in correcting a large class of inconsistent imprecise probability assessments. This class is characterised by a condition of avoiding unbounded sure loss. Convexity further provides a conceptual framework for some uncertainty models and devices, like unnormalised supremum preserving functions. Centered convex previsions are intermediate between coherent previsions and previsions avoiding sure loss, and their not requiring positive homogeneity is a relevant feature for potential applications. Finally, we show how these concepts can be applied in (financial) risk measurement.


title: The Basic Elliptic Equations in an Equilateral Triangle

abstract: In his deep and prolific investigations of heat diffusion, Lam\'e was led to the investigation of the eigenvalues and eigenfunctions of the Laplace operator in an equilateral triangle. In particular he derived explicit results for the Dirichlet and Neumann cases using an ingenious change of variables. The relevant eigenfunctions are complicated infinite series in terms of his variables. Here we first show that boundary value problems with simple boundary conditions, such as the Dirichlet and the Neumann problems, can be solved in an elementary manner. In particular for these problems, the unknown Neumann and Dirichlet boundary values respectively, can be expressed in terms of a Fourier series. Our analysis is based on the so called global relation, which is an algebraic equation coupling the Dirichlet and the Neumann spectral values on the perimeter of the triangle. As Lam\'e correctly pointed out, infinite series are inadequate for expressing the solution of more complicated problems, such as mixed boundary value problems. Here we show, utilizing further the global relation, that such problems can be solved in terms of {\it generalized Fourier integrals}.


title: Associative submanifolds of a G2 manifold

abstract: We study deformations of associative submanifolds $Y^3\subset M^7$ of a $G_2$ manifold $M^7$. We show that the deformation space can be perturbed to be smooth, and it can be made compact and zero dimensional by constraining it with an additional equation. This allows us to associate local invariants to associative submanifolds of $M$. The local equations at each associative $Y$ are restrictions of a global equation on a certain associated Grassmann bundle over $ M$.


title: On the arithmetic of tight closure

abstract: We provide a negative answer to an old question in tight closure theory by showing that the containment x^3y^3 \in (x^4,y^4,z^4)^* in K[x,y,z]/(x^7+y^7-z^7) holds for infinitely many but not for almost all prime characteristics of the field K. This proves that tight closure exhibits a strong dependence on the arithmetic of the prime characteristic. The ideal (x,y,z) \subset K[x,y,z,u,v,w]/(x^7+y^7-z^7, ux^4+vy^4+wz^4+x^3y^3) has then the property that the cohomological dimension fluctuates arithmetically between 0 and 1.


title: A probabilistic representation of solutions of the incompressible Navier-Stokes equations in R3

abstract: A new probabilistic representation is presented for solutions of the incompressible Navier-Stokes equations in 3 dimensions with given forcing and initial velocity. This representation expresses solutions as scaled conditional expectations of functionals of a Markov process indexed by the nodes of a binary tree. It gives existence and uniqueness of weak solutions for all time under relatively simple conditions on the forcing and initial data. These conditions involve comparison of the forcing and initial data with majorizing kernels.


title: Simulations of Gaussian Processes and Neuronal Modeling

abstract: The research work outlined in the present note highlights the essential role played by the simulation procedures implemented by us on CINECA supercomputers to complement the mathematical investigations carried within our group over the past several years. The ultimate target of our research is the understanding of certain crucial features of the information processing and transmission by single neurons embedded in complex networks. More specifically, here we provide a bird's eye look of some analytical, numerical and simulation results on the asymptotic behavior of first passage time densities for Gaussian processes, both of a Markov and of a non-Markov type. Several figures indicate significant similarities or diversities between computational and simulated results.


title: The Diophantine equations $ x^{n}_{1} +x^{n}_{2} +...+x^{n}_{r_{1}}= y ^{n}_{1} +y^{n}_{2} +...+y^{n}_{r_{2}} $

abstract: The aim of this paper is to prove the possibility of linearization of such equations by means of introduction of new variables. For $n=2$ such a procedure is well known, when new variables are components of spinors and they are widely used in mathematical physics. For example, parametrization of Pythagoras threes $a^{2} +b^{2}$, $a^{2} -b^{2}$, $2ab$ may be cited as an example in number theory where two independent variables form a spinor which can be obtained by solution of a system of two linear equations. We also investigate the combinatorial estimate for the smallest sum $r(n)=r _{1}+r_{2} -1 $ for solvable equations of such a type as $r(n) \leq 2n+1$ (recently the better one with $r(n) \leq2n-1$ was received by L. Habsieger (J. of Number Theory 45 (1993) 92)). Apart from that we consider two conjectures about $r(n)$ and particular solutions for $n \leq11$ which were found with the help of the algorithm that is not connected with linearization.


title: Riesz transform and Riesz potentials for Dunkl transform

abstract: Analogous of Riesz potentials and Riesz transforms are defined and studied for the Dunkl transform associated with a family of weighted functions that are invariant under a reflection group. The $L^p$ boundedness of these operators is established in certain cases.


title: An elliptic generalization of Schur's Pfaffian identity

abstract: We present a Pfaffian identity involving elliptic functions, whose rational limit gives a generalization of Schur's Pfaffian identity for Pf ((x_j - x_i)/(x_j + x_i)). This identity is regarded as a Pfaffian counterpart of Frobenius identity, which is an elliptic generalization of Cauchy's determinant identity for det (1/ (x_i + x_j)).