title: Fixing the functoriality of Khovanov homology

abstract: We describe a modification of Khovanov homology (math.QA/9908171), in the spirit of Bar-Natan (math.GT/0410495), which makes the theory properly functorial with respect to link cobordisms. This requires introducing `disorientations' in the category of smoothings and abstract cobordisms between them used in Bar-Natan's definition. Disorientations have `seams' separating oppositely oriented regions, coming with a preferred normal direction. The seams satisfy certain relations (just as the underlying cobordisms satisfy relations such as the neck cutting relation). We construct explicit chain maps for the various Reidemeister moves, then prove that the compositions of chain maps associated to each side of each of Carter and Saito's movie moves (MR1238875, MR1445361) always agree. These calculations are greatly simplified by following arguments due to Bar-Natan and Khovanov, which ensure that the two compositions must agree, up to a sign. We set up this argument in our context by proving a result about duality in Khovanov homology, generalising previous results about mirror images of knots to a `local' result about tangles. Along the way, we reproduce Jacobsson's sign table (math.GT/0206303) for the original `unoriented theory', with a few disagreements.


title: Localization in tame and wild coalgebras

abstract: We apply the theory of localization for tame and wild coalgebras in order to prove the following theorem: "Let Q be an acyclic quiver. Then any tame admissible subcoalgebra of KQ is the path coalgebra of a quiver with relations".


title: An a posteriori condition on the numerical approximations of the Navier-Stokes equations for the existence of a strong solution

abstract: In their 2006 paper, Chernyshenko et al prove that a sufficiently smooth strong solution of the 3d Navier-Stokes equations is robust with respect to small enough changes in initial conditions and forcing function. They also show that if a regular enough strong solution exists then Galerkin approximations converge to it. They then use these results to conclude that the existence of a sufficiently regular strong solution can be verified using sufficiently refined numerical computations. In this paper we study the solutions with minimal required regularity to be strong, which are less regular than those considered in Chernyshenko et al (2006). We prove a similar robustness result and show the validity of the results relating convergent numerical computations and the existence of the strong solutions.


title: Convergence and divergence of Kleinian punctured torus groups

abstract: In this paper we give a necessary and sufficient condition in which a sequence of Kleinian punctured torus groups converges. This result tells us that every exotically convergent sequence of Kleinian punctured torus groups is obtained by the method due to Anderson and Canary. Thus we obtain a complete description of the set of points at which the space of Kleinian punctured torus groups self-bumps. We also discuss geometric limits of sequences of Bers slices.


title: Hermitian vector bundles and extension groups on arithmetic schemes. I. Geometry of numbers

abstract: We define and investigate extension groups in the context of Arakelov geometry. The 'arithmetic extension groups' we introduce are extensions by groups of analytic types of the usual extension groups attached to $\O_X$-modules over an arithmetic scheme $X$. In this paper, we focus on the first arithmetic extension group - the elements of which may be described in terms of admissible short exact sequences of hermitian vector bundles over $X$ - and we especially consider the case when $X$ is an 'arithmetic curve', namely the spectrum $\Spec \O_K$ of the ring of integers in some number field $K$. Then the study of arithmetic extensions over $X$ is related to old and new problems concerning lattices and the geometry of numbers.


title: Fundamental solutions in the Colombeau framework: applications to solvability and regularity theory

abstract: In this article we introduce the notion of fundamental solution in the Colombeau context as an element of the dual $\LL(\Gc(\R^n),\wt{\C})$. After having proved the existence of a fundamental solution for a large class of partial differential operators with constant Colombeau coefficients, we investigate the relationships between fundamental solutions in $\LL(\Gc(\R^n),\wt{\C})$, Colombeau solvability and $\G$- and $\Ginf$-hypoellipticity respectively.


title: Irrationality proof of certain Lambert series using little q-Jacobi polynomials

abstract: We apply the Pade technique to find rational approximations to % \[h^{\pm}(q_1,q_2)=\sum_{k=1}^\infty\frac{\q_1^k}{1\pm \q_2^k}, 0<q_1,q_2<1, q_1\in\mathbb{Q}, q_2=1/p_2, p_2\in\mathbb{N}\setminus\{1\}.\] % A separate section is dedicated to the special case $q_i=q^{r_i}, r_i\in\mathbb{N}, q=1/p, p\in\mathbb{N}\setminus\{1\}$. In this construction we make use of little $q$-Jacobi polynomials. Our rational approximations are good enough to prove the irrationality of $h^{\pm}(q_1,q_2)$ and give an upper bound for the irrationality measure.


title: Percolation on dense graph sequences

abstract: In this paper we determine the percolation threshold for an arbitrary sequence of dense graphs $(G_n)$. Let $\lambda_n$ be the largest eigenvalue of the adjacency matrix of $G_n$, and let $G_n(p_n)$ be the random subgraph of $G_n$ obtained by keeping each edge independently with probability $p_n$. We show that the appearance of a giant component in $G_n(p_n)$ has a sharp threshold at $p_n=1/\lambda_n$. In fact, we prove much more: if $(G_n)$ converges to an irreducible limit, then the density of the largest component of $G_n(c/n)$ tends to the survival probability of a multi-type branching process defined in terms of this limit. Here the notions of convergence and limit are those of Borgs, Chayes, Lov\'asz, S\'os and Vesztergombi. In addition to using basic properties of convergence, we make heavy use of the methods of Bollob\'as, Janson and Riordan, who used multi-type branching processes to study the emergence of a giant component in a very broad family of sparse inhomogeneous random graphs.


title: Efficient estimation of the cardinality of large data sets

abstract: F.Giroire has recently proposed an algorithm which returns the approximate number of distincts elements in a large sequence of words, under strong constraints coming from the analysis of large data bases. His estimation is based on statistical properties of uniform random variables in $[0,1]$. In this note we propose an optimal estimation, using Kullback information and estimation theory.


title: Rational points on quartic hypersurfaces

abstract: Let X be a non-singular projective hypersurface of degree 4, which is defined over the rational numbers. Assume that X has dimension 39 or more, and that X contains a real point and p-adic points for every prime p. Then X is shown to contain infinitely many rational points.


title: Quantum Layers over Surfaces Ruled Outside a Compact Set

abstract: In this paper, we proved the quantum layer over a surface which is ruled outside a compact set, asymptotically flat but not totally geodesic admits ground states.


title: Coformality and the rational homotopy groups of spaces of long knots

abstract: We show that the Bousfield-Kan spectral sequence which computes the rational homotopy groups of the space of long knots in ${\mathbb R}^d$, where $d\ge 4$, collapses at the $E^2$ page. The main ingredients in the proof are Sinha's cosimplicial model for the space of long knots and a coformality result for the little balls operad.


title: Group algebras of Kleinian type and groups of units

abstract: The algebras of Kleinian type are finite dimensional semisimple rational algebras $A$ such that the group of units of an order in $A$ is commensurable with a direct product of Kleinian groups. We classify the Schur algebras of Kleinian type and the group algebras of Kleinian type. As an application, we characterize the group rings $RG$, with $R$ an order in a number field and $G$ a finite group, such that $RG^*$ is virtually a direct product of free-by-free groups.


title: A Minkowski Type Trace Inequality and Strong Subadditivity of Quantum Entropy

abstract: We consider the following trace function on n-tuples of positive operators: \Phi_p(A_1,A_2,...,A_n) = Trace (\sum_{j=1}^n A_j^p)^{1/p} and prove that it is jointly concave for 0<p\le 1 and convex for p=2. We then derive from this a Minkowski type inequality for operators on a tensor product of three Hilbert spaces, and show how this implies the strong subadditivity of quantum mechanical entropy. For p>2, \Phi_p is neither convex nor concave. We conjecture that \Phi_p is convex for 1<p<2, but our methods do not show this.

categories: math.OA math-ph math.MP math.SP quant-ph


title: Andreotti-Mayer loci and the Schottky problem

abstract: We prove a lower bound for the codimension of the Andreotti-Mayer locus N_{g,1} and show that the lower bound is reached only for the hyperelliptic locus in genus 4 and the Jacobian locus in genus 5. In relation with the boundary of the Andreotti-Mayer loci we study subvarieties of principally polarized abelian varieties (B,Theta) parametrizing points b such that Theta and the translate Theta_b are tangentially degenerate along a variety of a given dimension.


title: On the "Multiple of the Inclusion Plus Compact" Problem

abstract: The ``multiple of the inclusion plus compact problem'' which was posed by T.W. Gowers in 1996 and Th. Schlumprecht in 2003, asks whether for every infinite dimensional Banach space $X$ there exists a closed subspace $Y$ of $X$ and a bounded linear operator from $Y$ to $X$ which is not a compact perturbation of a multiple of the inclusion map from $Y$ to $X$. We give sufficient conditions on the spreading models of seminormalized basic sequences of a Banach space $X$ which guarantee that the ``multiple of the inclusion plus compact'' problem has an affirmative answer for $X$. Our results strengthen a previous result of the first named author, E.~Odell, Th. Schlumprecht and N. Tomczak-Jaegermann as well as a result of Th. Schlumprecht. We give an example of a Hereditarily Indecomposable Banach space where our results apply. For the proof of our main result we use an extension of E. Odell's Schreier unconditionality result for arrays.


title: Class of the infinitesimal generator of a diffeomorphism in $(\C^m,0)$

abstract: Let $F$ be an analytic diffeomorphism in $(\C^m,0)$ tangent to the identity of order $n$. The infinitesimal generator of $F$ is the formal vector field $X$ such that $\Exp X=F$. In this paper we provide an elementary proof of the fact that $X$ belongs to the Gevrey class of order $1/n$.


title: A Bayesian Hierarchical Modeling Approach to Dietary Assessment via Food Frequency

abstract: Previous likelihood-based linear modeling of nutritional data has been limited by the availability of software that allows flexible error structures in the data. We demonstrate the use of a Bayesian modeling approach to the analysis of such data. Our goal is to model the relationship between the energy intake derived from Food Frequency Questionnaires (FFQs) and the energy expenditure estimated from the doubly labeled water method. We consider models with different distributions for the FFQ energy intake. The models include previously identified covariates describing social desirability, education and their possible interaction that are felt to impact the reported FFQ. The models also include random effects to account for subject specific random variation (frailty) and also to account for the complex patterns of measurement error inherent in these data. Issues arising within the work relate both to the selection of relevant linear and non-linear models, the use of random effects, and the relevance of goodness-of-fit criteria such as DIC and PPL in assessing the most appropriate model.


title: Lie structure in semiprime superalgebrs with superinvolution

abstract: In this paper we investigate the Lie structure of the Lie superalgebra K of skew elements of a semiprime associative superalgebra A with superinvolution. We show that if U is a Lie ideal of K, then either there exists an ideal J of A such that a determined nonzero Lie ideal connected with J is contained in U, or A is a subdirect sum of A', A'', where the image of U in A' is central, and A'' is a subdirect product of orders in simple superalgebras, each at most 16-dimensional over its center.


title: Cure-rate estimation under Case-1 interval censoring

abstract: We consider nonparametric estimation of cure-rate based on mixture model under Case-1 interval censoring. We show that the nonparametric maximum-likelihood estimator (NPMLE) of cure-rate is non-unique as well as inconsistent, and propose two estimators based on the NPMLE of the distribution function under this censoring model. We present a cross-validation method for choosing a `cut-off' point needed for the estimators. The limiting distributions of the latter are obtained using extreme-value theory. Graphical illustration of the procedures based on simulated data are provided.


title: A graph theoretic interpretation of the mean first passage times

abstract: Let $m_{ij}$ be the mean first passage time from state $i$ to state $j$ in an $n$-state ergodic homogeneous Markov chain with transition matrix $T$. Let $G$ be the weighted digraph without loops whose vertex set coincides with the set of states of the Markov chain and arc weights are equal to the corresponding transition probabilities. We give a graph-theoretic interpretation to $m_{ij}$. Namely, We show that $m_{ij}=f_{ij}/q_j$ if $i\ne j$ and $m_{ij}=1/\tilde q_j$ if $i=j$, where $f_{ij}$ is the total weight of 2-tree spanning converging forests in $G$ that have one tree containing $i$ and the other tree converging to $j$, $q_j$ is the total weight of spanning trees converging to $j$ in $G$, and $\tilde q_j=q_j/\sum_{k=1}^nq_k$. The result is illustrated by an example. Keywords: Markov chain; Mean first passage time; Spanning rooted forest; Matrix forest theorem; Laplacian matrix


title: A mathematical approach to the nonequilibrium work theorem

abstract: We develop a mathematical approach to the nonequilibrium work theorem which is traditionally referred to in statistical mechanics as Jarzynski's identity. We suggest a mathematically rigorous formulation and proof of the identity.


title: Rank gradient, cost of groups and the rank versus Heegaard genus problem

abstract: We study the growth of the rank of subgroups of finite index in residually finite groups, by relating it to the notion of cost. As a by-product, we show that the `Rank vs. Heegaard genus' conjecture on hyperbolic 3-manifolds is incompatible with the `Fixed Price problem' in topological dynamics.


title: Integral ratios of factorials and algebraic hypergeometric functions

abstract: Sketch of proof of a theorem relating the two subjects of the title. It can be thought as an extension of results of Landau for the classical hypergeometric function. It relies on the characterization of algebraic hypergeometric functions of Beukers and Heckman. In the process we also show that a variant of a classical construction of Bezout (producing a quadratic form, the Bezoutian, out of two polynomials in one variable) gives the Hermitian form fixed by the monodromy group, up to scaling.


title: A particle system in interaction with a rapidly varying environment: Mean field limits and applications

abstract: We study an interacting particle system whose dynamics depends on an interacting random environment. As the number of particles grows large, the transition rate of the particles slows down (perhaps because they share a common resource of fixed capacity). The transition rate of a particle is determined by its state, by the empirical distribution of all the particles and by a rapidly varying environment. The transitions of the environment are determined by the empirical distribution of the particles. We prove the propagation of chaos on the path space of the particles and establish that the limiting trajectory of the empirical measure of the states of the particles satisfies a deterministic differential equation. This deterministic differential equation involves the time averages of the environment process. We apply our results to analyze the performance of communication networks where users access some resources using random distributed multi-access algorithms. For these networks, we show that the environment process corresponds to a process describing the number of clients in a certain loss network, which allows us provide simple and explicit expressions of the network performance.


title: Stabilizers of functional Menger systems

abstract: A functional Menger system is a set of $n$-place functions containing $n$ projections and closed under the so-called Menger's composition of $n$-place functions. We give the abstract characterization for subsets of these functional systems which contain functions having one common fixed point.


title: Lacunary hyperbolic groups

abstract: We call a finitely generated group lacunary hyperbolic if one of its asymptotic cones is an R-tree. We characterize lacunary hyperbolic groups as direct limits of Gromov hyperbolic groups satisfying certain restrictions on the hyperbolicity constants and injectivity radii. Using central extensions of lacunary hyperbolic groups, we solve a problem of Gromov by constructing a group whose asymptotic cone C has countable but non-trivial fundamental group (in fact C is homeomorphic to the direct product of a tree and a circle, so \pi_1(C)=Z). We show that the class of lacunary hyperbolic groups contains elementary amenable groups, groups with all proper subgroups cyclic, and torsion groups. This allows us to solve two problems of Drutu and Sapir, and a problem of Kleiner about groups with cut-points in their asymptotic cones. We also construct a finitely generated group whose divergence function is not linear but is arbitrarily close to being linear. This answers a question of Behrstock.


title: On Goulden-Jackson's determinantal expression for the immanant

abstract: In 1992, Goulden and Jackson found a beautiful determinantal expression for the immanant of a matrix. This paper proves the same result combinatorially.


title: On the Gauss-Manin connection in cyclic homology

abstract: We define Getzler's Gauss-Manin connection in cyclic homology at the level of chains and outline some relations of this construction to noncommutative calculus.


title: Spectrum through pseudospectrum

abstract: We present an iteration for the computation of simple eigenvalues using a pseudospectrum approach. The most appealing characteristic of the proposed iteration is that it reduces the computation of a single eigenvalue to a small number of eigenvalue computations on Hermitian matrices. We show that this number is directly associated with the matrix pseudospectrum. We present numerical results and we discuss advantages and drawbacks of the method. We also discuss its relationship with an iteration that was proposed independently in [Stewart, O' Leary, ETNA, Vol 8, 1998].


title: Daehee Formula Associated with the q-Extensions of Trigonometric Functions

abstract: In this paper we introduce a Daehee constant which is called q-extension of Napier constant, and consider Daehee formula associated with the qextensions of trigonometric functions. That is, we derive the q-extensions of sine and cosine functions from this Daehee formula. Finally, we give the q-calculus related to the q-extensions of sine and cosine functions.


title: Kleinian groups in higher dimensions

abstract: This is a survey of higher-dimensional Kleinian groups, i.e., discrete isometry groups of the hyperbolic n-space for n greater than 3. Our main emphasis is on the topological and geometric aspects of higher-dimensional Kleinian groups and their contrast with the discrete groups of isometry of the hyperbolic 3-space.


title: Treating the Future Equally: Solving Undiscounted Infinite Horizon Optimization Problems

abstract: Infinite horizon optimization problems accompany two perplexities. First, the infinite series of utility sequences may diverge. Second, boundary conditions at the infinite terminal time may not be rigorously expressed. In this paper, we show that under two fairly general conditions, the limit of the solution to the undiscounted finite horizon problem is optimal among feasible paths for the undiscounted infinite horizon problem, in the sense of the overtaking criterion. Applied to a simple Ramsey model, we show that the derived path contains intriguing properties. We also comprehend the legitimacy of the derived paths by addressing the perplexities with non-standard arguments.


title: On uniqueness of maximal coupling for diffusion processes with a reflection

abstract: A maximal coupling of two diffusion processes makes two diffusion particles meet as early as possible. We study the uniqueness of maximal couplings under a sort of "reflection structure" which ensures the existence of such couplings. In this framework, the uniqueness in the class of Markovian couplings holds for the Brownian motion on a Riemannian manifold whereas it fails in more singular cases. We also prove that a Kendall-Cranston coupling is maximal under the reflection structure.


title: A new approach to hyperbolic inverse problems II (Global step)

abstract: We study the inverse problem for the second order self-adjoint hyperbolic equation with the boundary data given on a part of the boundary. This paper is the continuation of the author's paper [E]. In [E] we presented the crucial local step of the proof. In this paper we prove the global step. Our method is a modification of the BC-method with some new ideas. In particular, the way of the determination of the metric is new.


title: On the motivic measure on the space of functions

abstract: Motivic measure on the space of functions was introduced by Campillo, Delgado and Gusein-Zade as an analog of the motivic measure on the space of arcs . In this paper we prove that the measure on the space of functions can be related to the motivic measure on the space of arcs by a factor, which can be defined explicitly in geometric terms. This provides a possibility to rewrite motivic integrals over the space of functions as integrals over the union of all symmetric powers of the space of arcs.


title: Elliptic curves and explicit enumeration of irreducible polynomials with two coefficients prescribed

abstract: Let $F_q$ be a finite field of characteristic $p=2,3$. We give the number of irreducible polynomials $x^m+a_{m-1}x^{m-1}+...+a_0\in\F_q[x]$ with $a_{m-1}$ and $a_{m-3}$ prescribed for any given $m$ if $p=2$, and with $a_{m-1}$ and $a_1$ prescribed for $m=1,...,10$ if $p=2,3$.


title: A Barth-Lefschetz theorem for submanifolds of a product of projective spaces

abstract: Let $X$ be a complex submanifold of dimension $d$ of $\mathbb P^m\times\mathbb P^n$ ($m\geq n\geq 2$) and denote by $\alpha\colon\Pic(\mathbb P^m\times\mathbb P^n)\to \Pic(X)$ the restriction map of Picard groups, by $N_{X|\mathbb P^m\times\mathbb P^n}$ the normal bundle of $X$ in $\mathbb P^m\times\mathbb P^n$. Set $t:=\max\{\dim\pi_1(X),\dim\pi_2(X)\}$, where $\pi_1$ and $\pi_2$ are the two projections of $\mathbb P^m\times\mathbb P^n$. We prove a Barth-Lefschetz type result as follows: {\em Theorem.} {\it If $d\geq \frac{m+n+t+1}{2}$ then $X$ is algebraically simply connected, the map $\alpha$ is injective and $\Coker(\alpha)$ is torsion-free. Moreover $\alpha$ is an isomorphism if $d\geq\frac{m+n+t+2}{2}$, or if $d=\frac{m+n+t+1}{2}$ and $N_{X|\mathbb P^m\times\mathbb P^n}$ is decomposable.} These bounds are optimal. The main technical ingredients in the proof are: the Kodaira-Le Potier vanishing theorem in the generalized form of Sommese (\cite{LP}, \cite{ShS}), the join construction and an algebraisation result of Faltings concerning small codimensional subvarieties in $\mathbb P^N$ (see \cite{Fa}).


title: Commuting linear operators and decompositions; applications to Einstein manifolds

abstract: For linear operators which factor with suitable assumptions concerning commutativity of the factors, we introduce several notions of a decomposition. When any of these hold then questions of null space and range are subordinated to the same questions for the factors, or certain compositions thereof. When the factors are polynomial in other commuting operators then we show that, in a suitable sense, generically factorisations algebraically yield decompositions. In the case of operators on a space over an algebraically closed field this boils down to elementary algebraic geometry arising from the polynomial formula for the orginal operator. Applied to operators P polynomial in single other operator D this shows that the solution space for P decomposes directly into a sum of generalised eigenspaces for D. We give universal formulae for the projectors administering the decomposition. In the generic setting the inhomogenous problems for P reduce to an equivalent inhomogeneous problem for an operator linear in D. These results are independent of the operator D, and so provide a route to progressing such questions when functional calculus is unavailable. Related generalising results are obtained as well as a treatment for operators on vector spaces over arbitrary fields. We introduce and discuss symmetry algebras for such operators. As a motivating example application we treat, on Einstein manifolds, the conformal Laplacian operators of Graham-Jenne-Mason-Sparling.


title: Deformation Quantization and Reduction

abstract: This note is an overview of the Poisson sigma model (PSM) and its applications in deformation quantization. Reduction of coisotropic and pre-Poisson submanifolds, their appearance as branes of the PSM, quantization in terms of L-infinity and A-infinity algebras, and bimodule structures are recalled. As an application, an "almost" functorial quantization of Poisson maps is presented if no anomalies occur. This leads in principle to a novel approach for the quantization of Poisson-Lie groups.


title: Addendum to "On Super-Jordanian ${\cal U}_{\sf h}(sl(N|1))$ Algebra

abstract: We give a complete proof of the result (2.10) presented in our paper published in J. Phys. A: Math. Gen. 39 (2006) 8307.


title: Deformations of gerbes on smooth manifolds

abstract: We identify the 2-groupoid of deformations of a gerbe on a smooth manifold with the Deligne 2-groupoid of a corresponding twist of the DGLA of local Hochschild cochains on infinite jets of smooth functions.


title: Concrete and abstract structure of the sandpile group for thick trees with loops

abstract: We answer a question of Laszlo Babai concerning the abelian sandpile model. Given a graph, the model yields a finite abelian group of recurrent configurations which is closely related to the combinatorial Laplacian of the graph. We explicitly describe the group elements and operations in the case of thick trees with loops--that is, graphs which are obtained from trees by setting arbitrary edge multiplicities and adding loops at vertices. We do this both concretely (by describing the so-called recurrent and identity configurations) and abstractly (by computing the group's abstract structure), and define maps identifying the two.


title: Rational Misiurewicz maps are rare

abstract: We show that the set of Misiurewicz maps has Lebesgue measure zero in the parameter space of rational maps for any fixed degree greater than or equal to 2.


title: Spectral Geometry and Asymptotically Conic Convergence

abstract: In this paper we define a new convergence called "asymptotically conic convergence" in which a smooth family of Riemannian metrics on a fixed compact manifold degenerate to a metric with isolated conic singularity. Our results are: convergence of the spectrum of the geometric Laplacians and uniform convergence of the corresponding heat kernels and existence of a full asymptotic expansion with uniform convergence for all time. Techniques include: the resolution of a conic singularity using a new "resolution blowup" and microlocal analysis using pseudodifferential operator calculi on manifolds with corners constructed by various (standard and non-standard) blowups.


title: On character varieties, sets of discrete characters, and non-zero degree maps

abstract: In this paper we use character variety methods to study homomorphisms between the fundamental groups of 3-manifolds, in particular those induced by non-zero degree maps. A {\it knot manifold} is a compact, connected, irreducible, orientable 3-manifold whose boundary is an incompressible torus. A {\it virtual epimorphism} is a homomorphism whose image is of finite index in its range. We show that the existence of such homomorphisms places constraints on the algebraic decomposition of a knot manifold's $PSL_2(\mathbb C)$-character variety and consequently determine a priori bounds on the number of virtual epimorphisms between the fundamental groups of small knot manifolds with a fixed domain. In the second part of the paper we fix a small knot manifold $M$ and investigate various sets of characters of representations with discrete image in $PSL_2(\mathbb C)$. The topology of these sets is intimately related to the algebraic structure of the $PSL_2(\mathbb C)$-character variety of $M$ as well as dominations of manifolds by $M$ and its Dehn fillings. In particular, we apply our results to study families of non-zero degree maps $f_n: M(\alpha_n) \to V_n$ where $M(\alpha_n)$ is the $\alpha_n$-Dehn filling of $M$ and $V_n$ is either a hyperbolic manifold or $\widetilde{SL_2}$ manifold. We show that quite often, up to taking a subsequence, there is a knot manifold $V$, slopes $\beta_j$ on $\partial V$ such that $V_j \cong V(\beta_j)$, and a non-zero degree map $M \to V$ which induces $f_j$ up to homotopy. The work of the first part of the paper is then applied to construct infinite families of small, closed, connected, orientable 3-manifolds which do not admit non-zero degree maps, other than homeomorphisms, to any hyperbolic manifold, or even manifolds with infinite fundamental groups.


title: The Structure of Two-parabolic Space: Parabolic Dust and Iteration

abstract: A non-elementary M\"obius group generated by two-parabolics is determined up to conjugation by one complex parameter and the parameter space has been extensively studied. In this paper, we use the results of \cite{GW} to obtain an additional structure for the parameter space, which we term the {\sl two-parabolic space}. This structure allows us to identify groups that contain additional conjugacy classes of primitive parabolics, which following \cite{Indra} we call {\sl parabolic dust groups}, non-free groups off the real axis, and groups that are both parabolic dust and non-free; some of these contain $\mathbb{Z} \times \mathbb{Z}$ subgroups. The structure theorem also attaches additional geometric structure to discrete and non-discrete groups lying in given regions of the parameter space including a new explicit construction of some non-classical $\T$Schottky groups.


title: Hereditary is Hereditary

abstract: This paper has been withdrawn by the authors, due an error in Theorem 3.1 : the induced module is not in general a submodule.


title: On conformal moduli of polygonal quadrilaterals

abstract: The change of conformal moduli of polygonal quadrilaterals under some geometric transformations is studied. We consider the motion of one vertex when the other vertices remain fixed, the rotation of sides, polarization, symmetrization, and averaging transformation of the quadrilaterals. Some open problems are formulated.


title: On complete system of covariants for the binary form of degree 7

abstract: A minimal system of 147 homogeneous generating elements of the algebra of covariants for the binary form of degree 7 is calculated.


title: Examples of Riemannian Manifolds with non-negative sectional curvature

abstract: An updated version with a few corrections.


title: The birthday problem and Markov chain Monte Carlo

abstract: We study the problem of generating a sample from the stationary distribution of a Markov chain, given a method to simulate the chain. We give an approximation algorithm for the case of a random walk on a regular graph with n vertices that runs in expected time O^*(\sqrt{n} x L^2-mixing time). This is close to the best possible, since \sqrt{n} is a lower bound on the worst-case expected running time of any algorithm.


title: An Improved Lower Bound for Moser's Worm Problem

abstract: We show that any convex region which contains a unit segment, an equilateral triangle of sides 1/2, and a square of side 1/3 always has area at least 0.227498. Using grid-search algorithm, we attempt to find a configuration of these three objects with minimal convex hull area. Consequently, we improve a lower bound for Moser's worm problem from 0.2194 to 0.227498.


title: On a question of Bourgain about geometric incidences

abstract: Given a set of $s$ points and a set of $n^2$ lines in three-dimensional Euclidean space such that each line is incident the $n$ points but no $n$ lines are coplanar, then we have $s=\Omega(n^{11/4})$. This is the first nontrivial answer to a question recently posed by Jean Bourgain.


title: Robust Understanding of Word Problems with Extraneous Information

abstract: Understanding of free-format multi-step arithmetic word problems with extraneous information is discussed. A model including a full set of general skills necessary for understanding such problems was developed and computer implemented. The validity of the simulation was confirmed by testing on a variety of word problems with extraneous information. The results of this study show the way for moving from an intuitive understanding of word problems to a conscious and controlled process.


title: Periodic solutions of forced Kirchhoff equations

abstract: We consider Kirchhoff equations for vibrating bodies in any dimension in presence of a time-periodic external forcing with period 2pi/omega and amplitude epsilon, both for Dirichlet and for space-periodic boundary conditions. We prove existence, regularity and local uniqueness of time-periodic solutions of period 2pi/omega and order epsilon, by means of a Nash-Moser iteration scheme. The results hold for parameters (omega, epsilon) in Cantor sets having measure asymptotically full as epsilon tends to 0. (What's new in version 2: the case of finite-order Sobolev regularity, the case of space-periodic boundary conditions, a different iteration scheme in the proof, some references).


title: On the Heegaard splittings of amalgamated 3-manifolds

abstract: We give a combinatorial proof of a theorem first proved by Souto which says the following. Let M_1 and M_2 be simple 3-manifolds with connected boundary of genus g>0. If M_1 and M_2 are glued via a complicated map, then every minimal Heegaard splitting of the resulting closed 3-manifold is an amalgamation. This proof also provides an algorithm to find a bound on the complexity of the gluing map.


title: Saddle tangencies and the distance of Heegaard splittings

abstract: We give another proof of a theorem of Scharlemann and Tomova and of a theorem of Hartshorn. The two theorems together say the following. Let M be a compact orientable irreducible 3--manifold and P a Heegaard surface of M. Suppose Q is either an incompressible surface or a strongly irreducible Heegaard surface in M. Then either the Hempel distance d(P) <= 2 genus(Q) or P is isotopic to Q. This theorem can be naturally extended to bicompressible but weakly incompressible surfaces.


title: The Mahler measure of algebraic numbers: a survey

abstract: A survey of results for Mahler measure of algebraic numbers, and one-variable polynomials with integer coefficients is presented. Related results on the maximum modulus of the conjugates (`house') of an algebraic integer are also discussed. Some generalisations are given too, though not to Mahler measure of polynomials in more than one variable.


title: Embedding $S^n$ into $R^{n+1}$ with given integral Gauss curvature and optimal mass transport on $S^n$

abstract: In his book on Convex Polyhedra (section 7.2), A.D. Aleksandrov raised a general question of finding variational statements and proofs of existence of polytopes with given geometric data. The first goal of this paper is to give a variational solution to the problem of existence and uniqueness of a closed convex hypersurface in Euclidean space with prescribed integral Gauss curvature. Our solution includes the case of a convex polytope. This problem was also first considered by Aleksandrov and below it is referred to as Aleksandrov's problem. The second goal of this paper is to show that in variational form the Aleksandrov problem is closely connected with the theory of optimal mass transport on a sphere with cost function and constraints arising naturally from geometric considerations.


abstract: The aim of this paper is to introduce and study Lie algebras and Lie groups over noncommutative rings. For any Lie algebra $\gg$ sitting inside an associative algebra $A$ and any associative algebra $\FF$ we introduce and study the algebra $(\gg,A)(\FF)$, which is the Lie subalgebra of $\FF \otimes A$ generated by $\FF \otimes \gg$. In many examples $A$ is the universal enveloping algebra of $\gg$. Our description of the algebra $(\gg,A)(\FF)$ has a striking resemblance to the commutator expansions of $\FF$ used by M. Kapranov in his approach to noncommutative geometry. To each algebra $(\gg, A)(\FF)$ we associate a ``noncommutative algebraic'' group which naturally acts on $(\gg,A)(\FF)$ by conjugations and conclude the paper with some examples of such groups.


title: An interesting symplectic 4-manifold with small Euler characteristic

abstract: In this article we construct a minimal symplectic 4-manifold R that has small Euler characteristic (e(R)=8) and two essential Lagrangian tori with nice properties. These properties make R particularly suitable for constructing interesting examples of symplectic manifolds with small Euler characteristic. In particular, we construct an exotic symplectic CP^2# 5(-CP^2), the smallest known minimal symplectic 4-manifold with pi_1=Z, the smallest known minimal symplectic 4-manifolds with pi_1=Z/a + Z/b for all a,b in Z, and the smallest known minimal symplectic 4-manifold with pi_1=Z^3. We use the pi_1=Z example to derive a significantly better upper bound on the minimal Euler characteristic of all symplectic 4-manifolds with a prescribed fundamental group.


title: On some sub-Riemannian objects in hypersurfaces of sub-Riemannian manifolds

abstract: We study some sub-Riemannian objects (such as horizontal connectivity, horizontal connection, horizontal tangent plane, horizontal mean curvature) in hypersurfaces of sub-Riemannian manifolds. We prove that if a connected hypersurface in a contact manifold of dimension more than three is noncharacteristic or with isolated characteristic points, then given two points, there exists at least one piecewise smooth horizontal curve in this hypersurface connecting them. In any sub-Riemannian manifold, we obtain the sub-Riemannian version of the fundamental theorem of Riemannian geometry. We use this nonholonomic connection to study horizontal mean curvature of hypersurfaces.


title: Rational real algebraic models of topological surfaces

abstract: Comessatti proved that the set of real points of a rational real algebraic surface is either a nonorientable surface, or the two-sphere, or the torus. Conversely, it is easy to see that all of these surfaces admit a rational real algebraic model. We prove that they admit exactly one rational real algebraic model. This was known earlier only for the two-sphere, torus, projective plane and the Klein bottle.


title: Isomonodromic deformation with an irregular singularity and the Theta function

abstract: We will study a monodromy preserving deformation with an irregular singular point and determine the $\tau$ function of the monodromy preserving deformation by the elliptic $\theta$ function moving the argument $z$ and the period $\Omega$.


title: Iwasawa decompositions of some infinite-dimensional Lie groups

abstract: We set up an abstract framework that allows the investigation of Iwasawa decompositions for involutive infinite-dimensional Lie groups modeled on Banach spaces. As an application, we construct Iwasawa decompositions for classical real or complex Banach-Lie groups associated with the Schatten ideals ${\mathfrak S}_p({\mathcal H})$ on a complex separable Hilbert space ${\mathcal H}$ if $1<p<\infty$.


title: Characterizing the generalized lambda distribution by L-moments

abstract: The generalized lambda distribution (GLD) is a flexible four parameter distribution with many practical applications. L-moments of the GLD can be expressed in closed form and are good alternatives for the central moments. The L-moments of the GLD up to an arbitrary order are presented, and a study of L-skewness and L-kurtosis that can be achieved by the GLD is provided. The boundaries of L-skewness and L-kurtosis are derived analytically for the symmetric GLD and calculated numerically for the GLD in general. Additionally, the contours of L-skewness and L-kurtosis are presented as functions of the GLD parameters. It is found that with an exception of the smallest values of L-kurtosis, the GLD covers all possible pairs of L-skewness and L-kurtosis and often there are two or more distributions that share the same L-skewness and the same L-kurtosis. Examples that demonstrate situations where there are four GLD members with the same L-skewness and the same L-kurtosis are presented. The estimation of the GLD parameters is studied in a simulation example where method of L-moments compares favorably to more complicated estimation methods. The results increase the knowledge on the distributions that belong to the GLD family and can be utilized in model selection and estimation.


title: Enumeration of rational plane curves tangent to a smooth cubic

abstract: We use twisted stable maps to compute the number of rational degree d plane curves having prescribed contacts to a smooth plane cubic.


title: A Geometric Proof of Mordell's Conjecture for Function Fields

abstract: Let $\Cal C,\Cal C'$ be curves over a base scheme $S$ with $g(\Cal C)\ge 2$. Then the functor $T\mapsto\{$generically smooth $T$-morphisms $T\times_S\Cal C'\to T\times_S\Cal C\}$ from $((S$-schemes)) to ((sets)) is represented by a quasi-finite unramified $S$-scheme. From this one can deduce that for any two integers $g\ge 2$ and $g'$, there is an integer $M(g,g')$ such that for any two curves $C,C'$ over any field $k$ with $g(C)=g$, $g(C')=g'$, there are at most $M(g,g')$ separable $k$-morphisms $C'\to C$. It is conjectured that the arithmetic function $M(g,g')$ is bounded by a linear function of $g'$.


title: L2 p-Forms and Ricci flow with bounded curvature on manifolds

abstract: In this paper, we study the evolution of L2 p-forms under Ricci flow with bounded curvature on a complete non-compact or a compact Riemannian manifold. We show that under curvature pinching conditions on such a manifold, the L2 norm of a smooth p-form is non-increasing along the Ricci flow. The L^{\infty} norm is showed to have monotonicity property too.


title: On the Alexander-Hirschowitz Theorem

abstract: The Alexander-Hirschowitz theorem says that a general collection of $k$ double points in ${\bf P}^n$ imposes independent conditions on homogeneous polynomials of degree $d$ with a well known list of exceptions. Alexander and Hirschowitz completed its proof in 1995, solving a long standing classical problem, connected with the Waring problem for polynomials. We expose a self-contained proof based mainly on previous works by Terracini, Hirschowitz, Alexander and Chandler, with a few simplifications. We claim originality only in the case $d=3$, where our proof is shorter. We end with an account of the history of the work on this problem.


title: Dissipative operators in Krein Space: invariant subspaces and properties of restrictions

abstract: We prove that a dissipative operator in Krein space possesses a maximal non-negative invariant subspace provided that this operator admits matrix representation with respect to canonical decomposition of the space and the right upper entry of the operator matrix is relatively compact with respect to the right lower entry. Under additional condition when the left upper and left lower operators are bounded (the so-called "Langer condition") this result was proved (in the increasing order of generality) by Pontryagin, Krein, Langer, and Azizov. The Langer condition is replaced in the paper by a much weaker condition. We also prove: if a dissipative operator $A$ in Krein space is maximal then there exists a maximal non-negative invariant subspace $\mathcal L_+$ such that the spectrum of the restriction $A_+ = A|_{\mathcal L_+}$ lies in the closed left half-plane. We found sufficient conditions in terms of the entries of $A$ which garantee that $A_+$ is the generator of a holomorphic or $C_0$-semigroup.


title: Multivariate regular variation of heavy-tailed Markov chains

abstract: The upper extremes of a Markov chain with regulary varying stationary marginal distribution are known to exhibit under general conditions a multiplicative random walk structure called the tail chain. More generally, if the Markov chain is allowed to switch from positive to negative extremes or vice versa, the distribution of the tail chain increment may depend on the sign of the tail chain on the previous step. But even then, the forward and backward tail chain mutually determine each other through a kind of adjoint relation. As a consequence, the finite-dimensional distributions of the Markov chain are multivariate regularly varying in a way determined by the back-and-forth tail chain. An application of the theory yields the asymptotic distribution of the past and the future of the solution to a stochastic difference equation conditionally on the present value being large in absolute value.


title: Sobolev regularity and an enhanced Jensen inequality

abstract: We derive a new criterion for a real-valued function $u$ to be in the Sobolev space $W^{1,2}(\R^n)$. This criterion consists of comparing the value of a functional $\int f(u)$ with the values of the same functional applied to convolutions of $u$ with a Dirac sequence. The difference of these values converges to zero as the convolutions approach $u$, and we prove that the rate of convergence to zero is connected to regularity: $u\in W^{1,2}$ if and only if the convergence is sufficiently fast. We finally apply our criterium to a minimization problem with constraints, where regularity of minimizers cannot be deduced from the Euler-Lagrange equation.


title: Hydrodynamics for a non-conservative Interacting Particle System

abstract: We obtain the hydrodynamic limit of one-dimensional interacting particle systems describing the macroscopic evolution of the density of mass in infinite volume from the microscopic dynamics. The processes are weak pertubations of the symmetric exclusion process by shift operators describing the spread of particles around positions where new sites are created.


title: A Lower Bound on the Disconnection Time of a Discrete Cylinder

abstract: We study the asymptotic behavior for large N of the disconnection time T_N of simple random walk on a discrete cylinder with base a d-dimensional discrete torus of side-length N. When d is sufficiently large, we are able to substantially improve the lower bounds obtained by the authors in a previous article when d is bigger or equal to 2. We show here that the laws of N^(2d)/T_N are tight.


title: On noncommutative weighted local ergodic theorems

abstract: In the present paper we consider a von Neumann algebra M with a faithful normal semi-finite trace $\t$, and $\{\alpha_ t\} $ a strongly continuous extension to $L^p(M,\t)$ of a semigroup of absolute contractions on $L^1 (M,\tau)$. By means of a non-commutative Banach Principle we prove for a Besicovitch function b and $x\in L^p(M,\t)$, the averages \frac{1}{T}\int_0^Tb(t)\a_t(x)dt converge bilateral almost uniform in $L^p(M,\t)$ as $T\to 0$.


title: Existence and regularity of monotone solutions to a free boundary problem

abstract: We investigate existence and regularity properties of one-phase free boundary graphs, in connection with the question of whether there exists a complete non-planar free boundary graph in high dimensions.


title: Multimodal oscillations in systems with strong contraction

abstract: One- and two-parameter families of flows in $R^3$ near an Andronov-Hopf bifurcation (AHB) are investigated in this work. We identify conditions on the global vector field, which yield a rich family of multimodal orbits passing close to a weakly unstable saddle-focus and perform a detailed asymptotic analysis of the trajectories in the vicinity of the saddle-focus. Our analysis covers both cases of sub- and supercritical AHB. For the supercritical case, we find that the periodic orbits born from the AHB are bimodal when viewed in the frame of coordinates generated by the linearization about the bifurcating equilibrium. If the AHB is subcritical, it is accompanied by the appearance of multimodal orbits, which consist of long series of nearly harmonic oscillations separated by large amplitude spikes. We analyze the dependence of the interspike intervals (which can be extremely long) on the control parameters. In particular, we show that the interspike intervals grow logarithmically as the boundary between regions of sub- and supercritical AHB is approached in the parameter space. We also identify a window of complex and possibly chaotic oscillations near the boundary between the regions of sub- and supercritical AHB and explain the mechanism generating these oscillations. This work is motivated by the numerical results for a finite-dimensional approximation of a free boundary problem modeling solid fuel combustion.


title: A phase transition for competition interfaces

abstract: We study the competition interface between two growing clusters in a growth model associated to last-passage percolation. When the initial unoccupied set is approximately a cone, we show that this interface has an asymptotic direction with probability 1. The behavior of this direction depends on the angle $\theta$ of the cone: for $\theta\geq180^{\circ}$, the direction is deterministic, while for $\theta<180^{\circ}$, it is random, and its distribution can be given explicitly in certain cases. We also obtain partial results on the fluctuations of the interface around its asymptotic direction. The evolution of the competition interface in the growth model can be mapped onto the path of a second-class particle in the totally asymmetric simple exclusion process; from the existence of the limiting direction for the interface, we obtain a new and rather natural proof of the strong law of large numbers (with perhaps a random limit) for the position of the second-class particle at large times.


title: Strategies for prediction under imperfect monitoring

abstract: We propose simple randomized strategies for sequential prediction under imperfect monitoring, that is, when the forecaster does not have access to the past outcomes but rather to a feedback signal. The proposed strategies are consistent in the sense that they achieve, asymptotically, the best possible average reward. It was Rustichini (1999) who first proved the existence of such consistent predictors. The forecasters presented here offer the first constructive proof of consistency. Moreover, the proposed algorithms are computationally efficient. We also establish upper bounds for the rates of convergence. In the case of deterministic feedback, these rates are optimal up to logarithmic terms.


title: Tail Asymptotics for Discrete Event Systems

abstract: In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of its performances. We concentrate on the logarithmic tail asymptotics of the stationary response time for a class of networks that admit a representation as (max,plus)-linear systems in a random medium. We are able to derive analytic results when the distribution of the holding times are light-tailed. We show that the lack of independence may lead in dimension bigger than one to non-trivial effects in the asymptotics of the sojourn time. We also study in detail a simple queueing network with multipath routing.


title: Eulerian graphs and local complementation

abstract: We define pure graphs, invertible graphs, and the notion of complementation of bicoloured graphs. The study of pure graphs is motivated by two conjectures about the transition systems of eulerian graphs and by the Cycle Double Cover Conjecture. We show how substitution rules can be used to determine when two complementation words produce the same graph. For bicoloured graphs, complementation words give way to complementation sets. The invertible graphs (bicoloured graphs whose vertex set is a complementation set) are shown to have the property that their inverse has the same automorphisms. The property of being invertible can also be defined for non-coloured graphs by endowing them with their natural colouring. It is proposed that a characterization of pure graphs would contribute to establish the truth of the Cycle Double Cover Conjecture. We show how pure graphs have essential factorizations into primitive pure graphs. The four primitive pure parity classes are presented.


title: Intrinsic knotting and linking of almost complete graphs

abstract: We introduce new sufficient conditions for intrinsic knotting and linking. A graph on n vertices with at least 4n-9 edges is intrinsically linked. A graph on n vertices with at least 5n-14 edges is intrinsically knotted. We also classify graphs that are 0, 1, or 2 edges short of being complete partite graphs with respect to intrinsic linking and intrinsic knotting. In addition, we classify intrinsic knotting of graphs on 8 vertices.


title: Singularities of the theta divisor at points of order two

abstract: In this note we study the geometry of principally polarized abelian varieties (ppavs) with a vanishing theta-null (i.e. with a singular point of order two and even multiplicity lying on the theta divisor). We describe the locus within the theta-null divisor where this singularity is not an ordinary double point. By using theta function methods we first show that this locus does not equal the entire theta-null divisor (this was shown previously by O. Debarre). We then show that this locus is contained in the intersection of the theta-null divisor with the other irreducible components of the Andreotti-Mayer divisor N_0, and describe by using the geometry of the universal scheme of singularities of the theta divisor the components of this intersection that are contained in this locus. Some of the intermediate results obtained along the way of our proof were concurrently obtained independently by C. Ciliberto and G. van der Geer, and by R. de Jong.


title: Topology of (some) tiling spaces without finite local complexity

abstract: A basic assumption of tiling theory is that adjacent tiles can meet in only a finite number of ways, up to rigid motions. However, there are many interesting tiling spaces that do not have this property. They have "fault lines", along which tiles can slide past one another. We investigate the topology of a certain class of tiling spaces of this type. We show that they can be written as inverse limits of CW complexes, and their Cech cohomology is related to properties of the fault lines.


title: Some aspects of algebraic topology: An analyst's perspective

abstract: These informal notes discuss a few basic notions and examples, with emphasis on constructions that may be relevant for analysis on metric spaces.


title: Inversion of spherical means and the wave equation in even dimensions

abstract: We establish inversion formulas of the so called filtered back-projection type to recover a function supported in the ball in even dimensions from its spherical means over spheres centered on the boundary of the ball. We also find several formulas to recover initial data of the form (f,0) (or (0,g)) for the free space wave equation in even dimensions from the trace of the solution on the boundary of the ball, provided the initial data has support in the ball.


title: Skew Hopf algebras, irreducible extensions and the pi-method

abstract: To a depth two extension A | B, we associate the dual bialgebroids S := \End {}_BA_B and T := (A \o_B A)^B over the centralizer R=C_A(B). In the set-up where R is a subalgebra of B, which is quite common, two nondegenerate pairings of S and T will define an anti-automorphism \tau of the algebra S. Making use of a two-sided depth two structure, we prove that \tau is an antipode and S is a Hopf algebroid of a type we call skew Hopf algebra. A final section discusses how \tau and the nondegenerate pairings generalize to modules via the pi-method for depth two, and a certain derived mapping of cochain complexes is nullhomotopic.


title: Duality for topological abelian group stacks and T-duality

abstract: v2: An additional assumption was added in Theorem 4.8. In order to show that a connected abelian group is admissible on the site of locally compact spaces we must in addition assume that it is locally topologically divisible. This condition is used in the proof of Lemma 4.62.


title: Minimal and minimal invariant Markov bases of decomposable models for contingency tables

abstract: We study Markov bases of decomposable graphical models consisting of primitive moves (i.e., square-free moves of degree two) by determining the structure of fibers of sample size two. We show that the number of elements of fibers of sample size two are powers of two and we characterize primitive moves in Markov bases in terms of connected components of induced subgraphs of the independence graph of a hierarchical model. This allows us to derive a complete description of minimal Markov bases and minimal invariant Markov bases for decomposable models.


title: Global coefficient ring in the nilpotence conjecture

abstract: In this note we show that the nilpotence conjecture for toric varieties is true over any regular coefficient ring containing Q.


title: Geodesic ideal triangulations exist virtually

abstract: It is shown that every non-compact hyperbolic manifold of finite volume has a finite cover admitting a geodesic ideal triangulation. Also, every hyperbolic manifold of finite volume with non-empty, totally geodesic boundary has a finite regular cover which has a geodesic partially truncated triangulation. The proofs use an extension of a result due to Long and Niblo concerning the separability of peripheral subgroups.


title: Transversality of holomorphic mappings between real hypersurfaces in different dimensions

abstract: In this paper, we consider holomorphic mappings between real hypersurfaces in different dimensional complex spaces. We give a number of conditions that imply that such mappings are transversal to the target hypersurface at most points.


title: Cobordisms of fold maps and maps with prescribed number of cusps

abstract: A generic smooth map of a closed $2k$-manifold into $(3k-1)$-space has a finite number of cusps ($\Sigma^{1,1}$-singularities). We determine the possible numbers of cusps of such maps. A fold map is a map with singular set consisting of only fold singularities ($\Sigma^{1,0}$-singularities). Two fold maps are fold bordant if there are cobordisms between their source- and target manifolds with a fold map extending the two maps between the boundaries, if the two targets agree and the target cobordism can be taken as a product with a unit interval then the maps are fold cobordant. We compute the cobordism groups of fold maps of $(2k-1)$-manifolds into $(3k-2)$-space. Analogous cobordism semi-groups for arbitrary closed $(3k-2)$-dimensional target manifolds are endowed with Abelian group structures and described. Fold bordism groups in the same dimensions are described as well.


title: The K-theoretic Farrell-Jones Conjecture for hyperbolic groups

abstract: We prove the K-theoretic Farrell-Jones Conjecture for hyperbolic groups with (twisted) coefficients in any associative ring with unit.


title: Betti numbers of determinantal ideals

abstract: Let $R=k[x_1, ..., x_n]$ be a polynomial ring and let $I\subset R$ be a graded ideal. In \cite{R}, R\"{o}mer asked whether under the Cohen-Macaulay assumption the $i$-th Betti number $\beta_{i}(R/I)$ can be bounded above by a function of the maximal shifts in the minimal graded free $R$-resolution of $R/I$ as well as bounded below by a function of the minimal shifts. The goal of this paper is to establish such bounds for graded Cohen-Macaulay algebras $k[x_1, ..., x_n]/I$ when $I$ is a standard determinantal ideal of arbitrary codimension. We also discuss other examples as well as when these bounds are sharp.


title: Generalized elliptic integrals

abstract: Jacobi's elliptic integrals and elliptic functions arise naturally from the Schwarz-Christoffel conformal transformation of the upper half plane onto a rectangle. In this paper we study generalized elliptic integrals which arise from the analogous mapping of the upper half plane onto a quadrilateral and obtain sharp monotonicity and convexity properties for certain combinations of these integrals, thus generalizing analogous well-known results for classical conformal capacity and quasiconformal distortion functions.


title: A priori estimates for the Hill and Dirac operators

abstract: Consider the Hill operator $Ty=-y''+q'(t)y$ in $L^2(\R)$, where $q\in L^2(0,1)$ is a 1-periodic real potential. The spectrum of $T$ is is absolutely continuous and consists of bands separated by gaps $\g_n,n\ge 1$ with length $|\g_n|\ge 0$. We obtain a priori estimates of the gap lengths, effective masses, action variables for the KDV. For example, if $\m_n^\pm$ are the effective masses associated with the gap $\g_n=(\l_n^-,\l_n^+)$, then $|\m_n^-+\m_n^+|\le C|\g_n|^2n^{-4}$ for some constant $C=C(q)$ and any $n\ge 1$. In order prove these results we use the analysis of a conformal mapping corresponding to quasimomentum of the Hill operator. That makes possible to reformulate the problems for the differential operator as the problems of the conformal mapping theory. Then the proof is based on the analysis of the conformal mapping and the identities. Moreover, we obtain the similar estimates for the Dirac operator.


title: Generalized Elliptic Integrals and the Legendre M-function

abstract: We study monotonicity and convexity properties of functions arising in the theory of elliptic integrals, and in particular in the case of a Schwarz-Christoffel conformal mapping from a half-plane to a trapezoid. We obtain sharp monotonicity and convexity results for combinations of these functions, as well as functional inequalities and a linearization property.


title: Three spheres theorem for p-harmonic functions

abstract: Three spheres type theorem is proved for the p-harmonic functions defined on the complement of k-balls in the Euclidean n-dimensional space.


title: Boundary reducible handle additions on simple 3-manifolds

abstract: Let $M$ be a simple manifold, and $F$ be a component of $\partial M$ of genus two. For a slope $\gamma$ on $F$, we denote by $M(\gamma)$ the manifold obtained by attaching a 2-handle to $M$ along a regular neighborhood of $\gamma$ on $F$. In this paper, we shall prove that there is at most one separating slope $\gamma$ on $F$ so that $M(\gamma)$ is $\partial$-reducible.


title: On certain questions of the free group automorphisms theory

abstract: Certain subgroups of the groups $Aut(F_n)$ of automorphisms of a free group $F_n$ are considered. Comparing Alexander polynomials of two poly-free groups $Cb_4^+$ and $P_4$ we prove that these groups are not isomorphic, despite the fact that they have a lot of common properties. This answers the question of Cohen-Pakianathan-Vershinin-Wu from \cite{CVW}. The questions of linearity of subgroups of $Aut(F_n)$ are considered. As an application of the properties of poison groups in the sense of Formanek and Procesi, we show that the groups of the type $Aut(G*\mathbb Z)$ for certain groups $G$ and the subgroup of $IA$-automorphisms $IA(F_n)\subset Aut(F_n)$ are not linear for $n\geq 3$. This generalizes the recent result of Pettet that $IA(F_n)$ are not linear for $n\geq 5$.


title: A polynomial with Galois group SL2(F16)

abstract: In this paper we show an explicit polynomial in Q[x] that has Galois group SL2(F16), filling in a gap in the tables of Juergen Klueners and Gunther Malle. The computation of this polynomial uses modular forms and their Galois representations.


title: Le complexe motivique de De Rham

abstract: Over a field of characteristic zero, we construct a De Rham motivic complex and generalize the De Rham cohomology of a smooth variety to any Voevodsky motive.


title: Shannon wavelet approximations of linear differential operators

abstract: Recent works emphasized the interest of numerical solution of PDE's with wavelets. In their works, A.Cohen, W.Dahmen and R.DeVore focussed on the non linear approximation aspect of the wavelet approximation of PDE's to prove the relevance of such methods. In order to extend these results, we focuss on the convergence of the iterative algorithm, and we consider different possibilities offered by the wavelet theory: the tensorial wavelets and the derivation/integration of wavelet bases. We also investigate the use of wavelet packets. We apply these extended results to prove in the case of the Shannon wavelets, the convergence of the Leray projector algorithm with divergence-free wavelets.


title: Topological complexity of generic hyperplane arrangements

abstract: We prove that the topological complexity of (a motion planning algorithm on) the complement of generic complex essential hyperplane arrangement of $n$ hyperplanes in an $r$-dimensional linear space is min$\{n+1,2r\}$.


title: Maxiset in sup-norm for kernel estimators

abstract: In the Gaussian white noise model, we study the estimation of an unknown multidimensional function $f$ in the uniform norm by using kernel methods. The performances of procedures are measured by using the maxiset point of view: we determine the set of functions which are well estimated (at a prescribed rate) by each procedure. So, in this paper, we determine the maxisets associated to kernel estimators and to the Lepski procedure for the rate of convergence of the form $(\log n/n)^{\be/(2\be+d)}$. We characterize the maxisets in terms of Besov and H\"older spaces of regularity $\beta$.


title: Existence for the $\al$-patch model and the QG sharp front in Sobolev spaces

abstract: We consider a family of contour dynamics equations depending on a parameter $\al$ with $0<\alpha\leq 1$. The vortex patch problem of the 2-D Euler equation is obtained taking $\alpha\to 0$, and the case $\alpha=1$ corresponds to a sharp front of the QG equation. We prove local-in-time existence for the family of equations in Sobolev spaces.


title: Lyapunov functions for periodic matrix-valued Jacobi operators

abstract: We consider periodic matrix-valued Jacobi operators. The spectrum of this operator is absolutely continuous and consists of intervals separated by gaps. We define the Lyapunov function, which is analytic on an associated Riemann surface. On each sheet the Lyapunov function has the standard properties of the Lyapunov function for the scalar case. We show that this function has (real or complex) branch points, which we call resonances. We prove that there exist two types of gaps: i) stable gaps, i.e., the endpoints are periodic and anti-periodic eigenvalues, ii) unstable (resonance) gaps, i.e., the endpoints are resonances (real branch points). We show that some spectral data determine the spectrum (counting multiplicity) of the Jacobi operator.


title: Stability, convergence to self-similarity and elastic limit for the Boltzmann equation for inelastic hard spheres

abstract: We consider the spatially homogeneous Boltzmann equation for {\em inelastic hard spheres}, in the framework of so-called {\em constant normal restitution coefficients} $\alpha \in [0,1]$. In the physical regime of a small inelasticity (that is $\alpha \in [\alpha_*,1)$ for some constructive $\alpha_*>0$) we prove uniqueness of the self-similar profile for given values of the restitution coefficient $\alpha \in [\alpha_*,1)$, the mass and the momentum; therefore we deduce the uniqueness of the self-similar solution (up to a time translation). Moreover, if the initial datum lies in $L^1_3$, and under some smallness condition on $(1-\alpha_*)$ depending on the mass, energy and $L^1_3$ norm of this initial datum, we prove time asymptotic convergence (with polynomial rate) of the solution towards the self-similar solution (the so-called {\em homogeneous cooling state}). These uniqueness, stability and convergence results are expressed in the self-similar variables and then translate into corresponding results for the original Boltzmann equation. The proofs are based on the identification of a suitable elastic limit rescaling, and the construction of a smooth path of self-similar profiles connecting to a particular Maxwellian equilibrium in the elastic limit, together with tools from perturbative theory of linear operators. Some universal quantities, such as the "quasi-elastic self-similar temperature" and the rate of convergence towards self-similarity at first order in terms of $(1-\alpha)$, are obtained from our study. These results provide a positive answer and a mathematical proof of the Ernst-Brito conjecture [16] in the case of inelastic hard spheres with small inelasticity.


title: Projections and the Kadison-Singer Problem

abstract: We prove some new equivalences of the paving conjecture and obtain some estimates on the paving constants. In addition we give a new family of counterexamples to one of the Akemann-Anderson conjectures.


title: Young measures, superposition and transport

abstract: We discuss a space of Young measures in connection with some variational problems. We use it to present a proof of the Theorem of Tonelli on the existence of minimizing curves. We generalize a recent result of Ambrosio, Gigli and Savar\'e on the decomposition of the weak solutions of the transport equation. We also prove, in the context of Mather theory, the equality between Closed measures and Holonomic measures.


title: Cosmological time versus CMC time II: the de Sitter and anti-de Sitter cases

abstract: This paper continues the investigation of constant mean curvature (CMC) time functions in maximal globally hyperbolic spatially compact spacetimes of constant sectional curvature, which was started in math.DG/0604486. In that paper, the case of flat spacetimes was considered, and in the present paper, the remaining cases of negative curvature (i.e. anti-de Sitter) spacetimes and postitive curvature (i.e. de Sitter) spacetimes is dealt with. As in the flat case, the existence of CMC time functions is obtained by using the level sets of the cosmological time function as barriers. A major part of the work consists of proving the required curvature estimates for these level sets. The nonzero curvature case presents significant new difficulties, in part due to the fact that the topological structure of nonzero constant curvature spacetimes is much richer than that of the flat spacetimes. Further, the timelike convergence condition fails for de Sitter spacetimes, and hence uniqueness for CMC hypersurfaces fails in general. We characterize those de Sitter spacetimes which admit CMC time functions (which are automatically unique), as well as those which admit CMC foliations but no CMC time function.


title: Covariant representations for matrix-valued transfer operators

abstract: Motivated by the multivariate wavelet theory, and by the spectral theory of transfer operators, we construct an abstract affine structure and a multiresolution associated to a matrix-valued weight. We describe the one-to-one correspondence between the commutant of this structure and the fixed points of the transfer operator. We show how the covariant representation can be realized on $\mathbb{R}^n$ if the weight satisfies some low-pass condition.


title: A fractional generalization of the Poisson processes

abstract: It is our intention to provide via fractional calculus a generalization of the pure and compound Poisson processes, which are known to play a fundamental role in renewal theory, without and with reward, respectively. We first recall the basic renewal theory including its fundamental concepts like waiting time between events, the survival probability, the counting function. If the waiting time is exponentially distributed we have a Poisson process, which is Markovian. However, other waiting time distributions are also relevant in applications, in particular such ones with a fat tail caused by a power law decay of its density. In this context we analyze a non-Markovian renewal process with a waiting time distribution described by the Mittag-Leffler function. This distribution, containing the exponential as particular case, is shown to play a fundamental role in the infinite thinning procedure of a generic renewal process governed by a power asymptotic waiting time. We then consider the renewal theory with reward that implies a random walk subordinated to a renewal process.


title: Renewal processes of Mittag-Leffler and Wright type

abstract: After sketching the basic principles of renewal theory we discuss the classical Poisson process and offer two other processes, namely the renewal process of Mittag-Leffler type and the renewal process of Wright type, so named by us because special functions of Mittag-Leffler and of Wright type appear in the definition of the relevant waiting times. We compare these three processes with each other, furthermore consider corresponding renewal processes with reward and numerically their long-time behaviour.


title: A generalized Gaeta's Theorem

abstract: We generalize Gaeta's Theorem to the family of determinantal schemes. In other words, we show that the schemes defined by minors of a fixed size of a matrix with polynomial entries belong to the same G-biliaison class of a complete intersection whenever they have maximal possible codimension, given the size of the matrix and of the minors that define them.


title: Components, complements and reflection formulas

abstract: Some basic features of the simultaneous inclusion of discrete fibrations and discrete opfibrations in categories over a base category X are considered. In particular, we illustrate the formulas (|P)x = ten(x/X,P) ; (P|)x = hom(X/x,P) which give the reflection |P and the coreflection P| of a category P over X in discrete fibrations. The explicit use of the "tensor functor" ten := \comp(- \times -) : Cat/X \times Cat/X \to Set given by the components of products, allows a vast generalization of the corresponding analysis in the two-valued context. For any df A, the functor ten(A,-) : Cat/X \to Set has a right adjoint \neg A valued in dof's (and vice versa); such a complement operator, which in the two-valued case reduces to the classical complementation between lower and upper parts of a poset, turns out to be an effective tool in the set-valued context as well. Various applications of the formulas and of the accompanying conceptual frame are presented.


title: Optimal control of a large dam, taking into account the water costs

abstract: Consider a dam model, $L^{upper}$ and $L^{lower}$ are upper and, respectively, lower levels, $L = L^{upper}-L^{lower}$ is large and if the level of water is between these bounds, then the dam is said to be in a normal state. Passage across lower or upper levels leads to damage. Let $J_1=j_1L$ and $J_2=j_2L$ denote the damage costs per time unit of crossing the lower and, correspondingly, upper level where $j_1$ and $j_2$ are given real constants. It is assumed that input stream of water is described by a Poisson process, while the output stream is state dependent. Let $L_t$ denote the level of water in time $t$, and $c_{L_t}$ denote the water cost at level $L_t$ ($L^{lower}<L_t\leq L^{upper}$). Assuming that $p_1=\lim_{t\to\infty}\mathbf{P}\{L_t=L^{lower}\}$, $p_2=\lim_{t\to\infty}\mathbf{P}\{L_t>L^{upper}\}$ and $q_i=\lim_{t\to\infty}\mathbf{P}\{L_t=i\}$ ($L^{lower}<i\leq L^{upper}$) exist, the aim of the paper is to choose the parameters of an output stream (specifically defined in the paper) minimizing the long-run expenses $$J=p_1J_1+p_2J_2+\sum_{i=L^{lower}+1}^{L^{upper}}q_ic_i.$$


title: Q-factorial quartic threefolds

abstract: We prove that a nodal quartic threefold $X$ containing no planes is $Q$-factorial provided that it has not more than 12 singular points, with the exception of a quartic with exactly 12 singularities containing a quadric surface. We give some geometrical constructions related to the latter quartic.


title: Knot concordance and Heegaard Floer homology invariants in branched covers

abstract: By studying the Heegaard Floer homology of the preimage of a knot K in S^3 inside its double branched cover, we develop simple obstructions to K having finite order in the classical smooth concordance group. As an application, we prove that all 2-bridge knots of crossing number at most 12 for which the smooth concordance order was previously unknown have infinite smooth concordance order.


title: Dynamical Systems and Differential Forms. Low Dimensional Hamiltonian Systems

abstract: The theory of differential forms began with a discovery of Poincare who found conservation laws of a new type for Hamiltonian systems - The Integral Invariants. Even in the absence of non-trivial integrals of motion, there exist invariant differential forms: a symplectic two-form, or a contact one-form for geodesic flows. Some invariant forms can be naturally considered as "forms on the quotient." As a space, this quotient may be very bad in the conventional topological sense. These considerations lead to an analog of the de Rham cohomology theory for manifolds carrying smooth dynamical system. The cohomology theory for quotients, called "basic cohomology" in the literature, appears naturally in our approach. We define also new exotic cohomology groups associated with the so-called cohomological equation in dynamical systems and find exact sequences connecting them with the cohomology of quotients. Explicit computations are performed for geodesic and horocycle flows of compact surfaces of constant negative curvature. Are these famous systems Hamiltonian for a 3D manifold with a Poisson structure? Below, we discuss exotic Poisson structures on 3-manifolds having complicated Anosov-type Casimir foliations. We prove that horocycle flows are Hamiltonian for such exotic structures. The geodesic flow is non-Hamiltonian in the 3D sense.


title: The Development of Intersection Homology Theory

abstract: This historical introduction is in two parts. The first is reprinted with permission from ``A century of mathematics in America, Part II,'' Hist. Math., 2, Amer. Math. Soc., 1989, pp.543-585. Virtually no change has been made to the original text. In particular, Section 8 is followed by the original list of references. However, the text has been supplemented by a series of endnotes, collected in the new Section 9 and followed by a second list of references. If a citation is made to the first list, then its reference number is simply enclosed in brackets -- for example, [36]. However, if a citation is made to the second list, then its number is followed by an `S' -- for example, [36S]. Further, if a subject in the reprint is elaborated on in an endnote, then the subject is flagged in the margin by the number of the corresponding endnote, and the endnote includes in its heading, between parentheses, the page number or numbers on which the subject appears in the reprint below. Finally, all cross-references appear as hypertext links in the dvi and pdf copies.


title: Random conformal snowflakes

abstract: In many problems of classical analysis extremal configurations appear to exhibit complicated fractal structure. This makes it much harder to describe extremals and to attack such problems. Many of these problems are related to the multifractal analysis of harmonic measure. We argue that, searching for extremals in such problems, one should work with random fractals rather than deterministic ones. We introduce a new class of fractals random conformal snowflakes and investigate its properties developing tools to estimate spectra and showing that extremals can be found in this class. As an application we significantly improve known estimates from below on the extremal behaviour of harmonic measure, showing how to constuct a rather simple snowflake, which has a spectrum quite close to the conjectured extremal value.


title: Multivariate normal approximation using exchangeable pairs

abstract: Since the introduction of Stein's method in the early 1970s, much research has been done in extending and strengthening it; however, there does not exist a version of Stein's original method of exchangeable pairs for multivariate normal approximation. The aim of this article is to fill this void. We present three abstract normal approximation theorems using exchangeable pairs in multivariate contexts, one for situations in which the underlying symmetries are discrete, and real and complex versions of a theorem for situations involving continuous symmetry groups. Our main applications are proofs of the approximate normality of rank $k$ projections of Haar measure on the orthogonal and unitary groups, when $k=o(n)$.


title: On Classical Analogues of Free Entropy Dimension

abstract: We define a classical probability analogue of Voiculescu's free entropy dimension that we shall call the classical probability entropy dimension of a probability measure on $\mathbb{R}^n$. We show that the classical probability entropy dimension of a measure is related with diverse other notions of dimension. First, it can be viewed as a kind of fractal dimension. Second, if one extends Bochner's inequalities to a measure by requiring that microstates around this measure asymptotically satisfy the classical Bochner's inequalities, then we show that the classical probability entropy dimension controls the rate of increase of optimal constants in Bochner's inequality for a measure regularized by convolution with the Gaussian law as the regularization is removed. We introduce a free analogue of the Bochner inequality and study the related free entropy dimension quantity. We show that it is greater or equal to the non-microstates free entropy dimension.


title: Quotients of Calabi-Yau varieties

abstract: Let $X$ be a complex Calabi-Yau variety, that is, a complex projective variety with canonical singularities whose canonical class is numerically trivial. Let $G$ be a finite group acting on $X$ and consider the quotient variety $X/G$. The aim of this paper is to determine the place of $X/G$ in the birational classification of varieties. That is, we determine the Kodaira dimension of $X/G$ and decide when it is uniruled or rationally connected. If $G$ acts without fixed points, then $\kappa(X/G)=\kappa(X)=0$; thus the interesting case is when $G$ has fixed points. We answer the above questions in terms of the action of the stabilizer subgroups near the fixed points. We give a rough classification of possible stabilizer groups which cause $X/G$ to have Kodaira dimension $-\infty$ or equivalently (as we show) to be uniruled. These stabilizers are closely related to unitary reflection groups.


title: The sum of a finite group of weights of a Hopf algebra

abstract: Motivated by the orthogonality relations for irreducible characters of a finite group, we evaluate the sum of a finite group of linear characters of a Hopf algebra, at all grouplike and skew-primitive elements. We then discuss results for products of skew-primitive elements. Examples include groups, (quantum groups over) Lie algebras, the small quantum groups of Lusztig, and their variations (by Andruskiewitsch and Schneider).


title: On the distance between Seifert surfaces

abstract: For a knot $K$, Kakimizu introduced a simplicial complex whose vertices are all the isotopy classes of minimal genus spanning surfaces for $K$. The first purpose of this paper is to prove the 1-skeleton of this complex has diameter bounded by a function quadratic in knot genus, whenever $K$ is atoroidal. The second purpose of this paper is to prove the intersection number of two minimal genus spanning surfaces for $K$ is also bounded by a function quadratic in knot genus, whenever $K$ is atoroidal. As one application, we prove the simple connectivity of Kakimizu's complex among all atoroidal genus 1 knots.


title: An SO(3)-version of 2-torsion instanton invariants

abstract: We construct an invariant for non-spin 4-manifolds by using 2-torsion cohomology classes of moduli spaces of instantons on SO(3)-bundles. The invariant is an SO(3)-version of Fintushel-Stern's 2-torsion instanton invariant. We show that this SO(3)-torsion invariant is non-trivial for $2CP^2 # -CP^2$, while it is known that any known invariant of $2CP^2 # -CP^2$ coming from the Seiberg-Witten theory is trivial since $2CP^2 # -CP^2$ has a positive scalar curvature metric.


title: Optimal Shape Design for the Viscous Incompressible Flow

abstract: This paper is concerned with a numerical simulation of shape optimization in a two-dimensional viscous incompressible flow governed by Navier--Stokes equations with mixed boundary conditions containing the pressure. The minimization problem of total dissipated energy was established in the fluid domain. We derive the structures of shape gradient of the cost functional by using the differentiability of a minimax formulation involving a Lagrange functional with a function space parametrization technique. Finally a gradient type algorithm is effectively used for our problem.


title: On the hardness of sampling independent sets beyond the tree threshold

abstract: We consider local Markov chain Monte-Carlo algorithms for sampling from the weighted distribution of independent sets with activity $\l$, where the weight of an independent set $I$ is $\l^{|I|}$. A recent result has established that Gibbs sampling is rapidly mixing in sampling the distribution for graphs of maximum degree $d$ and $\l<\l_c(d)$, where $\l_c(d)$ is the critical activity for uniqueness of the Gibbs measure (i.e., for decay of correlations with distance in the weighted distribution over independent sets) on the $d$-regular infinite tree. We show that for $d \geq 3$, $\l$ just above $\l_c(d)$ with high probability over $d$-regular bipartite graphs, any local Markov chain Monte-Carlo algorithm takes exponential time before getting close to the stationary distribution. Our results provide a rigorous justification for ``replica'' method heuristics. These heuristics were invented in theoretical physics and are used in order to derive predictions on Gibbs measures on random graphs in terms of Gibbs measures on trees. We conjecture that $\l_c$ is in fact the exact threshold for this computational problem, i.e., that for $\l>\l_c$ it is NP-hard to approximate the above weighted sum overindependent sets to within a factor polynomial in the size of the graph.


title: Pencils of double coverings of curves

abstract: Let X be a smooth curve of genus g. When pi>=3g and d>=pi-2g+1 we show the existence of a double covering gamma:C-->X where C a smooth curve of genus pi with a base-point-free pencil of degree d which is not the pull-back of a pencil on X.


title: Formally smooth bimodules

abstract: The notion of a formally smooth bimodule is introduced and its basic properties are analyzed. In particular it is proven that a $B$-$A$ bimodule $M$ which is a generator left $B$-module is formally smooth if and only if the $M$-Hochschild dimension of $B$ is at most one. It is also shown that modules $M$ which are generators in the category $\sigma[M]$ of $M$-subgenerated modules provide natural examples of formally smooth bimodules.


title: The Evolution of the Mixing Rate

abstract: In this paper we present a study of the mixing time of a random walk on the largest component of a supercritical random graph, also known as the giant component. We identify local obstructions that slow down the random walk, when the average degree d is at most (ln n lnln n)^{1/2}, proving that the mixing time in this case is O((ln n/d)^2) asymptotically almost surely. As the average degree grows these become negligible and it is the diameter of the largest component that takes over, yielding mixing time O(ln n/ln d). We proved these results during the 2003-04 academic year. Similar results but for constant d were later proved independently by I. Benjamini, G. Kozma and N. Wormald.


title: On the birational geometry of moduli spaces of pointed curves

abstract: We prove that the moduli space ${\Cal M}_{g,n}$ of smooth curves of genus $g$ with $n$ marked points is rational for $g=6$ and $1 \le n \le 8$, and it is unirational for $g=8$ and $1 \le n \le 11$, $g=10$ and $1 \le n \le 3$, $g=12$ and $n = 1$.


title: Modular classes of Poisson-Nijenhuis Lie algebroids

abstract: The modular vector field of a Poisson-Nijenhuis Lie algebroid $A$ is defined and we prove that, in case of non-degeneracy, this vector field defines a hierarchy of bi-Hamiltonian $A$-vector fields. This hierarchy covers an integrable hierarchy on the base manifold, which may not have a Poisson-Nijenhuis structure.


title: Contractions d'alg\`ebres de Jordan en dimension 2 [Contractions of Jordan algebras in dimension 2]

abstract: We determine the isomorphism classes of Jordan algebras in dimension two over the field of real numbers. Using techniques of non-standard analysis we study the properties of the variety of Jordan algebras, and also the contractions among these algebras.


title: Generating spaces of modular forms with $\eta$-quotients

abstract: In this note we consider a question of Ono, concerning which spaces of classical modular forms can be generated by sums of $\eta$-quotients. We give some new examples of spaces of modular forms which can be generated as sums of $\eta$-quotients, and show that we can write all modular forms of level $\Gamma_0(N)$ as rational functions of $\eta$-products.


title: Moduli of abelian varieties and p-divisible groups

abstract: Lecture notes at a conference on Arithmetic Geometry, Goettingen, July/August 2006: Density of ordinary Hecke orbits and a conjecture by Grothendieck on deformations of p-divisible groups.


title: Rosenthal operator spaces

abstract: In 1969 Lindenstrauss and Rosenthal showed that if a Banach space is isomorphic to a complemented subspace of an L_p-space, then it is either a script L_p-space or isomorphic to a Hilbert space. This is the motivation of this paper where we study non--Hilbertian complemented operator subspaces of non commutative L_p-spaces and show that this class is much richer than in the commutative case. We investigate the local properties of some new classes of operator spaces for every $2<p< \infty$ which can be considered as operator space analogues of the Rosenthal sequence spaces from Banach space theory, constructed in 1970. Under the usual conditions on the defining sequence sigma we prove that most of these spaces are operator script L_p-spaces, not completely isomorphic to previously known such spaces. However it turns out that some column and row versions of our spaces are not operator script L_p-spaces and have a rather complicated local structure which implies that the Lindenstrauss--Rosenthal alternative does not carry over to the non-commutative case.


title: Monotonicity Analysis over Chains and Curves

abstract: Chains are vector-valued signals sampling a curve. They are important to motion signal processing and to many scientific applications including location sensors. We propose a novel measure of smoothness for chains curves by generalizing the scalar-valued concept of monotonicity. Monotonicity can be defined by the connectedness of the inverse image of balls. This definition is coordinate-invariant and can be computed efficiently over chains. Monotone curves can be discontinuous, but continuous monotone curves are differentiable a.e. Over chains, a simple sphere-preserving filter shown to never decrease the degree of monotonicity. It outperforms moving average filters over a synthetic data set. Applications include Time Series Segmentation, chain reconstruction from unordered data points, Optical Character Recognition, and Pattern Matching.


title: A higher index theorem for foliated manifolds with boundary

abstract: Following Gorokhovsky and Lott and using an extension of the b-pseudodifferential calculus of Melrose, we give a formula for the Chern character of the Dirac index class of a longitudinal Dirac type operators on a foliated manifold with boundary. For this purpose we use the Bismut local index formula in the context of non commutative geometry. This paper uses heavily the methods and technical results developed by E.Leichtnam and P.Piazza.


title: Some conjectures on the ratio of Hankel transforms for sequences and series reversion

abstract: For each element of certain families of integer sequences, we study the term-wise ratios of the Hankel transforms of three sequences related to that element by series reversion. In each case, the ratios define well-known sequences, and in one case, we recover the initial sequence.


title: On the Equivalence of Geometric and Analytic K-Homology

abstract: We give a proof that the geometric K-homology theory for finite CW-complexes defined by Baum and Douglas is isomorphic to Kasparov's K-homology. The proof is a simplification of more elaborate arguments which deal with the geometric formulation of equivariant K-homology theory.


title: Microlocal analysis of generalized pullbacks of Colombeau functions

abstract: In distribution theory the pullback of a general distribution by a $C^{\infty}$-function is well-defined whenever the normal bundle of the $C^{\infty}$-function does not intersect the wavefront set of the distribution. However, the Colombeau theory of generalized functions allows for a pullback by an arbitrary c-bounded generalized function. It has been shown in previous work that in the case of multiplication of Colombeau functions (which is a special case of a $C^{\infty}$ pullback), the generalized wave front set of the product satisfies the same inclusion relation as in the distributional case, if the factors have their wavefront sets in favorable position. We prove a microlocal inclusion relation for the generalized pullback (by a c-bounded generalized map) of Colombeau functions. The proof of this result relies on a stationary phase theorem for generalized phase functions, which is given in the Appendix. Furthermore we study an example (due to Hurd and Sattinger), where the pullback function stems from the generalized characteristic flow of a partial differential equation.


title: Partial order embeddings with convex range

abstract: A careful study is made of embeddings of posets which have a convex range. We observe that such embeddings share nice properties with the homomorphisms of more restrictive categories; for example, we show that every order embedding between two lattices with convex range is a continuous lattice homomorphism. A number of posets are considered; for example, we prove that every product order embedding sigma between the irrationals (i.e. the family of functions from N into N) with convex range is of the form sigma(x)(n) = ((x o g) + y)(n) if n in K, and sigma(x)(n) = y(n) otherwise, for all irrationals x, where K is a subset of N, g:K -> N is a bijection and y is an irrational. The most complex poset examined here is the quotient of the lattice of Baire measurable functions, with codomain of the form N^I for some index set I, modulo equality on a comeager subset of the domain, with its `natural' ordering.


title: On the normal bundle of submanifolds of $\mathbb P^n$

abstract: Let $X$ be a submanifold of dimension $d\geq 2$ of the complex projective space $\mathbb P^n$. We prove results of the following type. i) If $X$ is irregular and $n=2d$ then the normal bundle $N_{X|\mathbb P^n}$ is indecomposable. ii) If $X$ is irregular, $d\geq 3$ and $n=2d+1$ then $N_{X|\mathbb P^n}$ is not the direct sum of two vector bundles of rank $\geq 2$. iii) If $d\geq 3$, $n=2d-1$ and $N_{X|\mathbb P^n}$ is decomposable then the natural restriction map $\Pic(\mathbb P^n)\to\Pic(X)$ is an isomorphism (and in particular, if $X=\mathbb P^{d-1}\times\mathbb P^1$ embedded Segre in $\mathbb P^{2d-1}$ then $N_{X|\mathbb P^{2d-1}}$ is indecomposable). iv) Let $n\leq 2d$ and $d\geq 3$, and assume that $N_{X|\mathbb P^n}$ is a direct sum of line bundles; if $n=2d$ assume furthermore that $X$ is simply connected and $\mathscr O_X(1)$ is not divisible in $\Pic(X)$. Then $X$ is a complete intersection. These results follow from Theorem \ref{exact5} below together with Le Potier vanishing theorem. The last statement also uses a criterion of Faltings for complete intersection. In the case when $n<2d$ this fact was proved by M. Schneider in 1990 in a completely different way.


title: On Universal Cycles for Multisets

abstract: A Universal Cycle for t-multisets of [n]={1,...,n} is a cyclic sequence of $\binom{n+t-1}{t}$ integers from [n] with the property that each t-multiset of [n] appears exactly once consecutively in the sequence. For such a sequence to exist it is necessary that n divides $\binom{n+t-1}{t}$, and it is reasonable to conjecture that this condition is sufficient for large enough n in terms of t. We prove the conjecture completely for t in {2,3} and partially for t in {4,6}. These results also support a positive answer to a question of Knuth.


title: Galilean relativity and its invariant bilinear forms

abstract: We construct the family of bilinear forms gG on R3+1 for which Galilean boosts and spatial rotations are isometries. The key feature of these bilinear forms is that they are parametrized by a Galilean invariant vector whose physical interpretation is rather unclear. At the end of the paper, we construct the Poisson bracket associated with the (nondegenerate) antisymmetric part of gG.