title: Spiral Waves and the Dynamical System Approach

abstract: Spirals are common in Nature: the snail's shell and the ordering of seeds in the sunflower are amongst the most widely-known occurrences. While these are static, dynamic spirals can also be observed in excitable systems such as heart tissue, retina, certain chemical reactions, slime mold aggregates, flame fronts, etc. The images associated with these spirals are often breathtaking, but spirals have also been linked to cardiac arrhythmias, a potentially fatal heart ailment. In the literature, very specific models depending on the excitable system of interest are used to explain the observed behaviour of spirals (such as anchoring or drifting). Barkley first noticed that the Euclidean symmetry of these models, and not the model itself, is responsible for the observed behaviour. But in experiments, the physical domain is never Euclidean. The heart, for instance, is finite, anisotropic and littered with inhomogeneities. To capture this loss of symmetry, LeBlanc and Wulff introduced forced Euclidean symmetry-breaking (FESB) in the analysis. To accurately model the physical situation, two basic types of symmetry-breaking perturbations are used: translational symmetry-breaking (TSB) and rotational symmetry-breaking (RSB) terms. In this paper, we provide an overview of currently know results about spiral wave dynamics under FESB.


title: Toroidal and Klein bottle boundary slopes

abstract: Let M be a compact, connected, orientable, irreducible 3-manifold and T' an incompressible torus boundary component of M such that the pair (M,T') is not cabled. By a result of C. Gordon, if S and T are incompressible punctured tori in M with boundary on T' and boundary slopes at distance d, then d is at most 8, and the cases where d=6,7,8 are very few and classified. We give a simplified proof of this result (or rather, of its reduction process), based on an improved estimate for the maximum possible number of mutually parallel negative edges in the graphs of intersection of S and T. We also extend Gordon's result by allowing either S or T to be an essential Klein bottle. to the case where S or T is a punctured essential Klein bottle.


title: G-Expectation, G-Brownian Motion and Related Stochastic Calculus of Ito's type

abstract: We introduce a notion of nonlinear expectation --G--expectation-- generated by a nonlinear heat equation with infinitesimal generator G. We first discuss the notion of G-standard normal distribution. With this nonlinear distribution we can introduce our G-expectation under which the canonical process is a G--Brownian motion. We then establish the related stochastic calculus, especially stochastic integrals of Ito's type with respect to our G--Brownian motion and derive the related Ito's formula. We have also give the existence and uniqueness of stochastic differential equation under our G-expectation. As compared with our previous framework of g-expectations, the theory of G-expectation is intrinsic in the sense that it is not based on a given (linear) probability space.


title: Bounds on Regeneration Times and Limit Theorems for Subgeometric Markov Chains

abstract: This paper studies limit theorems for Markov Chains with general state space under conditions which imply subgeometric ergodicity. We obtain a central limit theorem and moderate deviation principles for additive not necessarily bounded functional of the Markov chains under drift and minorization conditions which are weaker than the Foster-Lyapunov conditions. The regeneration-split chain method and a precise control of the modulated moment of the hitting time to small sets are employed in the proof.


title: Strong Toroidalization of Dominant Morphisms of 3-folds

abstract: Suppose that $f:X\to Y$ is a dominant morphism of 3-folds over an algebraically closed field of characteristic zero. We prove that there exist sequences of blow ups of points and nonsingular curves $\Phi:X_1\to X$ and $\Psi:Y_1\to Y$ such that the induced map $f_1:Y_1\to X_1$ is a toroidal morphism. This extends an earlier proof of the author of this theorem with the extra assumption that $f$ is birational.


title: Exact rate of convergence of some approximation schemes associated to SDEs driven by a fractional Brownian motion

abstract: In this paper, we derive the exact rate of convergence of some approximation schemes associated to scalar stochastic differential equations driven by a fractional Brownian motion with Hurst index H.


title: Entropy production in Gaussian thermostats

abstract: We show that an arbitrary Anosov Gaussian thermostat on a surface is dissipative unless the external field has a global potential.


title: Second order asymptotics for matrix models

abstract: We study several-matrix models and show that when the potential is convex and a small perturbation of the Gaussian potential, the first order correction to the free energy can be expressed as a generating function for the enumeration of maps of genus one. In order to do that, we prove a central limit theorem for traces of words of the weakly interacting random matrices defined by these matrix models and show that the variance is a generating function for the number of planar maps with two vertices with prescribed colored edges.


title: Tropical Geometry and its applications

abstract: These notes outline some basic notions of Tropical Geometry and survey some of its applications for problems in classical (real and complex) geometry. To appear in the Proceedings of the Madrid ICM.


title: On commuting elements and embeddings of graph groups and monoids

abstract: We study commutation properties of subsets of right-angled Artin groups and trace monoids. We show that if Gamma is any graph not containing a four-cycle without chords, then the group G(Gamma) does not contain four elements whose commutation graph is a four-cycle; a consequence is that G(Gamma) does not have a subgroup isomorphic to a direct product of non-abelian free groups. We also obtain corresponding and more general results for monoids.


title: Variation of argument and Bernstein index for holomorphic functions on Riemann surfaces

abstract: An upper bound of the variation of argument of a holomorphic function along a curve on a Riemann surface is given. This bound is expressed through the Bernstein index of the function multiplied by a geometric constant. The Bernstein index characterizes growth of the function from a smaller domain to a larger one. The geometric constant in the estimate is explicitly given. This result is applied in \cite {GI} to the solution of the restricted version of the infinitesimal Hilbert 16th problem, namely, to upper estimates of the number of zeros of abelian integrals in complex domains.


title: Functions of bounded variation, the derivative of the one dimensional maximal function, and applications to inequalities

abstract: We prove that if $f:I\subset \Bbb R\to \Bbb R$ is of bounded variation, then the noncentered maximal function $Mf$ is absolutely continuous, and its derivative satisfies the sharp inequality $\|DMf\|_1\le |Df|(I)$. This allows us obtain, under less regularity, versions of classical inequalities involving derivatives.


title: A remark about the Connes fusion tensor product

abstract: We analyze the algebraic structure of the Connes fusion tensor product (CFTP) in the case of bi-finite Hilbert modules over a von Neumann algebra M. It turns out that all complications in its definition disappear if one uses the closely related bi-modules of bounded vectors. We construct an equivalence of monoidal categories with duality between a category of Hilbert bi-modules over M with CFTP and some natural category of bi-modules over M with the usual relative algebraic tensor product. The results are surely well-known to the experts. We hope that the exposition and presentation is useful for those who want to learn about the CFTP .


title: A finiteness theorem for canonical heights attached to rational maps over function fields

abstract: Let K be a function field, let f be a rational function of degree d at least 2 defined over K, and suppose that f is not isotrivial. In this paper, we show that a point P in P^1(Kbar) has f-canonical height zero if and only if P is preperiodic for f. This answers affirmatively a question of Szpiro and Tucker, and generalizes a recent result of Benedetto from polynomials to rational functions. We actually prove the following stronger result, which is a variant of the Northcott finiteness principle: there exists epsilon > 0 such that the set of points P in P^1(K) with f-canonical height at most epsilon is finite. Our proof is essentially analytic, making use of potential theory on Berkovich spaces to prove some new results about the dynamical Green's functions g_v(x,y) attached to f at each place v of K. For example, we show that every conjugate of f has bad reduction at v if and only if g_v(x,x) > 0 for all x in the Berkovich projective line over the completion of the algebraic closure of K_v. In an appendix, we show how a similar method can be used to give a new proof of the Mordell-Weil theorem for elliptic curves over K.


title: Several Applications of Bezout Matrices

abstract: The notion of Bezout matrix is an essential tool in studying broad variety of subjects: zeroes of polynomials, stability of differential equations, rational transformations of algebraic curves, systems of commuting nonselfadjoint operators, boundaries of quadrature domains etc. We present a survey of several properties of Bezout matrices and their applications in all mentioned topics. We use the framework of Vandermonde vectors because such approach allows us to give new proofs of both classical and modern results and in many cases to obtain new explicit formulas. These explicit formulas can significantly simplify various computational problems and, in particular, make the research of algebraic curves and their applications easier. In addition we wrote a Maple software package, which computes all the formulas. For instance, as Bezout matrices are used in order to compute the image of a rational transformation of an algebraic curve, we used these results to study some connections between small degree rational transformation of an algebraic curve and the braid monodromy of its image.


title: Conditioning by rare sources

abstract: In this paper we study the exponential decay of posterior probability of a set of sources and conditioning by rare sources for both uniform and general prior distributions of sources. The decay rate is determined by $L$-divergence and rare sources from a convex, closed set asymptotically conditionally concentrate on an $L$-projection. $L$-projection on a linear family of sources belongs to $\varLambda$-family of distributions. The results parallel those of Large Deviations for Empirical Measures (Sanov's Theorem and Conditional Limit Theorem).


title: Evaluation representations of quantum affine algebras at roots of unity

abstract: The purpose of this paper is to compute the Drinfel'd polynomials for two types of evaluation representations of quantum affine algebras at roots of unity and construct those representations as the submodules of evaluation Schnizer modules. Moreover, we obtain the necessary and sufficient condition for that the two types of evaluation representations are isomorphic to each other.


title: $\Out(F_n)$ and the spectral gap conjecture

abstract: For $n>2$, given $\phi_1,...,\phi_n$ randomly chosen isometries of $S^2$, it is well-known that the group $\G$ generated by $\phi_1,...,\phi_n$ acts ergodically on $S^2$. It is conjectured in \cite{GJS} that for almost every choice of $\phi_1,...,\phi_n$ this action is {\em strongly ergodic}. This is equivalent to the spectrum of $\phi_1+\phi_1{\inv}+{...}+\phi_n+\phi_n^{\inv}$ as an operator on $L^2(S^2)$ having a spectral gap, i.e. all eigenvalues but the largest one being bounded above by some $\lambda_1<2n$. (The largest eigenvalue $\lambda_0$, corresponding to constant functions, is $2n$.) In this article we show that if $n>2$, then either the conjecture is true or almost every $n$-tuple fails to have a gap. In fact, the same result is holds for any $n$-tuple $\phi_1,..., \phi_n$ in any any compact group $K$ that is an almost direct product of SU(2) factors with $L^2(S^2)$ replaced by $L^2(X)$ where $X$ is any homogeneous $K$ space. A weaker result is proven for $n=2$ and some conditional results for similar actions of $F_n$ on homogeneous spaces for more general compact groups.


title: Inducing Primitive Ideals

abstract: We study conditions on a $C^*$-dynamical system $(A,G,\alpha)$ under which induction of primitive ideals (resp. irreducible representations) from stabilizers for the action of $G$ on the primitive ideal space $\Prim(A)$ give primitive ideals (resp. irreducible representations) of the crossed product $A\rtimes_\alpha G$. The results build on earlier results of Sauvageot and others, and will correct a (possibly overly optimistic) statement of the first author.


title: Hodge structures of CM-type

abstract: We show that any effective Hodge structure of CM-type occurs (without having to take a Tate twist) in the cohomology of some CM abelian variety over C. As a consequence we get a simple proof of the theorem (due to Hazama) that the usual Hodge conjecture for the class of all CM abelian varieties implies the general Hodge conjecture for the same class.


title: Ranking Participants in Tournaments by means of Rating Functions

abstract: In this paper we bring a novel approach to the theory of tournament rankings. We combine two different theories that are widely used to establish rankings of populations after a given tournament. First, we use the statistical approach of paired comparison analysis to define the performance of a player in a natural way. Then, we determine a ranking (and rating) of the players in the given tournament. Finally, we show, among other properties, that the new ranking method is the unique one satisfying a natural consistency requirement.


title: A walk in the noncommutative garden

abstract: This text is written for the volume of the school/conference "Noncommutative Geometry 2005" held at IPM Tehran. It gives a survey of methods and results in noncommutative geometry, based on a discussion of significant examples of noncommutative spaces in geometry, number theory, and physics. The paper also contains an outline (the ``Tehran program'') of ongoing joint work with Consani on the noncommutative geometry of the adeles class space and its relation to number theoretic questions.


title: On The Formality Theorem for the Differential Graded Lie Algebra of Drinfeld

abstract: We discuss the differential graded Lie algebra (DGLA) of Drinfeld modeled on the tensor algebra of the universal enveloping algebra of a Lie algebra g over any field K of characteristic zero. We explicitly analyze the first obstruction to the existence of the formality quasi-isomorphism for this DGLA. Our analysis implies the formality of the DGLA of Drinfeld associated to the two-dimensional Borel algebra b.


title: Flag varieties for the Yangian Y(gl_n)

abstract: We show that the Yangian Yn over gl_n possesses some features of the ring of regular functions on GL_n. In particular, we use the theory of quasideterminants to construct noncommutative flags associated to Yn. In so doing, a class of comodule algebras Fl(\gamma) for Yn (viewed as C[GL_n]) is revealed. As in the classic case, these flag algebras are related to the irreducible representations of Yn (viewed as U(gl_n)). In the course of defining the rings Fl(\gamma), connections to the new parabolic presentations of Yn given by Brundan and Kleshchev (2005) are uncovered.


title: Gauge optimization and spectral properties of magnetic Schr\"odinger operators

abstract: We establish new necessary and sufficient conditions for the discreteness of spectrum and strict positivity of magnetic Schr\"odinger operators with a positive scalar potential. They extend earlier results by Maz'ya and Shubin (2005), which were obtained in case when there is no magnetic field. We also derive two-sided estimates for the bottoms of spectrum and essential spectrum, extending results by Maz'ya and Otelbaev (1977). The main idea is to optimize the gauge of the magnetic field, thus reducing the quadratic form to one without magnetic field (but with an appropriately adjusted scalar potential).


title: Poset representations of distributive semilattices

abstract: We prove that for any distributive join-semilattice S, there are a meet-semilattice P with zero and a map f:PxP-->S such that f(x,z)<=f(x,y)vf(y,z) and x<=y implies that f(x,y)=0, for all x,y,z in P, together with the following conditions: (i) f(y,x)=0 implies that x=y, for all x<=y in P. (ii) For all x\leq y in P and all a,b in S, if f(y,x)=avb, then there are a positive integer n and a decomposition x=x_0<=x_1<=...<=x_n=y such that f(x_{i+1},x_i) lies either below a or below b, for all i < n. (iii) The subset {f(x,0)|x\in P} generates the semilattice S. Furthermore, any finite, bounded subset of P has a join, and P is bounded in case S is bounded. Furthermore, the construction is functorial on lattice-indexed diagrams of finite distributive (v,0,1)-semilattices.


title: A solution to Dilworth's Congruence Lattice Problem

abstract: We construct a distributive algebraic lattice D that is not isomorphic to the congruence lattice of any lattice. This solves a long-standing open problem, traditionally attributed to R. P. Dilworth, from the forties. The lattice D has compact top element and aleph omega+1 compact elements. Our results extend to all algebras possessing a polynomially definable structure of a join-semilattice with a largest element.


title: Nonexistence of self-similar singularities for the 3D incompressible Euler equations

abstract: We prove that there exists no self-similar finite time blowing up solution to the 3D incompressible Euler equations. By similar method we also show nonexistence of self-similar blowing up solutions to the divergence-free transport equation in $\Bbb R^n$. This result has direct applications to the density dependent Euler equations, the Boussinesq system, and the quasi-geostrophic equations, for which we also show nonexistence of self-similar blowing up solutions.


title: Formal languages and groups as memory

abstract: We present an exposition of the theory of finite automata augmented with a multiply-only register storing an element of a given monoid or group. Included are a number of new results of a foundational nature. We illustrate our techniques with a group-theoretic interpretation and proof of a key theorem of Chomsky and Schutzenberger from formal language theory.


title: Orthogonal curvilinear coordinate systems corresponding to singular spectral curves

abstract: We study the limiting case of the Krichever construction of orthogonal curvilinear coordinate systems when the spectral curve becomes singular. We show that the case when the curve is reducible and all its irreducible components are rational curves the construction procedure reduces to solving systems of linear equations and simple computations with elementary functions. Therewith we demonstrate how such well-known coordinate systems as the polar coordinates, the cylindrical coordinates in the three-space, and the spherical coordinates in the Euclidean spaces fit in this scheme.


title: On surfaces of general type with p_g=q=1 isogenous to a product of curves

abstract: A smooth algebraic surface $S$ is said to be \emph{isogenous to a product of unmixed type} if there exist two smooth curves $C, F$ and a finite group $G$, acting faithfully on both $C$ and $F$ and freely on their product, so that $S=(C \times F)/G$. In this paper we classify the surfaces of general type with $p_g=q=1$ which are isogenous to an unmixed product, assuming that the group $G$ is abelian. It turns out that they belong to four families, that we call surfaces of type $I, II, III, IV$. The moduli spaces $\mathfrak{M}_{I}, \mathfrak{M}_{II}, \mathfrak{M}_{IV}$ are irreducible, whereas $\mathfrak{M}_{III}$ is the disjoint union of two irreducible components. In the last section we start the analysis of the case where $G$ is not abelian, by constructing several examples.


title: Duality of Model Sets Generated by Substitutions

abstract: The nature of this paper is twofold: On one hand, we will give a short introduction and overview of the theory of model sets in connection with nonperiodic substitution tilings and generalized Rauzy fractals. On the other hand, we will construct certain Rauzy fractals and a certain substitution tiling with interesting properties, and we will use a new approach to prove rigorously that the latter one arises from a model set. The proof will use a duality principle which will be described in detail for this example. This duality is mentioned as early as 1997 by Gelbrich in the context of iterated function systems, but it seems to appear nowhere else in connection with model sets.


title: Maximum pseudo-likelihood estimator for nearest-neighbours Gibbs point processes

abstract: This paper is devoted to the estimation of a vector parametrizing an energy function associated to some "Nearest-Neighbours" Gibbs point process, via the pseudo-likelihood method. We present some convergence results concerning this estimator, that is strong consistency and asymptotic normality, when only a single realization is observed. Sufficient conditions are expressed in terms of the local energy function and are verified on some examples.


title: The topological obstructions to the existence of an irreducible SO(3) structure on a five manifold

abstract: A nonstandard (maximal) inclusion SO(3) in SO(5) associated with the irreducible representation \rho_5 of SO(3) in R^5 is considered. The topological obstructions for admitting the SO(3) structure on the frame bundle over 5-manifold are investigated. The necessary and sufficient conditions are formulated.


title: Computing modular coincidences

abstract: Computing modular coincidences can show whether a given substitution system, which is supported on a point lattice in R^d, consists of model sets or not. We prove the computatibility of this problem and determine an upper bound for the number of iterations needed. The main tool is a simple algorithm for computing modular coincidences, which is essentially a generalization of Dekking coincidence to more than one dimension, and the proof of equivalence of this generalized Dekking coincidence and modular coincidence. As a consequence, we also obtain some conditions for the existence of modular coincidences. In a separate section, and throughout the article, a number of examples are given.


title: Infinite magmatic bialgebras

abstract: An infinite magmatic bialgebra is a vector space endowed with an n-ary operation, and an n-ary cooperation, for each n, verifying some compatibility relations. We prove a rigidity theorem, analogue to the Hopf-Borel theorem for commutative bialgebras: any connected infinite magmatic bialgebra is of the form $Mag^\infty(Prim H)$, where $Mag^\infty(V)$ is the free infinite magmatic algebra over the vector space V.


title: A Note On Subhomogeneous C*-Algebras

abstract: We show that finitely generated subhomogeneous C*-algebras have finite decomposition rank. As a consequence, any separable ASH C*-algebra can be written as an inductive limit of subhomogeneous C*-algebras each of which has finite decomposition rank. It then follows from work of H. Lin and of the second named author that the class of simple unital ASH algebras which have real rank zero and absorb the Jiang-Su algebra tensorially satisfies the Elliott conjecture.


title: A Wavelet Whittle estimator of the memory parameter of a non-stationary Gaussian time series

abstract: We consider a time series $X=\{X_k, k\in\mathbb{Z}\}$ with memory parameter $d\in\mathbb{R}$. This time series is either stationary or can be made stationary after differencing a finite number of times. We study the "Local Whittle Wavelet Estimator" of the memory parameter $d$. This is a wavelet-based semiparametric pseudo-likelihood maximum method estimator. The estimator may depend on a given finite range of scales or on a range which becomes infinite with the sample size. We show that the estimator is consistent and rate optimal if $X$ is a linear process and is asymptotically normal if $X$ is Gaussian.


title: Explicit reduction theory for SU(2,1;Z[i])

abstract: Let Gamma\D be an arithmetic quotient of a symmetric space of non-compact type. A spine D_0 is a Gamma-equivariant deformation retraction of D with dimension equal to the virtual cohomological dimension of Gamma. We explicitly construct a spine for the case of Gamma=SU(2,1;Z[i]). The spine is then used to compute the cohomology of Gamma\D with various local coefficients.


title: Superelliptic jacobians

abstract: We discuss the structure of the endomorphism algebras of the jacobians of superelliptic curves y^q=f(x) where q is a prime power and f(x) is an irreducible cubic or quartic polynomial over the field of rational functions k(t) in characteristic zero, whose Galois group is the full symmetric group.


title: On the existence of spines for Q-rank 1 groups

abstract: Let X=Gamma\G/K be an arithmetic quotient of a symmetric space of non-compact type. In the case that G has Q-rank 1, we construct Gamma-equivariant deformation retractions of D=G/K onto a set D_0. We prove that D_0 is a spine, having dimension equal to the virtual cohomological dimension of Gamma. In fact, there is a (k-1)-parameter family of such deformations retractions, where k is the number of Gamma-conjugacy classes of rational parabolic subgroups of G. The construction of the spine also gives a way to construct an exact fundamental domain for Gamma.


title: Blow-up in finite time for the dyadic model of the Navier-Stokes equations

abstract: We study the dyadic model of the Navier-Stokes equations introduced by Katz and Pavlovi\'c. They showed a finite time blow-up in the case where the dissipation degree $\alpha$ is less than 1/4. In this paper we prove the existence of weak solutions for all $\alpha$, energy inequality for every weak solution with nonnegative initial datum starting from any time, local regularity for $\alpha > 1/3$, and global regularity for $\alpha \geq 1/2$. In addition, we prove a finite time blow-up in the case where $\alpha<1/3$. It is remarkable that the model with $\alpha=1/3$ enjoys the same estimates on the nonlinear term as the 4D Navier-Stokes equations. Finally, we discuss a weak global attractor, which coincides with a maximal bounded invariant set for all $\alpha$ and becomes a strong global attractor for $\alpha \geq 1/2$.


title: Intersection numbers with Witten's top Chern class

abstract: Witten's top Chern class is a particular cohomology class on the moduli space of Riemann surfaces endowed with r-spin structures. It plays a key role in Witten's conjecture relating to the intersection theory on these moduli spaces. Our first goal is to compute the integral of Witten's class over the so-called double ramification cycles in genus 1. We obtain a simple closed formula for these integrals. This allows us, using the methods of [15], to find an algorithm for computing the intersection numbers of the Witten class with powers of the \psi-classes (or tautological classes) over any moduli space of r-spin structures, in short, all numbers involved in Witten's conjecture.


title: Bulk diffusion of 1D exclusion process with bond disorder

abstract: Given a doubly infinite sequence of positive numbers {c_k: k in Z} satisfying a LLN with limit A, we consider the nearest-neighbor simple exclusion process on Z where c_k is the probability rate of jumps between k and k+1. If A is infinite we require an additional minor technical condition. By extending a method developed by K. Nagy, we show that the diffusively rescaled process has hydrodynamic behavior described by the heat equation with diffusion constant 1/A. In particular, the process has diffusive behavior for finite A and subdiffusive behavior for infinite A.


title: F-quasigroups isotopic to groups

abstract: In math.GR/0510298, we showed that every loop isotopic to an F-quasigroup is a Moufang loop. Here we characterize, via two simple identities, the class of F-quasigroups which are isotopic to groups. We call these quasigroups FG-quasigroups. We show that FG-quasigroups are linear over groups. We then use this fact to describe their structure. This gives us, for instance, a complete description of the simple FG-quasigroups. Finally, we show an equivalence of equational classes between pointed FG-quasigroups and central generalized modules over a particular ring.


title: Asymptotic analysis of the Hermite polynomials from their differential-difference equation

abstract: We analyze the Hermite polynomials $H_{n}(x)$ and their zeros asymptotically, as $n\to\infty.$ We obtain asymptotic approximations from the differential-difference equation which they satisfy, using the ray method. We give numerical examples showing the accuracy of our formulas.


title: Relative directed homotopy theory of partially ordered spaces

abstract: Algebraic topological methods have been used successfully in concurrency theory, the domain of theoretical computer science that deals with distributed computing. L. Fajstrup, E. Goubault, and M. Raussen have introduced partially ordered spaces (pospaces) as a model for concurrent systems. In this paper it is shown that the category of pospaces under a fixed pospace is both a fibration and a cofibration category in the sense of H. Baues. The homotopy notion in this fibration and cofibration category is relative directed homotopy. It is also shown that the category of pospaces is a closed model category such that the homotopy notion is directed homotopy.


title: Mapping properties of analytic functions on the disk

abstract: There is a universal constant $0<r_0<1$ with the following property. Suppose that $f$ is an analytic function on the unit disk $\D$, and suppose that there exists a constant $M>0$ so that the Euclidean area, counting multiplicity, of the portion of $f(\D)$ which lies over the disk $D(f(0),M)$, centered at $f(0)$ and of radius $M$, is strictly less than the area of $D(f(0),M)$. Then $f$ must send $r_0\bar{\D}$ into $D(f(0),M)$. This answers a conjecture of Don Marshall.


title: Distribution of crossings, nestings and alignments of two edges in matchings and partitions

abstract: We construct an involution on set partitions which keeps track of the numbers of crossings, nestings and alignments of two edges. We derive then the symmetric distribution of the numbers of crossings and nestings in partitions, which generalizes Klazar's recent result in perfect matchings. By factorizing our involution through bijections between set partitions and some path diagrams we obtain the continued fraction expansions of the corresponding ordinary generating functions.


title: A study of inverse trigonometric integrals associated with three-variable Mahler measures, and some related identities

abstract: We prove several identities relating three-variable Mahler measures to integrals of inverse trigonometric functions. After deriving closed forms for most of these integrals, we obtain ten explicit formulas for three-variable Mahler measures. Several of these results generalize formulas due to Condon and Lal\'in. As a corollary, we also obtain three $q$-series expansions for the dilogarithm.


title: Decisive creatures and large continuum

abstract: For $f,g\in\omega\ho$ let $\mycfa_{f,g}$ be the minimal number of uniform $g$-splitting trees needed to cover the uniform $f$-splitting tree, i.e. for every branch $\nu$ of the $f$-tree, one of the $g$-trees contains $\nu$. $\myc_{f,g}$ is the dual notion: For every branch $\nu$, one of the $g$-trees guesses $\nu(m)$ infinitely often. It is consistent that $\myc_{f_\epsilon,g_\epsilon}=\mycfa_{f_\epsilon,g_\epsilon}=\kappa_\epsilon$ for $\al1$ many pairwise different cardinals $\kappa_\epsilon$ and suitable pairs $(f_\epsilon,g_\epsilon)$. For the proof we use creatures with sufficient bigness and halving. We show that the lim-inf creature forcing satisfies fusion and pure decision. We introduce decisiveness and use it to construct a variant of the countable support iteration of such forcings, which still satisfies fusion and pure decision.


title: A generalization of Voronoi's reduction theory and its application

abstract: We consider Voronoi's reduction theory of positive definite quadratic forms which is based on Delone subdivision. We extend it to forms and Delone subdivisions having a prescribed symmetry group. Even more general, the theory is developed for forms which are restricted to a linear subspace in the space of quadratic forms. We apply the new theory to complete the classification of totally real thin algebraic number fields which was recently initiated by Bayer-Fluckiger and Nebe. Moreover, we apply it to construct new best known sphere coverings in dimensions 9,..., 15.


title: The bar complex of an E-infinity algebra

abstract: The standard reduced bar complex B(A) of a differential graded algebra A inherits a natural commutative algebra structure if A is a commutative algebra. We address an extension of this construction in the context of E-infinity algebras. We prove that the bar complex of any E-infinity algebra can be equipped with the structure of an E-infinity algebra so that the bar construction defines a functor from E-infinity algebras to E-infinity algebras. We prove the homotopy uniqueness of such natural E-infinity structures on the bar construction. We apply our construction to cochain complexes of topological spaces, which are instances of E-infinity algebras. We prove that the n-th iterated bar complexes of the cochain algebra of a space X is equivalent to the cochain complex of the n-fold iterated loop space of X, under reasonable connectedness, completeness and finiteness assumptions on X.


title: On the second boundary value problem for Monge-Ampere type equations and optimal transportation

abstract: This paper is concerned with the existence of globally smooth solutions for the second boundary value problem for Monge-Ampere equations and the application to regularity of potentials in optimal transportation. The cost functions satisfy a weak form of our condition A3, under which we proved interior regularity in a recent paper with Xi-nan Ma. Consequently they include the quadratic cost function case of Caffarelli and Urbas as well as the various examples in the earlier work. The approach is through the derivation of global estimates for second derivatives of solutions.


title: Models of real-valued measurability

abstract: Solovay's random-real forcing (1971) is the standard way of producing real-valued measurable cardinals. Following questions of Fremlin, by giving a new construction, we show that there are combinatorial, measure-theoretic properties of Solovay's model that do not follow from the existence of real-valued measurability.


title: Heavy-Traffic Optimality of a Stochastic Network under Utility-Maximizing Resource Control

abstract: We study a stochastic network that consists of a set of servers processing multiple classes of jobs. Each class of jobs requires a concurrent occupancy of several servers while being processed, and each server is shared among the job classes in a head-of-the-line processor-sharing mechanism. The allocation of the service capacities is a real-time control mechanism: in each network state, the control is the solution to an optimization problem that maximizes a general utility function. Whereas this resource control optimizes in a ``greedy'' fashion, with respect to each state, we establish its asymptotic optimality in terms of (a) deriving the fluid and diffusion limits of the network under this control, and (b) identifying a cost function that is minimized in the diffusion limit, along with a characterization of the so-called fixed point state of the network.


title: Gaussian fluctuations of representations of wreath products

abstract: We study the asymptotics of the reducible representations of the wreath products G\wr S_q=G^q \rtimes S_q for large q, where G is a fixed finite group and S_q is the symmetric group in q elements; in particular for G=Z/2Z we recover the hyperoctahedral groups. We decompose such a reducible representation of G\wr S_q as a sum of irreducible components (or, equivalently, as a collection of tuples of Young diagrams) and we ask what is the character of a randomly chosen component (or, what are the shapes of Young diagrams in a randomly chosen tuple). Our main result is that for a large class of representations the fluctuations of characters (and fluctuations of the shape of the Young diagrams) are asymptotically Gaussian. The considered class consists of the representations for which the characters asymptotically almost factorize and it includes, among others, the left regular representation therefore we prove the analogue of Kerov's central limit theorem for wreath products.


title: Iterative algorithms to approximate canonical Gabor windows: Computational aspects

abstract: In this paper we investigate the computational aspects of some recently proposed iterative methods for approximating the canonical tight and canonical dual window of a Gabor frame (g,a,b). The iterations start with the window g while the iteration steps comprise the window g, the k^{th} iterand \gamma_{k}, the frame operators S and S_{k} corresponding to (g,a,b) and (\gamma_{k},a,b), respectively, and a number of scalars. The structure of the iteration step of the method is determined by the envisaged convergence order m of the method. We consider two strategies for scaling the terms in the iteration step: norm scaling, where in each step the windows are normalized, and initial scaling where we only scale in the very beginning. Norm scaling leads to fast, but conditionally convergent methods, while initial scaling leads to unconditionally convergent methods, but with possibly suboptimal convergence constants. The iterations, initially formulated for time-continuous Gabor systems, are considered and tested in a discrete setting in which one passes to the appropriately sampled-and-periodized windows and frame operators. Furthermore, they are compared with respect to accuracy and efficiency with other methods to approximate canonical windows associated with Gabor frames.


title: Penalized contrast estimator for adaptive density deconvolution

abstract: The authors consider the problem of estimating the density $g$ of independent and identically distributed variables $X\_i$, from a sample $Z\_1, ..., Z\_n$ where $Z\_i=X\_i+\sigma\epsilon\_i$, $i=1, ..., n$, $\epsilon$ is a noise independent of $X$, with $\sigma\epsilon$ having known distribution. They present a model selection procedure allowing to construct an adaptive estimator of $g$ and to find non-asymptotic bounds for its $\mathbb{L}\_2(\mathbb{R})$-risk. The estimator achieves the minimax rate of convergence, in most cases where lowers bounds are available. A simulation study gives an illustration of the good practical performances of the method.


title: Analysis of SPDEs arising in path sampling part II: The nonlinear case

abstract: In many applications, it is important to be able to sample paths of SDEs conditional on observations of various kinds. This paper studies SPDEs which solve such sampling problems. The SPDE may be viewed as an infinite-dimensional analogue of the Langevin equation used in finite-dimensional sampling. In this paper, conditioned nonlinear SDEs, leading to nonlinear SPDEs for the sampling, are studied. In addition, a class of preconditioned SPDEs is studied, found by applying a Green's operator to the SPDE in such a way that the invariant measure remains unchanged; such infinite dimensional evolution equations are important for the development of practical algorithms for sampling infinite dimensional problems. The resulting SPDEs provide several significant challenges in the theory of SPDEs. The two primary ones are the presence of nonlinear boundary conditions, involving first order derivatives, and a loss of the smoothing property in the case of the pre-conditioned SPDEs. These challenges are overcome and a theory of existence, uniqueness and ergodicity is developed in sufficient generality to subsume the sampling problems of interest to us. The Gaussian theory developed in Part I of this paper considers Gaussian SDEs, leading to linear Gaussian SPDEs for sampling. This Gaussian theory is used as the basis for deriving nonlinear SPDEs which affect the desired sampling in the nonlinear case, via a change of measure.


title: Noncommutative spectral geometry of Riemannian foliations: some results and open problems

abstract: We review some applications of noncommutative geometry to the study of transverse geometry of Riemannian foliations and discuss open problems.


title: An inequality on broken chessboards

abstract: For any partition of a positive integer we consider the chess (or draughts) colouring of its associated Ferrers graph. Let b denote the total number of black unit squares, and w the number of white squares. In this note we characterize all pairs (b,w) which arise in this way. This simple combinatorical result was discovered by characterizing Hilbert series of certain right modules over cubic three-dimensional Artin-Schelter algebras. However in this note we present a purely combinatorical proof. The result is (at least partially) known in literature, however we found it interesting to present an elementary proof. All additional references and remarks will be mostly appreciated.


title: Analysis of SPDEs Arising in Path Sampling Part I: The Gaussian Case

abstract: In many applications it is important to be able to sample paths of SDEs conditional on observations of various kinds. This paper studies SPDEs which solve such sampling problems. The SPDE may be viewed as an infinite dimensional analogue of the Langevin SDE used in finite dimensional sampling. Here the theory is developed for conditioned Gaussian processes for which the resulting SPDE is linear. Applications include the Kalman-Bucy filter/smoother. A companion paper studies the nonlinear case, building on the linear analysis provided here.


title: Ideals of cubic algebras and an invariant ring of the Weyl algebra

abstract: We classify reflexive graded right ideals, up to isomorphism and shift, of generic cubic three dimensional Artin-Schelter regular algebras. We also determine the possible Hilbert functions of these ideals. These results are obtained by using similar methods as for quadratic Artin-Schelter algebras. In particular our results apply to the enveloping algebra of the Heisenberg-Lie algebra from which we deduce a classification of right ideals of an invariant ring of the first Weyl algebra.


title: Generalizations of Strassen's equations for secant varieties of Segre varieties

abstract: We define many new examples of modules of equations for secant varieties of Segre varieties that generalize Strassen's commutation equations. Our modules of equations are obtained by constructing subspaces of matrices from tensors that satisfy various commutation properties.


title: Finite sample penalization in adaptive density deconvolution

abstract: We consider the problem of estimating the density $g$ of identically distributed variables $X\_i$, from a sample $Z\_1, ..., Z\_n$ where $Z\_i=X\_i+\sigma\epsilon\_i$, $i=1, ..., n$ and $\sigma \epsilon\_i$ is a noise independent of $X\_i$ with known density $ \sigma^{-1}f\_\epsilon(./\sigma)$. We generalize adaptive estimators, constructed by a model selection procedure, described in Comte et al. (2005). We study numerically their properties in various contexts and we test their robustness. Comparisons are made with respect to deconvolution kernel estimators, misspecification of errors, dependency,... It appears that our estimation algorithm, based on a fast procedure, performs very well in all contexts.


title: Poisson inverse problems

abstract: In this paper we focus on nonparametric estimators in inverse problems for Poisson processes involving the use of wavelet decompositions. Adopting an adaptive wavelet Galerkin discretization, we find that our method combines the well-known theoretical advantages of wavelet--vaguelette decompositions for inverse problems in terms of optimally adapting to the unknown smoothness of the solution, together with the remarkably simple closed-form expressions of Galerkin inversion methods. Adapting the results of Barron and Sheu [Ann. Statist. 19 (1991) 1347--1369] to the context of log-intensity functions approximated by wavelet series with the use of the Kullback--Leibler distance between two point processes, we also present an asymptotic analysis of convergence rates that justifies our approach. In order to shed some light on the theoretical results obtained and to examine the accuracy of our estimates in finite samples, we illustrate our method by the analysis of some simulated examples.


title: On l-independence for the etale cohomology of rigid spaces over local fields

abstract: We investigate the action of the Weil group on the compactly supported l-adic etale cohomology groups of rigid spaces over a local field. We prove that the alternating sum of the traces of the action is an integer and is independent of l when either the rigid space is smooth or the characteristic of the base field is equal to 0. We modify the argument of T. Saito to prove a result on l-independence for nearby cycle cohomology, which leads to our l-independence result for smooth rigid spaces. In the general case, we use the finiteness theorem of R. Huber, which requires the restriction on the characteristic of the base field.


title: Regularity and Resolutions for Multigraded Modules

abstract: This paper is concerned with the relationships between two concepts, vanishing of cohomology groups and the structure of free resolutions. In particular, we study the connection between vanishing theorems for the local cohomology of multigraded modules and the structure of their free multigraded resolutions.


title: Transient random walks on 2d-oriented lattices

abstract: We study the asymptotic behavior of the simple random walk on oriented versions of $\mathbb{Z}^2$. The considered lattices are not directed on the vertical axis but unidirectional on the horizontal one, with random orientations whose distributions are generated by a dynamical system. We find a sufficient condition on the smoothness of the generation for the transience of the simple random walk on almost every such oriented lattices, and as an illustration we provide a wide class of examples of inhomogeneous or correlated distributions of the orientations. For ergodic dynamical systems, we also prove a strong law of large numbers and, in the particular case of i.i.d. orientations, we solve an open problem and prove a functional limit theorem in a corresponding space D of cadlag functions, with an unconventional normalization.


title: Population Models With Delay in Dynamic Environment

abstract: We study the combined effects of periodically varying carrying capacity and survival rates on the fish population in the ocean (sea). We introduce the Getz type delay differential equation model with a control parameter which describes how fish are harvested. We will modify and extend harvesting model of an exploited fish population to include periodic and rotational harvesting rates. We study the existence of global solutions for the initial value problem, extinction and persistence conditions, and the existence of periodic solutions.


title: Canonical basic sets in type B

abstract: More than 10 years ago, Dipper, James and Murphy developped the theory of Specht modules for Hecke algebras of type $B\_n$. More recently, using Lusztig's a-function, Geck and Rouquier showed how to obtain parametrisations of the irreducible representations of Hecke algebras (of any finite type) in terms of so-called canonical basic sets. For certain values of the parameters in type $B\_n$, combinatorial descriptions of these basic sets were found by Jacon, based on work of Ariki and Foda-Leclerc-Okado-Thibon-Welsh. Here, we consider the canonical basic sets for all the remaining choices of the parameters.


title: Real algebraic structures

abstract: A brief survey of real algebraic structures on topological spaces is given. This article is written for the Gokova Gemetry/Topology Conference proceedings.


title: Deformations of Special Lagrangian Submanifolds; An Approach via Fredholm Alternative

abstract: In an earlier paper, we showed that the moduli space of deformations of a smooth, compact, orientable special Lagrangian submanifold L in a symplectic manifold X with a non-integrable almost complex structure is a smooth manifold of dimension H^1(L), the space of harmonic 1-forms on L. We proved this first by showing that the linearized operator for the deformation map is surjective and then applying the Banach space implicit function theorem. In this paper, we obtain the same surjectivity result by using a different method, the Fredholm Alternative, which is a powerful tool for compact operators in linear functional analysis.


title: Nonisotropically balanced domains, Lempert function estimates, and the spectral Nevanlinna-Pick problem

abstract: We introduce the notion of a \lambda-nonisotropically balanced domain and show that the symmetrized polydisc in C^n, n \geq 2, is an example of such a domain. Given a \lambda-nonisotropically balanced domain \Omega, we derive effective estimates from above and from below for the Lempert function at (0,z)\in\Omega\times\Omega. We use these estimates to derive certain conditions for realising a two-point Nevanlinna-Pick interpolation in the symmetrized polydisc. Applying the ideas used in the derivation of our Lempert function estimates to the so-called spectral unit ball \Omega_n, we deduce: a) a formula for the Lempert function at (0,W)\in\Omega_n\times\Omega_n; and b) a necessary and sufficient condition for realising a two-point Nevanlinna- Pick interpolation in the spectral unit ball.


title: Real structures on torus bundles and their deformations

abstract: We describe the family of real structures $\sigma$ on principal holomorphic torus bundles $X$ over tori, and prove its connectedness when the complex dimension is at most three. From this and previous results of the authors follows that the differentiable type (more precisely, the orbifold fundamental group) determines the deformation type of the pair $(X, \sigma)$ provided we have complex dimension at most three, fibre dimension one, and a certain 'reality' condition on the fundamental group is satisfied.


title: Transfinite diameter and the resultant

abstract: We prove a formula for the Fekete-Leja transfinite diameter of the pullback of a set E in C^N by a regular polynomial map F, expressing it in terms of the resultant of the leading part of F and the transfinite diameter of E. We also establish the nonarchimedean analogue of this formula. A key step in the proof is a formula for the transfinite diameter of the filled Julia set of F.


title: Global Minimization of Rational Functions and the Nearest GCDs

abstract: This paper has been withdrawn by the authors due to its publication


title: On the Stability of Analytic Germs under Ultradifferentiable Perturbations

abstract: Let $ f$ be a real-analytic function germ whose critical locus contains a given real-analytic set $ X $, and let $ Y $ be a germ of closed subset of $ \mathbb{R}^n $ at the origin. We study the stability of $ f $ under perturbations $ u $ that are flat on $ Y $ and that belong to a given Denjoy-Carleman non-quasianalytic class. We obtain a condition ensuring that $ f+u=f\circ\Phi $ where $ \Phi $ is a germ of diffeomorphism whose components belong to a (generally larger) Denjoy-Carleman class. Roughly speaking, this condition involves a \L ojasiewicz-type separation property between $ Y $ and the complex zeros of a certain ideal associated with $ f $ and $ X $. The relationship between the Denjoy-Carleman classes of $ u$ and $ \Phi $ is controlled precisely by the inequality. This result extends, and simplifies, former work of the author on germs with isolated critical points.


title: Random sets of isomorphism of linear operators on Hilbert space

abstract: This note deals with a problem of the probabilistic Ramsey theory in functional analysis. Given a linear operator $T$ on a Hilbert space with an orthogonal basis, we define the isomorphic structure $\Sigma(T)$ as the family of all subsets of the basis so that $T$ restricted to their span is a nice isomorphism. Our main result is a dimension-free optimal estimate of the size of $\Sigma(T)$. It improves and extends in several ways the principle of restricted invertibility due to Bourgain and Tzafriri. With an appropriate notion of randomness, we obtain a randomized principle of restricted invertibility.


title: Partial Regularity of solutions to the Four-dimensional Navier-Stokes equations at the first blow-up time

abstract: The solutions of incompressible Navier-Stokes equations in four spatial dimensions are considered. We prove that the two-dimensional Hausdorff measure of the set of singular points at the first blow-up time is equal to zero.


title: On nef reductions of projective irreducible symplectic manifolds

abstract: Let X be a projective irreducible symplectic manifold and L a non trivial nef divisor on X. Assume that the nef dimension of L is strictly less than the dimension of X. We prove that L is semiample


title: A New Stability Result for Viscosity Solutions of Nonlinear Parabolic Equations with Weak Convergence in Time

abstract: We present a new stability result for viscosity solutions of fully nonlinear parabolic equations which allows to pass to the limit when one has only weak convergence in time of the nonlinearities.


title: Arbitrary threshold widths for monotone symmetric properties

abstract: We investigate the threshold widths of some symmetric properties which range asymptotically between 1/\sqrt{n} and 1/(log n). These properties are built using a combination of failure sets arising from reliability theory. This combination of sets is simply called a product. Some general results on the threshold width of the product of two sets A and B in terms of the threshold locations and widths of A and B are provided.


title: Small resolutions of minuscule Schubert varieties

abstract: In this paper, we describe on the one hand, all relative minimal models Y of a minuscule Schubert variety X using some combinatorics on quivers and we prove that the morphism from Y to X is small (in the sense of intersection cohomology). On the other hand, thanks to a result of B. Totaro, any small resolution Z of a minuscule Schubert variety X has to be a relative minimal model of X. So X admits a small resolution if and only if there exists a smooth relative minimal model Y of X. We give a combinatoric criterion for Y to be smooth describing in this way all small resolutions of X. We also use stringy polynomials and the relative canonical model to give another way to tell when a minuscule Schubert variety admits a small resolution.


title: Hypomorphy of graphs up to complementation

abstract: Let $V$ be a set of cardinality $v$ (possibly infinite). Two graphs $G$ and $G'$ with vertex set $V$ are {\it isomorphic up to complementation} if $G'$ is isomorphic to $G$ or to the complement $\bar G$ of $G$. Let $k$ be a non-negative integer, $G$ and $G'$ are {\it $k$-hypomorphic up to complementation} if for every $k$-element subset $K$ of $V$, the induced subgraphs $G\_{\restriction K}$ and $G'\_{\restriction K}$ are isomorphic up to complementation. A graph $G$ is {\it $k$-reconstructible up to complementation} if every graph $G'$ which is $k$-hypomorphic to $G$ up to complementation is in fact isomorphic to $G$ up to complementation. We give a partial characterisation of the set $\mathcal S$ of pairs $(n,k)$ such that two graphs $G$ and $G'$ on the same set of $n$ vertices are equal up to complementation whenever they are $k$-hypomorphic up to complementation. We prove in particular that $\mathcal S$ contains all pairs $(n,k)$ such that $4\leq k\leq n-4$. We also prove that 4 is the least integer $k$ such that every graph $G$ having a large number $n$ of vertices is $k$-reconstructible up to complementation; this answers a question raised by P. Ille


title: From well-quasi-ordered sets to better-quasi-ordered sets

abstract: We consider conditions which force a well-quasi-ordered poset (wqo) to be better-quasi-ordered (bqo). In particular we obtain that if a poset $P$ is wqo and the set $S_{\omega}(P)$ of strictly increasing sequences of elements of $P$ is bqo under domination, then $P$ is bqo. As a consequence, we get the same conclusion if $S_{\omega} (P)$ is replaced by $\mathcal J^1(P)$, the collection of non-principal ideals of $P$, or by $AM(P)$, the collection of maximal antichains of $P$ ordered by domination. It then follows that an interval order which is wqo is in fact bqo.


title: Holonomy groups of stable vector bundles

abstract: We define the notion of holonomy group for a stable vector bundle F on a variety in terms of the Narasimhan--Seshadri unitary representation of its restriction to curves. Next we relate the holonomy group to the minimal structure group and to the decomposition of tensor powers of F. Finally we illustrate the principle that either the holonomy is large or there is a clear geometric reason why it should be small.


title: Incidence structures and Stone-Priestley duality

abstract: We observe that if $R:=(I,\rho, J)$ is an incidence We observe that if $R:=(I,\rho, J)$ is an incidence structure, viewed as a matrix, then the topological closure of the set of columns is the Stone space of the Boolean algebra generated by the rows. As a consequence, we obtain that the topological closure of the collection of principal initial segments of a poset $P$ is the Stone space of the Boolean algebra $Tailalg (P)$ generated by the collection of principal final segments of $P$, the so-called {\it tail-algebra of $P$}. Similar results concerning Priestley spaces and distributive lattices are given. A generalization to incidence structures valued by abstract algebras is considered.


title: Navigation on a Poisson point process

abstract: On a locally finite point set, a navigation defines a path through the point set from one point to another. The set of paths leading to a given point defines a tree known as the navigation tree. In this article, we analyze the properties of the navigation tree when the point set is a Poisson point process on $\mathbb{R}^d$. We examine the local weak convergence of the navigation tree, the asymptotic average of a functional along a path, the shape of the navigation tree and its topological ends. We illustrate our work in the small-world graphs where new results are established.


title: Counting unrooted maps using tree-decomposition

abstract: We present a new method to count unrooted maps on the sphere up to orientation-preserving homeomorphisms. The principle, called tree-decomposition, is to deform a map into an arborescent structure whose nodes are occupied by constrained maps. Tree-decomposition turns out to be very efficient and flexible for the enumeration of constrained families of maps. In this article, the method is applied to count unrooted 2-connected maps and, more importantly, to count unrooted 3-connected maps, which correspond to the combinatorial types of oriented convex polyhedra. Our method improves significantly on the previously best-known complexity to enumerate unrooted 3-connected maps.


title: Bulk diffusion in a system with site disorder

abstract: We consider a system of random walks in a random environment interacting via exclusion. The model is reversible with respect to a family of disordered Bernoulli measures. Assuming some weak mixing conditions, it is shown that, under diffusive scaling, the system has a deterministic hydrodynamic limit which holds for almost every realization of the environment. The limit is a nonlinear diffusion equation with diffusion coefficient given by a variational formula. The model is nongradient and the method used is the ``long jump'' variation of the standard nongradient method, which is a type of renormalization. The proof is valid in all dimensions.


title: Metric attractors for smooth unimodal maps

abstract: We classify the measure theoretic attractors of general C^3 unimodal maps with quadratic critical points. The main ingredient is the decay of geometry.


title: The asymptotic density of finite-order elements in virtually nilpotent groups

abstract: Let G be a finitely generated group with a given word metric. The asymptotic density of elements in G that have a particular property P is defined to be the limit, as r goes to infinity, of the proportion of elements in the ball of radius r which have the property P. We obtain a formula to compute the asymptotic density of finite-order elements in any virtually nilpotent group. Further, we show that the spectrum of numbers that occur as such asymptotic densities consists of exactly the rational numbers in [0,1).


title: Manin's and Peyre's conjectures on rational points and adelic mixing

abstract: Let X be the wonderful compactification of a connected adjoint semisimple group G defined over a number field K. We prove Manin's conjecture on the asymptotic (as T\to \infty) of the number of K-rational points of X of height less than T, and give an explicit construction of a measure on X(A), generalizing Peyre's measure, which describes the asymptotic distribution of the rational points G(K) on X(A). Our approach is based on the mixing property of L^2(G(K)\G(A)) which we obtain with a rate of convergence.


title: Aspects of the $L^{2}$-Sobolev theory of the $\bar{\partial}$-Neumann problem

abstract: The $\bar{\partial}$-Neumann problem is the fundamental boundary value problem in several complex variables. It features an elliptic operator coupled with non-coercive boundary conditions. The problem is globally regular on many, but not all, pseudoconvex domains. We discuss several recent developments in the $L^{2}$-Sobolev theory of the $\bar{\partial}$-Neumann problem that concern compactness and global regularity.


title: Operads and PROPs

abstract: We review definitions and basic properties of operads, PROPs and algebras over these structures.


title: A dual point of view on the ribbon graph decomposition of moduli space

abstract: In this note, I discuss in some detail the dual version of the ribbon graph decomposition of the moduli spaces of Riemann surfaces with boundary and marked points, which I introduced in math.AG/0402015, and used in math.QA/0412149 to construct open-closed topological conformal field theories. This dual version of the ribbon graph decomposition is a compact orbi-cell complex with a natural weak homotopy equivalence to the moduli space.


title: Rational Singularities and Rational Points

abstract: If $X$ is a projective, geometrically irreducible variety defined over a finite field $\F_q$, such that it is smooth and its Chow group of 0-cycles fulfills base change, i.e. $CH_0(X\times_{\F_q}\bar{\F_q(X)})=\Q$, then the second author's theorem asserts that its number of rational points satisfies $|X(\F_q)| \equiv 1$ modulo $q$. If $X$ is not smooth, this is no longer true. Indeed J. Koll\'ar constructed an example of a rationally connected surface over $\F_q$ without any rational points. Based on the work by Berthelot-Bloch and the second author computing the slope $<1$ piece of rigid cohomology, we define a notion of Witt-rational singularities in characteristic $p>0$. The theorem is then that if $X/\F_q$ is a projective, geometrically irreducible variety, such that it has Witt-rational singularities and its Chow group of 0-cycles fulfills base change, then $|X(\F_q)| \equiv 1$ modulo $q$.


title: Generators, Relations and Symmetries in Pairs of 3x3 Unimodular Matrices

abstract: Denote the free group on two letters by F2 and the SL(3,C)-representation variety of F2 by R = Hom(F2, SL(3,C)). There is a SL(3,C)-action on the coordinate ring of R, and the geometric points of the subring of invariants is an affine variety X. We determine explicit minimal generators and defining relations for the subring of invariants and show X is a degree 6 hyper-surface in C9 mapping onto C8. Our choice of generators exhibit Out(F2) symmetries which allow for a succinct expression of the defining relations.


title: Base change maps for unipotent algebra groups

abstract: If A is a finite dimensional nilpotent associative algebra over a finite field k, the set G=1+A of all formal expressions of the form 1+a, where a is an element of A, has a natural group structure, given by (1+a)(1+b)=1+(a+b+ab). A finite group arising in this way is called an algebra group. One can also consider G as a unipotent algebraic group over k. We study representations of G from the point of view of ``geometric character theory'' for algebraic groups over finite fields (cf. G. Lusztig, ``Character sheaves and generalizations'', math.RT/0309134). The main result of this paper is a construction of canonical injective ``base change maps'' between - the set of isomorphism classes of complex irreducible representations of G', and - the set of isomorphism classes of complex irreducible representations of G'', which commute with the natural action of the Galois group Gal(k''/k), where k' is a finite extension of k and k'' is a finite extension of k', and G', G'' are the finite algebra groups obtained from G by extension of scalars.


title: Endomorphism rings of permutation modules over maximal Young subgroups

abstract: Let $K$ be a field of characteristic two, and let $\lambda$ be a two-part partition of some natural number $r$. Denote the permutation module corresponding to the (maximal) Young subgroup $\Sigma_\lambda$ in $\Sigma_r$ by $M^\lambda$. We construct a full set of orthogonal primitive idempotents of the centraliser subalgebra $S_K(\lambda) = 1_\lambda S_K(2,r) 1_\lambda = End_{K\Sigma_r}(M^\lambda)$ of the Schur algebra $S_K(2,r)$. These idempotents are naturally in one-to-one correspondence with the 2-Kostka numbers.


title: On Sample Functions Behavior of Stable Processes

abstract: We investigate the asymptotic behavior of sample functions of stable processes when $t{\to}\infty$. We compare our results with the iterated logarithm law, results for the first hitting time and most visited sites problems.


title: Some applications of Kummer and Stickelberger relations

abstract: Let p be an odd prime. Let K = Q(zeta) be the p-cyclotomic field. Let v be any primitive root mod p. Let sigma be a Q-isomorphism of K. Let P(sigma) = sigma^{p-2}v^{-(p-2)}+ ... + sigma v^{-1} +1 \in Z[G] where 1 \leq v^n \leq p-1 is a notation mod p. We apply a Kummer and Stickelberger relation of K to some singular not primary numbers A of K connected to p-class group C_p of K and prove they verify the congruence A^P(sigma) = 1 mod p^2. This p-adic method on singular numbers A allows us to prove: in a straightforward way the connection between relative p-class group C_p^- and the solutions of some explicit congruences mod p in Z[X]: \sum_{i=1}^{p-2} ((v^{-(i-1)} - v^{-i} v) /p) X^{i-1} \equiv 0 mod p and that if (p-1)/2 is odd then the Bernoulli Number B_((p+1)/2) not = 0 mod p. In this version some congruences deduced of Stickelberger relation for prime ideals Q of K of inertial degree f > 1 are added.


title: Dehn twists on nonorientable surfaces

abstract: Let t_a be the Dehn twist about a circle a on an orientable surface. It is well known that for each circle b and an integer n, I(t_a^n(b),b)=|n|I(a,b)^2, where I(,) is the geometric intersection number. We prove a similar formula for circles on nonorientable surfaces. As a corollary we prove some algebraic properties of twists on nonorientable surfaces. We also prove that if M(N) is the mapping class group of a nonorientable surface N, then up to a finite number of exceptions, the centraliser of the subgroup of M(N) generated by the twists is equal to the centre of M(N) and is generated by twists about circles isotopic to boundary components of N.


title: The criteria of Riesz, Hardy-Littlewood et al. for the Riemann Hypothesis revisited using similar functions

abstract: The original criteria of Riesz and of Hardy-Littlewood concerning the truth of the Riemann Hypothesis (RH) are revisited and further investigated in light of the recent formulations and results of Maslanka and of Baez-Duarte concerning a representation of the Riemann Zeta function. Then we introduce a general set of similar functions with the emergence of Poisson-like distributions and we present some numerical experiments which indicate that the RH may barely be true.


title: Is the Jones polynomial of a knot really a polynomial?

abstract: The Jones polynomial of a knot in 3-space is a Laurent polynomial in $q$, with integer coefficients. Many people have pondered why is this so, and what is a proper generalization of the Jones polynomial for knots in other closed 3-manifolds. Our paper centers around this question. After reviewing several existing definitions of the Jones polynomial, we show that the Jones polynomial is really an analytic function, in the sense of Habiro. Using this, we extend the holonomicity properties of the colored Jones function of a knot in 3-space to the case of a knot in an integer homology sphere, and we formulate an analogue of the AJ Conjecture. Our main tools are various integrality properties of topological quantum field theory invariants of links in 3-manifolds, manifested in Habiro's work on the colored Jones function.Revised version updating references on Witten-Reshetikhin-Turaev invariants.


title: Higher cohomology of divisors on a projective variety

abstract: We consider a Cartier divisor L on a d-dimensional complex projective variety X. It is well-known that the dimensions of the cohomomology groups H^i(X,O_X(mL)) grow at most like m^d, and it is natural to ask when one of these actually has maximal growth. For i = 0, this happens by definition exactly when L is big. Here we focus on the question of when one or more of the higher cohomology groups grows maximally. Our main result is that if one considers also small perturbations of the divisor in question, then the maximal growth of higher cohomology characterizes non-ample divisors. This criterion can also be phrased in terms of the vanishing of continuous functions on the Neron-Severi space of X that measure the growth of higher cohomology groups.


title: Gonality of modular curves in characteristic p

abstract: Let k be an algebraically closed field of characteristic p. Let X(p^e;N) be the curve parameterizing elliptic curves with full level N structure (where p does not divide N) and full level p^e Igusa structure. By modular curve, we mean a quotient of any X(p^e;N) by any subgroup of ((Z/p^e Z)^* x \SL_2(Z/NZ))/{+-1}. We prove that in any sequence of distinct modular curves over k, the k-gonality tends to infinity. This extends earlier work, in which the result was proved for particular sequences of modular curves, such as X_0(N) for p not dividing N. We give an application to the function field analogue of a uniform boundedness statement for the image of Galois on torsion of elliptic curves.


title: Uniformity in the polynomial Wiener-Wintner theorem

abstract: In 1993, E. Lesigne proved a polynomial extension of the Wiener-Wintner ergodic theorem and asked two questions: does this result have a uniform counterpart and can an assumption of total ergodicity be replaced by ergodicity? The purpose of this article is to answer these questions, the first one positively and the second one negatively.


title: L-functions and higher order modular forms

abstract: It is believed that Dirichlet series with a functional equation and Euler product of a particular form are associated to holomorphic newforms on a Hecke congruence group. We perform computer algebra experiments which find that in certain cases one can associate a kind of ``higher order modular form'' to such Dirichlet series. This suggests a possible approach to a proof of the conjecture.


title: The topology and geometry of contact structures in dimension three

abstract: The goal of this article is to survey recent developments in the theory of contact structures in dimension three.


title: Matrices and Finite Biquandles

abstract: We describe a way of representing finite biquandles with n elements as 2n x 2n block matrices. Any finite biquandle defines an invariant of virtual knots through counting homomorphisms. The counting invariants of non-quandle biquandles can reveal information not present in the knot quandle, such as the non-triviality of the virtual trefoil and various Kishino knots. We also exhibit a virtual knot which is distinguished from its obverse and its reverse by a finite biquandle counting invariant. We classify biquandles of order 2, 3 and 4 and provide a URL for our Maple programs for computing with finite biquandles.


title: Andreev's Theorem on hyperbolic polyhedra

abstract: In 1970, E. M. Andreev published a classification of all three-dimensional compact hyperbolic polyhedra having non-obtuse dihedral angles. Given a combinatorial description of a polyhedron, $C$, Andreev's Theorem provides five classes of linear inequalities, depending on $C$, for the dihedral angles, which are necessary and sufficient conditions for the existence of a hyperbolic polyhedron realizing $C$ with the assigned dihedral angles. Andreev's Theorem also shows that the resulting polyhedron is unique, up to hyperbolic isometry. Andreev's Theorem is both an interesting statement about the geometry of hyperbolic 3-dimensional space, as well as a fundamental tool used in the proof for Thurston's Hyperbolization Theorem for 3-dimensional Haken manifolds. It is also remarkable to what level the proof of Andreev's Theorem resembles (in a simpler way) the proof of Thurston. We correct a fundamental error in Andreev's proof of existence and also provide a readable new proof of the other parts of the proof of Andreev's Theorem, because Andreev's paper has the reputation of being ``unreadable''.


title: First-order Goedel logics

abstract: First-order Goedel logics are a family of infinite-valued logics where the sets of truth values V are closed subsets of [0, 1] containing both 0 and 1. Different such sets V in general determine different Goedel logics G_V (sets of those formulas which evaluate to 1 in every interpretation into V). It is shown that G_V is axiomatizable iff V is finite, V is uncountable with 0 isolated in V, or every neighborhood of 0 in V is uncountable. Complete axiomatizations for each of these cases are given. The r.e. prenex, negation-free, and existential fragments of all first-order Goedel logics are also characterized.


title: Compact hyperbolic tetrahedra with non-obtuse dihedral angles

abstract: Given a combinatorial description $C$ of a polyhedron having $E$ edges, the space of dihedral angles of all compact hyperbolic polyhedra that realize $C$ is generally not a convex subset of $\mathbb{R}^E$ \cite{DIAZ}. If $C$ has five or more faces, Andreev's Theorem states that the corresponding space of dihedral angles $A_C$ obtained by restricting to {\em non-obtuse} angles is a convex polytope. In this paper we explain why Andreev did not consider tetrahedra, the only polyhedra having fewer than five faces, by demonstrating that the space of dihedral angles of compact hyperbolic tetrahedra, after restricting to non-obtuse angles, is non-convex. Our proof provides a simple example of the ``method of continuity'', the technique used in classification theorems on polyhedra by Alexandrow \cite{ALEX}, Andreev \cite{AND}, and Rivin-Hodgson \cite{RH}.


title: Combinatorics of Partial Derivatives

abstract: The natural forms of the Leibniz rule for the $k$th derivative of a product and of Fa\`a di Bruno's formula for the $k$th derivative of a composition involve the differential operator $\partial^k/\partial x_1 ... \partial x_k$ rather than $d^k/dx^k$, with no assumptions about whether the variables $x_1,...,x_k$ are all distinct, or all identical, or partitioned into several distinguishable classes of indistinguishable variables. Coefficients appearing in forms of these identities in which some variables are indistinguishable are just multiplicities of indistinguishable terms (in particular, if all variables are distinct then all coefficients are 1). The computation of the multiplicities in this generalization of Fa\`a di Bruno's formula is a combinatorial enumeration problem that, although completely elementary, seems to have been neglected. We apply the results to cumulants of probability distributions.


title: Hall algebras and the Quantum Frobenius

abstract: Lusztig has constructed a Frobenius morphism for quantum groups at an $\ell$-th root of unity, which gives an integral lift of the Frobenius map on universal enveloping algebras in positive characteristic. Using the Hall algebra we give a simple construction of this map for the positive part of the quantum group attached to an arbitrary Cartan datum in the nondivisible case.


title: A Note on Arithmetical Properties of Multiple Zeta Values

abstract: We prove an easy but interesting result about the linear independence of multiple zeta values of different weights.


title: Khovanov homology for virtual links with arbitrary coefficients

abstract: We construct explicitly the Khovanov homology theory for virtual links with arbitrary coefficients by using the twisted coefficients method. This method also works for constructing Khovanov homology for ``non-oriented virtual knots'' in the sense of Viro, in particular, for knots in ${\bf R}P^{3}$.


title: Several comments about the combinatorics of tau-covers

abstract: In a previous work with Mildenberger and Shelah, we showed that the combinatorics of the selection hypotheses involving tau-covers is sensitive to the selection operator used. We introduce a natural generalization of Scheepers' selection operators, and show that: (1) A slight change in the selection operator, which in classical cases makes no difference, leads to different properties when tau-covers are involved. (2) One of the newly introduced properties sheds some light on a problem of Scheepers concerning tau-covers. Improving an earlier result, we also show that no generalized Luzin set satisfies U_fin(Gamma,Tau).


title: An exotic nilpotent cone for symplectic group

abstract: The contents of this paper is merged into math.RT/0601155. To avoid possible confusion, I withdraw this paper.


title: An exotic Deligne-Langlands correspondence for symplectic groups

abstract: Let G be a complex symplectic group. We introduce a G x (C ^x) ^{l + 1}-variety N_{l}, which we call the l-exotic nilpotent cone. Then, we realize the Hecke algebra H of type C_n ^(1) with three parameters via equivariant algebraic K-theory in terms of the geometry of N_2. This enables us to establish a Deligne-Langlands type classification of "non-critical" simple H-modules. As applications, we present a character formula and multiplicity formulas of H-modules.


title: Factorization Problem on the Hilbert-Schmidt Group and the Camassa-Holm Equation

abstract: In this paper, we solve the Camassa-Holm equation for a relatively large class of initial data by using a factorization problem on the Hilbert-Schmidt group.


title: Ergodicity and Mixing Properties of the Northeast Model

abstract: The Northeast Model is a spin system on the two-dimensional integer lattice that evolves according to the following rule: Whenever a site's southerly and westerly nearest neighbors have spin $1$, it may reset its own spin by tossing a $p$-coin; at all other times, its spin remains frozen. It is proved that the northeast model has a phase transition at $p_{c}=1-\beta_{c}$, where $\beta_{c}$ is the critical parameter for oriented percolation. For $p<p_{c}$, the trivial measure $\delta_{0}$ that puts mass one on the configuration with all spins set at $0$ is the unique ergodic, translation invariant, stationary measure. For $p\geq p_{c}$, the product Bernoulli-$p$ measure on configuration space is the unique nontrivial, ergodic, translation invariant, stationary measure for the system, and it is mixing. For $p>2/3$ it is shown that there is exponential decay of correlations.


title: The Crucial Constants in the Exponential-type Error Estimates for Multiquadric Interpolations

abstract: It's well known that in the high-level error bound for multiquadric interpolation there is a crucial constant lambda lying between 0 and 1 which connot be calculated or even approximated. The purpose of this paper is to answer this question.


title: On the High-Level Error Bound for Gaussian Interpolation

abstract: It's well-known that there is a very powerful error bound for Gaussians put forward by Madych and Nelson in 1992. It's of the form$% | f(x)-s(x)| \leq (Cd)^{\frac{c}{d}}\left\Vert f\right\Vert_{h}$ where $C,c$ are constants, $h$ is the Gaussian function, $% s$ is the interpolating function, and d is called fill distance which, roughly speaking, measures the spacing of the points at which interpolation occurs. This error bound gets small very fast as $d\to 0$. The constants $C$ and $c$ are very sensitive. A slight change of them will result in a huge change of the error bound. The number $c$ can be calculated as shown in [9]. However, $C$ cannot be calculated, or even approximated. This is a famous question in the theory of radial basis functions. The purpose of this paper is to answer this question.


title: A New Radial Function

abstract: In the field of radial basis functions mathematicians have been endeavouring to find infinitely differentiable and compactly supported radial functions. This kind of functions is extremely important. One of the reasons is that its error bound will converge very fast. However there is hitherto no such function which can be expressed in a simple form. This is a famous question. The purpose of this paper is to answer this question.


title: A Smooth and Compactly Supported Radial Function

abstract: In the field of radial basis functions mathematicians have been endeavouring to find infinitely differentiable and compactly supported radial functions. This kind of functions are extremely important for some reasons. First, its computational properties will be very good since it's compactly supported. Second, its error bound will converge very fast since it's infinitely differentiable. However there is hitherto no such functions which can be expressed in a simple form. This is a famous question. The purpose of this paper is to answer this question.


title: The high-level error bound for shifted surface spline interpolation

abstract: Radial function interpolation of scattered data is a frequently used method for multivariate data fitting. One of the most frequently used radial functions is called shifted surface spline, introduced by Dyn, Levin and Rippa in \cite{Dy1} for $R^{2}$. Then it's extended to $R^{n}$ for $n\geq 1$. Many articles have studied its properties, as can be seen in \cite{Bu,Du,Dy2,Po,Ri,Yo1,Yo2,Yo3,Yo4}. When dealing with this function, the most commonly used error bounds are the one raised by Wu and Schaback in \cite{WS}, and the one raised by Madych and Nelson in \cite{MN2}. Both are $O(d^{l})$ as $d\to 0$, where $l$ is a positive integer and $d$ is the fill-distance. In this paper we present an improved error bound which is $O(\omega^{1/d})$ as $d\to 0$, where $0<\omega <1$ is a constant which can be accurately calculated.


title: The Birman-Craggs-Johnson homomorphism and abelian cycles in the Torelli group

abstract: In the 1970s, Birman-Craggs-Johnson used Rochlin's invariant for homology 3-spheres to construct a remarkable surjective homomorphism sigma:I_{g,1}->B_3, where I_{g,1} is the Torelli group and B_3 is a certain F_2-vector space of Boolean (square-free) polynomials. By pulling back cohomology classes and evaluating them on abelian cycles, we construct 16g^4 + O(g^3) dimensions worth of nontrivial elements of H^2(I_{g,1}, F_2) which cannot be detected rationally. These classes in fact restrict to nontrivial classes in the cohomology of the subgroup K_{g,1} < I_{g,1} generated by Dehn twists about separating curves. We also use the ``Casson-Morita algebra'' and Morita's integral lift of the Birman-Craggs-Johnson map restricted to K_{g,1} to give the same lower bound on H^2(K_{g,1},Z).


title: Spacetime bounds for the energy-critical nonlinear wave equation in three spatial dimensions

abstract: Results of Struwe, Grillakis, Struwe-Shatah, Kapitanski, Bahouri-Shatah, Bahouri-G\'erard and Nakanishi have established global wellposedness, regularity, and scattering in the energy class for the energy-critical nonlinear wave equation $\Box u = u^5$ in $\R^{1+3}$, together with a spacetime bound $$ \| u \|_{L^4_t L^{12}_x(\R^{1+3})} \leq M(E(u))$$ for some finite quantity M(E(u)) depending only on the energy E(u) of u. We reprove this result, and show that this quantity obeys a bound of at most exponential type in the energy, and specifically $M(E) \leq C (1+E)^{C E^{105/2}}$ for some absolute constant C > 0. The argument combines the quantitative local potential energy decay estimates of these previous papers with arguments used by Bourgain and the author for the analogous nonlinear Schr\"odinger equation.


title: Actions of noncompact semisimple groups on Lorentz manifolds

abstract: The above title is the same, but with "semisimple" instead of "simple," as that of a notice by N. Kowalsky. There, she announced many theorems on the subject of actions of simple Lie groups preserving a Lorentz structure. Unfortunately, she published proofs for essentially only half of the announced results before her premature death. Here, using a different, geometric approach, we generalize her results to the semisimple case, and give proofs of all her announced results.


title: The law of series

abstract: We prove a general ergodic-theoretic result concerning the return time statistic, which, properly understood, sheds some new light on the common sense phenomenon known as {\it the law of series}. Let \proc be an ergodic process on finitely many states, with positive entropy. We show that the distribution function of the normalized waiting time for the first visit to a small cylinder set $B$ is, for majority of such cylinders and up to epsilon, dominated by the exponential distribution function $1-e^{-t}$. This fact has the following interpretation: The occurrences of such a "rare event" $B$ can deviate from purely random in only one direction -- so that for any length of an "observation period" of time, the first occurrence of $B$ "attracts" its further repetitions in this period.


title: Some results of Marino-Vafa formula

abstract: In this paper we derive some new Hodge integral identities by taking limits of the Marino-Vafa formula. These identities include the formula of lambda_{1}lambda_{g}-integral on M_{g,1}, the vanishing result of lambda_{g}ch_{2l}(E)-integral on M_{g,1} for l taking value between 1 and g-3. Finally, we give another simple proof of lambda_{g} conjecture and some examples of low genus integral.


title: Universal Families on moduli spaces of principal bundles on curves

abstract: Let $H$ be a connected semisimple linear algebraic group defined over $\mathbb C$ and $X$ a compact connected Riemann surface of genus at least three. Let ${\mathcal M}'_X(H)$ be the moduli space parametrising all topologically trivial stable principal $H$-bundles over $X$ whose automorphism group coincides with the centre of $H$. It is a Zariski open dense subset of the moduli space of stable principal $H$-bundles. We prove that there is a universal principal $H$-bundle over $X\times {\mathcal M}'_X(H)$ if and only if $H$ is an adjoint group (that is, the centre of $H$ is trivial).


title: Deformations of products and new examples of obstructed irregular surfaces

abstract: We determine the base space of the Kuranishi family of some complete intersection in the product of an abelian variety and a projective space. As a consequence we obtain new examples of obstructed irregular surfaces with ample canonical bundle and maximal Albanese dimension.


title: Quantum Superalgebras at Roots of Unity and Topological Invariants of Three-manifolds

abstract: The general method of Reshetikhin and Turaev is followed to develop topological invariants of closed, connected, orientable 3-manifolds from a new class of algebras called pseudo-modular Hopf algebras. Pseudo-modular Hopf algebras are a class of Z_2-graded ribbon Hopf algebras that generalise the concept of a modular Hopf algebra. The quantum superalgebra U_q(osp(1|2n)) over C is considered with q a primitive N^th root of unity for all integers N >= 3. For such a q, a certain left ideal I of U_q(osp(1|2n)) is also a two-sided Hopf ideal, and the quotient algebra U_q^(N)(osp(1|2n)) = U_q(osp(1|2n)) / I is a Z_2-graded ribbon Hopf algebra. For all n and all N >= 3, a finite collection of finite dimensional representations of U_q^(N)(osp(1|2n)) is defined. Each such representation of U_q^(N)(osp(1|2n)) is labelled by an integral dominant weight belonging to the truncated dominant Weyl chamber. Properties of these representations are considered: the quantum superdimension of each representation is calculated, each representation is shown to be self-dual, and more importantly, the decomposition of the tensor product of an arbitrary number of such representations is obtained for even N. It is proved that the quotient algebra U_q^(N)(osp(1|2n)), together with the set of finite dimensional representations discussed above, form a pseudo-modular Hopf algebra when N >= 6 is twice an odd number. Using this pseudo-modular Hopf algebra, we construct a topological invariant of 3-manifolds. This invariant is shown to be different to the topological invariants of 3-manifolds arising from quantum so(2n+1) at roots of unity.


title: A log-Sobolev type inequality for free entropy of two projections

abstract: We prove an inequality between the free entropy and the mutual free Fisher information for two projections, regarded as a free analog of the logarithmic Sobolev inequality. The proof is based on the random matrix approximation procedure via the Grassmannian random matrix model of two projections.


title: Independent Sets in Graphs with an Excluded Clique Minor

abstract: Let $G$ be a graph with $n$ vertices, with independence number $\alpha$, and with with no $K_{t+1}$-minor for some $t\geq5$. It is proved that $(2\alpha-1)(2t-5)\geq2n-5$.


title: CGMY and Meixner Subordinators are Absolutely Continuous with respect to One Sided Stable Subordinators

abstract: We describe the CGMY and Meixner processes as time changed Brownian motions. The CGMY uses a time change absolutely continuous with respect to the one-sided stable $(Y/2)$ subordinator while the Meixner time change is absolutely continuous with respect to the one sided stable $(1/2)$ subordinator$.$ The required time changes may be generated by simulating the requisite one-sided stable subordinator and throwing away some of the jumps as described in Rosinski (2001).


title: Perfect simulation for a class of positive recurrent Markov chains

abstract: This paper generalizes the work of Kendall [Electron. Comm. Probab. 9 (2004) 140--151], which showed that perfect simulation, in the form of dominated coupling from the past, is always possible (although not necessarily practical) for geometrically ergodic Markov chains. Here, we consider the more general situation of positive recurrent chains and explore when it is possible to produce such a simulation algorithm for these chains. We introduce a class of chains which we name tame, for which we show that perfect simulation is possible.


title: The Milnor-Chow homomorphism revisited

abstract: The aim of this note is to give a simplified proof of the surjectivity of the natural Milnor-Chow homomorphism $\rho: K^M_n(A) \to CH^n(A,n)$ between Milnor $K$-theory and higher Chow groups for essentially smooth (semi-)local $k$-algebras $A$ with $k$ infinite. It implies the exactness of the Gersten resolution for Milnor $K$-theory at the generic point. Our method uses the Bloch-Levine moving technique and some properties of the Milnor $K$-theory norm for fields.


title: Embedded minimal surfaces

abstract: The study of embedded minimal surfaces in $\RR^3$ is a classical problem, dating to the mid 1700's, and many people have made key contributions. We will survey a few recent advances, focusing on joint work with Tobias H. Colding of MIT and Courant, and taking the opportunity to focus on results that have not been highlighted elsewhere.


title: The lower envelope of positive self-similar Markov processes

abstract: We establish integral tests and laws of the iterated logarithm for the lower envelope of positive self-similar Markov processes at 0 and $+\infty$. Our proofs are based on the Lamperti representation and time reversal arguments. These results extend laws of the iterated logarithm for Bessel processes due to Dvoretsky and Erd\"{o}s, Motoo and Rivero.


title: Integral geometry of tensor fields on a class of non-simple Riemannian manifolds

abstract: We study the geodesic X-ray transform $I_\Gamma$ of tensor fields on a compact Riemannian manifold $M$ with non-necessarily convex boundary and with possible conjugate points. We assume that $I_\Gamma$ is known for geodesics belonging to an open set $\Gamma$ with endpoint on the boundary. We prove generic s-injectivity and a stability estimate under some topological assumptions and under the condition that for any $(x,\xi)\in T^*M$, there is a geodesic without conjugate points in $\Gamma$ through $x$ normal to $\xi$.


title: Relative hyperbolicity and Artin groups

abstract: This paper considers the question of relative hyperbolicity of an Artin group with regard to the geometry of its associated Deligne complex. We prove that an Artin group is weakly hyperbolic relative to its finite (or spherical) type parabolic subgroups if and only if its Deligne complex is a Gromov hyperbolic space. For a 2-dimensional Artin group the Deligne complex is Gromov hyperbolic precisely when the corresponding Davis complex is Gromov hyperbolic, that is, precisely when the underlying Coxeter group is a hyperbolic group. For Artin groups of FC type we give a sufficient condition for hyperbolicity of the Deligne complex which applies to a large class of these groups for which the underlying Coxeter group is hyperbolic.


title: Lower bounds for the first Laplacian eigenvalue of geodesic balls of spherically symmetric manifolds

abstract: We obtain lower bounds for the first Laplacian eigenvalues of geodesic balls of spherically symmetric manifolds. These lower bounds are only $C^{0}$ dependent on the metric coefficients.


title: Factorization of alternating sums of Virasoro characters

abstract: G. Andrews proved that if $n$ is a prime number then the coefficients $a_k$ and $a_{k+n}$ of the product $(q,q)_\infty/(q^n,q^n)_\infty=\sum_k a_kq^k$ have the same sign, see [A1]. We generalize this result in several directions. Our results are based on the observation that many products can be written as alternating sums of characters of Virasoro modules.


title: Chern-simons forms on associated bundles, and boundary terms

abstract: Let $E$ be a principle bundle over a compact manifold $M$ with compact structural group $G$. For any $G$-invariant polynomial $P$, The transgressive forms $TP(\omega)$ defined by Chern and Simons are shown to extend to forms $\Phi P(\omega)$ on associated bundles $B$ with fiber a quotient $F=G/H$ of the group. These forms satisfy a heterotic formula $$d\Phi P(\omega)=P(\Omega)-P(\Psi),$$ relating the characteristic form $P(\Omega)$ to a fiber-curvature characteristic form. For certain natural bundles $B$, $P(\Psi)=0$, giving a true transgressive form on the associated bundle, which leads to the standard obstruction properties of characteristic classes as well as natural expressions for boundary terms.


title: $C^0$-coerciveness of Moser's problem and smoothing area preserving homeomorphisms

abstract: In this paper, we establish the $C^0$-coerciveness of Moser's problem of mapping one smooth volume form to another in terms of the weak topology of measures associated to the volume forms. The proof relies on our analysis of Dacorogna-Moser's solution to Moser's problem of mapping one volume form to the other with the same total mass. As an application, we give a proof of smoothing result of area preserving homeomorphisms and its parametric version in two dimension, (or more generally in any dimension in which the smoothing theorem of homeomorphisms is possible, e.g., in dimension 3 but not necessarily in dimension 4). This in turn results in coincidence of the area-preserving homeomorphism group and the symplectic homeomorphism group in two dimension.


title: Sylvester-t' Hooft generators of sl(n) and sl(n|n), and relations between them

abstract: Among the simple finite dimensional Lie algebras, only sl(n) possesses two automorphisms of finite order which have no common nonzero eigenvector with eigenvalue one. It turns out that these automorphisms are inner and form a pair of generators that allow one to generate all of sl(n) under bracketing. It seems that Sylvester was the first to mention these generators, but he used them as generators of the associative algebra of all n times n matrices Mat(n). These generators appear in the description of elliptic solutions of the classical Yang-Baxter equation, orthogonal decompositions of Lie algebras, 't Hooft's work on confinement operators in QCD, and various other instances. Here I give an algorithm which both generates sl(n) and explicitly describes a set of defining relations. For simple (up to center) Lie superalgebras, analogs of Sylvester generators exist only for sl(n|n). The relations for this case are also computed.


title: On differential graded categories

abstract: Differential graded categories enhance our understanding of triangulated categories appearing in algebra and geometry. In this survey, we review their foundations and report on recent work by Drinfeld, Dugger-Shipley, ..., Toen and Toen-Vaquie.


title: Positivity results for Stanley's character polynomials

abstract: Stanley introduced expressions for the normalized characters of the symmetric group and stated some positivity conjectures for these expressions. Here, we give an affirmative partial answer to Stanley's positivity conjectures about the expressions using results on Kerov polynomials. In particular, we use new positivity results by Goulden and the present author. We shall see that the generating series $C(t)$ introduced by them is critical to our discussion.