title: Relative Kazhdan--Lusztig cells

abstract: In this paper, we study the Kazhdan--Lusztig cells of a Coxeter group $W$ in a ``relative'' setting, with respect to a parabolic subgroup $W_I \subseteq W$. This relies on a factorization of the Kazhdan--Lusztig basis $\{C_w\}$ of the corresponding (multi-parameter) Iwahori--Hecke algebra with respect to $W_I$. We obtain two applications to the ``asymptotic case'' in type $B_n$, as introduced by Bonnaf\'e--Iancu: we show that $\{C_w\}$ is a ``cellular basis'' in the sense of Graham--Lehrer, and we construct an analogue of Lusztig's canonical isomorphism from the Iwahori--Hecke algebra to the group algebra of the underlying Weyl group of type $B_n$.


title: Kazhdan--Lusztig cells and the Murphy basis

abstract: Let $H$ be the Iwahori--Hecke algebra associated with $S_n$, the symmetric group on $n$ symbols. This algebra has two important bases: the Kazhdan--Lusztig basis and the Murphy basis. While the former admits a deep geometric interpretation, the latter leads to a purely combinatorial construction of the representations of $H$, including the Dipper--James theory of Specht modules. In this paper, we establish a precise connection between the two bases, allowing us to give, for the first time, purely algebraic proofs for a number of fundamental properties of the Kazhdan--Lusztig basis and Lusztig's results on the $a$-function.


title: Regularized product expressions of higher Riemann zeta functions

abstract: As a generalization of [KMW], we introduce a higher Riemann zeta function for an abstract sequence. Then we explicitly determine its regularized product expression.


title: Note on the finite time singularities for the 3D Navier-Stokes equations

abstract: The paper has been withdrawn by the author due to a gap in Proof of Theorem 1.1.


title: The Weyl Integration Model for KAK decomposition of Reductive Lie Group

abstract: The Weyl integration model presented by An and Wang can be effectively used to reduce the integration over $G$-space. In this paper, we construct an especial Weyl integration model for KAK decomposition of Reductive Lie Group and obtain an integration formula which implies that the integration of $L^1$-integrable function over reductive Lie group $G$ can be carried out by first integrating over each conjugacy class and then integrating over the set of conjugacy classes.


title: Riesz transform on manifolds and Poincar\'{e} inequalities

abstract: We study the validity of the $L^p$ inequality for the Riesz transform when $p>2$ and of its reverse inequality when $p<2$ on complete Riemannian manifolds under the doubling property and some Poincar\'e inequalities.


title: A superprocess involving both branching and coalescing

abstract: We consider a superprocess with coalescing Brownian spatial motion. We first prove a dual relationship between two systems of coalescing Brownian motions. In consequence we can express the Laplace functionals for the superprocess in terms of coalescing Brownian motions, which allows us to obtain some explicit results. We also point out several connections between such a superprocess and the Arratia flow. A more general model is discussed at the end of this paper.


title: Roots of 3-manifolds and cobordisms

abstract: Given a set of simplifying moves on 3-manifolds, we apply them to a given 3-manifold M as long as possible. What we get is a root of M. For us, it makes sense to consider three types of moves: compressions along 2-spheres, proper discs and proper annuli having boundary circles in different components of the boundary of M. Our main result is that for the above moves the root of any 3-manifold exists and is unique. The same result remains true if instead of manifolds we apply the moves to 3-cobordisms.


title: Finite-dimensional Lie subalgebras of the Weyl algebra

abstract: We classify up to isomorphism all finite-dimensional Lie algebras that can be realised as Lie subalgebras of the complex Weyl algebra $A_1$. The list we obtain turns out to be discrete and for example, the only non-solvable Lie algebras with this property are: $sl(2)$, $sl(2)\times\mathbb C$ and $sl(2)\ltimes{\cal H}_3$. We then give several different characterisations, normal forms and isotropy groups for the action of $Aut (A_1)\times Aut (sl(2))$ on a particular class of realisations of $sl(2)$ in $A_1$.


title: Generalization of the Critical Volume NTCP Model in the Radiobiology

abstract: A generalization of the well known critical volume NTCP model is proposed to take into account dependence of the functional subunits of irradiated organ (or tissue). A new statistical version of the CLT is established to analyze the corresponding random fields.


title: Maximal Sidon Sets and Matroids

abstract: Let X be a subset of an abelian group and a_1,...,a_h,a'_1,...,a'_h a sequence of 2h elements of X such that a_1 + ... + a_h = a'_1 + ... + a'_h. The set X is a Sidon set of order h if, after renumbering, a_i = a'_i for i = 1,..., h. For k \leq h, the set X is a generalized Sidon set of order (h,k), if, after renumbering, a_i = a'_i for i = 1,..., k. It is proved that if X is a generalized Sidon set of order (2h-1,h-1), then the maximal Sidon sets of order h contained in X have the same cardinality. Moreover, X is a matroid where the independent subsets of X are the Sidon sets of order h.


title: The Ends of Algebras

abstract: We introduce the notion of ends for algebras. The definition is analogous to the one in geometric group theory. We establish some relations to growth conditions and cyclic cohomology.


title: Finite Time Blow-up for the 3D Incompressible Euler Equations


title: Geometry of Hermitian Algebraic Functions. Quotients of Squared Norms

abstract: Hermitian algebraic functions were introduced by Catlin and D'Angelo under the name of "globalizable metrics". Catlin and D'Angelo proved that any Hermitian algebraic function without non-trivial zeros is a quotient of squared norms, thus giving an answer to a Hermitian analogue of Hilbert's 17th problem in the non-degenerate case. The result was independently proved somewhat earlier by D. Quillen in a special case, and using different methods. In this paper, we characterize all Hermitian algebraic functions that are quotients of squared norms.


title: Ehrhart-Macdonald reciprocity extended

abstract: For a convex polytope P with rational vertices, we count the number of integer points in integral dilates of P and its interior. The Ehrhart-Macdonald reciprocity law gives an intimate relation between these two counting functions. A similar counting function and reciprocity law exists for the sum of all solid angles at integer points in dilates of P. We derive a unifying generalization of these reciprocity theorems which follows in a natural way from Brion's Theorem on conic decompositions of polytopes.


title: Volume computation for polytopes and partition functions for classical root systems

abstract: This paper presents an algorithm to compute the value of the inverse Laplace transforms of rational functions with poles on arrangements of hyperplanes. As an application, we present an efficient computation of the partition function for classical root systems.


title: The Structure of Noncommutative Deformations

abstract: Noncommutatively deformed geometries, such as the noncommutative torus, do not exist generically. I showed in a previous paper that the existence of such a deformation implies compatibility conditions between the classical metric and the Poisson bivector (which characterizes the noncommutativity). Here I present another necessary condition: the vanishing of a certain rank 5 tensor. In the case of a compact Riemannian manifold, I use these conditions to prove that the Poisson bivector can be constructed locally from commuting Killing vectors.


title: The moduli space of 8 points on ${\bf P}^1$ and automorphic forms

abstract: First we give a complex ball uniformization of the moduli space of 8 ordered points on the projective line by using the theory of periods of K3 surfaces. Next we give a projective model of this moduli space by using automorphic forms on a bounded symmetric domain of type IV which coincides with the one given by cross ratios of 8 ordered points of the projective line.


title: Monge-Amp\`ere operators on compact K\"ahler manifolds

abstract: We study the complex Monge-Amp\` ere operator on compact K\"ahler manifolds. We give a complete description of its range on the set of $\omega-$plurisubharmonic functions with $L^2$ gradient and finite self energy, generalizing to this compact setting results of U.Cegrell from the local pluripoltential theory. We give some applications to complex dynamics and to the existence of K\"ahler-Einstein metrics on singular manifolds.


title: Induction of representations in deformation quantization

abstract: We discuss the procedure of Rieffel induction of representations in the framework of formal deformation quantization of Poisson manifolds. We focus on the central role played by algebraic notions of complete positivity.


title: Optimal quantizers for Radon random vectors in a Banach space

abstract: For every integer n and evrery positive real number r > 0 and a Radon random vector X with values in a Banach space E, let e\_{n,r}(X,E) = inf{(E (\min\_{a \in \alpha} || X-a ||^r)^{1/r}}, where the infimum is taken over all subsets \alpha of E with card(\alpha) <= n (n-quantizers). We investigate the existence of optimal n-quantizers for this L^r-quantization propblem, derive their stationarity properties and establish for L^p-spaces E the pathwise regularity of stationary quantizers.


title: Numerical study of a new global minimizer for the Mumford-Shah functional in $\R^3$

abstract: In [8], G. David suggested a new type of global minimizer for the Mumford-Shah functional in $\R^3$, for which the singular sets belong to a three parameters family of sets ($0<\delta\_1,\delta\_2,\delta\_3<\pi$). We first derive necessary conditions satisfied by global minimizers of this family. Then we are led to study the first eigenvectors of the Laplace-Beltrami operator with Neumann boundary conditions on subdomains of $\mathbf{S}^2$ with three reentrant corners. The necessary conditions are constraints on the eigenvalue and on the ratios between the singular coefficients of the associated eigenvector. We use numerical methods (Singular Functions Method and Moussaoui's extraction formula) to compute the eigenvalues and the singular coefficients. We conclude that there is no $(\delta\_1,\delta\_2,\delta\_3)$ for which the necessary conditions are satisfied and this shows that the hypothesis was wrong.


title: On toric varieties of high arithmetical rank

abstract: We describe a class of toric varieties in the $N$-dimensional affine space which are minimally defined by no less than $N-2$ binomial equations.


title: Categorification of the Dichromatic Polynomial for Graphs

abstract: For each graph and each positive integer $n$, we define a chain complex whose graded Euler characteristic is equal to an appropriate $n$-specialization of the dichromatic polynomial. This also gives a categorification of $n$-specializations of the Tutte polynomial of graphs. Also, for each graph and integer $n\le 2$, we define the different one variable $n$-specializations of the dichromatic polynomials, and for each polynomial we define graded chain complex whose graded Euler characteristic is equal to that polynomial. Furthermore, we explicitly categorify the specialization of the Tutte polynomial for graphs which corresponds to the Jones polynomial of the appropriate alternating link.


title: Dimension dependency of the weak type $(1,1)$ bounds for maximal functions associated to finite radial measures

abstract: We show that the best constants appearing in the weak type (1,1) inequalities satisfied by the centered Hardy-Littlewood maximal function associated to some finite radial measures, such as the standard gaussian measure, grow exponentially fast with the dimension.


title: Superrigidity for irreducible lattices and geometric splitting

abstract: We prove general superrigidity results for actions of irreducible lattices on CAT(0) spaces; first, in terms of the ideal boundary, and then for the intrinsic geometry (including for infinite-dimensional spaces). In particular, one obtains a new and self-contained proof of Margulis' superrigidity theorem for uniform irreducible lattices in non-simple groups. The proofs rely on simple geometric arguments, including a splitting theorem which can be viewed as an infinite-dimensional (and singular) generalization of the Lawson-Yau/Gromoll-Wolf theorem.


title: Heavy points of a d-dimensional simple random walk

abstract: For a simple symmetric random walk in dimension $d\geq 3$, a uniform strong law of large numbers is proved for the number of sites with given local time up to time $n$.


title: On a Problem of Bremermann Concerning Runge Domains

abstract: We give an example of a bounded Stein domain in $\mathbb{C}^n$, with smooth boundary, which is not Runge and whose intersection with every complex line is simply connected.


title: Anticipating integrals and martingales on the Poisson space

abstract: Let $\tilde{N}\_{t}$ be a standard compensated Poisson process on $[0,1]$. We prove a new characterization of anticipating integrals of the Skorohod type with respect to $\tilde{N}$, and use it to obtain several counterparts to well established properties of semimartingale stochastic integrals. In particular we show that, if the integrand is sufficiently regular, anticipating Skorohod integral processes with respect to $\tilde{N}$ admit a pointwise representation as usual It\^{o} integrals in an independently enlarged filtration. We apply such a result to: (i) characterize Skorohod integral processes in terms of products of backward and forward Poisson martingales, (ii) develop a new It\^{o}-type calculus for anticipating integrals on the Poisson space, and (iii) write Burkholder-type inequalities for Skorohod integrals.


title: Difference analogue of the Lemma on the Logarithmic Derivative with applications to difference equations

abstract: The Lemma on the Logarithmic Derivative of a meromorphic function has many applications in the study of meromorphic functions and ordinary differential equations. In this paper, a difference analogue of the Logarithmic Derivative Lemma is presented and then applied to prove a number of results on meromorphic solutions of complex difference equations. These results include a difference analogue of the Clunie Lemma, as well as other results on the value distribution of solutions.


title: Learning symmetric k-juntas in time n^o(k)

abstract: We give an algorithm for learning symmetric k-juntas (boolean functions of $n$ boolean variables which depend only on an unknown set of $k$ of these variables) in the PAC model under the uniform distribution, which runs in time n^{O(k/\log k)}. Our bound is obtained by proving the following result: Every symmetric boolean function on k variables, except for the parity and the constant functions, has a non-zero Fourier coefficient of order at least 1 and at most O(k/\log k). This improves the previously best known bound of (3/31)k, and provides the first n^{o(k)} time algorithm for learning symmetric juntas.


title: Coding map for a contractive Markov system

abstract: In this paper, we develop the theory of contractive Markov systems initiated in \cite{Wer1}. We construct a coding map for such systems and investigate some of its properties.


title: The Novikov conjecture for mapping class groups as a corollary of Hamenstadt's theorem

abstract: This short note shows how the Novikov conjecture for mapping class groups follows from a theorem of Kato and a result theorem of Hamenstadt.


title: On the rationality of moduli spaces of pointed curves

abstract: Motivated by several recent results on the geometry of the moduli spaces $\bar{\Cal M}_{g,n}$ of stable curves of genus $g$ with $n$ marked points, here we determine their birational structure for small values of $g$ and $n$ by exploiting suitable plane models of the general curve. More precisely, we show that ${\Cal M}_{g,n}$ is rational for $g=2$ and $1\le n\le 12$, $g=3$ and $1\le n\le 14$, $g=4$ and $1\le n\le 15$, $g=5$ and $1\le n\le 12$.


title: Shannon entropy of symmetric Pollaczek polynomials

abstract: We discuss the asymptotic behavior (as $n\to \infty$) of the entropic integrals $$ E_n= - \int_{-1}^1 \log \big(p^2_n(x) \big) p^2_n(x) w(x) d x, $$ and $$ F_n = -\int_{-1}^1 \log (p_n^2(x)w(x)) p_n^2(x) w(x) dx, $$ when $w$ is the symmetric Pollaczek weight on $[-1,1]$ with main parameter $\lambda\geq 1$, and $p_n$ is the corresponding orthonormal polynomial of degree $n$. It is well known that $w$ does not belong to the Szeg\H{o} class, which implies in particular that $E_n\to -\infty$. For this sequence we find the first two terms of the asymptotic expansion. Furthermore, we show that $F_n \to \log (\pi)-1$, proving that this ``universal behavior'' extends beyond the Szeg\H{o} class. The asymptotics of $E_n$ has also a curious interpretation in terms of the mutual energy of two relevant sequences of measures associated with $p_n$'s.


title: $\mathbb{Z}_n$-manifolds in 4-dimensional graph-manifolds

abstract: A standard fact about two incompressible surfaces in an irreducible 3-manifold is that one can move one of them by isotopy so that their intersection becomes $\pi_1$-injective. By extending it on the maps of some 3-dimensional $\mathbb{Z}_n$-manifolds into 4-manifolds, we prove that any homotopy equivalence of 4-dimensional graph-manifolds with reduced graph-structures is homotopic to a diffeomorphism preserving the structures. Keywords: graph-manifold, $\pi_1$-injective $\mathbb{Z}_n$-submanifold.


title: Interpolation and Sampling Hypersurfaces for weighted Bergman spaces on the unit ball

abstract: We present sufficient conditions on a smooth uniformly flat hypersurface W in the unit ball to be an interpolation hypersurface or a sampling hypersurface for generalized Bergman spaces associated to the unit ball with its Bergman metric. The conditions are phrased in terms of a geometric Beurling-type densities, similar to the densities defined for hypersurfaces in C^n by Ortega-Cerda, Schuster and the second author. For the case of sampling, our proofs are different than those in the C^n case; we use an approach closer in spirit to the work of Berndtsson and Ortega-Cerda in the 1-dimensional case. For the case of interpolation we use a modified version of the Ohsawa-Takegoshi method to carry out the interpolation in the situation where the density of W is a little less than optimal. For the general case, we use the same approach as in the C^n case, except that we use an improved dbar theorem, due to Ohsawa, to solve our Cousin problem with L^2 bounds. As in the case of C^n, it is expected that our sufficient conditions are also necessary.


title: On a generic Verma module at the critical level over affine Lie superalgebras

abstract: We describe the structure of a Verma module with a generic highest weight at the critical level over a symmetrizable affine Lie superalgebra not of the type A(2k,2l)^{(4)}. We obtain the character formula for a simple module with a generic highest weight at the critical level conjectured by V. G. Kac and D. A. Kazhdan.


title: Improved bounds for perfect simulation of a continuous one-dimensional loss network

abstract: Perfect simulation of an one-dimensional loss network on $\R$ with length distribution $\pi$ and cable capacity $C$ is performed using the clan of ancestors method. Domination of the clan of ancestors by a branching process with longer memory improves the sufficient conditions for the perfect scheme to be applicable.


title: Operator spaces and Araki-Woods factors --A quantum probabilistic approach--

abstract: We show that the operator Hilbert space OH introduced by Pisier embeds into the predual of the hyerfinite III1 factor. The main new tool is a Khintchine type inequality for the generators of the CAR algebra with respect to a quasi-free state. Our approach yields a Khintchine type inequality for the q-gaussian variables for all values q between -1 and 1. These results are closely related to recent results of Pisier and Shlyakhtenko in the free case.


title: Infinitesimal local study of formal schemes

abstract: We make a systematic study of the infinitesimal lifting conditions of a pseudo finite type map of noetherian formal schemes. We recover the usual general properties in this context, and, more importantly, we uncover some new phenomena. We define a completion map of formal schemes as the one that arises canonically by performing the completion of a noetherian formal scheme along a subscheme, following the well-known pattern of ordinary schemes. These maps are etale in the sense of this work (but not adic). They allow us to give a local description of smooth morphisms. This morphisms can be factored locally as a completion map followed from a smooth adic morphism. The latter kind of morphisms can be factored locally as an etale adic morphism followed by a (formal) affine space. We also characterize etale adic morphisms giving an equivalence of categories between the category of etale adic formal schemes over a noetherian formal scheme (X, O_X) and the category of etale schemes over the ordinary scheme (X, O_X/I), with I an Ideal of definition. These results characterize completely the local behavior of formally smooth pseudo finite type (i.e. smooth) maps of noetherian formal schemes. In the final chapter, we study the basic deformation theory of smooth morphisms.


title: Asymptotics of a Class of Operator Determinants

abstract: In previous work of C. A. Tracy and the author asymptotic formulas were derived for certain operator determinants whose interest lay in the fact that quotients of them gave solutions to the cylindrical Toda equations. In the present paper we consider a more general class of operators which retain some of the properties of those cited and we find analogous asymptotics for the determinants


title: Homology manifolds and 4-dimensional surgery

abstract: Withdrawn May 2005. There is an error in the even-dimensional case of the proof in the April 2005 version. The hoped-for 4-dimensional applications are unlikely to survive the repairs.


title: Multiplier ideal sheaves in complex and algebraic geometry

abstract: This article discusses the geometric application of the method of multiplier ideal sheaves. It first briefly describes its application to effective problems in algebraic geometry and then presents and explains its application to the deformational invariance of plurigenera for general compact algebraic manifolds. Finally its application to the conjecture of the finite generation of the canonical ring is explored and the use of complex algebraic geometry in complex Neumann estimates is discussed.


title: On the Hook Length Formula for Binary Trees

abstract: We present a simple combinatorial proof of Postnikov's hook length formula for binary trees.


title: Representation of modular invariant function by generators of a modular function field

abstract: We give a method of representing the modular invariant function by generators of a modular function field.


title: Notes on treeability and costs for discrete groupoids in operator algebra framework

abstract: We provide an operator algebraic interpretation of discrete measurable groupoids in the course of re-proving (and slightly generalizing) a result on treeability due to Adams and Spatzier. Then, we reconstruct Gaboriau's beautiful work on costs of equivalence relations in operator algebra framework, avoiding any measure theoretic argument, and clarify what kind of his results can or cannot be generalized to the non-principal groupoid case.


title: Value Monoids of Zero-Dimensional Valuations of Rank One

abstract: Classically, Groebner bases are computed by first prescribing a set monomial order. Moss Sweedler suggested an alternative and developed a framework to perform such computations by using valuation rings in place of monomial orders. We build on these ideas by providing a class of valuations on rational function fields of two variables that are suitable for this framework. For these valuations, we explicitly compute the image of an underlying polynomial ring and use this to perform computations concerning ideals in the polynomial ring. Interestingly, for these valuations, some ideals have a finite Groebner basis with respect to the valuation that is not a Groebner basis with respect to any monomial order, whereas other ideals only have Groebner bases that are infinite with respect to the valuation.


title: Darboux evaluations of algebraic Gauss hypergeometric functions

abstract: This paper presents explicit expressions for algebraic Gauss hypergeometric functions. We consider solutions of hypergeometric equations with the tetrahedral, octahedral and icosahedral monodromy groups. Conceptually, we pull-back such a hypergeometric equation onto its Darboux curve so that the pull-backed equation has a cyclic monodromy group. Minimal degree of the pull-back coverings is 4, 6 or 12 (for the three monodromy groups, respectively). In explicit terms, we replace the independent variable by a rational function of degree 4, 6 or 12, and transform hypergeometric functions to radical functions.


title: Fano manifolds with long extremal rays

abstract: Let X be a Fano manifold of pseudoindex i_X whose Picard number is at least two and let R be an extremal ray of X with exceptional locus Exc(R). We prove an inequality which bounds the length of R in terms of i_X and of the dimension of Exc(R) and we investigate the border cases. In particular we classify Fano manifolds X of pseudoindex i_X obtained blowing up a smooth variety Y along a smooth subvariety T such that dim T < i_X.


title: Kodaira dimension of subvarieties II

abstract: This paper continues the study of non-general type subvarieties begun in a joint paper with M.Schneider and A.Sommese (Int.L.Math. 10, 1999). We prove uniruledness of a projective manifold containing a submanifold not of general type whose normal bundle has positivity properties and moreover study the rational quotient. We also relate the fundamental groups and prove a cohomological criterion for a manifold to be rationally connected.


title: Crystal graphs of higher level q-deformed Fock spaces, Lusztig a-values and Ariki-Koike algebras

abstract: We show that the different labelings of the crystal graph for irreducible highest weight $\mathcal{U}\_q (\hat{\mathfrak{sl}}\_e)$-modules lead to different labelings of the simple modules for non semisimple Ariki-Koike algebras by using Lusztig $a$-values.


title: Differentiation, implicit functions, and applications to generalized well-posedness

abstract: This article is centered around generalizing a previous implicit function theorem of the author to be applicable for maps f:E sqcap F to F which can be lifted to Keller C^k_pi maps f_i:E sqcap F_i to F_i with F_i Banach and F=projlim F_i . We prove theorems about existence and differentiability of functions g satisfying f(x,g(x))=b constant. In addition to these abstract theorems, we give several examples of applications to proving smooth dependence of the solution on initial/boundary values and the nonlinearity in nonlinear (partial) differential equations.


title: Drinfeld coproduct, quantum fusion tensor category and applications

abstract: The class of quantum affinizations includes quantum affine algebras and quantum toroidal algebras. In general they have no Hopf algebra structure, but have a "coproduct" (the Drinfeld coproduct) which does not produce tensor products of modules in the usual way because it is defined in a completion. In this paper we propose a new process to produce quantum fusion modules from it : for all quantum affinizations, we construct by deformation and renormalization a new (non semi-simple) tensor category Mod. For quantum affine algebras this process is new and different from the usual tensor product. For general quantum affinizations, for example for toroidal algebras, so far, no process to produce fusion modules was known. We derive several applications from it : we construct the fusion of (finitely many) arbitrary l-highest weight modules, and prove that it is always cyclic. We establish exact sequences involving fusion of Kirillov-Reshetikhin modules related to new T-systems. Eventually for a large class of quantum affinizations we prove that the subcategory of finite length modules of Mod is stable under the new monoidal bifunctor.


title: Symmetry breaking results for problems with exponential growth in the unit disk

abstract: We investigate some asymptotic properties of extrema to a two-dimensional variational problem in the unit disk. Some results about non-radialicity of solutions are given.


title: A simple criterion for non-relative hyperbolicity and one-endedness of groups

abstract: We give a combinatorial criterion that implies both the non-strong relative hyperbolicity and the one-endedness of a finitely generated group. We use this to show that many important classes of groups do not admit a strong relatively hyperbolic group structure and have one end. Applications include surface mapping class groups, the Torelli group, (special) automorphism and outer automorphism groups of most free groups, and the three-dimensional Heisenberg group. Our final application is to Thompson's group F.


title: Sums of triangular numbers from the Frobenius determinant

abstract: We show that the denominator formula for the strange series of affine superalgebras, conjectured by Kac and Wakimoto and proved by Zagier, follows from a classical determinant evaluation of Frobenius. As a limit case, we obtain exact formulas for the number of representations of an arbitrary number as a sum of 4m^2/d triangles, whenever d divides 2m, and 4m(m+1)/d triangles, when d divides 2m or d divides 2m+2. This extends recent results of Getz and Mahlburg, Milne, and Zagier.


title: Equation-free, multiscale computation for unsteady random diffusion

abstract: We present an ``equation-free'' multiscale approach to the simulation of unsteady diffusion in a random medium. The diffusivity of the medium is modeled as a random field with short correlation length, and the governing equations are cast in the form of stochastic differential equations. A detailed fine-scale computation of such a problem requires discretization and solution of a large system of equations, and can be prohibitively time-consuming. To circumvent this difficulty, we propose an equation-free approach, where the fine-scale computation is conducted only for a (small) fraction of the overall time. The evolution of a set of appropriately defined coarse-grained variables (observables) is evaluated during the fine-scale computation, and ``projective integration'' is used to accelerate the integration. The choice of these coarse variables is an important part of the approach: they are the coefficients of pointwise polynomial expansions of the random solutions. Such a choice of coarse variables allows us to reconstruct representative ensembles of fine-scale solutions with "correct" correlation structures, which is a key to algorithm efficiency. Numerical examples demonstrating accuracy and efficiency of the approach are presented.


title: Gerbes, 2-gerbes and symplectic fibrations

abstract: Let (F,u)\to P\to N be a symplectic fibration in math.SG/0503268 McDuff has defined a subgroup Ham^s(F,u) of the group of symplectic automorphisms of(F,u). She has shown that the cohomology class [u] of u can be extended to P if and only if the symplectic fibration has an Ham^s reduction. To show this result, she constructs a class who represents the obstruction to extend u. This class can be identified to a 3-class of P using a spectral sequence. The purpose of this paper is to define a 2-gerbe whose classifying cocycle is the class defined by McDuff. To define this 2-gerbe, we construct fundamental gerbes in Dirac geometry which represents the obstruction of [u] to be exact or integral. Using this gerbes we propose a quantization of symplectic manifolds


title: Diagonal Stability for a Class of Interconnected Passive Systems

abstract: We consider a class of matrices with a specific structure that arises, among other examples, in dynamic models for biological regulation of enzyme synthesis (Tyson and Othmer, 1978). We first show that a stability condition given in (Tyson and Othmer, 1978) is in fact a necessary and sufficient condition for diagonal stability of this class of matrices. We then revisit a recent generalization of (Tyson and Othmer, 1978) to nonlinear systems given in (Sontag, 2005), and recover the same stability condition using our diagonal stability result. Unlike the input-output based arguments employed in (Sontag, 2005), our proof gives a procedure to construct a Lyapunov function. Finally we study static nonlinearities that appear in the feedback path, and give a stability condition that mimics the Popov criterion.


title: Formalite $G_\infty$ adaptee et star-representations sur des sous-varietes coisotropes

abstract: Let X be a Poisson manifold and C a coisotropic submanifold and let I be the vanishing ideal of C. In this work we want to construct a star product * on X such that I[[lambda]] is a left ideal for *. Thus we obtain a representation of the star product algebra A[[lambda]] = C^\infty(X)[[lambda]] on B[[lambda]] = A[[lambda]] / I[[lambda]] deforming the usual representation of A on the functions on C. The result follows from a generalization of Tamarkin's formality adapted to the submanifold C. We show that in the case X = R^n and C = R^{n-l} with l > 1 there are no obstructions to this formality.


title: Finite Form of the Quintuple Product Identity

abstract: The celebrated quintuple product identity follows surprisingly from an almost-trivial algebraic identity, which is the limiting case of the terminating q-Dixon formula.


title: Labeled binary planar trees and quasi-Lie algebras

abstract: We study the natural map eta between a group of binary planar trees whose leaves are labeled by elements of a free abelian group H and a certain group D(H) derived from the free Lie algebra over H. Both of these groups arise in several different topological contexts. The map eta is known to be an isomorphism over Q, but not over Z. We determine its cokernel and attack the conjecture that it is injective.


title: Monotone periodic orbits for torus homeomorphisms

abstract: Let f be a homeomorphism of the torus isotopic to the identity and suppose that there exists a periodic orbit with a non-zero rotation vector (p/q,r/q), then f has a topologically monotone periodic orbit with the same rotation vector.


title: On the logarithmic factor in error term estimates in certain additive congruence problems

abstract: We remove logarithmic factors in error term estimates in asymptotic formulas for the number of solutions of a class of additive congruences modulo a prime number.


title: Galois structure of homogeneous coordinate rings

abstract: Suppose $G$ is a finite group acting on a projective scheme $X$ over a commutative Noetherian ring $R$. We study the $RG$-modules $\HH^0(X,\mathcal{F} \otimes \mathcal{L}^n)$ when $n \ge 0$, and $\mathcal{F}$ and $\mathcal{L}$ are coherent $G$-sheaves on $X$ such that $\mathcal{L}$ is an ample line bundle. We show that the classes of these modules in the Grothendieck group $G_0(RG)$ of all finitely generated $RG$-modules lie in a finitely generated subgroup. Under various hypotheses, we show that there is a finite set of indecomposable $RG$-modules such that each $\HH^0(X,\mathcal{F} \otimes \mathcal{L}^n)$ is a direct sum of these indecomposables, with multiplicites given by generalized Hilbert polynomials for $n >> 0$.


title: Cohomology of the Grothendieck construction

abstract: We consider cohomology of small categories with coefficients in a natural system in the sense of Baues and Wirsching. For any funtor L: K -> CAT, we construct a spectral sequence abutting to the cohomology of the Grothendieck construction of L in terms of the cohomology of K and of L(k), for k an object in K.


title: Continuity and Stability of families of figure eight orbits with finite angular momentum

abstract: Numerical solutions are presented for a family of finite angular momentum orbits with three equal masses which connects the classical circular Lagrange orbit with the recently discovered planar figure eight orbit. Each member of this family is a periodic orbit in a frame rotating around the horizontal symmetry axis of the figure eight orbit. Numerical evidence is given that this family is a continuous function of the angular rotation frequency. Similar numerical solutions are also found for n>3 equal masses, where n is an odd integer. Finite angular momentum orbits also have been obtained for rotations along the two other symmetry axis of the figure eight orbit. The stability of these orbits is examined numerically without the restriction to a linear approximation.


title: A Riemann-Hilbert approach to some theorems on Toeplitz operators and orthogonal polynomials

abstract: In this paper the authors show how to use Riemann-Hilbert techniques to prove various results, some old, some new, in the theory of Toeplitz operators and orthogonal polynomials on the unit circle (OPUC's). There are four main results: the first concerns the approximation of the inverse of a Toeplitz operator by the inverses of its finite truncations. The second concerns a new proof of the `hard' part of Baxter's theorem, and the third concerns the Born approximation for a scattering problem on the lattice $\mathbb{Z}_+$. The fourth and final result concerns a basic proposition of Golinskii-Ibragimov arising in their analysis of the Strong Szeg\"{o} Limit Theorem.


title: Recurrences for elliptic hypergeometric integrals

abstract: In recent work (math.QA/0309252) on multivariate hypergeometric integrals, the author generalized a conjectural integral formula of van Diejen and Spiridonov to a ten parameter integral provably invariant under an action of the Weyl group E_7. In the present note, we consider the action of the affine Weyl group, or more precisely, the recurrences satisfied by special cases of the integral. These are of two flavors: linear recurrences that hold only up to dimension 6, and three families of bilinear recurrences that hold in arbitrary dimension, subject to a condition on the parameters. As a corollary, we find that a codimension one special case of the integral is a tau function for the elliptic Painlev\'e equation.


title: Graph-Based Models for Kirchberg Algebras

abstract: We give a construction of Kirchberg algebras from graphs. By using product graphs in the construction we are able to provide models for general (UCT) Kirchberg algebras while maintaining the explicit generators and relations of the underlying graphs.


title: Non-cyclotomic Presentations of Modules and Prime-order Automorphisms of Kirchberg Algebras

abstract: We prove the following theorem: let $A$ be a UCT Kirchberg algebra, and let $\alpha$ be a prime-order automorphism of $K_*(A)$, with $\alpha([1_A])=[1_A]$ in case $A$ is unital. Then $\alpha$ is induced from an automorphism of $A$ having the same order as $\alpha$. This result is extended to certain instances of an equivariant inclusion of Kirchberg algebras. As a crucial ingredient we prove the following result in representation theory: every module over the integral group ring of a cyclic group of prime order has a natural presentation by generalized lattices with no cyclotomic summands.


title: On The 1+2 Dimensional Landau-Lifshitz Equation

abstract: By using the geometric concept of PDEs with prescribed curvature representations, we show that the 1+2 dimensional Landau-Lifshitz equation is gauge equivalent to a 1+2 dimensional nonlinear Schr\"odinger-type system. From the nonlinear Schr\"odinger-type system, we construct blowing up $H^3({\bf R}^2)$-solutions to the 1+2 dimensional Landau-Lifshitz equation, which reveals the blow up phenomenon of the equation.


title: Mertens' Proof of Mertens' Theorem

abstract: We present a self-contained elementary and detailed exposition of Mertens' own proof of his theorem on the divergence of the series of the reciprocals of the primes and compare it with the modern proofs. His proof contains explicit numerical error estimates and computations of the Mertens "constant," both of which are missing from modern expositions. In as much as his strategy and techniques are quite different from today's methods, his original methods deserve to be better known.


title: On some noncommutative algebras related to K-theory of flag varieties, part I

abstract: For any Lie algebra of classical type or type $G_2$ we define a $K$-theoretic analog of Dunkl's elements, the so-called truncated {\it Ruijsenaars-Schneider-Macdonald elements}, $RSM$-elements for short, in the corresponding {\it Yang-Baxter group}, which form a commuting family of elements in the latter. For the root systems of type $A$ we prove that the subalgebra of the {\it bracket algebra} generated by the RSM-elements is isomorphic to the Grothendieck ring of the flag variety. In general, we prove that the subalgebra generated by the {\it images} of the RSM-elements in the corresponding {\it Nichols-Woronowicz algebra} is canonically isomorphic to the Grothendieck ring of the corresponding flag varieties of classical type or of type $G_2$. In other words, we construct the ``Nichols-Woronowicz algebra model'' for the Grothendieck Calculus on Weyl groups of classical type or type $G_2,$ providing a partial generalization of some recent results by Y. Bazlov. We also give a conjectural description (theorem for type $A$) of a commutative subalgebra generated by the {\it truncated RSM-elements} in the bracket algebra for the classical root systems. Our results provide a proof and generalizations of recent conjecture and result by C. Lenart and A. Yong for the root system of type $A$.


title: Group-theoretic compactification of Bruhat-Tits buildings

abstract: Let GF denote the rational points of a semisimple group G over a non-archimedean local field F, with Bruhat-Tits building X. This paper contains five main results. We prove a convergence theorem for sequences of parahoric subgroups of GF in the Chabauty topology, which enables to compactify the vertices of X. We obtain a structure theorem showing that the Bruhat-Tits buildings of the Levi factors all lie in the boundary of the compactification. Then we obtain an identification theorem with the polyhedral compactification (previously defined in analogy with the case of symmetric spaces). We finally prove two parametrization theorems extending the BruhatTits dictionary between maximal compact subgroups and vertices of X: one is about Zariski connected amenable subgroups, and the other is about subgroups with distal adjoint action.


title: Uniqueness and multiplicity of infinite clusters

abstract: The Burton--Keane theorem for the almost-sure uniqueness of infinite clusters is a landmark of stochastic geometry. Let $\mu$ be a translation-invariant probability measure with the finite-energy property on the edge-set of a $d$-dimensional lattice. The theorem states that the number $I$ of infinite components satisfies $\mu(I\in\{0,1\})=1$. The proof is an elegant and minimalist combination of zero--one arguments in the presence of amenability. The method may be extended (not without difficulty) to other problems including rigidity and entanglement percolation, as well as to the Gibbs theory of random-cluster measures, and to the central limit theorem for random walks in random reflecting labyrinths. It is a key assumption on the underlying graph that the boundary/volume ratio tends to zero for large boxes, and the picture for non-amenable graphs is quite different.


title: Schubert Calculus via Hasse-Schmidt Derivations

abstract: A natural Hasse-Schmidt derivation on the exterior algebra of a free module realizes the (small quantum) cohomology ring of the grassmannian $G_k(\CC^n)$ as a ring of operators on the exterior algebra of a free module of rank $n$. Classical Pieri's formula can be interpreted as Leibniz's rule enjoyed by special Schubert cycles with respect to the wedge product.


title: On contractive projections in Hardy spaces

abstract: We prove a conjecture of Wojtaszczyk that for $1\leq p<\infty$, $p\neq 2$, $H_p(\mathbbT)$ does not admit any norm one projections with dimension of the range finite and bigger than 1. This implies in particular that for $1\leq p<\infty$, $p\ne 2$, $H_p$ does not admit a Schauder basis with constant one.


title: Non-abelian extensions of infinite-dimensional Lie groups

abstract: In this paper we study non-abelian extensions of a Lie group $G$ modeled on a locally convex space by a Lie group $N$. The equivalence classes of such extension are grouped into those corresponding to a class of so-called smooth outer actions $S$ of $G$ on $N$. If $S$ is given, we show that the corresponding set $\Ext(G,N)_S$ of extension classes is a principal homogeneous space of the locally smooth cohomology group $H^2_{ss}(G,Z(N))_S$. To each $S$ a locally smooth obstruction class $\chi(S)$ in a suitably defined cohomology group $H^3_{ss}(G,Z(N))_S$ is defined. It vanishes if and only if there is a corresponding extension of $G$ by $N$. A central point is that we reduce many problems concerning extensions by non-abelian groups to questions on extensions by abelian groups, which have been dealt with in previous work. An important tool is a Lie theoretic concept of a smooth crossed module $\alpha : H \to G$, which we view as a central extension of a normal subgroup of $G$.


title: A rigidity theorem for preLie algebras

abstract: In this paper we prove a ``Leray theorem'' for preLie algebras. We define a notion of ''Hopf'' preLie algebra: it is a preLie algebra together with a non associative permutative coproduct D and a compatibility relation between the preLie product and the coproduct D. A nonassociative permutative algebra is a vector space together with a product satisfying the relation (ab)c=(ac)b. A non associative permutative coalgebra is the dual notion. We prove that any such graded connected "Hopf" preLie algebra is a free preLie algebra. It uses the description of preLie algebras in term of rooted trees developped by Chapoton and the author. We interpret also this theorem by way of cogroups in the category of preLie algebras.


title: On the Robin problem in fractal domains

abstract: We study the solution to the Robin boundary problem for the Laplacian in a Euclidean domain. We present some families of fractal domains where the infimum of the solution is greater than 0, and some other families of domains were it is equal to 0. We also give a new result on `trap domains', i.e., domains where reflecting Brownian motion takes a long time to reach the center of the domain.


title: Characterization of the solution to a constrained H-infinity optimal control problem

abstract: This paper characterizes the solution to a finite horizon min-max optimal control problem where the system is linear and discrete-time with control and state constraints, and the cost quadratic; the disturbance is negatively costed, as in the standard H-infinity problem, and is constrained. The cost is minimized over control policies and maximized over disturbance sequences so that the solution yields a feedback control. It is shown that the value function is piecewise quadratic and the optimal control policy piecewise affine, being quadratic and affine, respectively, in polytopes that partition the domain of the value function.


title: Arrays and the octahedron recurrence

abstract: Recently, in papers by Knutson, Tao and Woodward, Henriques and Kamnitzer, Pak and Vallejo have been constructed several interesting bijections of associativity and commutativity. In the first two papers bijections relate special sets of discretely concave functions (hives) on triangular grids and the octahedron recurrence plays the key role for these bijections. Pak and Vallejo related special sets of Young tableaux and constructions of these bijections based on standard algorithms in this theory, jeu de taquen, Schutzenberger involution, tableaux switching, etc. In this paper we investigate these constructions from the third point of view, combinatorics of arrays, theory worked out recently by the authors. Arrays naturally related as well to functions on the lattice of integers as to Young tableaux. In the tensor category of arrays, the bijections of associativity and commutativity arise naturally. We establish coincidence of our bijections with that defined in the first two papers and in the integer-valued set-up with the bijection in the third paper (that is, in particular, a solution of Conjecture 1 by Pak and Vallejo). In order to relate different approaches and to reveal combinatorics of the octahedron recurrence, we, first, show that the octahedron recurrence agrees with discrete convexity and, second, we construct another bijection using the octahedron recurrence, the functional form of the RSK correspondence.


title: Curves of constant diameter and inscribed polygons

abstract: A simple closed curve in the Euclidean plane is said to have property C_n(R) if at each point we can inscribe a unique regular $n$-gon with edges length $R$. C_2(R) is equivalent to having constant diameter. We show that smooth curves satisfying C_n(R) other than the circle do exist for all n, and that the circle is the only $C^2$ regular curve satisfying C_2(R) and C_4(R') where $R'=R/\sqrt{2}$. In an addendum, we show that the last assertion holds for any R and R'. The proofs use only elementary differential calculus and geometry.


title: The Auslander-Reiten Translation in Submodule Categories

abstract: Let $\Lambda$ be an artin algebra and $S(\Lambda)$ the category of all embeddings $(A\subseteq B)$ where $B$ is a finitely generated $\Lambda$-module and $A$ is a submodule of $B$. Then $S(\Lambda)$ is an exact Krull-Schmidt category which has Auslander-Reiten sequences. In this manuscript we show that the Auslander-Reiten translation in $S(\Lambda)$ can be computed within the category of $\Lambda$-modules by using our construction of minimal monomorphisms. If in addition $\Lambda$ is uniserial then any nonprojective indecomposable object in $\Cal S(\Lambda)$ is invariant under the sixth power of the Auslander-Reiten translation.


title: Quantum Double of Yangian of Lie Superalgebra $A(m,n)$ and computation of Universal $R$-matrix

abstract: Yangian Double $DY(A(m,n))$ of Lie Superalgebra $A(m,n)$ is described in terms of generators and defining relations. It is proved triangular decomposition for Yangian $Y(A(m,n))$ and its quantum double $DY(A(m,n))$ as a corollary of PBW theorem. It is introduced the normally ordered bases in Yangian and its dual Hopf superalgebra in quantum double. It is calculated the pairing formulas between the elements of its bases. It is received the formula of Universal $R$-matrix of Yangian Double. The formula for Universal $R$-matrix of Yangian, which was introduced by V. Drinfel'd, is received also.


title: A conjecture on rational approximations to rational points

abstract: In this paper, we examine how well a rational point P on an algebraic variety X can be approximated by other rational points. We conjecture that if P lies on a rational curve, then the best approximations to P on X can be chosen to lie along a rational curve. We prove this conjecture for a wide range of examples, and for a great many more examples we deduce our conjecture from Vojta's Main Conjecture.


title: Operator Holes and extensions of sectorial operators and dual pairs of contractions

abstract: A description of the set of $m$-sectorial extensions of a dual pair $\{A_1,A_2\}$ of nonnegative operators is obtained. Some classes of nonaccretive extensions of the dual pair $\{A_1,A_2\}$ are described too. Both problems are reduced to similar problems for a dual pair $\{T_1,T_2\}$ of nondensely defined symmetric contractions $T_j=(I-A_j)(I+A_j)^{-1},\ j\in\{1,2\}$. In turn these problems are reduced to the investigation of the corresponding operator "holes". A complete description of the set of all proper and improper extensions of a nonnegative operator is obtained too.


title: The C-polynomial of a knot

abstract: In an earlier paper the first author defined a non-commutative A-polynomial for knots in 3-space, using the colored Jones function. The idea is that the colored Jones function of a knot satisfies a non-trivial linear q-difference equation. Said differently, the colored Jones function of a knot is annihilated by a non-zero ideal of the Weyl algebra which is generalted (after localization) by the non-commutative A-polynomial of a knot. In that paper, it was conjectured that this polynomial (which has to do with representations of the quantum group U_q(SL_2)) specializes at q=1 to the better known A-polynomial of a knot, which has to do with genuine SL_2(C) representations of the knot complement. Computing the non-commutative A-polynomial of a knot is a difficult task which so far has been achieved for the two simplest knots. In the present paper, we introduce the C-polynomial of a knot, along with its non-commutative version, and give an explicit computation for all twist knots. In a forthcoming paper, we will use this information to compute the non-commutative A-polynomial of twist knots. Finally, we formulate a number of conjectures relating the A, the C-polynomial and the Alexander polynomial, all confirmed for the class of twist knots.


title: Birational isomorphisms between twisted group actions

abstract: Let X be an algebraic variety with a generically free action of a connected algebraic group G. Given an automorphism u of G, we will denote by X^u the same variety X with the G-action given by twisted by u. V. L. Popov asked if X and X^u are always G-equivariantly birationally isomorphic. We construct examples to show that this is not the case in general, but we prove that X and X^u are always stably birationally isomorphic, i.e., birationally isomorphic after taking products with an affine space with trivial G-action.


title: Polynomial approximation, local polynomial convexity, and degenerate CR singularities

abstract: We begin with the following question: given a closed disc $\bar{D}$ in the complex plane and a complex-valued function F in $C(\bar{D})$, is the uniform algebra on $\bar{D}$ generated by z and F equal to $C(\bar{D})$ ? When F is in $C^1(\bar{D})$, this question is complicated by the presence of points in the surface S:=graph(F) that have complex tangents. Such points are called CR singularities. Let $p\in S$ be a CR singularity at which the order of contact of the tangent plane with S is greater than 2; i.e. a degenerate CR singularity. We provide sufficient conditions for S to be locally polynomially convex at the degenerate singularity p. This is useful because it is essential to know whether S is locally polynomially convex at a CR singularity in order to answer the initial question. To this end, we also present a general theorem on the uniform algebra generated by z and F, which we use in our investigations. This result may be of independent interest because it is applicable even to non-smooth, complex-valued F.


title: Semidefinite Programming and Reachable Sets of Dissipative Bilinear Control Systems

abstract: In this manuscript, we investigate optimal control problems which arise in connection with manipulation of dissipative quantum dynamics. These problems motivate the study of a class of dissipative bilinear control systems. For these systems it is shown that the optimal solution and the reachable set can be found by solving a semidefinite program. In practice, solutions to these problems generate optimal methods for control of quantum mechanical phenomena in presence of dissipation. In the area of coherent spectroscopy, this translates into the maximum signal to noise ratio that can be obtained in a spectroscopy experiment.


title: Uniformization of Deligne-Mumford curves

abstract: We compute the fundamental groups of non-singular analytic Deligne-Mumford curves, classify the simply connected ones, and classify analytic Deligne-Mumford curves by their uniformization type. As a result, we find an explicit presentation of an arbitrary Deligne-Mumford curve as a quotient stack. Along the way, we compute the automorphism 2-groups of weighted projective stacks $\mathcal{P}(n_1,n_2,...,n_r)$. We also discuss connections with the theory of F-groups, 2-groups, and Bass-Serre theory of graphs of groups.


title: Pattern avoidance in compositions and multiset permutations

abstract: We study pattern avoidance by combinatorial objects other than permutations, namely by ordered partitions of an integer and by permutations of a multiset. In the former case we determine the generating function explicitly, for integer compositions of n that avoid a given pattern of length 3 and we show that the answer is the same for all such patterns. We also show that the number of multiset permutations that avoid a given three-letter pattern is the same for all such patterns, thereby extending and refining earlier results of Albert, Aldred et al., and by Atkinson, Walker and Linton. Further, the number of permutations of a multiset S, with a_i copies of i for i = 1, ..., k, that avoid a given permutation pattern in S_3 is a symmetric function of the a_i's, and we will give here a bijective proof of this fact first for the pattern (123), and then for all patterns in S_3 by using a recently discovered bijection of Amy N. Myers.


title: From the representation theory of vertex operator algebras to modular tensor categories in conformal field theory

abstract: This is an expository article invited for the ``Commentary'' section of PNAS in connection with Y.-Z. Huang's article, ``Vertex operator algebras, the Verlinde conjecture, and modular tensor categories,'' appearing in the same issue of PNAS. Huang's solution of the mathematical problem of constructing modular tensor categories from the representation theory of vertex operator algebras is very briefly discussed, along with background material. The hypotheses of the theorems entering into the solution are very general, natural and purely algebraic, and have been verified in a wide range of familiar examples, while the theory itself is heavily analytic and geometric as well as algebraic.


title: On the probability of satisfying a word in a group

abstract: We show that for any finite group $G$ and for any $d$ there exists a word $w\in F_{d}$ such that a $d$-tuple in $G$ satisfies $w$ if and only if it generates a solvable subgroup. In particular, if $G$ itself is not solvable, then it cannot be obtained as a quotient of the one relator group $F_{d}/<w>$. As a corollary, the probability that a word is satisfied in a fixed non-solvable group can be made arbitrarily small, answering a question of Alon Amit.


title: Amenability, completely bounded projections, dynamical systems and smooth orbits

abstract: We describe a general method to construct completely bounded idempotent mappings on operator spaces, starting from amenable semigroups of completely bounded mappings. We then explore several applications of that method to injective operator spaces, fixed points of completely contractive mappings, Toeplitz operators, dynamical systems and similarity orbits of group representat ions.


title: A Nonvanishing Theorem for Q-divisors

abstract: We prove a non-vanishing theorem of the cohomology H^0 of the adjoint divisor K_X + L' where L' is the round up of a nef and big Q-divisor L.


title: Stability of solutions of BSDEs with random terminal time

abstract: In this paper, we study the stability of the solutions of Backward Stochastic Differential Equations (BSDE for short) with an almost surely finite random terminal time. More precisely, we are going to show that if $(W^n)$ is a sequence of scaled random walks or a sequence of martingales that converges to a Brownian motion $W$ and if $(\tau^n)$ is a sequence of stopping times that converges to a stopping time $\tau$, then the solution of the BSDE driven by $W^n$ with random terminal time $\tau^n$ converges to the solution of the BSDE driven by $W$ with random terminal time $\tau$.


title: Exponential sums over definable subsets of finite fields

abstract: We prove some general estimates for exponential sums over subsets of finite fields which are definable in the language of rings. This generalizes both the classical exponential sum estimates over varieties over finite fields due to Weil, Deligne and others, and the result of Chatzidakis, van den Dries and Macintyre concerning the number of points of those definable sets. As a first application, there is no formula in the language of rings that defines for infinitely many primes an ``interval'' in Z/pZ that is neither bounded nor with bounded complement.


title: Remarks on the Extremal Functions for the Moser-Trudinger Inequalities

abstract: We will show in this paper that if $\lambda$ is very close to 1, then $$I(M,\lambda,m)= \sup_{u\in H^{1,n}_0(M) ,\int_M|\nabla u|^ndV=1}\int_\Omega (e^{\alpha_n |u|^\frac{n}{n-1}}-\lambda\sum\limits_{k=1}^m\frac{|\alpha_nu^\frac{n}{n-1}|^k} {k!})dV,$$ can be attained, where $M$ is a compact manifold with boundary. This result gives a counter example to the conjecture of de Figueiredo, do \'o, and Ruf in their paper titled "On a inequality by N.Trudinger and J.Moser and related elliptic equations" (Comm. Pure. Appl. Math.,{\bf 55}:135-152, 2002).


title: Convergence of values in optimal stopping and convergence of optimal stopping times

abstract: Under the hypothesis of convergence in probability of a sequence of c\`{a}dl\`{a}g processes $(X^n)\_n$ to a c\`{a}dl\`{a}g process $X$, we are interested in the convergence of corresponding values in optimal stopping and also in the convergence of optimal stopping times. We give results under hypothesis of inclusion of filtrations or convergence of filtrations.


title: A Canonical Frame for Nonholonomic Rank Two Distributions of Maximal Class

abstract: In 1910 E. Cartan constructed the canonical frame and found the most symmetric case for maximally nonholonomic rank 2 distributions on a 5-dimensional manifold. We solve the analogous problems for rank 2 distributions on an n-dimensional manifold for arbitrary n greater than 5. Our method is a kind of symplectification of the problem and it is completely different from the Cartan method of equivalence.


title: Maxwell's Equations with Scalar Impedance: Inverse Problems with data given on a part of the boundary

abstract: We study Maxwell's equations in time domain in an anisotropic medium. The goal of the paper is to solve an inverse boundary value problem for anisotropies characterized by scalar impedance $\alpha$. This means that the material is conformal, i.e., the electric permittivity $\epsilon$ and magnetic permeability $\mu$ are tensors satisfying $\mu =\alpha^2\epsilon$. This condition is equivalent to a single propagation speed of waves with different polarizations which uniquely defines an underlying Riemannian structure. The analysis is based on an invariant formulation of the system of electrodynamics as a Dirac type first order system on a Riemannian $3-$manifold with an additional structure of the wave impedance, $(M,g,\alpha)$, where $g$ is the travel-time metric. We study the properties of this system in the first part of the paper. In the second part we consider the inverse problem, that is, the determination of $(M,g,\alpha)$ from measurements done only on an open part of the boundary and on a finite time interval. As an application, in the isotropic case with $M\subset \R^3$, we prove that the boundary data given only on an open part of the boundary determine uniquely the domain $M$ and the coefficients $\epsilon$ and $\mu$.


title: Formality of the complements of subspace arrangements with geometric lattices

abstract: We show that, for an arrangement of subspaces in a complex vector space with geometric intersection lattice, the complement of the arrangement is formal. We prove that the Morgan rational model for such an arrangement complement is formal as a differential graded algebra.


title: A lower bound for coherences on the Brown-Peterson spectrum

abstract: We provide a lower bound for the coherence of the homotopy commutativity of the Brown-Peterson spectrum, BP, at a given prime p and prove that it is at least (2p^2 + 2p - 2)-homotopy commutative. We give a proof based on Dyer-Lashof operations that BP cannot be a Thom spectrum associated to n-fold loop maps to BSF for n=4 at 2 and n=2p+4 at odd primes. Other examples where we obtain estimates for coherence are the Johnson-Wilson spectra, localized away from the maximal ideal and unlocalized. We close with a negative result on Morava-K-theory.


title: Navier-Stokes Equation on the Rectangle

abstract: We study controllability issues for the Navier-Stokes Equation on a two dimensional rectangle with so-called Lions boundary conditions. Rewriting the Equation using a basis of harmonic functions we arrive to an infinite-dimensional system of ODEs. Methods of Geometric/Lie Algebraic Control Theory are used to prove controllability by means of low modes forcing of finite-dimensional Galerkin approximations of that system. Proving the continuity of the ``control $\mapsto$ solution'' map in the so-called relaxation metric we use it to prove both solid controllability on observed component and $\mathbf L^2$-approximate controllability of the Equation (full system) by low modes forcing.


title: Bounded domains which are universal for minimal surfaces

abstract: We construct open domains in Euclidean 3-space which do not admit complete properly immersed minimal surfaces with an annular end. These domains can not be smooth by a recent result of Martin and Morales


title: On removing one point from a compact space

abstract: If B is a compact space and B\{pt} is Lindelof then B^k\{pt} is star-Linedlof for every cardinality k. If B\{pt} is compact then B^k\{pt} is discretely star-Lindelof. In particular, this gives new examples of Tychonoff discretely star-Lindelof spaces with unlimited extent.


title: Kalai orientations on matroid polytopes

abstract: Let P a polytope and let G(P) be the graph of P. Following Gil Kalai, we say that an acyclic orientation O of G(P) is good if, for every non-empty face F of P, the induced graph G(F) has exactly one sink. Gil Kalai gave a simple way to tell a simple polytope from the good orientations of its graph. This article is a broader study of ``good orientations'' (of the graphs) on matroid polytopes.


title: Boundedness of pluricanonical maps of varieties of general type

abstract: We prove that there is a fixed constant r=r_n, such that if X is a variety of general type, then the rth pluricanonical map is birational.


title: Curve complexes and finite index subgroups of mapping class groups

abstract: Let Mod(S) be the extended mapping class group of a surface S. For S the twice-punctured torus, we show that there exists an isomorphism of finite index subgroups of Mod(S) which is not the restriction of an inner automorphism. For S a torus with at least three punctures, we show that every injection of a finite index subgroup of Mod(S) into Mod(S) is the restriction of an inner automorphism; this completes a program begun by Irmak. For all of the above surfaces, we establish the co-Hopf property for finite index subgroups of Mod(S).


title: Toda lattice, cohomology of compact Lie groups and finite Chevalley groups

abstract: In this paper, we describe a connection that exists among (a) the number of singular points along the trajectory of Toda flow, (b) the cohomology of a compact subgroup $K$, and (c) the number of points of a Chevalley group $K({\mathbb F}_q)$ related to $K$ over a finite field ${\mathbb F}_q$. The Toda lattice is defined for a real split semisimple Lie algebra $\mathfrak g$, and $K$ is a maximal compact Lie subgroup of $G$ associated to $\mathfrak g$. Relations are also obtained between the singularities of the Toda flow and the integral cohomology of the real flag manifold $G/B$ with $B$ the Borel subgroup of $G$ (here we have $G/B=K/T$ with a finite group $T$). We also compute the maximal number of singularities of the Toda flow for any real split semisimple algebra, and find that this number gives the multiplicity of the singularity at the intersection of the varieties defined by the zero set of Schur polynomials.


title: Shokurov's Rational Connectedness Conjecture

abstract: We prove a conjecture of V. V. Shokurov which in particular implies that the fibers of a resolution of a variety with divisorial log terminal singularities are rationally chain connected.


title: The Spectral Theorem for Bimodules in Higher Rank Graph C*-algebras

abstract: In this note we extend the spectral theorem for bimodules to the higher rank graph C*-algebra context. Under the assumption that the graph is row finite and has no sources, we show that a bimodule over a natural abelian subalgebra is determined by its spectrum iff it is generated by the Cuntz-Krieger partial isometries which it contains iff the bimodule is invariant under the gauge automorphisms. We also show that the natural abelian subalgebra is a masa iff the higher rank graph satisfies an aperiodicity condition.


title: A Generalization of Level-Raising Congruences for Algebraic Modular Forms

abstract: In this paper we prove a general theorem about congruences between automorphic forms on a reductive group G which is compact at infinity modulo the center. If the rank is one, this essentially reduces to Ribet's level-raising theorem. We then specialize to the higher rank case where G is an inner form of GSp(4). Here we get congruences with automorphic forms having a generic local component. In particular, a Saito-Kurokawa form is congruent to a form which is not of Saito-Kurokawa type. We get similar results for U(3) at split primes.


title: Sharp Transition Between Extinction and Propagation of Reaction

abstract: We consider the reaction-diffusion equation \[ T_t = T_{xx} + f(T) \] on $\bbR$ with $T_0(x) \equiv \chi_{[-L,L]} (x)$ and $f(0)=f(1)=0$. In 1964 Kanel' proved that if $f$ is an ignition non-linearity, then $T\to 0$ as $t\to\infty$ when $L<L_0$, and $T\to 1$ when $L>L_1$. We answer the open question of relation of $L_0$ and $L_1$ by showing that $L_0=L_1$. We also determine the large time limit of $T$ in the critical case $L=L_0$, thus providing the phase portrait for the above PDE with respect to a 1-parameter family of initial data. Analogous results for combustion and bistable non-linearities are proved as well.


title: Three models for the homotopy theory of homotopy theories

abstract: Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the "homotopy theory" of the model category. There is a model category structure on the category of simplicial categories, so taking its simplicial localization yields a "homotopy theory of homotopy theories." In this paper we show that there are two different categories of diagrams of simplicial sets, each equipped with an appropriate definition of weak equivalence, such that the resulting homotopy theories are each equivalent to the homotopy theory arising from the model category structure on simplicial categories. Thus, any of these three categories with their respective weak equivalences could be considered a model for the homotopy theory of homotopy theories. One of them in particular, Rezk's complete Segal space model category structure on the category of simplicial spaces, is much more convenient from the perspective of making calculations and therefore obtaining information about a given homotopy theory.


title: Notes on Theory of Quadratic Residues

abstract: The Law of Quadratic Reciprocity was conjectured by Euler and Legendre who both found an incomplete proof. Gauss called this law "Theorema Fundamentale", and he was the first who gave a complete proof, he also highlighted the equivalence of his formulation with those of Euler and Legrendre. Hereby notes gives a overview of the Theory of Quadratic Residues using a classical approach with some application to Diophantine Equations, such as Two Square Theorem and Pythagorean Quadruplets.


title: Small Gaps Between Primes I

abstract: We use short divisor sums to approximate prime tuples and moments for primes in short intervals. By connecting these results to classical moment problems we are able to prove that a positive proportion of consecutive primes are within a quarter of the average spacing between primes.


title: Algebraic Nijenhuis operators and Kronecker Poisson pencils

abstract: We give a criterion of (micro-)kroneckerity of the linear Poisson pencil on $\frak{g}^*$ related to an algebraic Nijenhuis operator $N:\frak{g}\to \frak{g}$ on a finite-dimensional Lie algebra $\frak{g}$. As an application we get a series of examples of completely integrable systems on semisimple Lie algebras related to Borel subalgebras and a new proof of the complete integrability of the free rigid body system on $\frak{gl}_n$.


title: Simplicial volume of closed locally symmetric spaces of non-compact type

abstract: We show that compact, locally symmetric spaces of non-compact type have positive simplicial volume. This gives a positive answer to a question that was first raised by Gromov in 1982. We provide a summary of results that are known to follow from positivity of the simplicial volume.


title: Well posedness for the motion of a compressible liquid with free surface boundary

abstract: We study the motion of a compressible perfect liquid body in vacuum. This can be thought of as a model for the motion of the ocean or a star. The free surface moves with the velocity of the liquid and the pressure vanishes on the free surface. This leads to a free boundary problem for Euler's equations, where the regularity of the boundary enters to highest order. We prove local existence in Sobolev spaces assuming a "physical condition", related to the fact that the pressure of a fluid has to be positive.


title: Gorenstein dimension of modules over homomorphisms

abstract: Given a homomorphism of commutative noetherian rings R --> S and an S-module N, it is proved that the Gorenstein flat dimension of N over R, when finite, may be computed locally over S. When, in addition, the homomorphism is local and N is finitely generated over S, the Gorenstein flat dimension equals sup{m | Tor^R_m(E,N) \noteq 0} where E is the injective hull of the residue field of R. This result is analogous to a theorem of Andr\'e on flat dimension.


title: The Erdos and Campbell-Staton conjectures about square packing

abstract: Put n open non-overlapping squares inside a unit square, and let f(n) denote the maximum possible value of the sum of the side lengths of the n squares. Campbell and Staton, building on a question of Erdos, conjectured that f(k^2+2c+1)=k+c/k, where c is any integer and k\geq |c|. We show that if this conjecture is true for one value of c, then it is true for all values of c.


title: Matchings Avoiding Partial Patterns

abstract: We show that matchings avoiding certain partial patterns are counted by the 3-Catalan numbers. We give a characterization of 12312-avoiding matchings in terms of restrictions on the corresponding oscillating tableaux. We also find a bijection between Schr\"oder paths without peaks at level one and matchings avoiding both patterns 12312 and 121323. Such objects are counted by the super-Catalan numbers or the little Schr\"{o}der numbers. A refinement of the super-Catalan numbers is obtained by fixing the number of crossings in the matchings. In the sense of Wilf-equivalence, we find that the patterns 12132, 12123, 12321, 12231, 12213 are equivalent to 12312.


title: Enveloping algebras of Slodowy slices and the Joseph ideal

abstract: We study general properties of quantisations of Slodowy slices and discuss in detail the case of the minimal nilpotent orbit. Associated varieties of related primitive ideals of U(g) are determined, in the general case, and the de Vos-van Driel conjecture on Verma modules for finite W-algebras is proved in the minimal nilpotent case.


title: On Davies' conjecture and strong ratio limit properties for the heat kernel

abstract: We study strong ratio limit properties and the exact long time asymptotics of the heat kernel of a general second-order parabolic operator which is defined on a noncompact Riemannian manifold.


title: On symplectic 4-manifolds with prescribed fundamental group

abstract: In this article we study the problem of minimizing $a\chi+b\sigma$ on the class of all symplectic 4--manifolds with prescribed fundamental group $G$ ($\chi$ is the Euler characteristic, $\sigma$ is the signature, and $a,b\in \BR$), focusing on the important cases $\chi$, $\chi+\sigma$ and $2\chi+3\sigma$. In certain situations we can derive lower bounds for these functions and describe symplectic 4-manifolds which are minimizers. We derive an upper bound for the minimum of $\chi$ and $\chi+\sigma$ in terms of the presentation of $G$.


title: Representations of non-singular planar tangles by operators

abstract: In this paper we study how to distinguish two embeddings of a finite collection of disjoint circles into the plane up to planar isotopy. We adopt the spirit of the approach by V. Turaev, Operator Invariants of Tangles, Math. USSR-Izv. 35 (1990), 411--444, by considering a category of planar tangles and representing it in an ``algebraic'' category. From this we can extract a numerical invariant for embeddings of a finite collection of disjoint circles and this invariant is, up to certain choices, complete.


title: The Universal Generating Function of Analytical Poisson Structures

abstract: The notion of generating functions of Poisson structures was first studied in math.SG/0312380.They are special functions which induce, on open subsets of $\R^d$, a Poisson structure together with the local symplectic groupoid integrating it. A universal generating function was provided in terms of a formal power series coming from Kontsevich star product. The present article proves that this universal generating function converges for analytical Poisson structures and compares the induced local symplectic groupoid with the phase space of Karasev--Maslov.


title: A Bi-Hamiltonian Structure for the Integrable, Discrete Non-Linear Schrodinger System

abstract: This paper shows that the Ablowitz-Ladik hierarchy of equations (a well-known integrable discretization of the Non-linear Schrodinger system) can be explicitly viewed as a hierarchy of commuting flows which: (a) are Hamiltonian with respect to both a standard, local Poisson operator J and a new non-local, skew, almost Poisson operator K, on the appropriate space; (b) can be recursively generated from a recursion operator R (obtained by composing K and the inverse of J.) In addition, the proof of these facts relies upon two new pivotal resolvent identities which suggest a general method for uncovering bi-Hamiltonian structures for other families of discrete, integrable equations.


title: Groups with quadratic-non-quadratic Dehn functions

abstract: We construct a finitely presented group $G$ with non-quadratic Dehn function $f$ majorizable by a quadratic function on arbitrary long intervals.


title: A finitely presented group with two non-homeomorphic asymptotic cones

abstract: We give an example of a finitely presented group $G$ with two non-$\pi_1$-equivalent asymptotic cones.


title: The halting problem is decidable on a set of asymptotic probability one

abstract: The halting problem for Turing machines is decidable on a set of asymptotic probability one. Specifically, there is a set B of Turing machine programs such that (i) B has asymptotic probability one, so that as the number of states n increases, the proportion of all n-state programs that are in B goes to one; (ii) B is polynomial time decidable; and (iii) the halting problem H intersect B is polynomial time decidable. The proof is sensitive to the particular computational model.


title: Hochschild (co)homology of exterior algebras

abstract: The minimal projective bimodule resolutions of the exterior algebras are explicitly constructed. They are applied to calculate the Hochschild (co)homology of the exterior algebras. Thus the cyclic homology of the exterior algebras can be calculated in case the underlying field is of characteristic zero. Moreover, the Hochschild cohomology rings of the exterior algebras are determined by generators and relations.


title: Analogues of Rossi's map and E. Cartan's classification of homogeneous strongly pseudoconvex 3-dimensional hypersurfaces

abstract: We introduce analogues of a map due to Rossi and show how they can be used to explicitly determine all covers of certain homogeneous strongly pseudoconvex 3-dimensional hypersurfaces that appear in the classification obtained by E. Cartan in 1932.


title: Locally compact groups built up from p-adic Lie groups, for p in a given set of primes

abstract: We analyze the structure of locally compact groups which can be built up from p-adic Lie groups, for p in a given set of primes. In particular, we calculate the scale function and determine tidy subgroups for such groups, and use them to recover the primes needed to build up the group.


title: Some Observations on the 3x+1 Problem

abstract: We present some interesting observations on the 3x+1 problem. We propose a new algorithm which eliminates certain steps while we check the action of 3x+1 procedure on a number. Also, we propose a reason why many numbers follow a similar pattern during execution of 3x+1 algorithm. We advocate towards the end (a heuristic argument) that the 3x+1 conjecture is more likely to be true than false.


title: Twisted Alexander polynomials of Plane Algebraic Curves

abstract: We consider the Alexander polynomial of a plane algebraic curve twisted by a linear representation. We show that it divides the product of the polynomials of the singularity links, for unitary representations. Moreover, their quotient is given by the determinant of its Blanchfield intersection form. Specializing in the classical case, this gives a geometrical interpretation of Libgober's divisibility Theorem. We calculate twisted polynomials for some algebraic curves and show how they can detect Zariski pairs of equivalent Alexander polynomials and that they are sensitive to nodal degenerations.


title: Extension and reconstruction theorems for the Urysohn universal metric space

abstract: We prove some extension theorems involving uniformly continuous maps of the universal Urysohn space. We also prove reconstruction theorems for certain groups of autohomeomorphisms of this space and of its open subsets.


title: Discrete differential geometry. Consistency as integrability

abstract: A new field of discrete differential geometry is presently emerging on the border between differential and discrete geometry. Whereas classical differential geometry investigates smooth geometric shapes (such as surfaces), and discrete geometry studies geometric shapes with finite number of elements (such as polyhedra), the discrete differential geometry aims at the development of discrete equivalents of notions and methods of smooth surface theory. Current interest in this field derives not only from its importance in pure mathematics but also from its relevance for other fields like computer graphics. Recent progress in discrete differential geometry has lead, somewhat unexpectedly, to a better understanding of some fundamental structures lying in the basis of the classical differential geometry and of the theory of integrable systems. The goal of this book is to give a systematic presentation of current achievements in this field.


title: On the Structure of the Weil Restriction of Abelian Varieties

abstract: We give a description of endomorphism rings of Weil restrictions of abelian varieties with respect to finite Galois extensions. The results are applied to study the isogeny decomposition of Weil restrictions.


title: Contraction of excess fibres between the McKay correspondences in dimensions two and three

abstract: The quotient singularities of dimensions two and three obtained from polyhedral groups and the corresponding binary polyhedral groups admit natural resolutions of singularities as Hilbert schemes of regular orbits whose exceptional fibres over the origin reveal similar properties. We construct a morphism between these two resolutions, contracting exactly the excess part of the exceptional fibre. This construction is motivated by the study of some pencils of K3-surfaces arising as minimal resolutions of quotients of nodal surfaces with high symmetries.


title: Multilinear function series and transforms in free probability theory

abstract: The algebra Mul[[B]] of formal multilinear function series over an algebra B and its quotient SymMul[[B]] are introduced, as well as corresponding operations of formal composition. In the setting of Mul[[B]], the unsymmetrized R- and T-transforms of random variables in B-valued noncommutative probability spaces are introduced. These satisfy properties analogous to the usual R- and T-transforms, (the latter being just the reciprocal of the S-transform), but describe all moments of a random variable, not only the symmetric moments. The partially ordered set of noncrossing linked partitions is introduced and is used to prove properties of the unsymmetrized T-transform.


title: Abelian subalgebras of von Neumann algebras from flat tori in locally symmetric spaces

abstract: Consider a compact locally symmetric space $M$ of rank $r$, with fundamental group $\Gamma$. The von Neumann algebra $\vn(\Gamma)$ is the convolution algebra of functions $f\in\ell_2(\Gamma)$ which act by left convolution on $\ell_2(\Gamma)$. Let $T^r$ be a totally geodesic flat torus of dimension $r$ in $M$ and let $\Gamma_0\cong\bb Z^r$ be the image of the fundamental group of $T^r$ in $\Gamma$. Then $\vn(\Gamma_0)$ is a maximal abelian $\star$-subalgebra of $\vn(\Gamma)$ and its unitary normalizer is as small as possible. If $M$ has constant negative curvature then the Puk\'anszky invariant of $\vn(\Gamma_0)$ is $\infty$.


title: A notion of rank for unitary representations of reductive groups based on Kirillov's orbit method

abstract: We introduce a new notion of rank for unitary representations of semisimple groups over a local field of characteristic zero. The theory is based on Kirillov's method of orbits for nilpotent groups over local fields. When the semisimple group is classical, we prove that the new theory is essentially equivalent to Howe's theory of N-rank.


title: Fermionic characters of arbitrary highest-weight integrable sl_{r+1}-modules

abstract: We give a formula for the q-characters of arbitrary highest-weight integrable modules of sl_{r+1} as a linear combination of the fermionic q-characters of special fusion products of integrable modules. The coefficients in the sum are entries of the inverse matrix of generalized Kostka polynomials, which are in Z[q^{-1}]. In this paper we prove the relation between the character of the Feigin-Loktev graded tensor product and the generalized Kostka polynomial. We also prove the fermionic formula for the q-characters of the (unrestricted) fusion products of rectangular highest-weight integrable g-modules.


title: Stasis Points and Approximating Two-Cycles

abstract: Generically, every fixed point for the differential inclusion x' in ConvexHull{f_1,f_2} can be approximated by an arbitrarily small two-cycle for the inclusion x' in {f_1,f_2}, where f_1, f_2 are a C^1 flows on R^n.


title: The Lie derivative of spinor fields: theory and applications

abstract: Starting from the general concept of a Lie derivative of an arbitrary differentiable map, we develop a systematic theory of Lie differentiation in the framework of reductive G-structures P on a principal bundle Q. It is shown that these structures admit a canonical decomposition of the pull-back vector bundle i_P^*(TQ) = P\times_Q TQ over P. For classical G-structures, i.e. reductive G-subbundles of the linear frame bundle, such a decomposition defines an infinitesimal canonical lift. This lift extends to a prolongation Gamma-structure on P. In this general geometric framework the concept of a Lie derivative of spinor fields is reviewed. On specializing to the case of the Kosmann lift, we recover Kosmann's original definition. We also show that in the case of a reductive G-structure one can introduce a "reductive Lie derivative" with respect to a certain class of generalized infinitesimal automorphisms, and, as an interesting by-product, prove a result due to Bourguignon and Gauduchon in a more general manner. Next, we give a new characterization as well as a generalization of the Killing equation, and propose a geometric reinterpretation of Penrose's Lie derivative of "spinor fields". Finally, we present an important application of the theory of the Lie derivative of spinor fields to the calculus of variations.


title: Reduction of Rota's basis conjecture to a problem on three bases

abstract: Rota's basis conjecture, open since 1989, states that if B_1, B_2, ..., B_n are n bases of a vector space of rank n, then there is an nxn grid of vectors such that the vectors in the ith row are precisely the elements of B_i and such that every column is also a basis. It is shown that Rota's basis conjecture follows from a similar conjecture that involves only three bases instead of n bases: If M is a matroid of rank n that is a disjoint union of 3 bases, and I_1, ..., I_n are disjoint independent sets with |I_i| <= 3, then there exists an nx3 grid G that contains each element of M exactly once, with the elements of I_i appearing in row i, such that the three columns of G are bases of M.


title: Derivations of tensor product of algebras

abstract: We prove a theorem about the derivation algebra of the tensor product of two algebras. As an application, we determine the derivation algebra of the fixed point algebra of the tensor product of two algebras, with respect to the tensor product of two finite order automorphisms of the involved algebras. These results generalize some well-know theorems in the literature.


title: Gerbes and twisted orbifold quantum cohomology

abstract: In this article, we construct an orbifold quantum cohomology twisted by a flat gerbe. Then we compute these invariants in the case of a smooth manifold and a discrete torsion on a global quotient orbifold.


title: Decay estimates for the wave and Dirac equations with a magnetic potential

abstract: We study the dispersive properties of the wave equation and the massless Dirac equation in three space dimensions, perturbed with electromagnetic potentials. The potentials are assumed to be small but may be rough. For both equations, we prove a dispersive estimate of the form |u(t,x)|< C/t. The constant C can be estimated in terms of a weighted H^s norm of the data, for suitable values of s. As a consequence of our method of proof, we establish the limiting absorption principle for the massless Dirac operator perturbed with a small, rough matrix potential.


title: Category O over skew group rings

abstract: This paper has been withdrawn by the author; see the much expanded, improved, and generalized version at arXiv:0811.2073.


title: Formality theorems for Hochschild chains in the Lie algebroid setting

abstract: In this paper we prove Lie algebroid versions of Tsygan's formality conjecture for Hochschild chains both in the smooth and holomorphic settings. In the holomorphic setting our result implies a version of Tsygan's formality conjecture for Hochschild chains of the structure sheaf of any complex manifold and in the smooth setting this result allows us to describe quantum traces for an arbitrary Poisson Lie algebroid. The proofs are based on the use of Kontsevich's quasi-isomorphism for Hochschild cochains of R[[y_1,...,y_d]], Shoikhet's quasi-isomorphism for Hochschild chains of R[[y_1,...,y_d]], and Fedosov's resolutions of the natural analogues of Hochschild (co)chain complexes associated with a Lie algebroid.


title: Lax Operator for the Quantised Orthosymplectic Superalgebra U_q[osp(m|n)]

abstract: Representations of quantum superalgebras provide a natural framework in which to model supersymmetric quantum systems. Each quantum superalgebra, belonging to the class of quasi-triangular Hopf superalgebras, contains a universal R-matrix which automatically satisfies the Yang--Baxter equation. Applying the vector representation, which acts on the vector module V, to the left-hand side of a universal R-matrix gives a Lax operator. In this Communication a Lax operator is constructed for the quantised orthosymplectic superalgebras U_q[osp(m|n)] for all m > 2, n >\geq 0 where n is even. This can then be used to find a solution to the Yang--Baxter equation acting on V\otimes V\otimes W, where W is an arbitrary U_q[osp(m|n)] module. The case W=V is studied as an example.


title: Parametrizing distinguished varieties

abstract: A distinguished variety is a variety that exits the bidisk through the distinguished boundary. We look at the moduli space for distinguished varieties of rank (2,2).


title: Extending the Language of Set Theory

abstract: We discuss the problems of incompleteness and inexpressibility. We introduce almost self-referential formulas, use them to extend set theory, and relate their expressive power to that of infinitary logic. We discuss the nature of proper classes. Finally, we introduce and axiomatize a powerful extension to set theory.


title: Rigidity of morphisms for log schemes

abstract: In this paper, we give the rigidity theorem for a log morphism as an extension of a fixed scheme morphism. We also give several applications of the rigidity theorem.


title: Law of Large Numbers for a Class of Superdiffusions

abstract: Under spectral conditions, we prove a LLN type result for superdiffusions, where the convergence is meant in probability. The main tool is a space-time H-transformation.


title: A Short Proof that Phylogenetic Tree Reconstruction by Maximum Likelihood is Hard

abstract: Maximum likelihood is one of the most widely used techniques to infer evolutionary histories. Although it is thought to be intractable, a proof of its hardness has been lacking. Here, we give a short proof that computing the maximum likelihood tree is NP-hard by exploiting a connection between likelihood and parsimony observed by Tuffley and Steel.

categories: math.PR cs.CC cs.CE math.ST q-bio.PE stat.TH


title: Regular deformations of completely integrable systems

abstract: We study several aspects of the regular deformations of completely integrable systems. Namely, we prove the existence of a Hamiltonian normal form for these deformations and we show the necessary and sufficient conditions a perturbation has to satisfy in order for the perturbed Hamiltonian to be a first order deformation.


title: Hypersurface Singularities and Milnor Equisingularity

abstract: Suppose that $f$ defines a singular, complex affine hypersurface. If the critical locus of $f$ is one-dimensional at the origin, we obtain new general bounds on the ranks of the homology groups of the Milnor fiber, $F_{f, \mathbf 0}$, of $f$ at the origin, with either integral or $\mathbb Z/p\mathbb Z$ coefficients. If the critical locus of $f$ has arbitrary dimension, we show that the smallest possibly non-zero reduced Betti number of $F_{f, \mathbf 0}$ completely determines if $f$ defines a family of isolated singularities, over a smooth base, with constant Milnor number. This result has a nice interpretation in terms of the structure of the vanishing cycles as an object in the perverse category.


title: The Lie-Poisson structure of the LAE-$\alpha$ equation

abstract: This paper shows that the time $t$ map of the averaged Euler equations, with Dirichlet, Neumann, and mixed boundary conditions is canonical relative to a Lie-Poisson bracket constructed via a non-smooth reduction for the corresponding diffeomorphism groups. It is also shown that the geodesic spray for Neumann and mixed boundary conditions is smooth, a result already known for Dirichlet boundary conditions.


title: Exact oracle inequality for a sharp adaptive kernel density estimator

abstract: In one-dimensional density estimation on i.i.d. observations we suggest an adaptive cross-validation technique for the selection of a kernel estimator. This estimator is both asymptotic MISE-efficient with respect to the monotone oracle, and sharp minimax-adaptive over the whole scale of Sobolev spaces with smoothness index greater than 1/2. The proof of the central concentration inequality avoids "chaining" and relies on an additive decomposition of the empirical processes involved.


title: Exact minimax risk for density estimators in non-integer Sobolev classes

abstract: The $L\_2$-minimax risk in Sobolev classes of densities with non-integer smoothness index is shown to have an analog form to that in integer Sobolev classes. To this end, the notion of Sobolev classes is generalized to fractional derivatives of order $\beta\in\mathbb R^+$. A minimax kernel density estimator for such a classes is found. Although there exists no corresponding proof in the literature so far, the result of this article was used implicitly in numerous papers. A certain necessity that this gap had to be filled, can thus not be denied.


title: Solutions for Toda systems on Riemann surfaces

abstract: In this paper, we study the solutions of Toda systems on Riemann surface in the critical case, we prove a sufficient condition for the existence of solutions of Toda systems.


title: Index theorey and Non-Commutative Geometry. II. Dirac operators and index bundles

abstract: When the index bundle of a longitudinal Dirac type operator is transversely smooth, we define its Chern character in Haefliger cohomology and relate it to the Chern character of the $K-$theory index. This result gives a concrete connection between the topology of the foliation and the longitudinal index formula. Moreover, the usual spectral assumption on the Novikov-Shubin invariants of the operator is improved.


title: L-R-smash product for (quasi) Hopf algebras

abstract: We introduce a more general version of the so-called L-R-smash product and study its relations with other kinds of crossed products (two-sided smash and crossed product and diagonal crossed product). We also give an interpretation of the L-R-smash product in terms of an L-R-twisting datum.