title: Twisted Exponential Sums

abstract: Let $k$ be a finite field of characteristic $p$, $l$ a prime number distinct to $p$, $\psi:k\to \bar {\bf Q}_l^\ast$ a nontrivial additive character, and $\chi:{k^\ast}^n\to \bar{\bf Q}_l^\ast$ a character on ${k^\ast}^n$. Then $\psi$ defines an Artin-Schreier sheaf ${\cal L}_\psi$ on the affine line ${\bf A}_k^1$, and $\chi$ defines a Kummer sheaf ${\cal K}_\chi$ on the $n$-dimensional torus ${\bf T}_k^n$. Let $f\in k[X_1,X_1^{-1},..., X_n,X_n^{-1}]$ be a Laurent polynomial. It defines a $k$-morphism $f:{\bf T}_k^n\to {\bf A}_k^1$. In this paper, we calculate the dimensions and weights of $H_c^i({\bf T}_{\bar k}^n, {\cal K}_\chi\otimes f^\ast {\cal L}_\psi)$ under some non-degeneracy conditions on $f$. Our results can be used to estimate sums of the form $$\sum_{x_1,..., x_n\in k^\ast} \chi_1(f_1(x_1,..., x_n))... \chi_m(f_m(x_1,..., x_n))\psi(f(x_1,..., x_n)),$$ where $\chi_1,..., \chi_m:k^\ast\to {\bf C}^\ast$ are multiplicative characters, $\psi:k\to {\bf C}^\ast$ is a nontrivial additive character, and $f_1,..., f_m, f$ are Laurent polynomials.


title: Integration of positive constructible functions against Euler characteristic and dimension

abstract: Following recent work of R. Cluckers and F. Loeser [Fonctions constructible et integration motivic I, C. R. Math. Acad. Sci. Paris 339 (2004) 411 - 416] on motivic integration, we develop a direct image formalism for positive constructible functions in the globally subanalytic context. This formalism is generalized to arbitrary first-order logic models and is illustrated by several examples on the p-adics, on the Presburger structure and on o-minimal expansions of groups. Furthermore, within this formalism, we define the Radon transform and prove the corresponding inversion formula.


title: Generalizing Benford's law using power laws: application to integer sequences

abstract: A simple method to derive parametric analytical extensions of Benford's law for first digits of numerical data is proposed. Two generalized Benford distributions are considered, namely the two-sided power Benford distribution and the new Pareto Benford distribution. The fitting capabilities of these generalized Benford distributions are illustrated and compared at some interesting and important integer sequences.


title: The simultaneous conjugacy problem in groups of piecewise linear functions

abstract: Guba and Sapir asked if the simultaneous conjugacy problem was solvable in Diagram Groups or, at least, for Thompson's group F. We give a solution to the latter question using elementary techniques which rely purely on the description of F as the group of piecewise linear orientation-preserving homeomorphisms of the unit interval. The techniques we develop extend the ones used by Brin and Squier allowing us to compute roots and centralizers as well. Moreover, these techniques can be generalized to solve the same question in larger groups of piecewise-linear homeomorphisms.


title: Benford's law from 1881 to 2006

abstract: On the occasion of the 125-th anniversary of Newcomb's paper, a bibliography of academic work related to Benford's law from its year of origin 1881 to 2006 has been compiled.


title: Waring problem with the Ramanujan $\tau$-function

abstract: Let $\tau(n)$ be the Ramanujan $\tau$-function. We prove that for any integer $N$ the diophantine equation $$ \sum_{i=1}^{74000}\tau(n_i)=N $$ has a solution in positive integers $n_1, n_2,..., n_{74000}$ satisfying the condition $$ \max_{1\le i\le 74000}n_i\ll |N|^{2/11}+1. $$ We also consider similar questions in the residue ring modulo a large prime $p.$


title: Cherednik, Hecke and quantum algebras as free Frobenius and Calabi-Yau extensions

abstract: We show how the existence of a PBW-basis and a large enough central subalgebra can be used to deduce that an algebra is Frobenius. This is done by considering the examples of rational Cherednik algebras, Hecke algebras, quantised universal enveloping algebras, quantum Borels and quantised function algebras. In particular, we give a positive answer to \cite[Problem 6]{Rouquier} stating that the restricted rational Cherednik algebra at the value $t=0$ is symmetric.


title: Planar pseudo-triangulations, spherical pseudo-tilings and hyperbolic virtual polytopes

abstract: We wish to draw attention to an interesting and promising interaction of two theories. On the one hand, it is the theory of \textbf{pseudo-triangulations} which was useful for implicit solution of thecarpenter's rule problem and proved later to give a nice tool for graph embeddings. On the other hand, it is the theory of hyperbolic virtual polytopes which arose from an old uniqueness conjecture for convex bodies (A. D. Alexandrov's problem): suppose that a constant $C$ separates (non-strictly) everywhere the principal curvature radii of a smooth 3-dimensional convex body $K$. Then $K$ is necessarily a ball of radius $C$. The two key ideas are: Passing from planar pseudo-triangulations to spherical pseudo-tilings, we avoid non-poited vertices. Instead, we use pseudo-di-gons. A theorem on spherically embedded Laman-plus-one graphs is announced. The difficult problem of hyperbolic polytopes constructing can be reduced to finding spherically embedded graphs.


title: Simple and Direct Proof of MacLane's Planarity Criterion

abstract: We give a simple proof of MacLane's algebraic planarity criterion for graphs. This proof does not use any other known planarity criteria. Keywords: graph, planarity, cycle space, a simple basis of a graph.


title: Defining an m-cluster category

abstract: We show that a certain orbit category considerd by Keller encodes the combinatorics of the $m$-clusters of Fomin and Reading in a fashion similar to the way the cluster category of Buan, Marsh, Reineke, Reiten, and Todorov encodes the combinatorics of the clusters of Fomin and Zelevinsky. This allows us to give type-uniform proofs of certain results of Fomin and Reading in the simply laced cases.


title: A fansy divisor on M_{0,n}

abstract: We study the relation between projective T-varieties and their affine cones in the language of the so-called divisorial fans and polyhedral divisors. As an application, we present the Grassmannian Grass(2,n) as a ``fansy divisor'' on the moduli space of stable, n-pointed, rational curves.


title: Extremal marginal tracial states in coupled systems

abstract: Let \Gamma be the convex set consisting of all marginal tracial states on the tensor product B \otimes B of the algebra B of nxn matrices over the complex numbers. We find necessary and sufficient conditions for such a state to be extremal in \Gamma. We also give a characterization of those extreme points in \Gamma which are pure states. We conjecture that all extremal marginal tracial states are pure states.


title: Solving One-Variable Equations in Free Groups

abstract: Equations in free groups have become prominent recently in connection with the solution to the well known Tarski Conjecture. Results of Makanin and Rasborov show that solvability of systems of equations is decidable and there is a method for writing down in principle all solutions. However, no practical method is known; the best estimate for the complexity of the decision procedure is P-space. The special case of one variable equations in free groups has been open for a number of years, although it is known that the solution sets admit simple descriptions. We use cancellation arguments to give a short and direct proof of this result and also to give a practical polynomial time algorithm for finding solution sets. One variable equations are the only general subclass of equations in free groups for which such results are known. We improve on previous attempts to use cancellation arguments by employing a new method of reduction derived from techniques from formal language theory. Our paper is self contained; we assume only knowedge of basic facts about free groups.


title: Strong Artin-Rees Property in Rings of dimension one and two

abstract: In this note we give a simple proof of the fact that local rings of dimension one have the strong uniform Artin-Rees property. Moreover, we give two examples of rings of dimension two where the property fails.


title: Jointly periodic points in cellular automata: computer explorations and conjectures

abstract: We develop a rather elaborate computer program to investigate the jointly periodic points of one-dimensional cellular automata. The experimental results and mathematical context lead to questions, conjectures and a contextual theorem.


title: Topological Dichotomy and Strict Ergodicity for Translation Surfaces

abstract: In this paper the authors find examples of translation surfaces that have infinitely generated Veech groups, satisfy the topological dichotomy property that for every direction either the flow in that direction is completely periodic or minimal, and yet have minimal but non uniquely ergodic directions.


title: On the analogs of Euler numbers and polynomials associated with p-adic integrals on the rings of p-adic integers at q=-1

abstract: We will study p-adic invariant integerals involving trigonometric functions


title: A Posteriori Regularity of the Three-dimensional Navier-Stokes Equations from Numerical Computations

abstract: In this paper we consider the r\^ole that numerical computations -- in particular Galerkin approximations -- can play in problems modelled by the 3d Navier-Stokes equations, for which no rigorous proof of the existence of unique solutions is currently available. We prove a robustness theorem for strong solutions, from which we derive an {\it a posteriori} check that can be applied to a numerical solution to guarantee the existence of a strong solution of the corresponding exact problem. We then consider Galerkin approximations, and show that {\it if} a strong solution exists the Galerkin approximations will converge to it; thus if one is prepared to assume that the Navier-Stokes equations are regular one can justify this particular numerical method rigorously. Combining these two results we show that if a strong solution of the exact problem exists then this can be verified numerically using an algorithm that can be guaranteed to terminate in a finite time. We thus introduce the possibility of rigorous computations of the solutions of the 3d Navier-Stokes equations (despite the lack of rigorous existence and uniqueness results), and demonstrate that numerical investigation can be used to rule out the occurrence of possible singularities in particular examples.


title: A Dictionary between Fontaine-Theory and its Analogue in Equal Characteristic

abstract: In this survey we explain the main ingredients and results of the analogue of Fontaine-Theory in equal positive characteristic which was recently developed by Genestier-Lafforgue and the author.


title: Proof of Razumov-Stroganov conjecture for some infinite families of link patterns

abstract: We prove the Razumov--Stroganov conjecture relating ground state of the O(1) loop model and counting of Fully Packed Loops in the case of certain types of link patterns. The main focus is on link patterns with three series of nested arches, for which we use as key ingredient of the proof a generalization of the Mac Mahon formula for the number of plane partitions which includes three series of parameters.


title: Cryptanalysis of the Shpilrain-Ushakov Protocol in Thompson's Group

abstract: This paper shows that an eavesdropper can always recover efficiently the private key of one of the two parts of the public key cryptography protocol introduced by Shpilrain and Ushakov in [9]. Thus an eavesdropper can always recover the shared secret key, making the protocol insecure.


title: Approximation of holomorphic mappings on strongly pseudoconvex domains

abstract: Let D be a relatively compact strongly pseudoconvex domain in a Stein manifold, and let Y be a complex manifold. We prove that the set A(D,Y), consisting of all continuous maps from the closure of D to Y which are holomorphic in D, is a complex Banach manifold. When D is the unit disc in C (or any other topologically trivial strongly pseudoconvex domain in a Stein manifold), A(D,Y) is locally modeled on the Banach space A(D,C^n)=A(D)^n with n=dim Y. Analogous results hold for maps which are holomorphic in D and of class C^r up to the boundary for any positive integer r. We also establish the Oka property for sections of continuous or smooth fiber bundles over the closure of D which are holomorphic over D and whose fiber enjoys the Convex approximation property. The main analytic technique used in the paper is a method of gluing holomorphic sprays over Cartan pairs in Stein manifolds, with control up to the boundary, which was developed in our paper "Holomorphic curves in complex manifolds" (Duke Math. J. 139 (2007), no. 2, 203--253).


title: Scattering theory for radial nonlinear Schr\"{o}dinger equations on hyperbolic space

abstract: We study the long time behavior of radial solutions to nonlinear Schr\"{o}dinger equations on hyperbolic space. We show that the usual distinction between short range and long range nonlinearity is modified: the geometry of the hyperbolic space makes every power-like nonlinearity short range. The proofs rely on weighted Strichartz estimates, which imply Strichartz estimates for a broader family of admissible pairs, and on Morawetz type inequalities. The latter are established without symmetry assumptions.


title: Local Gromov-Witten invariants of cubic surfaces via nef toric degeneration

abstract: We compute local Gromov-Witten invariants of cubic surfaces at all genera. We use a deformation of a cubic surface to a nef toric surface and the deformation invariance of Gromov-Witten invariants.


title: A duality theorem for ergodic actions of compact quantum groups on C*-algebras

abstract: The spectral functor of an ergodic action of a compact quantum group G on a unital C*-algebra is quasitensor, in the sense that the tensor product of two spectral subspaces is isometrically contained in the spectral subspace of the tensor product representation, and the inclusion maps satisfy natural properties. We show that any quasitensor *-functor from Rep(G) to the category of Hilbert spaces is the spectral functor of an ergodic action of G on a unital C*-algebra. As an application, we associate an ergodic G-action on a unital C*-algebra to an inclusion of Rep(G) into an abstract tensor C*-category. If the inclusion arises from a quantum subgroup of G, the associated G-system is just the quantum quotient space. If G is a group and the category has permutation symmetry, the associated system is commutative, and therefore isomorphic to the classical quotient space by a closed subgroup of $G$. If a tensor C*-category has a Hecke symmetry making an object of dimension d and q-quantum determinant one then there is an ergodic action of S_qU(d) on a unital C*-algebra, having the spaces of intertwiners from the tensor unit to powers of the object as its spectral subspaces. The special case od S_qU(2) is discussed.


title: Domain closure conditions and definability preservation

abstract: We examine problems due to lack of domain closure and definability preservation


title: A Minimalist Construction of the Geometric Algebra

abstract: The geometric algebra is constructed from minimal raw materials.


title: Induction for secant varieties of Segre varieties

abstract: This paper studies the dimension of secant varieties to Segre varieties. The problem is cast both in the setting of tensor algebra and in the setting of algebraic geometry. An inductive procedure is built around the ideas of successive specializations of points and projections. This reduces the calculation of the dimension of the secant variety in a high dimensional case to a sequence of calculations of partial secant varieties in low dimensional cases. As applications of the technique: We give a complete classification of defective $t$-secant varieties to Segre varieties for t < 7. We generalize a theorem of Catalisano-Geramita-Gimigliano on non-defectivity of tensor powers of P^n. We determine the set of p for which unbalanced Segre varieties have defective p-secant varieties. In addition, we show that the Segre varieties P^1 x P^1 x P^n x P^n and P^2 x P ^3 x P^3 are deficient and completely describe the dimensions of their secant varieties. In the final section we propose a series of conjectures about defective Segre varieties.


title: Multiscale analysis of exit distributions for random walks in random environments

abstract: We present a multiscale analysis for the exit measures from large balls in Z^d, d\geq 3, of random walks in certain i.i.d. random environments which are small perturbations of the fixed environment corresponding to simple random walk. Our main assumption is an isotropy assumption on the law of the environment, introduced by Bricmont and Kupianien. The analysis is based on propagating estimates on the variational distance between the exit measure and that of simple random walk, in addition to estimates on the variational distance between smoothed versions of these quantities.


title: On unitary representability of topological groups

abstract: We prove that the additive group $(E^\ast,\tau_k(E))$ of an $\mathscr{L}_\infty$-Banach space $E$, with the topology $\tau_k(E)$ of uniform convergence on compact subsets of $E$, is topologically isomorphic to a subgroup of the unitary group of some Hilbert space (is \emph{unitarily representable}). This is the same as proving that the topological group $(E^\ast,\tau_k(E))$ is uniformly homeomorphic to a subset of $\ell_2^\kappa$ for some $\kappa$. As an immediate consequence, preduals of commutative von Neumann algebras or duals of commutative $C^\ast$-algebras are unitarily representable in the topology of uniform convergence on compact subsets. The unitary representability of free locally convex spaces (and thus of free Abelian topological groups) on compact spaces, follows as well. The above facts cannot be extended to noncommutative von Neumann algebras or general Schwartz spaces.


title: Groebner Bases for Transportation Polytopes

abstract: The toric ideals of $3\times 3$ transportation polytopes $T$ are quadratically generated. The only exception is the Birkhoff polytope $B_3$. If $T$ is not a multiple of $B_3$, these ideals even have squarefree quadratic initial ideals. This class contains all smooth $3 \times 3$ transportation polytopes.


title: Hyperfinite knots via the CJKLS invariant in the thermodynamic limit

abstract: We set forth a definition of hyperfinite knots. Loosely speaking, these are limits of certain sequences of knots with increasing crossing number. These limits exist in appropriate closures of quotient spaces of knots. We give examples of hyperfinite knots. These examples stem from an application of the Thermodynamic Limit to the CJKLS invariant of knots.


title: On twin primes associated with the Hawkins random sieve

abstract: We establish an asymptotic formula for the number of k-difference twin primes associated with the Hawkins random sieve, which is a probabilistic model of the Eratosthenes sieve. The formula for k=1 was obtained by Wunderlich [Acta Arith. 26 (1974), 59--81]. We here extend this to k \geq 2 and generalize it to all l-tuples of Hawkins primes.


title: Two-dimensional Newton's Problem of Minimal Resistance

abstract: Newton's problem of minimal resistance is one of the first problems of optimal control: it was proposed, and its solution given, by Isaac Newton in his masterful Principia Mathematica, in 1686. The problem consists of determining, in dimension three, the shape of an axis-symmetric body, with assigned radius and height, which offers minimum resistance when it is moving in a resistant medium. The problem has a very rich history and is well documented in the literature. Of course, at first glance, one suspects that the two dimensional case should be well known. Nevertheless, we have looked into numerous references and ask at least as many experts on the problem, and we have not been able to identify a single source. Solution was always plausible to everyone who thought about the problem, and writing it down was always thought not to be worthwhile. Here we show that this is not the case: the two-dimensional problem is more rich than the classical one, being, in some sense, more interesting. Novelties include: (i) while in the classical three-dimensional problem only the restricted case makes sense (without restriction on the monotonicity of admissible functions the problem doesn't admit a local minimum), we prove that in dimension two the unrestricted problem is also well-posed when the ratio height versus radius of base is greater than a given quantity; (ii) while in three dimensions the (restricted) problem has a unique solution, we show that in the restricted two-dimensional problem the minimizer is not always unique - when the height of the body is less or equal than its base radius, there exists infinitely many minimizing functions.


title: $L^2$-spectral invariants and quasi-crystal graphs

abstract: Introducing and studying the pattern frequency algebra, we prove the analogue of L\"uck's approximation theorems on $L^2$-spectral invariants in the case of aperiodic order. These results imply a uniform convergence theorem for the integrated density of states as well as the positivity of the logarithmic determinant of certain discrete Schrodinger operators.


title: On the mean values of Dirichlet L-functions

abstract: We study the 2k-th power moment of Dirichlet L-functions L(s,\chi) at the centre of the critical strip (s=1/2), where the average is over all primitive characters \chi (mod q). We extend to this case the hybrid Euler-Hadamard product results of Gonek, Hughes & Keating for the Riemann zeta function. This allows us to recover conjectures for the moments based on random matrix models, incorporating the arithmetical terms in a natural way.


title: Dynamics of Controlled Hybrid Systems of Aerial Cable-Ways

abstract: Dynamics of the hybrid systems of aerial cable-ways is investigated. The eigenvalue problems are considered for such hybrid systems with different assumptions. An overview of different methods for eigenvalue problems is given. In the research, the method of the normal fundamental systems is applied, which turns out to be very effective for the considered problems. Changes of dynamical characteristics of the systems depending on the controlled parameter are studied.


title: On the cohomology of highly connected covers of finite complexes

abstract: Relying on the computation of the Andre-Quillen homology groups for unstable Hopf algebras, we prove that the mod p cohomology of the n-connected cover of a finite H-space is always finitely generated as algebra over the Steenrod algebra.


title: Some more identities of the Rogers-Ramanujan type

abstract: In this we paper we prove several new identities of the Rogers-Ramanujan-Slater type. These identities were found as the result of computer searches. The proofs involve a variety of techniques, including series-series identities, Bailey pairs, a theorem of Watson on basic hypergeometric series, generating functions and miscellaneous methods.


title: Some Applications of the Method of Normal Fundamental Functions to Oscillation Problems

abstract: We report on the possibilities of using the method of normal fundamental systems for solving some problems of oscillation theory. Large elastic dynamical systems with continuous and discrete parameters are considered, which have many different engineering applications. Intensive oscillations in such systems are possible, but not desirable. Therefore, it is very important to obtain conditions for which oscillations take or not-take place. Mathematically, one needs to search for the solutions of partial differential equations satisfying both boundary and conjugation conditions. In this paper we overview the methodology of normal fundamental systems for the study of such oscillation problems, which provide an efficient and reliable computational method. The obtained results permit to analyze the influence of different system parameters on oscillations as well as to compute the optimal feedback parameters for the active vibration control of the systems.


title: p-adic Banach modules of arithmetical modular forms and triple products of Coleman's families

abstract: For a prime number $p\ge 5$, we consider three classical cusp eigenforms $f_j(z)$ of weights $k_1, k_2, k_3$, of conductors $N_1, N_2, N_3$, and of nebentypus characters $\psi_j \bmod N_j$. According to H.Hida and R.Coleman, one can include each $f_j$ into a {$p$-adic analytic family} $k_j \mapsto \{f_{j,k_j}\}$ of cusp eigenforms $f_{j,k_j}$ of weights $k_j$ in such a way that $f_{j,k_j}=f_j$, and that all their Fourier coefficients $a_n(f_{j, k_j})$ are given by certain $p$-adic analytic functions $k_j{}\mapsto a_{n, j}(k_j{})$. The purpose of this paper is to describe a four variable $p$-adic $L$-function attached to Garrett's triple product of three Coleman's families $k_j \mapsto \{f_{j,k_j}\}$ of cusp eigenforms of three fixed slopes $\sigma_j=v_p(\alpha_{p, j}^{(1)}(k_j{}))\ge 0$ where $\alpha_{p,j}^{(1)} = \al_{p,j}^{(1)}(k_j{})$ is an eigenvalue (which depends on $k_j{}$) of Atkin's operator $U=U_p$ acting on Fourier expansions by $U(\sum_{n\ge 0}^\infty a_{n}q^n) = \sum_{n \ge 0}^\infty a_{np} q^n$. We consider the $p$-adic weight space $X$ containing all $(k{}_j, \psi_j)$. Our $p$-adic $L$-functions are Mellin transforms of certain measures with values in $\Ar$, where $\Ar=\Ar({\cal B})$ denotes an affinoid algebra associated with an affinoid space ${\cal B}$ as in \cite{CoPB}, where ${\cal B}={\cal B}_1\times{\cal B}_2\times{\cal B}_3$, is an affinoid neighbourhood around $(k_1, k_2, k_3)\in X^3$ (with a given integers $k_j$ and fixed Dirichlet characters $\psi_j \bmod N$). We construct such a measure from higher twists of classical Siegel-Eisenstein series, which produce distributions with values in certain Banach $\Ar$-modules $\Mr = \Mr(N;\Ar)$ of triple modular forms with coefficients in the algebra $\Ar$.


title: A remark on precomposition on $\sH^{1/2}(S^1)$ and $\eps$-identifiability of disks in tomography

abstract: We consider the inverse conductivity problem with one measurement for the equation $div((\sigma\_1+(\sigma\_2-\sigma\_1)\chi\_D)\nabla{u})=0$ determining the unknown inclusion $D$ included in $\Omega$. We suppose that $\Omega$ is the unit disk of $\mathbb{R}^2$. With the tools of the conformal mappings, of elementary Fourier analysis and also the action of some quasi-conformal mapping on the Sobolev space $\sH^{1/2}(S^1)$, we show how to approximate the Dirichlet-to-Neumann map when the original inclusion $D$ is a $\epsilon-$ approximation of a disk. This enables us to give some uniqueness and stability results.


title: Dualities for Multi-State Probabilistic Cellular Automata

abstract: In this paper a new form of duality for probabilistic cellular automata (PCA) is introduced. Using this duality, an ergodicity result for processes having a dual is proved. Also, conditions on the probabilities defining the evolution of the processes for the existence of a dual are provided. The results are applied to wide classes of PCA which include multi-opinion voter models, competition models and the Domany-Kinzel model.


title: Coarse differentiation of quasi-isometries I: spaces not quasi-isometric to Cayley graphs

abstract: In this paper, we prove that certain spaces are not quasi-isometric to Cayley graphs of finitely generated groups. In particular, we answer a question of Woess and prove a conjecture of Diestel and Leader by showing that certain homogeneous graphs are not quasi-isometric to a Cayley graph of a finitely generated group. This paper is the first in a sequence of papers proving results announced in [EFW0]. In particular, this paper contains many steps in the proofs of quasi-isometric rigidity of lattices in Sol and of the quasi-isometry classification of lamplighter groups. The proofs of those results are completed in [EFW1]. The method used here is based on the idea of "coarse differentiation" introduced in [EFW0].


title: On the Structure of Sets with Few Three-Term Arithmetic Progressions

abstract: Fix a density d in (0,1], and let F_p^n be a finite field, where we think of p fixed and n tending to infinity. Let S be any subset of F_p^n having the minimal number of three-term progressions, subject to the constraint |S| is at least dp^n. We show that S must have some structure, and that up to o(p^n) elements, it is a union of a small number of cosets of a subspace of dimension n-o(n).


title: On the Decay of the Fourier Transform and Three Term Arithmetic Progressions

abstract: In this paper we prove a basic theorem which says that if f : F_p^n -> [0,1] has the property that ||f^||_(1/3) is not too ``large''(actually, it also holds for quasinorms 1/2-\delta in place of 1/3), and E(f) = p^{-n} sum_m f(m) is not too ``small'', then there are lots of triples m,m+d,m+2d such that f(m)f(m+d)f(m+2d) > 0. If f is the indicator function for some set S, then this would be saying that the set has many three-term arithmetic progressions. In principle this theorem can be applied to sets having very low density, where |S| is around p^{n(1-c)} for some small c > 0.


title: Enriched Relative Polar Curves and Discriminants

abstract: Let $(f, g)$ be a pair of complex analytic functions on a singular analytic space $X$. We give ``the correct'' definition of the relative polar curve of $(f, g)$, and we give a very formal generalization of L\^e's attaching result, which relates the relative polar curve to the relative cohomology of the Milnor fiber modulo a hyperplane slice. We also give the technical arguments which allow one to work with a derived category version of the discriminant and Cerf diagram of a pair of functions. From this, we derive a number of generalizations of results which are classically proved using the discriminant. In particular, we give applications to families of isolated ``critical points''.


title: Non-Crossing Tableaux

abstract: In combinatorics there is a well-known duality between non-nesting and non-crossing objects. In algebra there are many objects which are standard, for example Standard Young Tableaux, Standard Monomials, Standard Bitableaux. We adopt a point of view that these standard objects are really non-nesting, and we find their non-crossing counterparts.


title: Time Consistent Dynamic Risk Processes, Cadlag Modification

abstract: Working in a continuous time setting, we extend to the general case of dynamic risk measures continuous from above the characterization of time consistency in terms of ``cocycle condition'' of the minimal penalty function. We prove also the supermartingale property for general time consistent dynamic risk measures. When the time consistent dynamic risk measure (continuous from above) is normalized and non degenerate, we prove, under a mild condition, that the dynamic risk process of any financial instrument has a cadlag modification. This condition is always satisfied in case of continuity from below.


title: On consecutive happy numbers

abstract: Let e>=1 and b>=2 be integers. For a positive integer n=\sum_{j=0}^ka_jb^j with 0<=a_j<b, define T_{e,b}(n)=\sum_{j=0}^ka_j^e. n is called (e,b)-happy if T_{e,b}^r(n)=1 for some r>=0, where T_{e,b}^r is the r-th iteration of T_{e,b}. In this paper, we prove that there exist arbitrarily long sequences of consecutive (e,b)-happy numbers provided that e-1 is not divisible by p-1 for any prime divisor p of b-1.


title: Stochastic parameterization for large eddy simulation of geophysical flows

abstract: Recently, stochastic, as opposed to deterministic, parameterizations are being investigated to model the effects of unresolved subgrid scales (SGS) in large eddy simulations (LES) of geophysical flows. We analyse such a stochastic approach in the barotropic vorticity equation to show that (i) if the stochastic parameterization approximates the actual SGS stresses, then the solution of the stochastic LES approximates the "true" solution at appropriate scale sizes; and that (ii) when the filter scale size approaches zero, the solution of the stochastic LES approaches the true solution.


title: On the Centralizer of $K$ in $U(\frak {g})$

abstract: Let $\frak{g} = \frak{k} +\frak{p}$ be a complexified Cartan decomposition of a complex semisimple Lie algebra $\frak{g}$ and let $K$ be the subgroup of the adjoint group of $\frak{g}$ corresponding to $\frak{k} $. If $H$ is an irreducible Harish-Chandra module of $U(\frak{g})$, then $H$ is completely determined by the finite-dimensional action of the centralizer $U(\frak{g})^K$ on any one fixed primary $\k$ component in $H$. This original approach of Harish-Chandra to a determination of all $H$ has largely been abandoned because one knows very little about generators of $U(\frak{g})^K$. Generators of $U(\frak{g})^K$ are given by generators of the symmetric algebra analogue $S(\frak{g})^K$. Let $S_m(\frak{g})^K, m\in {\Bbb Z}_+$, be the subalgebra of $S(\frak{g})^K$ defined by $K$-invariant polynomials of degree at most $m$. Let $Q$ and $Q_m$ be the respective quotient fields of $S(\frak{g})^K$ and $S_m(\frak{g})^K$. We prove that if $n= dim \frak{g}$ one has $Q= Q_{2n}$. We also determine the variety, $Nil_K$, of unstable points with respect to the action $K$ on $\frak{g}$ and show that $Nil_K$ is already defined by $A_{2n}$. As pointed out to us by Hanspeter Kraft, this fact together with a result of Harm Derksen (See [D]) implies, indeed, that $A= A_r$ where $r = {2n\choose 2} dim {\frak p}$.


title: Dirac Structures and Generalized Complex Structures on $TM\times\mathds{R}^h$

abstract: We consider Courant and Courant-Jacobi brackets on the stable tangent bundle $TM\times\mathds{R}^h$ of a differentiable manifold and corresponding Dirac, Dirac-Jacobi and generalized complex structures. We prove that Dirac and Dirac-Jacobi structures on $TM\times\mathds{R}^h$ can be prolonged to $TM\times\mathds{R}^k$, $k>h$, by means of commuting infinitesimal automorphisms. Some of the stable, generalized, complex structures are a natural generalization of the normal, almost contact structures; they are expressible by a system of tensors $(P,\theta,F,Z_a,\xi^a)$ $(a=1,...,h)$, where $P$ is a bivector field, $\theta$ is a 2-form, $F$ is a $(1,1)$-tensor field, $Z_a$ are vector fields and $\xi^a$ are 1-forms, which satisfy conditions that generalize the conditions satisfied by a normal, almost contact structure $(F,Z,\xi)$. We prove that such a generalized structure projects to a generalized, complex structure of a space of leaves and characterize the structure by means of the projected structure and of a normal bundle of the foliation. Like in the Boothby-Wang theorem about contact manifolds, principal torus bundles with a connection over a generalized, complex manifold provide examples of this kind of generalized, normal, almost contact structures.


title: The axiomatic melting pot. Teaching probability theory in Prague during the 1930's

abstract: In this paper, we are interested in the teaching of probability theory in Prague and Czechoslovakia, in particular during the 1930's. We focus specially on a textbook, published in Prague by Karel Rychlik in 1938, which uses Kolmogorov's axiomatization, a very exceptional fact before World War II.


title: Generating ultrafilters in a reasonable way

abstract: We continue investigations of reasonable ultrafilters on uncountable cardinals defined in Shelah math.LO/0407498 and studied also in math.LO/0605067. We introduce a general scheme of generating a filter on lambda from filters on smaller sets and we investigate the combinatorics of objects obtained this way.


title: On the Spectral Gap for Convex Domains

abstract: We prove the following for a bounded convex planar domain that is symmetric with respect to both coordinate axes. Consider a centered rectangle with sides parallel to the axes that strictly contains the domain. If the domain is not a certain kind of rectangle, the spectral gap of the domain is larger than the spectral gap of the rectangle. We also provide explicit lower bounds for the differnce between the gaps.


title: Algebraic cycles and additive dilogarithm

abstract: For an algebraically closed field $k$ of characteristic 0, we give a cycle-theoretic description of the additive 4-term motivic exact sequence associated to the additive dilogarithm of J.-L. Cathelineau, that is the derivative of the Bloch-Wigner function, via the cubical additive higher Chow groups under one assumption. The 4-term functional equation of Cathelineau, an additive analogue of Abel's 5-term functional equation, is also discussed cycle-theoretically.


title: Restricted volumes and base loci of linear series

abstract: We introduce and study the restricted volume of a divisor along a subvariety. Our main result is a description of the irreducible components of the augmented base locus by the vanishing of the restricted volume.


title: Comparison between algebraic and topological K-theory of locally convex algebras

abstract: This paper is concerned with the algebraic K-theory of locally convex algebras stabilized by operator ideals, and its comparison with topological K-theory. We show that the obstruction for the comparison map between algebraic and topological K-theory to be an isomorphism is (absolute) algebraic cyclic homology and prove the existence of an 6-term exact sequence. We show that cyclic homology vanishes in the case when J is the ideal of compact operators and L is a Frechet algebra with bounded app. unit. This proves the generalized version of Karoubi's conjecture due to Mariusz Wodzicki and announced in his paper "Algebraic K-theory and functional analysis", First European Congress of Mathematics, Vol. II (Paris, 1992), 485--496, Progr. Math., 120, Birkh\"auser, Basel, 1994. We also consider stabilization with respect to a wider class of operator ideals, called sub-harmonic. We study the algebraic K-theory of the tensor product of a sub-harmonic ideal with an arbitrary complex algebra and prove that the obstruction for the periodicity of algebraic K-theory is again cyclic homology. The main technical tools we use are the diffeotopy invariance theorem of Cuntz and the second author (which we generalize), and the excision theorem for infinitesimal K-theory, due to the first author.


title: Chiral Equivariant Cohomology II

abstract: This is the second in a series of papers on a new equivariant cohomology that takes values in a vertex algebra. In an earlier paper, the first two authors gave a construction of the cohomology functor on the category of O(sg) algebras. The new cohomology theory can be viewed as a kind of "chiralization'' of the classical equivariant cohomology, the latter being defined on the category of G^* algebras a la H. Cartan. In this paper, we further develop the chiral theory by first extending it to allow a much larger class of algebras which we call sg[t] algebras. In the geometrical setting, our principal example of an O(sg) algebra is the chiral de Rham complex Q(M) of a G manifold M. There is an interesting subalgebra of Q(M) which does not admit a full O(sg) algebra structure but retains the structure of an sg[t] algebra, enough for us to define its chiral equivariant cohomology. The latter then turns out to have many surprising features that allows us to delineate a number of interesting geometric aspects of the G manifold M, sometimes in ways that are quite different from the classical theory.


title: Composite Cosine Transforms

abstract: The cosine transforms of functions on the unit sphere play an important role in convex geometry, the Banach space theory, stochastic geometry and other areas. Their higher-rank generalization to Grassmann manifolds represents an interesting mathematical object useful for applications. We introduce more general integral transforms that reveal distinctive features of higher-rank objects in full generality. We call these new transforms the composite cosine transforms, by taking into account that their kernels agree with the composite power function of the cone of positive definite symmetric matrices. We show that injectivity of the composite cosine transforms can be studied using standard tools of the Fourier analysis on matrix spaces. In the framework of this approach, we introduce associated generalized zeta integrals and give new simple proofs to the relevant functional relations. Our technique is based on application of the higher-rank Radon transform on matrix spaces.


title: Inflection points and double tangents on anti-convex curves in the real projective plane

abstract: A simple closed curve $\gamma$ in the real projective plane $P^2$ is called anti-convex if for each point $p$ on the curve, there exists a line which is transversal to the curve and meets the curve only at $p$. We shall prove the relation $i(\gamma)-2\delta(\gamma)=3$ for anti-convex curves, where $i(\gamma)$ is the number of independent (true) inflection points and $\delta(\gamma)$ the number of independent double tangents. This formula is a refinement of the classical M\"obius theorem. We shall also show that there are three inflection points on a given anti-convex curve such that the tangent lines at these three inflection points cross the curve only once. Our approach is axiomatic and can be applied in other situations. For example, we prove similar results for curves of constant width as a corollary.


title: Shape of territories in some competing growth models

abstract: We study two competing growth models. Each of these models describes the spread of a finite number of infections on a graph. Each infection evolves like an (oriented or unoriented) first passage percolation process except that once a vertex is infected by type $i$ infection, it remains of type $i$ forever. We give results about the shape of the area ultimately infected by the different infections.


title: A smooth counterexample to Nori's conjecture on the fundamental group scheme

abstract: We show that Nori's fundamental group scheme \pi(X,x) does not base change correctly under extension of the base field for certain smooth projective ordinary curves X of genus 2 defined over a field of characteristic 2.


title: Affine quantum groups

abstract: Affine quantum groups are certain pseudo-quasitriangular Hopf algebras that arise in mathematical physics in the context of integrable quantum field theory, integrable quantum spin chains, and solvable lattice models. They provide the algebraic framework behind the spectral parameter dependent Yang-Baxter equation. One can distinguish three classes of affine quantum groups, each leading to a different dependence of the R-matrices on the spectral parameter: Yangians lead to rational R-matrices, quantum affine algebras lead to trigonometric R-matrices and elliptic quantum groups lead to elliptic R-matrices. We will mostly concentrate on the quantum affine algebras but many results hold similarly for the other classes. After giving mathematical details about quantum affine algebras and Yangians in the first two section, we describe how these algebras arise in different areas of mathematical physics in the three following sections. We end with a description of boundary quantum groups which extend the formalism to the boundary Yang-Baxter (reflection) equation.


title: Groupoids, the Phragmen-Brouwer Property and the Jordan Curve Theorem

abstract: We publicise a proof of the Jordan Curve Theorem which relates it to the Phragmen-Brouwer Property, and whose proof uses the van Kampen theorem for the fundamental groupoid on a set of base points.


title: Asymptotic analysis of the derivatives of the inverse error function

abstract: The inverse of the error function, $\operatorname{inverf}(x),$ has applications in diffusion problems, chemical potentials, ultrasound imaging, etc. We analyze the derivatives $\frac{d^{n}}{dz^{n}} \operatorname*{inverf}(z) |_{z=0}$, as $n\to \infty$ using nested derivatives and a discrete ray method. We obtain a very good approximation of $\operatorname{inverf}(x)$ through a high-order Taylor expansion around $x=0$. We give numerical results showing the accuracy of our formulas.


title: Equivalence Classes in the Weyl groups of type $B_n$

abstract: We consider two families of equivalence classes in the Weyl groups of type $B_n$ which are suggested by the study of left cells in unequal parameter Iwahori-Hecke algebras. Both families are indexed by a non-negative integer $r$. For $r=0$, the classes in the first family coincide with left cells corresponding to the equal parameter Iwahori-Hecke algebra. When $r$ is sufficiently large, the equivalence classes in the second family agree with left cells corresponding to a special class of choices of unequal parameters. Our main result shows that the two families of equivalence classes coincide, suggesting the structure of left cells for remaining choices of the Iwahori-Hecke algebra parameters.


title: Weighted uniform consistency of kernel density estimators with general bandwidth sequences

abstract: We are interested in the rate of consistency of kernel density estimators with respect to the weighted sup-norm determined by some unbounded weight function. This problem has been considered by Gine, Koltchinskii and Zinn (2004) for a deterministic bandwidth sequence. We provide "uniform in h" versions of some of their results, allowing us to determine the corresponding rates of consistency for kernel density estimators where the bandwidth sequences may depend on the data and/or the location.


title: On Sums, Products, and the multidimensional Falconer problem

abstract: A set in d dimensional Euclidean space with d larger than 2 having Hausdorff dimension at least d/2 must have distance set with Hausdorff dimension strictly greater than 1/2.


title: On Hamiltonicity of {claw, net}-free graphs

abstract: An st-path is a path with the end-vertices s and t. An s-path is a path with an end-vertex s. The results of this paper include necessary and sufficient conditions for a {claw, net}-free graph G with given two different vertices s, t and an edge e to have (1)a Hamiltonian s-path, (2) a Hamiltonian st-path, (3) a Hamiltonian s- and st-paths containing edge e when G has connectivity one, and (4) a Hamiltonian cycle containing e when G is 2-connected. These results imply that a connected {claw, net}-free graph has a Hamiltonian path and a 2-connected {claw, net}-free graph has a Hamiltonian cycle [D. Duffus, R.J. Gould, M.S. Jacobson, Forbidden Subgraphs and the Hamiltonian Theme, in The Theory and Application of Graphs (Kalamazoo, Mich., 1980$), Wiley, New York (1981) 297--316.] Our proofs of (1)-(4) are shorter than the proofs of their corollaries in [D. Duffus, R.J. Gould, M.S. Jacobson] and provide polynomial-time algorithms for solving the corresponding Hamiltonicity problems. Keywords: graph, claw, net, {claw, net}-free graph, Hamiltonian path, Hamiltonian cycle, polynomial-time algorithm.


title: An algebra of deformation quantization for star-exponentials on complex symplectic manifolds

abstract: The cotangent bundle $T^*X$ to a complex manifold $X$ is classically endowed with the sheaf of $\cor$-algebras $\W[T^*X]$ of deformation quantization, where $\cor\eqdot \W[\rmptt]$ is a subfield of $\C[[\hbar,\opb{\hbar}]$. Here, we construct a new sheaf of $\cor$-algebras $\TW[T^*X]$ which contains $\W[T^*X]$ as a subalgebra and an extra central parameter $t$. We give the symbol calculus for this algebra and prove that quantized symplectic transformations operate on it. If $P$ is any section of order zero of $\W[T^*X]$, we show that $\exp(t\opb{\hbar} P)$ is well defined in $\TW[T^*X]$.


title: On the Hermitian curvature of symplectic manifolds

abstract: We study the integrability of a (almost) complex structure calibrated by a symplectic form. We find new sufficent conditions.


title: Defining relations for automorphism groups of free algebras

abstract: We describe a set of defining relations for automorphism groups of finitely generated free algebras of Nielsen-Schreier varieties. In particular, this gives a representation of the automorphism groups of free Lie algebras by generators and defining relations.


title: Explicit solutions to certain inf max problems from Turan power sum theory

abstract: Let s_v denote the pure power sum \sum_{k=1}^n z_k^v. In a previous paper we proved that \sqrt n <= \inf_{|z_k| => 1} \max_{v=1,...,n^2} |s_v| <= \sqrt{n+1} when n+1 is prime. In this paper we prove that \inf_{|z_k| = 1} \max_{v=1,...,n^2-n} |s_v| = \sqrt{n-1} when n-1 is a prime power, and if 2 <= i <= n-1 and n => 3 is a prime power then \inf_{|z_k| => 1} \max_{v=1,...,n^2-i} |s_v| =\sqrt n. We give explicit constructions of n-tuples (z_1,...,z_n) which we prove are global minima for these problems. These are two of the few times in Turan power sum theory where solutions in the inf max problem can be explicitly calculated.


title: A relationship between the Dirichlet and Regularity Problems for elliptic equations

abstract: We study the relationship between the solvability of the $L^p$ Dirichlet problem $(D)_p$ and that of the $L^q$ regularity problem $(R)_q$ for second order elliptic equations with bounded measurable coefficients. It is known that the solvability of $(R)_p$ implies that of $(D)_{p^\prime}$. In this note we show that if $(D)_{p^\prime}$ is solvable, then either $(R)_p$ is solvable or $(R)_q$ is not solvable for any $1<q<\infty$.


title: New maximum principles for linear elliptic equations

abstract: We prove extensions of the estimates of Aleksandrov and Bakel$'$man for linear elliptic operators in Euclidean space $\Bbb{R}^{\it n}$ to inhomogeneous terms in $L^q$ spaces for $q < n$. Our estimates depend on restrictions on the ellipticity of the operators determined by certain subcones of the positive cone. We also consider some applications to local pointwise and $L^2$ estimates.


title: Dimension zero at all scales

abstract: We consider the notion of dimension in four categories: the category of (unbounded) separable metric spaces and (metrically proper) Lipschitz maps, and the category of (unbounded) separable metric spaces and (metrically proper) uniform maps. A unified treatment is given to the large scale dimension and the small scale dimension. We show that in all categories a space has dimension zero if and only if it is equivalent to an ultrametric space. Also, 0-dimensional spaces are characterized by means of retractions to subspaces. There is a universal zero-dimensional space in all categories. In the Lipschitz Category spaces of dimension zero are characterized by means of extensions of maps to the unit 0-sphere. Any countable group of asymptotic dimension zero is coarsely equivalent to a direct sum of cyclic groups. We construct uncountably many examples of coarsely inequivalent ultrametric spaces.


title: On submanifolds in locally symmetric spaces of noncompact type

abstract: Given a connected, compact, totally geodesic submanifold Y^m of noncompact type inside a compact locally symmetric space of noncompact type X^n, we provide a sufficient condition that ensures that [Y^m] is nonzero in H_m(X^n; R); in low dimensions, our condition is also necessary. We provide conditions under which there exist a tangential map of pairs from a finite cover (X-bar,Y-bar) to the nonnegatively curved duals (X_u,Y_u).


title: An active curve approach for tomographic reconstruction of binary radially symmetric objects

abstract: This paper deals with a method of tomographic reconstruction of radially symmetric objects from a single radiograph, in order to study the behavior of shocked material. The usual tomographic reconstruction algorithms such as generalized inverse or filtered back-projection cannot be applied here because data are very noisy and the inverse problem associated to single view tomographic reconstruction is highly unstable. In order to improve the reconstruction, we propose here to add some a priori assumptions on the looked after object. One of these assumptions is that the object is binary and consequently, the object may be described by the curves that separate the two materials. We present a model that lives in BV space and leads to a non local Hamilton-Jacobi equation, via a level set strategy. Numerical experiments are performed (using level sets methods) on synthetic objects.


title: Heegaard-Floer homology and string links

abstract: We extend knot Floer homology to string links in D^{2} \times I and to d-based links in arbitrary three manifolds, without any hypothesis on the null-homology of the components. As for knot Floer homology we obtain a description of the Euler characteristic of the resulting homology groups (in D^{2} \times I) in terms of the torsion of the string link. Additionally, a state summation approach is described using the equivalent of Kauffman states. Furthermore, we examine the situtation for braids, prove that for alternating string links the Euler characteristic determines the homology, and develop similar composition formulas and long exact sequences as in knot Floer homology.


title: Thick subcategories in stable homotopy theory

abstract: In these lectures we give an exposition of the seminal work of Devinatz, Hopkins and Smith which is surrounding the classification of the thick subcategories of finite spectra in stable homotopy theory. The lectures are expository and are aimed primarily at non-homotopy theorists. We begin with an introduction to the stable homotopy category of spectra, and then talk about the celebrated thick subcategory theorem and discuss a few applications to the structure of the Bousfield lattice. Most of the results that we discuss here were conjectured by Ravenel \cite{rav} and were proved by Devinatz, Hopkins, and Smith in \cite{dhs, hs}.


title: On Sikora's spectral sequences

abstract: The Swan, Leray and Leray-Serre spectral sequences of a compact Hausdorff HLC space acted on by a discrete group are shown to be isomorphic.


title: A detailed note on the zeros of Eisenstein series for $\Gamma_0^* (5)$ and $\Gamma_0^* (7)$

abstract: The present paper provides the details omitted from the more concise study "On the zeros of Eisenstein series for $\Gamma_0^* (5)$ and $\Gamma_0^* (7)$." We locate almost all of the zeros of the Eisenstein series associated with the Fricke groups of level 5 and 7 in their fundamental domains by applying and extending the method of F. K. C. Rankin and H. P. F. Swinnerton-Dyer (1970). We also use the arguments of some terms of the Eisenstein series in order to improve existing error bounds.


title: Cyclic Cohomology of Corings

abstract: We define cyclic cohomology of corings over not necessarily commutative algebras. We observe that the key fact which allows us to define this complex is that enveloping algebra of an algebra is a para Hopf algebroid. This observation enables us to define Hopf cyclic cohomology of corings on which para Hopf algebroids act.


title: Minimal systems of binomial generators and the indispensable complex of a toric ideal

abstract: Let $A=\{{\bf a}_1,...,{\bf a}_m\} \subset \mathbb{Z}^n$ be a vector configuration and $I_A \subset K[x_1,...,x_m]$ its corresponding toric ideal. The paper consists of two parts. In the first part we completely determine the number of different minimal systems of binomial generators of $I_A$. We also prove that generic toric ideals are generated by indispensable binomials. In the second part we associate to $A$ a simplicial complex $\Delta _{\ind(A)}$. We show that the vertices of $\Delta_{\ind(A)}$ correspond to the indispensable monomials of the toric ideal $I_A$, while one dimensional facets of $\Delta_{\ind(A)}$ with minimal binomial $A$-degree correspond to the indispensable binomials of $I_{A}$.


title: Properties of generalized univariate hypergeometric functions

abstract: Based on Spiridonov's analysis of elliptic generalizations of the Gauss hypergeometric function, we develop a common framework for 7-parameter families of generalized elliptic, hyperbolic and trigonometric univariate hypergeometric functions. In each case we derive the symmetries of the generalized hypergeometric function under the Weyl group of type E_7 (elliptic, hyperbolic) and of type E_6 (trigonometric) using the appropriate versions of the Nassrallah-Rahman beta integral, and we derive contiguous relations using fundamental addition formulas for theta and sine functions. The top level degenerations of the hyperbolic and trigonometric hypergeometric functions are identified with Ruijsenaars' relativistic hypergeometric function and the Askey-Wilson function, respectively. We show that the degeneration process yields various new and known identities for hyperbolic and trigonometric special functions. We also describe an intimate connection between the hyperbolic and trigonometric theory, which yields an expression of the hyperbolic hypergeometric function as an explicit bilinear sum in trigonometric hypergeometric functions.


title: Crystal graphs of irreducible $U_v(\hat{sl}_e)$-modules of level two and Uglov bipartitions

abstract: We give a simple description of the natural bijection between the set of FLOTW bipartitions and the set of Uglov bipartitions (which generalizes the set of Kleshchev bipartitions). These bipartitions, which label the crystal graphs of irreducible $\mathcal{U}\_v({\hat{\mathfrak{sl}}\_e})$-modules of level two, naturally appear in the context of the modular representation theory of Hecke algebras of type $B\_n$.


title: On the small maximal flows in first passage percolation

abstract: We consider the standard first passage percolation on $\mathbb{Z}^{d}$: with each edge of the lattice we associate a random capacity. We are interested in the maximal flow through a cylinder in this graph. Under some assumptions Kesten proved in 1987 a law of large numbers for the rescaled flow. Chayes and Chayes established that the large deviations far away below its typical value are of surface order, at least for the Bernoulli percolation and cylinders of certain height. Thanks to another approach we extend here their result to higher cylinders, and we transport this result to the model of first passage percolation.


title: Upper large deviations for the maximal flow in first passage percolation

abstract: We consider the standard first passage percolation in $\mathbb{Z}^{d}$ for $d\geq 2$ and we denote by $\phi_{n^{d-1},h(n)}$ the maximal flow through the cylinder $]0,n]^{d-1} \times ]0,h(n)]$ from its bottom to its top. Kesten proved a law of large numbers for the maximal flow in dimension three: under some assumptions, $\phi_{n^{d-1},h(n)} / n^{d-1}$ converges towards a constant $\nu$. We look now at the probability that $\phi_{n^{d-1},h(n)} / n^{d-1}$ is greater than $\nu + \epsilon$ for some $\epsilon >0$, and we show under some assumptions that this probability decays exponentially fast with the volume of the cylinder. Moreover, we prove a large deviations principle for the sequence $(\phi_{n^{d-1},h(n)} / n^{d-1}, n\in \mathbb{N})$.


title: Noncommutative Symmetric Functions Associated with a Code, Lazard Elimination, and Witt Vectors

abstract: The construction of the universal ring of Witt vectors is related to Lazard's factorizations of free monoids by means of a noncommutative analogue. This is done by associating to a code a specialization of noncommutative symmetric functions.


title: On the energy of a flow arising in shape optimization

abstract: In Cardaliaguet-Ley (2006) we have defined a viscosity solution for the gradient flow of the exterior Bernoulli free boundary problem. We prove here that the associated energy is non decreasing along the flow. This justifies the "gradient flow" approach for such kind of problem. The proof relies on the construction of a discrete gradient flow in the flavour of Almgren-Taylor-Wang (1993) and on proving it converges to the viscosity solution.


title: Tameness of Local cohomology of monomial ideals with respect to monomial prime ideals

abstract: In this paper we consider the local cohomology of monomial ideals with respect to monomial prime ideals and show that all these local cohomology modules are tame.


title: A Two-dimensional eddy current model using thin inductors

abstract: We derive a mathematical model for eddy currents in two dimensional geometries where the conductors are thin domains. We assume that the current flows in the $x\_3$-direction and the inductors are domains with small diameters of order $O(\epsilon)$. The model is derived by taking the limit $\epsilon\to 0$. A convergence rate of $O(\epsilon^\alpha)$ with $0<\alpha<1/2$ in the $L^2$--norm is shown as well as weak convergence in the $W^{1,p}$ spaces for $1< p <2$.


title: Behavior of knot invariants under genus 2 mutation

abstract: Genus 2 mutation is the process of cutting a 3-manifold along an embedded closed genus 2 surface, twisting by the hyper-elliptic involution, and gluing back. This paper compares genus 2 mutation with the better-known Conway mutation in the context of knots in the 3-sphere. Despite the fact that any Conway mutation can be achieved by a sequence of at most two genus 2 mutations, the invariants that are preserved by genus 2 mutation are a proper subset of those preserved by Conway mutation. In particular, while the Alexander and Jones polynomials are preserved by genus 2 mutation, the HOMFLY-PT polynomial is not. In the case of the sl_2-Khovanov homology, which may or may not be invariant under Conway mutation, we give an example where genus 2 mutation changes this homology. Finally, using these techniques, we exhibit examples of knots with the same same colored Jones polynomials, HOMFLY-PT polynomial, Kauffman polynomial, signature and volume, but different Khovanov homology.


title: Effet d'une perturbation non lineaire sur l'obtention d'une Estimation Uniforme

abstract: To have an uniform estimate for the solutions of the scalar curvature equation perturbed by a non linear term, we give some minimal condition on the scalar curvature.


title: Courbes elliptiques sur la variete spinorielle

abstract: Let V be an even dimensional vector space with a non degenerate quadratic form. We denote by X the variety of maximal isotropic subspaces in V (in fact one of its two connected components). In this paper, we prove the irreducibility of the scheme of degree d morphism f:C->X as soon as d is bigger than 1/2dim(V)-1. When dim(V)=10 and d=6, this result was used by A. Iliev and D. Markushevich in math.AG/0403122 to prove the irreducibility of the moduli space M_{X_12}(2,1,6) where X_{12} is the Fano threefold of index 1 and degree 12.


title: Fourier expansion along geodesics

abstract: For an eigenfunction of the Laplacian on a hyperbolic Riemann surface, the coefficients of the Fourier expansion are described as intertwining functionals. All intertwiners are classified. A refined growth estimate for the coefficients is given and a summation formula is proved.


title: Supercuspidal representations: an exhaustion theorem

abstract: Let $G$ be a reductive $p$-adic group. We prove that all supercuspidal representations of $G$ arise through Yu's construction subject to certain hypotheses on $k$ (depending on $G$). As a corollary, under the same hypotheses, we see that any supercuspidal representation is compactly induced from a representation of an open subgroup which is compact modulo the center.


title: L^2-Invariants and rank metric

abstract: We introduce a notion of rank completion for bi-modules over a finite tracial von Neumann algebra. We show that the functor of rank completion is exact and that the category of complete modules is abelian with enough projective objects. This leads to interesting computations in the L^2-homology for tracial algebras. As an application, we also give a new proof of a Theorem of Gaboriau on invariance of L^2-Betti numbers under orbit equivalence.


title: On the Orbits of Computably Enumerable Sets

abstract: The goal of this paper is to show there is a single orbit of the c.e. sets with inclusion, $\mathcal{E}$, such that the question of membership in this orbit is $\Sigma^1_1$-complete. This result and proof have a number of nice corollaries: The Scott rank of $\mathcal{E}$ is $\omega^{CK}_1+1; Not all orbits are elementarily definable; There is no arithmetic description of all orbits of $\mathcal{E}$; For all finite $\alpha \geq 9$, there is a properly $\Delta^0_\alpha$ orbit (from the proof). April 6, 2007, minor changes Nov 20, 2007, minor changes


title: High distance knots

abstract: We construct knots in S^3 with Heegaard splittings of arbitrarily high distance, in any genus. As an application, for any positive integers t and b we find a tunnel number t knot in the three-sphere which has no (t,b)-decomposition.


title: Gram determinants and semisimplity criteria for Birman-Wenzl algebras

abstract: In this paper, we compute the Gram determinants associated to each cell module of the Birman-Wenzl algebras. As a by-product, we give the necessary and sufficient condition for semisimple Birman-Wenzl algebras over an arbitrary field.


title: Discriminants of Brauer algebras

abstract: In this paper, we compute the discriminant of the Gram matrix associated to each cell module of the Brauer algebra $\cba{n}$. Theoretically, we know when a cell module of $\cba{n}$ is equal to its simple head. This gives a solution of this long standing problem.


title: Reconstructing $p$-divisible groups from their truncations of small level

abstract: Let $k$ be an algebraically closed field of characteristic $p>0$. Let $D$ be a $p$-divisible group over $k$. Let $n_D$ be the smallest non-negative integer for which the following statement holds: if $C$ is a $p$-divisible group over $k$ of the same codimension and dimension as $D$ and such that $C[p^{n_D}]$ is isomorphic to $D[p^{n_D}]$, then $C$ is isomorphic to $D$. To the Dieudonn\'e module of $D$ we associate a non-negative integer $\ell_D$ which is a computable upper bound of $n_D$. If $D$ is a product $\prod_{i\in I} D_i$ of isoclinic $p$-divisible groups, we show that $n_D=\ell_D$; if the set $I$ has at least two elements we also show that $n_D\le\max\{1,n_{D_i},n_{D_i}+n_{D_j}-1|i,j\in I, j\neq i\}$. We show that we have $n_D\Le 1$ if and only if $\ell_D\Le 1$; this recovers the classification of minimal $p$-divisible groups obtained by Oort. If $D$ is quasi-special, we prove the Traverso truncation conjecture for $D$. If $D$ is $F$-cyclic, we compute explicitly $n_D$. Many results are proved in the general context of latticed $F$-isocrystals with a (certain) group over $k$.


title: Counting $(1,\beta)$-BM relations and classifying $(2,2)$-BM groups

abstract: In the first part, we prove that the number of $(1,\beta)$-BM relations is $3 \cdot 5 \cdot \ldots \cdot (2\beta + 1)$, which was conjectured by Kimberley. In the second part, we construct two isomorphisms between certain $(2,2)$-BM groups. This completes the classification of $(2,2)$-BM groups initiated by Kimberley and Robertson.


title: A Course in Vertex Algebra

abstract: This book offers an introduction to vertex algebra based on a new approach. The new approach says that a vertex algebra is an associative algebra such that the underlying Lie algebra is a vertex Lie algebra. In particular, vertex algebras can be formulated in terms of a single multiplication and they behave like associative algebras with respect to it. Chapter 1 is the introduction. In chapter 2 we discuss many examples of vertex Lie algebras and we show that vertex Lie algebras form a full subcategory of the category of "local" Lie algebras. In chapter 3 we introduce associative, commutative, and Poisson vertex algebras and vertex algebra modules and we show that graded associative vertex algebras form a full subcategory of the category of "local" associative algebras. In chapter 4 we give a systematic presentation of the vertex algebra identities, proving in particular the equivalence of various axiom systems, and we use filtrations to prove results about generating subspaces with the PBW-property, with and without repeats. In chapter 5 we explain three constructions of the enveloping vertex algebra of a vertex Lie algebra and prove the PBW-theorem. In chapter 6 we prove the Zhu correspondence between N-graded vertex algebra modules and modules over the Zhu algebra.


title: 2-nerves for bicategories

abstract: We describe a Cat-valued nerve of bicategories, which associates to every bicategory a simplicial object in Cat, called the 2-nerve. We define a 2-category NHom whose objects are bicategories and whose 1-cells are normal homomorphisms of bicategories, in such a way that the 2-nerve construction becomes a full embedding of NHom in the 2-category of simplicial objects in Cat. This embedding has a left biadjoint, and we characterize its image. The 2-nerve of a bicategory is always a weak 2-category in the sense of Tamsamani, and we show that NHom is biequivalent to a certain 2-category whose objects are Tamsamani weak 2-categories.


title: Algebraic cycles and Connes periodicity

abstract: We apply the classical technique on cyclic objects of Alain Connes to various objects, in particular to the higher Chow complex of S. Bloch to prove a Connes periodicity long exact sequence involving motivic cohomology groups. The Cyclic higher Chow groups and the Connes higher Chow groups of a variety are defined in the process and various properties of them are deduced from the known properties of the higher Chow groups. Applications include an equivalent reformulation of the Beilinson-Soul\'e vanishing conjecture for the motivic cohomology groups of a smooth variety $X$ and a reformulation of the conjecture of Soul\'e on the order of vanishing of the zeta function of an arithmetic variety.


title: Cohomology and deformation of module-algebras

abstract: An algebraic deformation theory of module-algebras over a bialgebra is constructed. The cases of module-coalgebras, comodule-algebras, and comodule-coalgebras are also considered.


title: The boundary manifold of a complex line arrangement

abstract: We study the topology of the boundary manifold of a line arrangement in CP^2, with emphasis on the fundamental group G and associated invariants. We determine the Alexander polynomial Delta(G), and more generally, the twisted Alexander polynomial associated to the abelianization of G and an arbitrary complex representation. We give an explicit description of the unit ball in the Alexander norm, and use it to analyze certain Bieri-Neumann-Strebel invariants of G. From the Alexander polynomial, we also obtain a complete description of the first characteristic variety of G. Comparing this with the corresponding resonance variety of the cohomology ring of G enables us to characterize those arrangements for which the boundary manifold is formal.


title: A new look at Mourre's commutator theory

abstract: Mourre's commutator theory is a powerful tool to study the continuous spectrum of self-adjoint operators and to develop scattering theory. We propose a new approach of its main result, namely the derivation of the limiting absorption principle from a so called Mourre estimate. We provide a new interpretation of this result.


title: Singular Self-dual Zollfrei Metrics and Twistor Correspondence

abstract: We construct examples of singular self-dual Zollfrei metrics explicitly, by patching a pair of Petean's self-dual split-signature metrics. We prove that there is a natural one-to-one correspondence between these singular metrics and a certain set of embeddings of $RP^3$ to $CP^3$ which has one singular point. This embedding corresponds to an odd function on $R$ that is rapidly decreasing and pure imaginary valued. The one-to-one correspondence is explicitly given by using the Radon transform.


title: Symmetric Units and Group Identities in Group Algebras. I

abstract: We describe those group algebras over fields of characteristic different from 2 whose units symmetric with respect to the classical involution, satisfy some group identity.


title: Roots in the mapping class groups

abstract: The purpose of this paper is the study of the roots in the mapping class groups. Let $\Sigma$ be a compact oriented surface, possibly with boundary, let $\PP$ be a finite set of punctures in the interior of $\Sigma$, and let $\MM (\Sigma, \PP)$ denote the mapping class group of $(\Sigma, \PP)$. We prove that, if $\Sigma$ is of genus 0, then each $f \in \MM (\Sigma)$ has at most one $m$-root for all $m \ge 1$. We prove that, if $\Sigma$ is of genus 1 and has non-empty boundary, then each $f \in \MM (\Sigma)$ has at most one $m$-root up to conjugation for all $m \ge 1$. We prove that, however, if $\Sigma$ is of genus $\ge 2$, then there exist $f,g \in \MM (\Sigma, \PP)$ such that $f^2=g^2$, $f$ is not conjugate to $g$, and none of the conjugates of $f$ commutes with $g$. Afterwards, we focus our study on the roots of the pseudo-Anosov elements. We prove that, if $\partial \Sigma \neq \emptyset$, then each pseudo-Anosov element $f \in \MM(\Sigma, \PP)$ has at most one $m$-root for all $m \ge 1$. We prove that, however, if $\partial \Sigma = \emptyset$ and the genus of $\Sigma$ is $\ge 2$, then there exist two pseudo-Anosov elements $f,g \in \MM (\Sigma)$ (explicitely constructed) such that $f^m=g^m$ for some $m\ge 2$, $f$ is not conjugate to $g$, and none of the conjugates of $f$ commutes with $g$. Furthermore, if the genus of $\Sigma$ is $\equiv 0 (\mod 4)$, then we can take $m=2$. Finally, we show that, if $\Gamma$ is a pure subgroup of $\MM (\Sigma, \PP)$ and $f \in \Gamma$, then $f$ has at most one $m$-root in $\Gamma$ for all $m \ge 1$. Note that there are finite index pure subgroups in $\MM (\Sigma, \PP)$.


title: Hyperdeterminants on semilattices

abstract: We compute hyperdeterminants of hypermatrices whose indices belongs in a meet-semilattice and whose entries depend only of the greatest lower bound of the indices. One shows that an elementary expansion of such a polynomial allows to generalize a theorem of Lindstr\"om to higher-dimensional determinants. And we gave as an application generalizations of some results due to Lehmer, Li and Haukkanen.


title: Lazard's Elimination (in traces) is finite-state recognizable

abstract: We prove that the codes issued from the elimination of any subalphabet in a trace monoid are finite state recognizable. This implies in particular that the transitive factorizations of the trace monoids are recognizable by (boolean) finite-state automata.


title: Bipartite-uniform hypermaps on the sphere

abstract: A hypermap is (hypervertex-) bipartite if its hypervertices can be 2-coloured in such a way that ``neighbouring'' hypervertices have different colours. It is bipartite-uniform if within each of the sets of hypervertices of the same colour, hyperedges and hyperfaces, elements have common valencies. The flags of a bipartite hypermap are naturally 2-coloured by assigning the colour of its adjacent hypervertices. A hypermap is bipartite-regular if the automorphism group acts transitively on each set of coloured flags. If the automorphism group acts transitively on the set of all flags, the hypermap is regular. In this paper we classify the bipartite-uniform hypermaps on the sphere (up to duality). Two constructions of bipartite-uniform hypermaps are given. All bipartite-uniform spherical hypermaps are shown to be constructed in this way. As a by-product we show that every bipartite-uniform hypermap on the sphere is bipartite-regular. We also compute their irregularity group and index, and also their closure cover and covering core.


title: Moment estimates for L\'{e}vy Processes

abstract: For real L\'{e}vy processes $(X\_t)\_{t \geq 0}$ having no Brownian component with Blumenthal-Getoor index $\beta$, the estimate $\E \sup\_{s \leq t} | X\_s - a\_p s |^p \leq C\_p t$ for every $t \in [0,1]$ and suitable $a\_p \in \R$ has been established by Millar \cite{MILL} for $\beta < p \leq 2$ provided $X\_1 \in L^p$. We derive extensions of these estimates to the cases $p > 2$ and $p \leq\beta$.


title: Carath\'eodory functions in the Banach space setting

abstract: We prove representation theorems for Carath\'eodory functions in the setting of Banach spaces.


title: On reducibility of n-ary quasigroups

abstract: An $n$-ary operation $Q:S^n -> S$ is called an $n$-ary quasigroup of order $|S|$ if in the equation $x_{0}=Q(x_1,...,x_n)$ knowledge of any $n$ elements of $x_0$, ..., $x_n$ uniquely specifies the remaining one. $Q$ is permutably reducible if $Q(x_1,...,x_n)=P(R(x_{s(1)},...,x_{s(k)}),x_{s(k+1)},...,x_{s(n)})$ where $P$ and $R$ are $(n-k+1)$-ary and $k$-ary quasigroups, $s$ is a permutation, and $1<k<n$. An $m$-ary quasigroup $S$ is called a retract of $Q$ if it can be obtained from $Q$ or one of its inverses by fixing $n-m>0$ arguments. We prove that if the maximum arity of a permutably irreducible retract of an $n$-ary quasigroup $Q$ belongs to $\{3,...,n-3\}$, then $Q$ is permutably reducible. Keywords: n-ary quasigroups, retracts, reducibility, distance 2 MDS codes, latin hypercubes


title: Smoothing of Quiver Varieties

abstract: We show that Gorenstein singularities that are cones over singular Fano varieties provided by so-called flag quivers are smoothable in codimension three. Moreover, we give a precise characterization about the smoothability in codimension three of the Fano variety itself.


title: Ehrhart analogue of the h-vector

abstract: We consider a formula of Stanley that expresses the Ehrhart generating polynomial of a polyhedral complex in terms of the h-polynomials of toric varieties. We prove that the coefficients in this expression are all non-negative and show that these coefficients can be found using the decomposition theorem in intersection cohomology.


title: On the isomorphism problem for unit groups of modular group algebras

abstract: Using the computational algebra system GAP (http://www.gap-system.org) and the GAP package LAGUNA (http://www.cs.st-andrews.ac.uk/~alexk/laguna.htm), we checked that all 2-groups of order not greater than 32 are determined by normalized unit groups of their modular group algebras over the field of two elements.


title: Monotonicity and non-monotonicity of domains of stochastic integral operators

abstract: A L\'evy process on $R^d$ with distribution $\mu$ at time 1 is denoted by $X^{(\mu)}=\{X_t^{(\mu)}\}$. If the improper stochastic integral $\int_0^{\infty-} f(s)dX_s^{(\mu)}$ of $f$ with respect to $X^{(\mu)}$ is definable, its distribution is denoted by $\Phi_f(\mu)$. The class of all infinitely divisible distributions $\mu$ on $R^d$ such that $\Phi_f(\mu)$ is definable is denoted by $D(\Phi_f)$. The class $D(\Phi_f)$, its two extensions $D_c(\Phi_f)$ and $D_e(\Phi_f)$ (compensated and essential), and its restriction $D^0(\Phi_f)$ (absolutely definable) are studied. It is shown that $D_e(\Phi_f)$ is monotonic with respect to $f$, which means that $|f_2|\leq |f_1|$ implies $D_e(\Phi_{f_1})\subset D_e(\Phi_{f_2})$. Further, $D^0(\Phi_f)$ is monotonic with respect to $f$ but neither $D(\Phi_f)$ nor $D_c(\Phi_f)$ is monotonic with respect to $f$. Furthermore, there exist $\mu$, $f_1$, and $f_2$ such that $0\leq f_2\leq f_1$, $\mu\in D(\Phi_{f_1})$, and $\mu\not\in D(\Phi_{f_2})$. An explicit example for this is related to some properties of a class of martingale L\'evy processes.


title: Quadratic algebras related to the bihamiltonian operad

abstract: We prove the conjectures on dimensions and characters of some quadratic algebras stated by B.L.Feigin. It turns out that these algebras are naturally isomorphic to the duals of the components of the bihamiltonian operad.


title: Existence and uniqueness of maximizing measures for robust classes of local diffeomorphisms

abstract: We prove existence of maximal entropy measures for an open set of non-uniformly expanding local diffeomorphisms on a compact Riemannian manifold. In this context the topological entropy coincides with the logarithm of the degree, and these maximizing measures are eigenmeasures of the transfer operator. When the map is topologically mixing, the maximizing measure is unique and positive on every open set.


title: An optimization problem with free boundary governed by a degenerate quasilinear operator

abstract: In this paper we study the existence, regularity and geometric properties of an optimal configuration to a free boundary optimization problem governed by the $p$-Laplacian.


title: The modular isomorphism problem for finite $p$-groups with a cyclic subgroup of index $p^2$

abstract: Let $p$ be a prime number, $G$ be a finite $p$-group and $K$ be a field of characteristic $p$. The Modular Isomorphism Problem (MIP) asks whether the group algebra $KG$ determines the group $G$. Dealing with MIP, we investigated a question whether the nilpotency class of a finite $p$-group is determined by its modular group algebra over the field of $p$ elements. We give a positive answer to this question provided one of the following conditions holds: (i) $\exp G=p$; (ii) $\cl(G)=2$; (iii) $G'$ is cyclic; (iv) $G$ is a group of maximal class and contains an abelian subgroup of index $p$.


title: Examples of Condition (T) for Diffusions in a Random Environment

abstract: With the help of the methods developed in our previous article [Schmitz, to appear in "Annales de l'I.H.P. Prob. & Stat.], we highlight condition (T) as a source of new examples of 'ballistic' diffusions in a random environment when d>1 ('ballistic' means that a strong law of large numbers with non-vanishing limiting velocity holds). In particular we are able to treat the case of non-constant diffusion coefficients, a feature that causes problems. Further we recover the ballistic character of two important classes of diffusions in a random environment by simply checking condition (T). This not only points out to the broad range of examples where condition (T) can be checked, but also fortifies our belief that condition (T) is a natural contender for the characterisation of ballistic diffusions in a random environment when d>1.


title: Patterns in a Smoluchowski Equation

abstract: We analyze the dynamics of concentrated polymer solutions modeled by a 2D Smoluchowski equation. We describe the long time behavior of the polymer suspensions in a fluid. \par When the flow influence is neglected the equation has a gradient structure. The presence of a simple flow introduces significant structural changes in the dynamics. We study the case of an externally imposed flow with homogeneous gradient. We show that the equation is still dissipative but new phenomena appear. The dynamics depend on both the concentration intensity and the structure of the flow. In certain {\it limit cases} the equation has a gradient structure, in an appropriate reference frame, and the solutions evolve to either a steady state or a tumbling wave. For small perturbations of the gradient structure we show that some features of the gradient dynamics survive: for small concentrations the solutions evolve in the long time limit to a steady state and for high concentrations there is a tumbling wave.


title: Existence of Atoms and Molecules in the Mean-Field Approximation of No-Photon Quantum Electrodynamics

abstract: The Bogoliubov-Dirac-Fock (BDF) model is the mean-field approximation of no-photon Quantum Electrodynamics. The present paper is devoted to the study of the minimization of the BDF energy functional under a charge constraint. An associated minimizer, if it exists, will usually represent the ground state of a system of $N$ electrons interacting with the Dirac sea, in an external electrostatic field generated by one or several fixed nuclei. We prove that such a minimizer exists when a binding (HVZ-type) condition holds. We also derive, study and interpret the equation satisfied by such a minimizer. Finally, we provide two regimes in which the binding condition is fulfilled, obtaining the existence of a minimizer in these cases. The first is the weak coupling regime for which the coupling constant $\alpha$ is small whereas $\alpha Z$ and the particle number $N$ are fixed. The second is the non-relativistic regime in which the speed of light tends to infinity (or equivalently $\alpha$ tends to zero) and $Z$, $N$ are fixed. We also prove that the electronic solution converges in the non-relativistic limit towards a Hartree-Fock ground state.


title: Actions of finitely generated groups on R-trees

abstract: We study actions of finitely generated groups on $\bbR$-trees under some stability hypotheses. We prove that either the group splits over some controlled subgroup (fixing an arc in particular), or the action can be obtained by gluing together actions of simple types: actions on simplicial trees, actions on lines, and actions coming from measured foliations on 2-orbifolds. This extends results by Sela and Rips-Sela. However, their results are misstated, and we give a counterexample to their statements. The proof relies on an extended version of Scott's Lemma of independent interest. This statement claims that if a group $G$ is a direct limit of groups having suitably compatible splittings, then $G$ splits.


title: Noncommutative residue for Heisenberg manifolds. Applications in CR and contact geometry

abstract: This paper has four main parts. In the first part, we construct a noncommutative residue for the hypoelliptic calculus on Heisenberg manifolds, that is, for the class of Heisenberg PsiDOs introduced by Beals-Greiner and Taylor. This noncommutative residue appears as the residual trace on integer order Heisenberg PsiDOs induced by the analytic extension of the usual trace to non-integer order Heisenberg PsiDOs. Moreover, it agrees with the integral of the density defined by the logarithmic singularity of the Schwartz kernel of the corresponding Heisenberg PsiDO. In addition, we show that this noncommutative residue provides us with the unique trace up to constant multiple on the algebra of integer order Heisenberg PsiDOs. In the second part, we give some analytic applications of this construction concerning zeta functions of hypoelliptic operators, logarithmic metric estimates for Green kernels of hypoelliptic operators, and the extension of the Dixmier trace to the whole algebra of integer order Heisenberg PsiDOs. In the third part, we present examples of computations of noncommutative residues of some powers of the horizontal sublaplacian and the contact Laplacian on contact manifolds. In the fourth part, we present two applications in CR geometry. First, we give some examples of geometric computations of noncommutative residues of some powers of the horizontal sublaplacian and of the Kohn Laplacian. Second, we make use of the framework of noncommutative geometry and of our noncommutative residue to define lower dimensional volumes in pseudohermitian geometry, e.g., we can give sense to the area of any 3-dimensional CR manifold. On the way we obtain a spectral interpretation of the Einstein-Hilbert action in pseudohermitian geometry.


title: On a theorem of Brion

abstract: We give an elementary geometric re-proof of a formula discovered by Michel Brion as well as two variants thereof. A subset of R^n gives rise to a formal Laurent series with monomials corresponding to lattice points in the set. Under suitable hypotheses, these series represent rational functions. We will prove formulae relating the rational function of a lattice polytope P to the sum of rational functions corresponding to the supporting cones subtended at the vertices of P. The exposition should be suitable for everyone with a little background in topology.


title: Representations lisses de GL(m,D), IV : representations supercuspidales

abstract: Let F be a non Archimedean locally compact field and let D be a central F-division algebra. We prove that any positive level supercuspidal irreducible representation of the group GL(m,D) is compactly induced from a representation of a compact mod center open subgroup of GL(m,D). More precisely, we prove that such representations contain a maximal simple type.


title: Operator space structure on Feichtinger's Segal algebra

abstract: We extend the definition, from the class of abelian groups to a general locally compact group G, of Feichtinger's remarkable Segal algebra S_0(G). In order to obtain functorial properties for non-abelain groups, in particular a tensor product formula, we endow S_0(G) with an operator space structure. With this structure S_0(G) is simultaneously an operator Segal algebra of the Fourier algebra A(G), and of the group algebra L^1(G). We show that this operator space structure is consistent with the major functorial properties: (i) S_0(G)\hat{\otimes}S_0(H)=S_0(G\times H) completely isomorphically (operator projective tensor product), if H is another locally compact group; (ii) the restriction map u\mapsto u|_H:S_0(G)\to S_0(H) is completely surjective, if H is a closed subgroup; and (iii) T_N:S_0(G)\to S_0(G/N) is completely surjective, where N is a normal subgroup and T_N u(sN)=\int_N u(sn)dn. We also show that S_0(G) is an invariant for G when it is treated simultaneously as a pointwise algebra and a convolutive algebra.


title: Classifying subcategories of modules over a PID

abstract: Let $R$ be a commutative ring. A full additive subcategory $\C$ of $R$-modules is triangulated if whenever two terms of a short exact sequence belong to $\C$, then so does the third term. In this note we give a classification of triangulated subcategories of finitely generated modules over a principal ideal domain. As a corollary we show that in the category of finitely generated modules over a PID, thick subcategories (triangulated subcategories closed under direct summands), wide subcategories (abelian subcategories closed under extensions) and Serre subcategories (wide subcategories closed under kernels) coincide and correspond to specialisation closed subsets of $\Spec(R)$.


title: Chordal Coxeter Groups

abstract: A solution of the isomorphism problem is presented for the class of Coxeter groups W that have a finite set of Coxeter generators S such that the underlying graph of the presentation diagram of the system (W,S) has the property that every cycle of length at least four has a cord. As an application, we construct counterexamples to two main conjectures concerning the isomorphism problem for Coxeter groups.


title: On non-perturbative Anderson localization for C^\alpha potentials generated by shifts and skew-shifts

abstract: In this paper we address the question of proving Anderson localization (AL) for the operator [H(x,\omega)\psi](n) := - \vp(n+1) - \vp(n-1) + V\bigl(T^n_\omega x\bigr)\psi(n), n\in\mathbb Z where T:\tor^2\to\tor^2 is either the shift or the skew-shift and V is only C^\alpha(\tor^2) for some \alpha>0. We show that under the assumption of positive Lyapunov exponents, (AL) takes place for a.e. frequency, phase, and energy.


title: Construct Weak Hopf Algebras By Using Borcherds Matrix

abstract: We define a new kind quantized enveloping algebra of a generalized Kac-Moody algebra ${\mathcal G}$ by adding a new generator $J$ satisfying $J^m=J$ for some integer $m$. We denote this algebra by $wU_q^{\tau}({\mathcal G})$. This algebra is a weak Hopf algebra if and only if $m=2,3$. In general, it is a bialgebra, and contains a Hopf subalgebra. This Hopf subalgebra is isomorphic to the usually quantum envelope algebra $U_q({\mathcal G})$ of a generalized Kac-Moody algebra ${\mathcal G}$.


title: Quasi-metric and metric spaces

abstract: We give a short review of a construction of Frink to obtain a metric space from a quasi-metric space. By an example we illustrate the limits of the construction.


title: Extensions of Hardy inequality

abstract: In this paper we prove sharp Hardy inequalities by using Maximal function theory. Our results improve and extend the well-known results of G.Hardy \cite{Ha04}, T.Cazenave \cite {Ca03}, J.-Y.Chemin\cite {Ch06} and T.Tao\cite {TT06}.


title: On the arithmetical rank of the edge ideals of forests

abstract: We show that for the edge ideals of a certain class of forests, the arithmetical rank equals the projective dimension.


title: A note on composition operators on Hardy spaces of the polydisk

abstract: In this work, we prove that weak compactness of composition operator on $H^{1}(U^{n})$ coincides with its compactness. We also characterize bounded and compact composition operators on $H^{1}(U^{n}).$\


title: Computing Zeta Functions of Nondegenerate Curves

abstract: In this paper we present a p-adic algorithm to compute the zeta function of a nondegenerate curve over a finite field using Monsky-Washnitzer cohomology. The paper vastly generalizes previous work since all known cases, e.g. hyperelliptic, superelliptic and C_{ab} curves, can be transformed to fit the nondegenerate case. For curves with a fixed Newton polytope, the property of being nondegenerate is generic, so that the algorithm works for almost all curves with given Newton polytope. For a genus g curve over F_{p^n}, the expected running time is O(n^3g^6 + n^2g^{6.5}), whereas the space complexity amounts to O(n^3g^4), assuming p is fixed.


title: Weighted inequalities and Stein-Weiss potentials

abstract: Sharp extensions of Pitt's inequality and bounds for Stein-Weiss fractional integrals are obtained that incorporate gradient forms and vector-valued operators. Such results include Hardy-Rellich inequalities.


title: Probability density for a hyperbolic SPDE with time dependent coefficients

abstract: We prove the existence and smoothness of density for the solution of a hyperbolic SPDE with free term coefficients depending on time, under hypoelliptic non degeneracy conditions. The result extends those proved in Cattiaux and Mesnager, PTRF 2002, to an infinite dimensional setting.


title: Parabolic integrodifferential identification problems related to radial memory kernels I

abstract: We are concerned with the problem of recovering the radial kernel $k$, depending also on time, in a parabolic integro-differential equation $$D_{t}u(t,x)={\cal A}u(t,x)+\int_0^t k(t-s,|x|){\cal B}u(s,x)ds +\int_0^t D_{|x|}k(t-s,|x|){\cal C}u(s,x)ds+f(t,x),$$ ${\cal A}$ being a uniformly elliptic second-order linear operator in divergence form. We single out a special class of operators ${\cal A}$ and two pieces of suitable additional information for which the problem of identifying $k$ can be uniquely solved locally in time when the domain under consideration is a spherical corona or an annulus.


title: Parabolic integrodifferential identification problems related to radial memory kernels II

abstract: We are concerned with the problem of recovering the radial kernel $k$, depending also on time, in the parabolic integro-differential equation $$D_{t}u(t,x)={\cal A}u(t,x)+\int_0^t k(t-s,|x|){\cal B}u(s,x)ds +\int_0^t D_{|x|}k(t-s,|x|){\cal C}u(s,x)ds+f(t,x),$$ ${\cal A}$ being a uniformly elliptic second-order linear operator in divergence form. We single out a special class of operators ${\cal A}$ and two pieces of suitable additional information for which the problem of identifying $k$ can be uniquely solved locally in time when the domain under consideration is a ball or a disk.


title: The relative extremal function for Borel sets in complex manifolds

abstract: We study a disc formula for the relative extremal function for Borel sets in complex manifolds.


title: H\"older continuous solutions to Monge-Amp\`ere equations

abstract: We study the regularity of solutions to complex Monge-Amp\`ere equations $(dd^c u)^n=f dV$, on bounded strongly pseudoconvex domains $ \Omega \subset \C^n$. We show, under a mild technical assumption, that the unique solution $u$ to such an equation is H\"older continuous if the boundary values $\phi$ are H\"older continuous and the density $f$ belongs to $L^p(\Omega)$ for some $p>1$. This improves previous results by Bedford-Taylor and Kolodziej.


title: On the number of indecomposable totally reflexive modules

abstract: In this note, it is proved that over a commutative noetherian henselian non-Gorenstein local ring there are infinitely many isomorphism classes of indecomposable totally reflexive modules, if there is a nonfree cyclic totally reflexive module.


title: Lagrangian boundary conditions for anti-self-dual instantons and the Atiyah-Floer conjecture

abstract: The purpose of this survey is to explain an approach to the Atiyah-Floer conjecture via a new instanton Floer homology with Lagrangian boundary conditions. This is a joint project with Dietmar Salamon. This paper also provides a rough guide to the analysis of anti-self-dual instantons with Lagrangian boundary conditions (in earlier papers), which is the crucial ingredient of our approach.


title: An uncountably infinite number of indecomposable totally reflexive modules

abstract: A few years ago, Huneke and Leuschke proved a theorem which solved a conjecture of Schreyer. It asserts that an excellent Cohen-Macaulay local ring of countable Cohen-Macaulay type which is complete or has uncountable residue field has at most a one-dimensional singular locus. In this paper, it is verified that the assumption of the excellent property can be removed, and the theorem is considered over an arbitrary local ring. The main purpose of this paper is to prove that the existence of a certain prime ideal and a certain totally reflexive module implies the existence of an uncountably infinite number of isomorphism classes of indecomposable totally reflexive modules.


title: Instanton Floer homology with Lagrangian boundary conditions

abstract: In this paper we define instanton Floer homology groups for a pair consisting of a compact oriented 3-manifold with boundary and a Lagrangian submanifold of the moduli space of flat SU(2)-connections over the boundary. We carry out the construction for a general class of irreducible, monotone boundary conditions. The main examples of such Lagrangian submanifolds are induced from a disjoint union of handle bodies such that the union of the 3-manifold and the handle bodies is an integral homology 3-sphere. The motivation for introducing these invariants arises from our program for a proof of the Atiyah-Floer conjecture for Heegaard splittings. We expect that our Floer homology groups are isomorphic to the usual Floer homology groups of the closed 3-manifold in our main example and thus can be used as a starting point for an adiabatic limit argument.