title: On the complexity of algebraic numbers II. Continued fractions

abstract: The continued fraction expansion of an irrational number $\alpha$ is eventually periodic if and only if $\alpha$ is a quadratic irrationality. However, very little is known regarding the size of the partial quotients of algebraic real numbers of degree at least three. Because of some numerical evidence and a belief that these numbers behave like most numbers in this respect, it is often conjectured that their partial quotients form an unbounded sequence. More modestly, we may expect that if the sequence of partial quotients of an irrational number $\alpha$ is, in some sense, "simple", then $\alpha$ is either quadratic or transcendental. The term "simple" can of course lead to many interpretations. It may denote real numbers whose continued fraction expansion has some regularity, or can be produced by a simple algorithm (by a simple Turing machine, for example), or arises from a simple dynamical system... The aim of this paper is to present in a unified way several new results on these different approaches of the notion of simplicity/complexity for the continued fraction expansion of algebraic real numbers of degree at least three.


title: On the Littlewood conjecture in simultaneous Diophantine approximation

abstract: For any given real number $\alpha$ with bounded partial quotients, we construct explicitly continuum many real numbers $\beta$ with bounded partial quotients for which the pair $(\alpha, \beta)$ satisfies a strong form of the Littlewood conjecture. Our proof is elementary and rests on the basic theory of continued fractions.


title: Codes Defined By Forms Of Degree 2 On Quadric Surfaces

abstract: We study the functional codes $C_2(X)$ defined on projective varieties $X$, in the case where $X\subset \mathbb{P}^3$ is a 1-degenerate quadric or a non-degenerate quadric (hyperbolic or elliptic). We find the minimum distance of these codes, the second weight, and the third weight. We also show the geometrical structure of the first weight and second weight codewords. One result states that the codes $C_2(X)$ defined on the elliptic quadrics are good codes according to the table of A. E. Brouwer.


title: On the Littlewood conjecture in fields of power series

abstract: Let $\k$ be an arbitrary field. For any fixed badly approximable power series $\Theta$ in $\k((X^{-1}))$, we give an explicit construction of continuum many badly approximable power series $\Phi$ for which the pair $(\Theta, \Phi)$ satisfies the Littlewood conjecture. We further discuss the Littlewood conjecture for pairs of algebraic power series.


title: On the Maillet--Baker continued fractions

abstract: We use the Schmidt Subspace Theorem to establish the transcendence of a class of quasi-periodic continued fractions. This improves earlier works of Maillet and of A. Baker. We also improve an old result of Davenport and Roth on the rate of increase of the denominators of the convergents to any real algebraic number.


title: Continued fractions and transcendental numbers

abstract: It is widely believed that the continued fraction expansion of every irrational algebraic number $\alpha$ either is eventually periodic (and we know that this is the case if and only if $\alpha$ is a quadratic irrational), or it contains arbitrarily large partial quotients. Apparently, this question was first considered by Khintchine. A preliminary step towards its resolution consists in providing explicit examples of transcendental continued fractions. The main purpose of the present work is to present new families of transcendental continued fractions with bounded partial quotients. Our results are derived thanks to new combinatorial transcendence criteria recently obtained by Adamczewski and Bugeaud.


title: A probabilistic algorithm for the secant defect of Grassmann varieties

abstract: In this paper we study the higher secant varieties of Grassmann varieties in relation to Waring's problem for alternating tensors and to Alexander-Hirschowitz theorem. We show how to identify defective higher secant varieties of Grassmannians using a probabilistic method involving Terracini's Lemma, and we describe an algorithm which can compute, by numerical methods, dim(G(k,n)^{s}) for n<=14. Our main result is that, except for Grassmannians of lines, if n<=14 and k<=(n-1)/2 (if n=14 we have studied the case k<=5) there are only the four known defective cases: G(2,6)^{3}, G(3,7)^{3}, G(3,7)^{4} and G(2,8)^{4}.


title: Global residues for sparse polynomial systems

abstract: We consider families of sparse Laurent polynomials f_1,...,f_n with a finite set of common zeroes Z_f in the complex algebraic n-torus. The global residue assigns to every Laurent polynomial g the sum of its Grothendieck residues over the set Z_f. We present a new symbolic algorithm for computing the global residue as a rational function of the coefficients of the f_i when the Newton polytopes of the f_i are full-dimensional. Our results have consequences in sparse polynomial interpolation and lattice point enumeration in Minkowski sums of polytopes.


title: Hypoelliptic Dunkl equations in the space of distributions on $R^d$

abstract: In this paper we define and study the Dunkl convolution product and the Dunkl transform on spaces of distributions on $ \mathbb{R}^d$. By using the main results obtained, we study the hypoelliptic Dunkl convolution equations in the space of distributions.


title: Period Spaces for Hodge Structures in Equal Characteristic

abstract: We develop the analog in equal positive characteristic of Fontaine's theory for crystalline Galois representations of a p-adic field. In particular we describe the analog of Fontaine's functor which assigns to a crystalline Galois representation an isocrystal with a Hodge filtration. In equal characteristic the role of isocrystals and Hodge filtrations is played by z-isocrystals and Hodge-Pink structures. The latter were invented by Pink. Our first main result in this article is the analog of the Colmez-Fontaine Theorem that "weakly admissible implies admissible". Next we construct period spaces for Hodge-Pink structures on a fixed z-isocrystal. These period spaces are analogs of the Rapoport-Zink period spaces for Fontaine's filtered isocrystals in mixed characteristic and likewise are rigid analytic spaces. For our period spaces we prove the analog of a conjecture of Rapoport and Zink stating the existence of a "universal local system" on a Berkovich open subspace of the period space. As a consequence of "weakly admissible implies admissible" this Berkovich open subspace contains every classical rigid analytic point of the period space. As the principal tool to demonstrate these results we use the analog of Kedlaya's Slope Filtration Theorem which we also formulate and prove here.


title: On a New Mechanism of Pattern Formation in Population Dynamics

abstract: We study a reaction-diffusion equation with an integral term describing nonlocal consumption of resources. We show that a homogeneous equilibrium can lose its stability resulting in appearance of stationary spatial structures. It is a new mechanism of pattern formation in population dynamics that can explain emergence of biological species due to intra-specific competition and random mutations.Travelling waves connecting an unstable homogeneous equilibrium and a periodic in space stationary solution are studied numerically.


title: A note on common zeroes of Laplace--Beltrami eigenfunctions

abstract: Let $\De u+\la u=\De v+\la v=0$, where $\De$ is the Laplace--Beltrami operator on a compact connected smooth manifold $M$ and $\la>0$. If $H^1(M)=0$ then there exists $p\in M$ such that $u(p)=v(p)=0$. For homogeneous $M$, $H^1(M)\neq0$ implies the existence of a pair $u,v$ as above that has no common zero.


title: Repr\'esentations cohomologiques isol\'ees, applications cohomologiques

abstract: We give a new proof of a Theorem of Vogan which classify the cohomological representations of a real semisimple Lie group $G$ which are isolated in the unitary dual of $G$. We investigate the same question in the automorphic dual, and obtain partial results. We derive applications of all this results (or conjectures) to the study of the cohomology of arithmetic locally symmetric spaces.


title: Compactness along the Branch of Semi-stable and Unstable Solutions for an Elliptic Problem with a Singular Nonlinearity

abstract: We study the branch of semi-stable and unstable solutions (i.e., those whose Morse index is at most one) of the Dirichlet boundary value problem $-\Delta u=\frac{\lambda f(x)}{(1-u)^2}$ on a bounded domain $\Omega \subset \R^N$, which models --among other things-- a simple electrostatic Micro-Electromechanical System (MEMS) device. We extend the results of [11] relating to the minimal branch, by obtaining compactness along unstable branches for $1\leq N \leq 7$ on any domain $\Omega$ and for a large class of "permittivity profiles" $f$ . We also show the remarkable fact that power-like profiles $f(x) \simeq |x|^\alpha$ can push back the critical dimension N=7 of this problem, by establishing compactness for the semi-stable branch on the unit ball, also for $N\geq 8$ and as long as $\alpha>\alpha_N=\frac{3N-14-4\sqrt{6}}{4+2\sqrt{6}}$ . As a byproduct, we are able to follow the second branch of the bifurcation diagram and prove the existence of a second solution for $\lambda$ in a natural range. In all these results, the conditions on the space-dimension and on the power of the profile are essentially sharp.


title: Large annihilators in Cayley-Dickson algebras

abstract: Cayley-Dickson algebras are an infinite sequence of non-associative algebras starting with the reals, complexes, quaternions, and octonions. We study the zero-divisors in the higher Cayley-Dickson algebras. In particular, we show that the annihilator of any element in the 2^n-dimensional Cayley-Dickson algebra has dimension at most 2^n-4n+4. Moroever, every multiple of four between 0 and this upper bound actually occurs as the dimension of some annihilator (a theorem of Moreno says that only multiples of four can occur). We completely describe all the zero-divisors whose annihilator has dimension 2^n-4n+4.


title: Cones of closed alternating walks and trails

abstract: Consider a graph whose edges have been colored red and blue. Assign a nonnegative real weight to every edge so that at every vertex, the sum of the weights of the incident red edges equals the sum of the weights of the incident blue edges. The set of all such assignments forms a convex polyhedral cone in the edge space, called the \emph{alternating cone}. The integral (respectively, $\{0,1\}$) vectors in the alternating cone are sums of characteristic vectors of closed alternating walks (respectively, trails). We study the basic properties of the alternating cone, determine its dimension and extreme rays, and relate its dimension to the majorization order on degree sequences. We consider whether the alternating cone has integral vectors in a given box, and use residual graph techniques to reduce this problem to searching for a closed alternating trail through a given edge. The latter problem, called alternating reachability, is solved in a companion paper along with related results.


title: Covering and distortion theorems for spirallike functions with respect to a boundary point

abstract: In this note we obtain some distortion results for spirallike functions with respect to a boundary point. In particular, we find the maximal domain covered by all spirallike functions of order $\beta$.


title: Optimal flow through the disordered lattice

abstract: Consider routing traffic on the N x N torus, simultaneously between all source-destination pairs, to minimize the cost $\sum_ec(e)f^2(e)$, where f(e) is the volume of flow across edge e and the c(e) form an i.i.d. random environment. We prove existence of a rescaled $N\to \infty$ limit constant for minimum cost, by comparison with an appropriate analogous problem about minimum-cost flows across a M x M subsquare of the lattice.


title: Local Properties of Richardson Varieties in the Grassmannian via a Bounded Robinson-Schensted-Knuth Correspondence

abstract: We give an explicit Grobner basis for the ideal of the tangent cone at any T-fixed point of a Richardson variety in the Grassmannian, thus generalizing a result of Kodiyalam-Raghavan and Kreiman-Lakshmibai. Our proof is based on a generalization of the Robinson-Schensted-Knuth (RSK) correspondence, which we call the bounded RSK (BRSK). We use the Grobner basis result to deduce a formula which computes the multiplicity of the Richardson variety at any T-fixed point by counting families of nonintersecting lattice paths, thus generalizing a result first proved by Krattehthaler.


title: Non Abelian Differentiable Gerbes

abstract: We study non-abelian differentiable gerbes over stacks using the theory of Lie groupoids. More precisely, we develop the theory of connections on Lie groupoid $G$-extensions, which we call "connections on gerbes", and study the induced connections on various associated bundles. We also prove analogues of the Bianchi identities. In particular, we develop a cohomology theory which measures the existence of connections and curvings for $G$-gerbes over stacks. We also introduce $G$-central extensions of groupoids, generalizing the standard groupoid $S^1$-central extensions. As an example, we apply our theory to study the differential geometry of $G$-gerbes over a manifold.


title: q-Schur algebras and quantum Frobenius

abstract: The quantum Frobenius map and it splitting are shown to descend to corresponding maps for generalized $q$-Schur algebras at a root of unity. We also define analogs of $q$-Schur algebras for any affine algebra, and prove the corresponding results for them.


title: The associative operad and the weak order on the symmetric groups

abstract: The associative operad is a certain algebraic structure on the sequence of group algebras of the symmetric groups. The weak order is a partial order on the symmetric group. There is a natural linear basis of each symmetric group algebra, related to the group basis by Mobius inversion for the weak order. We describe the operad structure on this second basis: the surprising result is that each operadic composition is a sum over an interval of the weak order. We deduce that the coradical filtration is an operad filtration. The Lie operad, a suboperad of the associative operad, sits in the first component of the filtration. As a corollary to our results, we derive a simple explicit expression for Dynkin's idempotent in terms of the second basis. There are combinatorial procedures for constructing a planar binary tree from a permutation, and a composition from a planar binary tree. These define set-theoretic quotients of each symmetric group algebra. We show that they are operad quotients of the associative operad. Moreover, the Hopf kernels of these quotient maps are suboperads of the associative operad.


title: Deux resultats autour du theoreme de restriction de Chevalley

abstract: We use Dunkl's operators to give an elementary proof of the surjectivity in the Chevalley's restriction theorem. In the second part of this article we describe the image of the invariants by the restriction map in the case of Takiff algebras. We extend this result to Takiff symmetric spaces.


title: Local structure of abelian covers

abstract: We study normal finite abelian covers of smooth varieties. In particular we establish combinatorial conditions so that a normal finite abelian cover of a smooth variety is Gorenstein or locally complete intersection.


title: The Cauchy problem for Schrodinger flows into Kahler manifolds

abstract: This paper has been withdrawn by the authors.


title: Fragmentation associated to Levy processes using snake

abstract: We consider the height process of a Levy process with no negative jumps, and its associated continuous tree representation. Using Levy snake tools developed by Duquesne and Le Gall, with an underlying Poisson process, we construct a fragmentation process, which in the stable case corresponds to the self-similar fragmentation described by Miermont. For the general fragmentation process we compute a family of dislocation measures as well as the law of the size of a tagged fragment. We also give a special Markov property for the snake which is interesting in itself.


title: Supersymmetric Harmonic Maps into Symmetric Spaces

abstract: We study supersymmetric harmonic maps from the point of view of integrable system. It is well known that harmonic maps from R^2 into a symmetric space are solutions of a integrable system . We show here that the superharmonic maps from R^{2|2} into a symmetric space are solutions of a integrable system, more precisely of a first elliptic integrable system in the sense of C.L. Terng and that we have a Weierstrass-type representation in terms of holomorphic potentials (as well as of meromorphic potentials). In the end of the paper we show that superprimitive maps from R^{2|2} into a 4-symmetric space give us, by restriction to R^2, solutions of the second elliptic system associated to the previous 4-symmetric space.


title: On the characteristic of integral point sets in $\mathbb{E}^m$

abstract: We generalise the definition of the characteristic of an integral triangle to integral simplices and prove that each simplex in an integral point set has the same characteristic. This theorem is used for an efficient construction algorithm for integral point sets. Using this algorithm we are able to provide new exact values for the minimum diameter of integral point sets.


title: A note on Erd\H{o}s-Diophantine graphs and Diophantine carpets

abstract: A Diophantine figure is a set of points on the integer grid $\mathbb{Z}^{2}$ where all mutual Euclidean distances are integers. We also speak of Diophantine graphs. In this language a Diophantine figure is a complete Diophantine graph. Due to a famous theorem of Erd\H{o}s and Anning there are complete Diophantine graphs which are not contained in larger ones. We call them Erd\H{o}s-Diophantine graphs. A special class of Diophantine graphs are Diophantine carpets. These are planar triangulations of a subset of the integer grid. We give an effective construction for Erd\H{o}s-Diophantine graphs and characterize the chromatic number of Diophantine carpets.


title: Preprojective cluster variables of acyclic cluster algebras

abstract: For any valued quiver, by using BGP-reflection functors, an injection from the set of preprojective objects in the cluster category to the set of cluster variables of the corresponding cluster algebra is given, the images are called preprojective cluster variables. It is proved that all preprojective cluster variables have denominators $u^{\underline{dim}M}$ in their irreducible fractions of integral polynomials, where $M$ is the corresponding preprojective module or preinjective module. If the quiver is of Dynkin type, we generalize the denominator theorem in [FZ2] to any seed, and also generalize the corresponding results in [CCS1] [CCS2] [CK1] to non-simply-laced case. Given a finite quiver (with trivial valuations) without oriented cycles, fixed a tilting seed $(V, B_V)$, it is proved that the existence and uniqueness of a bijection (abstractly, not in explicit form, compare [CK2]) from the set of exceptional indecomposable objects in the cluster categories to the set of cluster variables associated to $B_V$ which sends $ V_i[1]$ to $u_i$ and sends cluster tilting objects to clusters.


title: Surfaces in 4-manifolds: Addendum

abstract: In this note we fill a gap in the proof of the main theorem (Theorem 1.2) of our paper 'Surfaces in 4-manifolds', Math. Res. Letters 4 (1997), 907-914.


title: Kolmogorov equations in infinite dimensions: Well-posedness and regularity of solutions, with applications to stochastic generalized Burgers equations

abstract: We develop a new method to uniquely solve a large class of heat equations, so-called Kolmogorov equations in infinitely many variables. The equations are analyzed in spaces of sequentially weakly continuous functions weighted by proper (Lyapunov type) functions. This way for the first time the solutions are constructed everywhere without exceptional sets for equations with possibly nonlocally Lipschitz drifts. Apart from general analytic interest, the main motivation is to apply this to uniquely solve martingale problems in the sense of Stroock--Varadhan given by stochastic partial differential equations from hydrodynamics, such as the stochastic Navier--Stokes equations. In this paper this is done in the case of the stochastic generalized Burgers equation. Uniqueness is shown in the sense of Markov flows.


title: Non-symmetric Jacobi and Wilson type polynomials

abstract: Consider a root system of type $BC_1$ on the real line $\mathbb R$ with general positive multiplicities. The Cherednik-Opdam transform defines a unitary operator from an $L^2$-space on $\mathbb R$ to a $L^2$-space of $\mathbb C^2$-valued functions on $\mathbb R^+$ with the Harish-Chandra measure $|c(\lam)|^{-2}d\lam$. By introducing a weight function of the form $\cosh^{-\sig}(t)\tanh^{2k} t$ on $\mathbb R$ we find an orthogonal basis for the $L^2$-space on $\mathbb R$ consisting of even and odd functions expressed in terms of the Jacobi polynomials (for each fixed $\sig$ and $k$). We find a Rodrigues type formula for the functions in terms of the Cherednik operator. We compute explicitly their Cherednik-Opdam transforms. We discover thus a new family of $\mathbb C^2$-valued orthogonal polynomials. In the special case when $k=0$ the even polynomials become Wilson polynomials, and the corresponding result was proved earlier by Koornwinder.


title: Higher Gauge Theory

abstract: Just as gauge theory describes the parallel transport of point particles using connections on bundles, higher gauge theory describes the parallel transport of 1-dimensional objects (e.g. strings) using 2-connections on 2-bundles. A 2-bundle is a categorified version of a bundle: that is, one where the fiber is not a manifold but a category with a suitable smooth structure. Where gauge theory uses Lie groups and Lie algebras, higher gauge theory uses their categorified analogues: Lie 2-groups and Lie 2-algebras. We describe a theory of 2-connections on principal 2-bundles and explain how this is related to Breen and Messing's theory of connections on nonabelian gerbes. The distinctive feature of our theory is that a 2-connection allows parallel transport along paths and surfaces in a parametrization-independent way. In terms of Breen and Messing's framework, this requires that the "fake curvature" must vanish. In this paper we summarize the main results of our theory without proofs.


title: Invariants of pseudogroup actions: Homological methods and Finiteness theorem

abstract: We study the equivalence problem of submanifolds with respect to a transitive pseudogroup action. The corresponding differential invariants are determined via formal theory and lead to the notions of k-variants and k-covariants, even in the case of non-integrable pseudogroup. Their calculation is based on the cohomological machinery: We introduce a complex for covariants, define their cohomology and prove the finiteness theorem. This implies the well-known Lie-Tresse theorem about differential invariants. We also generalize this theorem to the case of pseudogroup action on differential equations.


title: Non-Abelian Hopf Cohomology

abstract: We introduce non-abelian cohomology sets of Hopf algebras with coefficients in Hopf modules. We prove that these sets generalize Serre's non-abelian group cohomology theory. Using descent techniques, we establish that our construction enables to classify as well twisted forms for modules over Hopf-Galois extensions as torsors over Hopf-modules.


title: Tropical Plane Geometric Constructions: a Transfer Technique in Tropical Geometry

abstract: The notion of geometric construction is introduced. This notion allows to compare incidence configurations in the algebraic and tropical plane. We provide an algorithm such that, given a tropical instance of a geometric construction, it computes sufficient conditions to have an algebraic counterpart related by tropicalization. We also provide sufficient conditions in a geometric construction to ensure that the algebraic counterpart always exists. Geometric constructions are applied to transfer classical theorems to the tropical framework, we provide a notion of incidence theorems and prove several tropical versions of classical theorems like converse Pascal, Fano plane or Cayley-Bacharach.


title: On the isolated points in the space of groups

abstract: We investigate the isolated points in the space of finitely generated groups. We give a workable characterization of isolated groups and study their hereditary properties. Various examples of groups are shown to yield isolated groups. We also discuss a connection between isolated groups and solvability of the word problem.


title: Large mapping tori of free group endomorphisms

abstract: We present an algorithm which, given any finite presentation of a group as input, will terminate with answer yes if and only if the group is large. We use this to prove that a mapping torus of a finitely generated free group automorphism is large if it contains the integers times the integers as a subgroup of infinite index. We then extend this result to mapping tori of finitely generated free group endomorphisms, as well as showing that such a group is large if it contains a Baumslag-Solitar group of infinite index and has a finite index subgroup with first Betti number at least 2. We also show that if a group possesses a deficiency 1 presentation where one of the relators is a commutator then it is the integers times the integers, or it is large, or it is as far as possible from being residually finite.


title: Estimated transversality and rational maps

abstract: In this paper, we address a question of Donaldson's on the best estimate that can be achieved for the transversality of an asymptotically holomorphic sequence of sections of increasing powers of a line bundle over an integral symplectic manifold. More specifically, we find an upper bound for the transversality of n such sequences of sections over a 2n-dimensional symplectic manifold. In the simplest case of S^2, we also relate the problem to a well known question in potential theory (namely, that of finding logarithmic equilibrium points), thus establishing an experimental lower bound for the transversality.


title: The Face Semigroup Algebra of a Hyperplane Arrangement

abstract: This article presents a study of an algebra spanned by the faces of a hyperplane arrangement. The quiver with relations of the algebra is computed and the algebra is shown to be a Koszul algebra. It is shown that the algebra depends only on the intersection lattice of the hyperplane arrangement. A complete system of primitive orthogonal idempotents for the algebra is constructed and other algebraic structure is determined including: a description of the projective indecomposable modules; the Cartan invariants; projective resolutions of the simple modules; the Hochschild homology and cohomology; and the Koszul dual algebra. A new cohomology construction on posets is introduced and it is shown that the face semigroup algebra is isomorphic to the cohomology algebra when this construction is applied to the intersection lattice of the hyperplane arrangement.


title: A flower structure of backward flow invariant domains for semigroups

abstract: In this paper, we study conditions which ensure the existence of backward flow invariant domains for semigroups of holomorphic self-mappings of a simply connected domain $D$. More precisely, the problem is the following. Given a one-parameter semigroup $\mathcal S$ on $D$, find a simply connected subset $\Omega\subset D$ such that each element of $\mathcal S$ is an automorphism of $\Omega$, in other words, such that $\mathcal S$ forms a one-parameter group on $\Omega$. On the way to solving this problem, we prove an angle distortion theorem for starlike and spirallike functions with respect to interior and boundary points.


title: On special rational curves in grassmannians

abstract: We characterize, among all rational curves in the grassmannian G(d, 2d), those which are GL(2d)-equivalent to the canonical morphism induced by the Morita equivalence C-Mod -> M(d)-Mod.


title: An infinitesimal-birational duality through differential operators

abstract: The structure of filtered algebras of Grothendieck's differential operators of truncated polynomials in one variable and graded Poisson algebras of their principal symbols is explicitly determined. A related infinitesimal-birational duality realized by a Springer type resolution of singularities and the Fourier transformation is presented. This algebro-geometrical duality is quantized in appropriate sense and its quantum origin is explained.


title: Computing Gromov-Witten invariants of some Fano varieties

abstract: We present a recursive algorithm computing all the genus-zero Gromov-Witten invariants from a finite number of initial ones, for Fano varieties with generically tame semi-simple quantum (and small quantum) (p, p)- type cohomology, whose first Chern class is a strictly positive combination of effective integral basic divisors.


title: Birational invariants defined by Lawson homology

abstract: New birational invariants for a projective manifold are defined by using Lawson homology. These invariants can be highly nontrivial even for projective threefolds. Our techniques involve the weak factorization theorem of Wlodarczyk and tools developed by Friedlander, Lawson, Lima-Filho and others. A blowup formula for Lawson homology is given in a separate section. As an application, we show that for each n\geq 5, there is a smooth rational variety X of dimension n such that the Griffiths groups Griff}_p(X) are infinitely generated even modulo torsion for all p with 2\leq p\leq n-3.


title: Realization of graded-simple algebras as loop algebras

abstract: Multiloop algebras determined by $n$ commuting algebra automorphisms of finite order are natural generalizations of the classical loop algebras that are used to realize affine Kac-Moody Lie algebras. In this paper, we obtain necessary and sufficient conditions for a $Z^n$-graded algebra to be realized as a multiloop algebra based on a finite dimensional simple algebra over an algebraically closed field of characteristic 0. We also obtain necessary and sufficient conditions for two such multiloop algebras to be graded-isomorphic, up to automorphism of the grading group. We prove these facts as consequences of corresponding results for a generalization of the multiloop construction. This more general setting allows us to work naturally and conveniently with arbitrary grading groups and arbitrary base fields.


title: Semiclassical resonances for a two-level Schr\"odinger operator with a conical intersection

abstract: We study the resonant set of a two-level Schr\"odinger operator with a linear conical intersection. This model operator can be decomposed into a direct sum of first order systems on the real half-line. For these ordinary differential systems we locally construct exact WKB solutions, which are connected to global solutions, amongst which are resonant states. The main results are a generalized Bohr-Sommerfeld quantization condition and an asymptotic description of the set of resonances as a distorted lattice.


title: The Generalized Hodge conjecture for 1-cycles and codimension two algebraic cycles

abstract: In this paper, we prove that the statement: ``The (Generalized) Hodge Conjecture holds for codimension-two cycles on a smooth projective variety $X$" is a birationally invariant statement, that is, if the statement is true for $X$, it is also true for all smooth varieties $X'$ which are birationally equivalent to $X$. We also prove the analogous result for 1-cycles. As direct corollaries, the Hodge Conjecture holds for smooth rational projective manifolds with dimension less than or equal to five, and, the Generalized Hodge Conjecture holds for smooth rational projective manifolds with dimension less than or equal to four.


title: Elliptic curves and birational representation of Weyl groups

abstract: Some Weyl group acts on a family of rational varieties obtained by successive blow-ups at $m$ ($m\geq n+2$) points in the projective space $\mpp^n(\mc)$. In this paper we study the case where all the points of blow-ups lie on a certain elliptic curve in $\mpp^n$. Investigating the action of Weyl group on the Picard groups on the elliptic curve and on rational varieties, we show that the action on the parameters can be written as a group of linear transformations on the $(m+1)$-st power of a torus.


title: On rays of minimal growth for elliptic cone operators

abstract: We present an overview of some of our recent results on the existence of rays of minimal growth for elliptic cone operators and two new results concerning the necessity of certain conditions for the existence of such rays.


title: All Siegel Hecke eigensystems (mod p) are cuspidal

abstract: We show that the systems of Hecke eigenvalues occurring in the spaces of Siegel modular forms (mod p) of fixed dimension g, fixed level N, and varying weight, are the same as the systems occurring in the spaces of Siegel cusp forms with the same parameters and varying weight. In particular, in the case g=1, this says that the Hecke eigensystems (mod p) coming from classical modular forms are the same as those coming from cusp forms. The proof uses restriction to the superspecial locus. We also give a comparison of cusp forms on the Satake compactification versus the toroidal compactifications of Siegel modular varieties.


title: Constructing elliptic curves in almost polynomial time

abstract: We present an algorithm that, on input of a positive integer N together with its prime factorization, constructs a finite field F and an elliptic curve E over F for which E(F) has order N. Although it is unproved that this can be done for all N, a heuristic analysis shows that the algorithm has an expected run time that is polynomial in 2^omega(N) log N, where omega(N) is the number of distinct prime factors of N. In the cryptographically relevant case where N is prime, an expected run time O((log N)^{4+epsilon}) can be achieved. We illustrate the efficiency of the algorithm by constructing elliptic curves with point groups of order N=10^2004 and N=nextprime(10^{2004})=10^{2004}+4863.


title: On presentations of Brauer-type monoids

abstract: We obtain presentations for the Brauer monoid, the partial analogue of the Brauer monoid, and for the greatest factorizable inverse submonoid of the dual symmetric inverse monoid. In all three cases we apply the same approach, based on the realization of all these monoids as Brauer-type monoids.


title: Parabolic and elliptic equations with VMO coefficients

abstract: An $L_{p}$-theory of divergence and non-divergence form elliptic and parabolic equations is presented. The main coefficients are supposed to belong to the class $VMO_{x}$, which, in particular, contains all functions independent of $x$. Weak uniqueness of the martingale problem associated with such equations is obtained.


title: Rosenthal type inequalities for free chaos

abstract: Let $\mathcal{A}$ denote the reduced amalgamated free product of a family $\mathsf{A}_1, \mathsf{A}_2, ..., \mathsf{A}_n$ of von Neumann algebras over a von Neumann subalgebra $\Be$ with respect to normal faithful conditional expectations $\Es_k: \mathsf{A}_k \to \Be$. We investigate the norm in $L_p(\Al)$ of homogeneous polynomials of a given degree $d$. We first generalize Voiculescu's inequality to arbitrary degree $d \ge 1$ and indices $1 \le p \le \infty$. This can be regarded as a free analogue of the classical Rosenthal inequality. Our second result is a length-reduction formula from which we generalize recent results of Pisier, Ricard and the authors. All constants in our estimates are independent of $n$ so that we may consider infinitely many free factors. As applications, we study square functions of free martingales. More precisely we show that, in contrast with the Khintchine and Rosenthal inequalities, the free analogue of the Burkholder-Gundy inequalities does not hold on $L_\infty(\Al)$. At the end of the paper we also consider Khintchine type inequalities for Shlyakhtenko's generalized circular systems.


title: Highest weight representations of a Lie algebra of Block type

abstract: For a field $F$ of characteristic zero and an additive subgroup $G$ of $F$, a Lie algebra $B(G)$ of lock type is defined with basis $\{L_{a,i},c|a \in G, i>-2\}$ and relations $[L_{a,i},L_{b,j}]=((i+1)b-(j+1)a)L_{a+b,i+j}+a\d_{a,-b}\d_{i+j,-2}c, [c,L_{a,i}]=0.$ Given a total order $\succ$ on $G$ compatible with its group structure, and any $\Lambda\in B(G)_0^*$, a Verma $B(G)$-module $M(\Lambda,\succ)$ is defined, and the irreducibility of $M(\Lambda,\succ)$ is completely determined. Furthermore, it is proved that an irreducible highest weight $B(Z)$-module is quasifinite if and only if it is a proper quotient of a Verma module.


title: Symmetric norms and reverse inequalities to Davis and Hansen-Pedersen characterizations of operator convexity

abstract: Some rearrangement inequalities for symmetric norms on matrices are given as well as related results for operator convex functions.


title: The topology of certain 3-Sasakian 7-manifolds

abstract: We calculate the integer cohomology ring and stable tangent bundle of a family of compact, 3-Sasakian 7-manifolds constructed by Boyer, Galicki, Mann, and Rees. Previously only the rational cohomology ring was known. The most important part of the cohomology ring is a torsion group that we describe explicitly and whose order we compute. There is a surprising connection with the combinatorics of trees.


title: Invariance for multiples of the twisted canonical bundle

abstract: In this paper, we show an extension type theorem for twisted pluricanonical sections on a family of smooth projective manifolds (the twisting line bundle being pseudo-effective and having a prescribed multiplier ideal on the central fiber).


title: Coxeter orbits and modular representations

abstract: We study the modular representations of finite groups of Lie type arising in the cohomology of certain quotients of Deligne-Lusztig varieties associated with Coxeter elements. These quotients are related to Gelfand-Graev representations and we present a conjecture on the Deligne-Lusztig restriction of Gelfand-Graev representations. We prove the conjecture for restriction to a Coxeter torus. We deduce a proof of Brou\'{e}'s conjecture on equivalences of derived categories arising from Deligne-Lusztig varieties, for a split group of type $A\_n$ and a Coxeter element. Our study is based on Lusztig's work in characteristic 0.


title: Teichmueller curves, triangle groups, and Lyapunov exponents

abstract: We construct a Teichmueller curve uniformized by the Fuchsian triangle group (m,n,\infty) for every m<n. Our construction includes the Teichmueller curves constructed by Veech and Ward as special cases. The construction essentially relies on properties of hypergeometric differential operators. For small m, we find Billiard tables that generate these Teichmueller curves. We interprete some of the so-called Lyapunov exponents of the Kontsevich--Zorich cocycle as normalized degrees of some natural line bundles on a Teichmueller curves. We determine the Lyapunov exponents for the Teichmueller curves we construct.


title: A long range dependence stable process and an infinite variance branching system

abstract: We prove a functional limit theorem for the rescaled occupation time fluctuations of a $(d,\alpha,\beta)$-branching particle system [particles moving in $\mathbb {R}^d$ according to a symmetric $\alpha$-stable L\'{e}vy process, branching law in the domain of attraction of a $(1+\beta)$-stable law, $0<\beta<1$, uniform Poisson initial state] in the case of intermediate dimensions, $\alpha/\beta<d<\alpha(1+\beta)/\beta$. The limit is a process of the form $K\lambda\xi$, where $K$ is a constant, $\lambda$ is the Lebesgue measure on $\mathbb {R}^d$, and $\xi=(\xi_t)_{t\geq0}$ is a $(1+\beta)$-stable process which has long range dependence. For $\alpha<2$, there are two long range dependence regimes, one for $\beta>d/(d+\alpha)$, which coincides with the case of finite variance branching $(\beta=1)$, and another one for $\beta\leq d/(d+\alpha)$, where the long range dependence depends on the value of $\beta$. The long range dependence is characterized by a dependence exponent $\kappa$ which describes the asymptotic behavior of the codifference of increments of $\xi$ on intervals far apart, and which is $d/\alpha$ for the first case (and for $\alpha=2$) and $(1+\beta-d/(d+\alpha))d/\alpha$ for the second one. The convergence proofs use techniques of $\mathcal{S}'(\mathbb {R}^d)$-valued processes.


title: What are the shapes of embedded minimal surfaces and why?

abstract: Minimal surfaces with uniform curvature (or area) bounds have been well understood and the regularity theory is complete, yet essentially nothing was known without such bounds. We discuss here the theory of embedded (i.e., without self-intersections) minimal surfaces in Euclidean 3-space without a priori bounds. The study is divided into three cases, depending on the topology of the surface. Case one is where the surface is a disk, in case two the surface is a planar domain (genus zero), and the third case is that of finite (non-zero) genus. The complete understanding of the disk case is applied in both cases two and three. As we will see, the helicoid, which is a double spiral staircase, is the most important example of an embedded minimal disk. In fact, we will see that every such disk is either a graph of a function or part of a double spiral staircase. The helicoid was discovered to be a minimal surface by Meusnier in 1776. For planar domains the fundamental examples are the catenoid, also discovered by Meusnier in 1776, and the Riemann examples discovered by Riemann in the beginning of the 1860s. Finally, for general fixed genus an important example is the recent example by Hoffman-Weber-Wolf of a genus one helicoid. In the last section we discuss why embedded minimal surfaces are automatically proper. This was known as the Calabi-Yau conjectures for embedded surfaces. For immersed surfaces there are counter-examples by Jorge-Xavier and Nadirashvili.


title: Complex Hyperbolic Structures on Disc Bundles over Surfaces

abstract: We study complex hyperbolic disc bundles over closed orientable surfaces that arise from discrete and faithful representations H_n->PU(2,1), where H_n is the fundamental group of the orbifold S^2(2,...,2) and thus contains a surface group as a subgroup of index 2 or 4. The results obtained provide the first complex hyperbolic disc bundles M->{\Sigma} that: admit both real and complex hyperbolic structures; satisfy the equality 2(\chi+e)=3\tau; satisfy the inequality \chi/2<e; and induce discrete and faithful representations \pi_1\Sigma->PU(2,1) with fractional Toledo invariant; where {\chi} is the Euler characteristic of \Sigma, e denotes the Euler number of M, and {\tau} stands for the Toledo invariant of M. To get a satisfactory explanation of the equality 2(\chi+e)=3\tau, we conjecture that there exists a holomorphic section in all our examples. In order to reduce the amount of calculations, we systematically explore coordinate-free methods.


title: Doubling Constant Mean Curvature Tori in the 3-Sphere

abstract: The Clifford tori in the 3-sphere are a one-parameter family of flat, two-dimensional, constant mean curvature (CMC) surfaces. This paper demonstrates that new, topologically non-trivial CMC surfaces resembling a pair of neighbouring Clifford tori connected at a sub-lattice consisting of at least two points by small catenoidal bridges can be constructed by perturbative PDE methods. That is, one can create an approximate solution by gluing a rescaled catenoid into the neighbourhood of each sub-lattice point; and then one can show that a perturbation of this approximate submanifold exists which satisfies the CMC condition.


title: The process of most recent common ancestors in an evolving coalescent

abstract: Consider a haploid population which has evolved through an exchangeable reproduction dynamics, and in which all individuals alive at time $t$ have a most recent common ancestor (MRCA) who lived at time $A_t$, say. As time goes on, not only the population but also its genealogy evolves: some families will get lost from the population and eventually a new MRCA will be established. For a time-stationary situation and in the limit of infinite population size $N$ with time measured in $N$ generations, i.e. in the scaling of population genetics which leads to Fisher-Wright diffusions and Kingman's coalescent, we study the process $\mathcal A = (A_t)$ whose jumps form the point process of time pairs $(E,B)$ when new MRCAs are established and when they lived. By representing these pairs as the entrance and exit time of particles whose trajectories are embedded in the look-down graph of Donnelly and Kurtz (1999) we can show by exchangeability arguments that the times $E$ as well as the times $B$ from a Poisson process. Furthermore, the particle representation helps to compute various features of the MRCA process, such as the distribution of the coalescent at the instant when a new MRCA is established, and the distribution of the number of MRCAs to come that live in today's past.


title: Generalized Doubling Constructions for Constant Mean Curvature Hypersurfaces in the (n+1)-Sphere

abstract: The (n+1)-sphere contains a simple family of constant mean curvature (CMC) hypersurfaces which are products of lower-dimensional spheres called the generalized Clifford hypersurfaces. This paper demonstrates that new, topologically non-trivial CMC hypersurfaces resembling a pair of neighbouring generalized Clifford tori connected to each other by small catenoidal bridges at a sufficiently symmetric configuration of points can be constructed by perturbative PDE methods. That is, one can create an approximate solution by gluing a rescaled catenoid into the neighbourhood of each point; and then one can show that a perturbation of this approximate hypersurface exists which satisfies the CMC condition. The results of this paper generalize those of the authors in math.DG/0511742.


title: Occupation time fluctuations of an infinite variance branching system in large dimensions

abstract: We prove limit theorems for rescaled occupation time fluctuations of a (d,alpha,beta)-branching particle system (particles moving in R^d according to a spherically symmetric alpha-stable Levy process, (1+beta)-branching, 0<beta<1, uniform Poisson initial state), in the cases of critical dimension, d=alpha(1+beta)/beta, and large dimensions, d>alpha(1+beta)/beta. The fluctuation processes are continuous but their limits are stable processes with independent increments, which have jumps. The convergence is in the sense of finite-dimensional distributions, and also of space-time random fields (tightness does not hold in the usual Skorohod topology). The results are in sharp contrast with those for intermediate dimensions, alpha/beta < d < d(1+beta)/beta, where the limit process is continuous and has long range dependence (this case is studied by Bojdecki et al, 2005). The limit process is measure-valued for the critical dimension, and S'(R^d)-valued for large dimensions. We also raise some questions of interpretation of the different types of dimension-dependent results obtained in the present and previous papers in terms of properties of the particle system.


title: Weak KAM pairs and Monge-Kantorovich duality

abstract: The dynamics of globally minimizing orbits of Lagrangian systems can be studied using the Barrier function, as Mather first did, or using the pairs of weak KAM solutions introduced by Fathi. The central observation of the present paper is that Fathi weak KAM pairs are precisely the admissible pairs for the Kantorovich problem dual to the Monge transportation problem with the Barrier function as cost. We exploit this observation to recover several relations between the Barrier functions and the set of weak KAM pairs in an axiomatic and elementary way.


title: Congruence subgroups and the Atiyah conjecture

abstract: Let A denote the algebraic closure of the rationals Q in the complex numbers C. Suppose G is a torsion-free group which contains a congruence subgroup as a normal subgroup of finite index and denote by U(G) the C-algebra of closed densely defined unbounded operators affiliated to the group von Neumann algebra. We prove that there exists a division ring D(G) such that A[G] < D(G) < U(G). This establishes some versions of the Atiyah conjecture for the group G.


title: Upward Stability Transfer for Tame Abstract Elementary Classes

abstract: Grossberg and VanDieren have started a program to develop a stability theory for tame classes. We prove, for instance, that for tame abstract elementary classes satisfying the amlagamation property and for large enough cardinals kappa, stability in kappa implies stability in kappa^{+n} for each natural number n.


title: The Colourful Feasibility Problem

abstract: We study a colourful generalization of the linear programming feasibility problem, comparing the algorithms introduced by Barany and Onn with new methods. We perform benchmarking on generic and ill-conditioned problems, as well as as recently introduced highly structured problems. We show that some algorithms can lead to cycling or slow convergence, but we provide extensive numerical experiments which show that others perform much better than predicted by complexity arguments. We conclude that the most efficient method for all but the most ill-conditioned problems is a proposed multi-update algorithm.


title: Asymptotic behavior of edge-reinforced random walks

abstract: In this article, we study linearly edge-reinforced random walk on general multi-level ladders for large initial edge weights. For infinite ladders, we show that the process can be represented as a random walk in a random environment, given by random weights on the edges. The edge weights decay exponentially in space. The process converges to a stationary process. We provide asymptotic bounds for the range of the random walker up to a given time, showing that it localizes much more than an ordinary random walker. The random environment is described in terms of an infinite-volume Gibbs measure.


title: Constructions for 4-Polytopes and the Cone of Flag Vectors

abstract: We describe a construction for d-polytopes generalising the well known stacking operation. The construction is applied to produce 2-simplicial and 2-simple 4-polytopes with g_2=0 on any number of n >= 13 vertices. In particular, this implies that the ray l_1, described by Bayer (1987), is fully contained in the convex hull of all flag vectors of 4-polytopes. Especially interesting examples on 9, 10 and 11 vertices are presented.


title: Quantitative concentration inequalities on sample path space for mean field interaction

abstract: We consider a system of particles experiencing diffusion and mean field interaction, and study its behaviour when the number of particles goes to infinity. We derive non-asymptotic large deviation bounds measuring the concentration of the empirical measure of the paths of the particles around its limit. The method is based on a coupling argument, strong integrability estimates on the paths in Holder norm, and some general concentration result for the empirical measure of identically distributed independent paths.


title: Cohomology of Coxeter groups with group ring coefficients: II

abstract: For any Coxeter group W, we define a filtration of H^*(W;ZW) by W-submodules and then compute the associated graded terms. More generally, if U is a CW complex on which W acts as a reflection group we compute the associated graded terms for H_*(U) and, in the case where the action is proper and cocompact, for H^*_c(U).


title: The Vlasov-Maxwell-Boltzmann System in The Whole Space

abstract: The Vlasov-Maxwell-Boltzmann system is a fundamental model to describe the dynamics of dilute charged particles, where particles interact via collisions and through their self-consistent electromagnetic field. We prove the existence of global in time classical solutions to the Cauchy problem near Maxwellians.


title: An "Analytic" Version of Menshov's Representation Theorem

abstract: Every measurable function f on the circle can be represented as a sum of harmonics with positive spectrum, converging in measure. For convergence almost everywhere this is not true. We discuss several other subsets of Z for which one might get a Menshov type representation converging almost everywhere or in measure.


title: Colouring powers of cycles from random lists

abstract: Let $C_n^k$ be the $k$-th power of a cycle on $n$ vertices (i.e. the vertices of $C_n^k$ are those of the $n$-cycle, and two vertices are connected by an edge if their distance along the cycle is at most $k$). For each vertex draw uniformly at random a subset of size $c$ from a base set $S$ of size $s=s(n)$. In this paper we solve the problem of determining the asymptotic probability of the existence of a proper colouring from the lists for all fixed values of $c,k$, and growing $n$.


title: Hecke Correspondence, Stable Maps and the Kirwan Desingularization

abstract: We prove that the moduli space of stable maps of degree 2 to the moduli space of rank 2 stable bundles of fixed determinant O(-x) over a smooth projective curve of genus g>2 has two irre- ducible components which intersect transversely. One of them is Kir- wan's partial desingularization of the moduli space of rank 2 semistable bundles with determinant isomorphic to O(y-x) for some y in X. The other component is the partial desingularization of PHom(sl(2)^*;W)//PGL(2) for a vector bundle W of rank g over the Jacobian of X. We also show that the Hilbert scheme H, the Chow scheme C of conics in N and the moduli space of stable maps of degree 2 are related by explicit contractions.


title: Ternary expansions of powers of 2

abstract: Paul Erdos asked how frequently the ternary expansion of 2^n omits the digit 2. He conjectured this happens only for finitely many values of n. We generalize this question to consider iterates of two discrete dynamical systems. The first is over the real numbers, and considers the integer part of lambda 2^n for a real input lambda. The second is over the 3-adic integers, and considers the sequence lambda 2^n for a 3-adic integer input lambda. We show that the number of input values that have infinitely many iterates omitting the digit 2 in their ternary expansion is small in a suitable sense. For each nonzero input we give an asymptotic upper bound on the number of the first k iterates that omit the digit 2, as k goes to infinity. We also study auxiliary problems concerning the Hausdorff dimension of intersections of multiplicative translates of 3-adic Cantor sets.


title: A Fixed Point Approach to Stability of a Quadratic Equation

abstract: Using the fixed point alternative theorem we establish the orthogonal stability of quadratic functional equation of Pexider type $f(x+y)+g(x-y)=h(x)+k(y)$, where $f, g, h, k$ are mappings from a symmetric orthogonality space to a Banach space, by orthogonal additive mappings under a necessary and sufficient condition on $f$.


title: Deviation equations in spaces with affine connection

abstract: Connections between Lie derivatives and the deviation equation has been investigated in spaces with affine connection. The deviation equations of the geodesics as well as deviation equations of non-geodesics trajectories have been obtained on this base. This is done via imposing certain conditions on the Lie derivatives with respect to the tangential vector of the basic trajectory.


title: Spatial and non-spatial stochastic models for immune response

abstract: We study some simple mathematical models designed to test the following hypothesis: can a pathogen escape the immune system only because of its high probability of mutation? We propose both spatial and non-spatial models. In all of our models, we assume that pathogens can mutate, leading to the appearance of new types of pathogens. We also assume that the immune system is able to get rid of all the pathogens of a given type at once but that it recognizes only one type at a time.


title: Colouring complete bipartite graphs from random lists

abstract: Let $K_{n,n}$ be the complete bipartite graph with $n$ vertices in each side. For each vertex draw uniformly at random a list of size $k$ from a base set $S$ of size $s=s(n)$. In this paper we estimate the asymptotic probability of the existence of a proper colouring from the random lists for all fixed values of $k$ and growing $n$. We show that this property exhibits a sharp threshold for $k\geq 2$ and the location of the threshold is precisely $s(n)=2n$ for $k=2$, and approximately $s(n)=\frac{n}{2^{k-1}\ln 2}$ for $k\geq 3$.


title: New versions of the all-ones problem

abstract: We study three new versions of the All-Ones Problem and the Minimum All-Ones Problem. The original All-Ones Problem is simply called the Vertex-Vertex Problem, and the three new versions are called the Vertex-Edge Problem, the Edge-Vertex Problem and the Edge-Edge Problem, respectively. The Vertex-Vertex Problem has been studied extensively. For example, existence of solutions and efficient algorithms for finding solutions were obtained, and the Minimum Vertex-Vertex Problem for general graphs was shown to be NP-complete and for trees it can be solved in linear time, etc. In this paper, for the Vertex-Edge Problem, we show that a graph has a solution if and only if it is bipartite, and therefore it has only two possible solutions and optimal solutions. A linear program version is also given. For the Edge-Vertex Problem, we show that a graph has a solution if and only if it contains even number of vertices. By showing that the Minimum Edge-Vertex Problem can be polynomially transformed into the Minimum Weight Perfect Matching Problem, we obtain that the Minimum Edge-Vertex Problem can be solved in polynomial time in general. The Edge-Edge Problem is reduced to the Vertex-Vertex Problem for the line graph of a graph.


title: Lucas-type congruences for cyclotomic $\psi$-coefficients

abstract: Let p be any prime and a be a positive integer. For nonnegative integers l,n and an integer r, the normalized cyclotomic $\psi$-coefficient $${n,r}_{l,p^a}:=p^{-[(n-p^{a-1}-lp^a)/(p^{a-1}(p-1))]} \sum_{k=r(mod p^a)}(-1)^k{n \choose k}{{(k-r)/p^a} \choose l}$$ is known to be an integer. In this paper, we show that this coefficient behaves like binomial coefficients and satisfies some Lucas-type congruences. This implies that a congruence of Wan is often optimal, and two conjectures of Sun and Davis are true.


title: Exceptional collections for Grassmannians of isotropic lines

abstract: We construct a full exceptional collection of vector bundles in the derived category of coherent sheaves on the Grassmannian of isotropic two-dimensional subspaces in a symplectic vector space of dimension $2n$ and in the derived category of coherent sheaves on the Grassmannian of isotropic two-dimensional subspaces in an orthogonal vector space of dimension $2n + 1$ for all $n$.


title: Palindromic continued fractions

abstract: In the present work, we investigate real numbers whose sequence of partial quotients enjoys some combinatorial properties involving the notion of palindrome. We provide three new transendence criteria, that apply to a broad class of continued fraction expansions, including expansions with unbounded partial quotients. Their proofs heavily depend on the Schmidt Subspace Theorem.


title: A Note on a result of Iwasawa

abstract: We recover a result of Iwasawa on the p-adic logarithm of principal units with the use of the value at 1 of p-adic L-functions. We deduce an Iwasawa-like result in the odd part of principal units.


title: On sums of integrals of powers of the zeta-function in short intervals

abstract: The modified Mellin transform ${\cal Z}_k(s) = \int_1^\infty |\zeta({1\over2}+ix|^{2k}x^{-s}{\rm d} x$ ($k\ge1$ is a fixed integer, $s = \sigma + it$) is used to obtain estimates for $$ \sum_{r=1}^R\int_{t_r-G}^{t_r+G}|\zeta(1/2+it)|^{2k}{\rm d} t\quad(T < t_1 < >... < t_R < 2T), $$ where $t_{r+1} - t_r \ge G (r =1,..., R-1), T^\epsilon \le G \le T^{1-\epsilon$. These results can be used to derive bounds for the moments of $}|\zeta(1/2+it)|$.


title: Smooth critical sub-solutions of the Hamilton-Jacobi equation

abstract: We establish the existence of smooth critical sub-solutions of the Hamilton-Jacobi equation on compact manifolds for smooth convex Hamiltonians, that is in the context of weak KAM theory, under the assumption that the Aubry set is the union of finitely many hyperbolic periodic orbits.


title: Existence of $C^{1,1}$ critical sub-solutions of the Hamilton-Jacobi equation on compact manifolds

abstract: We prove the existence of a critical subsolution of the Hamilton-Jacobi equation which is differentiable with Lipschitz differential, improving a previous result of Fathi and Siconolfi. This text is a consolidated version with a minor mistake corrected from the published version.


title: Colorful subgraphs in Kneser-like graphs

abstract: Combining Ky Fan's theorem with ideas of Greene and Matousek we prove a generalization of Dol'nikov's theorem. Using another variant of the Borsuk-Ulam theorem due to Bacon and Tucker, we also prove the presence of all possible completely multicolored t-vertex complete bipartite graphs in t-colored t-chromatic Kneser graphs and in several of their relatives. In particular, this implies a generalization of a recent result of G. Spencer and F. E. Su.


title: Standard monomials for wonderful group compactifications

abstract: Let X be the wonderful compactification of a semisimple adjoint algebraic group. Extending the standard monomials on the flag variety, Chirivi and Maffei constructed a basis of the space of global sections on X that is compatible with all closures of GxG-orbits in X. We show that this basis is also compatible with all BxB-orbit closures by defining subsets using only combinatorics of the underlying paths. Furthermore, we construct standard monomials on X that have properties similar to classical standard monomials.


title: A generalization of the Taylor complex construction

abstract: Given multigraded free resolutions of two monomial ideals we construct a multigraded free resolution of the sum of the two ideals.


title: Constructible exponential functions, motivic Fourier transform and transfer principle

abstract: We introduce spaces of exponential constructible functions in the motivic setting for which we construct direct image functors in the absolute and relative cases. This allows us to define a motivic Fourier transformation for which we get various inversion statements. We define also motivic Schwartz-Bruhat spaces on which motivic Fourier transformation induces an isomorphism. Our motivic integrals specialize to non archimedian integrals. We give a general transfer principle comparing identities between functions defined by integrals over local fields of characteristic zero, resp. positive, having the same residue field. We also prove new results about p-adic integrals of exponential functions.


title: On an extension of Galligo's theorem concerning the Borel-fixed points on the Hilbert scheme

abstract: Given an ideal $I$ and a weight vector $w$ which partially orders monomials we can consider the initial ideal $\init_w (I)$ which has the same Hilbert function. A well known construction carries this out via a one-parameter subgroup of a $\GL_{n+1}$ which can then be viewed as a curve on the corresponding Hilbert scheme. Galligo \cite{galligo} proved that if $I$ is in generic coordinates, and if $w$ induces a monomial order up to a large enough degree, then $\init_w(I)$ is fixed by the action of the Borel subgroup of upper-triangular matrices. We prove that the direction the path approaches this Borel-fixed point on the Hilbert scheme is also Borel-fixed.


title: Wreath product decompositions for triangular matrix semigroups

abstract: We consider wreath product decompositions for semigroups of triangular matrices. We exhibit an explicit wreath product decomposition for the semigroup of all n-by-n upper triangular matrices over a given field k, in terms of aperiodic semigroups and affine groups over k. In the case that k is finite this decomposition is optimal, in the sense that the number of group terms is equal to the group complexity of the semigroup. We also obtain some decompositions for semigroups of triangular matrices over more general rings and semirings.


title: Pseudodifferential Operators on Stratified Manifolds

abstract: We consider a specific class of manifolds with singularities, namely, stratified manifolds, and describe a class of pseudodifferential operators (PsiDO) related to differential operators with degeneration of first-order with respect to the distance to the strata on such manifolds. (For manifolds with isolated singularities, this is a Fuchs type degeneration.) We restrict ourselves to the case of zero-order operators in L^2 spaces. The definition of PsiDO adopted in our approach uses induction over the number of strata in the manifold. The induction process naturally involves PsiDO with parameters.


title: Resummation of perturbation series and reducibility for Bryuno skew-product flows

abstract: We consider skew-product systems on T^d x SL(2,R) for Bryuno base flows close to constant coefficients, depending on a parameter, in any dimension d, and we prove reducibility for a large measure set of values of the parameter. The proof is based on a resummation procedure of the formal power series for the conjugation, and uses techniques of renormalisation group in quantum field theory.


title: Multiple zeta values over global function fields

abstract: In this paper we develop the analytic theory of a multiple zeta function in d independent complex variables defined over a global function field. This is the function field analog of the Euler-Zagier multiple zeta function of depth d.


title: Un critere de laminarite locale en dimension quelconque

abstract: We show that a sequence of smooth analytic subsets of dimension s of the unit ball of C^l, for which the curvature is bounded by the volume, converges to a lamination of dimension s in a weak sense.


title: On the solution of a class of Cauchy integral equations

abstract: In a previous paper we have presented a new method for solving a class of Cauchy integral equations. In this work we discuss in detail how to manage this method numerically, when only a finite and noisy data set is available: particular attention is focused on the question of the numerical stability.


title: Realization of a simple higher dimensional noncommutative torus as a transformation group C*-algebra

abstract: Let $\theta$ be a nondegenerate skew symmetric real $d$ by $d$ matrix, and let $A_{\theta}$ be the corresponding simple higher dimensional noncommutative torus. Suppose that $d$ is odd, or that $d$ is greater or equal to 4 and the entries of $\theta$ are not contained in a quadratic extension of $\mathbb{Q}$. Then $A_{\theta}$ is isomorphic to the transformation group C*-algebra obtained from a minimal homeomorphism of a compact connected one dimensional space locally homeomorphic to the product of the interval and the Cantor set. The proof uses classification theory of C*-algebras.


title: Hopf Modules and Noncommutative Differential Geometry

abstract: We define a new algebra of noncommutative differential forms for any Hopf algebra with an invertible antipode. We prove that there is a one to one correspondence between anti-Yetter-Drinfeld modules, which serve as coefficients for the Hopf cyclic (co)homology, and modules which admit a flat connection with respect to our differential calculus. Thus we show that these coefficient modules can be regarded as ``flat bundles'' in the sense of Connes' noncommutative differential geometry.


title: Formal Homotopy Quantum Field Theories, I: Formal Maps and Crossed C-algebras

abstract: Homotopy Quantum Field Theories (HQFTs) were introduced by the second author to extend the ideas and methods of Topological Quantum Field Theories to closed $d$-manifolds endowed with extra structure in the form of homotopy classes of maps into a given `target' space, $B$. For $d = 1$, classifications of HQFTs in terms of algebraic structures are known when $B$ is a $K(G,1)$ and also when it is simply connected. Here we study general HQFTs with $d = 1$ and target a general 2-type, giving a common generalisation of the classifying algebraic structures for the two cases previously known. The algebraic models for 2-types that we use are crossed modules, $\mathcal{C}$, and we introduce a notion of formal $\mathcal{C}$-map, which extends the usual lattice-type constructions to this setting. This leads to a classification of `formal' 2-dimensional HQFTs with target $\mathcal{C}$, in terms of crossed $\mathcal{C}$-algebras.


title: Uniform Szego Cocycles Over Strictly Ergodic Subshifts

abstract: We consider ergodic families of Verblunsky coefficients generated by minimal aperiodic subshifts. Simon conjectured that the associated probability measures on the unit circle have essential support of zero Lebesgue measure. We prove this for a large class of subshifts, namely those satisfying Boshernitzan's condition. This is accomplished by relating the essential support to uniform convergence properties of the corresponding Szego cocycles.


title: Formal Homotopy Quantum Field Theories, II : Simplicial Formal Maps

abstract: Simplicial formal maps were introduced in the first paper, (math.QA/0512032), of this series as a tool for studying Homotopy Quantum Field Theories with background a general homotopy 2-type. Here we continue their study, showing how a natural generalisation can handle much more general backgrounds. The question of the geometric interpretation of these formal maps is partially answered in terms of combinatorial bundles. This suggests new interpretations of HQFTs.


title: Increasing and Decreasing Subsequences of Permutations and Their Variants

abstract: We survey the theory of increasing and decreasing subsequences of permutations. Enumeration problems in this area are closely related to the RSK algorithm. The asymptotic behavior of the expected value of the length is(w) of the longest increasing subsequence of a permutation w of 1,2,...,n was obtained by Vershik-Kerov and (almost) by Logan-Shepp. The entire limiting distribution of is(w) was then determined by Baik, Deift, and Johansson. These techniques can be applied to other classes of permutations, such as involutions, and are related to the distribution of eigenvalues of elements of the classical groups. A number of generalizations and variations of increasing/decreasing subsequences are discussed, including the theory of pattern avoidance, unimodal and alternating subsequences, and crossings and nestings of matchings and set partitions.


title: Timelike Minimal Submanifolds of General Co-dimension in Minkowski SpaceTime

abstract: We consider the timelike minimal surface problem in Minkowski spacetimes and show local and global existence of such surfaces having arbitrary dimension $\geq 2$ and arbitrary co-dimension, provided they are initially close to a flat plane.


title: A Lagrangian Piunikhin-Salamon-Schwarz morphism and two comparison homomorphisms in Floer homology

abstract: In this article we address two issues. First, we explore to what extent the techniques of Piunikhin, Salamon and Schwarz in [PSS96] can be carried over to Lagrangian Floer homology. In [PSS96] an isomorphism between Hamiltonian Floer homology and the singular homology is established. In contrast, Lagrangian Floer homology is not isomorphic to the singular homology of the Lagrangian submanifold, in general. Depending on the minimal Maslov number, we construct for certain degrees two homomorphisms between Lagrangian Floer homology and singular homology. In degrees where both maps are defined we prove them to be isomorphisms. Examples show that this statement is sharp. Second, we construct two comparison homomorphisms between Lagrangian and Hamiltonian Floer homology. They underly no degree restrictions and are proven to be the natural analogs to the homomorphisms in singular homology induced by the inclusion map of the Lagrangian submanifold into the ambient symplectic manifold.


title: Toroidal Dehn fillings on hyperbolic 3-manifolds

abstract: We determine all hyperbolic 3-manifolds $M$ admitting two toroidal Dehn fillings at distance 4 or 5. We show that if $M$ is a hyperbolic 3-manifold with a torus boundary component $T_0$, and $r,s$ are two slopes on $T_0$ with $\Delta(r,s) = 4$ or 5 such that $M(r)$ and $M(s)$ both contain an essential torus, then $M$ is either one of 14 specific manifolds $M_i$, or obtained from $M_1, M_2, M_3$ or $M_{14}$ by attaching a solid torus to $\partial M_i - T_0$. All the manifolds $M_i$ are hyperbolic, and we show that only the first three can be embedded into $S^3$. As a consequence, this leads to a complete classification of all hyperbolic knots in $S^3$ admitting two toroidal surgeries with distance at least 4.


title: Projectivity of Kaehler manifolds - Kodaira's problem (after C. Voisin)

abstract: In this expository paper (Bourbaki talk) we survey results of Claire Voisin showing that there exist compact Kaehler manifolds which are not homeomorphic to any projective manifold.


title: A pairing between super Lie-Rinehart and periodic cyclic homology

abstract: We consider a pairing producing various cyclic Hochschild cocycles, which led Alain Connes to cyclic cohomology. We are interested in geometrical meaning and homological properties of this pairing. We define a non-trivial pairing between the homology of a Lie-Rinehart (super-)algebra with coefficients in some partial traces and relative periodic cyclic homology. This pairing generalizes the index formula for summable Fredholm modules, the Connes-Kubo formula for the Hall conductivity and the formula computing the K0-group of a smooth noncommutative torus. It also produces new homological invariants of proper maps contracting each orbit contained in a closed invariant subset in a manifold acted on smoothly by a connected Lie group. Finally we compare it with the characteristic map for the Hopf-cyclic cohomology.


title: Quadratic Nonlinear Derivative Schr\"odiger Equations - Part 1

abstract: In this paper we consider the local well-posedness theory for the quadratic nonlinear Schr\"odinger equation with low regularity initial data in the case when the nonlinearity contains derivatives. We work in 2+1 dimensions and prove a local well-posedness result up to the scaling for small initial data with some spherical symmetry structure.


title: Extensions of positive definite functions on free groups

abstract: An analogue of Krein's extension theorem is proved for operator-valued positive definite functions on free groups. The proof gives also the parametrization of all extensions by means of a generalized type of Szego parameters. One singles out a distinguished completion, called central, which is related to quasi-multiplicative positive definite functions. An application is given to factorization of noncommutative polynomials.


title: An approach to non simply laced cluster algebras

abstract: Let $\Delta$ be an oriented valued graph equipped with a group of admissible automorphisms satisfying a certain stability condition. We prove that the (coefficient-free) cluster algebra $\mathcal A(\Delta/G)$ associated to the valued quotient graph $\Delta/G$ is a subalgebra of the quotient $\pi(\mathcal A(\Delta))$ of the cluster algebra associated to $\Delta$ by the action of $G$. When $\Delta$ is a Dynkin diagram, we prove that $\mathcal A(\Delta/G)$ and $\pi(\mathcal A(\Delta))$ coincide. As an example of application, we prove that affine valued graphs are mutation-finite, giving an alternative proof to a result of Seven.


title: Compact weighted composition operators and fixed points in convex domains

abstract: We extend a classical result of Caughran/Schwartz and another recent result of Gunatillake by showing that if D is a bounded, convex domain in n-dimensional complex space, m is a holomorphic function on D and bounded away from zero toward the boundary of D, and p is a holomorphic self-map of D such that the weighted composition operator W assigning the product of m and the composition of f and p to a given function f is compact on a holomorphic functional Hilbert space (containing the polynomial functions densely) on D with reproducing kernel K blowing up along the diagonal of D toward its boundary, then p has a unique fixed point in D. We apply this result by making a reasonable conjecture about the spectrum of W based on previous one-variable and multivariable results concerning compact weighted and unweighted composition operators.


title: Representation of non periodic functions by trigonometric series with almost integer frequencies

abstract: Inspired by Menshov's representation theorem, we prove that there exists a sequence of frequecies such that any measurable (complex valued) function on R can be represented as a sum of almost everywhere convergent trigonometric series with these frequencies.


title: Hermitian representations of the extended affine Lie algebra $\widetilde{\frak{gl}_{2}(\bc_q)}$

abstract: We use the idea of free fields to obtain highest weight representations for the extended affine Lie algebra $\widetilde{\frak{gl}_{2}(\bc_q)}$ coordinatized by the quantum torus $\bc_q$ and go on to construct a contravariant hermitian form. We further give a necessary and sufficient condition such that the contravariant hermitian form is positive definite.


title: Constructibility and duality for simple holonomic modules on complex symplectic manifolds

abstract: Consider a complex symplectic manifold $X$ and the algebroid $W_X$ of quantization-deformation. For two regular holonomic modules $L_i$ ($i=0,1$) supported by smooth Lagrangian manifolds, we prove that the complex $Rhom_{W_X}(L_1,L_0)$ is constructible and perverse and dual to the complex $Rhom_{W_X}(L_0,L_1)$.


title: Bohr--Favard Inequality for differences and constants in Jackson--Stechkin Theorem

abstract: We consider uniform approximations by trigonometric polynomials. The aim of the paper is to obtain good estimates of the Jackson--Stechkin constants $J_m$. We prove that $ J_m \le C 2^{-m+5/2\log_2m}$. Our proof is based on the difference analogue of the Bohr--Favard inequality.


title: The Galois theory of matrix $C$-rings

abstract: A theory of monoids in the category of bicomodules of a coalgebra $C$ or $C$-rings is developed. This can be viewed as a dual version of the coring theory. The notion of a matrix ring context consisting of two bicomodules and two maps is introduced and the corresponding example of a $C$-ring (termed a {\em matrix $C$-ring}) is constructed. It is shown that a matrix ring context can be associated to any bicomodule which is a one-sided quasi-finite injector. Based on this, the notion of a {\em Galois module} is introduced and the structure theorem, generalising Schneider's Theorem II [H.-J. Schneider, Israel J. Math., 72 (1990), 167--195], is proven. This is then applied to the $C$-ring associated to a weak entwining structure and a structure theorem for a weak $A$-Galois coextension is derived. The theory of matrix ring contexts for a firm coalgebra (or {\em infinite matrix ring contexts}) is outlined. A Galois connection associated to a matrix $C$-ring is constructed.


title: On Reciprocity

abstract: We prove a reciprocity formula between Gauss sums that is used in the computation of certain quantum invariants of 3-manifolds. Our proof uses the discriminant construction applied to the tensor product of lattices.


title: On Z4-linear Reed-Muller like codes

abstract: For each r, 0 <= r <= m, it is presented the class of quaternary linear codes LRM(r,m) whose images under the Gray map are binary codes with parameters of Reed-Muller RM(r,m) code of order r.


title: An introduction to q-species

abstract: The combinatorial theory of species developed by Joyal provides a foundation for enumerative combinatorics of objects constructed from finite sets. In this paper we develop an analogous theory for the enumerative combinatorics of objects constructed from vector spaces over finite fields. Examples of these objects include subspaces, flags of subspaces, direct sum decompositions, and linear maps or matrices of various types. The unifying concept is that of a q-species, defined to be a functor from the category of finite dimensional vector spaces over a finite field with to the category of finite sets.


title: Periodic solutions of wave equations for asymptotically full measure sets of frequencies

abstract: We prove existence and multiplicity of small amplitude periodic solutions of the completely resonant wave equation u_tt - u_xx + f(x,u)=0 with Dirichlet boundary conditions where f(x,u)=a_2 u^2 + a_3(x) u^3 + O(u^4) or f(x,u)= a_4 u^4 + O(u^5) for a Cantor-like set of frequencies omega of asymptotically full measure at omega=1.


title: Effective cardinals in the nonstandard universe

abstract: We study the structure of effective cardinals in the nonstandard set universe of Hrbacek set theory HST. Some results resemble those known in descriptive set theory in the domain of Borel reducibility of equivalence relations.


title: A Method for Generating a Well-Distributed Pareto Set in Nonlinear Multiobjective Optimization

abstract: In multidisciplinary optimization the designer needs to find solution to optimization problems which include a number of usually contradicting criteria. Such a problem is mathematically related to the field of nonlinear vector optimization where there are many numerical methods capable of providing a solution. However, only a few of those are suitable for real multidisciplinary design in industry because an iteration design circle usually is very time-consuming. This is due to the time scales and computational resources associated with each iterative design cycle. The recently suggested Physical Programming Method appears to match many requirements raised in industrial applications. The method is modified to make its realization easier and more efficient, the main focus being the even generation of the complete Pareto set. The method is used to find the Pareto surface for different test cases.


title: Exponential mixing for the 3D stochastic Navier--Stokes equations

abstract: We study the Navier-Stokes equations in dimension 3 (NS3D) driven by a noise which is white in time. We establish that if the noise is at same time sufficiently smooth and non degenerate in space, then the weak solutions converge exponentially fast to equilibrium. We use a coupling method. The arguments used in dimension two do not apply since, as is well known, uniqueness is an open problem for NS3D. New ideas are introduced. Note however that many simplifications appears since we work with non degenerate noises.


title: Spatial smoothness of the stationary solutions of the 3D Navier--Stokes equations

abstract: We consider stationary solutions of the three dimensional Navier--Stokes equations (NS3D) with periodic boundary conditions and driven by an external force which might have a deterministic and a random part. The random part of the force is white in time and very smooth in space. We investigate smoothness properties in space of the stationary solutions. Classical technics for studying smoothness of stochastic PDEs do not seem to apply since global existence of strong solutions is not known. We use the Kolmogorov operator and Galerkin approximations. We first assume that the noise has spatial regularity of order $p$ in the $L^2$ based Sobolev spaces, in other words that its paths are in $H^p$. Then we prove that at each fixed time the law of the stationary solutions is supported by $H^{p+1}$. Then, using a totally different technic, we prove that if the noise has Gevrey regularity then at each fixed time, the law of a stationary solution is supported by a Gevrey space. Some informations on the Kolmogorov dissipation scale are deduced.


title: Generalized Intersection Bodies

abstract: We study the structures of two types of generalizations of intersection-bodies and the problem of whether they are in fact equivalent. Intersection-bodies were introduced by Lutwak and played a key role in the solution of the Busemann-Petty problem. A natural geometric generalization of this problem considered by Zhang, led him to introduce one type of generalized intersection-bodies. A second type was introduced by Koldobsky, who studied a different analytic generalization of this problem. Koldobsky also studied the connection between these two types of bodies, and noted that an equivalence between these two notions would completely settle the unresolved cases in the generalized Busemann-Petty problem. We show that these classes share many identical structure properties, proving the same results using Integral Geometry techniques for Zhang's class and Fourier transform techniques for Koldobsky's class. Using a Functional Analytic approach, we give several surprising equivalent formulations for the equivalence problem, which reveal a deep connection to several fundamental problems in the Integral Geometry of the Grassmann Manifold.


title: A van der Corput lemma and weak mixing over groups

abstract: We study weak mixing of all orders for weakly mixing measure preserving dynamical systems, where the dynamics is given by the action of an abelian second countable topological group which has an invariant measure under the group operation. One of the main technical tools we use is a van der Corput lemma for Hilbert space valued functions on a second countable topological group.


title: A Gessel-Viennot-type method for cycle systems in a directed graph

abstract: We introduce a new determinantal method to count cycle systems in a directed graph that generalizes Gessel and Viennot's determinantal method on path systems. The method gives new insight into the enumeration of domino tilings of Aztec diamonds, Aztec pillows, and related regions.


title: Limit velocity and zero--one laws for diffusions in random environment

abstract: We prove that multidimensional diffusions in random environment have a limiting velocity which takes at most two different values. Further, in the two-dimensional case we show that for any direction, the probability to escape to infinity in this direction equals either zero or one. Combined with our results on the limiting velocity, this implies a strong law of large numbers in two dimensions.


title: Products of residue currents of Cauchy-Fantappi\`e-Leray type

abstract: With a given holomorphic section of a Hermitian vector bundle, one can associate a residue current by means of Cauchy-Fantappi\`e-Leray type formulas. In this paper we define products of such residue currents. We prove that, in the case of a complete intersection, the product of the residue currents of a tuple of sections coincides with the residue current of the direct sum of the sections.


title: A microscopic interpretation for adaptive dynamics trait substitution sequence models

abstract: We consider an interacting particle Markov process for Darwinian evolution in an asexual population with non-constant population size, involving a linear birth rate, a density-dependent logistic death rate, and a probability $\mu$ of mutation at each birth event. We introduce a renormalization parameter $K$ scaling the size of the population, which leads, when $K\to+\infty$, to a deterministic dynamics for the density of individuals holding a given trait. By combining in a non-standard way the limits of large population ($K\to+\infty$) and of small mutations ($\mu\to 0$), we prove that a time scales separation between the birth and death events and the mutation events occurs and that the interacting particle microscopic process converges for finite dimensional distributions to the biological model of evolution known as the ``monomorphic trait substitution sequence'' model of adaptive dynamics, which describes the Darwinian evolution in an asexual population as a Markov jump process in the trait space.


title: The correlation functions of vertex operators and Macdonald polynomials

abstract: The n-point correlation functions introduced by Bloch and Okounkov have already found several geometric connections and algebraic generalizations. In this Note we formulate a q,t-deformation of this n-point function. The key operator used in our formulation arises from the theory of Macdonald polynomials and affords a vertex operator interpretation. We obtain closed formulas for the n-point functions when n =1,2 in terms of the basic hypergeometric functions. We further generalize the q,t-deformed n-point function to more general vertex operators.


title: Volumes and degeneration -- on a conjecture of J. W. Milnor

abstract: In his paper "On the Schlafli differential equality", J. Milnor conjectured that the volume of n-dimensional hyperbolic and spherical simplices, as a function of the dihedral angles, extends continuously to the closure of the space of allowable angles (``The continuity conjecture''), and furthermore, the limit at a boundary point is equal to 0 if and only if the point lies in the closure of the space of angles of Euclidean tetrahedra (``the Vanishing Conjecture''). A proof of the Continuity Conjecture was given by F. Luo -- Luo's argument uses Kneser's formula for the volume together with some delicate geometric estimates). In this paper we give a simple proof of both parts of Milnor's conjecture, prove much sharper regularity results, and then extend the method to apply to all convex polytopes. We also give a precise description of the boundary of the space of angles of convex polyhedra in and sharp estimates on the diameter of a polyhedron in terms of the length of the shortest closed geodesic of the polar metric.


title: A simpler proof of Mirzakhani's simple curve asymptotics

abstract: Maryam Mirzakhani (in her doctoral dissertation) has proved the author's conjecture that the number of simple curves of length bounded by L on a hyperbolic surface S is assymptotic to a constant times L to the power d, where d is the dimension of the Teichmuller space of S. In this note we clarify and simplify Mirzakhani's argument.


title: Asymptotic Freeness of Random Permutation Matrices with Restricted Cycle Lengths

abstract: Let A_1,A_2,...,A_s be a finite sequence of (not necessarily disjoint, or even distinct) non-empty sets of positive integers satisfying a certain condition. It is shown that an independent family U_1,U_2,...,U_s of random NxN permutation matrices with cycle lengths restricted to A_1,A_2,...,A_s, respectively, converges in *-distribution as N goes to infinity to to a *-free family u_1,u_2,...,u_s of non-commutative random variables with each u_r a Haar unitary (if A_r is an infinite set) or a d_r-Haar unitary (if A_r is a finite set and d_r=sup A_r).Under an additional assumption on the sets A_1,A_2,...,A_s, it is shown that the convergence in *-distribution actually holds almost surely.


title: Minimizing Squared Vertical and Squared Horizontal Errors

abstract: The slope of the best fit line from minimizing the sum of both the squared vertical errors and the squared horizontal errors is shown to be the root of a fourth degree polynomial.


title: Minimizing Squared Perpendicular Errors

abstract: The best fit line from minimizing the sum of the squared perpendicular error is given.


title: Cross Ratios, Anosov Representations and the Energy Functional on Teichmuller Space

abstract: We study Hitchin representations and maximal symplectic representations of surface groups, which can be both thought of as generalisations of Fuchsian representations. We show that the corresponding energy functionals are proper on Teichmuller space. We also prove that the mapping class group acts properly on the corresponding moduli spaces. These two results follows from the fact these representations are well displacing which is a consequence they are associated to cross ratios. We state some applications.


title: Combinatorial congruences and Stirling numbers

abstract: In this paper we obtain some sophisticated combinatorial congruences involving binomial coefficients and confirm two conjectures of the author and Davis. They are closely related to our investigation of the periodicity of the sequence $\sum_{j=0}^l{l\choose j}S(j,m)a^{l-j}(l=m,m+1,...)$ modulo a prime $p$, where $a$ and $m>0$ are integers, and those $S(j,m)$ are Stirling numbers of the second kind. We also give a new extension of Glaisher's congruence by showing that $(p-1)p^{[\log_p m]}$ is a period of the sequence $\sum_{j=r(mod p-1)}{l\choose j}S(j,m)(l=m,m+1,...)$ modulo $p$.


title: Global Regularity for the Tangential Cauchy-Riemann Operator on Weakly Pseudoconvex CR Manifolds

abstract: Let M of real dimension 2n-1 be a compact, orientable, weakly pseudoconvex manifold of dimension at least five, embedded in C^N (n less than or equal to N), of codimension one or more in C^N, and endowed with the induced CR structure. We show the tangential Cauchy-Riemann operator has closed range on such a manifold M, hence we get global existence and regularity results for the \bar\partial_b problem. We also show the middle (i.e. corresponding to (p,q) forms for q between 1 and n-2) \bar\partial_b cohomology groups of M with respect to L^2, Sobolev s, and smooth coefficients are finite and isomorphic to each other. The results are obtained by microlocalization using a new type of weight function called strongly CR plurisubharmonic.


title: The \bar\partial_b Equation on Weakly Pseudoconvex CR Manifolds of Dimension 3

abstract: Let M be a smooth, compact, orientable, weakly pseudoconvex manifold of dimension 3, embedded in C^N (N greater than or equal to 2), of codimension one or more in C^N, and endowed with the induced CR structure. Assuming that the tangential Cauchy-Riemann operator \bar\partial_b has closed range in L^2 in order to rule out the Rossi example, we push regularity up to show \bar\partial_b has closed range in all Sobolev spaces s for s greater than zero. We then use the Szeg\"{o} projection to show there is a smooth solution to the \bar\partial_b problem given smooth data. The results are obtained via microlocalization by piecing together estimates for functions and (0,1) forms that hold on different microlocal regions.


title: Some cases of Vojta's Conjecture on integral points over function fields

abstract: Minor technical changes. Section 4 improved.


title: Some results on local cohomology modules

abstract: Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, and let $M$ be a finitely generated $R$-module. For a non-negative integer $t$, we prove that $H_{\fa}^t(M)$ is $\fa$-cofinite whenever $H_{\fa}^t(M)$ is Artinian and $H_{\fa}^i(M)$ is $\fa$-cofinite for all $i<t$. This result, in particular, characterizes the $\fa$-cofiniteness property of local cohomology modules of certain regular local rings. Also, we show that for a local ring $(R,\fm)$, $f-\depth(\fa,M)$ is the least integer $i$ such that $H_{\fa}^i(M)\ncong H_{\fm}^i(M)$. This result in conjunction with the first one, yields some interesting consequences. Finally, we extend the non- vanishing Grothendieck's Theorem to $\fa$-cofinite modules.


title: Topological and conformal field theory as Frobenius algebras

abstract: Two-dimensional conformal field theory (CFT) can be defined through its correlation functions. These must satisfy certain consistency conditions which arise from the cutting of world sheets along circles or intervals. The construction of a (rational) CFT can be divided into two steps, of which one is complex-analytic and one purely algebraic. We realise the algebraic part of the construction with the help of three-dimensional topological field theory and show that any symmetric special Frobenius algebra in the appropriate braided monoidal category gives rise to a solution. A special class of examples is provided by two-dimensional topological field theories, for which the relevant monoidal category is the category of vector spaces.


title: The neighborhood complex of a random graph

abstract: For a graph G, the neighborhood complex N[G] is the simplicial complex having all subsets of vertices with a common neighbor as its faces. It is a well known result of Lovasz that if N[G] is k-connected, then the chromatic number of G is at least k + 3. We prove that the connectivity of the neighborhood complex of a random graph is tightly concentrated, almost always between 1/2 and 2/3 of the expected clique number. We also show that the number of dimensions of nontrivial homology is almost always small, O(log d), compared to the expected dimension d of the complex itself.


title: Kac's Theorem for weighted projective lines

abstract: We prove an analogue of Kac's Theorem, describing the dimension vectors of indecomposable coherent sheaves, or parabolic bundles, over weighted projective lines. We use a theorem of Peng and Xiao to associate a Lie algebra to the category of coherent sheaves for a weighted projective line over a finite field, and find elements of this Lie algebra which satisfy the relations defining the loop algebra of a Kac-Moody Lie algebra.


title: General sheaves over weighted projective lines

abstract: We develop a theory of general sheaves over weighted projective lines. We define and study a canonical decomposition, analogous to Kac's canonical decomposition for representations of quivers, study subsheaves of a general sheaf, general ranks of morphisms, and prove analogues of Schofield's results on general representations of quivers. Using these, we give a recursive algorithm for computing properties of general sheaves. Many of our results are proved in a more abstract setting, involving a hereditary abelian category.