title: Global Stabilization of a Class of Partially Known Positive Systems

abstract: In this report we deal with the problem of global output feedback stabilization of a class of $n$-dimensional nonlinear positive systems possessing a one-dimensional unknown, though measured, part. We first propose our main result, an output feedback control procedure, taking advantage of measurements of the uncertain part, able to globally stabilize the system towards an adjustable equilibrium point in the interior of the positive orthant. Though quite general, this result is based on hypotheses that might be difficult to check in practice. Then in a second step, through a Theorem on a class of positive systems linking the existence of a strongly positive equillibrium to its global asymptotic stability, we propose other hypotheses for our main result to hold. These new hypotheses are more restrictive but much simpler to check. Some illustrative examples, highlighting both the potential complex open loop dynamics (multi-stability, limit cycle, chaos) of the considered systems and the interest of the control procedure, conclude this report.


title: Asymptotic entropy and green speed for random walks on countable groups

abstract: We study asymptotic properties of the Green metric associated with transient random walks on countable groups. We prove that the rate of escape of the random walk computed in the Green metric equals its asymptotic entropy. The proof relies on integral representations of both quantities with the extended Martin kernel. In the case of finitely generated groups, where this result is known (Benjamini and Peres [Probab. Theory Related Fields 98 (1994) 91--112]), we give an alternative proof relying on a version of the so-called fundamental inequality (relating the rate of escape, the entropy and the logarithmic volume growth) extended to random walks with unbounded support.


title: Euler and magic squares (De quadratis magicis)

abstract: Magic squares have always been and are still fascinating for many people, be it only because of their mathematical properties. Their origin is still but certain : we find no magic squares in Greece, and only a 3x3 one in China at the beginning of our era. Most of their development was made in islamic countries. In Europe, Euler wrote two memoirs and numerous pages on magic squares. One of his problems is the famous "officer problem". (In french : Les carres magiques ont toujours fascine la plupart des gens, tant par leur apparente simplicite que par leur etonnante propriete. Leur origine est toutefois assez lointaine et incertaine : il n'y a pas de traces de carres magiques en Grece et on trouve seulement un carre de 3x3 en Chine vers le debut de notre ere. Euler a consacre deux memoires et de nombreuses pages de ses carnets a l'etude des carres magiques. L'un des problemes enonce est le fameux "probleme des officiers".)


title: Angle sums on polytopes and polytopal complexes

abstract: We will study the angle sums of polytopes, listed in the $\alpha$-vector, working to exploit the analogy between the f-vector of faces in each dimension and the alpha-vector of angle sums. The Gram and Perles relations on the $\alpha$-vector are analogous to the Euler and Dehn-Sommerville relations on the f-vector. First we describe the spaces spanned by the the alpha-vector and the $\alpha$-f-vectors of certain classes of polytopes. Families of polytopes are constructed whose angle sums span the spaces of polytopes defined by the Gram and Perles equations. This shows that the dimension of the affine span of the space of angle sums of simplices is floor[(d-1)/2], and that of the combined angle sums and face numbers of simplicial polytopes and general polytopes are d-1 and 2d-3, respectively. Next we consider angle sums of polytopal complexes. We define the angle characteristic on the alpha-vector in analogy to the Euler characteristic. We show that the changes in the two correspond and that, in the case of certain odd-dimensional polytopal complexes, the angle characteristic is half the Euler characteristic. Finally, we consider spherical and hyperbolic polytopes and polytopal complexes. Spherical and hyperbolic analogs of the Gram relation and a spherical analog of the Perles relation are known, and we show the hyperbolic analog of the Perles relations in a number of cases. Proving this relation for simplices of dimension greater than 3 would finish the proof of this result. Also, we show how constructions on spherical and hyperbolic polytopes lead to corresponding changes in the angle characteristic and Euler characteristic.


title: The topology on the space of left orderings of a group

abstract: Let G be a group and let O_G denote the set of left orderings on G. Then O_G can be topologized in a natural way, and we shall study this topology to answer three conjectures. In particular we shall show that O_G can never be countably infinite. Furthermore in the case G is a countable nonabelian free group, we shall show that O_G is homeomorphic to the Cantor set and that the positive cone of a left order on G is not finitely generated. Generalizations to locally indicable groups will also be considered.


title: Zeros of the Macdonald function of complex order

abstract: The z-zeros of the modified Bessel function of the third kind K_{nu}(z), also known as modified Hankel function or Macdonald function, are considered for arbitrary complex values of the order nu. Approximate expressions for the zeros, applicable in the cases of very small or very large |nu|, are given. The behaviour of the zeros for varying |nu| or arg(nu), obtained numerically, is illustrated by means of some graphics.


title: Constants of motion for fractional action-like variational problems

abstract: We extend Noether's symmetry theorem to the fractional Riemann-Liouville integral functionals of the calculus of variations recently introduced by El-Nabulsi.


title: Integers with a divisor in (y,2y]

abstract: We give a relatively short proof of one of the central cases of the main theorem from the paper "The distribution of integers with a divisor in a given interval", math.NT/0401223. Namely, we determine the order of magnitude of the number of integers <=x with a divisor in (y,2y]. The lower bound uses a different argument than that in the aforementioned paper. As a corollary, we deduce the order of magnitude for the number of distinct products in an N x N multiplication table.


title: On curves over finite fields with Jacobians of small exponent

abstract: We show that finite fields over which there is a curve of a given genus g with its Jacobian having a small exponent, are very rare. This extends a recent result of W. Duke in the case g=1. We also show when g=1 or g=2 that our bounds are best possible.


title: Koszul divisors on moduli spaces of curves

abstract: Given a moduli problem with a nice coarse moduli space, which is the most intrinsic and natural divisor on this moduli space? We describe a general method of constructing effective divisors on a large class of moduli spaces using the syzygies of the parametrized objects. In this paper we treat the case of the moduli space of curves and we compute the slope of a doubly infinite sequence of Koszul divisors on M_g. We present a single formula which apart from giving myriads of new counterexamples to the Harris-Morrison Slope Conjecture it also encodes virtually all interesting divisor class calculations on M_g. In particular our formula specializes to earlier results due to Harris-Mumford (the case of the Brill-Noether divisors), Eisenbud-Harris (Giseker-Petri divisors), Khosla as well as to our earlier counterexamples to the Slope Conjecture obtained using K3 surfaces and Hurwitz schemes. We also describe five ways of constructing Koszul divisors on moduli spaces of pointed curves. As an application, we improve most of Logan's results on the Kodaira type of M_{g,n}.


title: J-invariant of linear algebraic groups

abstract: Let G be a linear algebraic group over a field F and X be a projective homogeneous G-variety such that G splits over the function field of X. In the present paper we introduce an invariant of G called J-invariant which characterizes the motivic behaviour of X. This generalizes the respective notion invented by A. Vishik in the context of quadratic forms. As a main application we obtain a uniform proof of all known motivic decompositions of generically split projective homogeneous varieties (Severi-Brauer varieties, Pfister quadrics, maximal orthogonal Grassmannians, G2- and F4-varieties) as well as provide new examples (exceptional varieties of types E6, E7 and E8). We also discuss relations with torsion indices, canonical dimensions and cohomological invariants of the group G.


title: Log canonical models for the moduli space of curves: First divisorial contraction

abstract: In this paper, we initiate our investigation of log canonical models for the moduli space of curves with the boundary divisor $\a \d$ as we decrease $\a$ from 1 to 0. We prove that for the first critical value $\a = 9/11$, the log canonical model is isomorphic to the moduli space of pseudostable curves, which have nodes and cusps as singularities. We also show that $\a = 7/10$ is the next critical value, i.e., the log canonical model stays the same in the interval $(7/10, 9/11]$. In the appendix, we develop a theory of log canonical models of stacks that explains how these can be expressed in terms of the coarse moduli space.


title: An exotic Springer correspondence for symplectic groups

abstract: This paper is a sequel to math.RT/0601155. Let G be a complex symplectic group. In math.RT/0601155, we constructed a certain G-variety N = N_1, which we call the (1-) exotic nilpotent cone. In this paper, we study the set of G-orbits of the variety N. It turns out that the variety N gives a variant of the Springer correspondence for the Weyl group of type C, but shares a similar flavor with that of type A case. (I.e. there appears no non-trivial local system and the correspondence is bijective.) As an application, we present one sufficient condition for the bijectivity of our exotic Deligne-Langlands correspondence [K1].


title: All what I wanted to know about Langlands program and was afraid to ask

abstract: These notes are very informal notes on the Langlands program. I had some pleasure in daring to ask colleagues to explain to me the importance of some of the recent results on Langlands program, so I thought I will record (to the best of my understanding) these conversations, and then share them with other mathematicians. These notes are intended for non specialists. Myself, I am not a specialist on this particular theme. I tried to give motivations and a few simple examples.


title: Boundaries, eta invariant and the determinant bundle

abstract: Cobordism invariance shows that the index, in K-theory, of a family of pseudodifferential operators on the boundary of a fibration vanishes if the symbol family extends to be elliptic across the whole fibration. For Dirac operators with spectral boundary condition, Dai and Freed \cite{dai-freed1} gave an explicit version of this at the level of the determinant bundle. Their result, that the eta invariant of the interior family trivializes the determinant bundle of the boundary family, is extended here to the wider context of pseudodifferential families of cusp type.


title: Groups of Circle Diffeomorphisms

abstract: This book covers many of the recent results on group actions on the circle, with an emphasis in the differentiable case.


title: Stable commutator length in subgroups of PL(I)

abstract: Let G be a subgroup of PL(I). Then the stable commutator length of every element of [G,G] is zero.


title: Motivic complexes over finite fields and the ring of correspondences at the generic point

abstract: Already in the 1960s Grothendieck understood that one could obtain an almost entirely satisfactory theory of motives over a finite field when one assumes the full Tate conjecture. In this note we prove a similar result for motivic complexes. In particular Beilinson's Q-algebra of "correspondences at the generic point" is then defined for all connected varieties. We compute this for all smooth projective varieties (hence also for varieties birational to such a variety).


title: Conservation laws for fourth order systems in four dimensions

abstract: Following an approach of the second author for conformally invariant variational problems in two dimensions, we show in four dimensions the existence of a conservation law for fourth order systems, which includes both intrinsic and extrinsic biharmonic maps. With the help of this conservation law we prove the continuity of weak solutions of this system. Moreover we use the conservation law to derive the existence of a unique global weak solution of the extrinsic biharmonic map flow in the energy space.


title: Capillary channels in a gravitational field

abstract: The liquid shape between two vertical parallel plates in a gravity field due to capillary forces is studied. When the physical system achieves its mechanical equilibrium, the capillary surface has mean curvature proportional to its height above a horizontal reference plane and it meets the vertical walls in a prescribed angle. We examine the shapes of these interfaces and their qualitative properties depending on the sign of the capillary constant. We focus to obtain estimates of the size of the meniscus, as for example, its height and volume.


title: Calculus of functors, operad formality, and rational homology of embedding spaces

abstract: Let M be a smooth manifold and V a Euclidean space. Let Ebar(M,V) be the homotopy fiber of the map from Emb(M,V) to Imm(M,V). This paper is about the rational homology of Ebar(M,V). We study it by applying embedding calculus and orthogonal calculus to the bi-functor (M,V) |--> HQ /\Ebar(M,V)_+. Our main theorem states that if the dimension of V is more than twice the embedding dimension of M, the Taylor tower in the sense of orthogonal calculus (henceforward called ``the orthogonal tower'') of this functor splits as a product of its layers. Equivalently, the rational homology spectral sequence associated with the tower collapses at E^1. In the case of knot embeddings, this spectral sequence coincides with the Vassiliev spectral sequence. The main ingredients in the proof are embedding calculus and Kontsevich's theorem on the formality of the little balls operad. We write explicit formulas for the layers in the orthogonal tower of the functor HQ /\Ebar(M,V)_+. The formulas show, in particular, that the (rational) homotopy type of the layers of the orthogonal tower is determined by the (rational) homology type of M. This, together with our rational splitting theorem, implies that under the above assumption on codimension, the rational homology groups of Ebar(M,V) are determined by the rational homology type of M.


title: Conformal equivalence between certain geometries in dimension 6 and 7

abstract: For G_2-manifolds the Fern\'andez-Gray class X_1+X_4 is shown to consist of the union of the class X_4 of G_2-manifolds locally conformal to parallel G_2-structures and that of conformal transformations of nearly parallel or weak holonomy G_2-manifolds of type X_1. The analogous conclusion is obtained for Gray-Hervella class W_1+W_4 of real 6-dimensional almost Hermitian manifolds: this sort of geometry consists of locally conformally K\"ahler manifolds of class W_4 and conformal transformations of nearly K\"ahler manifolds in class W_1. A corollary of this is that a compact SU(3)-space in class W_1+W_4 or G_2-space of the kind X_1+X_4 has constant scalar curvature if only if it is either a standard sphere or a nearly parallel G_2 or nearly K\"ahler manifold, respectively. The properties of the Riemannian curvature of the spaces under consideration are also explored.


title: TRO equivalent algebras

abstract: In this work we study a new equivalence relation between w* closed algebras of operators on Hilbert spaces. The algebras A and B are called TRO equivalent if there exists a ternary ring of operators M (i.e. MM*M\subset M) such that A is the w*-closed span of M*BM and B is the w*-closed span of MAM*. We prove that two reflexive algebras are TRO equivalent if and only if there exists a * isomorphism between the commutants of their diagonals mapping the invariant projection lattice of the first algebra onto the lattice of the second one. We explore some consequences of TRO equivalence for CSL algebras. We also prove that TRO equivalence is stronger than "spatial Morita equivalence". Two CSL algebras are "spatially Morita equivalent" if and only if their lattices are isomorphic. In this case if one of them is synthetic then so is the other.


title: A Morita Type Equivalence for Dual Operator Algebras

abstract: We generalize the main theorem of Rieffel for Morita equivalence of W*-algebras to the case of unital dual operator algebras: two unital dual operator algebras A and B have completely isometric normal representations alpha, beta such that alpha(A) is the w*-closed span of M*beta(B)M and beta(B) is the w*-closed span of Malpha(A)M* for a ternary ring of operators M (i.e. a linear space M such that MM*M \subset M if and only if there exists an equivalence functor $F:_{A}M\to_{B}M$ which "extends" to a *-functor implementing an equivalence between the categories $_{A}DM$ and $_{B}DM.$ By $_{A}M$ we denote the category of normal representations of A and by $_{A}DM$ the category with the same objects as $_{A}M$ and $\Delta (A)$-module maps as morphisms ($\Delta (A)=A\cap A^*$). We prove that this functor is equivalent to a functor "generated" by a B, A bimodule, that it is normal and completely isometric.


title: The framed discs operad is cyclic

abstract: The operad of framed little discs is shown to be equivalent to a cyclic operad. This answers a conjecture of Salvatore in the affirmative, posed at the workshop `Knots and Operads in Roma,' at Universita di Roma ``La Sapienza'' in July of 2006.


title: A note on primes dividing alternating sums

abstract: We define A_n=\sum_{i=1}^n (-1)^i\frac{1}{i} and we show that, for every prime p, there exists a number n such that A_n\equiv 0 (mod p).


title: Quantum cohomology of minuscule homogeneous spaces

abstract: We study the quantum cohomology of (co)minuscule homogeneous varieties under a unified perspective. We show that three points Gromov-Witten invariants can always be interpreted as classical intersection numbers on auxiliary varieties. Our main combinatorial tools are certain quivers, in terms of which we obtain a quantum Chevalley formula and a higher quantum Poincar\'{e} duality. In particular we compute the quantum cohomology of the two exceptional minuscule homogeneous varieties.


title: A preconditioning strategy for microwave susceptibility in ferromagnets

abstract: 3D numerical simulations of ferromagnetic materials can be compared with experimental results via microwave susceptibility. In this paper, an optimised computation of this microwave susceptibility for large meshes is proposed. The microwave susceptibility is obtained by linearisation of the Landau and Lifchitz equations near equilibrium states and the linear systems to be solved are very ill-conditionned. Solutions are computed using the Conjugate Gradient method for the Normal equation (CGN Method). An efficient preconditioner is developed consisting of a projection and an approximation of an ``exact'' preconditioner in the set of circulant matrices. Control of the condition number due to the preconditioning and evolution of the singular value decomposition are shown in the results.


title: On the Representation of Almost Primes by Sets of Quadratic Forms

abstract: We investigate the problem of r almost-primes represented by sets of quadratic forms and give upper bounds for r. Our results extend work of Diamond and Halberstam in which they investigated the corresponding problem for polynomials.


title: Spectral gap and coercivity estimates for linearized Boltzmann collision operators without angular cutoff

abstract: In this paper we prove new constructive coercivity estimates for the Boltzmann collision operator without cutoff, that is for long-range interactions. In particular we give a generalized sufficient condition for the existence of a spectral gap which involves both the growth behavior of the collision kernel at large relative velocities and its singular behavior at grazing and frontal collisions. It provides in particular existence of a spectral gap and estimates on it for interactions deriving from the hard potentials $\phi(r) = r^{-(s−1)}$, $s \ge 5$ or the so-called moderately soft potentials $\phi(r) = r^{−(s−1)}$, $3 < s < 5$, (without angular cutoff). In particular this paper recovers (by constructive means), improves and extends previous results of Pao [46]. We also obtain constructive coercivity estimates for the Landau collision operator for the optimal coercivity norm pointed out in [34] and we formulate a conjecture about a unified necessary and sufficient condition for the existence of a spectral gap for Boltzmann and Landau linearized collision operators.


title: Generalized orientations and the Bloch invariant

abstract: For compact hyperbolic 3-manifolds we lift the Bloch invariant defined by Neumann and Yang to an integral class in K_3(C) Applying the Borel and the Bloch regulators, one gets back the volume and the Chern-Simons invariant of the manifold. We also discuss the non-compact case, in which there appears a Z/2-ambiguity.


title: The proof of Steinberg's three coloring conjecture

abstract: The well-known Steinberg's conjecture asserts that any planar graph without 4- and 5-cycles is 3 colorable. In this note we have given a short algorithmic proof of this conjecture based on the spiral chains of planar graphs proposed in the proof of the four color theorem by the author in 2004.


title: Complements of rationally convex sets

abstract: The main objective of this paper is to show that the complement of a rational convex set in $\mathbb{C}^n$ is (n-2)-connected for n>2.


title: Stability for Walls in Ferromagnetic Nanowire

abstract: We study the stability of travelling wall profiles for a one dimensional model of ferromagnetic nanowire submitted to an exterior magnetic field. We prove that these profiles are asymptotically stable modulo a translation-rotation for small applied magnetic fields.


title: Approximation and the topology of rationally convex sets

abstract: Considering a mapping g holomorphic on a neighbourhood of a rationally convex set K in $C^n$, and range into the complex projective space $P^m$, the main objective of this paper is to show that we can uniformly approximate g on K by rational mappings defined from $C^n$ into $P^m$. We only need to ask that the second Cech cohomology group $\check{H}^2(K)$ vanishes.


title: The multiplicity one case of Lusztig's conjecture

abstract: We prove the multiplicity one case of Lusztig's conjecture on the irreducible characters of reductive algebraic groups for all fields with characteristic above the Coxeter number.


title: Holder estimates for the $\bar\partial$-equation on surfaces with simple singularities

abstract: Let $\Sigma$ be a 2-dimensional subvariety in $C^3$ with an isolated simple (rational double point) singularity at the origin. The main objective of this paper is to solve the $\dbar$-equation on a neighbourhood of the origin in $\Sigma$, demanding a Holder condition on the solution.


title: Hartogs' theorem on separate holomorphicity for projective spaces

abstract: If a mapping of several complex variables into projective space is holomorphic in each pair of variables, then it is globally holomorphic.


title: Zeros of Random Analytic Functions

abstract: The dominant theme of this thesis is that random matrix valued analytic functions, generalizing both random matrices and random analytic functions, for many purposes can (and perhaps should) be effectively studied in that level of generality. We study zeros of random analytic functions in one complex variable. It is known that there is a one parameter family of Gaussian analytic functions with zero sets that are stationary in each of the three symmetric spaces, namely the plane, the sphere and the unit disk, under the corresponding group of isometries. We show a way to generate non Gaussian random analytic functions whose zero sets are also stationary in the same domains. There are particular cases where the exact distribution of the zero set turns out to belong to an important class of point processes known as determinantal point processes. Apart from questions regarding the exact distribution of zero sets, we also study certain asymptotic properties. We show asymptotic normality for smooth statistics applied to zeros of these random analytic functions. Lastly, we present some results on certain large deviation problems for the zeros of the planar and hyperbolic Gaussian analytic functions.


title: Nonequilibrium density fluctuations for the zero range process with colour

abstract: We examine the fluctuations of the empirical density measure for the colour version of the symmetric nearest neighbour zero range particle systems in dimension one. We show that the weak limit of these fluctuations is the solution of a system of coupled generalized Ornstein-Uhlenbeck processes. We also discuss how this result may be used to prove a central limit theorem for the tagged particle on the level of finite dimensional distributions, and identify the limiting variance. This is the central limit theorem associated to propagation of chaos for this interacting particle system.


title: Incompressible viscous fluid flows in a thin spherical shell

abstract: Linearized stability of incompressible viscous fluid flows in a thin spherical shell is studied by using the two-dimensional Navier--Stokes equations on a sphere. The stationary flow on the sphere has two singularities (a sink and a source) at the North and South poles of the sphere. We prove analytically for the linearized Navier--Stokes equations that the stationary flow is asymptotically stable. When the spherical layer is truncated between two symmetrical rings, we study eigenvalues of the linearized equations numerically by using power series solutions and show that the stationary flow remains asymptotically stable for all Reynolds numbers.


title: In-Degree and PageRank of Web pages: Why do they follow similar power laws?

abstract: The PageRank is a popularity measure designed by Google to rank Web pages. Experiments confirm that the PageRank obeys a `power law' with the same exponent as the In-Degree. This paper presents a novel mathematical model that explains this phenomenon. The relation between the PageRank and In-Degree is modelled through a stochastic equation, which is inspired by the original definition of the PageRank, and is analogous to the well-known distributional identity for the busy period in the M/G/1 queue. Further, we employ the theory of regular variation and Tauberian theorems to analytically prove that the tail behavior of the PageRank and the In-Degree differ only by a multiplicative factor, for which we derive a closed-form expression. Our analytical results are in good agreement with experimental data.


title: Deformation subspaces of p-divisible groups as formal Lie groups associated to p-divisible groups

abstract: Let $k$ be an algebraically closed field of characteristic $p>0$. Let $D$ be a $p$-divisible group over $k$ which is not isoclinic. Let $\scrD$ (resp. $\scrD_k$) be the formal deformation space of $D$ over $\Spf(W(k))$ (resp. over $\Spf(k)$). We use axioms to construct formal subschemes $\scrG_k$ of $\scrD_k$ that: (i) have canonical structures of formal Lie groups over $\Spf(k)$ associated to $p$-divisible groups over $k$, and (ii) give birth, via all geometric points $\Spf(K)\to\scrG_k$, to $p$-divisible groups over $K$ that are isomorphic to $D_K$. We also identify when there exist formal subschemes $\scrG$ of $\scrD$ which lift $\scrG_k$ and which have natural structures of formal Lie groups over $\Spf(W(k))$ associated to $p$-divisible groups over $W(k)$. Applications to Traverso (ultimate) stratifications are included as well.


title: Cannon-Thurston Maps for Surface Groups

abstract: We prove the existence of Cannon-Thurston maps for simply and doubly degenerate surface Kleinian groups. As a consequence we prove that connected limit sets of finitely generated Kleinian groups are locally connected.


title: Spanning trees and Khovanov homology

abstract: The Jones polynomial can be expressed in terms of spanning trees of the graph obtained by checkerboard coloring a knot diagram. We show there exists a complex generated by these spanning trees whose homology is the reduced Khovanov homology. The spanning trees provide a filtration on the reduced Khovanov complex and a spectral sequence that converges to its homology. For alternating links, all differentials on the spanning tree complex are zero and the reduced Khovanov homology is determined by the Jones polynomial and signature. We prove some analogous theorems for (unreduced) Khovanov homology.


title: Approximation on arcs and dendrites going to infinity in $C^n$ (extended version)

abstract: The Stone-Weierstrass approximation theorem is extended to certain unbounded sets in $C^n$. In particular, on a locally rectifiable arc going to infinity, each continuous function can be approximated by entire functions.


title: Counterexamples to the Cubic Graph Domination Conjecture

abstract: Let v(G) and dom(G) denote the number of vertices and the domination number of a graph G, and let r (G) = dom(G)/v(G)$. Let [x] and ]x[ be the floor and the ceiling of a number x. In 1996 B. Reed conjectured that if G is a cubic graph, then dom(G) is at most ]v(G)/3[. In 2005 A. Kostochka and B. Stodolsky disproved this conjecture for cubic graphs of connectivity one and maintained that the conjecture may still be true for 2-connected cubic graphs. Their minimum counterexample C has 4 bridges, v(C) = 60, anddom (C) = 21. In this paper we disprove Reed's conjecture for 2-connected cubic graphs by providing a sequence (R(k): k > 2) of cubic graphs of connectivity two with r(R_k) = 1/3 + 1/60, where v(R(k+1)) > v(R(k)) > v(R(3)) = 60 for k > 3, and so dom(R(3)) = 21$ and dom(R(k)) - ]v(R(k))/3[ tends to infinity when k tends to infinity. We also provide a sequence of (L_s: s > 0) of cubic graphs of connectivity one with r(L(s)) > 1/3 + 1/60. The minimum counterexample L = L(1) in this sequence is `better' than C in the sense that L has 2 bridges while C has 4 bridges, v(L) = 54 < 60 = v(C), and r(L) = 1/3 + 1/54} > 1/3 + 1/60 = r(C). We also give a construction providing for every t in {0,1,2} infinitely many cubic cyclically 4-connected Hamiltonian graphs G(t) such that v(G(t)) = t mod 3, t in {0,2} implies dom(G(t)) = ]v(G(r))/3[, and t = 1 implies dom(G(t)) = [v(G(r))/3]. At last we suggest a stronger conjecture on domination in cubic 3-connected graphs.


title: Surface bundles with genus two Heegaard splittings

abstract: It is known that there are surface bundles of arbitrarily high genus which have genus two Heegaard splittings. The simplest examples are Seifert fibered spaces with the sphere as a base space, three exceptional fibers and which allow horizontal surfaces. We characterize the monodromy maps of all surface bundles with genus two Heegaard splittings and show that each is the result of integral Dehn surgery in one of these Seifert fibered spaces along loops where the Heegaard surface intersects a horizontal surface. (This type of surgery preserves both the bundle structure and the Heegaard splitting.)


title: On asymptotics, Stirling numbers, Gamma function and polylogs

abstract: We apply the Euler--Maclaurin formula to find the asymptotic expansion of the sums $\sum_{k=1}^n (\log k)^p / k^q$, ~$\sum k^q (\log k)^p$, ~$\sum (\log k)^p /(n-k)^q$, ~$\sum 1/k^q (\log k)^p $ in closed form to arbitrary order ($p,q \in\N$). The expressions often simplify considerably and the coefficients are recognizable constants. The constant terms of the asymptotics are either $\zeta^{(p)}(\pm q)$ (first two sums), 0 (third sum) or yield novel mathematical constants (fourth sum). This allows numerical computation of $\zeta^{(p)}(\pm q)$ faster than any current software. One of the constants also appears in the expansion of the function $\sum_{n\geq 2} (n\log n)^{-s}$ around the singularity at $s=1$; this requires the asymptotics of the incomplete gamma function. The manipulations involve polylogs for which we find a representation in terms of Nielsen integrals, as well as mysterious conjectures for Bernoulli numbers. Applications include the determination of the asymptotic growth of the Taylor coefficients of $(-z/\log(1-z))^k$. We also give the asymptotics of Stirling numbers of first kind and their formula in terms of harmonic numbers.


title: Jacobians in isogeny classes of abelian surfaces over finite fields

abstract: We give a complete answer to the question of which polynomials occur as the characteristic polynomials of Frobenius for genus-2 curves over finite fields.


title: On Sjostrand's skew sign-imbalance identity

abstract: We give a short proof of Sjostrand's sign-imbalance identity for skew shapes using the domino Cauchy identity.


title: Cuntz-Krieger algebras and a generalization of Catalan numbers

abstract: We first observe that the relations of the canonical generating isometries of the Cuntz algebra ${\cal O}_N$ are naturally related to the $N$-colored Catalan numbers. For a directed graph $G$, we generalize the Catalan numbers by using the canonical generating partial isometries of the Cuntz-Krieger algebra ${\cal O}_{A^G}$ for the transition matrix $A^G$ of $G$. The generalized Catalan numbers $c_n^G, n=0,1,2,...$ enumerate the number of Dyck paths and oriented rooted trees for the graph $G$. Its generating functions will be studied.


title: $C^*$-algebras arising from Dyck systems of topological Markov chains

abstract: Let $A$ be an $N \times N $ irreducible matrix with entries in $\{0,1\}$. We define the topological Markov Dyck shift $D_A$ to be a nonsofic subshift consisting of the $2N$ brackets $(_1,...,(_N,)_1,...,)_N$ with both standard bracket rule and Markov chain rule coming from $A$. The subshift is regarded as a subshift defined by the canonical generators $S_1^*,..., S_N^*, S_1,..., S_N $ of the Cuntz-Krieger algebra ${\Cal O}_A$. We construct an irreducible $\lambda$-graph system ${{\frak L}^{Ch(D_A)}}$ that presents the subshift $D_A$ so that we have an associated simple purely infinite $C^*$-algebra ${\Cal O}_{{\frak L}^{Ch(D_A)}}$. We prove that ${\Cal O}_{{\frak L}^{Ch(D_A)}}$ is a universal unique $C^*$-algebra subject to some operator relations among $2N$ generating partial isometries. Some examples are presented such that they are not stably isomorphic to any Cuntz-Krieger algebra.


title: K-theory for the simple $C^*$-algebra of the Fibonacchi Dyck system

abstract: Let $F$ be the Fibonacci matrix $ \bigl[\begin{smallmatrix} 1 & 1 1 & 0 \\ \end{smallmatrix}\bigr] $. The Fibonacci Dyck shift is a subshsystem of the Dyck shift $D_2$ constrained by the matrix $F$. Let ${{\frak L}^{Ch(D_F)}}$ be a $\lambda$-graph system presenting the subshift $D_F$, that is called the Cantor horizon $\lambda$-graph system for $D_F$. We will study the $C^*$-algebra ${\cal O}_{{\frak L}^{Ch(D_F)}}$ associated with $ {{\frak L}^{Ch(D_F)}} $. It is simple purely infinite and generated by four partial isometries with some operator relations. We will compute the K-theory of the $C^*$-algebra. As a result, the $C^*$-algebra is simple purely infinite and not semiprojective. Hence it is not stably isomorphic to any Cuntz-Krieger algebra.


title: Textile systems on lambda-graph systems

abstract: The notions of symbolic matrix system and $\lambda$-graph system for a subshift are generalizations of symbolic matrix and $\lambda$-graph (= finite symbolic matrix) for a sofic shift respectively ([Doc. Math. 4(1999), 285-340]). M. Nasu introduced the notion of textile system for a pair of graph homomorphisms to study automorphisms and endomorphisms of topological Markov shifts ([Mem. Amer. Math. Soc. 546,114(1995)]). In this paper, we formulate textile systems on $\lambda$-graph systems and study automorphisms on subshifts. We will prove that for a forward automorphism $\phi$ of a subshift $(\Lambda,\sigma)$, the automorphisms $\phi^k \sigma^n, k\ge 0, n\ge 1$ can be explicitly realized as a subshift defined by certain symbolic matrix systems coming from both the strong shift equivalence representing $\phi$ and the subshift $(\Lambda,\sigma)$. As an application of this result, if an automorphism $\phi$ of a subshift $\Lambda$ is a simple automorphism, the dynamical system $(\Lambda, \phi \circ \sigma)$ is topologically conjugate to the subshift $(\Lambda, \sigma).$


title: On Weitzenb\"ock Curvature Operators

abstract: The Weitzenb\"ock curvature operators are the curvature terms of order zero that appear in the well known classical Weitzenb\"ock formula. In this paper, we use the formalism of double forms to prove a simple formula for this operators and to study their geometric properties.


title: Base change and K-theory for GL(n,R)

abstract: We investigate base change $C/R$ at the level of $K$-theory for the general linear group $GL(n,R)$. In the course of this study, we compute in detail the $C*$-algebra $K$-theory of this disconnected group. We investigate the interaction of base change with the Baum-Connes correspondence for $GL(n,R)$ and $GL(n,C)$. This article is the archimedean companion of our previous article in the Journal of Noncommutative Geometry.


title: On Two Natural Riemannian Metrics on a Tube

abstract: During an operation of surgery on a Riemannian manifold and along a given embedded submanifold, one needs to replace the (old) metric induced by the exponential map on a tubular neighborhood of the submanifold by the Sasakian metric. So a good understanding of the behavior of these two metrics is important, this is our main goal in this paper. In particular, we prove that these two metrics are tangent up to the order one if and only if the submanifold is totally geodesic. In the case where the ambient space is an Euclidean space, we prove that the difference of these two metrics is quadratic in the radius of the tube and depends only on the second fundamental form of the submanifold. Also the case of spherical and hyperbolic space forms are studied.


title: On local linearization of control systems

abstract: We consider the problem of topological linearization of smooth (C infinity or real analytic) control systems, i.e. of their local equivalence to a linear controllable system via point-wise transformations on the state and the control (static feedback transformations) that are topological but not necessarily differentiable. We prove that local topological linearization implies local smooth linearization, at generic points. At arbitrary points, it implies local conjugation to a linear system via a homeomorphism that induces a smooth diffeomorphism on the state variables, and, except at "strongly" singular points, this homeomorphism can be chosen to be a smooth mapping (the inverse map needs not be smooth). Deciding whether the same is true at "strongly" singular points is tantamount to solve an intriguing open question in differential topology.


title: Asymptotic dimension of one relator groups

abstract: We show that one relator groups viewed as metric spaces with respect to the word-length metric have finite asymptotic dimension in the sense of Gromov and give an estimate of their asymptotic dimension in terms of the relator length.


title: Smallness problem for quantum affine algebras and quiver varieties

abstract: The geometric small property (Borho-MacPherson) of projective morphisms implies a description of their singularities in terms of intersection homology. In this paper we solve the smallness problem raised by Nakajima (math.QA/0105173) for certain resolutions of quiver varieties (analogs of the Springer resolution) : for Kirillov-Reshetikhin modules of simply-laced quantum affine algebras, we characterize explicitly the Drinfeld polynomials corresponding to the small resolutions. We use an elimination theorem for monomials of Frenkel-Reshetikhin q-characters that we establish for non necessarily simply-laced quantum affine algebras. We also refine results of (math.QA/0501202) and extend the main result to general simply-laced quantum affinizations, in particular to quantum toroidal algebras (double affine quantum algebras).


title: On minimal affinizations of representations of quantum groups

abstract: In this paper we study minimal affinizations of representations of quantum groups (generalizations of Kirillov-Reshetikhin modules of quantum affine algebras introduced by Chari). We prove that all minimal affinizations in types A, B, G are special in the sense of monomials. Although this property is not satisfied in general, we also prove an analog property for a large class of minimal affinization in types C, D, F. As an application, the Frenkel-Mukhin algorithm works for these modules. For minimal affinizations of type A, B we prove the thin property (the l-weight spaces are of dimension 1) and a conjecture of Nakai-Nakanishi (already known for type A). The proof of the special property is extended uniformly for more general quantum affinizations of quantum Kac-Moody algebras.


title: The Tits alternative for non-spherical Pride groups

abstract: Pride groups, or ``groups given by presentations in which each defining relator involves at most two types of generators'', include Coxeter groups, Artin groups, triangles of groups, and Vinberg's groups defined by periodic paired relations. We show that every non-spherical Pride group that is not a triangle of groups satisfies the Tits alternative.


title: Pre-torsors and equivalences

abstract: Properties of (most general) non-commutative torsors or A-B torsors are analysed. Starting with pre-torsors it is shown that they are equivalent to a certain class of Galois extensions of algebras by corings. It is shown that a class of faithfully flat pre-torsors induces equivalences between categories of comodules of associated corings. It is then proven that A-B torsors correspond to monoidal functors (and, under some additional conditions, equivalences) between categories of comodules of bialgebroids.


title: Quantitative perturbative study of convergence to equilibrium for collisional kinetic models in the torus

abstract: For a general class of linear collisional kinetic models in the torus, including in particular the linearized Boltzmann equation for hard spheres, the linearized Landau equation with hard and moderately soft potentials and the semi-classical linearized fermionic and bosonic relaxation models, we prove explicit coercivity estimates on the associated integro-differential operator for some modified Sobolev norms. We deduce existence of classical solutions near equilibrium for the full non-linear models associated, with explicit regularity bounds, and we obtain explicit estimates on the rate of exponential convergence towards equilibrium in this perturbative setting. The proof are based on a linear energy method which combines the coercivity property of the collision operator in the velocity space with transport effects, in order to deduce coercivity estimates in the whole phase space.


title: On the logical complexity of convex polygon dissections

abstract: The logical depth of a graph $G$ is the minimum quantifier depth of a first order sentence defining $G$ up to isomorphism in the language of the adjacency and the equality relations. We consider the case that $G$ is a dissection of a convex polygon or, equivalently, a biconnected outerplanar graph. We bound the logical depth of a such $G$ from above by a function of combinatorial parameters of the dual tree of $G$.


title: Explicit spectral gap estimates for the linearized Boltzmann and Landau operators with hard potentials

abstract: This paper deals with explicit spectral gap estimates for the linearized Boltzmann operator with hard potentials (and hard spheres). We prove that it can be reduced to the Maxwellian case, for which explicit estimates are already known. Such a method is constructive, does not rely on Weyl's Theorem and thus does not require Grad's splitting. The more physical idea of the proof is to use geometrical properties of the whole collision operator. In a second part, we use the fact that the Landau operator can be expressed as the limit of the Boltzmann operator as collisions become grazing in order to deduce explicit spectral gap estimates for the linearized Landau operator with hard potentials.


title: Sur la dimension de l'espace des orbites d'une grassmannienne sous l'action d'un groupe alg\'{e}brique

abstract: We are interested in the actions of an algebraic group G over the grassmannians of a finite dimensional K-vector space V (K algebraically closed) deduced from an action of G over V. We prove that the dimension of the orbit space of G(i,V) is smaller than that of G(j,V) if and only if the dimension of G(i,V) is smaller than that of G(j,V). We then get similar results for flag varieties. Different methods allow us to get results about the number of orbits when the ground field is finite.


title: Estimates of suitable weak solutions to the Navier-Stokes equations in critical Morrey spaces

abstract: We prove some estimates for suitable weak solutions to the non-stationary three-dimensional Navier-Stokes equations under assumptions that certain invariant functionals of the velocity are bounded.


title: Cooling process for inelastic Boltzmann equations for hard spheres, Part I: The Cauchy problem

abstract: We develop the Cauchy theory of the spatially homogeneous inelastic Boltzmann equation for hard spheres, for a general form of collision rate which includes in particular variable restitution coefficients depending on the kinetic energy and the relative velocity as well as the sticky particles model. We prove (local in time) non-concentration estimates in Orlicz spaces, from which we deduce weak stability and existence theorem. Strong stability together with uniqueness and instantaneous appearance of exponential moments are proved under additional smoothness assumption on the initial datum, for a restricted class of collision rates. Concerning the long-time behaviour, we give conditions for the cooling process to occur or not in finite time.


title: Cooling process for inelastic Boltzmann equations for hard spheres, Part II: Self-similar solutions and tail behavior

abstract: We consider the spatially homogeneous Boltzmann equation for inelastic hard spheres, in the framework of so-called constant normal restitution coefficients. We prove the existence of self-similar solutions, and we give pointwise estimates on their tail. We also give general estimates on the tail and the regularity of generic solutions. In particular we prove Haff 's law on the rate of decay of temperature, as well as the algebraic decay of singularities. The proofs are based on the regularity study of a rescaled problem, with the help of the regularity properties of the gain part of the Boltzmann collision integral, well-known in the elastic case, and which are extended here in the context of granular gases.


title: Regularity for Suitable Weak Solutions to the Navier-Stokes Equations in Critical Morrey Spaces

abstract: A class of sufficient conditions of local regularity for suitable weak solutions to the nonstationary three-dimensional Navier-Stokes equations are discussed. The corresponding results are formulated in terms of functionals which are invariant with respect to the Navier-Stokes equations scaling. The famous Caffarelli-Kohn-Nirenberg condition is contained in that class as a particular case.


title: Explicit coercivity estimates for the linearized Boltzmann and Landau operators

abstract: We prove explicit coercivity estimates for the linearized Boltzmann and Landau operators, for a general class of interactions including any inverse-power law interactions, and hard spheres. The functional spaces of these coercivity estimates depend on the collision kernel of these operators. They cover the spectral gap estimates for the linearized Boltzmann operator with Maxwell molecules, improve these estimates for hard potentials, and are the first explicit coercivity estimates for soft potentials (including in particular the case of Coulombian interactions). We also prove a regularity property for the linearized Boltzmann operator with non locally integrable collision kernels, and we deduce from it a new proof of the compactness of its resolvent for hard potentials without angular cutoff.


title: Regularity theory for the spatially homogeneous Boltzmann equation with cut-off

abstract: We develop the regularity theory of the spatially homogeneous Boltzmann equation with cut-off and hard potentials (for instance, hard spheres), by (i) revisiting the Lp-theory to obtain constructive bounds, (ii) establishing propagation of smoothness and singularities, (iii) obtaining estimates about the decay of the sin- gularities of the initial datum. Our proofs are based on a detailed study of the "regularity of the gain operator". An application to the long-time behavior is presented.


title: About $L^p$ estimates for the spatially homogeneous Boltzmann equation

abstract: For the homogeneous Boltzmann equation with (cutoff or non cutoff) hard potentials, we prove estimates of propagation of Lp norms with a weight $(1+ |x|^2)^q/2$ ($1 < p < +\infty$, $q \in \R\_+$ large enough), as well as appearance of such weights. The proof is based on some new functional inequalities for the collision operator, proven by elementary means.


title: Quantitative lower bounds for the full Boltzmann equation, Part I: Periodic boundary conditions

abstract: We prove the appearance of an explicit lower bound on the solution to the full Boltzmann equation in the torus for a broad family of collision kernels including in particular long-range interaction models, under the assumption of some uniform bounds on some hydrodynamic quantities. This lower bound is independent of time and space. When the collision kernel satisfies Grad's cutoff assumption, the lower bound is a global Maxwellian and its asymptotic behavior in velocity is optimal, whereas for non-cutoff collision kernels the lower bound we obtain decreases exponentially but faster than the Maxwellian. Our results cover solutions constructed in a spatially homogeneous setting, as well as small-time or close-to-equilibrium solutions to the full Boltzmann equation in the torus. The constants are explicit and depend on the a priori bounds on the solution.


title: Fast algorithms for computing the Boltzmann collision operator

abstract: The development of accurate and fast numerical schemes for the five fold Boltzmann collision integral represents a challenging problem in scientific computing. For a particular class of interactions, including the so-called hard spheres model in dimension three, we are able to derive spectral methods that can be evaluated through fast algorithms. These algorithms are based on a suitable representation and approximation of the collision operator. Explicit expressions for the errors in the schemes are given and spectral accuracy is proved. Parallelization properties and adaptivity of the algorithms are also discussed.


title: Formal Adjoints and a Canonical Form for Linear Operators

abstract: We describe a canonical form for linear differential operators that are formally self-adjoint or formally skew-adjoint.


title: Some differentials on Khovanov-Rozansky homology

abstract: We study the relationship between the HOMFLY and sl(N) knot homologies introduced by Khovanov and Rozansky. For each N>0, we show there is a spectral sequence which starts at the HOMFLY homology and converges to the sl(N) homology. As an application, we determine the KR-homology of knots with 9 crossings or fewer.


title: Large deviation principles for empirical measures of colored random graphs

abstract: For any finite colored graph we define the empirical neighborhood measure, which counts the number of vertices of a given color connected to a given number of vertices of each color, and the empirical pair measure, which counts the number of edges connecting each pair of colors. For a class of models of sparse colored random graphs, we prove large deviation principles for these empirical measures in the weak topology. The rate functions governing our large deviation principles can be expressed explicitly in terms of relative entropies. We derive a large deviation principle for the degree distribution of Erd\H{o}s--R\'{e}nyi graphs near criticality.


title: Ricci solitons - The equation point of view

abstract: We discuss some classification results for Ricci solitons, that is, self similar solutions of the Ricci Flow. Some simple proofs of known results will be presented. In detail, we will take the equation point of view, trying to avoid the tools provided by considering the dynamic properties of the Ricci flow.


title: Acyclic Bidirected and Skew-Symmetric Graphs: Algorithms and Structure

abstract: \emph{Bidirected graphs} (a sort of nonstandard graphs introduced by Edmonds and Johnson) provide a natural generalization to the notions of directed and undirected graphs. By a \emph{weakly (node- or edge-) acyclic} bidirected graph we mean such graph having no (node- or edge-) simple cycles. We call a bidirected graph \emph{strongly acyclic} if it has no cycles (even non-simple). Unlike the case of standard graphs, a bidirected graph may be weakly acyclic but still have non-simple cycles. Testing a given bidirected graph for weak acyclicity is a challenging combinatorial problem, which also has a number of applications (e.g. checking a perfect matching in a general graph for uniqueness). We present (generalizing results of Gabow, Kaplan, and Tarjan) a modification of the depth-first search algorithm that checks (in linear time) if a given bidirected graph is weakly acyclic (in case of negative answer a simple cycle is constructed). Our results are best described in terms of \emph{skew-symmetric graphs} (the latter give another, somewhat more convenient graph language which is essentially equivalent to the language of bidirected graphs). We also give structural results for the class of weakly acyclic bidirected and skew-symmetric graphs explaining how one can construct any such graph starting from strongly acyclic instances and, vice versa, how one can decompose a weakly acyclic graph into strongly acyclic ``parts''. Finally, we extend acyclicity test to build (in linear time) such a decomposition.


title: Eigenfunction Expansions and Transformation Theory

abstract: Generalized eigenfunctions may be regarded as vectors of a basis in a particular direct integral of Hilbert spaces or as elements of the antidual space $\Phi^\times$ in a convenient Gelfand triplet $\Phi\subseteq{\mathcal\H}\subseteq\Phi^\times$. This work presents a fit treatment for computational purposes of transformations formulas relating different generalized bases of eigenfunctions in both frameworks direct integrals and Gelfand triplets. Transformation formulas look like usual in Physics literature, as limits of integral functionals but with well defined kernels. Several approaches are feasible. Here Vitali and martingale approaches are showed.


title: Fluctuations of the front in a one dimensional model of X+Y-->2X

abstract: We consider a model of the reaction $X+Y\to 2X$ on the integer lattice in which $Y$ particles do not move while $X$ particles move as independent continuous time, simple symmetric random walks. $Y$ particles are transformed instantaneously to $X$ particles upon contact. We start with a fixed number $a\ge 1$ of $Y$ particles at each site to the right of the origin, and define a class of configurations of the $X$ particles to the left of the origin having a finite $l^1$ norm with a specified exponential weight. Starting from any configuration of $X$ particles to the left of the origin within such a class, we prove a central limit theorem for the position of the rightmost visited site of the $X$ particles.


title: Quantitative linearized study of the Boltzmann collision operator and applications

abstract: We present recent results [4, 28, 29] about the quantitative study of the linearized Boltzmann collision operator, and its application to the study of the trend to equilibrium for the spatially homogeneous Boltzmann equation for hard spheres.


title: An infinite dimensional version of the Schur convexity property and applications

abstract: We extend to infinite dimensional separable Hilbert spaces the Schur convexity property of eigenvalues of a symmetric matrix with real entries. Our framework includes both the case of linear, selfadjoint, compact operators, and that of linear selfadjoint operators that can be approximated by operators of finite rank and having a countable family of eigenvalues. The abstract results of the present paper are illustrated by several examples from mechanics or quantum mechanics, including the Sturm-Liouville problem, the Schr\"{o}dinger equation, and the harmonic oscillator.


title: Singular phenomena in nonlinear elliptic problems. From blow-up boundary solutions to equations with singular nonlinearities

abstract: In this survey we report on some recent results related to various singular phenomena arising in the study of some classes of nonlinear elliptic equations. We establish qualitative results on the existence, nonexistence or the uniqueness of solutions and we focus on the following types of problems: (i) blow-up boundary solutions of logistic equations; (ii) Lane-Emden-Fowler equations with singular nonlinearities and subquadratic convection term. We study the combined effects of various terms involved in these problems: sublinear or superlinear nonlinearities, singular nonlinear terms, convection nonlinearities, as well as sign-changing potentials. We also take into account bifurcation nonlinear problems and we establish the precise rate decay of the solution in some concrete situations. Our approach combines standard techniques based on the maximum principle with non-standard arguments, such as the Karamata regular variation theory.


title: A multiplicity result for a nonlinear degenerate problem arising in the theory of electrorheological fluids

abstract: We study a Dirichlet boundary value problem associated to an anisotropic differential operator on a smooth bounded of $\Bbb R^N$. Our main result establishes the existence of at least two different non-negative solutions, provided a certain parameter lies in a certain range. Our approach relies on the variable exponent theory of generalized Lebesgue-Sobolev spaces, combined with adequate variational methods and a variant of Mountain Pass lemma.


title: Amalgams, connectifications, and homogeneous compacta

abstract: We construct a path-connected homogenous compactum with cellularity 2^omega that is not homeomorphic to any product of dyadic compacta and first countable compacta. We also prove some closure properties for classes of spaces defined by various connectifiability conditions. One application is that every infinite product of infinite topological sums of T_i spaces has a T_i pathwise connectification, where i is 1, 2, 3, or 3.5.


title: Meromorphic Solutions of Linear Differential Systems, Painleve type functions

abstract: We consider the $n{\times}n$ matrix linear differential systems in the complex plane. We find necessary and sufficient conditions under which these systems have meromorphic fundamental solutions. Using the operator identity method we construct a set of systems which have meromorphic solutions. We prove that the well known operator with the sine kernel generates a class of meromorphic Painleve type functions. The fifth Painleve function belongs to this class. Hence we obtain a new and simple proof that the fifth Painleve function is meromorphic.


title: Commensurations of Out(F_n)

abstract: Let $\Out(F_n)$ denote the outer automorphism group of the free group $F_n$ with $n>3$. We prove that for any finite index subgroup $\Gamma<\Out(F_n)$, the group $\Aut(\Gamma)$ is isomorphic to the normalizer of $\Gamma$ in $\Out(F_n)$. We prove that $\Gamma$ is {\em co-Hopfian} : every injective homomorphism $\Gamma\to \Gamma$ is surjective. Finally, we prove that the abstract commensurator $\Comm(\Out(F_n))$ is isomorphic to $\Out(F_n)$.


title: Fixed Points of abelian actions

abstract: We prove that if $\F$ is an abelian group of $C^1$ diffeomorphisms isotopic to the identity of a closed surface $S$ of genus at least two then there is a common fixed point for all elements of $\F.$


title: On the discriminant locus of a Lagrangian fibration

abstract: Let $X\to\P^n$ be an irreducible holomorphic symplectic manifold of dimension $2n$ fibred over $\P^n$. Matsushita proved that the generic fibre is a holomorphic Lagrangian abelian variety. In this article we study the discriminant locus $\Delta\subset\P^n$ parametrizing singular fibres. Our main result is a formula for the degree of $\Delta$, leading to bounds on the degree when $X$ is a four-fold.


title: Sub-Riemannian Calculus on Hypersurfaces in Carnot Groups

abstract: We develope basic geometric quantities and properties of hypersurfaces in Carnot groups.


title: Analysis on Metric Space Q

abstract: In this paper, we show that the metric space Q is a positively-curved space (PC-space) in the sense of Alexandrov. We also discuss some issues like metric tangent cone and exponential map of Q. Then we give a stratification of this metric space according to the signature of points in Q. Some properties of this stratification are shown. The second part of this paper is devoted to some basic analysis on the space Q, like the tensor sum and L-p space, which can be of independent interest. In the end, we give another definition of derivative for multiple-valued functions, which is equivalent to the one used by Almgren. An interesting theorem about regular selection of multiple-valued functions which preserves the differentiability concludes this paper.


title: Estimates and structure of $\alpha$-harmonic functions

abstract: We prove a uniform boundary Harnack inequality for nonnegative harmonic functions of the fractional Laplacian on arbitrary open set $D$. This yields a unique representation of such functions as integrals against measures on $D^c\cup \{\infty\}$ satisfying an integrability condition. The corresponding Martin boundary of $D$ is a subset of the Euclidean boundary determined by an integral test.


title: Weyl Groups with Coxeter Presentation and Presentation by Conjugation

abstract: We investigate which Weyl groups have a Coxeter presentation and which of them at least have the presentation by conjugation with respect to their root system. For most concepts of root systems the Weyl group has both. In the context of extended affine root systems (EARS) there is a small subclass allowing a Coxeter presentation of the Weyl group and a larger subclass allowing the presentation by conjugation. We give necessary and sufficient conditions for both classes. Our results entail that every extended affine Weyl group (EAWeG) has the presentation by conjugation with respect to a suitable EARS.


title: Testing spherical transitivity in iterated wreath products of cyclic groups

abstract: We give a partial solution a question of Grigorchuk, Nekrashevych, Sushchanskii and \v{S}uni\'k by giving an algorithm to test whether a finite state element of an infinite iterated (permutational) wreath product $\hat G = \mathbb Z/k\mathbb Z\wr \mathbb Z/k\mathbb Z\wr \mathbb Z/k\mathbb Z\wr >...$ of cyclic groups of order $n$ acts spherically transitively. We can also decide whether two finite state spherically transitive elements of $\hat G$ are conjugate. For general infinite iterated wreath products, an algorithm is presented to determine whether two finite state automorphisms have the same image in the abelianization.


title: M\"obius Functions and Semigroup Representation Theory II: Character formulas and multiplicities

abstract: We generalize the character formulas for multiplicities of irreducible constituents from group theory to semigroup theory using Rota's theory of M\"obius inversion. The technique works for a large class of semigroups including: inverse semigroups, semigroups with commuting idempotents, idempotent semigroups and semigroups with basic algebras. Using these tools we are able to give a complete description of the spectra of random walks on finite semigroups admitting a faithful representation by upper triangular matrices over the complex numbers. These include the random walks on chambers of hyperplane arrangements studied by Bidigare, Hanlon, Rockmere, Brown and Diaconis. Applications are also given to decomposing tensor powers and exterior products of rook matrix representations of inverse semigroups, generalizing and simplifying earlier results of Solomon for the rook monoid.


title: Semistability of Frobenius direct images over curves

abstract: Let $X$ be a smooth projective curve of genus $g \geq 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Given a semistable vector bundle $E$ over $X$, we show that its direct image $F\_*E$ under the Frobenius map $F$ of $X$ is again semistable. We deduce a numerical characterization of the stable rank-$p$ vector bundles $F\_*L$, where $L$ is a line bundle over $X$.


title: Universal T-matrix, Representations of OSp_q(1/2) and Little Q-Jacobi Polynomials

abstract: We obtain a closed form expression of the universal T-matrix encapsulating the duality of the quantum superalgebra U_q[osp(1/2)] and the corresponding supergroup OSp_q(1/2). The classical q-->1 limit of this universal T-matrix yields the group element of the undeformed OSp(1/2) supergroup. The finite dimensional representations of the quantum supergroup OSp_q(1/2) are readily constructed employing the said universal T-matrix and the known finite dimensional representations of the dually related deformed U_q[osp(1/2)] superalgebra. Proceeding further, we derive the product law, the recurrence relations and the orthogonality of the representations of the quantum supergroup OSp_q(1/2). It is shown that the entries of these representation matrices are expressed in terms of the little Q-Jacobi polynomials with Q = -q. Two mutually complementary singular maps of the universal T-matrix on the universal R-matrix are also presented.


title: The topological structure of scaling limits of large planar maps

abstract: We discuss scaling limits of large bipartite planar maps. If p is a fixed integer strictly greater than 1, we consider a random planar map M(n) which is uniformly distributed over the set of all 2p-angulations with n faces. Then, at least along a suitable subsequence, the metric space M(n) equipped with the graph distance rescaled by the factor n to the power -1/4 converges in distribution as n tends to infinity towards a limiting random compact metric space, in the sense of the Gromov-Hausdorff distance. We prove that the topology of the limiting space is uniquely determined independently of p, and that this space can be obtained as the quotient of the Continuum Random Tree for an equivalence relation which is defined from Brownian labels attached to the vertices. We also verify that the Hausdorff dimension of the limit is almost surely equal to 4.


title: Coarse structures and group actions

abstract: The main results of the paper are: \begin{Prop}\label{GenSvarc-Milnor} A group $G$ acting coarsely on a coarse space $(X,\CC)$ induces a coarse equivalence $g\to g\cdot x_0$ from $G$ to $X$ for any $x_0\in X$. \end{Prop} Theorem: \label{GenGromovThm} Two coarse structures $\CC_1$ and $\CC_2$ on the same set $X$ are equivalent if the following conditions are satisfied: \begin{enumerate} \item Bounded sets in $\CC_1$ are identical with bounded sets in $\CC_2$, \item There is a coarse action $\phi_1$ of a group $G_1$ on $(X,\CC_1)$ and a coarse action $\phi_2$ of a group $G_2$ on $(X,\CC_2)$ such that $\phi_1$ commutes with $\phi_2$. \end{enumerate} They generalize the following two basic results of coarse geometry: Proposition: [\v{S}varc-Milnor Lemma {\cite[Theorem 1.18]{Roe lectures}}] \label{Svarc-Milnor} A group $G$ acting properly and cocompactly via isometries on a length space $X$ is finitely generated and induces a quasi-isometry equivalence $g\to g\cdot x_0$ from $G$ to $X$ for any $x_0\in X$. Theorem: [Gromov {\cite[page 6]{Gro asym invar}}] \label{GromovThm} Two finitely generated groups $G$ and $H$ are quasi-isometric if and only if there is a locally compact space $X$ admitting proper and cocompact actions of both $G$ and $H$ that commute.


title: Motives over F_p

abstract: In April, 2006, Kontsevich asked me whether the category of motives over F_p (p prime) has a fibre functor over a number field of finite degree since he had a conjecture that more-or-less implied this. This article is my response. Unfortunately, since the results are generally negative or inconclusive, they are of little interest except perhaps for the question they raise on the existence of a cyclic extension of Q having certain properties.


title: Pattern Recognition on Oriented Matroids: The Existence of a Tope Committee

abstract: Oriented matroids can serve as a tool of modeling of collective decision-making processes in contradictory problems of pattern recognition. We present a generalization of the committee techniques of pattern recognition to oriented matroids. A tope committee for an oriented matroid is a subset of its maximal covectors such that every positive halfspace contains more than half of the maximal covectors from this subset. For a large subfamily of oriented matroids their committee structure is quite rich; for example, any maximal chains in their tope posets provide one with information sufficient to construct a committee.


title: Universal deformation rings and dihedral defect groups

abstract: Let k be an algebraically closed field of characteristic 2, and let W be the ring of infinite Witt vectors over k. Suppose G is a finite group, and B is a block of kG with dihedral defect group D which is Morita equivalent to the principal 2-modular block of a finite simple group. We determine the universal deformation ring R(G,V) for every kG-module V which belongs to B and has stable endomorphism ring k. It follows that R(G,V) is always isomorphic to a subquotient ring of WD. Moreover, we obtain an infinite series of examples of universal deformation rings which are not complete intersections.


title: On Generalized Randers Manifolds

abstract: By a Randers' structure on a manifold $M$ we mean a Finsler structure $L^*=L+\alpha$, where $L$ is a Riemannian structure and $\alpha$ is a 1-form on $M$. This structure was first introduced by Randers ~\cite{[8]} from the standpoint of general relativity. In this paper, we replace $L$ by a Finsler structure, calling the resulting manifold a generalized Randers manifold. On one hand, we develop in some depth generalized Randers manifolds. On the other hand, we apply the results obtained in a foregoing paper ~\cite{[12]} to generalized Randers manifolds to obtain some new results in that domain. Among many results, we establish a necessary and sufficient condition for a generalized Randers manifold to be a general Landsberg manifold. It should be noticed that our approach is in general a global one.


title: Solving the Boltzmann equation in N log N

abstract: In [C. Mouhot and L. Pareschi, "Fast algorithms for computing the Boltzmann collision operator," Math. Comp., to appear; C. Mouhot and L. Pareschi, C. R. Math. Acad. Sci. Paris, 339 (2004), pp. 71-76], fast deterministic algorithms based on spectral methods were derived for the Boltzmann collision operator for a class of interactions including the hard spheres model in dimension three. These algorithms are implemented for the solution of the Boltzmann equation in two and three dimension, first for homogeneous solutions, then for general non homogeneous solutions. The results are compared to explicit solutions, when available, and to Monte-Carlo methods. In particular, the computational cost and accuracy are compared to those of Monte-Carlo methods as well as to those of previous spectral methods. Finally, for inhomogeneous solutions, we take advantage of the great computational efficiency of the method to show an oscillation phenomenon of the entropy functional in the trend to equilibrium, which was suggested in the work [L. Desvillettes and C. Villani, Invent. Math., 159 (2005), pp. 245-316].


title: A Hilbert Lemniscate Theorem in C^2

abstract: For a regular, compact, polynomially convex circled set K in C^2, we construct a sequence of pairs {P_n,Q_n} of homogeneous polynomials in two variables with deg P_n = deg Q_n = n such that the sets K_n: = {(z,w) \in C^2 : |P_n(z,w)| \leq 1, |Q_n(z,w)| \leq 1} approximate K and the normalized counting measures {\mu_n} associated to the finite set {P_n = Q_n = 1} converge to the pluripotential-theoretic Monge-Ampere measure for K. The key ingredient is an approximation theorem for subharmonic functions of logarithmic growth in one complex variable.


title: A Characterization of the Set-indexed Fractional Brownian Motion by Increasing Paths

abstract: We prove that a set-indexed process is a set-indexed fractional Brownian motion if and only if its projections on all the increasing paths are one-parameter time changed fractional Brownian motions. As an application, we present an integral representation for such processes.


title: A Theorem on Frequency Function for Multiple-Valued Dirichlet Minimizing Functions

abstract: This paper discusses the frequency function of multiple-valued Dirichlet minimizing functions in the special case when the domain and range are both two dimensional. It shows that the frequency function must be of value k/2 for some nonnegative integer k. Futhermore, by looking at the blowing-up functions, we characterize the local behavior of the original Dirichlet minimizing function.


title: Construction of G-Hilbert schemes

abstract: In this paper we construct $G$-Hilbert schemes for finite group schemes $G$. We find a construction of $G$-Hilbert schemes as relative $G$-Hilbert schemes over the quotient that does not need the Hilbert scheme of $n$ points, works under more natural assumptions and gives additional information about the morphism from the $G$-Hilbert scheme to the quotient.


title: Some automorphism invariance properties for multicontractions

abstract: In the theory of row contractions on a Hilbert space, as initiated by Popescu, two important objects are the Poisson kernel and the characteristic function. We determine their behaviour with respect to the action of the group of unitarily implemented automorphisms of the algebra generated by creation operators on the Fock space. The case of noncommutative varieties, introduced recently by Popescu, is also discussed.


title: Global existence and uniqueness of Schr\"{o}dinger maps in dimensions $d\geq 4$

abstract: In dimensions $d\geq 4$, we prove that the Schr\"{o}dinger map initial-value problem admits global (in time) solutions for smooth data with small norm in the critical Sobolev space.


title: Stability Conditions, Wall-crossing and weighted Gromov-Witten Invariants

abstract: We extend B. Hassett's theory of weighted stable pointed curves ([Has03]) to weighted stable maps. The space of stability conditions is described explicitly, and the wall-crossing phenomenon studied. This can be considered as a non-linear analog of the theory of stability conditions in abelian and triangulated categories. We introduce virtual fundamental classes and thus obtain weighted Gromov-Witten invariants. We show that by including gravitational descendants, one obtains an $\LL$-algebra as introduced in [LM04] as a generalization of a cohomological field theory.


title: Characterization of Einstein-Fano manifolds via the K\"ahler-Ricci flow

abstract: We explain a characterization of Einstein-Fano manifolds in terms of the lower bound of the density of the volume of the K\"ahler-Ricci Flow. This is a direct consequence of Perelman's uniform estimate for the K\"ahler-Ricci Flow and a $C^0$ estimate of Tian and Zhu.


title: Gelfand-Fuchs cohomology of invariant formal vector fields

abstract: Let $\Gamma$ be a finite group acting linearly on a vector space $V$. We compute the Lie algebra cohomology of the Lie algebra of $\Gamma$-invariant formal vector fields on $V$. We use this computation to define characteristic classes for foliations on orbifolds.


title: Higher dimensional 3-adic CM construction

abstract: We find equations for the higher dimensional analogue of the modular curve X_0(3) using Mumford's algebraic formalism of algebraic theta functions. As a consequence, we derive a method for the construction of genus 2 hyperelliptic curves over small degree number fields whose Jacobian has complex multiplication and good ordinary reduction at the prime 3. We prove the existence of a quasi-quadratic time algorithm for computing a canonical lift in characteristic 3 based on these equations, with a detailed description of our method in genus 1 and 2.


title: Analysis of degenerate elliptic operators of Grushin type

abstract: We analyze degenerate, second-order, elliptic operators $H$ in divergence form on $L_2({\bf R}^{n}\times{\bf R}^{m})$. We assume the coefficients are real symmetric and $a_1H_\delta\geq H\geq a_2H_\delta$ for some $a_1,a_2>0$ where \[ H_\delta=-\nabla_{x_1} c_{\delta_1, \delta'_1}(x_1) \nabla_{x_1}-c_{\delta_2, \delta'_2}(x_1) \nabla_{x_2}^2 . \] Here $x_1\in{\bf R}^n$, $x_2\in{\bf R}^m$ and $c_{\delta_i, \delta'_i}$ are positive measurable functions such that $c_{\delta_i, \delta'_i}(x)$ behaves like $|x|^{\delta_i}$ as $x\to0$ and $|x|^{\delta_i'}$ as $x\to\infty$ with $\delta_1,\delta_1'\in[0,1>$ and $\delta_2,\delta_2'\geq0$. Our principal results state that the submarkovian semigroup $S_t=e^{-tH}$ is conservative and its kernel $K_t$ satisfies bounds \[ 0\leq K_t(x ;y)\leq a (|B(x ;t^{1/2})| |B(y ;t^{1/2})|)^{-1/2} \] where $|B(x ;r)|$ denotes the volume of the ball $B(x ;r)$ centred at $x$ with radius $r$ measured with respect to the Riemannian distance associated with $H$. The proofs depend on detailed subelliptic estimations on $H$, a precise characterization of the Riemannian distance and the corresponding volumes and wave equation techniques which exploit the finite speed of propagation. We discuss further implications of these bounds and give explicit examples that show the kernel is not necessarily strictly positive, nor continuous.


title: A Faber-Krahn inequality with drift

abstract: Let $\Omega$ be a bounded $C^{2,\alpha}$ domain in $\R^n$ ($n\geq 1$, $0<\alpha<1$), $\Omega^{\ast}$ be the open Euclidean ball centered at 0 having the same Lebesgue measure as $\Omega$, $\tau\geq 0$ and $v\in L^{\infty}(\Omega,\R^n)$ with $\left\Vert v\right\Vert\_{\infty}\leq \tau$. If $\lambda\_{1}(\Omega,\tau)$ denotes the principal eigenvalue of the operator $-\Delta+v\cdot\nabla$ in $\Omega$ with Dirichlet boundary condition, we establish that $\lambda\_{1}(\Omega,v)\geq \lambda\_{1}(\Omega^{\ast},\tau e\_{r})$ where $e\_{r}(x)=x/| x|$. Moreover, equality holds only when, up to translation, $\Omega=\Omega^{\ast}$ and $v=\tau e\_{r}$. This result can be viewed as an isoperimetric inequality for the first eigenvalue of the Dirichlet Laplacian with drift. It generalizes the celebrated Rayleigh-Faber-Krahn inequality for the first eigenvalue of the Dirichlet Laplacian.


title: Transverse K\"ahler geometry of Sasaki manifolds and toric Sasaki-Einstein manifolds

abstract: In this paper we study compact Sasaki manifolds in view of transverse K\"ahler geometry and extend some results in K\"ahler geometry to Sasaki manifolds. In particular we define integral invariants which obstruct the existence of transverse K\"ahler metric with harmonic Chern forms. The integral invariant $f_1$ for the first Chern class case becomes an obstruction to the existence of transverse K\"ahler metric of constant scalar curvature. We prove the existence of transverse K\"ahler-Ricci solitons (or {\it Sasaki-Ricci soliton}) on compact toric Sasaki manifolds whose basic first Chern form of the normal bundle of the Reeb foliation is positive and the first Chern class of the contact bundle is trivial. We will further show that if $S$ is a compact toric Sasaki manifold with the above assumption then by deforming the Reeb field we get a Sasaki-Einstein structure on $S$. As an application we obtain irregular toric Sasaki-Einstein metrics on the unit circle bundles of the powers of the canonical bundle of the two-point blow-up of the complex projective plane.


title: Stationary Symmetric alpha-Stable Discrete Parameter Random Fields

abstract: We establish a connection between the structure of a stationary symmetric alpha-stable random field (0 < alpha < 2) and ergodic theory of non-singular group actions, elaborating on a previous work by Rosinski (2000). With the help of this connection, we study the extreme values of the field over increasing boxes. Depending on the ergodic theoretical and group theoretical structures of the underlying action, we observe different kinds of asymptotic behavior of this sequence of extreme values.


title: A Small World Network of Prime Numbers

abstract: According to Goldbach conjecture, any even number can be broken up as the sum of two prime numbers : $n = p + q$. We construct a network where each node is a prime number and corresponding to every even number $n$, we put a link between the component primes $p$ and $q$. In most cases, an even number can be broken up in many ways, and then we chose {\em one} decomposition with a probability $|p - q|^{\alpha}$. Through computation of average shortest distance and clustering coefficient, we conclude that for $\alpha > -1.8$ the network is of small world type and for $\alpha < -1.8$ it is of regular type. We also present a theoretical justification for such behaviour.


title: Some homological properties of the category $\mathcal{O}$

abstract: In the first part of this paper the projective dimension of the structural modules in the BGG category $\mathcal{O}$ is studied. This dimension is computed for simple, standard and costandard modules. For tilting and injective modules an explicit conjecture relating the result to Lusztig's $\mathbf{a}$-function is formulated (and proved for type $A$). The second part deals with the extension algebra of Verma modules. It is shown that this algebra is in a natural way $\mathbb{Z}^2$-graded and that it has two $\mathbb{Z}$-graded Koszul subalgebras. The dimension of the space $\mathrm{Ext}^1$ into the projective Verma module is determined. In the last part several new classes of Koszul modules and modules, represented by linear complexes of tilting modules, are constructed.


title: Chow-stability and Hilbert-stability in Mumford's Geometric Invariant Theory

abstract: In this note, we shall show that the Chow-stability and the Hilbert-stability in GIT asymptotically coincide.


title: Arithmetic properties of the Ramanujan function

abstract: We study some arithmetic properties of the Ramanujan function $\tau(n)$, such as the largest prime divisor $P(\tau(n))$ and the number of distinct prime divisors $\omega(\tau(n))$ of $\tau(n)$ for various sequences of $n$. In particular, we show that \hbox{$P(\tau(n)) \geq (\log n)^{33/31 + o(1)}$} for infinitely many $n$, and \begin{equation*} P(\tau(p)\tau(p^2)\tau(p^3)) > (1+o(1))\frac{\log\log p\log\log\log p} {\log\log\log\log p} \end{equation*} for every prime $p$ with \hbox{$\tau(p)\neq 0$}.


title: On the Kocinac alpha_i properties

abstract: The Kocinac alpha_i properties, i=1,2,3,4, are generalizations of Arhangel'skii's alpha_i local properties. We give a complete classification of these properties when applied to the standard families of open covers of topological spaces or to the standard families of open covers of topological groups. One of the latter properties characterizes totally bounded groups. We also answer a question of Kocinac.


title: Zero cycles on certain surfaces in arbitrary characteristic

abstract: Let $k$ be a field of arbitrary characteristic. Let $S$ be a singular surface defined over $k$ with multiple rational curve singularities and suppose that the Chow group of zero cycles of its normalisation $\tilde{S}$ is finite dimensional. We give numerical conditions under which the Chow group of zero cycles of $S$ is finite dimensional.


title: Boundary regularity of correspondences in $\pmb{{\mbf C}^n}$

abstract: Let $M, M'$ be smooth, real analytic hypersurfaces of finite type in ${\mbf C^n}$ and $\h f$ a holomorphic correspondence (not necessarily proper) that is defined on one side of $M$, extends continuously up to $M$ and maps $M$ to $M'$. It is shown that $\h f$ must extend across $M$ as a locally proper holomorphic correspondence. This is a version for correspondences of the Diederich--Pinchuk extension result for CR maps.


title: Foncteurs de division et structure de I tenseur 2 tenseur Lambda n dans la cat\'{e}gorie F

abstract: We prove that, in the category F of functors between F\_2-vector spaces, the tensor product between the second non constant standard injective functor and an exterior power functor is artinian. The only cas known to date was the artinian character of this injective ; our result is a step in the study of the third non constant standard injective. We use the division functor by the identity functor and facts from modular representation theory of the symmetric groups to obtain this theorem by detecing suitable composition factors.


title: An artificial viscosity approach to quasistatic crack growth

abstract: We introduce a new model of irreversible quasistatic crack growth in which the evolution of cracks is the limit of a suitably modified $\epsilon$-gradient flow of the energy functional, as the "viscosity" parameter $\epsilon$ tends to zero.


title: A Vortex Method for Bi-phasic Fluids Interacting with Rigid Bodies

abstract: We present an accurate Lagrangian method based on vortex particles, level-sets, and immersed boundary methods, for animating the interplay between two fluids and rigid solids. We show that a vortex method is a good choice for simulating bi-phase flow, such as liquid and gas, with a good level of realism. Vortex particles are localized at the interfaces between the two fluids and within the regions of high turbulence. We gain local precision and efficiency from the stable advection permitted by the vorticity formulation. Moreover, our numerical method straightforwardly solves the two-way coupling problem between the fluids and animated rigid solids. This new approach is validated through numerical comparisons with reference experiments from the computational fluid community. We also show that the visually appealing results obtained in the CG community can be reproduced with increased efficiency and an easier implementation.


title: Rotation numbers for quasiperiodically forced circle maps - Mode-locking vs strict monotonicity

abstract: We describe the relation between the dynamical properties of a quasiperiodically forced orientation-preserving circle homeomorphism and the behavior of the fibered rotation number with respect to strictly monotone perturbations. Despite the fact that the dynamics in the forced case can be considerably more complicated, the result we obtain is in perfect analogy with the one-dimensional situation. In particular, the fibered rotation number behaves strictly monotonically whenever the rotation vector is irrational. This answers a question posed by Herman (1983, Comm. Math. Helv.).


title: Computing holes in semi-groups and its applications to transportation problems

abstract: An integer feasibility problem is a fundamental problem in many areas, such as operations research, number theory, and statistics. To study a family of systems with no nonnegative integer solution, we focus on a commutative semigroup generated by a finite set of vectors in $\Z^d$ and its saturation. In this paper we present an algorithm to compute an explicit description for the set of holes which is the difference of a semi-group $Q$ generated by the vectors and its saturation. We apply our procedure to compute an infinite family of holes for the semi-group of the $3\times 4\times 6$ transportation problem. Furthermore, we give an upper bound for the entries of the holes when the set of holes is finite. Finally, we present an algorithm to find all $Q$-minimal saturation points of $Q$.


title: Measure equivalence rigidity of the mapping class group

abstract: We show that the mapping class group of a compact orientable surface with higher complexity has the following extreme rigidity in the sense of measure equivalence: if the mapping class group is measure equivalent to a discrete group, then they are commensurable up to finite kernel. Moreover, we describe all lattice embeddings of the mapping class group into a locally compact second countable group. We also obtain similar results for finite direct products of mapping class groups.


title: Orbit equivalence rigidity for ergodic actions of the mapping class group

abstract: We establish orbit equivalence rigidity for any ergodic, essentially free and measure-preserving action on a standard Borel space with a finite positive measure of the mapping class group for a compact orientable surface with higher complexity. We prove similar rigidity results for a finite direct product of mapping class groups as well.


title: Multiparking Functions, Graph Searching, and the Tutte Polynomial

abstract: A parking function of length n is a sequence (b_1, b_2,..., b_n) of nonnegative integers whose nondecreasing rearrangement (a_1, a_2,...,a_n) has the property that a_i < i for every i. A well-known result about parking functions is that the polynomial P_n(q), which enumerates the complements of parking functions by the sum of their terms, is the generating function for the number of connected graphs by the number of excess edges when evaluated at (1+q). In this paper we extend this result to arbitrary connected graphs G. In general the polynomial that encodes information about subgraphs of G is the Tutte polynomial, which is the generating function for two parameters, namely the internal and external activities, associated with the spanning trees of G. We define G-multiparking functions, which generalize the G-parking functions that Postnikov and Shapiro introduced in the study of certain quotients of the polynomial ring. We construct a family of algorithmic bijections between the spanning forests of a graph G and the G-multiparking functions. In particular, the bijection induced by the breadth-first search leads to a new characterization of external activity, and hence a representation of Tutte polynomial by the reversed sum of G-multiparking functions.


title: A C*-algebra of geometric operators on self-similar CW-complexes. Novikov-Shubin and L^2-Betti numbers

abstract: A class of CW-complexes, called self-similar complexes, is introduced, together with C*-algebras A_j of operators, endowed with a finite trace, acting on square-summable cellular j-chains. Since the Laplacian Delta_j belongs to A_j, L^2-Betti numbers and Novikov-Shubin numbers are defined for such complexes in terms of the trace. In particular a relation involving the Euler-Poincare' characteristic is proved. L^2-Betti and Novikov-Shubin numbers are computed for some self-similar complexes arising from self-similar fractals.


title: Characterization of the optimal plans for the Monge-Kantorovich transport problem

abstract: We present a general method, based on conjugate duality, for solving a convex minimization problem without assuming unnecessary topological restrictions on the constraint set. It leads to dual equalities and characterizations of the minimizers without constraint qualification. As an example of application, the Monge-Kantorovich optimal transport problem is solved in great detail. In particular, the optimal transport plans are characterized without restriction. This characterization improves the already existing literature on the subject.


title: Bergman kernels and symplectic reduction

abstract: We generalize several recent results concerning the asymptotic expansions of Bergman kernels to the framework of geometric quantization and establish an asymptotic symplectic identification property. More precisely, we study the asymptotic expansion of the $G$-invariant Bergman kernel of the spin^c Dirac operator associated with high tensor powers of a positive line bundle on a symplectic manifold. We also develop a way to compute the coefficients of the expansion, and compute the first few of them, especially, we obtain the scalar curvature of the reduction space from the $G$-invariant Bergman kernel on the total space. These results generalize the corresponding results in the non-equivariant setting, which has played a crucial role in the recent work of Donaldson on stability of projective manifolds, to the geometric quantization setting. As another kind of application, we generalize some Toeplitz operator type properties in semi-classical analysis to the framework of geometric quantization. The method we use is inspired by Local Index Theory, especially by the analytic localization techniques developed by Bismut and Lebeau.


title: K. Saito's Conjecture for Nonnegative Eta Products

abstract: We prove that the Fourier coefficients of a certain general eta product considered by K. Saito are nonnegative. The proof is elementary and depends on a multidimensional theta function identity. The z = 1 case is an identity for the generating function for p-cores due to Klyachko [12] and Garvan, Kim and Stanton [7].


title: Ricci Flow and the Poincare Conjecture

abstract: This manuscript contains a detailed proof of the Poincare Conjecture. The arguments we present here are expanded versions of the ones given by Perelman in his three preprints posted in 2002 and 2003. This is a revised version taking in account the comments of the referees and others. It has been reformatted in the AMS book style.


title: Rational blow-down along Wahl type plumbing trees of spheres

abstract: We construct smooth 4-manifolds homeomorphic but not diffeomorphic to $CP^2#k\bar{CP^2},k \in {6,7,8,9}$, using the technique of rational blow-down along Wahl type plumbing trees of spheres.


title: Complex Monge-Ampere of a Maximum

abstract: We give a formula for the complex Monge-Ampere operator applied to the maximum of a finite number of functions.


title: The plastikstufe - a generalization of the overtwisted disk to higher dimensions

abstract: In this article, we give a first prototype-definition of overtwistedness in higher dimensions. According to this definition, a contact manifold is called "overtwisted" if it contains a "plastikstufe", a submanifold foliated by the contact structure in a certain way. In three dimensions the definition of the plastikstufe is identical to the one of the overtwisted disk. The main justification for this definition lies in the fact that the existence of a plastikstufe implies that the contact manifold does not have a (semipositive) symplectic filling.


title: On the arithmetic of certain modular curves

abstract: In this work, we estimate the genus of the intermediate modular curves between $X_1(N)$ and $X_0(N),$ and determine all the trigonal ones.


title: Matrix multiplication operators on Banach function spaces

abstract: In this paper, we study the matrix multiplication operators on Banach function spaces and discuss their applications in semigroups for solving the abstract Cauchy problem.


title: On characterisation of Markov processes via martingale problems

abstract: It is well-known that well-posedness of a martingale problem in the class of continuous (or r.c.l.l.) solutions enables one to construct the associated transition probability functions. We extend this result to the case when the martingale problem is well-posed in the class of solutions which are continuous in probability. This extension is used to improve on a criterion for a probability measure to be invariant for the semigroup associated with the Markov process. We also give examples of martingale problems that are well-posed in the class of solutions which are continuous in probability but for which no r.c.l.l. solution exists.


title: Classification of irreducible Harish-Chandra modules over generalized Virasoro algebras

abstract: Let $G$ be an arbitrary additive subgroup of $C$ and $Vir[G]$ the corresponding generalized Virasoro algebra. In the present paper, irreducible weight modules with finite dimensional weight spaces over $Vir[G]$ are completely determined. The classification strongly depends on the index group $G$. If $G$ does not have a direct summand $Z$, then such irreducible modules over $Vir[G]$ are only modules of intermediate series whose weight spaces are all 1-dimensional. Otherwise, there is one more class of modules which are constructed by using intermediate series modules over a generalized Virasoro subalgebra $Vir[G_0]$ of $Vir[G]$ for a direct summand $G_0$ of $G$ with corank 1.


title: Connes' embedding conjecture and sums of hermitian squares

abstract: We show that Connes' embedding conjecture on von Neumann algebras is equivalent to the existence of certain algebraic certificates for a polynomial in noncommuting variables to satisfy the following nonnegativity condition: The trace is nonnegative whenever self-adjoint contraction matrices of the same size are substituted for the variables. These algebraic certificates involve sums of hermitian squares and commutators. We prove that they always exist for a similar nonnegativity condition where elements of separable II_1-factors are considered instead of matrices. Under the presence of Connes' conjecture, we derive degree bounds for the certificates.


title: High energy limits of Laplace-type and Dirac-type eigenfunctions and frame flows

abstract: We relate high-energy limits of Laplace-type and Dirac-type operators to frame flows on the corresponding manifolds, and show that the ergodicity of frame flows implies quantum ergodicity in an appropriate sense for those operators. Observables for the corresponding quantum systems are matrix-valued pseudodifferential operators and therefore the system remains non-commutative in the high-energy limit. We discuss to what extent the space of stationary high-energy states behaves classically.