title: Distances in random graphs with infinite mean degrees

abstract: We study random graphs with an i.i.d. degree sequence of which the tail of the distribution function $F$ is regularly varying with exponent $\tau\in (1,2)$. Thus, the degrees have infinite mean. Such random graphs can serve as models for complex networks where degree power laws are observed. The minimal number of edges between two arbitrary nodes, also called the graph distance or the hopcount, in a graph with $N$ nodes is investigated when $N\to \infty$. The paper is part of a sequel of three papers. The other two papers study the case where $\tau \in (2,3)$, and $\tau \in (3,\infty),$ respectively. The main result of this paper is that the graph distance converges for $\tau\in (1,2)$ to a limit random variable with probability mass exclusively on the points 2 and 3. We also consider the case where we condition the degrees to be at most $N^{\alpha}$ for some $\alpha>0.$ For $\tau^{-1}<\alpha<(\tau-1)^{-1}$, the hopcount converges to 3 in probability, while for $\alpha>(\tau-1)^{-1}$, the hopcount converges to the same limit as for the unconditioned degrees. Our results give convincing asymptotics for the hopcount when the mean degree is infinite, using extreme value theory.


title: Distances in random graphs with finite variance degrees

abstract: In this paper we study a random graph with $N$ nodes, where node $j$ has degree $D_j$ and $\{D_j\}_{j=1}^N$ are i.i.d. with $\prob(D_j\leq x)=F(x)$. We assume that $1-F(x)\leq c x^{-\tau+1}$ for some $\tau>3$ and some constant $c>0$. This graph model is a variant of the so-called configuration model, and includes heavy tail degrees with finite variance. The minimal number of edges between two arbitrary connected nodes, also known as the graph distance or the hopcount, is investigated when $N\to \infty$. We prove that the graph distance grows like $\log_{\nu}N$, when the base of the logarithm equals $\nu=\expec[D_j(D_j -1)]/\expec[D_j]>1$. This confirms the heuristic argument of Newman, Strogatz and Watts \cite{NSW00}. In addition, the random fluctuations around this asymptotic mean $\log_{\nu}{N}$ are characterized and shown to be uniformly bounded. In particular, we show convergence in distribution of the centered graph distance along exponentially growing subsequences.


title: Projective geometry over F_1 and the Gaussian binomial coefficients

abstract: There is no field with only one element, yet there is a well-defined notion of what projective geometry over such a field means. This notion is familiar to experts and plays an interesting role behind the scenes in combinatorics and algebra, but it is rarely discussed as such. The purpose of this article is to bring it to the attention of a broader audience, as the solution to a puzzle about Gaussian binomial coefficients.


title: Properly embedded and immersed minimal surfaces in the Heisenberg group

abstract: We study properly embedded and immersed p(pseudohermitian)-minimal surfaces in the 3-dimensional Heisenberg group. From the recent work of Cheng, Hwang, Malchiodi, and Yang, we learn that such surfaces must be ruled surfaces. There are two types of such surfaces: band type and annulus type according to their topology. We give an explicit expression for these surfaces. Among band types there is a class of properly embedded p-minimal surfaces of so called helicoid type. We classify all the helicoid type p-minimal surfaces. This class of p-minimal surfaces includes all the entire p-minimal graphs (except contact planes) over any plane. Moreover, we give a necessary and sufficient condition for such a p-minimal surface to have no singular points. For general complete immersed p-minimal surfaces, we prove a half space theorem and give a criterion for the properness.


title: Separable Functors and Formal Smoothness

abstract: The natural problem we approach in the present paper is to show how the notion of formally smooth (co)algebra inside monoidal categories can substitute that of (co)separable (co)algebra in the study of splitting bialgebra homomorphisms. This is performed investigating the relation between formal smoothness and separability of certain functors and led to other results related to Hopf algebra theory. Between them we prove that the existence of $ad$-(co)invariant integrals for a Hopf algebra $H$ is equivalent to the separability of some forgetful functors. In the finite dimensional case, this is also equivalent to the separability of the Drinfeld Double $D(H)$ over $H$. Hopf algebras which are formally smooth as (co)algebras are characterized. We prove that given a bialgebra surjection $\pi :E\to H$ with nilpotent kernel such that $H$ is a Hopf algebra which is formally smooth as a $K$-algebra, then $\pi $ has a section which is a right $H$-colinear algebra homomorphism. Moreover, if $H$ is also endowed with an $ad$-invariant integral, then this section can be chosen to be $H$-bicolinear. We also deal with the dual case.


title: Geometric presentations for Thompson's groups

abstract: We prove that Thompson's groups $F$ and $V$ are the geometry groups of associativity, and of associativity together with commutativity, respectively. We deduce new presentations of $F$ and $V$. These presentations lead to considering a certain subgroup of $V$ and an extension of this subgroup. We prove that the latter are the geometry groups of associativity together with the law $x(yz) = y(xz)$, and of associativity together with a twisted version of this law involving self-distributivity, respectively.


title: The group of parenthesized braids

abstract: We investigate a group $B\_\bullet$ that includes Artin's braid group $B\_\infty$ and Thompson's group $F$. The elements of $B\_\bullet$ are represented by braids diagrams in which the distances between the strands are not uniform and, besides the usual crossing generators, new rescaling operators shrink or strech the distances between the strands. We prove that $B\_\bullet$ is a group of fractions, that it is orderable, admits a non-trivial self-distributive structure, i.e., one involving the law $x(yz)=(xy)(xz)$, embeds in the mapping class group of a sphere with a Cantor set of punctures, and that Artin's representation of $B\_\infty$ into the automorphisms of a free group extends to $B\_\bullet$.


title: Analytic urns

abstract: This article describes a purely analytic approach to urn models of the generalized or extended P\'olya-Eggenberger type, in the case of two types of balls and constant ``balance,'' that is, constant row sum. The treatment starts from a quasilinear first-order partial differential equation associated with a combinatorial renormalization of the model and bases itself on elementary conformal mapping arguments coupled with singularity analysis techniques. Probabilistic consequences in the case of ``subtractive'' urns are new representations for the probability distribution of the urn's composition at any time n, structural information on the shape of moments of all orders, estimates of the speed of convergence to the Gaussian limit and an explicit determination of the associated large deviation function. In the general case, analytic solutions involve Abelian integrals over the Fermat curve x^h+y^h=1. Several urn models, including a classical one associated with balanced trees (2-3 trees and fringe-balanced search trees) and related to a previous study of Panholzer and Prodinger, as well as all urns of balance 1 or 2 and a sporadic urn of balance 3, are shown to admit of explicit representations in terms of Weierstra\ss elliptic functions: these elliptic models appear precisely to correspond to regular tessellations of the Euclidean plane.


title: Sub-Riemannian geometry and Lie groups. Part II. Curvature of metric spaces, coadjoint orbits and associated representations

abstract: This paper is the third in a series dedicated to the fundamentals of sub-Riemannian geometry and its implications in Lie groups theory: "Sub-Riemannian geometry and Lie groups. Part I", math.MG/0210189, available at http://arxiv.org/abs/math.MG/0210189, and "Tangent bundles to sub-Riemannian groups", math.MG/0307342, available at http://arxiv.org/abs/math.MG/0307342 .


title: Nonexistence of a crepant resolution of some moduli spaces of sheaves on a K3 surface

abstract: Let $M_c=M(2,0,c)$ be the moduli space of O(1)-semistable rank 2 torsion-free sheaves with Chern classes $c_1=0$ and $c_2=c$ on a K3 surface $X$ where O(1) is a generic ample line bundle on $X$. When $c=2n\geq4$ is even, $M_c$ is a singular projective variety equipped with a symplectic structure on the smooth locus. In this paper, we show that there is no crepant resolution of $M_{2n}$ for $n\geq 3$. This implies that there is no symplectic desingularization.


title: Combinatorics of rational functions and Poincare-Birkhoff-Witt expansions of the canonical U(n-)-valued differential form

abstract: We study the canonical U(n-)-valued differential form, whose projections to different Kac-Moody algebras are key ingredients of the hypergeometric integral solutions of KZ-type differential equations and Bethe ansatz constructions. We explicitly determine the coefficients of the projections in the simple Lie albegras A_r, B_r, C_r, D_r in a conviniently chosen Poincare-Birkhoff-Witt basis. As a byproduct we obtain results on the combinatorics of rational functions, namely non-trivial identities are proved between certain rational functions with partial symmetries.


title: Conditional Equi-concentration of Types

abstract: Conditional Equi-concentration of Types on I-projections is presented. It provides an extension of Conditional Weak Law of Large Numbers to the case of several I-projections. Also a multiple I-projections extension of Gibbs Conditioning Principle is developed. mu-projection variants of the probabilistic laws are stated. Implications of the results for Relative Entropy Maximization, Maximum Probability, Maximum Entropy in the Mean and Maximum Renyi-Tsallis Entropy methods are discussed.


title: Strong rigidity of II$_1$ factors arising from malleable actions of w-rigid groups, II

abstract: We prove that any isomorphism $\theta:M_0\simeq M$ of group measure space II$_1$ factors, $M_0=L^\infty(X_0, \mu_0) \rtimes_{\sigma_0} G_0$, $M=L^\infty(X, \mu) \rtimes_{\sigma} G$, with $G_0$ containing infinite normal subgroups with the relative property (T) of Kazhdan-Margulis (i.e. $G_0$ {\it w-rigid}) and $G$ an ICC group acting by Bernoulli shifts $\sigma$, essentially comes from an isomorphism of probability spaces which conjugates the actions. Moreover, any isomorphism $\theta$ of $M_0$ onto a ``corner'' $pMp$ of $M$, for $p\in M$ an idempotent, forces $p=1$. In particular, all group measure space factors associated with Bernoulli shift actions of w-rigid ICC groups have trivial fundamental group and all isomorphisms between such factors come from isomorphisms of the corresponding groups. This settles a ``group measure space version'' of Connes rigidity conjecture, shown in fact to hold true in a greater generality than just for ICC property (T) groups. We apply these results to ergodic theory, establishing new strong rigidity and superrigidity results for orbit equivalence relations.


title: Topological gravity in Minkowski space

abstract: The two-category with three-manifolds as objects, h-cobordisms as morphisms, and diffeomorphisms of these as two-morphisms, is extremely rich; from the point of view of classical physics it defines a nontrivial topological model for general relativity. A rather striking amount of work on pseudoisotopy theory [Hatcher, Waldhausen, Cohen-Carlsson-Goodwillie-Hsiang-Madsen...] can be formulated as a (generalized) TQFT in this framework. The resulting theory is far from trivial even in the case of Minkowski space, when the relevant three-manifold is the standard sphere.


title: Identities for Fibonacci and Lucas polynomials derived from a book of Gould

abstract: This note is dedicated to Professor Gould. The aim is to show how the identities in his book "Combinatorial Identities" can be used to obtain identities for Fibonacci and Lucas polynomials. In turn these identities allow to derive a wealth of numerical identities for Fibonacci and Lucas numbers.


title: Solution of Monge-Amp\`ere Equation on Wiener Space for log-concave measures: General case

abstract: We show the existence of the strong solutions of the Monge-Ampere equation for the log-concave measures without any regularity assumption. In particular the measures with density of the form $\exp -f$, where $f$ is an $H$-convex function which may take the value $\infty$ on a set of positive measure are included.


title: Tales of Hoffman

abstract: Hofmman's bound on the chromatic number of a graph states that $\chi \geq 1 - \frac {\lambda_1} {\lambda_n}$. Here we show that the same bound, or slight modifications of it, hold for several graph parameters related to the chromatic number: the vector coloring number, the $\psi$-covering number and the $\lambda$-clustering number.


title: Finite Hochschild cohomology without finite global dimension

abstract: Dieter Happel asked the following question: If the $n$-th Hochschild cohomology group of a finite dimensional algebra $\Gamma$ over a field vanishes for all sufficiently large $n$, is the global dimension of $\Gamma$ finite? We give a negative answer to this question.


title: A Value-At-Risk approach for robust management of electricity power generation

abstract: In this paper, we apply Value-at-Risk (VaR) approaches on the problem of yearly electric generation management. In a classical approach, the future is modelled as a markov chain and the goal is to minimize the average generation cost over this uncertain future. However, such a strategy could lead to big financiallosses if worst case scenarios occur. The two VaR approaches we propose, precisely aim at robustifying the model. On a practical point of view, it amounts to introduce a new set of constraints modelling the uncertainties in the original optimization problem or equivalently to change the dual objective function. The new optimization problems are solved as efficiently as the nominal model. Numerical simulations are presented and discussed for this application.


title: Algebraic Geometry over Free Groups: Lifting Solutions into Generic Points

abstract: In this paper we prove Implicit Function Theorems (IFT) for algebraic varieties defined by regular quadratic equations and, more generally, regular NTQ systems over free groups. In the model theoretic language these results state the existence of very simple Skolem functions for particular $\forall\exists$-formulas over free groups. We construct these functions effectively. In non-effective form IFT first appeared in \cite{Imp}. From algebraic geometry view-point IFT can be described as lifting solutions of equations into generic points of algebraic varieties. Moreover, we show that the converse is also true, i.e., IFT holds only for algebraic varieties defined by regular NTQ systems. This implies that if a finitely generated group $H$ is $\forall\exists$-equivalent to a free non-abelian group then $H$ is isomorphic to the coordinate group of a regular NTQ system.


title: Incomparable, non isomorphic and minimal Banach spaces

abstract: A Banach space contains either a minimal subspace or a continuum of incomparable subspaces. General structure results for analytic equivalence relations are applied in the context of Banach spaces to show that if $E_0$ does not reduce to isomorphism of the subspaces of a space, in particular, if the subspaces of the space admit a classification up to isomorphism by real numbers, then any subspace with an unconditional basis is isomorphic to its square and hyperplanes and has an isomorphically homogeneous subsequence.


title: Consecutive, Reversed, Mirror, and Symmetric Smarandache Sequences of Triangular Numbers

abstract: We use the Maple system to check the investigations of S. S. Gupta regarding the Smarandache consecutive and the reversed Smarandache sequences of triangular numbers [Smarandache Notions Journal, Vol. 14, 2004, pp. 366-368]. Furthermore, we extend previous investigations to the mirror and symmetric Smarandache sequences of triangular numbers.


title: Jets via Hasse-Schmidt Derivations

abstract: This note is intended to provide a general reference for jet spaces and jet differentials, valid in maximal generality (at the level of EGA). The approach is rather concrete, using Hasse-Schmidt (divided) higher differentials. Discussion of projectivized jet spaces (as in Green and Griffiths (1980)) is included.


title: Statistical stability of saddle-node arcs

abstract: We study the dynamics of generic unfoldings of saddle-node circle local diffeomorphisms from the measure theoretical point of view, obtaining statistical stability results for deterministic and random perturbations in these kind of one-parameter families.


title: Newton's Method as a Formal Recurrence

abstract: Iterating Newton's method symbolically for the general quadratic yields a rational function, the numerator and denominator of which are polynomials with highly composite coefficients.


title: Discrete Baker Transformation and Cellular Automata

abstract: In this paper we propose a rule-independent description of applications of cellular automata rules for one-dimensional additive cellular automata on cylinders of finite sizes. This description is shown to be a useful tool for for answering questions about automata's state transition diagrams (STD). The approach is based on two transformations: one (called {\sl Baker transformation}) acts on the $n$-dimensional Boolean cube $\frak B^n$ and the other (called {\sl index-baker transformation}) acts on the cyclic group of power $n$. The single diagram of Baker transformation in $\frak B^n$ contains an important information about all automata on the cylinder of size $n$. Some of the results yielded by this approach can be viewed as a generalization and extension of certain results by O. Martin, A. Odlyzko, S. Wolfram. Additionally, our approach leads to a convenient language for formulating properties, such as possession of cycles with certain lengths and given diagram heights, of automaton rules.


title: A Complete Annotated Bibliography of Work Related to Sidon Sequences

abstract: A Sidon sequence is a sequence of integers a_1 < a_2 < a_3 < ... with the property that the sums a_i+a_j (i\le j) are distinct. This work contains a survey of Sidon sequences and their generalizations, and an extensive annotated and hyperlinked bibliography of related work.


title: Random oriented Trees: a Model of drainage networks

abstract: Consider the d-dimensional lattice Z^d where each vertex is ``open'' or ``closed'' with probability p or 1-p, respectively. An open vertex v is connected by an edge to the closest open vertex w such that the dth co-ordinates of v and w satisfy w(d)=v(d)-1. In case of nonuniqueness of such a vertex w, we choose any one of the closest vertices with equal probability and independently of the other random mechanisms. It is shown that this random graph is a tree almost surely for d=2 and 3 and it is an infinite collection of distinct trees for d\geq4. In addition, for any dimension, we show that there is no bi-infinite path in the tree and we also obtain central limit theorems of (a) the number of vertices of a fixed degree \nu and (b) the number of edges of a fixed length l.


title: A Characterization of Hedging Portfolios for Interest Rate Contingent Claims

abstract: We consider the problem of hedging a European interest rate contingent claim with a portfolio of zero-coupon bonds and show that an HJM type Markovian model driven by an infinite number of sources of randomness does not have some of the shortcomings found in the classical finite-factor models. Indeed, under natural conditions on the model, we find that there exists a unique hedging strategy, and that this strategy has the desirable property that at all times it consists of bonds with maturities that are less than or equal to the longest maturity of the bonds underlying the claim.


title: A mixture representation of \pi with applications in Markov chain Monte Carlo and perfect sampling

abstract: Let X={X_n:n=0,1,2,...} be an irreducible, positive recurrent Markov chain with invariant probability measure \pi. We show that if X satisfies a one-step minorization condition, then \pi can be represented as an infinite mixture. The distributions in the mixture are associated with the hitting times on an accessible atom introduced via the splitting construction of Athreya and Ney [Trans. Amer. Math. Soc. 245 (1978) 493-501] and Nummelin [Z. Wahrsch. Verw. Gebiete 43 (1978) 309-318]. When the small set in the minorization condition is the entire state space, our mixture representation of \pi reduces to a simple formula, first derived by Breyer and Roberts [Methodol. Comput. Appl. Probab. 3 (2001) 161-177] from which samples can be easily drawn. Despite the fact that the derivation of this formula involves no coupling or backward simulation arguments, the formula can be used to reconstruct perfect sampling algorithms based on coupling from the past


title: Sphere Theorem for Manifolds with Positive Curvature

abstract: In this paper, we prove that, for any integer $n\ge 2,$ there exists an $\epsilon_{n} \ge 0$ so that if $M$ is an n-dimensional complete manifold with sectional curvature $ K_{M}\ge 1$ and if $M$ has conjugate radius bigger than $\frac{\pi}{2} $ and contains a geodesic loop of length $2(\pi -\epsilon_{n}),$ then $M$ is diffeomorphic to the Euclidian unit sphere $S^{n}.$


title: Practical drift conditions for subgeometric rates of convergence

abstract: We present a new drift condition which implies rates of convergence to the stationary distribution of the iterates of a \psi-irreducible aperiodic and positive recurrent transition kernel. This condition, extending a condition introduced by Jarner and Roberts [Ann. Appl. Probab. 12 (2002) 224-247] for polynomial convergence rates, turns out to be very convenient to prove subgeometric rates of convergence. Several applications are presented including nonlinear autoregressive models, stochastic unit root models and multidimensional random walk Hastings-Metropolis algorithms.


title: Rational curves on minuscule Schubert varieties

abstract: Let X be a minuscule Schubert variety and $\alpha$ a class of 1-cycle on X. In this article we describe the irreducible components of the scheme of morphisms of class $\alpha$ from a rational curve to X. The irreducible components are described in the following way : the class $\alpha$ can be seen as an element of $Pic(X)^*$ the dual of the Picard group. Because any Weil-divisor need not to be a Cartier-divisor, there is (only) a surjective map $s:A^1(X)^*\to Pic(X)^*$ from the dual of the group of codimension 1 cycles to the dual of the Picard group. The irreducible components are given by the effective elements $\beta$ in $A^1(X)^*$ such that $s(\beta)=\alpha$. The proof of the result uses the Bott-Samelson resolution Y of X. We prove that any curve on X can be lifted in Y (after deformation). This is because any divisor on minuscule Schubert variety is a moving one. Then we prove that any curve coming from X can be deformed so that it does not meet the contracted divisor of $Y\to X$. This is possible because for minuscule Schubert variety there are lines in the projectivised tangent space to a singularity. It is now sufficient to deal with the case of the orbit of $Stab(X)$ the stabiliser of X and we can apply results of our previous paper math.AG/0003199.


title: Rational curves on homogeneous cones

abstract: Let G/Q be an homogeneous variety embedded in a projective space P thanks to an ample line bundle L. Take a projective space containing P and form the cone X over G/Q, we call this a cone over an homogeneous variety. Let $\alpha$ a class of 1-cycle on X. In this article we describe the irreducible components of the scheme of morphisms of class $\alpha$ from a rational curve to X. The situation depends on the line bundle L : if the projectivised tangent space to the vertex contains lines (i.e. if G/Q contains lines in P) then the irreducible components are described as in our paper math.AG/0407123 by the difference between Cartier and Weil divisors. On the contrary if there is no line in the projectivised tangent space to the vertex then there are new irreducible components corresponding to the multiplicity of the curve through the vertex. As in math.AG/0407123 we use a resolution Y of X (the blowing-up) and study the curves on Y.


title: Ruin probabilities and decompositions for general perturbed risk processes

abstract: We study a general perturbed risk process with cumulative claims modelled by a subordinator with finite expectation, with the perturbation being a spectrally negative Levy process with zero expectation. We derive a Pollaczek-Hinchin type formula for the survival probability of that risk process, and give an interpretation of the formula based on the decomposition of the dual risk process at modified ladder epochs.


title: Lagrangian submanifolds and Lefschetz pencils

abstract: Given a Lagrangian submanifold in a symplectic manifold and a Morse function on the submanifold, we show that there is an isotopic Morse function and a symplectic Lefschetz pencil on the manifold extending the Morse function to the whole manifold. From this construction we define a sequence of symplectic invariants classifying the isotopy classes of Lagrangian spheres in a symplectic 4-manifold.


title: On the Neyman-Pearson problem for law-invariant risk measures and robust utility functionals

abstract: Motivated by optimal investment problems in mathematical finance, we consider a variational problem of Neyman-Pearson type for law-invariant robust utility functionals and convex risk measures. Explicit solutions are found for quantile-based coherent risk measures and related utility functionals. Typically, these solutions exhibit a critical phenomenon: If the capital constraint is below some critical value, then the solution will coincide with a classical solution; above this critical value, the solution is a superposition of a classical solution and a less risky or even risk-free investment. For general risk measures and utility functionals, it is shown that there exists a solution that can be written as a deterministic increasing function of the price density.


title: When can the two-armed bandit algorithm be trusted?

abstract: We investigate the asymptotic behavior of one version of the so-called two-armed bandit algorithm. It is an example of stochastic approximation procedure whose associated ODE has both a repulsive and an attractive equilibrium, at which the procedure is noiseless. We show that if the gain parameter is constant or goes to 0 not too fast, the algorithm does fall in the noiseless repulsive equilibrium with positive probability, whereas it always converges to its natural attractive target when the gain parameter goes to zero at some appropriate rates depending on the parameters of the model. We also elucidate the behavior of the constant step algorithm when the step goes to 0. Finally, we highlight the connection between the algorithm and the Polya urn. An application to asset allocation is briefly described.


title: Generalized Urn Models of Evolutionary Processes

abstract: Generalized Polya urn models can describe the dynamics of finite populations of interacting genotypes. Three basic questions these models can address are: Under what conditions does a population exhibit growth? On the event of growth, at what rate does the population increase? What is the long-term behavior of the distribution of genotypes? To address these questions, we associate a mean limit ordinary differential equation (ODE) with the urn model. Previously, it has been shown that on the event of population growth, the limiting distribution of genotypes is a connected internally chain recurrent set for the mean limit ODE. To determine when growth and convergence occurs with positive probability, we prove two results. First, if the mean limit ODE has an ``attainable'' attractor at which growth is expected, then growth and convergence toward this attractor occurs with positive probability. Second, the population distribution almost surely does not converge to sets where growth is not expected


title: The Conway function of a splice

abstract: We give a closed formula for the Conway function of a splice in terms of the Conway function of its splice components. As corollaries, we refine and generalize results of Seifert, Torres, and Sumners-Woods.


title: Stochastic partial differential equations driven by Levy space-time white noise

abstract: In this paper we develop a white noise framework for the study of stochastic partial differential equations driven by a d-parameter (pure jump) Levy white noise. As an example we use this theory to solve the stochastic Poisson equation with respect to Levy white noise for any dimension d. The solution is a stochastic distribution process given explicitly. We also show that if d\leq 3, then this solution can be represented as a classical random field in L2(\mu ), where \mu is the probability law of the Levy process. The starting point of our theory is a chaos expansion in terms of generalized Charlier polynomials. Based on this expansion we define Kondratiev spaces and the Levy Hermite transform.


title: Optimal Scaling of Mala for Nonlinear Regression

abstract: We address the problem of simulating efficiently from the posterior distribution over the parameters of a particular class of nonlinear regression models using a Langevin-Metropolis sampler. It is shown that as the number N of parameters increases, the proposal variance must scale as N{-1/3} in order to converge to a diffusion. This generalizes previous results of Roberts and Rosenthal [J. R. Stat. Soc. Ser. B Stat. Methodol. 60 (1998) 255-268] for the i.i.d. case, showing the robustness of their analysis.


title: Pointwise convergence on the boundary in the Denjoy-Wolff Theorem

abstract: If $\phi$ is an analytic selfmap of the disk (not an elliptic automorphism) the Denjoy-Wolff Theorem predicts the existence of a point $p$ with $|p|\leq 1$ such that the iterates $\phi_{n}$ converge to $p$ uniformly on compact subsets of the disk. Since these iterates are bounded analytic functions, there is a subset of the unit circle of full linear measure where they all well-defined. We address the question of whether convergence to $p$ still holds almost everywhere on the unit circle. The answer depends on the location of $p$ and the dynamical properties of $\phi $. We show that when $|p|<1$(elliptic case), pointwise a.e. convergence holds if and only if $\phi$ is not an inner function. When $|p|=1$ things are more delicate. We show that when $\phi$ is hyperbolic or type I parabolic, then pointwise a.e. convergence holds always. The last case, type II parabolic remains open at this moment, but we conjecture the answer to be as in the elliptic case.


title: Correction Bounds on measures satisfying moment conditions

abstract: The Annals of Applied Probability (2002) 12 1114-1137


title: On the geometric dilation of closed curves, graphs, and point sets

abstract: The detour between two points u and v (on edges or vertices) of an embedded planar graph whose edges are curves is the ratio between the shortest path in in the graph between u and v and their Euclidean distance. The maximum detour over all pairs of points is called the geometric dilation. Ebbers-Baumann, Gruene and Klein have shown that every finite point set is contained in a planar graph whose geometric dilation is at most 1.678, and some point sets require graphs with dilation at least pi/2 = 1.57... We prove a stronger lower bound of 1.00000000001*pi/2 by relating graphs with small dilation to a problem of packing and covering the plane by circular disks. The proof relies on halving pairs, pairs of points dividing a given closed curve C in two parts of equal length, and their minimum and maximum distances h and H. Additionally, we analyze curves of constant halving distance (h=H), examine the relation of h to other geometric quantities and prove some new dilation bounds.


title: Earliest-deadline-first service in heavy-traffic acyclic networks

abstract: This paper presents a heavy traffic analysis of the behavior of multi-class acyclic queueing networks in which the customers have deadlines. We assume the queueing system consists of J stations, and there are K different customer classes. Customers from each class arrive to the network according to independent renewal processes. The customers from each class are assigned a random deadline drawn from a deadline distribution associated with that class and they move from station to station according to a fixed acyclic route. The customers at a given node are processed according to the earliest-deadline-first (EDF) queue discipline. At any time, the customers of each type at each node have a lead time, the time until their deadline lapses. We model these lead times as a random counting measure on the real line. Under heavy traffic conditions and suitable scaling, it is proved that the measure-valued lead-time process converges to a deterministic function of the workload process.


title: Iterated Brownian motion in an open set

abstract: Suppose a solid has a crack filled with a gas. If the crack reaches the surrounding medium, how long does it take the gas to diffuse out of the crack? Iterated Brownian motion serves as a model for diffusion in a crack. If \tau is the first exit time of iterated Brownian motion from the solid, then P(\tau>t) can be viewed as a measurement of the amount of contaminant left in the crack at time t. We determine the large time asymptotics of P(\tau>t) for both bounded and unbounded sets. We also discuss a strange connection between iterated Brownian motion and the parabolic operator {1/8}\Delta^2-\frac{\partial}{\partial t}.


title: The first Dirichlet Eigenvalue of a Compact Manifold and the Yang Conjecture

abstract: We give a new estimate on the lower bound of the first Dirichlet eigenvalue of a compact Riemannian manifold with negative lower bound of Ricci curvature and provide a solution for a conjecture of H. C. Yang.


title: Concentration of permanent estimators for certain large matrices

abstract: Let A_n=(a_{ij})_{i,j=1}^n be an n\times n positive matrix with entries in [a,b], 0<a\le b. Let X_n=(\sqrta_{ij}x_{ij})_{i,j=1}^n be a random matrix, where {x_{ij}} are i.i.d. N(0,1) random variables. We show that for large n, \det (X_n^TX_n) concentrates sharply at the permanent of A_n, in the sense that n^{-1}\log (\det(X_n^TX_n)/perA_n)\to_{n\to\infty}0 in probability.


title: Uniform Markov Renewal Theory and Ruin Probabilities in Markov Random Walks

abstract: Let {X_n,n\geq0} be a Markov chain on a general state space X with transition probability P and stationary probability \pi. Suppose an additive component S_n takes values in the real line R and is adjoined to the chain such that {(X_n,S_n),n\geq0} is a Markov random walk. In this paper, we prove a uniform Markov renewal theorem with an estimate on the rate of convergence. This result is applied to boundary crossing problems for {(X_n,S_n),n\geq0}. To be more precise, for given b\geq0, define the stopping time \tau=\tau(b)=inf{n:S_n>b}. When a drift \mu of the random walk S_n is 0, we derive a one-term Edgeworth type asymptotic expansion for the first passage probabilities P_{\pi}{\tau<m} and P_{\pi}{\tau<m,S_m<c}, where m\leq\infty, c\leq b and P_{\pi} denotes the probability under the initial distribution \pi. When \mu\neq0, Brownian approximations for the first passage probabilities with correction terms are derived.


title: The evolution of a random vortex filament

abstract: We study an evolution problem in the space of continuous loops in three-dimensional Euclidean space modelled upon the dynamics of vortex lines in 3d incompressible and inviscid fluids. We establish existence of a local solution starting from H\"older regular loops with index greater than 1/3. When the H\"older regularity of the initial condition X is smaller or equal 1/2 we require X to be a rough path in the sense of Lyons. The solution will then live in an appropriate space of rough paths. In particular we can construct (local) solution starting from almost every Brownian loop.


title: An Ahlfors Islands Theorem for non-archimedean meromorphic functions

abstract: We present a p-adic and non-archimdean version of the Five Islands Theorem for meromorphic functions from Ahlfors' theory of covering surfaces. In the non-archimedean setting, the theorem requires only four islands, with explicit constants. We present examples to show that the constants are sharp and that other hypotheses of the theorem cannot be removed. This paper extends an earlier theorem of the author for holomorphic functions.


title: Computing limit linear series with infinitesimal methods

abstract: Alexander and Hirschowitz determined the Hilbert function of a generic union of fat points in a projective space when the number of fat points is much bigger than the greatest multiplicity of the fat points. Their method is based on a lemma which determines the limit of a linear system depending on fat points which approach a divisor. On the other hand, Nagata in connection with its counter example to the fourteenth problem of Hilbert determined the Hilbert function H(d) of the union of k^2 points of the same multiplicity m in the plane up to degree d=km. We introduce a new method to determine limits of linear systems. This generalizes the result by Alexander and Hirschowitz. Our main application of this method is the conclusion of the work initiated by Nagata: we compute H(d) for all d. As a second application, we determine the generic successive collision of four fat points of the same multiplicity in the plane.


title: On the postulation of s^d fat points in P^d

abstract: In connection with his counter-example to the fourteenth problem of Hilbert, Nagata formulated a conjecture concerning the postulation of r fat points of the same multiplicity in the projective plane and proved it when r is a square. Iarrobino formulated a similar conjecture in any projective space P^d. We prove Iarrobino's conjecture when r is a d-th power. As a corollary, we obtain new counter-examples modeled on those by Nagata.


title: Compact packings of the plane with two sizes of discs

abstract: We consider packings of the plane using discs of radius 1 and r. A packing is compact if every disc D is tangent to a sequence of discs D_1, D_2, ..., D_n such that D_i is tangent to D_{i+1}. We prove that there are only nine values of r with r<1 for which such packings are possible. For each of the nine values we describe the possible compact packings.


title: Mapping spaces and homology isomorphisms

abstract: Let Map(K,X) denote the space of pointed continuous maps from a finite cell complex K to a space X. Let E_* be a generalized homology theory. We use Goodwillie calculus methods to prove that under suitable conditions on K and X, Map(K, X) will send a E_*--isomorphism in either variable to a map that is monic in E_* homology. Interesting examples arise by letting E_* be K--theory, K be a sphere, and the map in the X variable be an exotic unstable Adams map between Moore spaces.


title: Fano threefolds of genus 6

abstract: This paper was written in 1982. Ideas and methods of "Clemens C.H., Griffiths Ph. The intermediate Jacobian of a cubic threefold" are applied to a Fano threefold X of genus 6 -- intersection of Grassmann sixfold with two hyperplanes and a quadric. We prove: 1. The Fano surface F(X) of X is smooth and irreducible. Hodge numbers and some other invariants of F(X) are calculated. 2. Tangent bundle theorem for X, and its geometric interpretation. It is shown that F(X) defines X uniquely. 3. The Abel - Jacobi map from the Albanese of F(X) to the middle Jacobian of X is an isogeny.


title: The Affinity of a Permutation of a Finite Vector Space

abstract: For a permutation f of an n-dimensional vector space V over a finite field of order q we let k-affinity(f) denote the number of k-flats X of V such that f(X) is also a k-flat. By k-spectrum(n,q) we mean the set of integers k-affinity(f) where f runs through all permutations of V. The problem of the complete determination of k-spectrum(n,q) seems very difficult except for small or special values of the parameters. However, we are able to establish that k-spectrum(n,q) contains 0 in the following cases: (i) q>2 and 0<k<n; (ii) q=2, 2<k<n; (iii) q=2, k=2, odd n>2. The maximum of k-affinity(f) is, of course, obtained when f is any semi-affine mapping. We conjecture that the next to largest value of k-affinity(f) is when f is a transposition and we are able to prove this when q=2, k=2, n>2 and when q>2, k=1, n>1.


title: An almost sure invariance principle for renormalized intersection local times

abstract: Let \beta_k(n) be the number of self-intersections of order k, appropriately renormalized, for a mean zero random walk X_n in Z^2 with 2+\delta moments. On a suitable probability space we can construct X_n and a planar Brownian motion W_t such that for each k\geq 2, |\beta_k(n)-\gamma_k(n)|=O(n^{-a}), a.s. for some a>0 where \gamma_k(n) is the renormalized self-intersection local time of order k at time 1 for the Brownian motion W_{nt}/\sqrt n.


title: Modification systems and integration in their Chow groups

abstract: We introduce a notion of integration on the category of proper birational maps to a given variety $X$, with value in an associated Chow group. Applications include new birational invariants; comparison results for Chern classes and numbers of nonsingular birational varieties; `stringy' Chern classes of singular varieties; and a zeta function specializing to the topological zeta function. In its simplest manifestation, the integral gives a new expression for Chern-Schwartz-MacPherson classes of possibly singular varieties, placing them into a context in which a `change-of-variable' formula holds. v2: References added, and overly optimistic claims concerning non log-terminal singularities expunged.


title: Area of Polygons in Hyperbolic Geometry

abstract: Consider the Poincare disc model for hyperbolic geometry. In this paper, a convenient computational formula is developed along with an aesthetic geometric interpretation. Two proofs, one geometric and one analytical, of each result are given.


title: Polynomial identity rings as rings of functions

abstract: We generalize the usual relationship between irreducible Zariski closed subsets of the affine space, their defining ideals, coordinate rings, and function fields, to a non-commutative setting, where "varieties" carry a PGL_n-action, regular and rational "functions" on them are matrix-valued, "coordinate rings" are prime polynomial identity algebras, and "function fields" are central simple algebras of degree n. In particular, a prime polynomial identity algebra of degree n is finitely generated if and only if it arises as the "coordinate ring" of a "variety" in this setting. For n = 1 our definitions and results reduce to those of classical affine algebraic geometry.


title: On the nondegeneracy of constant mean curvature surfaces

abstract: We prove that many complete, noncompact, constant mean curvature (CMC) surfaces $f:\Sigma \to \R^3$ are nondegenerate; that is, the Jacobi operator $\Delta_f + |A_f|^2$ has no $L^2$ kernel. In fact, if $\Sigma$ has genus zero and $f(\Sigma)$ is contained in a half-space, then we find an explicit upper bound for the dimension of the $L^2$ jernel in terms of the number of non-cylindrical ends. Our main tool is a conjugation operation on Jacobi fields which linearizes the conjugate cousin construction. Consequences include partial regularity for CMC moduli space, a larger class of CMC surfaces to use in gluing constructions, and a surprising characterization of CMC surfaces via spinning spheres.


title: Automorphisms and twisted loop algebras of finite dimensional simple Lie superalgebras

abstract: We describe the structure of the algebraic group of automorphisms of all simple finite dimensional Lie superalgebras. Using this and \'etale cohomology considerations, we list all different isomorphism classes of the corresponding twisted loop superalgebras.


title: Baxter Algebras and Shuffle Products

abstract: In this paper we generalize the well-known construction of shuffle product algebras by using mixable shuffles, and prove that any free Baxter algebra is isomorphic to a mixable shuffle product algebra. This gives an explicit construction of the free Baxter algebra, extending the work of Rota and Cartier.


title: On Free Baxter Algebras: Completions and the Internal Construction

abstract: We continue the study of free Baxter algebras. There are two goals of this paper. The first goal is to extend the construction of shuffle Baxter algebras to completions of Baxter algebras. This process is motivated by a construction of Cartier and is analogous to the process of completing a polynomial algebra to obtain a power series algebra. However, as we will see later, unlike the close similarity of properties of a polynomial algebra and a power series algebra, properties of a shuffle Baxter algebra and its completion can be quite different.


title: Properties of Free Baxter Algebras

abstract: The study of free Baxter algebras was started by Rota and Cartier thirty years ago. We continue this study by applying two recent constructions of free Baxter algebras. We investigate the basic structure of a free Baxter algebra, and characterize in detail when a free Baxter algebra is a domain or a reduced algebra. We also describe the nilpotent radical of a free Baxter algebra when it is not reduced.


title: Multiplicities of the Most Singular Point on Schubert varieties on Gl(n)/B for n=5,6

abstract: We calculate using Macaulay 2 the multiplicities of the most singular point on Schubert varieties on Gl(n)/B for $n=5,6$. The method of computation is described and tables of the results are included.


title: Baxter Algebras and Umbral Calculus

abstract: We apply recent constructions of free Baxter algebras to the study of the umbral calculus. We give a characterization of the umbral calculus in terms of Baxter algebra. This characterization leads to a natural generalization of the umbral calculus that include the classical umbral calculus in a family of $\lambda$-umbral calculi parameterized by $\lambda$ in the base ring.


title: Catalan numbers and Schubert polynomials for $w=1(n+1)... 2$

abstract: We show that the Schubert polynomial S_w specializes to the Catalan number C_n when $w=1(n+1)...2$. Several proofs of this result as well as a q-analog are given. An application to the singularities of Schubert varieties is given.


title: Shrinkwrapping and the taming of hyperbolic 3-manifolds

abstract: We introduce a new technique for finding CAT(-1) surfaces in hyperbolic 3-manifolds. We use this to show that a complete hyperbolic 3-manifold with finitely generated fundamental group is geometrically and topologically tame.


title: On Products and Duality of Binary, Quadratic, Regular Operads

abstract: Since its introduction by Loday in 1995 with motivation from algebraic K-theory, dendriform dialgebras have been studied quite extensively with connections to several areas in mathematics and physics. A few more similar structures have been found recently, such as the tri-, quadri-, ennea- and octo-algebras, with increasing complexity in their constructions and properties. We consider these constructions as operads and their products and duals, in terms of generators and relations, with the goal to clarify and simplify the process of obtaining new algebra structures from known structures and from linear operators.


title: Cohomologie $L^2$ et parabolicite

abstract: We obtain a topological interpretation for the space of $L^2$ harmonic forms for some complete Riemannian manifold : when the geometry at infinity is the geometry of a simply connected nilpotent Lie group, when the geometry at infinity is a symmetric space with non positive curvature and also when the geometry at infinity is parabolic.


title: Ribbon-moves of 2-knots: the torsion linking pairing and the $\widetilde\eta$-invariants of 2-knots

abstract: We discuss the ribbon-move for 2-knots, which is a local move. Let $K$ and $K'$ be 2-knots. Then we have: Suppose that $K$ and $K'$ are ribbon-move equivalent. (1) Let ${\mathrm {Tor}} H_1(\widetilde X_K; {\Z})$ (resp. ${\mathrm {Tor}} H_1(\widetilde X_{K'}; {\Z})$) be the $\Z$-torsion submodule of the Alexander module $H_1(\widetilde X_K; {\Z})$ (resp. $H_1(\widetilde X_{K'}; {\Z})$). Then ${\mathrm {Tor}} H_1(\widetilde X_K; {\Z})$ is isomorphic to ${\mathrm {Tor}} H_1(\widetilde X_{K'}; {\Z})$ not only as $\Z$-modules but also as ${\Z}[t,t^{-1}]$-modules. (2) The Farber-Levine pairing for $K$ is equivalent to that for $K'$. (3) The set of the values of the $\Q/\Z$-valued $\tilde\eta$ invariants for $K$ is equivalent to that for $K'$.


title: Representations and Cocycle Twists of Color Lie Algebras

abstract: We study relations between finite-dimensional representations of color Lie algebras and their cocycle twists. Main tools are the universal enveloping algebras and their FCR-properties (finite-dimensional representations are completely reducible.) Cocycle twist preserves the FCR-property. As an application, we compute all finite dimensional representations (up to isomorphism) of the color Lie algebra $sl_2^c$.


title: Orbit counting with an isometric direction

abstract: Analogues of the prime number theorem and Merten's theorem are well-known for dynamical systems with hyperbolic behaviour. In this paper a 3-adic extension of the circle doubling map is studied. The map has a 3-adic eigendirection in which it behaves like an isometry, and the loss of hyperbolicity leads to weaker asymptotic results on orbit counting than those obtained for hyperbolic maps.


title: Distance-two labelings of digraphs

abstract: For positive integers $j\ge k$, an $L(j,k)$-labeling of a digraph $D$ is a function $f$ from $V(D)$ into the set of nonnegative integers such that $|f(x)-f(y)|\ge j$ if $x$ is adjacent to $y$ in $D$ and $|f(x)-f(y)|\ge k$ if $x$ is of distant two to $y$ in $D$. Elements of the image of $f$ are called labels. The $L(j,k)$-labeling problem is to determine the $\vec{\lambda}_{j,k}$-number $\vec{\lambda}_{j,k}(D)$ of a digraph $D$, which is the minimum of the maximum label used in an $L(j,k)$-labeling of $D$. This paper studies $\vec{\lambda}_{j,k}$- numbers of digraphs. In particular, we determine $\vec{\lambda}_{j,k}$- numbers of digraphs whose longest dipath is of length at most 2, and $\vec{\lambda}_{j,k}$-numbers of ditrees having dipaths of length 4. We also give bounds for $\vec{\lambda}_{j,k}$-numbers of bipartite digraphs whose longest dipath is of length 3. Finally, we present a linear-time algorithm for determining $\vec{\lambda}_{j,1}$-numbers of ditrees whose longest dipath is of length 3.


title: Isometric-path numbers of block graphs

abstract: An isometric path between two vertices in a graph G is a shortest path joining them. The isometric-path number of G, denoted by ip(G), is the minimum number of isometric paths required to cover all vertices of G. In this paper, we determine exact values of isometric-path numbers of block graphs. We also give a linear-time algorithm for finding the corresponding paths.


title: Halphen conditions and postulation of nodes

abstract: We give sharp lower bounds for the postulation of the nodes of a general plane projection of a smooth connected curve C in P^r and we study the relationships with the geometry of the embedding. Strict connections with Castelnuovo's theory and Halphen's theory are shown.


title: Combinatorics and geometry of Littlewood-Richardson cones

abstract: We present several direct bijections between different combinatorial interpretations of the Littlewood-Richardson coefficients. The bijections are defined by explicit linear maps which have other applications.


title: An arctic circle theorem for groves

abstract: In earlier work, Jockusch, Propp, and Shor proved a theorem describing the limiting shape of the boundary between the uniformly tiled corners of a random tiling of an Aztec diamond and the more unpredictable `temperate zone' in the interior of the region. The so-called arctic circle theorem made precise a phenomenon observed in random tilings of large Aztec diamonds. Here we examine a related combinatorial model called groves. Created by Carroll and Speyer as combinatorial interpretations for Laurent polynomials given by the cube recurrence, groves have observable frozen regions which we describe precisely via asymptotic analysis of a generating function. Our approach also provides another way to prove the arctic circle theorem for Aztec diamonds.


title: End reductions, fundamental groups, and covering spaces of irreducible open 3-manifolds

abstract: Suppose M is a connected, open, orientable, irreducible 3-manifold which is not homeomorphic to R^3. Given a compact 3-manifold J in M which satisfies certain conditions, Brin and Thickstun have associated to it an open neighborhood V$ called an end reduction of M at J. It has some useful properties which allow one to extend to M various results known to hold for the more restrictive class of eventually end irreducible open 3-manifolds. In this paper we explore the relationship of V and M with regard to their fundamental groups and their covering spaces. In particular we give conditions under which the inclusion induced homomorphism on fundamental groups is an isomorphism. We also show that if M has universal covering space homeomorphic to R^3, then so does V. This work was motivated by a conjecture of Freedman (later disproved by Freedman and Gabai) on knots in M which are covered by a standard set of lines in R^3.


title: Clones on infinite sets

abstract: A clone on a set X is a set of finitary functions on X which contains the projections and which is closed under composition. The set of all clones on X forms a complete algebraic lattice Cl(X). We obtain several results on the structure of Cl(X) for infinite X. In the first chapter we prove the combinatorial result that if X is linearly ordered, then the median functions of different arity defined by that order all generate the same clone. The second chapter deals with clones containing the almost unary functions, that is, all functions whose value is determined by one of its variables up to a small set. We show that on X of regular cardinality, the set of such clones is always a countably infinite descending chain. The third chapter generalizes a result due to L. Heindorf from the countable to all uncountable X of regular cardinality, resulting in an explicit list of all clones containing the permutations but not all unary functions of X. Moreover, all maximal submonoids of the full transformation monoid which contain the permutations of X are determined, on all infinite X; this is an extension of a theorem by G. Gavrilov for countable base sets.


title: Totally real origami and impossible paper folding

abstract: This paper gives one set of axioms for origami constructions, and describes the set of constructible points under these axioms. The determination of the set of cunstructible points for this particular set of axioms is related to Hilbert's 17 th problem.


title: Bivariate Uniqueness and Endogeny for Recursive Distributional Equations : Two Examples

abstract: This paper has been withdrawn by the author because of finding a flaw in the proof of endogeny for the Frozen Percolation RDE which was one of two examples discussed in this paper. The other example is correct and can be obtained from the work "Bivariate Uniqueness and Endogeny for the Logistic Recursive Distributional Equation" of the author. At the current moment we believe that endogeny is false for the Frozen Percolation RDE. Fresh simulations done independently by the author and David J. Aldous suggest non-endogeny. Although a rigorous proof is yet to be found. It is interesting to note that one can prove that the tail of the associated Recursive Tree Process (RTP) is trivial. The work titled "A Necessary and Sufficient Condition for the Tail Triviality of a Recursive Tree Process" of the author present this result.


title: The Gromov Norm of the Product of Two Surfaces

abstract: We make an estimation of the value of the Gromov norm of the Cartesian product of two surfaces. Our method uses a connection between these norms and the minimal size of triangulations of the products of two polygons. This allows us to prove that the Gromov norm of this product is between 32 and 52 when both factors have genus 2. The case of arbitrary genera is easy to deduce form this one.


title: On improving the accuracy of Horner's and Goertzel's algorithms

abstract: It is known that Goertzel's algorithm is much less numerically accurate than the Fast Fourier Transform (FFT)(Cf. \cite{gen:69}). In order to improve accuracy we propose modifications of both Goertzel's and Horner's algorithms based on the divide-and-conquer techniques. The proof of the numerical stability of these two modified algorithms is given. The numerical tests in Matlab demonstrate the computational advantages of the proposed modifications. The appendix contains the proof of numerical stability of Goertzel's algorithm of polynomial evaluation.


title: Short introduction to Nonstandard Analysis

abstract: These lecture notes, to be completed in a later version, offer a short and rigorous introduction to Nostandard Analysis, mainly aimed to reach to a presentation of the basics of Loeb integration, and in particular, Loeb measures. The Abraham Robinson version of Nostandard Analysis is pursued, with a respective incursion into Superstructures. Two formal languages are used, one simpler at first, and then later, one for the full blown theory. A number of detailed comments, not often found in textbooks, accompanies the text.


title: An invariant of Cauchy-Riemann Seifert 3-manifolds and applications

abstract: We compute a recently introduced geometric invariant of stricly pseudoconvex CR 3-manifolds for certain circle invariant spherical CR structures on Seifert manifolds. We give applications to the problem of filling the CR manifold by a complex hyperbolic manifold, and more generally by a Kaehler-Einstein or an Einstein metric.


title: Baxter Algebras and Differential Algebras

abstract: A Baxter algebra is a commutative algebra $A$ that carries a generalized integral operator. In the first part of this paper we review past work of Baxter, Miller, Rota and Cartier in this area and explain more recent work on explicit constructions of free Baxter algebras that extended the constructions of Rota and Cartier. In the second part of the paper we will use these explicit constructions to relate Baxter algebras to Hopf algebras and give applications of Baxter algebras to the umbral calculus in combinatorics.


title: Baxter Algebras and Hopf Algebras

abstract: By applying a recent construction of free Baxter algebras, we obtain a new class of Hopf algebras that generalizes the classical divided power Hopf algebra. We also study conditions under which these Hopf algebras are isomorphic.


title: Forcing with quotients

abstract: We study an extensive connection between factor forcings of Borel subsets of Polish spaces modulo a sigma-ideal, and factor forcings of subsets of countable sets modulo an ideal.


title: Signature of rotors

abstract: Rotors were introduced in Graph Theory by W.Tutte. The concept was adapted to Knot Theory as a generalization of mutation by Anstee, Przytycki and Rolfsen in 1987. In this paper we show that Tristram-Levine signature is preserved by orientation-preserving rotations. Moreover, we show that any link invariant obtained from the characteristic polynomial of Goeritz matrix, including Murasugi signature, is not changed by rotations. In 2001, P. Traczyk showed that the Conway polynomials of any pair of orientation-preserving rotants coincide. But it was still an open problem if an orientation-reversing rotation preserves Conway polynomial. We show that there is a pair of orientation-reversing rotants with different Conway polynomials. This provides a negative solution to the problem.


title: Two results on domino and ribbon tableaux

abstract: Inspired by the spin-inversion statistics of Schilling et al. and Haglund et al., we relate the symmetry of ribbon functions to a result of van Leeuwen, and also describe the multiplication of a domino function by a Schur function.


title: Routing Complexity of Faulty Networks

abstract: One of the fundamental problems in distributed computing is how to efficiently perform routing in a faulty network in which each link fails with some probability. This paper investigates how big the failure probability can be, before the capability to efficiently find a path in the network is lost. Our main results show tight upper and lower bounds for the failure probability which permits routing, both for the hypercube and for the $d-$dimensional mesh. We use tools from percolation theory to show that in the $d-$dimensional mesh, once a giant component appears -- efficient routing is possible. A different behavior is observed when the hypercube is considered. In the hypercube there is a range of failure probabilities in which short paths exist with high probability, yet finding them must involve querying essentially the entire network. Thus the routing complexity of the hypercube shows an asymptotic phase transition. The critical probability with respect to routing complexity lies in a different location then that of the critical probability with respect to connectivity. Finally we show that an oracle access to links (as opposed to local routing) may reduce significantly the complexity of the routing problem. We demonstrate this fact by providing tight upper and lower bounds for the complexity of routing in the random graph $G_{n,p}$.


title: Some isometry groups of Urysohn space

abstract: We constract various subgroups of the group of isometries of universal Urysohn spaces (unique complete separable metric space which is iniversal and homogeneous) including abelian groups which act transitively, and free groups which are dense in the full isometry group.


title: A study of Cousin complexes through the dualizing complexes

abstract: For the Cousin complex of certain modules, we investigate finiteness of cohomology modules, local duality property and injectivity of its terms. The existence of canonical modules of Noetherian non-local rings and the Cousin complexes of them with respect to the height filtration are discussed .


title: Logarithmic equivalence of Welschinger and Gromov-Witten invariants

abstract: The Welschinger numbers, a kind of a real analog of the Gromov-Witten numbers which count the complex rational curves through a given generic collection of points, bound from below the number of real rational curves for any real generic collection of points. By the logarithmic equivalence of sequences we mean the asymptotic equivalence of their logarithms. We prove such an equivalence for the Welschinger and Gromov-Witten numbers of any toric Del Pezzo surface with its tautological real structure, in particular, of the projective plane, under the hypothesis that all, or almost all, chosen points are real. We also study the positivity of Welschinger numbers and their monotonicity with respect to the number of imaginary points.


title: Cellular cochain algebras and torus actions

abstract: We prove that the integral cohomology algebra of the moment-angle complex Z_K, or of the corresponding coordinate subspace arrangement complement U(K), is isomorphic to the Tor-algebra of the face ring Z[K] of simplicial complex K.


title: On the uniqueness of diffeomorphism symmetry in Conformal Field Theory

abstract: A Moebius covariant net of von Neumann algebras on S^1 is diffeomorphism covariant if its Moebius symmetry extends to diffeomorphism symmetry. We prove that in case the net is either a Virasoro net or any at least 4-regular net such an extension is unique: the local algebras together with the Moebius symmetry (equivalently: the local algebras together with the vacuum vector) completely determine it. We draw the two following conclusions for such theories. (1) The value of the central charge c is an invariant and hence the Virasoro nets for different values of c are not isomorphic as Moebius covariant nets. (2) A vacuum preserving internal symmetry always commutes with the diffeomorphism symmetries. We further use our result to give a large class of new examples of nets (even strongly additive ones), which are not diffeomorphism covariant; i.e. which do not admit an extension of the symmetry to Diff^+(S^1).


title: Approximants de Pad\'e des $q$-polylogarithmes

abstract: We solve a Pad\'e-type problem of approximating three specific functions simultaneously by $q$-analogues of polylogarithms, respectively by powers of the logarithm. This problem is intimately related to recent results of the authors and Wadim Zudilin ["S\'eries hyperg\'eom\'etriques basiques, fonction $q$-z\^eta et s\'eries d'Eisenstein", J. Inst. Math. Jussieu (to appear)] on the dimension of the vector space generated by $q$-analogues of values of the Riemann zeta function at integers. We also show that our result can be considered as a $q$-analogue of a result of St\'ephane Fischler and the second author [J. Math. Pures Appl. {\bf 82} (2003), 1369-1394].


title: Function Theory for Laplace and Dirac-Hodge Operators in Hyperbolic SPace

abstract: We develop basic properties of solutions to the Dirac-Hodge and Laplace equations in upper half space endowed with the hyperbolic metric. Solutions to the Dirac-Hodge equation are called hypermonogenic functions while solutions to this version of Laplace's equation are called hyperbolic harmonic functions. We introduce a Borel-Pompeiu formula and a Green's formula for hyperbolic harmonic functions. Using a Cauchy Integral formula we are able to introduce Hardy spaces of solutions to the Dirac-Hodge equation. We also provide new arguments describing the conformal covariance of hypermonogenic functions and invariance of hyperbolic harmonic functions. We introduce intertwining operators for the Dirac-Hodge operator and hyperbolic Laplacian.


title: Intermediate Jacobian and Some Arithmetic Properties of Kummer-surface-type CY 3-folds

abstract: In this article, we examine the arithmetic aspect of the Kummer-surface-type CY 3-folds $\hat{T/G}$, characterized by the crepant resolution of 3-torus-orbifold $T/G$ with only isolated singularities. Up to isomorphisms, there are only two such space $\hat{T/G}$ with $|G|=3, 7$, and both $T$ carrying the structure of triple-product structure of a CM elliptic curve. The (Griffiths) intermediate Jacobians of these $\hat{T/G}$ are identified explicitly as the corresponding elliptic curve appeared in the structure of $T$. We further provide the $\QZ$-structure of $\hat{T/G}$ and verify their modularity property.


title: A curve algebraically but not rationally uniformized by radicals

abstract: Zariski proved the general complex projective curve of genus g>6 is not rationally uniformized by radicals, that is, admits no map to the projective line whose Galois group is solvable. We give an example of a genus 7 complex projective curve Z that is not rationally uniformized by radicals, but such that there is a finite covering Z' -> Z with Z' rationally uniformized by radicals. The curve providing the example appears in a paper by Debarre and Fahlaoui where a construction is given to show the Brill Noether loci W_d(C) in the Jacobian of a curve C may contain translates of abelian subvarieties not arising from maps from C to other curves.


title: How to overcome the numerical instability of the scheme of divided differences?

abstract: The scheme of divided differences is widely used in many approximation and interpolation problems. Computing the Newton coefficients of the interpolating polynomial is the first step of the Bj\"{o}rck and Pereyra algorithm for solving Vandermonde systems of equations (Cf. \cite{bjorck: 70}). Very often this algorithm produces very accurate solution. The problem of determining the Newton coefficients is intimately related with the problem of evaluation the Lagrange interpolating polynomial, which can be realized by many algorithms. For these reasons we use the uniform approach and analyze also Aitken's algorithm of the evaluation of an interpolating polynomial. We propose new algorithms that are always numerically stable with respect to perturbation in the function values and more accurate than the Aitken's algorithm and the scheme of divided differences, even for complex data.


title: A representation of retracts of cubes

abstract: The purpose of this note is to give the full and self-contained proof of Shchepin's result on a spectral representation of retracts of cubes.


title: Hilbert metrics and Minkowski norms

abstract: It is shown that the Hilbert geometry $(D,h_D)$ associated to a bounded convex domain $D\subset \mathbb{E}^n$ is isometric to a normed vector space $(V,||\cdot ||)$ if and only if $D$ is an open $n$-simplex. One further result on the asymptotic geometry of Hilbert's metric is obtained with corollaries for the behavior of geodesics. Finally we prove that every geodesic ray in a Hilbert geometry converges to a point of the boundary.


title: Surfaces of general type with p_g=q=0 having a pencil of hyperelliptic curves of genus 3

abstract: We prove that the bicanonical map of a surfaces of general S type with p_g=q=0 is non birational if there exists a pencil on S whose general member is an hyperelliptic curve of genus 3.


title: Some computations of 1-cohomology groups and construction of non orbit equivalent actions

abstract: For each group $G$ having an infinite normal subgroup with the relative property (T) (for instance $G = H \times K$ where $H$ is infinite with property (T) and $K$ is arbitrary), and any countable abelian group $\Lambda$ we construct free ergodic measure preserving actions $\sigma_\Lambda$ of $G$ on the probability space such that the 1'st cohomology group of $\sigma_\Lambda$, $H^1(\sigma_\Lambda)$, is equal to Char$(G) \times \Lambda$. We deduce that $G$ has uncountably many non stably orbit equivalent actions. We also calculate 1-cohomology groups and show existence of ``many'' non stably orbit equivalent actions for free products of groups as above.


title: Countably-Normed Spaces, Their Dual, and the Gaussian Measure

abstract: Here we present an overview of countably-normed spaces. We discuss the main topologies--weak, strong, and inductive--placed on the dual of a countably-normed space and discuss the sigma-fields generated by these topologies. In particular, we show that under certain conditions the strong and inductive topologies coincide and the sigma-fields generated by the weak, strong, and inductive topologies are equal. With these sigma-fields, we develop a Gaussian measure on the dual of a nuclear space. The purpose in mind is to provide the background material for many of the results used is White Noise Analysis.


title: Integration over spaces of non-parametrized arcs and motivic versions of the monodromy zeta function

abstract: We elaborate notions of integration over the space of arcs factorized by the natural $C^*$-action and over the space of non-parametrized arcs (branches). There are offered two motivic versions of the zeta function of the classical monodromy transformation of a germ of an analytic function on a smooth space. We indicate a direct formula which connects the naive motivic zeta function of J. Denef and F. Loeser with the classical monodromy zeta function.


title: The 1856 Lemma of Cayley Revisited

abstract: The result of the classical invariant theory (CIT) commonly referred to as Lemma of Cayley is reviewed and its analogue in the invariant theory of Killing tensors (ITKT) defined in pseudo-Riemannian spaces of constant curvature is formulated and proven. Illustrative examples are provided.


title: Homology and derived series of groups

abstract: In 1964, John Stallings established an important relationship between the low-dimensional homology of a group and its lower central series. We establish a similar relationship between the low-dimensional homology of a group and its derived series. We also define a torsion-free-solvable completion of a group that is analogous to the Malcev completion, with the role of the lower central series replaced by the derived series. We prove that the torsion-free-solvable completion is invariant under rational homology equivalence.


title: Power structure over the Grothendieck ring of varieties and generating series of Hilbert schemes of points

abstract: The power structure over the Grothendieck (semi)ring of complex quasi-projective varieties constructed by the authors is used to express the generating series of classes of Hilbert schemes of zero-dimensional subschemes on a smooth quasi-projective variety as an exponent of that for the complex affine space of the same dimension. Specializations of this relation give formulae for generating series of such invariants of the Hilbert schemes of points as the Euler characteristic and the Hodge-Deligne polynomial.


title: Derived equivalences for symmetric groups and sl\_2-categorification

abstract: We define and study sl\_2-categorifications on abelian categories. We show in particular that there is a self-derived (even homotopy) equivalence categorifying the adjoint action of the simple reflection. We construct categorifications for blocks of symmetric groups and deduce that two blocks are splendidly Rickard equivalent whenever they have isomorphic defect groups and we show that this implies Brou\'e's abelian defect group conjecture for symmetric groups. We give similar results for general linear groups over finite fields. The constructions extend to cyclotomic Hecke algebras. We also construct categorifications for category O of gl\_n(C) and for rational representations of general linear groups over an algebraically closed field of characteristic p, where we deduce that two blocks corresponding to weights with the same stabilizer under the dot action of the affine Weyl group have equivalent derived (and homotopy) categories, as conjectured by Rickard.


title: Core and intersection number for group actions on trees

abstract: We present the construction of some kind of "convex core" for the product of two actions of a group on $\bbR$-trees. This geometric construction allows to generalize and unify the intersection number of two curves or of two measured foliations on a surface, Scott's intersection number of splittings, and the apparition of surfaces in Fujiwara-Papasoglu's construction of the JSJ splitting. In particular, this construction allows a topological interpretation of the intersection number analogous to the definition for curves in surfaces. As an application of this construction, we prove that an irreducible automorphism of the free group whose stable and unstable trees are geometric, is actually induced a pseudo-Anosov homeomorphism on a surface.


title: Zeros of differential polynomials in real meromorphic functions

abstract: We show that for a real transcendental meromorphic function f, the differential polynomial f'+f^m with m > 4 has infinitely many non-real zeros. Similar results are obtained for differential polynomials f'f^m-1. We specially investigate the case of meromorphic functions with finitely many poles. We show by examples the precision of our results. One of our main tools is the Fatou theorem from complex dynamics.


title: Proper Groupoids and Momentum Maps: Linearization, Affinity and Convexity

abstract: We show that proper Lie groupoids are locally linearizable. As a consequence, the orbit space of a proper Lie groupoid is a smooth orbispace (a Hausdorff space which locally looks like the quotient of a vector space by a linear compact Lie group action). In the case of proper (quasi-)symplectic groupoids, the orbit space admits a natural integral affine structure, which makes it into an affine orbifold with locally convex polyhedral boundary, and the local structure near each boundary point is isomorphic to that of a Weyl chamber of a compact Lie group. We then apply these results to the study of momentum maps of Hamiltonian actions of proper (quasi-)symplectic groupoids, and show that these momentum maps preserve natural transverse affine structures with local convexity properties. Many convexity theorems in the literature can be recovered from this last statement and some elementary results about affine maps.


title: Homology and Cohomology of E-infinity Ring Spectra

abstract: Every homology or cohomology theory on a category of E-infinity ring spectra is Topological Andre-Quillen homology or cohomology with appropriate coefficients. Analogous results hold for the category of A-infinity ring spectra and for categories of algebras over many other operads.


title: The Curvelet Representation of Wave Propagators is Optimally Sparse

abstract: This paper argues that curvelets provide a powerful tool for representing very general linear symmetric systems of hyperbolic differential equations. Curvelets are a recently developed multiscale system in which the elements are highly anisotropic at fine scales, with effective support shaped according to the parabolic scaling principle width ~ length^2 at fine scales. We prove that for a wide class of linear hyperbolic differential equations, the curvelet representation of the solution operator is both optimally sparse and well organized. It is sparse in the sense that the matrix entries decay nearly exponentially fast (i.e. faster than any negative polynomial), and well-organized in the sense that the very few nonnegligible entries occur near a shifted diagonal. Indeed, we actually show that the action of the wave-group on a curvelet is well-approximated by simply translating the center of the curvelet along the Hamiltonian flow--hence the diagonal shift in the curvelet epresentation. A physical interpretation of this result is that curvelets may be viewed as coherent waveforms with enough frequency localization so that they behave like waves but at the same time, with enough spatial localization so that they simultaneously behave like particles.


title: Longitude Floer homology and the Whitehead double

abstract: We define the longitude Floer homology of a knot K in S^3 and show that it is a topological invariant of K. Some basic properties of these homology groups are derived. In particular, we show that they distinguish the genus of K. We also make explicit computations for the (2,2n+1) torus knots. Finally a correspondence between the longitude Floer homology of K and the Ozsvath-Szabo Floer homology of its Whitehead double K_L is obtained.


title: Deformation-Quantization of Complex Involutive Submanifolds

abstract: The sheaf of rings of WKB operators provides a deformation-quantization of the cotangent bundle to a complex manifold. On a complex symplectic manifold $X$ there may not exist a sheaf of rings locally isomorphic to a ring of WKB operators. The idea is then to consider the whole family of locally defined sheaves of WKB operators as the deformation-quantization of $X$. To state it precisely, one needs the notion of algebroid stack, introduced by Kontsevich. In particular, the stack of WKB modules over $X$ defined in Polesello-Schapira (see also Kashiwara for the contact case) is better understood as the stack of modules over the algebroid stack of deformation-quantization of $X$. Let $V$ be an involutive submanifold of $X$, and assume for simplicity that the quotient of $V$ by its bicharacteristic leaves is isomorphic to a complex symplectic manifold $Z$. The algebra of endomorphisms of a simple WKB module along $V$ is locally (anti-)isomorphic to the pull-back of WKB operators on $Z$. Hence we may say that a simple module provides a deformation-quantization of $V$. Again, since in general there do not exist globally defined simple WKB modules, the idea is to consider the algebroid stack of locally defined simple WKB modules as the deformation-quantization of $V$. In this paper we start by defining what an algebroid stack is, and how it is locally described. We then discuss the algebroid stack of WKB operators on a complex symplectic manifold $X$, and define the deformation-quantization of an involutive submanifold $V$ by means of simple WKB modules along $V$. Finally, we relate this deformation-quantization to that given by WKB operators on the quotient of $V$ by its bicharacteristic leaves.


title: Inverse spectral problems in rectangular domains

abstract: We consider the Schrodinger operator in n-dimensional rectangular domains with either Dirichlet or Neumann boundary conditions on the faces and study the constraints on the potential imposed by fixing the spectrum of the operator.We study also the asymptotics of the heat kernel when t tends to 0.


title: The Daugavet property of $C^*$-algebras, $JB^*$-triples, and of their isometric preduals

abstract: A Banach space $X$ is said to have the Daugavet property if every rank-one operator $T:X\longrightarrow X$ satisfies $\|Id + T\| = 1 + \|T\|$. We give geometric characterizations of this property in the settings of $C^*$-algebras, $JB^*$-triples and their isometric preduals. We also show that, in these settings, the Daugavet property passes to ultrapowers, and thus, it is equivalent to an stronger property called the uniform Daugavet property.


title: Malliavin Calculus for the Stochastic 2D Navier Stokes Equation

abstract: We consider the incompressible, two dimensional Navier Stokes equation with periodic boundary conditions under the effect of an additive, white in time, stochastic forcing. Under mild restrictions on the geometry of the scales forced, we show that any finite dimensional projection of the solution possesses a smooth density with respect to Lebesgue measure. We also show that under natural assumptions the density of such a projection is everywhere strictly positive. In particular, our conditions are viscosity independent. We are mainly interested in forcing which excites a very small number of modes. All of the results rely on the nondegeneracy of the infinite dimensional Malliavin matrix.


title: Two-dimensional Gibbsian point processes with continuous spin-symmetries

abstract: We consider two-dimensional marked point processes which are Gibbsian with a two-body-potential U. U is supposed to have an internal continuous symmetry. We show that under suitable continuity conditions the considered processes are invariant under the given symmetry. We will achieve this by using Ruelle`s superstability estimates and percolation arguments.


title: Double Braidings, Twists, and Tangle Invariants

abstract: A tortile (or ribbon) category defines invariants of ribbon (framed) links and tangles. We observe that these invariants, when restricted to links, string links, and more general tangles which we call turbans, do not actually depend on the braiding of the tortile category. Besides duality, the only pertinent data for such tangles are the double braiding and twist. We introduce the general notions of twine, which is meant to play the role of the double braiding (in the absence of a braiding), and the corresponding notion of twist. We show that the category of (ribbon) pure braids is the free category with a twine (a twist). We show that a category with duals and a self-dual twist defines invariants of stringlinks. We introduce the notion of turban category, so that the category of turban tangles is the free turban category. Lastly we give a few examples and a tannaka dictionary for twines and twists.


title: Representation theory of the 0-Ariki-Koike-Shoji algebras

abstract: We investigate the representation theory of certain specializations of the Ariki-Koike algebras, obtained by setting $q=0$ in a suitably normalized version of Shoji's presentation. We classify the simple and projective modules, and describe restrictions, induction products, Cartan invariants and decomposition matrices. This allows us to identify the Grothendieck rings of the towers of algebras in terms of certain graded Hopf algebras known as the Mantaci-Reutenauer descent algebras, and Poirier Quasi-symmetric functions.


title: Interpolated inequalities between exponential and Gaussian, Orlicz hypercontractivity and isoperimetry

abstract: We introduce and study a notion of Orlicz hypercontractive semigroups. We analyze their relations with general $F$-Sobolev inequalities, thus extending Gross hypercontractivity theory. We provide criteria for these Sobolev type inequalities and for related properties. In particular, we implement in the context of probability measures the ideas of Maz'ja's capacity theory, and present equivalent forms relating the capacity of sets to their measure. Orlicz hypercontractivity efficiently describes the integrability improving properties of the Heat semigroup associated to the Boltzmann measures $\mu_\alpha (dx) = (Z_\alpha)^{-1} e^{-2|x|^\alpha} dx$, when $\alpha\in (1,2)$. As an application we derive accurate isoperimetric inequalities for their products. This completes earlier works by Bobkov-Houdr\'e and Talagrand, and provides a scale of dimension free isoperimetric inequalities as well as comparison theorems.


title: Duality and operator algebras

abstract: We investigate some subtle and interesting phenomena in the duality theory of operator spaces and operator algebras. In particular, we give several applications of operator space theory, based on the surprising fact that certain maps are always $w^*$-continuous on dual operator spaces. For example, this yields a new characterization of the $\sigma$-weakly closed (possibly nonunital and nonselfadjoint) operator algebras, and it makes possible a generalization of the theory of $W^*$-modules to the framework of modules over such algebras. We also give a Banach module characterization of $\sigma$-weakly closed spaces of operators which are invariant under the action of a von Neumann algebra.


title: Maps with symplectic graphs

abstract: We consider the homotopy type of maps between symplectic surface whose graphs form symplectic submanifolds of the product. We give a purely topological model for this space in terms of maps with constrained numbers of pre-images. We use this to show that the dependence of the homotopy type on the area forms of each surface is quantized- it changes only when the parameters pass certain discrete levels. When the domain is a sphere or torus, and its total area is smaller than the range, we compute the full homotopy type of the low degree components. We also give an example, showing that the homotopy type of the space of sections of a symplectic fibration F must sometimes change as we deform F. Much of this work generalizes to n-dimensional manifolds equipped with volume forms.


title: Semi-Eberlein spaces

abstract: We investigate the class of compact spaces which are embeddable into a power of the real line $R^\kappa$ in such a way that c_0(\kappa) is dense in the image. We show that this is a proper subclass of the class of Valdivia, even when restricted to Corson compacta. We prove a preservation result concerning inverse sequences with semi-open retractions. As a corollary we obtain that retracts of Cantor or Tikhonov cubes belong to the above class.


title: C^1 Hypersurfaces of the Heisenberg Group are N-Rectifiable

abstract: We show that C^1 hypersurfaces in the Heisenberg group are countably N-rectifiable. As a corollary, this shows that all C^1_H graphs over the xy-plane are countable N-rectifiable, showing the equivalence of this notion of rectifiability with that of Franchi, Serra Cassano and Serapioni for such surfaces.


title: The border rank of the multiplication of two by two matrices is seven

abstract: I show that 2x2 matrices cannot be approximately multiplied using less than seven multiplications. In other words I show that the matrix multiplication operator is not in the sixth secant variety of the Segre produt of three $P^3$'s.


title: I[omega_2] can be the nonstationary ideal on Cof(omega_1)

abstract: We answer a question of Shelah by showing that it is consistent that every set of ordinals of cofinality omega_1 in I[omega_2] is nonstationary if and only if it is consistent that that there is a kappa^+ Mahlo cardinal kappa.


title: Algebraic K-theory and sums-of-squares formulas

abstract: We prove a result about the non-existence of certain sums-of-squares formulas over a field. This generalizes an old theorem which used topological K-theory to obtain obstruction conditions when the field is the real numbers. Our result applies to arbitrary fields not of characteristic 2, making use of algebraic K-theory in place of topological K-theory.


title: Plethystic algebra

abstract: The notion of a Z-algebra has a non-linear analogue, whose purpose it is to control operations on commutative rings rather than linear operations on abelian groups. These plethories can also be considered non-linear generalizations of cocommutative bialgebras. We establish a number of category-theoretic facts about plethories and their actions, including a Tannaka-Krein-style reconstruction theorem. We show that the classical ring of Witt vectors, with all its concomitant structure, can be understood in a formula-free way in terms of a plethystic version of an affine blow-up applied to the plethory generated by the Frobenius map. We also discuss the linear and infinitesimal structure of plethories and explain how this gives Bloch's Frobenius operator on the de Rham-Witt complex.


title: Exponentially long time stability near an equilibrium point for non--linearizable analytic vector fields

abstract: We study the orbit behavior of a germ of an analytic vector field of $(C^n,0)$, $n \geq 2$. We prove that if its linear part is semisimple, non--resonant and verifies a Bruno--like condition, then the origin is effectively stable: stable for finite but exponentially long times.


title: Coxeter Complexes and Graph-Associahedra

abstract: Given a graph G, we construct a simple, convex polytope whose face poset is based on the connected subgraphs of G. This provides a natural generalization of the Stasheff associahedron and the Bott-Taubes cyclohedron. Moreover, we show that for any simplicial Coxeter system, the minimal blow-ups of its associated Coxeter complex has a tiling by graph-associahedra. The geometric and combinatorial properties of the complex as well as of the polyhedra are given. These spaces are natural generalizations of the Deligne-Knudsen-Mumford compactification of the real moduli space of curves.


title: Hochschild Cohomology and Twisted Complexes on Complex Manifolds

abstract: We use the theory of twisted resolutions and twisted complexes to give a proof of Kontsevich's claim that Yoneda product corresponds to cup product in a canonical isomorphism from the Ext groups of the product space with coefficients in the diagonal sheaf to the cohomology with coefficients in exterior powers of the tangent sheaf.


title: Locally conformally Kaehler manifolds with potential

abstract: A locally conformally K\"ahler (LCK) manifold $M$ is one which is covered by a K\"ahler manifold $\tilde M$ with the deck transform group acting conformally on $\tilde M$. If $M$ admits a holomorphic flow, acting on $\tilde M$ conformally, it is called a Vaisman manifold. Neither the class of LCK manifolds nor that of Vaisman manifolds is stable under small deformations. We define a new class of LCK-manifolds, called LCK manifolds with potential, which is closed under small deformations. All Vaisman manifolds are LCK with potential. We show that an LCK-manifold with potential admits a covering which can be compactified to a Stein variety by adding one point. This is used to show that any LCK manifold M with potential, $\dim M > 2$, can be embedded to a Hopf manifold, thus improving on similar results for Vaisman. manifolds.


title: On the K\"ahler-Ricci flow on complex surfaces

abstract: It is observed that for complex surfaces, the positivity of the Ricci curvature is preserved by the K\"ahler-Ricci flow, under the additional assumption that the sum of the two lowest eigenvalues of the traceless curvature operator is non-negative.


title: Saturating Constructions for Normed Spaces

abstract: We prove several results of the following type: given finite dimensional normed space V there exists another space X with log (dim X) = O(log (dim V)) and such that every subspace (or quotient) of X, whose dimension is not "too small," contains a further subspace isometric to V. This sheds new light on the structure of such large subspaces or quotients (resp., large sections or projections of convex bodies) and allows to solve several problems stated in the 1980s by V. Milman. The proofs are probabilistic and depend on careful analysis of images of convex sets under Gaussian linear maps.


title: Saturating Constructions for Normed Spaces II

abstract: We prove several results of the following type: given finite dimensional normed space V possessing certain geometric property there exists another space X having the same property and such that (1) log (dim X) = O(log (dim V)) and (2) every subspace of X, whose dimension is not "too small," contains a further well-complemented subspace nearly isometric to V. This sheds new light on the structure of large subspaces or quotients of normed spaces (resp., large sections or linear images of convex bodies) and provides definitive solutions to several problems stated in the 1980s by V. Milman. The proofs are probabilistic and depend on careful analysis of images of convex sets under Gaussian linear maps.


title: A note on equitable colorings of forests

abstract: This note gives a short proof on characterizations of a forest to be equitably k-colorable.


title: Duality of metric entropy

abstract: For two convex bodies K and T in $R^n$, the covering number of K by T, denoted N(K,T), is defined as the minimal number of translates of T needed to cover K. Let us denote by $K^o$ the polar body of K and by D the euclidean unit ball in $R^n$. We prove that the two functions of t, N(K, tD) and N(D, tK^o), are equivalent in the appropriate sense, uniformly over symmetric convex bodies K in $R^n$ and over positive integers n. In particular, this verifies the duality conjecture for entropy numbers of linear operators, posed by Pietsch in 1972, in the central case when either the domain or the range of the operator is a Hilbert space.


title: Chern classes of proalgebraic varieties and motivic measures

abstract: Michael Gromov has recently initiated what he calls ``symbolic algebraic geometry", in which objects are proalgebraic varieties: a proalgebraic variety is by definition the projective limit of a projective system of algebraic varieties. In this paper we construct Chern--Schwartz--MacPherson classes of proalgebraic varieties, by introducing the notion of ``proconstructible functions " and "$\chi$-stable proconstructible functions" and using the Fulton-MacPherson's Bivariant Theory. As a "motivic" version of a $\chi$-stable proconstructible function, $\Ga$-stable constructible functions are introduced. This construction naturally generalizes the so-called motivic measure and motivic integration. For the Nash arc space $\Cal L(X)$ of an algebraic variety $X$, the proconstructible set is equivalent to the so-called cylinder set or constructible set in the arc space.


title: On convexified packing and entropy duality

abstract: A 1972 duality conjecture due to Pietsch asserts that the entropy numbers of a compact operator acting between two Banach spaces and those of its adjoint are (in an appropriate sense) equivalent. This is equivalent to a dimension free inequality relating covering (or packing) numbers for convex bodies to those of their polars. The duality conjecture has been recently proved (see math.FA/0407236) in the central case when one of the Banach spaces is Hilbertian, which - in the geometric setting - corresponds to a duality result for symmetric convex bodies in Euclidean spaces. In the present paper we define a new notion of "convexified packing," show a duality theorem for that notion, and use it to prove the duality conjecture under much milder conditions on the spaces involved (namely, that one of them is K-convex).


title: Positivity in equivariant quantum Schubert Calculus

abstract: We prove a positivity result in (T-)equivariant quantum cohomology of the homogeneous space G/P, generalizing Graham's positivity in equivariant cohomology.


title: Small maximal spaces of non-invertible matrices

abstract: A vector space A of matrices is called rank-critical if any vector space that properly contains A has a strictly higher generic rank. I present a sufficient condition for A to be rank-critical, and apply this condition to prove that certain Lie algebra representations have rank-critical images. This contruction yields, for infinitely many n, an 8-dimensional space of n-times-n matrices that is maximal singular (= rank-critical of rank n-1), while--to the best of my knowledge--the minimal dimension of such a space was hitherto believed to grow with n. As another application, I prove that for any semisimple Lie algebra g, the space ad(g) is a rank-critical subspace of End(g).


title: A class of locally symmetric Kaehler Einstein structures on the cotangent bundle of a space form

abstract: We obtain a class of locally symmetric Kaehler Einstein structures on the cotangent bundle of a Riemannian manifold of negative sectional curvature. Similar results are obtained in the case of a Riemannian manifold of positive sectional curvature. The obtained class of Kaehler Einstein structures depends on one essential parameter and cannot have constant holomorphic sectional curvature.


title: Categorical distribution theory; heat equation

abstract: The aim of this paper is to develop the theory of distributions, not necessarily of compact support, in a topos model of Synthetic Differential Geometry, the so-called "Cahiers Topos". As an application, we study the evolution through time of a heat distribution. In the first part of the paper we study distributions in the sense of Schwartz in the context of convenient vector spaces. In particular, we study smoothness (with respect to time) of the fundamental distribution solution of the heat equation. In the second part, we show how the results of the first part may be used to internalize these notions to prove the existence of the fundamental distribution solution of the heat equation in the Cahiers topos.}