title: Computing the Top Betti Numbers of Semi-algebraic Sets Defined by Quadratic Inequalities in Polynomial Time

abstract: For any $\ell > 0$, we present an algorithm which takes as input a semi-algebraic set, $S$, defined by $P_1 \leq 0,...,P_s \leq 0$, where each $P_i \in \R[X_1,...,X_k]$ has degree $\leq 2,$ and computes the top $\ell$ Betti numbers of $S$, $b_{k-1}(S), ..., b_{k-\ell}(S),$ in polynomial time. The complexity of the algorithm, stated more precisely, is $ \sum_{i=0}^{\ell+2} {s \choose i} k^{2^{O(\min(\ell,s))}}. $ For fixed $\ell$, the complexity of the algorithm can be expressed as $s^{\ell+2} k^{2^{O(\ell)}},$ which is polynomial in the input parameters $s$ and $k$. To our knowledge this is the first polynomial time algorithm for computing non-trivial topological invariants of semi-algebraic sets in $\R^k$ defined by polynomial inequalities, where the number of inequalities is not fixed and the polynomials are allowed to have degree greater than one. For fixed $s$, we obtain by letting $\ell = k$, an algorithm for computing all the Betti numbers of $S$ whose complexity is $k^{2^{O(s)}}$.


title: Computing the First Few Betti Numbers of Semi-algebraic Sets in Single Exponential Time

abstract: In this paper we describe an algorithm that takes as input a description of a semi-algebraic set $S \subset \R^k$, defined by a Boolean formula with atoms of the form $P > 0, P < 0, P=0$ for $P \in {\mathcal P} \subset \R[X_1,...,X_k],$ and outputs the first $\ell+1$ Betti numbers of $S$, $b_0(S),...,b_\ell(S).$ The complexity of the algorithm is $(sd)^{k^{O(\ell)}},$ where where $s = #({\mathcal P})$ and $d = \max_{P\in {\mathcal P}}{\rm deg}(P),$ which is singly exponential in $k$ for $\ell$ any fixed constant. Previously, singly exponential time algorithms were known only for computing the Euler-Poincar\'e characteristic, the zero-th and the first Betti numbers.


title: Newton stratification for polynomials: the open stratum

abstract: In this paper we consider the Newton polygons of $L$-functions coming from additive exponential sums associated to a polynomial over a finite field $\F_q$. These polygons define a stratification of the space of polynomials of fixed degree. We determine the open stratum: we give the generic Newton polygon for polynomials of degree $d\geq 2$ when the characteristic $p$ is greater than 3d, and the Hasse polynomial, i.e. the equation defining the hypersurface complementary to the open stratum.


title: An Extremal Problem On Potentially $K_{r+1}-H$-graphic Sequences

abstract: Let $K_k$, $C_k$, $T_k$, and $P_{k}$ denote a complete graph on $k$ vertices, a cycle on $k$ vertices, a tree on $k+1$ vertices, and a path on $k+1$ vertices, respectively. Let $K_{m}-H$ be the graph obtained from $K_{m}$ by removing the edges set $E(H)$ of the graph $H$ ($H$ is a subgraph of $K_{m}$). A sequence $S$ is potentially $K_{m}-H$-graphical if it has a realization containing a $K_{m}-H$ as a subgraph. Let $\sigma(K_{m}-H, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $\sigma(S)\geq \sigma(K_{m}-H, n)$ is potentially $K_{m}-H$-graphical. In this paper, we determine the values of $\sigma (K_{r+1}-H, n)$ for $n\geq 4r+10, r\geq 3, r+1 \geq k \geq 4$ where $H$ is a graph on $k$ vertices which contains a tree on 4 vertices but not contains a cycle on 3 vertices. We also determine the values of $\sigma (K_{r+1}-P_2, n)$ for $n\geq 4r+8, r\geq 3$. There are a number of graphs on $k$ vertices which containing a tree on 4 vertices but not containing a cycle on 3 vertices (for example, the cycle on $k$ vertices, the tree on $k$ vertices, and the complete 2-partite graph on $k$ vertices, etc).


title: Transitive projective planes

abstract: A long-standing conjecture is that any transitive finite projective plane is Desarguesian. We make a contribution towards a proof of this conjecture by showing that a group acting transitively on the the points of a non-Desarguesianprojective plane must not contain any components.


title: Biproducts and Two-Cocycle Twists of Hopf Algebras

abstract: Let $H$ be a Hopf algebra with bijective antipode over a field $k$ and suppose that $R{#}H$ is a bi-product. Then $R$ is a bialgebra in the Yetter--Drinfel'd category ${}_H^H{\mathcal YD}$. We describe the bialgebras $(R{#}H)^{op}$ and $(R{#}H)^o$ explicitly as bi-products $R^{\UOP}{#}H^{op}$ and $R^{\UO}{#}H^o$ respectively where $R^{\UOP}$ is a bialgebra in ${}^{H^{op}}_{H^{op}}{\mathcal YD}$ and $R^{\UO}$ is a bialgebra in ${}^{H^o}_{H^o}{\mathcal YD}$. We use our results to describe two-cocycle twist bialgebra structures on the tensor product of bi-products.


title: The Ring of Quasimodular Forms for a Cocompact Group

abstract: We describe the additive structure of the graded ring $\widetilde{M}_*$ of quasimodular forms over any discrete and cocompact group $\Gamma \subset \rm{PSL}(2, \RM).$ We show that this ring is never finitely generated. We calculate the exact number of new generators in each weight $k$. This number is constant for $k$ sufficiently large and equals $\dim_{\CM}(I / I \cap \widetilde{I}^2),$ where $I$ and $\widetilde{I}$ are the ideals of modular forms and quasimodular forms, respectively, of positive weight. We show that $\widetilde{M}_*$ is contained in some finitely generated ring $\widetilde{R}_*$ of meromorphic quasimodular forms with $\dim \widetilde{R}_k = O(k^2),$ i.e. the same order of growth as $\widetilde{M}_*.$


title: On the irreducible representations of a class of pointed Hopf algebras

abstract: We parameterize the finite-dimensional irreducible representations of a class of pointed Hopf algebras over an algebraically closed field of characteristic zero by dominant characters. The Hopf algebras we are considering arise in the work of N. Andruskiewitsch and the second author. Special cases are the multiparameter deformations of the enveloping algebras of semisimple Lie algebras where the deforming parameters are not roots of unity and some of their finite-dimensional versions in the root of unity case.


title: Representations Parameterized by a Pair of Characters

abstract: Let $U$ and $A$ be algebras over a field $k$. We study algebra structures $H$ on the underlying tensor product $U{\otimes}A$ of vector spaces which satisfy $(u{\otimes}a)(u'{\otimes}a') = uu'{\otimes}aa'$ if $a = 1$ or $u' = 1$. For a pair of characters $\rho \in \Alg(U, k)$ and $\chi \in \Alg(A, k)$ we define a left $H$-module $L(\rho, \chi)$. Under reasonable hypotheses the correspondence $(\rho, \chi) \mapsto L(\rho, \chi)$ determines a bijection between character pairs and the isomorphism classes of objects in a certain category ${}_H\underline{\mathcal M}$ of left $H$-modules. In many cases the finite-dimensional objects of ${}_H\underline{\mathcal M}$ are the finite-dimensional irreducible left $H$-modules. In math.QA/0603269 we apply the results of this paper and show that the finite-dimensional irreducible representations of a wide class of pointed Hopf algebras are parameterized by pairs of characters.


title: Spherical Slepian functions and the polar gap in geodesy

abstract: The estimation of potential fields such as the gravitational or magnetic potential at the surface of a spherical planet from noisy observations taken at an altitude over an incomplete portion of the globe is a classic example of an ill-posed inverse problem. Here we show that the geodetic estimation problem has deep-seated connections to Slepian's spatiospectral localization problem on the sphere, which amounts to finding bandlimited spherical functions whose energy is optimally concentrated in some closed portion of the unit sphere. This allows us to formulate an alternative solution to the traditional damped least-squares spherical harmonic approach in geodesy, whereby the source field is now expanded in a truncated Slepian function basis set. We discuss the relative performance of both methods with regard to standard statistical measures as bias, variance and mean-square error, and pay special attention to the algorithmic efficiency of computing the Slepian functions on the region complementary to the axisymmetric polar gap characteristic of satellite surveys. The ease, speed, and accuracy of this new method makes the use of spherical Slepian functions in earth and planetary geodesy practical.


title: Noncommutative complete intersections and matrix integrals

abstract: We introduce a class of noncommutatative algebras called representation complete intersections (RCI). A graded associative algebra A is said to be RCI provided there exist arbitrarily large positive integers n such that the scheme Rep_n(A), of n-dimensional representations of A, is a complete intersection. We discuss examples of RCI algebras, including those arising from quivers. There is another interesting class of associative algebras called noncommutative complete intersections (NCCI). We prove that any graded RCI algebra is NCCI. We also obtain explicit formulas for the Hilbert series of each nonvanishing cyclic and Hochschild homology group of an RCI algebra. The proof involves a noncommutative cyclic Koszul complex, K(A), and a matrix integral similar to the one arising in quiver gauge theory.


title: Governing Singularities of Schubert Varieties

abstract: We present a combinatorial and computational commutative algebra methodology for studying singularities of Schubert varieties of flag manifolds. We define the combinatorial notion of *interval pattern avoidance*. For "reasonable" invariants P of singularities, we geometrically prove that this governs (1) the P-locus of a Schubert variety, and (2) which Schubert varieties are globally not P. The prototypical case is P="singular"; classical pattern avoidance applies admirably for this choice [Lakshmibai-Sandhya'90], but is insufficient in general. Our approach is analyzed for some common invariants, including Kazhdan-Lusztig polynomials, multiplicity, factoriality, and Gorensteinness, extending [Woo-Yong'05]; the description of the singular locus (which was independently proved by [Billey-Warrington '03], [Cortez '03], [Kassel-Lascoux-Reutenauer'03], [Manivel'01]) is also thus reinterpreted. Our methods are amenable to computer experimentation, based on computing with *Kazhdan-Lusztig ideals* (a class of generalized determinantal ideals) using Macaulay 2. This feature is supplemented by a collection of open problems and conjectures.


title: Passage of L\'evy Processes across Power Law Boundaries at Small Times

abstract: We wish to characterise when a L\'{e}vy process $X_t$ crosses boundaries like $t^\kappa$, $\kappa>0$, in a one or two-sided sense, for small times $t$; thus, we enquire when $\limsup_{t\downarrow 0}|X_t|/t^{\kappa}$, $\limsup_{t\downarrow 0}X_t/t^{\kappa}$ and/or $\liminf_{t\downarrow 0}X_t/t^{\kappa}$ are almost surely (a.s.) finite or infinite. Necessary and sufficient conditions are given for these possibilities for all values of $\kappa>0$. Often (for many values of $\kappa$), when the limsups are finite a.s., they are in fact zero, as we show, but the limsups may in some circumstances take finite, nonzero, values, a.s. In general, the process crosses one or two-sided boundaries in quite different ways, but surprisingly this is not so for the case $\kappa=1/2$. An integral test is given to distinguish the possibilities in that case. Some results relating to other norming sequences for $X$, and when $X$ is centered at a nonstochastic function, are also given.


title: Quantum Knots and Riemann Hypothesis

abstract: In this paper we propose a quantum gauge system from which we construct generalized Wilson loops which will be as quantum knots. From quantum knots we give a classification table of knots where knots are one-to-one assigned with an integer such that prime knots are bijectively assigned with prime numbers and the prime number 2 corresponds to the trefoil knot. Then by considering the quantum knots as periodic orbits of the quantum system and by the identity of knots with integers and an approach which is similar to the quantum chaos approach of Berry and Keating we derive a trace formula which may be called the von Mangoldt-Selberg-Gutzwiller trace formula. From this trace formula we then give a proof of the Riemann Hypothesis. For our proof of the Riemann Hypothesis we show that the Hilbert-Polya conjecture holds that there is a self-adjoint operator for the nontrivial zeros of the Riemann zeta function and this operator is the Virasoro energy operator with central charge $c=\frac12$. Our approach for proving the Riemann Hypothesis can also be extended to prove the Extended Riemann Hypothesis. We also investigate the relation of our approach for proving the Riemann Hypothesis with the Random Matrix Theory for $L$-functions.


title: Rigid geometry on projective varieties

abstract: We prove rigidity of various types of holomorphic parabolic geometry on smooth complex projective varieties.


title: Irrationality of some p-adic L-values

abstract: We give a proof of the irrationality of the $p$-adic zeta-values $\zeta_p(k)$ for $p=2,3$ and $k=2,3$. Such results were recently obtained by F.Calegari as an application of overconvergent $p$-adic modular forms. In this paper we present an approach using classical continued fractions discovered by Stieltjes. In addition we show irrationality of some other $p$-adic $L$-series values, and values of the $p$-adic Hurwitz zeta-function.


title: Approximation diophantienne sur une courbe elliptique

abstract: We present here quantitative versions in 1 dimension of Faltings'theorem according to which the set of the K-rational points (where K is a given number field) of an abelian variety A definied over K, which are close (with respect to a v-adic distance on K) to some K-subvariety X of A, but not belonging to X, is finite. We treat more exactly the case where A is an elliptic curve and X is reduced to a point of A and we give (in this case) explicit bounds for the cardinal of the exceptional finite set. We consider also, more generally, instead of only one place v of K, a finite set S of places of K and the distance from the point of A to X taking into account of all places of S.


title: A construction of a quotient tensor category

abstract: For a rigid tensor abelian category $T$ over a field $k$ we introduce a notion of a normal quotient $q:T\to Q$. In case $T$ is a Tannaka category, our notion is equivalent to Milne's notion of a normal quotient. More precisely, if $T$ is the category of finite dimensional representations of a groupoid scheme $G$ over $k$, then $Q$ is equivalent to the representation category of a normal subgroupoid scheme of $G$. We describe such a quotient in terms of the subcategory $S$ of $T$ consisting of objects which become trivial in $Q$. We show that, under some condition on $S$, $Q$ is uniquely determined by $S$. If $S$ is an 'etale finite tensor category, we show that the quotient of $T$ by $S$ exists. In particular we show the existence of the base change of $T$ with respect to finite separable field extensions. As an application, we obtain a condition for the exactness of sequences of groupoid schemes in terms of the representation categories.


title: Boundary controllability for the quasilinear wave equation

abstract: We study the boundary exact controllability for the quasilinear wave equation in the higher-dimensional case. Our main tool is the geometric analysis. We derive the existence of long time solutions near an equilibrium, prove the locally exact controllability around the equilibrium under some checkable geometrical conditions. We then establish the globally exact controllability in such a way that the state of the quasilinear wave equation moves from an equilibrium in one location to an equilibrium in another location under some geometrical condition. The Dirichlet action and the Neumann action are studied, respectively. Our results show that exact controllability is geometrical characters of a Riemannian metric, given by the coefficients and equilibria of the quasilinear wave equation. A criterion of exact controllability is given, which based on the sectional curvature of the Riemann metric. Some examples are presented to verify the global exact controllability.


title: Presto! Digitization, Part I: From NKS Number Theory to "XORbitant" Semantics, by way of Cayley-Dickson Process and Zero-Divisor-based "Representations"

abstract: The objects of the great Nonlinear Revolutions - Catastrophes and Chaos in the 1960s-70s (henceforth, CT); and, small-world and scale-free Network Theory (NT), emerging quite recently - will be spliced together by a New Kind of Number Theory, focused on digitizations (i.e., binary strings). NT nodes then become feature-rich representations (nodules in a "rhizosphere") of CT contents. The "Box-Kite" formalism of zero-divisors (ZD's) - first showing in the 16-D Sedenions, then in all higher 2^N-ions derived from Imaginaries by Cayley-Dickson Process (CDP) - can model such "enriched" nodules. Its (bit-string XOR-ing vs. matrix-multiplying) operations unfold into "representations" of the objects linked in CT with "partitions of Nullity": Singularities. The route from here to fractals and Chaos, via CDP extensions to 2^N-ions for growing N, will involve us in graphics of higher-dimensional "carry-bit overflow," as manifest in the mandala-like patterns of "emanation tables" (the rough equivalent, for ZD's, of group theorists' Cayley Tables). I'll lead into this with a quote about "Hjelmslev's Net" (which I'll claim is the CDP manque') from a famous postmodern text, Deleuze and Guattari's "A Thousand Plateaus" (where "rhizosphere" imagery arose). With strong assists from the CT-based structuralism of Jean Petitot, Algirdas Greimas's "Semiotic Square" will show us how to explicitly link CT to semiotic foundations via ZD "representations," while the infinite-dimensional ZD meta-fractal or "Sky" where Box-Kites fly - first appearing in the 32-D Pathions and incorporating the higher 2^N-ions - will provide sufficient lebensraum for Levi-Strauss's "Canonical Formula" of mythwork to unfurl in. (These results serve to extend my NKS 2004 paper, available at the Wolfram Science website.)


title: Hamilton-Arnold Chord And Periodic Orbits

abstract: In this article, we first prove that every Hamilton flow has at least as many Hamilton- Arnold chords as a smooth function on the Legendre submanifold of zero first cohomology has critical points. Second, we prove that every Hamilton flow has at least as many close Hamilton orbits as a smooth round function on the close Hamilton manifold of zero first cohomology has critical circles which implies that the so called Arnold-Ginzburg or Seifert conjecture holds.


title: A Fake $CP^2 #4 {\bar CP^2}$

abstract: This paper is not ready for public consumption, as the last step (Figure 20) is incorrect.


title: Constructive no-arbitrage criterion under transaction costs in the case of finite discrete time

abstract: We obtain a constructive criterion for robust no-arbitrage in discrete-time market models with transaction costs. This criterion is expressed in terms of the supports of the regular conditional upper distributions of the solvency cones. We also consider the model with a bank account. A method for construction of arbitrage strategies is proposed.


title: Enumeration of 3-letter patterns in compositions

abstract: Let A be any set of positive integers and n a positive integer. A composition of n with parts in A is an ordered collection of one or more elements in A whose sum is n. We derive generating functions for the number of compositions of n with m parts in A that have r occurrences of 3-letter patterns formed by two (adjacent) instances of levels, rises and drops. We also derive asymptotics for the number of compositions of n that avoid a given pattern. Finally, we obtain the generating function for the number of k-ary words of length m which contain a prescribed number of occurrences of a given pattern as a special case of our results.


title: A new approximation theory which unifies spherical and Cohen-Macaulay approximations

abstract: This paper gives a new approximation theory for finitely generated modules over commutative Noetherian rings, which unifies two famous approximation theorems; one is due to Auslander and Bridger and the other is due to Auslander and Buchweitz. Modules admitting such approximations shall be studied.


title: The space of m-ary differential operators as a module over the Lie algebra of vector fields

abstract: The space of m-ary differential operators acting on weighted densities is a (m+1)-parameter family of modules over the Lie algebra of vector fields. For almost all the parameters, we construct a canonical isomorphism between this space and the corresponding space of symbols as sl(2)-modules. This yields to the notion of the sl(2)-equivariant symbol calculus for m-ary differential operators. We show, however, that these two modules cannot be isomorphic as sl(2)-modules for some particular values of the parameters. Furthermore, we use the symbol map to show that all modules of second-order m-ary differential operators are isomorphic to each other, except for few modules called singular.


title: Harmonic morphisms from the Grassmannians and their non-compact duals

abstract: In this paper we give a unified framework for the construction of complex valued harmonic morphisms from the real, complex and quaternionic Grassmannians and their non-compact duals. This gives a positive answer to the corresponding open existence problem in the real and quaternionic cases.


title: Simulation of Discrete Systems using Probabilistic Sequential Systems

abstract: This paper has been withdrawn by the author due to a crucial error in the definition of homomorphism.


title: SPM Bulletin 16

abstract: CONTENTS OF THE ISSUE: Hurewicz-like tests for Borel subsets of the plane; Ordered Spaces, Metric Preimages, and Function Algebras; On the independence of a generalized statement of Egoroff's theorem from ZFC, after T. Weiss; Forty annotated questions about large topological groups; Strong compactness and a partition property; Countable Borel equivalence relations and quotient Borel spaces; Decisive creatures and large continuum; Models of real-valued measurability; Hausdorff ultrafilters; Block combinatorics; Maharam's problem; Universality of uniform Eberlein compacta; Linearly ordered compacta and Banach spaces with a projectional resolution of the identity; Steinhaus Sets and Jackson Sets; Problem of the Issue; Problems from earlier issues.


title: Special homomorphisms between Probabilistic Gene Regulatory Networks

abstract: In this paper we study finite dynamical systems with $n$ functions acting on the same set $X$, and probabilities assigned to these functions, that it is called Probabilistic Regulatory Gene Networks (PRN. his concept is the same or a natural generalization of the concept Probabilistic Boolean Networks (PBN), introduced by I. Shmulevich, E. Dougherty, and W. Zhang, particularly the model PBN has been using to describe genetic networks and has therapeutic applications. In PRNs the most important question is to describe the steady states of the systems, so in this paper we pay attention to the idea of transforming a network to another without lost all the properties, in particular the probability distribution. Following this objective we develop the concepts of homomorphism and $\epsilon$-homomorphism of probabilistic regulatory networks, since these concepts bring the properties from one networks to another. Projections are special homomorphisms, and they always induce invariant subnetworks that contain all cycles and steady states in the network.


title: Eine effektive Absch"atzung f"ur die Gitter-Diskrepanz von Rotationsellipsoiden

abstract: An effective estimate for the lattice point discrepancy of ellipsoids of rotation. This paper provides an explicit bound, with numerical constants, for the lattice point discrepancy (= number of integer points minus volume) of an ellipsoid Q < x, where Q is a positive definite ternary quadratic form, diagonalized and invariant with respect to rotations around one coordinate axis. In the result the exponent of x in the leading term is equal to 11/16.


title: $PSL(3,q)$ and line-transitive linear spaces

abstract: We present a partial classification of those finite linear spaces $\mathcal{S}$ on which an almost simple group $G$ with socle $PSL(3,q)$ acts line-transitively.


title: A variant of the Dressing Method applied to nonintegrable multidimensional nonlinear Partial Differential Equations

abstract: We describe a variant of the dressing method giving alternative representation of multidimensional nonlinear PDE as a system of Integro-Differential Equations (IDEs) for spectral and dressing functions. In particular, it becomes single linear Partial Differential Equation (PDE) with potentials expressed through the field of the nonlinear PDE. The absence of linear overdetermined system associated with nonlinear PDE creates an obstacle to obtain evolution of the spectral data (or dressing functions): evolution is defined by nonlinear IDE (or PDE in particular case). As an example, we consider generalization of the dressing method applicable to integrable (2+1)-dimensional $N$-wave and Davey-Stewartson equations. Although represented algorithm does not supply an analytic particular solutions, this approach may have a perspective development.


title: On finite-dimensional projections of distributions for solutions of randomly forced PDE's

abstract: The paper is devoted to studying the image of probability measures on a Hilbert space under finite-dimensional analytic maps. We establish sufficient conditions under which the image of a measure has a density with respect to the Lebesgue measure and continuously depends on the map. The results obtained are applied to the 2D Navier--Stokes equations perturbed by various random forces of low dimension.


title: New recurrent inequality on a class of vertex Folkman numbers

abstract: We give a new recurrent inequality on a class of vertex Folkman numbers.


title: On the existence of harmonic morphisms from certain symmetric spaces

abstract: In this paper we give a positive answer to the open existence problem for complex-valued harmonic morphisms from the non-compact irreducible Riemannian symmetric spaces $SL_n(R)/SO(n)$, $SU^*(2n)/Sp(n)$ and their compact duals $SU(n)/SO(n)$ and $SU(2n)/Sp(n)$. Furthermore we prove the existence of globally defined, complex-valued harmonic morphisms from any Riemannian symmetric space of type IV.


title: Categories, norms and weights

abstract: The well-known Lawvere category R of extended real positive numbers comes with a monoidal closed structure where the tensor product is the sum. But R has another such structure, given by multiplication, which is *-autonomous. Normed sets, with a norm in R, inherit thus two symmetric monoidal closed structures, and categories enriched on one of them have a 'subadditive' or 'submultiplicative' norm, respectively. Typically, the first case occurs when the norm expresses a cost, the second with Lipschitz norms. This paper is a preparation for a sequel, devoted to 'weighted algebraic topology', an enrichment of directed algebraic topology. The structure of R, and its extension to the complex projective line, might be a first step in abstracting a notion of algebra of weights, linked with physical measures.


title: Comparison of fundamental group schemes of a projective variety and an ample hypersurface

abstract: Let $X$ be a smooth projective variety defined over an algebraically closed field, and let $L$ be an ample line bundle over $X$. We prove that for any smooth hypersurface $D$ on $X$ in the complete linear system $| L^{\otimes d}|$, the inclusion map $D\hookrightarrow X$ induces an isomorphism of fundamental group schemes, provided $d$ is sufficiently large and $\dim X \geq 3$. If $\dim X = 2$, and $d$ is sufficiently large, then the induced homomorphism of fundamental group schemes remains surjective. We give an example to show that the homomorphism of fundamental group schemes induced by the inclusion map of a reduced ample curve in a smooth projective surface is not surjective in general.


title: Induced gelation in a two-site spatial coagulation model

abstract: A two-site spatial coagulation model is considered. Particles of masses $m$ and $n$ at the same site form a new particle of mass $m+n$ at rate $mn$. Independently, particles jump to the other site at a constant rate. The limit (for increasing particle numbers) of this model is expected to be nondeterministic after the gelation time, namely, one or two giant particles randomly jump between the two sites. Moreover, a new effect of induced gelation is observed--the gelation happening at the site with the larger initial number of monomers immediately induces gelation at the other site. Induced gelation is shown to be of logarithmic order. The limiting behavior of the model is derived rigorously up to the gelation time, while the expected post-gelation behavior is illustrated by a numerical simulation.


title: Functions of several Cayley-Dickson variables and manifolds over them

abstract: Functions of several octonion variables are investigated and integral representation theorems for them are proved. With the help of them solutions of the ${\tilde {\partial}}$-equations are studied. More generally functions of several Cayley-Dickson variables are considered. Integral formulas of the Martinelli-Bochner, Leray, Koppelman type used in complex analysis here are proved in the new generalized form for functions of Cayley-Dickson variables instead of complex. Moreover, analogs of Stein manifolds over Cayley-Dickson graded algebras are defined and investigated.


title: Probabilistic Gene Regulatory Networks, isomorphisms of Markov Chains

abstract: In this paper we study homomorphisms of Probabilistic Regulatory Gene Networks(PRN) introduced in arXiv:math.DS/0603289 v1 13 Mar 2006. The model PRN is a natural generalization of the Probabilistic Boolean Networks (PBN), introduced by I. Shmulevich, E. Dougherty, and W. Zhang in 2001, that has been using to describe genetic networks and has therapeutic applications. In this paper, our main objectives are to apply the concept of homomorphism and $\epsilon$-homomorphism of probabilistic regulatory networks to the dynamic of the networks. The meaning of $\epsilon$ is that these homomorphic networks have similar distributions and the distance between the distributions is upper bounded by $\epsilon$. Additionally, we prove that the class of PRN together with the homomorphisms form a category with products and coproducts. Projections are special homomorphisms, and they always induce invariant subnetworks that contain all the cycles and steady states in the network. Here, it is proved that the $\epsilon$-homomorphism for $0<\epsilon<1$ produce simultaneous Markov Chains in both networks, that permit to introduce the concept of $\epsilon$-isomorphism of Markov Chains, and similar networks.


title: Remarks on the mass constraint for KP type equations

abstract: For a rather general class of equations of Kadomtsev-Petviashvili (KP) type, we prove that the zero-mass (in $x$) constraint is satisfied at any non zero time even if it is not satisfied at initial time zero. Our results are based on a precise analysis of the fundamental solution of the linear part and its anti $x$-derivative.


title: Computing the additive structure of indecomposable modules over Dedekind-like rings using Groebner bases

abstract: We introduce a general constructive method to find a p-basis (and the Ulm invariants) of a finite Abelian p-group M. This algorithm is based on Groebner bases theory. We apply this method to determine the additive structure of indecomposable modules over the following Dedeking-like rings: ZCp, where Cp is the cyclic group of order a prime p, and the p-pullback Z --> Zp <-- Z of Z+Z.


title: Relatively Hyperbolic Groups are $C^*$-simple

abstract: We characterize relatively hyperbolic groups whose reduced $C^*$-algebra is simple as those, which have no non-trivial finite normal subgroups.


title: Cube root fluctuations for the corner growth model associated to the exclusion process

abstract: We study the last-passage growth model on the planar integer lattice with exponential weights. With boundary conditions that represent the equilibrium exclusion process as seen from a particle right after its jump we prove that the variance of the last-passage time in a characteristic direction is of order t^{2/3}. With more general boundary conditions that include the rarefaction fan case we show that the last-passage time fluctuations are still of order t^{1/3}, and also that the transversal fluctuations of the maximal path have order t^{2/3}. We adapt and then build on a recent study of Hammersley's process by Cator and Groeneboom, and also utilize the competition interface introduced by Ferrari, Martin and Pimentel. The arguments are entirely probabilistic, and no use is made of the combinatorics of Young tableaux or methods of asymptotic analysis.


title: The universal sl3-link homology

abstract: We define the universal sl3-link homology, which depends on 3 parameters, following Khovanov's approach with foams. We show that this 3-parameter link homology, when taken with complex coefficients, can be divided into 3 isomorphism classes. The first class is the one to which Khovanov's original sl3-link homology belongs, the second is the one studied by Gornik in the context of matrix factorizations and the last one is new. Following an approach similar to Gornik's we show that this new link homology can be described in terms of Khovanov's original sl2-link homology.


title: A primal Barvinok algorithm based on irrational decompositions

abstract: We introduce variants of Barvinok's algorithm for counting lattice points in polyhedra. The new algorithms are based on irrational signed decomposition in the primal space and the construction of rational generating functions for cones with low index. We give computational results that show that the new algorithms are faster than the existing algorithms by a large factor.


title: Riemann-Hilbert Methods in the Theory of Orthogonal Polynomials

abstract: In this paper we describe various applications of the Riemann-Hilbert method to the theory of orthogonal polynomials on the line and on the circle.


title: Symplectomorphism groups and embeddings of balls into rational ruled 4-manifolds

abstract: Let $X$ be any rational ruled symplectic four-manifold. Given a symplectic embedding $\iota:B_{c}\into X$ of the standard ball of capacity $c$ into $X$, consider the corresponding symplectic blow-up $\tX_{\iota}$. In this paper, we study the homotopy type of the symplectomorphism group $\Symp(\tX_{\iota})$, simplifying and extending the results of math.SG/0207096. This allows us to compute the rational homotopy groups of the space $\IEmb(B_{c},X)$ of unparametrized symplectic embeddings of $B_{c}$ into $X$. We also show that the embedding space of one ball in $CP^2$, and the embedding space of two disjoint balls in $CP^2$, if non empty, are always homotopy equivalent to the corresponding spaces of ordered configurations. Our method relies on the theory of pseudo-holomorphic curves in 4-manifolds, on the theory of Gromov invariants, and on the inflation technique of Lalonde-McDuff.


title: Intermediate integer programming representations using value disjunctions

abstract: We introduce a general technique to create an extended formulation of a mixed-integer program. We classify the integer variables into blocks, each of which generates a finite set of vector values. The extended formulation is constructed by creating a new binary variable for each generated value. Initial experiments show that the extended formulation can have a more compact complete description than the original formulation. We prove that, using this reformulation technique, the facet description decomposes into one ``linking polyhedron'' per block and the ``aggregated polyhedron''. Each of these polyhedra can be analyzed separately. For the case of identical coefficients in a block, we provide a complete description of the linking polyhedron and a polynomial-time separation algorithm. Applied to the knapsack with a fixed number of distinct coefficients, this theorem provides a complete description in an extended space with a polynomial number of variables.


title: Stringy Hodge numbers for a class of isolated singularities and for threefolds

abstract: Batyrev has defined the stringy E-function for complex varieties with at most log terminal singularities. It is a rational function in two variables if the singularities are Gorenstein. Furthermore, if the variety is projective and its stringy E-function is a polynomial, Batyrev defined its stringy Hodge numbers essentially as the coefficients of this E-function, generalizing the usual notion of Hodge numbers of a nonsingular projective variety. He conjectured that they are nonnegative. We prove this for a class of `mild' isolated singularities (the allowed singularities depend on the dimension). As a corollary we obtain a proof of Batyrev's conjecture for threefolds in full generality. In these cases, we also give an explicit description of the stringy Hodge numbers and we suggest a possible generalized definition of stringy Hodge numbers if the E-function is not a polynomial.


title: Stability and Robustness Analysis of Nonlinear Systems via Contraction Metrics and SOS Programming

abstract: Contraction analysis is a stability theory for nonlinear systems where stability is defined incrementally between two arbitrary trajectories. It provides an alternative framework in which to study uncertain interconnections or systems with external inputs, where it offers several significant advantages when compared with traditional Lyapunov analysis. Contraction-based methods are particularly useful for analyzing systems with uncertain parameters and for proving synchronization properties of nonlinear oscillators. Existence of a contraction metric for a given system is a necessary and sufficient condition for global exponential convergence of system trajectories. For systems with polynomial or rational dynamics, the search for contraction metrics can be made fully algorithmic through the use of convex optimization and sum of squares (SOS) programming. The search process is made computationally tractable by relaxing matrix definiteness constraints, whose feasibility indicate existence of a contraction metric, into SOS constraints on polynomial matrices. We illustrate the results through examples from the literature, emphasizing the advantages and contrasting the differences between the contraction approach and traditional Lyapunov techniques.


title: Centres of Hecke algebras: the Dipper-James conjecture

abstract: In this paper we prove the Dipper-James conjecture that the centre of the Iwahori-Hecke algebra of type A is the set of symmetric polynomials in the Jucys-Murphy operators.


title: Permutation Classes of Polynomial Growth

abstract: A pattern class is a set of permutations closed under the formation of subpermutations. Such classes can be characterised as those permutations not involving a particular set of forbidden permutations. A simple collection of necessary and sufficient conditions on sets of forbidden permutations which ensure that the associated pattern class is of polynomial growth is determined. A catalogue of all such sets of forbidden permutations having three or fewer elements is provided together with bounds on the degrees of the associated enumerating polynomials.


title: State Dependent Utility

abstract: We propose a new approach to utilities that is consistent with state-dependent utilities. In our model utilities reflect the level of consumption satisfaction of flows of cash in future times as they are valued when the economic agents are making their consumption and investment decisions. The theoretical framework used for the model is one proposed by the author in Dynamic State Tameness {arXiv:math.PR/0509139}. The proposed framework is a generalization of the theory of Brownian flows and can be applied to those processes that are the solutions of classical It^o stochastic differential equations, even when the volatilities and drifts are just locally $\delta$-Holder continuous for some $\delta>0$. We develop the martingale methodology for the solution of the problem of optimal consumption and investment. Complete solutions of the optimal consumption and portfolio problem are obtained in a very general setting which includes several functional forms for utilities in the current literature, and consider general restrictions on minimal wealths. As a secondary result we obtain a suitable representation for straightforward numerical computations of the optimal consumption and investment strategies.


title: Analytic Hypoellipticity in the Presence of Lower Order Terms

abstract: We consider a second order operator with analytic coefficients whose principal symbol vanishes exactly to order two on a symplectic real analytic manifold. We assume that the first (non degenerate) eigenvalue vanishes on a symplectic submanifold of the characteristic manifold. In the $C^\infty$ framework this situation would mean a loss of 3/2 derivatives. We prove that this operator is analytic hypoelliptic. The main tool is the FBI transform. A case in which $C^\infty$ hypoellipticity fails is also discussed.


title: Deformation of Properly Discontinuous Actions of Z^k on R^{k+1}

abstract: We consider the deformation of a discontinuous group acting on the Euclidean space by affine transformations. A distinguished feature here is that even a `small' deformation of a discrete subgroup may destroy proper discontinuity of its action. In order to understand the local structure of the deformation space of discontinuous groups, we introduce the concepts from a group theoretic perspective, and focus on `stability' and `local rigidity' of discontinuous groups. As a test case, we give an explicit description of the deformation space of Z^k acting properly discontinuously on R^{k+1} by affine nilpotent transformations. Our method uses an idea of `continuous analogue' and relies on the criterion of proper actions on nilmanifolds.


title: On discontinuous group actions on non-Riemannian homogeneous spaces

abstract: This article gives an up-to-date account of the theory of discrete group actions on non-Riemannian homogeneous spaces. As an introduction of the motifs of this article, we begin by reviewing the current knowledge of possible global forms of pseudo-Riemannian manifolds with constant curvatures, and discuss what kind of problems we propose to pursue. For pseudo-Riemannian manifolds, isometric actions of discrete groups are not always properly discontinuous. The fundamental problem is to understand when discrete subgroups of Lie groups $G$ act properly discontinuously on homogeneous spaces $G/H$ for non-compact $H$. For this, we introduce the concepts from a group-theoretic perspective, including the `discontinuous dual' of $G/H$ that recovers $H$ in a sense. We then summarize recent results giving criteria for the existence of properly discontinuous subgroups, and the known results and conjectures on the existence of cocompact ones. The final section discusses the deformation theory and in particular rigidity results for cocompact properly discontinuous groups for pseudo-Riemannian symmetric spaces.


title: The Gauss map of pseudo-algebraic minimal surfaces in $\mathbf{R}^{4}$

abstract: In this paper, we prove effective estimates for the number of exceptional values and the totally ramified value number for the Gauss map of pseudo-algebraic minimal surfaces in Euclidean four-space and give a kind of unicity theorem.


title: A Gevrey microlocal analysis of multi-anisotropic differential operators

abstract: We give a microlocal version of the theorem of iterates in multi-anisotropic Gevrey classes for multi-anisotropic hypoelliptic differential operators


title: Szeg\"o limit theorems for operators with almost periodic diagonals

abstract: The classical Szeg\"o theorems study the asymptotic behaviour of the determinants of the finite sections $P_n T(a) P_n$ of Toeplitz operators, i.e., of operators which have constant entries along each diagonal. We generalize these results to operators which have almost periodic functions on their diagonals.


title: Systematic scan for sampling colorings

abstract: We address the problem of sampling colorings of a graph $G$ by Markov chain simulation. For most of the article we restrict attention to proper $q$-colorings of a path on $n$ vertices (in statistical physics terms, the one-dimensional $q$-state Potts model at zero temperature), though in later sections we widen our scope to general ``$H$-colorings'' of arbitrary graphs $G$. Existing theoretical analyses of the mixing time of such simulations relate mainly to a dynamics in which a random vertex is selected for updating at each step. However, experimental work is often carried out using systematic strategies that cycle through coordinates in a deterministic manner, a dynamics sometimes known as systematic scan. The mixing time of systematic scan seems more difficult to analyze than that of random updates, and little is currently known. In this article we go some way toward correcting this imbalance. By adapting a variety of techniques, we derive upper and lower bounds (often tight) on the mixing time of systematic scan. An unusual feature of systematic scan as far as the analysis is concerned is that it fails to be time reversible.


title: Pattern densities in fluid dimer models

abstract: In this paper, we introduce a family of observables for the dimer model on a bi-periodic bipartite planar graph, called pattern density fields. We study the scaling limit of these objects for liquid and gaseous Gibbs measures of the dimer model, and prove that they converge to a linear combination of a derivative of the Gaussian massless free field and an independent white noise.


title: Mean field convergence of a model of multiple TCP connections through a buffer implementing RED

abstract: RED (Random Early Detection) has been suggested when multiple TCP sessions are multiplexed through a bottleneck buffer. The idea is to detect congestion before the buffer overflows by dropping or marking packets with a probability that increases with the queue length. The objectives are reduced packet loss, higher throughput, reduced delay and reduced delay variation achieved through an equitable distribution of packet loss and reduced synchronization. Baccelli, McDonald and Reynier [Performance Evaluation 11 (2002) 77--97] have proposed a fluid model for multiple TCP connections in the congestion avoidance regime multiplexed through a bottleneck buffer implementing RED. The window sizes of each TCP session evolve like independent dynamical systems coupled by the queue length at the buffer. The key idea in [Performance Evaluation 11 (2002) 77--97] is to consider the histogram of window sizes as a random measure coupled with the queue. Here we prove the conjecture made in [Performance Evaluation 11 (2002) 77--97] that, as the number of connections tends to infinity, this system converges to a deterministic mean-field limit comprising the window size density coupled with a deterministic queue.


title: Right-Permutative Cellular Automata on Topological Markov Chains

abstract: In this paper we consider cellular automata $(\mathfrak{G},\Phi)$ with algebraic local rules and such that $\mathfrak{G}$ is a topological Markov chain which has a structure compatible to this local rule. We characterize such cellular automata and study the convergence of the Ces\`aro mean distribution of the iterates of any probability measure with complete connections and summable decay.


title: Construction of some algebras associated to directed graphs and related to factorizations of noncommutative polynomials

abstract: This is a survey of recently published results. We introduce and study a wide class algebras associated to directed graphs and related to factorizations of noncommutative polynomials. In particular, we show that for many well-known graphs such algebras are Koszul and compute their Hilbert series.


title: Large deviation asymptotics and control variates for simulating large functions

abstract: Consider the normalized partial sums of a real-valued function $F$ of a Markov chain, \[\phi_n:=n^{-1}\sum_{k=0}^{n-1}F(\Phi(k)),\qquad n\ge1.\] The chain $\{\Phi(k):k\ge0\}$ takes values in a general state space $\mathsf {X}$, with transition kernel $P$, and it is assumed that the Lyapunov drift condition holds: $PV\le V-W+b\mathbb{I}_C$ where $V:\mathsf {X}\to(0,\infty)$, $W:\mathsf {X}\to[1,\infty)$, the set $C$ is small and $W$ dominates $F$. Under these assumptions, the following conclusions are obtained: 1. It is known that this drift condition is equivalent to the existence of a unique invariant distribution $\pi$ satisfying $\pi(W)<\infty$, and the law of large numbers holds for any function $F$ dominated by $W$: \[\phi_n\to\phi:=\pi(F),\qquad{a.s.}, n\to\infty.\] 2. The lower error probability defined by $\mathsf {P}\{\phi_n\le c\}$, for $c<\phi$, $n\ge1$, satisfies a large deviation limit theorem when the function $F$ satisfies a monotonicity condition. Under additional minor conditions an exact large deviations expansion is obtained. 3. If $W$ is near-monotone, then control-variates are constructed based on the Lyapunov function $V$, providing a pair of estimators that together satisfy nontrivial large asymptotics for the lower and upper error probabilities. In an application to simulation of queues it is shown that exact large deviation asymptotics are possible even when the estimator does not satisfy a central limit theorem.


title: Asymptotic theorems of sequential estimation-adjusted urn models

abstract: The Generalized P\'{o}lya Urn (GPU) is a popular urn model which is widely used in many disciplines. In particular, it is extensively used in treatment allocation schemes in clinical trials. In this paper, we propose a sequential estimation-adjusted urn model (a nonhomogeneous GPU) which has a wide spectrum of applications. Because the proposed urn model depends on sequential estimations of unknown parameters, the derivation of asymptotic properties is mathematically intricate and the corresponding results are unavailable in the literature. We overcome these hurdles and establish the strong consistency and asymptotic normality for both the patient allocation and the estimators of unknown parameters, under some widely satisfied conditions. These properties are important for statistical inferences and they are also useful for the understanding of the urn limiting process. A superior feature of our proposed model is its capability to yield limiting treatment proportions according to any desired allocation target. The applicability of our model is illustrated with a number of examples.


title: On the exact distributional asymptotics for the supremum of a random walk with increments in a class of light-tailed distributions

abstract: We study the distribution of the maximum $M$ of a random walk whose increments have a distribution with negative mean and belonging, for some $\gamma>0$, to a subclass of the class $\mathcal{S}_\gamma$--see, for example, Chover, Ney, and Wainger (1973). For this subclass we give a probabilistic derivation of the asymptotic tail distribution of $M$, and show that extreme values of $M$ are in general attained through some single large increment in the random walk near the beginning of its trajectory. We also give some results concerning the ``spatially local'' asymptotics of the distribution of $M$, the maximum of the stopped random walk for various stopping times, and various bounds.


title: Individual versus cluster recoveries within a spatially structured population

abstract: Stochastic modeling of disease dynamics has had a long tradition. Among the first epidemic models including a spatial structure in the form of local interactions is the contact process. In this article we investigate two extensions of the contact process describing the course of a single disease within a spatially structured human population distributed in social clusters. That is, each site of the $d$-dimensional integer lattice is occupied by a cluster of individuals; each individual can be healthy or infected. The evolution of the disease depends on three parameters, namely the outside infection rate which models the interactions between the clusters, the within infection rate which takes into account the repeated contacts between individuals in the same cluster, and the size of each social cluster. For the first model, we assume cluster recoveries, while individual recoveries are assumed for the second one. The aim is to investigate the existence of nontrivial stationary distributions for both processes depending on the value of each of the three parameters. Our results show that the probability of an epidemic strongly depends on the recovery mechanism.


title: Group actions on chains of Banach manifolds and applications to fluid dynamics

abstract: This paper presents the theory of non-smooth Lie group actions on chains of Banach manifolds. The rigorous functional analytic spaces are given to deal with quotients of such actions. A hydrodynamical example is studied in detail.


title: A zero-one law for first-order logic on random images

abstract: For an $n\times n$ random image with independent pixels, black with probability $p(n)$ and white with probability $1-p(n)$, the probability of satisfying any given first-order sentence tends to 0 or 1, provided both $p(n)n^{\frac{2}{k}}$ and $(1-p(n))n^{\frac{2}{k}}$ tend to 0 or $+\infty$, for any integer $k$. The result is proved by computing the threshold function for basic local sentences, and applying Gaifman's theorem.


title: Some strong limit theorems for the largest entries of sample correlation matrices

abstract: Let $\{X_{k,i};i\geq 1,k\geq 1\}$ be an array of i.i.d. random variables and let $\{p_n;n\geq 1\}$ be a sequence of positive integers such that $n/p_n$ is bounded away from 0 and $\infty$. For $W_n=\max_{1\leq i<j\leq p_n}|\sum_{k=1}^nX_{k,i}X_{k,j}|$ and $L_n=\max_{1\leq i<j\leq p_n}|\hat{\rho}^{(n)}_{i,j}|$ where $\hat{\rho}^{(n)}_{i,j}$ denotes the Pearson correlation coefficient between $(X_{1,i},...,X_{n,i})'$ and $(X_{1,j},...,X_{n,j})'$, the limit laws (i) $\lim_{n\to \infty}\frac{W_n}{n^{\alpha}}=0$ a.s. $(\alpha >1/2)$, (ii) $\lim_{n\to \infty}n^{1-\alpha}L_n=0$ a.s. $(1/2<\alpha \leq 1)$, (iii) $\lim_{n\to \infty}\frac{W_n}{\sqrt{n\log n}}=2$ a.s. and (iv) $\lim_{n\to \infty}(\frac{n}{\log n})^{1/2}L_n=2$ a.s. are shown to hold under optimal sets of conditions. These results follow from some general theorems proved for arrays of i.i.d. two-dimensional random vectors. The converses of the limit laws (i) and (iii) are also established. The current work was inspired by Jiang's study of the asymptotic behavior of the largest entries of sample correlation matrices.


title: Stochastic spatial models of host-pathogen and host-mutualist interactions I

abstract: Mutualists and pathogens, collectively called symbionts, are ubiquitous in plant communities. While some symbionts are highly host-specific, others associate with multiple hosts. The outcomes of multispecies host-symbiont interactions with different degrees of specificity are difficult to predict at this point due to a lack of a general conceptual framework. Complicating our predictive power is the fact that plant populations are spatially explicit, and we know from past research that explicit space can profoundly alter plant-plant interactions. We introduce a spatially explicit, stochastic model to investigate the role of explicit space and host-specificity in multispecies host-symbiont interactions. We find that in our model, pathogens can significantly alter the spatial structure of plant communities, promoting coexistence, whereas mutualists appear to have only a limited effect. Effects are more pronounced the more host-specific symbionts are.


title: Rational Homotopy Calculus of Functors

abstract: This is a (slightly edited) version of the PhD dissertation of the author, submitted to Brown University in July 2005. We construct a homotopy calculus of functors in the sense of Goodwillie for the categories of rational homotopy theory. More precisely, given a homotopy functor between any of the categories of differential graded vector spaces (DG), reduced differential graded vector spaces, differential graded Lie algebras (DGL), and differential graded coalgebras (DGC), we show that there is an associated approximating "rational Taylor tower" of excisive functors. The fibers in this tower are homogeneous functors which factor as homogeneous endomorphisms of the category of differential graded vector spaces. Furthermore, we develop very straightforward and simple models for all of the objects in this tower. Constructing these models entails first building very simple models for homotopy pushouts and pullbacks in the categories DG, DGL, and DGC. We end with a short example of the usefulness of our computationally simple models for rational Taylor towers, as well as a preview of some further results dealing with the structure of rational (and non-rational) Taylor towers.


title: Image denoising by statistical area thresholding

abstract: Area openings and closings are morphological filters which efficiently suppress impulse noise from an image, by removing small connected components of level sets. The problem of an objective choice of threshold for the area remains open. Here, a mathematical model for random images will be considered. Under this model, a Poisson approximation for the probability of appearance of any local pattern can be computed. In particular, the probability of observing a component with size larger than $k$ in pure impulse noise has an explicit form. This permits the definition of a statistical test on the significance of connected components, thus providing an explicit formula for the area threshold of the denoising filter, as a function of the impulse noise probability parameter. Finally, using threshold decomposition, a denoising algorithm for grey level images is proposed.


title: Index formula for MacPherson cycles of affine algebraic varieties

abstract: We give explicit MacPherson cycles for the Chern-MacPherson class of a closed affine algebraic variety $X$ and for any constructible function $\alpha$ with respect to a complex algebraic Whitney stratification of $X$. We define generalized degrees of the global polar varieties and of the MacPherson cycles and we prove a global index formula for the Euler characteristic of $\alpha$. Whenever $\alpha$ is the Euler obstruction of $X$, this index formula specializes to the Seade-Tibar-Verjovsky global counterpart of the Le-Teissier formula for the local Euler obstruction.


title: Theories homotopiques de Quillen combinatoires et derivateurs de Grothendieck

abstract: We construct a pseudo-localization of the 2-category of combinatorial Quillen model categories with respect to Quillen equivalences, and then verify that it embeds in a 2-category of Grothendieck derivators.


title: The arcsine law as a universal aging scheme for trap models

abstract: We give a general proof of aging for trap models using the arcsine law for stable subordinators. This proof is based on abstract conditions on the potential theory of the underlying graph and on the randomness of the trapping landscape. We apply this proof to aging for trap models on large two-dimensional tori and for trap dynamics of the Random Energy Model on a broad range of time scales.


title: Discrete It\^o Formulas and Their Applications to Stochastic Numerics

abstract: This is a survey note of the author's observations on the discrete-time analogues of It\^o formulas.


title: Perestroikas of vertex sets at umbilic points

abstract: Mark all vertices on a curve evolving under a family of curves obtained by intersecting a smooth surface M with the 1-parameter family of planes parallel to the tangent plane to M at a point p. Those vertices trace out a set, called the vertex set of M through p. We take p to be an isolated umbilic point on M and describe the perestroikas of the vertex set under generic n-parameter small deformations of the surface, as well as the corresponding discriminants. One of the main consequences of our results is that, in some sense (see Theorem 2), generically the study of the discriminants of small n-deformations, with n greater than or equal to 2, simplifies to that of 2-deformations. This work was primarily motivated by the medial representation of shapes in Computer Vision and Image Analysis, where the behaviour of vertices plays a crucial role in the qualitative changes of the skeleton or Blum medial axis of curves. On the other hand, the study of vertices of curves has raised up a great interest in particular in Geometry and Singularity Theory, in line with several problems such as the 4-vertex Theorem, the local geometry of surfaces and Geometry of Caustics. These classical subjects have received a new impulsion due to the development of Contact Geometry, especially in the works of V. Arnold on Legendrian Collapse and Legendrian Sturm Theory showing the relation between vertices of plane curves and Legendrian singularities and Sturm-Hurwitz Theorem.


title: Traces on the skein algebra of the torus

abstract: For a surface $F$, the Kauffman bracket skein module of $F \times [0,1]$, denoted $K(F)$, admits a natural multiplication which makes it an algebra. When specialized at a complex number $t$, nonzero and not a root of unity, we have $K_t(F)$, a vector space over $\mathbb{C}$. In this paper, we will use the product-to-sum formula of Frohman and Gelca to show that the vector space $K_t(T^2)$ has five distinct traces. One trace, the Yang-Mills measure, is obtained by picking off the coefficient of the empty skein. The other four traces on $K_t(T^2)$ correspond to each of the four $\mathbb{Z}_2$ homology classes of the torus.


title: Dynamics of trap models

abstract: These notes cover one of the topics of the class given in the Les Houches Summer School ``Mathematical statistical physics'' in July 2005. The lectures tried to give a summary of the recent mathematical results about the long-time behaviour of dynamics of (mean-field) spin-glasses and other disordered media. We have chosen here to restrict the scope of these notes to the dynamics of trap models only, but to cover this topic in somewhat more depth.


title: Second class particles and cube root asymptotics for Hammersley's process

abstract: We show that, for a stationary version of Hammersley's process, with Poisson sources on the positive x-axis and Poisson sinks on the positive y-axis, the variance of the length of a longest weakly North--East path $L(t,t)$ from $(0,0)$ to $(t,t)$ is equal to $2\mathbb {E}(t-X(t))_+$, where $X(t)$ is the location of a second class particle at time $t$. This implies that both $\mathbb {E}(t-X(t))_+$ and the variance of $L(t,t)$ are of order $t^{2/3}$. Proofs are based on the relation between the flux and the path of a second class particle, continuing the approach of Cator and Groeneboom [Ann. Probab. 33 (2005) 879--903].


title: Oscillation of Fourier transform and Markov-Bernstein inequalities

abstract: Under certain conditions on an integrable function f having a real-valued Fourier transform Tf=F, we obtain a certain estimate for the oscillation of F in the interval [-C||f'||/||f||,C||f'||/||f||] with C>0 an absolute constant. Given q>0 and an integrable positive definite function f, satisfying some natural conditions, the above estimate allows us to construct a finite linear combination P of translates f(x+kq)(with k running the integers) such that ||P'||>c||P||/q, where c>0 is another absolute constant. In particular, our construction proves sharpness of an inequality of H. N. Mhaskar for Gaussian networks.


title: The universal Khovanov link homology theory

abstract: We determine the algebraic structure underlying the geometric complex associated to a link in Bar-Natan's geometric formalism of Khovanov's link homology theory (n=2). We find an isomorphism of complexes which reduces the complex to one in a simpler category. This reduction enables us to specify exactly the amount of information held within the geometric complex and thus state precisely its universality properties for link homology theories. We also determine its strength as a link invariant relative to the different topological quantum field theories (TQFTs) used to create link homology. We identify the most general (universal) TQFT that can be used to create link homology and find that it is "smaller" than the TQFT previously reported by Khovanov as the universal link homology theory. We give a new method of extracting all other link homology theories (including Khovanov's universal TQFT) directly from the universal geometric complex, along with new homology theories that hold a controlled amount of information. We achieve these goals by making a classification of surfaces (with boundaries) modulo the 4TU/S/T relations, a process involving the introduction of genus generating operators. These operators enable us to explore the relation between the geometric complex and its algebraic structure.


title: Comonadas y coanillos de Galois

abstract: Starting from a comonad G on a category A, and a functor L : B -> A with a right adjoint R : A -> B, we will give a parametrization of the functors K from B to the category of all G-coalgebras that factorize throughout L in terms of homomorphisms of comonads from LR to G. Next, we will see under which conditions one of these functors K admits a right adjoint D. We will characterize when D is full and faithful, and we will conclude our general results by characterizing when K establishes an equivalence between the category B and the category of G-coalgebras. Obviously, the functors characterized in this way are, a fortiori, comonadic but, in contrast with the approach of Beck's Theorem, the comonad G is here given beforehand, and each functor K corresponds to a ``representation'' of G. Beck's theorem deals with the situation where G = LR. We apply our general results to the case of corings over firm rings.


title: Density estimation with quadratic loss: a confidence intervals method

abstract: In a previous article, a least square regression estimation procedure was proposed: first, we condiser a family of functions and study the properties of an estimator in every unidimensionnal model defined by one of these functions; we then show how to aggregate these estimators. The purpose of this paper is to extend this method to the case of density estimation. We first give a general overview of the method, adapted to the density estimation problem. We then show that this leads to adaptative estimators, that means that the estimator reaches the best possible rate of convergence (up to a $\log$ factor). Finally we show some ways to improve and generalize the method.


title: Poisson geometry and deformation quantization near a pseudoconvex boundary

abstract: Let X be a complex manifold with strongly pseudoconvex boundary M. If u is a defining function for M, then -log u is plurisubharmonic on a neighborhood of M in X, and the (real) 2-form s = i \del \delbar(-log u) is a symplectic structure on the complement of M in a neighborhood in X of M; it blows up along M. The Poisson structure obtained by inverting s extends smoothly across M and determines a contact structure on M which is the same as the one induced by the complex structure. When M is compact, the Poisson structure near M is completely determined up to isomorphism by the contact structure on M. In addition, when -log u is plurisubharmonic throughout X, and X is compact, bidifferential operators constructed by Englis for the Berezin-Toeplitz deformation quantization of X are smooth up to the boundary. The proofs use a complex Lie algebroid determined by the CR structure on M, along with some ideas of Epstein, Melrose, and Mendoza concerning manifolds with contact boundary.


title: Distributions with dynamic test functions and multiplication by discontinuous functions

abstract: As follows from the Schwartz Impossibility Theorem, multiplication of two distributions is in general impossible. Nevertheless, often one needs to multiply a distribution by a discontinuous function, not by an arbitrary distribution. In the present paper we construct a space of distributions where the general operation of multiplication by a discontinuous function is defined, continuous, commutative, associative and for which the Leibniz product rule holds. In the new space of distributions, the classical delta-function $\delta_\tau$ extends to a family of delta-functions $\delta_\tau^\alpha$, dependent on the \textit{shape} $\alpha$. We show that the various known definitions of the product of the Heaviside function and the delta-function in the classical space of distributions $\mathcal D'$ become particular cases of the multiplication in the new space of distributions, and provide the applications of the new space of distributions to the ordinary differential equations which arise in optimal control theory. Also, we compare our approach of the Schwartz distribution theory with the approach of the Colombeau generalized functions algebra, where the general operation of multiplication of two distributions is defined.


title: A homological condition for a dynamical and illuminatory classification of torus branched coverings

abstract: We prove that, for translation surfaces whose homology is generated by the periodic orbits, the notions of - finite blocking property - pure periodicity - torus branched covering are equivalent. In particular, we prove this equivalence for convex surfaces and on a dense open subset of full measure on every normalized stratum.


title: A Desingularization of the Main Component of the Moduli Space of Genus-One Stable Maps into $\Bbb{P}^n$

abstract: We construct a desingularization of the ``main component'' $\bar{\mathfrak M}_{1,k}^0(\Bbb{P}^n,d)$ of the moduli space $\bar{\mathfrak M}_{1,k}(\Bbb{P}^n,d)$ of genus-one stable maps into the complex projective space $\Bbb{P}^n$. As a bonus, we obtain desingularizations of certain natural sheaves over $\bar{\mathfrak M}_{1,k}^0(\Bbb{P}^n,d)$. Such desingularizations are useful for integrating natural cohomology classes on $\bar{\mathfrak M}_{1,k}^0(\Bbb{P}^n,d)$ using localization. In turn, these classes can be used to compute the genus-one Gromov-Witten invariants of complete intersections and classical enumerative invariants of projective spaces involving genus-one curves. The desingularization of $\bar{\mathfrak M}_{1,k}^0(\Bbb{P}^n,d)$ is obtained by sequentially blowing up $\bar{\mathfrak M}_{1,k}(\Bbb{P}^n,d)$ along ``bad'' subvarieties. At the end of the process, we are left with a modification of the main component, which turns out to be nonsingular.


title: Quasiperiodic infinite words : multi-scale case and dynamical properties

abstract: An infinite word x is said to be quasiperiodic if there exists a finite word q such that x is covered by occurrences of q (such a q is called a quasiperiod of x). Using the notion of derivation, we show that this definition is not sufficient to imply any symmetry in an infinite word. Therefore we introduce multi-scale quasiperiodic words, i.e. quasiperiodic words that admit an infinite number of quasiperiods. Such words are uniformly recurrent, this allows us to study the subshift they generate. We prove that multi-scale quasiperiodic subshifts are uniquely ergodic and have zero topological entropy as well as zero Kolmogorov complexity. Sturmian subshifts are shown to be multi-scale quasiperiodic.


title: On computing the entropy of braids

abstract: We consider in this paper the problem of computing the entropy of a braid. We recall its definition and construct, for each braid, a sequence of real numbers, whose limit is its entropy. We state one conjecture about the convergence speed, and two about the braids that have high entropy, but are written with few letters.


title: Derived equivalences and finite dimensional algebras

abstract: We discuss the homological algebra of representation theory of finite dimensional algebras and finite groups. We present various methods for the construction and the study of equivalences of derived categories: local group theory, geometry and categorifications.


title: Intersections of Tautological Classes on Blowups of Moduli Spaces of Genus-One Curves

abstract: We give two recursions for computing top intersections of tautological classes on blowups of moduli spaces of genus-one curves. One of these recursions is analogous to the well-known string equation. As shown in previous papers, these numbers are useful for computing genus-one enumerative invariants of projective spaces and Gromov-Witten invariants of complete intersections.


title: On the representation of integers by quadratic forms

abstract: Let Q be a non-singular quadratic form with integer coefficients. When Q is indefinite we provide new upper bounds for the least non-trivial integral solution to the equation Q=0. When Q is positive definite we provide improved upper bounds for the least positive integer k such that the equation Q=k is insoluble in integers, despite being soluble modulo every prime power.


title: McKay correspondence and equivariant sheaves on $P^1$

abstract: Let $G$ be a finite subgroup in SU(2), and $Q$ the corresponding affine Dynkin diagram. In this paper, we review the relation between the categories of $G$-equivariant sheaves on $P^1$ and $Rep Q_h$, where $h$ is an orientation of $Q$, constructing an explicit equivalence of corresponding derived categories.


title: Flow-invariant hypersurfaces in semi-dispersing billiards

abstract: This work results from our attempts to solve Boltzmann-Sinai's hypothesis about the ergodicity of hard ball gases. A crucial element in the studies of the dynamics of hard balls is the analysis of special hypersurfaces in the phase space consisting of degenerate trajectories (which lack complete hyperbolicity). We prove that if a flow-invariant hypersurface $J$ in the phase space of a semi-dispersing billiard has a negative Lyapunov function, then the volume of the forward image of $J$ grows at least linearly in time. Our proof is independent of the solution of the Boltzmann-Sinai hypothesis, and we provide a complete and self-contained argument here.


title: Stabilit\'e de la propri\'et\'e de Koszul pour les alg\`ebres homog\`enes vis-\`a-vis du produit semi-crois\'e

abstract: We study the stability of Koszul and Gorentein properties for the semi-cross product of homogeneous algebras. Nous \'etudions la conservation des propri\'et\'es de Koszul et de Gorenstein pour le produit semi-crois\'e des alg\`ebres homog\`enes.


title: Hardy inequalities for simply connected planar domains

abstract: In 1986 A. Ancona showed, using the Koebe one-quarter Theorem, that for a simply-connected planar domain the constant in the Hardy inequality with the distance to the boundary is greater than or equal to 1/16. In this paper we consider classes of domains for which there is a stronger version of the Koebe Theorem. This implies better estimates for the constant appearing in the Hardy inequality.


title: A subdiffusive behaviour of recurrent random walk in random environment on a regular tree

abstract: We are interested in the random walk in random environment on an infinite tree. Lyons and Pemantle [11] give a precise recurrence/transience criterion. Our paper focuses on the almost sure asymptotic behaviours of a recurrent random walk $(X\_n)$ in random environment on a regular tree, which is closely related to Mandelbrot [13]'s multiplicative cascade. We prove, under some general assumptions upon the distribution of the environment, the existence of a new exponent $\nu\in (0, {1\over 2}]$ such that $\max\_{0\le i \le n} |X\_i|$ behaves asymptotically like $n^{\nu}$. The value of $\nu$ is explicitly formulated in terms of the distribution of the environment.


title: Polar spaces and embeddings of classical groups

abstract: Given polar spaces $(V,\beta)$ and $(V,Q)$ where $V$ is a vector space over a field $K$, $\beta$ a reflexive sesquilinear form and $Q$ a quadratic form, we have associated classical isometry groups. Given a subfield $F$ of $K$ and an $F$-linear function $L:K\to F$ we can define new spaces $(V,L\beta)$ and $(V,LQ)$ which are polar spaces over $F$. The construction so described gives an embedding of the isometry groups of $(V,\beta)$ and $(V,Q)$ into the isometry groups of $(V,L\beta)$ and $(V,LQ)$. In the finite field case under certain added restrictions these subgroups are maximal and form the so called {\it field extension subgroups} of Aschbacher's class $\curlyc{3}$ \cite{aschbacher}. We give precise descriptions of the polar spaces so defined and their associated isometry group embeddings. In the finite field case our results give extra detail to the account of maximal field extension subgroups given by Kleidman and Liebeck \cite[p112]{kl}.


title: Moduli spaces of parabolic $U(p,q)$-Higgs bundles

abstract: Using the $L^2$-norm of the Higgs field as a Morse function, we count the number of connected components of the moduli space of parabolic $U(p,q)$-Higgs bundles over a Riemann surface with a finite number of marked points, under certain genericity conditions on the parabolic structure. This space is homeomorphic to the moduli space of representations of the fundamental group of the punctured surface in $U(p,q)$, with fixed compact holonomy classes around the marked points. We apply our results to the study of representations of the fundamental group of elliptic surfaces of general type.


title: Matrix orthogonal polynomials whose derivatives are also orthogonal

abstract: In this paper we prove some characterizations of the matrix orthogonal polynomials whose derivatives are also orthogonal, which generalize other known ones in the scalar case. In particular, we prove that the corresponding orthogonality matrix functional is characterized by a Pearson-type equation with two matrix polynomials of degree not greater than 2 and 1. The proofs are given for a general sequence of matrix orthogonal polynomials, not necessarily associated with an hermitian functional. However, we give several examples of non-diagonalizable positive definite weight matrices satisfying a Pearson-type equation, which show that the previous results are non-trivial even in the positive definite case. A detailed analysis is made for the class of matrix functionals which satisfy a Pearson-type equation whose polynomial of degree not greater than 2 is scalar. We characterize the Pearson-type equations of this kind that yield a sequence of matrix orthogonal polynomials, and we prove that these matrix orthogonal polynomials satisfy a second order differential equation even in the non-hermitian case. Finally, we prove and improve a conjecture of Duran and Grunbaum concerning the triviality of this class in the positive definite case, while some examples show the non-triviality for hermitian functionals which are not positive definite.


title: On the Dirac equation in a gravitation field and the secondary quantization

abstract: The Dirac equation for massive free electrically neutral spin 1/2 particles in a gravitation field is considered. The secondary quantization procedure is applied to it and the Hilbert space of multiparticle quantum states is constructed.

categories: math.DG astro-ph gr-qc hep-ph hep-th math-ph math.MP quant-ph


title: Lagrangian surfaces in complex Euclidean plane via spherical and hyperbolic curves

abstract: We present a method to construct a large family of Lagrangian surfaces in complex Euclidean plane by using Legendre curves in the 3-sphere and in the anti de Sitter 3-space or, equivalently, by using spherical and hyperbolic curves, respectively. Among this family, we characterize minimal, constant mean curvature, Hamiltonian-minimal and Willmore surfaces in terms of simple properties of the curvature of the generating curves. As applications, we provide explicitly conformal parametrizations of known and new examples of minimal, constant mean curvature, Hamiltonian-minimal and Willmore surfaces in complex Euclidean plane.


title: Applications of Finite Fields to Dynamical Systems and Reverse Engineering Problems

abstract: We present a mathematical model: dynamical systems over finite sets (DSF), and we show that Boolean and discrete genetic models are special cases of DFS. In this paper, we prove that a function defined over finite sets with different number of elements can be represented as a polynomial function over a finite field. Given the data of a function defined over different finite sets, we describe an algorithm to obtain all the polynomial functions associated to this data. As a consequence, all the functions defined in a regulatory network can be represented as a polynomial function in one variable or in several variables over a finite field. We apply these results to study the reverse engineering problem.


title: Genetic Sequential Dynamical Systems

abstract: The whole complex process to obtain a protein encoded by a gene is difficult to include in a mathematical model. There are many models for describing different aspects of a genetic network. Finding a better model is one of the most important and interesting questions in computational biology. Sequential dynamical systems have been developed for a theory of computer simulation, and in this paper, a genetic sequential dynamical system is introduced. A gene is considered to be a function which can take a finite number of values. We prove that a genetic sequential dynamical system is a mathematical good description for a finite state linear model introduced by Brazma in www.ebi.ac.uk/microarray/biology-intro.html, EMBL-EBI, European Bioinformatics Institute, (2000).


title: A Construction of Generalized Harish-Chandra Modules with Arbitrary Minimal k-Type

abstract: Let g be a semisimple complex Lie algebra and k in g be any algebraic subalgebra reductive in g. For any simple finite dimensional k-module V, we construct simple (g; k)-modules M with finite dimensional k-isotypic components such that V is a k-submodule of M and the Vogan norm of any simple k-submodule V' of M; V' not isomorphic to V, is greater than the Vogan norm of V . The (g; k)-modules M are subquotients of the fundamental series of (g; k)-modules introduced in [PZ2].


title: Theory of valuations on manifolds: a survey

abstract: This is a non-technical survey of a recent theory of valuations on manifolds constructed in math.MG/0503397, math.MG/0503399, math.MG/0509512, math.MG/0511171 and actually a guide to this series of articles. We review also some recent related results obtained by a number of people. We formulate some open questions.


title: Escape from a circle and Riemann hypotheses

abstract: We consider open circular billiards with one and with two holes. The exact formulas for escape are obtained which involve the Riemann zeta function and Dirichlet L-functions. It is shown that the problem of finding the exact asymptotics in the small hole limit for escape in some of these billiards is equivalent to the Riemann hypothesis.


title: Quantised coordinate rings of semisimple groups are unique factorisation domains

abstract: We show that the quantum coordinate ring of a semisimple group is a unique factorisation domain in the sense of Chatters and Jordan in the case where the deformation parameter q is a transcendental element.


title: PBW-deformation theory and regular central extensions

abstract: A deformation $U$, of a graded $K$-algebra $A$ is said to be of PBW type if $grU$ is $A$. It has been shown for Koszul and $N$-Koszul algebras that the deformation is PBW if and only if the relations of $U$ satisfy a Jacobi type condition. In particular, for these algebras the determination of the PBW property is a {\it finite} and explicitly determined linear algebra problem. We extend these results to an arbitrary graded $K$-algebra, using the notion of central extensions of algebras and a homological constant attached to $A$ which we call the {\it complexity} of $A$.


title: Quantum duality principle for coisotropic subgroups and Poisson quotients

abstract: We develop a quantum duality principle for coisotropic subgroups of a (formal) Poisson group and its dual: namely, starting from a quantum coisotropic subgroup (for a quantization of a given Poisson group) we provide functorial recipes to produce quantizations of the dual coisotropic subgroup (in the dual formal Poisson group). By the natural link between subgroups and homogeneous spaces, we argue a quantum duality principle for Poisson homogeneous spaces which are Poisson quotients, i.e. have at least one zero-dimensional symplectic leaf. Only bare results are presented, while detailed proofs can be found in math.QA/0412465, or in the reference [3]. The last section contains new, unpublished material about examples and applications, which is not included in math.QA/0412465 (nor in its printed version).


title: The quaternion group as a subgroup of the sphere braid groups

abstract: Let n be greater than or equal to 3. We prove that the quaternion group of order 8 is realised as a subgroup of the sphere braid group B\_n(S^2) if and only if n is even. If n is divisible by 4 then the commutator subgroup of B\_n(S^2) contains such a subgroup. Further, for all n greater than or equal to 3, B\_n(S^2) contains a subgroup isomorphic to the dicyclic group of order 4n.


title: Testing statistical hypothesis on random trees and applications to the protein classification problem

abstract: Efficient automatic protein classification is of central importance in genomic annotation. As an independent way to check the reliability of the classification, we propose a statistical approach to test if two sets of protein domain sequences coming from two families of the Pfam database are significantly different. We model protein sequences as realizations of Variable Length Markov Chains (VLMC) and we use the context trees as a signature of each protein family. Our approach is based on a Kolmogorov--Smirnov-type goodness-of-fit test proposed by Balding et al. [Limit theorems for sequences of random trees (2008), DOI: 10.1007/s11749-008-0092-z]. The test statistic is a supremum over the space of trees of a function of the two samples; its computation grows, in principle, exponentially fast with the maximal number of nodes of the potential trees. We show how to transform this problem into a max-flow over a related graph which can be solved using a Ford--Fulkerson algorithm in polynomial time on that number. We apply the test to 10 randomly chosen protein domain families from the seed of Pfam-A database (high quality, manually curated families). The test shows that the distributions of context trees coming from different families are significantly different. We emphasize that this is a novel mathematical approach to validate the automatic clustering of sequences in any context. We also study the performance of the test via simulations on Galton--Watson related processes.


title: Logarithmic behavior of some combinatorial sequences

abstract: Two general methods for establishing the logarithmic behavior of recursively defined sequences of real numbers are presented. One is the interlacing method, and the other one is based on calculus. Both methods are used to prove logarithmic behavior of some combinatorially relevant sequences, such as Motzkin and Schr\"oder numbers, sequences of values of some classic orthogonal polynomials, and many others. The calculus method extends also to two- (or more-) indexed sequences.


title: Conservation laws for conformal invariant variational problems

abstract: We succeed in writing 2-dimensional conformally invariant non-linear elliptic PDE (harmonic map equation, prescribed mean curvature equations...etc) in divergence form. This divergence free quantities generalize to target manifolds without symmetries the well known conservation laws for harmonic maps into homogeneous spaces. From this form we can recover, without the use of moving frame, all the classical regularity results known for 2-dimensional conformally invariant non-linear elliptic PDE . It enable us also to establish new results. In particular we solve a conjecture by E.Heinz asserting that the solutions to the precribed bounded mean curvature equation in arbitrary manifolds are continuous.


title: Some results on Bernstein-Sato polynomials for parametric analytic functions

abstract: This is the second part of a work dedicated to the study of Bernstein-Sato polynomials for several analytic functions depending on parameters. In this part, we give constructive results generalizing previous ones obtained by the author in the case of one function. We also make an extensive study of an example for which we give an expression of a generic (and under some conditions, a relative) Bernstein-Sato polynomial.


title: On the collision between two PNG droplets

abstract: In this article we study the interface generated by the collision between two cristals growing layer by layer on a one-dimensional substrate through random decomposition of particles. We relate this interface with the notion of beta-path in an equivalent directed polymer model and, by using asymptotics results from Baik and Rains (2000) and some hydrodynamic tools introduced by Cator and Groeenenboon (2005), we derive a law of large numbers for such a path and obtain some bounds for its fluctuations.


title: Nested set complexes of Dowling lattices and complexes of Dowling trees

abstract: Given a finite group G and a natural number n, we study the structure of the complex of nested sets of the associated Dowling lattice Q(G) and of its subposet of the G-symmetric partitions Q_G which was recently introduced by Hultman together with the complex of G-symmetric phylogenetic trees T_G. Hultman shows that T_G and Q_G are homotopy equivalent and Cohen-Macaulay, and determines the rank of their top homology. An application of the theory of building sets and nested set complexes by Feichtner and Kozlov shows that in fact T_G is subdivided by the order complex of Q_G. We introduce the complex of Dowling trees T(G) and prove that it is subdivided by the order complex of Q(G) and contains T_G as a subcomplex. We show that T(G) is obtained from T_G by successive coning over certain subcomplexes. We explicitly and independently calculate how many homology spheres are added in passing from T_G to T(G).


title: Decomposition of some pointed Hopf algebras given by the canonical Nakayama automorphism

abstract: Every finite dimensional Hopf algebra is a Frobenius algebra, with Frobenius homomorphism given by an integral. The Nakayama automorphism determined by it yields a decomposition with degrees in a cyclic group. For a family of pointed Hopf algebras, we determine necessary and sufficient conditions for this decomposition to be strongly graded.


title: Robert MacPherson and arithmetic groups

abstract: We survey contributions of Robert MacPherson to the theory of arithmetic groups. There are two main areas we discuss: (i) explicit reduction theory for Siegel modular threefolds, and (ii) constructions of compactifications of locally symmetric spaces. The former is joint work with Mark McConnell, the latter with Lizhen Ji.


title: Maximal commutative subalgebras, Poisson geometry and Hochschild homology

abstract: A Poisson geometry arising from maximal commutative subalgebras is studied. A spectral sequence convergent to Hochschild homology with coefficients in a bimodule is presented. It depends on the choice of a maximal commutative subalgebra inducing appropriate filtrations. Its E^{2}_{p,q}-groups are computed in terms of canonical homology with values in a Poisson module defined by a given bimodule and a maximal commutative subalgebra.


title: A family of p-adic isometries, fixed points, and the number three

abstract: We study a continuous family of norm-preserving isometries of the p-adic unit disk, given as interpolations of a common arithmetic function, the q-analog of the identity, for principal p-adic units q. We show that the fixed point set is trivial except when p=3 and q is a generator of the principal 3-adic units; in that case the isometry given by each q has a unique nontrivial 3-adic fixed point, varying homeomorphically with q.


title: Ample filters and Frobenius amplitude

abstract: Let $X$ be a projective scheme over a field. We show that the vanishing cohomology of any sequence of coherent sheaves is closely related to vanishing under pullbacks by the Frobenius morphism. We also compare various definitions of ample locally free sheaf and show that the vanishing given by the Frobenius morphism is, in a certain sense, the strongest possible. Our work can be viewed as various generalizations of the Serre Vanishing Theorem.


title: Motives of unitary and orthogonal homogeneous varieties

abstract: Grothendieck-Chow motives of quadric hypersurfaces have provided many insights into the theory of quadratic forms. Subsequently, the landscape of motives of more general projective homogeneous varieties has begun to emerge. In particular, there have been many results which relate the motive of a one homogeneous variety to motives of other simpler or smaller ones. In this paper, we exhibit a relationship between motives of two homogeneous varieties by producing a natural rational map between them which becomes a projective bundle morphism after being resolved. This allows one to use formulas for projective bundles and blowing up to relate the motives of the two varieties. We believe that in the future this ideas could be used to discover more relationships between other types of homogeneous varieties.


title: Weak disorder for low dimensional polymers: The model of stable laws

abstract: In this paper, we consider directed polymers in random environment with long range jumps in discrete space and time. We extend to this case some techniques, results and classifications known in the usual short range case. However, some properties are drastically different when the underlying random walk belongs to the domain of attraction of an $\a$-stable law. For instance, we construct natural examples of directed polymers in random environment which experience weak disorder in low dimension.


title: Homotopical Aspects of Commutative Algebras

abstract: This article investigates the homotopy theory of simplicial commutative algebras with a view to homological applications.


title: Transient random walks on a strip in a random environment

abstract: We consider transient random walks on a strip in a random environment. The model was introduced by Bolthausen and Goldsheid [Comm. Math. Phys. 214 (2000) 429--447]. We derive a strong law of large numbers for the random walks in a general ergodic setup and obtain an annealed central limit theorem in the case of uniformly mixing environments. In addition, we prove that the law of the "environment viewed from the position of the walker" converges to a limiting distribution if the environment is an i.i.d. sequence.


title: On elliptic boundary value problems of order 2m in cylindrical domain of large size

abstract: This paper is concerned with the convergence of the solution of general elliptic boundary value problems in cylindrical domain, when some directions of the domain go to infinity.


title: Low-degree minimal spanning trees in normed spaces

abstract: We give a complete proof that in any finite-dimensional normed linear space a finite set of points has a minimal spanning tree in which the maximum degree is bounded above by the strict Hadwiger number of the unit ball, i.e., the largest number of unit vectors such that the distance between any two is larger than 1.


title: Standard Module Conjecture

abstract: Let G be a quasi-split p-adic group. Under the assumption that the local coefficients $C_{\psi}$ defined with respect to $\psi $-generic tempered representations of standard Levi subgroups of G are regular in the negative Weyl chamber, we show that the standard module conjecture is true, which means that the Langlands quotient of a standard module is generic if and only if the standard module is irreducible.


title: A generalization of the normal holomorphic frames in Symplectic Manifolds

abstract: In this paper we give a generalization of the normal holomorphic frames in the symplectic manifolds and find conditions for the integrability of complex structures.


title: Braid Group of a Genetic Code

abstract: For every group genetic code with finite number of generating and at most with one defining relation we introduce the braid group of this genetic code. This construction includes the braid group of Euclidean plane, the braid groups of closed orientable surfaces, B type groups of Artin-Brieskorn, and allow us to study all these groups with common point of view. We present some results on the structure of the braid groups of genetic codes, describe normal form of words, torsion, and some results on widths of the verbal subgroups. Also we prove that Scott's system of defining relations for the braid groups of closed surfaces is contradictory.


title: Regge and Okamoto symmetries

abstract: We will relate the surprising Regge symmetry of the Racah-Wigner 6j symbols to the surprising Okamoto symmetry of the Painleve VI differential equation. This then presents the opportunity to give a conceptual derivation of the Regge symmetry, as the representation theoretic analogue of the author's previous derivation of the Okamoto symmetry. [The resulting derivation is quite simple, so it would be surprising if it has not been previously observed. Any references would be appreciated!]


title: The braid group of Z^n

abstract: We define pseudo-Garside groups and prove a theorem about them parallel to Garside's result on the word problem for the usual braid groups. The main novelty is that the set of simple elements can be infinite. We introduce a group B=B(Z^n) which we call the braid group of Z^n, and which bears some vague resemblance to mapping class groups. It is to GL(n,Z) what the braid group is to the symmetric group S_n. We prove that B is a pseudo-Garside group. We give a small presentation for B(Z^n) assuming one for B(Z^3) is given.