title: On the classification of simple Z-stable C*-algebras with real rank zero and finite decomposition rank

abstract: We show that, if A is a separable simple unital C*-algebra which absorbs the Jiang-Su algebra Z tensorially and which has real rank zero and finite decomposition rank, then A is tracially AF in the sense of Lin, without any restriction on the tracial state space. As a consequence, the Elliott conjecture is true for the class of C*-algebras as above which, additionally, satisfy the Universal Coefficients Theorem. In particular, such algebras are completely determined by their ordered K-theory. They are approximately homogeneous of topological dimension less than or equal to 3, approximately subhomogeneous of topological dimension at most 2 and their decomposition rank also is no greater than 2.


title: A two armed bandit type problem revisited

abstract: In a recent paper, M. Bena\"{i}m and G. Ben Arous solve a multi-armed bandit problem arising in the theory of learning in games. We propose an short elementary proof of this result based on a variant of the Kronecker Lemma.


title: Galois extensions of structured ring spectra

abstract: We introduce the notion of a Galois extension of commutative S-algebras (E_infty ring spectra), often localized with respect to a fixed homology theory. There are numerous examples, including some involving Eilenberg-Mac Lane spectra of commutative rings, real and complex topological K-theory, Lubin-Tate spectra and cochain S-algebras. We establish the main theorem of Galois theory in this generality. Its proof involves the notions of separable and etale extensions of commutative S-algebras, and the Goerss-Hopkins-Miller theory for E_infty mapping spaces. We show that the global sphere spectrum S is separably closed, using Minkowski's discriminant theorem, and we estimate the separable closure of its localization with respect to each of the Morava K-theories. We also define Hopf-Galois extensions of commutative S-algebras, and study the complex cobordism spectrum MU as a common integral model for all of the local Lubin-Tate Galois extensions.


title: Stably dualizable groups

abstract: We extend the duality theory for topological groups from the classical theory for compact Lie groups, via the topological study by J. R. Klein [Kl01] and the p-complete study for p-compact groups by T. Bauer [Ba04], to a general duality theory for stably dualizable groups in the E-local stable homotopy category, for any spectrum E. The principal new examples occur in the K(n)-local category, where the Eilenberg-Mac Lane spaces G = K(Z/p, q) are stably dualizable and nontrivial for 0 <= q <= n. We show how to associate to each E-locally stably dualizable group G a stably defined representation sphere S^{adG}, called the dualizing spectrum, which is dualizable and invertible in the E-local category. Each stably dualizable group is Atiyah-Poincare self-dual in the E-local category, up to a shift by S^{adG}. There are dimension-shifting norm- and transfer maps for spectra with G-action, again with a shift given by S^{adG}. The stably dualizable group G also admits a kind of framed bordism class [G] in pi_*(L_E S), in degree dim_E(G) = [S^{adG}] of the Pic_E-graded homotopy groups of the E-localized sphere spectrum.


title: Borne sur la torsion dans les vari\'et\'es ab\'eliennes de type C.M

abstract: Let A be an abelian variety of dimension g defined over a number field K. We study the size of the torsion group A(F)_{tors} where F/K is a finite extension and more precisely we study the possible exponent \gamma in the inequality Card(A(F)_{tors})<< [F:K]^{\gamma} when F is any extension of K. In the C.M. case we give an exact formula for the best possible exponent in terms of the characters of the Mumford-Tate group--a torus in this case--and discuss briefly the general case. Finally we give applications of this result in direction of a conjecture of R\'emond generalising the Manin-Mumford conjecture.


title: Intersection de courbes et de sous-groupes, et probl\`emes de minoration de hauteur dans les vari\'et\'es ab\'eliennes C.M

abstract: We prove a special case of the following conjecture of Zilber-Pink generalising the Manin-Mumford conjecture : let $X$ be a curve inside an Abelian variety $A$ over $\bar{\Q}$, provided $X$ is not contained in a torsion subvariety, the intersection of $X$ with the union of all subgroup schemes of codimension at least 2 is finite ; we settle the case where $A$ is a power of a simple Abelian variety of C.M. type. This generalises the previous known result, due to Viada and R\'emond-Viada (who was able to prove the conjecture for power of an elliptic curve with complex multiplication). The proof is based on the strategy of R\'emond (following Bombieri, Masser and Zannier) with two new ingredients, one of them, being at the heart of this article : it is a lower bound for the N\'eron-Tate height of points on Abelian varieties $A/K$ of C.M. type in the spirit of Lehmer's problem. This lower bound is an analog of the similar result of Amoroso and David \cite{ad2003} on $\G_m^n$ and is a generalisation of the theorem of David and Hindry \cite{davidhindry} on the abelian Lehmer's problem. The proof is an adaptation of \cite{davidhindry} using in our abelian case the new ideas introduced in \cite{ad2003}. Furthermore, as in \cite{ad2003} and adapting in the abelian case their proof, we give another application of our result : a lower bound for the absolute minimum of a subvariety $V$ of $A$. Although lower bounds for this minimum were already known (decreasing multi-exponential function of the degree for Bombieri-Zannier), our methods enable us to prove, up to an $\epsilon$ the optimal result that can be conjectured.


title: Congruences for sums of binomial coefficients

abstract: Let q>1 and m>0 be relatively prime integers. We find an explicit period $\nu_m(q)$ such that for any integers n>0 and r we have $[n+\nu_m(q),r]_m(a)=[n,r]_m(a) (mod q)$ whenever a is an integer with $\gcd(1-(-a)^m,q)=1$, or a=-1 (mod q), or a=1 (mod q) and 2|m, where $[n,r]_m(a)=\sum_{k=r(mod m)}\binom{n}{k}a^k$. This is a further extension of a congruence of Glaisher.


title: Galois theory for bialgebroids, depth two and normal Hopf subalgebras

abstract: We reduce certain proofs in math.RA/0108067, math.RA/0408155, and math.QA/0409589 to depth two quasibases from one side only, a minimalistic approach which leads to a characterization of Galois extensions for finite projective bialgebroids without the Frobenius extension property. We prove that a proper algebra extension is a left $T$-Galois extension for some right finite projective left bialgebroid over some algebra $R$ if and only if it is a left depth two and left balanced extension. Exchanging left and right in this statement, we have a characterization of right Galois extensions for left finite projective right bialgebroids. Looking to examples of depth two, we establish that a Hopf subalgebra is normal if and only if it is a Hopf-Galois extension. We characterize finite weak Hopf-Galois extensions using an alternate Galois canonical mapping with several corollaries: that these are depth two and that surjectivity of the Galois mapping implies its bijectivity.


title: On the Hedging of American Options in Discrete Time Markets with Proportional Transaction Costs

abstract: In this note, we consider a general discrete time financial market with proportional transaction costs as in Kabanov and Stricker (2001), Kabanov et al. (2002), Kabanov et al. (2003) and Schachermayer (2004). We provide a dual formulation for the set of initial endowments which allow to super-hedge some American claim. We show that this extends the result of Chalasani and Jha (2001) which was obtained in a model with constant transaction costs and risky assets which evolve on a finite dimensional tree. We also provide fairly general conditions under which the expected formulation in terms of stopping times does not work.


title: Localization of Equivariant Cohomology for Compact and Non-compact Group Actions

abstract: We give a brief introduction to the Berline-Vergne localization formula for the finite-dimensional setting and indicate how the Duistermaat-Heckman formula is derived from it. We consider applications of the localization formula when it is specialized to a maximal dimensional co-adjoint orbit. In particular, the case when the co-adjoint orbit is a quotient $G/T$ of a connected Lie group $G$ modulo a maximal torus $T$ is analyzed in detail. We describe also a generalization of the localization formula to non-compact group actions.


title: Extensions, Levi subgroups and character formulas

abstract: This paper consists of three interconnected parts. Parts I,III study the relationship between the cohomology of a reductive group and that of a Levi subgroup. For example, we provide a necessary condition, arising from Kazhdan-Lusztig theory, for the natural map on Ext-groups of irreducible modules to be surjective. In cohomological degree 1, the map is always an isomorphism, under our hypothesis. These results were inspired by recent work of Hemmer obtained for general linear groups, and they both extend and improve upon his work when our condition is met. Part II obtains results on Lusztig character formulas for reductive groups, obtaining new necessary and sufficient conditions for such formulas to hold. In the special case of general linear groups, these conditions can be recast in a striking way completely in terms of explicit representation theoretic properties of the symmetric group (and the results improve upon the sufficient cohomological conditions established recently in the authors).


title: On maxima and ladder processes for a dense class of Levy processes

abstract: Consider the problem to explicitly calculate the law of the first passage time T(a) of a general Levy process Z above a positive level a. In this paper it is shown that the law of T(a) can be approximated arbitrarily closely by the laws of T^n(a), the corresponding first passages time for X^n, where (X^n)_n is a sequence of Levy processes whose positive jumps follow a phase-type distribution. Subsequently, explicit expressions are derived for the laws of T^n(a) and the upward ladder process of X^n. The derivation is based on an embedding of X^n into a class of Markov additive processes and on the solution of the fundamental (matrix) Wiener-Hopf factorisation for this class. This Wiener-Hopf factorisation can be computed explicitly by solving iteratively a certain fixed point equation. It is shown that, typically, this iteration converges geometrically fast.


title: Mahler Measure Variations, Eisenstein Series and Instanton Expansions

abstract: This paper points at an intriguing inverse function relation between Eisenstein series connected with ``Modular Mahler Measures'' and instanton numbers for ``Non-Critical Strings''. In a companion paper Mahler measures are related to dimer models.


title: Fields of cohomological dimension one versus C_1-fields

abstract: Ax gave examples of fields of cohomological dimension 1 which are not C_1-fields. Kato and Kuzumaki asked whether a weak form of the C_1-property holds for all fields of cohomological dimension 1 (existence of solutions in extensions of coprime degree rather than existence of a solution in the ground field). Using work of Merkur'ev and Suslin, and of Rost, D. Madore and I produced examples which show that the answer is in the negative. In the present note, I produce examples which require less work than the original ones. In the original paper, some of the examples were given by forms of degree 3 in 4 variables. Here, for an arbitrary prime p>3, I use forms of degree p in p+1 variables.


title: Hopf algebra structure on topological Hochschild homology

abstract: The topological Hochschild homology THH(R) of a commutative S-algebra (E_infty ring spectrum) R naturally has the structure of a commutative R-algebra in the strict sense, and of a Hopf algebra over R in the homotopy category. We show, under a flatness assumption, that this makes the Boekstedt spectral sequence converging to the mod p homology of THH(R) into a Hopf algebra spectral sequence. We then apply this additional structure to the study of some interesting examples, including the commutative S-algebras ku, ko, tmf, ju and j, and to calculate the homotopy groups of THH(ku) and THH(ko) after smashing with suitable finite complexes. This is part of a program to make systematic computations of the algebraic K-theory of S-algebras, by means of the cyclotomic trace map to topological cyclic homology.


title: On the lower bound of energy functional E_1 (I)-- a stability theorem on the Kaehler Ricci flow

abstract: In the present paper, we prove a stability theorem for the Kaehler Ricci flow near the infimum of the functional E_1 under the assumption that the initial metric has Ricci > -1 and |Riem| bounded. At present stage, our main theorem still need a topological assumption (1.2) which we hope to be removed in subsequent papers. The underlying moral is: if a Kaehler metric is sufficiently closed to a Kaehler Einstein metric, then the Kaehler Ricci flow converges to it. The present work should be viewed as a first step in a more ambitious program of deriving the existence of Kaehler Einstein metrics with an arbitrary energy level, provided that this energy functional has a uniform lower bound in this Kaehler class.


title: Mahler Measure, Eisenstein Series and Dimers

abstract: This note reveals a mysterious link between the partition function of certain dimer models on 2-dimensional tori and the $L$-function of their spectral curves. It also relates the partition function in certain families of dimer models to Eisenstein series.


title: Moduli of complexes on a proper morphism

abstract: Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally, contains the collection of all S-flat objects which can appear in the heart of a reasonable sheaf of t-structures on X. In this sense, this is the Mother of all Moduli Spaces (of sheaves). The proof proceeds by studying the finite presentation properties, deformation theory, and Grothendieck existence theorem for objects in the derived category, and then applying Artin's representability theorem.


title: Finding Almost Squares

abstract: We study short intervals which contain an ``almost square'', an integer $n$ that can be factored as $n = ab$ with $a$, $b$ close to $\sqrt{n}$. This is related to the problem on distribution of $n^2 \alpha \pmod 1$ and the problem on gaps between sums of two squares.


title: Absolute continuity for random iterated function systems with overlaps

abstract: We consider linear iterated function systems with a random multiplicative error on the real line. Our system is $\{x\mapsto d_i + \lambda_i Y x\}_{i=1}^m$, where $d_i\in \R$ and $\lambda_i>0$ are fixed and $Y> 0$ is a random variable with an absolutely continuous distribution. The iterated maps are applied randomly according to a stationary ergodic process, with the sequence of i.i.d. errors $y_1,y_2,...$, distributed as $Y$, independent of everything else. Let $h$ be the entropy of the process, and let $\chi = E[\log(\lambda Y)]$ be the Lyapunov exponent. Assuming that $\chi < 0$, we obtain a family of conditional measures $\nu_y$ on the line, parametrized by $y = (y_1,y_2,...)$, the sequence of errors. Our main result is that if $h > |\chi|$, then $\nu_y$ is absolutely continuous with respect to the Lebesgue measure for a.e. $y$. We also prove that if $h < |\chi|$, then the measure $\nu_y$ is singular and has dimension $h/|\chi|$ for a.e. $y$. These results are applied to a randomly perturbed IFS suggested by Y. Sinai, and to a class of random sets considered by R. Arratia, motivated by probabilistic number theory.


title: On nonexistence of non-constant volatility in the Black-Scholes formula

abstract: We prove that if the Black-Scholes formula holds with the spot volatility for call options with all strikes, then the volatility parameter is constant. The proof relies some result on semimartingales (Theorem 2) of independent interest.


title: Gitterwege reeller Zahlen

abstract: Let r be a real number, 0<r<1, given as a dual number. With the sequence of "0", "1" we define a path in a hexagonal lattice. Relations between the properties of r and its path are considered. Generalisations to other bases and lattices.


title: D\'{e}veloppements limit\'{e}s et r\'{e}version des s\'{e}ries

abstract: We prove a few new properties of a Hankel transform related to limited series expansions. This preprint superseed the preprint math.CO/0303221 of the first author.


title: Barnes' type multiple Changhee q-zeta functiond

abstract: We construct Barnes' type Changhee q-zeta function.


title: On some stability results of frame atomic decompositions

abstract: This paper is concerned with the implications of sufficient conditions ensuring that a perturbation of a frame is again a frame. We emphasize how stability of frames is fundamental for numerical applications and we discuss in particular the connection between stability conditions and localization principles for frame atomic decompositions in Banach spaces.


title: Mixed Resolutions and Simplicial Sections

abstract: We introduce the notions of mixed resolutions and simplicial sections, and prove a theorem relating them. This result is used (in another paper) to study deformation quantization in algebraic geometry.


title: Classes de Chern des vari\'et\'es unir\'egl\'ees

abstract: We prove a Miyaoka-Yau type inequality for uniruled projective varieties.


title: Martingale structure of Skorohod integral processes

abstract: Let the process Y(t) be a Skorohod integral process with respect to Brownian motion. We use a recent result by Tudor (2004), to prove that Y(t) can be represented as the limit of linear combinations of processes that are products of forward and backward Brownian martingales. Such a result is a further step towards the connection between the theory of continuous-time (semi)martingales, and that of anticipating stochastic integration. We establish an explicit link between our results and the classic characterization, due to Duc and Nualart (1990), of the chaotic decomposition of Skorohod integral processes. We also explore the case of Skorohod integral processes that are time-reversed Brownian martingales, and provide an "anticipating" counterpart to the classic Optional Sampling Theorem for It\^{o} stochastic integrals.


title: Commensurability of hyperbolic manifolds with geodesic boundary

abstract: Suppose n>2, let M,M' be n-dimensional connected complete finite-volume hyperbolic manifolds with non-empty geodesic boundary, and suppose that the fundamental group of M is quasi-isometric to the fundamental group of M' (with respect to the word metric). Also suppose that if n=3, then the boundaries of M and of M' are compact. We show that M is commensurable with M'. Moreover, we show that there exist homotopically equivalent hyperbolic 3-manifolds with non-compact geodesic boundary which are not commensurable with each other. We also prove that if M is as above and G is a finitely generated group which is quasi-isometric to the fundamental group of M, then there exists a hyperbolic manifold with geodesic boundary M'' with the following properties: M'' is commensurable with M, and G is a finite extension of a group which contains the fundamental group of M'' as a finite-index subgroup.


title: Fundamental group of Symp(M,w) with no circle action

abstract: We show that the fundamental group of Symp(M,w) can be nontrivial for M that does not admit any symplectic circle action.


title: Strongly self-absorbing C*-algebras

abstract: Say that a separable, unital C*-algebra D is strongly self-absorbing if there exists an isomorphism $\phi: D \to D \otimes D$ such that $\phi$ and $id_D \otimes 1_D$ are approximately unitarily equivalent $*$-homomorphisms. We study this class of algebras, which includes the Cuntz algebras $\mathcal{O}_2$, $\mathcal{O}_{\infty}$, the UHF algebras of infinite type, the Jiang--Su algebra Z and tensor products of $\Oh_{\infty}$ with UHF algebras of infinite type. Given a strongly self-absorbing C*-algebra D we characterise when a separable C*-algebra absorbs D tensorially (i.e., is D-stable), and prove closure properties for the class of separable D-stable C*-algebras. Finally, we compute the possible K-groups and prove a number of classification results which suggest that the examples listed above are the only strongly self-absorbing C*-algebras.


title: Automorphisms of categories of free modules and free Lie algebras

abstract: We prove that the group of automorphisms of the category of free modules over Noterian rings is semi-inner and present also a short proof of a similar result for the variery of Lie algebras.


title: On the p-adic geometry of traces of singular moduli

abstract: The aim of this article is to show that p-adic geometry of modular curves is useful in the study of p-adic properties of traces of singular moduli. In order to do so, we partly answer a question by Ono. As our goal is just to illustrate how p-adic geometry can be used in this context, we focus on a relatively simple case, in the hope that others will try to obtain the strongest and most general results. For example, for p=2, a result stronger than Thm.1 is proved in [Boylan], and a result on some modular curves of genus zero can be found in [Osburn] . It should be easy to apply our method, because of its local nature, to modular curves of arbitrary level, as well as to Shimura curves.


title: Complexity of Computing Quadratic Nonresidues

abstract: This note provides new methods for constructing quadratic nonresidues in finite fields of characteristic p. It will be shown that there is an effective deterministic polynomial time algorithm for constructing quadratic nonresidues in finite fields.


title: A Criterion for the Equivalence of the Birkhoff-Rott and Euler Descriptions of Vortex Sheet Evolution

abstract: In this article we consider the evolution of vortex sheets in the plane both as a weak solution of the two dimensional incompressible Euler equations and as a (weak) solution of the Birkhoff-Rott equations. We begin by discussing the classical Birkhoff-Rott equations with respect to arbitrary parametrizations of the sheet. We introduce a notion of weak solution to the Birkhoff-Rott system and we prove consistency of this notion with the classical formulation of the equations. Our main purpose in this paper is to present a sharp criterion for the equivalence of the weak Euler and weak Birkhoff-Rott descriptions of vortex sheet dynamics.


title: Series de Poincare motiviques geometrique et arithmetique d'un germe d'hypersurface irreductible quasi-ordinaire

abstract: We give here a description of the motivic Poincare series in case of irreducible quasi-ordinary hypersurfaces in all dimension. We give an explicit formula in a particular case. Finally, for such singularities, we give a constructive proof of a result of rationnality of such series proved by Denef and Loeser in all generality.


title: Radial Time-Frequency Analysis and Embeddings of Radial Modulation Spaces

abstract: In this paper we construct frames of Gabor type for the space $L^2_{rad}(\R^d)$ of radial $L^2$-functions, and more generally, for subspaces of modulation spaces consisting of radial distributions. Hereby, each frame element itself is a radial function. This construction is based on a generalization of the so called Feichtinger-Gr\"ochenig theory -- sometimes also called coorbit space theory -- which was developed in an earlier article. We show that this new type of Gabor frames behaves better in linear and non-linear approximation in a certain sense than usual Gabor frames when approximating a radial function. Moreover, we derive new embedding theorems for coorbit spaces restricted to invariant vectors (functions) and apply them to modulation spaces of radial distributions. As a special case this result implies that the Feichtinger algebra $(S_0)_{rad}(\R^d) = M^1_{rad}(\R^d)$ restricted to radial functions is embedded into the Sobolev space $H^{(d-1)/2}_{rad}(\R^d)$. Moreover, for $d\geq 2$ the embedding $(S_0)_{rad}(\R^d) \hookrightarrow L^2_{rad}(\R^d)$ is compact.


title: A retraction theorem for topological fundamental groups with application to the Hawaiian earring

abstract: A characterization of regular topological fundamental groups yields a `no retraction theorem' for spaces constructed in similar fashion to the Hawaiian earring.


title: Topology of plane sections of periodic polyhedra with an application to the Truncated Octahedron

abstract: The main results of A. Zorich and I. Dynnikov about plane sections of periodic surfaces are extended to the PL case. As an application, the Stereographic Map of a truncated octahedron, extended to the whole $\Rt$ by periodicity, is analyzed numerically.


title: Asymptotics in Knuth's parking problem for caravans

abstract: We consider a generalized version of Knuth's parking problem, in which caravans consisting of a number of cars arrive at random on the unit circle. Then each car turns clockwise until it finds a free space to park. Extending a recent work by Chassaing and Louchard, we relate the asymptotics for the sizes of blocks formed by occupied spots with the dynamics of the additive coalescent. According to the behavior of the caravan's size tail distribution, several qualitatively different versions of eternal additive coalescent are involved.


title: Diameters of Cayley graphs of SL_n(Z/kZ)

abstract: We show that for integers k > 1 and n > 2, the diameter of the Cayley graph of SL_n(Z/kZ) associated to a standard two-element generating set, is at most a constant times n^2 ln k. This answers a question of A. Lubotzky concerning SL_n(F_p) and is unexpected because these Cayley graphs do not form an expander family. Our proof amounts to a quick algorithm for finding short words representing elements of SL_n(Z/kZ).


title: Surjectivity of $p$-adic regulator on $K_2$ of Tate curves

abstract: I prove the surjectivity of the $p$-adic regulator from Quillen's $K_2$ of Tate curve to the $p$-adic etale cohomology group when the base field is contained in a cyclotomic extension of $Q_p$. This implies the finiteness of torsion part of $K_1$ of Tate curves thanks to Suslin's exact sequence.


title: Precompact abelian groups and topological annihilators

abstract: For a compact Hausdorff abelian group K and its subgroup H, one defines the g-closure g(H) of H in K as the subgroup consisting of $\chi \in K$ such that $\chi(a_n)\longrightarrow 0$ in T=R/Z for every sequence {a_n} in $\hat K$ (the Pontryagin dual of K) that converges to 0 in the topology that H induces on $\hat K$. We prove that every countable subgroup of a compact Hausdorff group is g-closed, and thus give a positive answer to two problems of Dikranjan, Milan and Tonolo. We also show that every g-closed subgroup of a compact Hausdorff group is realcompact. The techniques developed in the paper are used to construct a close relative of the closure operator g that coincides with the $G_\delta$-closure on compact Hausdorff abelian groups, and thus captures realcompactness and pseudocompactness of subgroups.


title: On relative computability for curves

abstract: We discuss a rational version of a conjecture of Matiyasevich, Davis, and Putnam on the relative decidability of the finiteness problem for Diophantine equations with respect to the existence problem. We formulate a suspicion that for rational solutions, the finiteness problem should be relatively decidable in contrast to the M-D-P conjecture for integer solutions.


title: Iterated Loop Algebras

abstract: Iterated loop algebras are by definition obtained by repeatedly applying the loop construction, familiar from the theory of affine Kac-Moody Lie algebras, to a given base algebra. Our interest in this iterated construction is motivated by its use in the realization of extended affine Lie algebras, but the construction also appears naturally in the study of other classes of algebras. This paper consists of a detailed study of the basic properties of iterated loop algebras.


title: Subtree prune and regraft: a reversible real tree-valued Markov process

abstract: We use Dirichlet form methods to construct and analyze a reversible Markov process, the stationary distribution of which is the Brownian continuum random tree. This process is inspired by the subtree prune and regraft (SPR) Markov chains that appear in phylogenetic analysis. A key technical ingredient in this work is the use of a novel Gromov--Hausdorff type distance to metrize the space whose elements are compact real trees equipped with a probability measure. Also, the investigation of the Dirichlet form hinges on a new path decomposition of the Brownian excursion.


title: Axiomatic framework for the BGG category O

abstract: This paper has been withdrawn by the author; see the much expanded, improved, and generalized version at arXiv:0811.2080.


title: A Commutative Family of Integral Transformations and Basic Hypergeometric Series. II. Eigenfunctions and Quasi-Eigenfunctions

abstract: A series of conjectures is obtained as further investigation of the integral transformation I(alpha) introduced in the previous paper. A Macdonald-type difference operator D is introduced. It is conjectured that D and I(alpha) are commutative with each other. Studying the series for the eigenfunctions under termination conditions, it is observed that a deformed Weyl group action appears as a hidden symmetry. An infinite product formula for the eigenfunction is found for a spacial case of parameters. A one parameter family of hypergeometric-type series F(alpha) is introduced. The series F(alpha) is caracterized by a covariant transformation property I(alpha q^{-1} t) F(alpha)=F(alpha q^{-1} t) and a certain initial condition given at alpha=t^{1/2}. We call F(alpha) the `quasi-eigenfunction' for short. A class of infinite product-type expressions are conjectured for F(alpha) at the special points alpha=-t^{1/2}, alpha=q, alpha=pm q^{1/2}t^{1/2}, and alpha=pm q^{ell}t^{1/2} (ell=1,2,3,cdots).


title: Approximation des fonctions lisses sur certaines laminations

abstract: We show that on a Riemann surface lamination locally embedded in $\mathbb{C}^2$, $C^1$ functions (in the sense of the $C^1$ structure of the lamination) are uniform limits of ambient $C^1$ functions, with $L^p$ control on the derivatives along the leaves. This implies that locally in $C^2$, a (1,1) positive closed current dominated by a uniformly laminar current is itself uniformly laminar.


title: Generalization of Harish-Chandra's basic theorem for Riemannian symmetric spaces of non-compact type

abstract: A basic exact sequence by Harish-Chandra related to the invariant differential operators on a Riemannian symmetric space G/K is generalized for each K-type in a certain class which we call `single-petaled'. The argument also includes a further generalization of Broer's generalization of the Chevalley restriction theorem.


title: Normalisation holomorphe d'alg\`ebres de type Cartan de champs de vecteurs holomorphes singuliers

abstract: We consider a commutative family of holomorphic vector fields in an neighbourhood of a common singular point, say $0\in \Bbb C^n$. Let $\lie g$ be a commutative complex Lie algebra of dimension $l$. Let $\lambda_1,...,\lambda_n\in \lie g^*$ and let us set $S(g)=\sum_{i=1}^n\lambda_i(g)x_i\frac{\partial}{\partial x_i}$. We assume that this Lie morphism is {\bf diophantine} in the sense that a diophantine condition $(\omega(S))$ is satisfied. Let $X_1$ be a holomorphic vector field in a neighbourhood of $0\in \Bbb C^n$. We assume that its linear part $s$ is regular relatively to $S$, that is belongs to $S(\lie g)$ and has the same formal centralizer as $S$. Let $X_2,..., X_l$ be holomorphic vector fields vanishing at 0 and commuting with $X_1$. Then there exists a formal diffeomorphism of $(\Bbb C^n,0)$ such that the family of vector fields are in {\bf normal form} in these formal coordinates. This means that each element of the family commutes with $s$. We show that, if the normal forms of the $X_i$'s belongs to $\hat {\cal O}_n^S\otimes S(\lie g)$ ($\hat {\cal O}_n^S$ is the ring of formal first integrals of $S$) and their junior parts are free over $\hat {\cal O}_n^S$, then there exists a holomorphic diffeomorphism of $(\Bbb C^n,0)$ which transforms the family into a normal form. The elements of the family, but one, may not have a non-zero linear part at the origin.


title: Individual displacements in hashing with coalesced chains

abstract: We study the asymptotic distribution of the displacements in hashing with coalesced chains, for both late-insertion and early-insertion. Asymptotic formulas for means and variances follow. The method uses Poissonization and some stochastic calculus.


title: Fuglede-Kadison determinants and entropy for actions of discrete amenable groups

abstract: In 1990, Lind, Schmidt and Ward gave a formula for the entropy of certain $\mathbb{Z}^n$-dynamical systems attached to Laurent polynomials $P$, in terms of the (logarithmic) Mahler measure of $P$. We extend the expansive case of their result to the noncommutative setting where $\mathbb{Z}^n$ gets replaced by suitable discrete amenable groups. Generalizing the Mahler measure, Fuglede-Kadison determinants from the theory of group von Neumann algebras appear in the entropy formula.


title: The Hecke algebra of a reductive p-adic group: a geometric conjecture

abstract: Let H(G) be the Hecke algebra of a reductive p-adic group G. We formulate a conjecture for the ideals in the Bernstein decomposition of H(G). The conjecture says that each ideal is geometrically equivalent to an algebraic variety. Our conjecture is closely related to Lusztig's conjecture on the asymptotic Hecke algebra. We prove our conjecture for SL(2) and GL(n). We also prove part (1) of our conjecture for the Iwahori ideals of the groups PGL(n) and SO(5).


title: The boundary of hyperbolicity for Henon-like families

abstract: We consider C^{2} Henon-like families of diffeomorphisms of R^{2} and study the boundary of the region of parameter values for which the nonwandering set is uniformly hyperbolic. Assuming sufficient dissipativity, we show that the loss of hyperbolicity is caused by a first homoclinic or heteroclinic tangency and that uniform hyperbolicity estimates hold uniformly in the parameter up to this bifurcation parameter and even, to some extent, at the bifurcation parameter.


title: Stable manifolds under very weak hyperbolicity conditions

abstract: We present an argument for proving the existence of local stable and unstable manifolds in a general abstract setting and under very weak hyperbolicity conditions.


title: Universal lattices and unbounded rank expanders

abstract: We study the representations of non-commutative universal lattices and use them to compute lower bounds for the \TauC for the commutative universal lattices $G_{d,k}= \SL_d(\Z[x_1,...,x_k])$ with respect to several generating sets. As an application of the above result we show that the Cayley graphs of the finite groups $\SL_{3k}(\F_p)$ can be made expanders using suitable choice of the generators. This provides the first examples of expander families of groups of Lie type where the rank is not bounded and gives a natural (and explicit) counter examples to two conjectures of Alex Lubotzky and Benjamin Weiss.


title: Properly stratified algebras and tilting

abstract: We study the properties of tilting modules in the context of properly stratified algebras. In particular, we answer the question when the Ringel dual of a properly stratified algebra is properly stratified itself, and show that the class of properly stratified algebras for which the characteristic tilting and cotilting modules coincide is closed under taking the Ringel dual. Studying stratified algebras, whose Ringel dual is properly stratified, we discover a new Ringel-type duality for such algebras, which we call the two-step duality. This duality arises from the existence of a new (generalized) tilting module for stratified algebras with properly stratified Ringel dual. We show that this new tilting module has a lot of interesting properties, for instance, its projective dimension equals the projectively defined finitistic dimension of the original algebra, it guarantees that the category of modules of finite projective dimension is contravariantly finite, and, finally, it allows one to compute the finitistic dimension of the original algebra in terms of the projective dimension of the characteristic tilting module.


title: Perturbation of Hausdorff moment sequences, and an application to the theory of C*-algebras of real rank zero

abstract: We investigate the class of unital C*-algebras that admit a unital embedding into every unital C*-algebra of real rank zero, that has no finite-dimensional quotients. We refer to a C*-algebra in this class as an initial object. We show that there are many initial objects, including for example some unital, simple, infinite-dimensional AF-algebras, the Jiang-Su algebra, and the GICAR-algebra. That the GICAR-algebra is an initial object follows from an analysis of Hausdorff moment sequences. It is shown that a dense set of Hausdorff moment sequences belong to a given dense subgroup of the real numbers, and hence that the Hausdorff moment problem can be solved (in a non-trivial way) when the moments are required to belong to an arbitrary simple dimension group (i.e., unperforated simple ordered group with the Riesz decomposition property).


title: Syzygies, multigraded regularity and toric varieties

abstract: Using multigraded Castelnuovo-Mumford regularity, we study the equations defining a projective embedding of a variety X. Given globally generated line bundles B_1, ..., B_k on X and integers m_1, ..., m_k, consider the line bundle L := B_1^m_1 \otimes ... \otimes B_k^m_k. We give conditions on the m_i which guarantee that the ideal of X in P(H^0(X,L)) is generated by quadrics and the first p syzygies are linear. This yields new results on the syzygies of toric varieties and the normality of polytopes.


title: Commutants of von Neumann Correspondences and Duality of Eilenberg-Watts Theorems by Rieffel and by Blecher

abstract: The category of von Neumann correspondences from B to C (or von Neumann B-C-modules) is dual to the category of von Neumann correspondences from C' to B' via a functor that generalizes naturally the functor that sends a von Neumann algebra to its commutant and back. We show that under this duality, called commutant, Rieffel's Eilenberg-Watts theorem (on functors between the categories of representations of two von Neumann algebras) switches into Blecher's Eilenberg-Watts theorem (on functors between the categories of von Neumann modules over two von Neumann algebras) and back.


title: Cascade of phase shifts for nonlinear Schrodinger equations

abstract: We consider a semi-classical nonlinear Schrodinger equation. For initial data causing focusing at one point in the linear case, we study a nonlinearity which is super-critical in terms of asymptotic effects near the caustic. We prove the existence of infinitely many phase shifts appearing at the approach of the critical time. This phenomenon is suggested by a formal computation. The rigorous proof shows a quantitatively different asymptotic behavior. We explain these aspects, and discuss some problems left open.


title: The density of rational points on non-singular hypersurfaces, I

abstract: Let $X \subset \mathbb{P}^n$ be a non-singular hypersurface of degree $d>1$, and let $\epsilon>0$. This paper is concerned with the conjecture that there are $O(B^{n-1+\epsilon})$ rational points on $X$ that have height at most $B$, in which the implied constant is allowed to depend only upon $d, \epsilon$ and $n$. In particular this conjecture is shown to hold as soon as $d>4$. Furthermore, the main ideas in the proof are used to obtain new paucity estimates for certain diophantine equations.


title: Nonlocal vertex algebras generated by formal vertex operators

abstract: This is the first paper in a series to study vertex algebra-like objects arising from infinite-dimensional quantum groups (quantum affine algebras and Yangians). In this paper we lay the foundation for this study. For any vector space $W$, we study what we call quasi compatible subsets of $\Hom (W,W((x)))$ and we prove that any maximal quasi compatible subspace has a natural nonlocal (namely noncommutative) vertex algebra structure with $W$ as a natural faithful quasi module in a certain sense and that any quasi compatible subset generates a nonlocal vertex algebra with $W$ as a quasi module. In particular, taking $W$ to be a highest weight module for a quantum affine algebra we obtain a nonlocal vertex algebra with $W$ as a quasi module. We also formulate and study a notion of quantum vertex algebra and we give general constructions of nonlocal vertex algebras, quantum vertex algebras and their modules.


title: Fermat's Last Theorem, Solution Sets v6

abstract: The non-zero integer solution set is derived for C^n = A^n + B^n. The non-zero integer solution set for n = 2 is [C - (a + b)]^2 = 2ab. The variables a and b equal (C - A) and (C - B) respectively and are nonzero integer factors of 2M^2 where M is a non-zero integer. C is greater than (a + b) since the square root of 2ab is an imaginary number when C is less than (a + b). C is equal or greater than (a + b + 1) since we are only considering whole numbers. The derivation of the solution set for n = 2 is applied to n = 3, n = 4, and generalized to n. The solution set for n = n is [C - (a + b)]^n = ab([n:2]C^(n-2)*(2) - [n:3]C^(n-3)*(3a + 3b)+ ... + [n:n] {[n:1]a^(n-2) + [n:2]a^(n-3)*b^1 + [n:3]a^(n-4)*b^2 +... + [n:n-1]b^(n-2)}). Where the binomial coefficient [n:r] = n!/[(n - r)!r!] is the coefficient of the x^r term in the polynomial expansion of the binomial power (1 + x)^n and [n:r] = 0 if r > n. Divide this equation by [C-(a + b)]^(n-2) to obtain [C-(a + b)]^2. The solution set for [C - (a + b)]^2 equals 2ab. The nth solution set equals 2ab only when n equals 2. [C - (a + b)]^2 (I.e., [C - (a + b)]^n divided by [C - (a + b)]^(n-2)) is always greater than 2ab when n is greater than 2. Non-zero integer solutions exist only for n = 2.


title: Phantom depth and flat base change

abstract: We prove that if $f: (R,\m) \to (S,\n)$ is a flat local homomorphism, $S/\m S$ is Cohen-Macaulay and $F$-injective, and $R$ and $S$ share a weak test element, then a tight closure analogue of the (standard) formula for depth and regular sequences across flat base change holds. As a corollary, it follows that phantom depth commutes with completion for excellent local rings. We give examples to show that the analogue does not hold for surjective base change.


title: Approximating 1 from below using $n$ Egyptian fractions

abstract: We find the closest approximation to 1 from below using a sum of $n$ Egyptian fractions.


title: A Fixed Point Theorem for Deformation Spaces of G-trees

abstract: For a finitely generated free group F_n, of rank at least 2, any finite subgroup of Out(F_n) can be realized as a group of automorphisms of a graph with fundamental group F_n. This result, known as Out(F_n) realization, was proved by Zimmermann, Culler and Khramtsov. This theorem is comparable to Nielsen realization as proved by Kerckhoff: for a closed surface with negative Euler characteristic, any finite subgroup of the mapping class group can be realized as a group of isometries of a hyperbolic surface. Both of these theorems have restatements in terms of fixed points of actions on spaces naturally associated to them. For a nonnegative integer n we define a class of groups (GVP(n)) and prove a similar statement for their outer automorphism groups.


title: A characterization of spaces with discrete topological fundamental group

abstract: We offer a counterexample to a theorem in the literature and then repair the theorem as follows: The fundamental group of a locally path connected metric space inherits the discrete topology in a natural way if and only if the underlying space is semilocally simply connected.


title: Ramanujan Graphs on Cosets of $PGL_2(\mathbb{F}_q)$

abstract: In this paper we study Cayley graphs on $\PGL_2(\mathbb F_q)$ mod the unipotent subgroup, the split and nonsplit tori, respectively. Using the Kirillov models of the representations of $\PGL_2(\mathbb F_q)$ of degree greater than one, we obtain explicit eigenvalues of these graphs and the corresponding eigenfunctions. Character sum estimates are then used to conclude that two types of the graphs are Ramanujan, while the third is almost Ramanujan. The graphs arising from the nonsplit torus were previously studied by Terras et al. We give a different approach here.


title: The direct algorithm for solving of the graph isomorphism problem

abstract: We propose an algorithm for solving of the graph isomorphism problem. Also, we introduce the new class of graphs for which the graph isomorphism problem can be solved polynomially using the algorithm.


title: An Orthogonal Discrete Auditory Transform

abstract: An orthogonal discrete auditory transform (ODAT) from sound signal to spectrum is constructed by combining the auditory spreading matrix of Schroeder et al and the time one map of a discrete nonlocal Schr\"odinger equation. Thanks to the dispersive smoothing property of the Schr\"odinger evolution, ODAT spectrum is smoother than that of the discrete Fourier transform (DFT) consistent with human audition. ODAT and DFT are compared in signal denoising tests with spectral thresholding method. The signals are noisy speech segments. ODAT outperforms DFT in signal to noise ratio (SNR) when the noise level is relatively high.


title: On The Global Quotient Structure of The Space of Twisted Stable Maps to a Quotient Stack

abstract: Let $\mathcal{X}$ be a tame proper Deligne-Mumford stack of the form $[M/G]$ where $M$ is a scheme and $G$ is an algebraic group. We prove that the stack $\mathcal{K}_{g,n}(\mathcal{X},d)$ of twisted stable maps is a quotient stack and can be embedded into a smooth Deligne-Mumford stack. When $G$ is finite, we give a more precise construction of $\mathcal{K}_{g,n}(\mathcal{X},d)$ using Hilbert schemes and admissible $G$-covers.


title: A Mean Value Theorem for Closed Geodesics on Congruence Surfaces

abstract: We define a weighted multiplicity function for closed geodesics of given length on a finite area Riemann surface. These weighted multiplicities appear naturally in the Selberg trace formula, and in particular their mean square plays an important role in the study of statistics of the eigenvalues of the Laplacian on the surface. In the case of the modular domain, E. Bogomolny, F. Leyvraz and C. Schmit gave a formula for the mean square, which was rigorously proved by M. Peter. In this paper we calculate the mean square of weighted multiplicities for some surfaces associated to congruence subgroups of the unit group of a rational quaternion algebra, in particular for congruence subgroups of the modular group. Remarkably, the result turns out to be a rational multiple of the mean square for the modular domain.


title: Cyclic homology, cdh-cohomology and negative K-theory

abstract: We prove a blow-up formula for cyclic homology which we use to show that infinitesimal $K$-theory satisfies $cdh$-descent. Combining that result with some computations of the $cdh$-cohomology of the sheaf of regular functions, we verify a conjecture of Weibel predicting the vanishing of algebraic $K$-theory of a scheme in degrees less than minus the dimension of the scheme, for schemes essentially of finite type over a field of characteristic zero.


title: Geometry of the complex of curves and of Teichmueller space

abstract: In this survey paper we give a proof of hyperbolicity of the complex of curves for a non-exceptional surface S of finite type combining ideas of Masur/Minsky and Bowditch. We also shortly discuss the relation between the geometry of the complex of curves and the geometry of Teichmueller space.


title: The Hodge conjecture for rationally connected fivefolds

abstract: The Hodge conjecture is shown to hold for rationally connected fivefolds, or more generally for fivefolds for which the base of the maximal rationally connected fibration is at most 3 dimensional.


title: Covolumes of uniform lattices acting on polyhedral complexes

abstract: Let X be a polyhedral complex with finitely many isometry classes of links. We establish a restriction on the covolumes of uniform lattices acting on X. When X is two-dimensional and has all links isometric to either a complete bipartite graph or the building for a Chevalley group of rank 2 over a field of prime order, we obtain further restrictions on covolumes.


title: On the Divisibility of Class Numbers of Cubic Number Fields with Discriminants in a Prescribed Rational Quadratic Class

abstract: Let n be an odd number and F an imaginary quadratic field with odd discriminant. We show that there exists infinitely many cubic fields K such that the class number of K is divisible by n and the Galois closure of K contains F.


title: Quantum cluster algebras: Oberwolfach talk, February 2005

abstract: This is an extended abstract of my talk at the Oberwolfach-Workshop "Representation Theory of Finite-Dimensional Algebras" (February 6 - 12, 2005). It gives self-contained and simplified definitions of quantum cluster algebras introduced and studied in a joint work with A.Berenstein (math.QA/0404446).


title: A refined counter-example to the support conjecture for abelian varieties

abstract: If A/K is an abelian variety over a number field and P and Q are rational points, the original support conjecture asserted that if the order of Q (mod p) divides the order of P (mod p) for almost all primes p of K, then Q is obtained from P by applying an endomorphism of A. This is now known to be untrue. In this note we prove that it is not even true modulo the torsion of A.


title: On inverse problem of dynamics

abstract: We study the question whether for a natural Hamiltonian system on a two-dimensional compact configuration manifold, a single trajectory of sufficiently high energy is almost surely enough to reconstruct a real analytic potential.


title: Random recursive trees and the Bolthausen-Sznitman coalescent

abstract: We describe a representation of the Bolthausen-Sznitman coalescent in terms of the cutting of random recursive trees. Using this representation, we prove results concerning the final collision of the coalescent restricted to [n]: we show that the distribution of the number of blocks involved in the final collision converges as n tends to infinity, and obtain a scaling law for the sizes of these blocks. We also consider the discrete-time Markov chain giving the number of blocks after each collision of the coalescent restricted to [n]; we show that the transition probabilities of the time-reversal of this Markov chain have limits as n tends to infinity. These results can be interpreted as describing a ``post-gelation'' phase of the Bolthausen-Sznitman coalescent, in which a giant cluster containing almost all of the mass has already formed and the remaining small blocks are being absorbed.


title: Turing Computations on Ordinals

abstract: We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length $\omega$ to computations on tapes of arbitrary ordinal length. We show that a set of ordinals is ordinal computable from a finite set of ordinal parameters if and only if it is an element of Goedel's constructible universe L. This characterization can be used to prove the generalized continuum hypothesis in L.


title: The Theory of Sets of Ordinals

abstract: We propose a natural theory SO axiomatizing the class of sets of ordinals in a model of ZFC set theory. Both theories possess equal logical strength. Constructibility theory in SO corresponds to a natural recursion theory on ordinals.


title: Outer authomorphisms and the Jacobian

abstract: A graphs of rank n (homotopy equivalent to a wedge of n circles) without ``separating edges'' has a canonical n-dimensional compact C^1 manifold thickening. This implies that the canonical homomorphism f:Out(F_n)-> GL(n,Z) is trivial in rational cohomology in the stable range answering a question raised by Hatcher and Vogtmann [6]. Another consequence of the construction is the existence of higher Reidemeister torsion invariants for IOut(F_n)=ker f. These facts were first proved by the first author in [8] using different methods.


title: Super-moonshine for Conway's largest sporadic group

abstract: We study a self-dual N=1 super vertex operator algebra and prove that the full symmetry group is Conway's largest sporadic simple group. We verify a uniqueness result which is analogous to that conjectured to characterize the Moonshine vertex operator algebra. The action of the automorphism group is sufficiently transparent that one can derive explicit expressions for all the McKay-Thompson series. A corollary of the construction is that the perfect double cover of the Conway group may be characterized as a point-stabilizer in a spin module for the Spin group associated to a 24 dimensional Euclidean space.


title: On boundaries of parabolic subgroups of Coxeter groups

abstract: In this paper, we investigate boundaries of parabolic subgroups of Coxeter groups. Let $(W,S)$ be a Coxeter system and let $T$ be a subset of $S$ such that the parabolic subgroup $W_T$ is infinite. Then we show that if a certain set is quasi-dense in $W$, then $W \partial\Sigma(W_T,T)$ is dense in the boundary $\partial\Sigma(W,S)$ of the Coxeter system $(W,S)$, where $\partial\Sigma(W_T,T)$ is the boundary of $(W_T,T)$.


title: A class of reflection rigid Coxeter systems

abstract: In this paper, we give a class of reflection rigid Coxeter systems. Let $(W,S)$ be a Coxeter system. Suppose that (1) for each $s,t\in S$ such that $m(s,t)$ is odd, $\{s,t\}$ is a maximal spherical subset of $S$, (2) there does not exist a three-points subset $\{s,t,u\}\subset S$ such that $m(s,t)$ and $m(t,u)$ are odd, and (3) for each $s,t\in S$ such that $m(s,t)$ is odd, the number of maximal spherical subsets of $S$ intersecting with $\{s,t\}$ is at most two, where $m(s,t)$ is the order of $st$ in the Coxeter group $W$. Then we show that the Coxeter system $(W,S)$ is reflection rigid. This is an extension of a result of N.Brady, J.P.McCammond, B.M\"uhlherr and W.D.Neumann.


title: A class of rigid Coxeter groups

abstract: In this paper, we give a new class of rigid Coxeter groups. Let $(W,S)$ be a Coxeter system. Suppose that (0) for each $s,t\in S$ such that $m(s,t)$ is even, $m(s,t)=2$, (1) for each $s\neq t\in S$ such that $m(s,t)$ is odd, $\{s,t\}$ is a maximal spherical subset of $S$, (2) there does not exist a three-points subset $\{s,t,u\}\subset S$ such that $m(s,t)$ and $m(t,u)$ are odd, and (3) for each $s\neq t\in S$ such that $m(s,t)$ is odd, the number of maximal spherical subsets of $S$ intersecting with $\{s,t\}$ is at most two, where $m(s,t)$ is the order of $st$ in the Coxeter group $W$. Then we show that the Coxeter group $W$ is rigid. This is an extension of a result of D.Radcliffe.


title: On a new class of rigid Coxeter groups

abstract: In this paper, we give a new class of rigid Coxeter groups. Let $(W,S)$ be a Coxeter system. Suppose that (0) for each $s,t\in S$ such that $m(s,t)$ is even, $m(s,t)\in\{2\}\cup 4\N$, (1) for each $s\neq t\in S$ such that $m(s,t)$ is odd, $\{s,t\}$ is a maximal spherical subset of $S$, (2) there does not exist a three-points subset $\{s,t,u\}\subset S$ such that $m(s,t)$ and $m(t,u)$ are odd, and (3) for each $s\neq t\in S$ such that $m(s,t)$ is odd, the number of maximal spherical subsets of $S$ intersecting with $\{s,t\}$ is at most two, where $m(s,t)$ is the order of $st$ in the Coxeter group $W$. Then we show that the Coxeter group $W$ is rigid. This is an extension of a result of D.Radcliffe.


title: On dense orbits in the boundary of a Coxeter system

abstract: In this paper, we study the minimality of the boundary of a Coxeter system. We show that for a Coxeter system $(W,S)$ if there exist a maximal spherical subset $T$ of $S$ and an element $s_0\in S$ such that $m(s_0,t)\ge 3$ for each $t\in T$ and $m(s_0,t_0)=\infty$ for some $t_0\in T$, then every orbit $W\alpha$ is dense in the boundary $\partial\Sigma(W,S)$ of the Coxeter system $(W,S)$, hence $\partial\Sigma(W,S)$ is minimal, where $m(s_0,t)$ is the order of $s_0t$ in $W$.


title: Weak mixing of maps with bounded cutting parameter

abstract: In the class of Ornstein transformations the mixing property satisfies a 0-1 law. Here we consider Ornstein's construction with bounded cutting parameter. In fact, these latter transformations are not mixing, however it is proved that the weak mixing property occurs with probability one. Our situation is similar to the case of interval exchange transformations whose link with the cutting and stacking construction relies in a dynamical process called Rauzy induction.


title: A new class of Ornstein transformations with singular spectrum

abstract: It is shown that for any family of probability measures in Ornstein type constructions the corresponding transformation has almost surely a singular spectrum. This is a new generalization of Bourgain's theorem, the same result is proved for Rudolph's construction.


title: A monomorphism theorem for the inverse limit of nested retracts

abstract: Various characterizations are offered of injectivity of the canonical fundamental group homomorphism for a certain class of inverse limit spaces. One application characterizes the existence of a kind of generalized universal cover.


title: How can we escape Thomae's relations?

abstract: In 1879, Thomae discussed the relations between two generic hypergeometric $_3F_2$-series with argument 1. It is well-known since then that there are 120 such relations (including the trivial ones which come from permutations of the parameters of the hypergeometric series). More recently, Rhin and Viola asked the following question (in a different, but equivalent language of integrals): If there exists a linear dependence relation over $\mathbf Q$ between two convergent $_3F_2$-series with argument 1, with integral parameters, and whose values are irrational numbers, is this relation a specialisation of one of the 120 Thomae relations? A few years later, Sato answered this question in the negative, by giving six examples of relations which cannot be explained by Thomae's relations. We show that Sato's counter-examples can be naturally embedded into two families of infinitely many $_3F_2$-relations, both parametrised by three independent parameters. Moreover, we find two more infinite families of the same nature. The families, which do not seem to have been recorded before, come from certain $_3F_2$-transformation formulae and contiguous relations. We also explain in detail the relationship between the integrals of Rhin and Viola and $_3F_2$-series.


title: Harmonic analysis and dynamics for affine iterated function systems

abstract: We introduce a harmonic analysis for a class of affine iteration models in $\br^d$. Using Hilbert-space geometry, we develop a new duality notion for affine and contractive iterated function systems (IFSs) and we construct some identities for the Fourier transform of the measure corresponding to infinite Bernoulli convolutions.


title: An analogue of distributivity for ungraded lattices

abstract: In this paper, we define a property, trimness, for lattices. Trimness is a not-necessarily-graded generalization of distributivity; in particular, if a lattice is trim and graded, it is distributive. Trimness is preserved under taking intervals and suitable sublattices. Trim lattices satisfy a weakened form of modularity. The order complex of a trim lattice is contractible or homotopic to a sphere; the latter holds exactly if the maximum element of the lattice is a join of atoms. Other than distributive lattices, the main examples of trim lattices are the Tamari lattices and various generalizations of them. We show that the Cambrian lattices in types A and B defined by Reading are trim, and we conjecture that all Cambrian lattices are trim.


title: A homotopy aspect of representation theory

abstract: We bring a linkage from representation theory of Lie groups to homotopy theory for maps between flag manifolds. As applications we derive from representation theory abundant families of homotopy classes of maps between flag manifolds whose induced cohomology homomorphisms can be read from the characters of the representations.


title: Stringy K-theory and the Chern character

abstract: For a finite group G acting on a smooth projective variety X, we construct two new G-equivariant rings: first the stringy K-theory of X, and second the stringy cohomology of X. For a smooth Deligne-Mumford stack Y we also construct a new ring called the full orbifold K-theory of Y. For a global quotient Y=[X/G], the ring of G-invariants of the stringy K-theory of X is a subalgebra of the full orbifold K-theory of the the stack Y and is linearly isomorphic to the ``orbifold K-theory'' of Adem-Ruan (and hence Atiyah-Segal), but carries a different, ``quantum,'' product, which respects the natural group grading. We prove there is a ring isomorphism, the stringy Chern character, from stringy K-theory to stringy cohomology, and a ring homomorphism from full orbifold K-theory to Chen-Ruan orbifold cohomology. These Chern characters satisfy Grothendieck-Riemann-Roch for etale maps. We prove that stringy cohomology is isomorphic to Fantechi and Goettsche's construction. Since our constructions do not use complex curves, stable maps, admissible covers, or moduli spaces, our results simplify the definitions of Fantechi-Goettsche's ring, of Chen-Ruan's orbifold cohomology, and of Abramovich-Graber-Vistoli's orbifold Chow. We conclude by showing that a K-theoretic version of Ruan's Hyper-Kaehler Resolution Conjecture holds for symmetric products. Our results hold both in the algebro-geometric category and in the topological category for equivariant almost complex manifolds.


title: Ricci Curvature, Diameter and Fundamental groups

abstract: In this note we discuss the fundamental groups and diameters of positively Ricci curved $n$-manifolds. We use a method combining the results about equivarient Hausdorff convergence developed by Fukaya and Yamaguchi with the Ricci version of splitting theorem by Cheeger and Colding to give new information on the topology of compact manifolds with positive Ricci curvature. Moreover, we also obtain a weak Margulis's lemma for manifolds under a lower Ricci curvature bound.


title: Finite Filtrations of Modules and Shellable Multicomplexes

abstract: We introduce pretty clean modules, extending the notion of clean modules by Dress, and show that pretty clean modules are sequentially Cohen-Macaulay. We also extend a theorem of Dress on shellable simplicial complexes to multicomplexes.


title: Pseudo-differential operators in algebras of generalized functions and global hypoellipticity

abstract: The aim of this work is to develop a global calculus for pseudo-differential operators acting on suitable algebras of generalized functions. In particular, a condition of global hypoellipticity of the symbols gives a result of regularity for the corresponding pseudo-differential equations. This calculus and this frame are proposed as tools for the study in Colombeau algebras of partial differential equations globally defined on $\mathbb{R}^n$.


title: Equivariant symplectic geometry of cotangent bundles, II

abstract: We examine the structure of the cotangent bundle $T^{*}X$ of an algebraic variety $X$ acted on by a reductive group $G$ from the viewpoint of equivariant symplectic geometry. In particular, we construct an equivariant symplectic covering of $T^{*}X$ by the cotangent bundle of a certain variety of horospheres in $X$, and integrate the invariant collective motion on $T^{*}X$. These results are based on a "local structure theorem" describing the action of a certain parabolic in $G$ on an open subset of $X$, which is interesting by itself.


title: The ARHD model

abstract: We introduce and study a new model for functional data. The ARHD is an autoregressive model in which the first order derivative of the random curves appears explicitely. Convergent estimates are obtained through a double penalization method. A simluation and a real case study follow as well as comparisons with other recent techniques.


title: Improved Rellich inequalities for the polyharmonic operator

abstract: We prove two improved versions of the Hardy-Rellich inequality for the polyharmonic operator $(-\Delta)^m$ involving the distance to the boundary. The first involves an infinite series improvement using logarithmic functions, while the second contains $L^2$ norms and involves as a coefficient the volume of the domain. We find explicit constants for these inequalities, and we prove their optimality in the first case.


title: On pseudo-Hermitian Einstein spaces

abstract: We describe and construct here pseudo-Hermitian structures $\theta$ without torsion (i.e. with transversal symmetry) whose Webster-Ricci curvature tensor is a constant multiple of the exterior differential $d\theta$. We call these structures pseudo-Hermitian Einstein and our result states that they all can be derived locally from K{\"a}hler-Einstein metrics. Moreover, we discuss the corresponding Fefferman metrics of the pseudo-Hermitian Einstein structures. These Fefferman metrics are never Einstein, but they are locally always conformally Einstein.


title: Point Lattices and Oscillating Recurrence Sequences

abstract: We consider the following question: Which real sequences (a(n)) that satisfy a linear recurrence with constant coefficients are positive for sufficiently large n? We show that the answer is negative for both (a(n)) and (-a(n)), if the dominating characteristic roots in the representation of a(n) as a generalized power sum comprise either two pairs of conjugate complex roots or one negative real root and one pair of conjugate complex roots. The proof uses results from Diophantine approximation and the geometry of numbers. Concerning the case of a real positive dominating root we show what the answer to the question of positivity is for almost all values of the other dominating roots, provided that all dominating roots are simple.


title: On the upper semi-continuity of the Hilbert-Kunz multiplicity

abstract: We show that the Hilbert-Kunz multiplicity of a $d$-dimensional nonregular complete intersection over the algebraic closure of $F_p$, $p>2$ prime, is bounded by below by the Hilbert-Kunz multiplicity of the hypersurface $\sum _{i=0}^{d} x_i^2=0$, answering positively a conjecture of Watanabe and Yoshida in the case of complete intersections.


title: Morrey-Campanato estimates for Helmholtz equations with two unbounded media

abstract: We prove uniform Morrey-Campanato estimates for Helmholtz equations in the case of two unbounded inhomogeneous media separated by an interface. They imply weighted $L^2$-estimates for the solution. We prove also a uniform $L^2$-estimate {\em without weight} for the trace of the solution on the interface


title: Total reality of conormal bundles of hypersurfaces in almost complex manifolds

abstract: A generalization to the almost complex setting of a well-known result by S. Webster is given. Namely, we prove that if $\Gamma$ is a strongly pseudoconvex hypersurface in an almost complex manifold $(M, J)$, then the conormal bundle of $\Gamma$ is a totally real submanifold of $(T^*M, \J)$, where $\J$ is the lifted almost complex structure on $T^*M$ defined by Ishihara and Yano.


title: Branched shadows and complex structures of 4-manifolds

abstract: We define and study branched shadows of 4-manifolds as a combination of branched spines of 3-manifolds and Turaev's shadows. We use these objects to combinatorially represent 4-manifolds equipped with $Spin^c$-structures and homotopy classes of almost complex structures. We then use branched shadows to study complex 4-manifolds and prove that each almost complex structure on a 4-handlebody is homotopic to a complex one.


title: Complements of tori and Klein bottles in the 4-sphere that have hyperbolic structure

abstract: Many noncompact hyperbolic 3-manifolds are topologically complements of links in the 3-sphere. Generalizing to dimension 4, we construct a dozen examples of noncompact hyperbolic 4-manifolds, all of which are topologically complements of varying numbers of tori and Klein bottles in the 4-sphere. Finite covers of some of those manifolds are then shown to be complements of tori and Klein bottles in other simply-connected closed 4-manifolds. All the examples are based on a construction of Ratcliffe and Tschantz, who produced 1171 noncompact hyperbolic 4-manifolds of minimal volume. Our examples are finite covers of some of those manifolds.


title: The Linking Probability of Deep Spider-Web Networks

abstract: We consider crossbar switching networks with base $b$ (that is, constructed from $b\times b$ crossbar switches), scale $k$ (that is, with $b^k$ inputs, $b^k$ outputs and $b^k$ links between each consecutive pair of stages) and depth $l$ (that is, with $l$ stages). We assume that the crossbars are interconnected according to the spider-web pattern, whereby two diverging paths reconverge only after at least $k$ stages. We assume that each vertex is independently idle with probability $q$, the vacancy probability. We assume that $b\ge 2$ and the vacancy probability $q$ are fixed, and that $k$ and $l = ck$ tend to infinity with ratio a fixed constant $c>1$. We consider the linking probability $Q$ (the probability that there exists at least one idle path between a given idle input and a given idle output). In a previous paper it was shown that if $c\le 2$, then the linking probability $Q$ tends to 0 if $0<q<q_c$ (where $q_c = 1/b^{(c-1)/c}$ is the critical vacancy probability), and tends to $(1-\xi)^2$ (where $\xi$ is the unique solution of the equation $(1-q (1-x))^b=x$ in the range $0<x<1$) if $q_c<q<1$. In this paper we extend this result to all rational $c>1$. This is done by using generating functions and complex-variable techniques to estimate the second moments of various random variables involved in the analysis of the networks.


title: A survey of Bott-Taubes integration

abstract: It is well known that certain combinations of configuration space integrals defined by Bott and Taubes produce cohomology classes of spaces of knots. The literature surrounding this important fact, however, is somewhat incomplete and lacking in detail. The aim of this paper is to fill in the gaps as well as summarize the importance of these integrals.


title: Poincare-Birkhoff-Witt expansions of the canonical elliptic differential form

abstract: We study the canonical U(\n)-valued elliptic differential form, whose projections to different Kac-Moody algebras are key ingredients of the hypergeometric integral solutions of elliptic KZ differential equations and Bethe ansatz constructions. We explicitly determine the coefficients of the projections in the simple Lie algebras A_r, B_r, C_r, D_r in a conveniently chosen Poincare-Birkhoff-Witt basis. As an application we give a new formula for eigenfunctions of Hamiltonians of the Calogero-Moser model.


title: Intersection theoretic properties on the moduli space of genus 0 stable maps to a semipositive symplectic 4-manifold

abstract: We characterize transversality, non-transversality properties on the moduli space of genus 0 stable maps to a semipositive symplectic manifold of dimension 4, when GW([point],...,[point]) is enumerative. In particular, we show that the intersection theoretic property depends on the existence of a critical point on a stable map.


title: Integration and Optimization of Multivariate Polynomials by Restriction onto a Random Subspace

abstract: We consider the problem of efficient integration of an n-variate polynomial with respect to the Gaussian measure in R^n and related problems of complex integration and optimization of a polynomial on the unit sphere. We identify a class of n-variate polynomials f for which the integral of any positive integer power f^p over the whole space is well-approximated by a properly scaled integral over a random subspace of dimension O(log n). Consequently, the maximum of f on the unit sphere is well-approximated by a properly scaled maximum on the unit sphere in a random subspace of dimension O(log n). We discuss connections with problems of combinatorial counting and applications to efficient approximation of a hafnian of a positive matrix.


title: Geometric approach to error correcting codes and reconstruction of signals

abstract: We develop an approach through geometric functional analysis to error correcting codes and to reconstruction of signals from few linear measurements. An error correcting code encodes an n-letter word x into an m-letter word y in such a way that x can be decoded correctly when any r letters of y are corrupted. We prove that most linear orthogonal transformations Q from R^n into R^m form efficient and robust robust error correcting codes over reals. The decoder (which corrects the corrupted components of y) is the metric projection onto the range of Q in the L_1 norm. An equivalent problem arises in signal processing: how to reconstruct a signal that belongs to a small class from few linear measurements? We prove that for most sets of Gaussian measurements, all signals of small support can be exactly reconstructed by the L_1 norm minimization. This is a substantial improvement of recent results of Donoho and of Candes and Tao. An equivalent problem in combinatorial geometry is the existence of a polytope with fixed number of facets and maximal number of lower-dimensional facets. We prove that most sections of the cube form such polytopes.


title: Szeg\H{o} orthogonal polynomials with respect to an analytic weight: canonical representation and strong asymptotics

abstract: We provide a representation in terms of certain canonical functions for a sequence of polynomials orthogonal with respect to a weight that is strictly positive and analytic on the unit circle. These formulas yield a complete asymptotic expansion for these polynomials, valid uniformly in the whole complex plane. As a consequence, we obtain some results about the distribution of zeros of these polynomials. The main technique is the steepest descent analysis of Deift and Zhou, based on the matrix Riemann-Hilbert characterization proposed by Fokas, Its and Kitaev.


title: Noncommutative Geometry and Quiver algebras

abstract: We develop a new framework for noncommutative differential geometry based on double derivations. This leads to the notion of moment map and of Hamiltonian reduction in noncommutative symplectic geometry. For any smooth associative algebra B, we define its noncommutative cotangent bundle T^*B, which is a basic example of noncommutative symplectic manifold. Applying Hamiltonian reduction to noncommutative cotangent bundles gives an interesting class of associative algebras, P=P(B), that includes preprojective algebras associated with quivers. Our formalism of noncommutative Hamiltonian reduction provides the space P/[P,P] with a Lie algebra structure, analogous to the Poisson bracket on the zero fiber of the moment map. In the special case where P is the preprojective algebra associated with a quiver of non-Dynkin type, we give a complete description of the Gerstenhaber algebra structure on the Hochschild cohomology of P in terms of the Lie algebra P/[P,P].


title: Type and cotype of operator spaces

abstract: We consider two operator space versions of type and cotype, namely $S_p$-type, $S_q$-cotype and type $(p,H)$, cotype $(q,H)$ for a homogeneous Hilbertian operator space $H$ and $1\leq p \leq 2 \leq q\leq \infty$, generalizing "$OH$-cotype 2" of G. Pisier. We compute type and cotype of some Hilbertian operator spaces and $L_p$ spaces, and we investigate the relationship between a homogeneous Hilbertian space $H$ and operator spaces with cotype $(2,H)$. As applications we consider operator space versions of generalized little Grothendieck's theorem and Maurey's extension theorem in terms of these new notions.


title: Seifert fibered surgeries which do not arise from primitive/Seifert-fibered constructions

abstract: We construct two infinite families of knots each of which admits a Seifert fibered surgery with none of these surgeries coming from Dean's primitive/Seifert-fibered construction. This disproves a conjecture that all Seifert fibered surgeries arise from Dean's primitive/Seifert-fibered construction. The (-3,3,5)-pretzel knot belongs to both of the infinite families.


title: Estimates on path delocalization for copolymers at selective interfaces

abstract: We consider a directed random walk model of a random heterogeneous polymer in the proximity of an interface separating two selective solvents. This model exhibits a localization/delocalization transition. A positive value of the free energy corresponds to the localized regime and strong results on the polymer path behavior are known in this case. We focus on the interior of the delocalized phase, which is characterized by the free energy equal to zero, and we show in particular that in this regime there are O(log N) monomers in the unfavorable solvent (N is the length of the polymer). The previously known result was o(N). Our approach is based on concentration bounds on suitably restricted partition functions. The same idea allows also to interpolate between different types of disorder in the weak coupling limit. In this way we show the universal nature of this limit, previously considered only for binary disorder.


title: On the Existence of Periodic Orbits for the Fixed Homogeneous Circle Problem

abstract: We prove the existence of some types of periodic orbits for a particle moving in Euclidean three-space under the influence of the gravitational force induced by a fixed homogeneous circle. These types include periodic orbits very far and very near the homogeneous circle, as well as eight and spiral periodic orbits.


title: On the twisted $q$-zeta functions and $q$-Bernoulli polynomials

abstract: We study the twisted q-zeta functions and twisted q-Bernoulli polynomials


title: Crossed products by abelian semigroups via transfer operators

abstract: We propose a generalisation of Exel's crossed product by a single endomorphism and a transfer operator to the case of actions of abelian semigroups of endomorphisms and associated transfer operators. The motivating example for our definition yields new crossed products, not obviously covered by familiar theory. Our technical machinery builds on Fowler's theory of Toeplitz and Cuntz-Pimsner algebras of discrete product systems of Hilbert bimodules, which we need to expand to cover a natural notion of relative Cuntz-Pimsner algebras of product systems.


title: Galois coverings, Morita equivalence and smash extensions of categories over a field

abstract: We consider categories over a field $k$ in order to prove that smash extensions and Galois coverings with respect to a finite group coincide up to Morita equivalence of $k$-categories. For this purpose we describe processes providing Morita equivalences called contraction and expansion. We prove that composition of these processes provides any Morita equivalence, a result which is related with the karoubianisation (or idempotent completion) and additivisation of a $k$-category.


title: Boundary value problems on product domains

abstract: We consider the inhomogeneous Dirichlet problem on product domains. The main result is the asymptotic expansion of the solution in terms of increasing smoothness up to the boundary. In particular, we show the exact nature of the singularities of the solution at singularities of the boundary by constructing singular functions which make up an asymptotic expansion of the solution.


title: Bounds on the Nodal Statuses of Some Transfinite Graphs

abstract: The bounds on the statuses of the nodes in a finite graph established by Entringer, Jackson, and Snyder are extended herein so that they apply to the nodes in a transfinite graph of a certain kind.


title: Rank of the fundamental group of a component of a function space

abstract: We compute the rank of the fundamental group of an arbitrary connected component of the space map(X, Y) for X and Y nilpotent CW complexes with X finite. For the general component corresponding to a homotopy class f : X --> Y, we give a formula directly computable from the Sullivan model for f. For the component of the constant map, our formula expresses the rank in terms of classical invariants of X and Y. Among other applications and calculations, we obtain the following: Let G be a compact simple Lie group with maximal torus T^n. Then the fundamental group of map(S^2, G/T^n; f) is a finite group if and only if f: S^2 --> G/T^n is essential.


title: Cubature formulas, geometrical designs, reproducing kernels, and Markov operators

abstract: Cubature formulas and geometrical designs are described in terms of reproducing kernels for Hilbert spaces of functions on the one hand, and Markov operators associated to orthogonal group representations on the other hand. In this way, several known results for spheres in Euclidean spaces, involving cubature formulas for polynomial functions and spherical designs, are shown to generalize to large classes of finite measure spaces $(\Omega,\sigma)$ and appropriate spaces of functions inside $L^2(\Omega,\sigma)$. The last section points out how spherical designs are related to a class of reflection groups which are (in general dense) subgroups of orthogonal groups.


title: Shells of selfdual lattices viewed as spherical designs

abstract: We find out for which $t$ shells of selfdual lattices and of theirs shadows are spherical $t$-designs. The method uses theta series of lattices, which are modular forms. We analyse fully cubic and Witt lattices, as well as all selfdual lattices of rank at most 24.


title: Uniform linear bound in Chevalley's lemma

abstract: We obtain a uniform linear bound for the Chevalley function at a point in the source of an analytic mapping that is regular in the sense of Gabrielov. There is a version of Chevalley's lemma also along a fibre, or at a point of the image of a proper analytic mapping. We get a uniform linear bound for the Chevalley function for a closed Nash (or formally Nash) subanalytic set.


title: Strong Asymptotic Assertions for Discrete MDL in Regression and Classification

abstract: We study the properties of the MDL (or maximum penalized complexity) estimator for Regression and Classification, where the underlying model class is countable. We show in particular a finite bound on the Hellinger losses under the only assumption that there is a "true" model contained in the class. This implies almost sure convergence of the predictive distribution to the true one at a fast rate. It corresponds to Solomonoff's central theorem of universal induction, however with a bound that is exponentially larger.

categories: math.ST cs.AI cs.IT cs.LG math.IT math.PR stat.TH


title: Some properties of the rate function of quenched large deviations for random walk in random environment

abstract: In this paper, we are interested in some questions of Greven and den Hollander about the rate function $I\_{\eta}^q$ of quenched large deviations for random walk in random environment. By studying the hitting times of RWRE, we prove that in the recurrent case, $\lim\_{\theta\to 0^+}(I\_{\eta}^q)''(\theta)=+\infty$, which gives an affirmative answer to a conjecture of Greven and den Hollander. We also establish a comparison result between the rate function of quenched large deviations for a diffusion in a drifted Brownian potential, and the rate function for a drifted Brownian motion with the same speed.


title: An adaptive scheme for the approximation of dissipative systems

abstract: We propose a new scheme for the long time approximation of a diffusion when the drift vector field is not globally Lipschitz. Under this assumption, regular explicit Euler scheme --with constant or decreasing step-- may explode and implicit Euler scheme are CPU-time expensive. The algorithm we introduce is explicit and we prove that any weak limit of the weighted empirical measures of this scheme is a stationary distribution of the stochastic differential equation. Several examples are presented including gradient dissipative systems and Hamiltonian dissipative systems.


title: Cogebres Lie-admissibles - Lie-admissible coalgebras

abstract: We present coalgebras of some classes of nonassociative algebras whose associator satisfies invariance conditions given by the action of the 3-order symmetric group. Amongst these algebras we find the well-known Vinberg algebras, the Pre-Lie algebras, the Lie-admissible algebras and the 3-power associative algebras. We study properties between these coalgebras and algebras which generalize the associative case.


title: Connections functorially attached to almost complex product structures

abstract: Manifolds endowed with three foliations pairwise transversal are known as 3-webs. Equivalently, they can be algebraically defined as biparacomplex or complex product manifolds, i.e., manifolds endowed with three tensor fields of type $(1,1)$, $F$, $P$ and $J=F \circ P$, where the two first are product and the third one is complex, and they mutually anti-commute. In this case, it is well known that there exists a unique torsion-free connection parallelizing the structure. In the present paper, we study connections attached to non-integrable almost biparacomplex manifolds.


title: Moduli spaces of p-divisible groups

abstract: We study the global structure of moduli spaces of quasi-isogenies of p-divisible groups introduced by Rapoport and Zink. We determine their dimensions and their sets of connected components and of irreducible components. If the isocrystals of the p-divisible groups are simple, we compute the cohomology of the moduli space. As an application we determine which moduli spaces are smooth.


title: Undecidable proposition in PA and Diophantine equation

abstract: Based on the MRDP theorem concerning the Hilbert tenth problem, there is a corresponding Diophantine equation called proof equation for every formula of the First-order Peano Arithmetic (PA). A formula is provable in PA, if and only if the corresponding proof equation has solution. Based on proof equation, some famous sentences, e.g., the Godel sentence, the Rosser sentence and the Henkin sentence, can be expressed by the form of Diophantine equation. It is proved that for every axiom and theorem in the PA, we can construct actually a corresponding Diophantine equation, for which we know that it has no solution, but this fact cannot be proved in the PA. This means that, for every axiom and theorem in the PA, we can construct actually a corresponding undecidable proposition. Finally, generalizing the idea of proof equation to any mathematical (set theoretical, number theoretical, algebraic, geometrical, topological, et al) proposition, a project translating the task seeking a proof of the mathematical proposition into solving a corresponding Diophantine equation is discussed.


title: On causality and closed geodesics of compact Lorentzian manifolds and static spacetimes

abstract: Some results related to the causality of compact Lorentzian manifolds are proven: (1) any compact Lorentzian manifold which admits a timelike conformal vector field is totally vicious, and (2) a compact Lorentzian manifold covered regularly by a globally hyperbolic spacetime admits a timelike closed geodesic, if some natural topological assumptions (fulfilled, for example, if one of the conjugacy classes of deck transformations containing a closed timelike curve is finite) hold. As a consequence, any compact Lorentzian manifold conformal to a static spacetime is geodesically connected by causal geodesics, and admits a timelike closed geodesic.


title: On Ramanujan's cubic continued fraction and explicit evaluations of theta-functions

abstract: We study Ramanujan's cubic continued fraction and explicit evaluations of theta-functions


title: Limit laws for random vectors with an extreme component

abstract: Models based on assumptions of multivariate regular variation and hidden regular variation provide ways to describe a broad range of extremal dependence structures when marginal distributions are heavy tailed. Multivariate regular variation provides a rich description of extremal dependence in the case of asymptotic dependence, but fails to distinguish between exact independence and asymptotic independence. Hidden regular variation addresses this problem by requiring components of the random vector to be simultaneously large but on a smaller scale than the scale for the marginal distributions. In doing so, hidden regular variation typically restricts attention to that part of the probability space where all variables are simultaneously large. However, since under asymptotic independence the largest values do not occur in the same observation, the region where variables are simultaneously large may not be of primary interest. A different philosophy was offered in the paper of Heffernan and Tawn [J. R. Stat. Soc. Ser. B Stat. Methodol. 66 (2004) 497--546] which allows examination of distributional tails other than the joint tail. This approach used an asymptotic argument which conditions on one component of the random vector and finds the limiting conditional distribution of the remaining components as the conditioning variable becomes large. In this paper, we provide a thorough mathematical examination of the limiting arguments building on the orientation of Heffernan and Tawn [J. R. Stat. Soc. Ser. B Stat. Methodol. 66 (2004) 497--546]. We examine the conditions required for the assumptions made by the conditioning approach to hold, and highlight simililarities and differences between the new and established methods.


title: On non-negatively curved metrics on open five-dimensional manifolds

abstract: Let $V^n$ be an open manifold of non-negative sectional curvature with a soul $\Sigma$ of co-dimension two. The universal cover $\tilde N$ of the unit normal bundle $N$ of the soul in such a manifold is isometric to the direct product $M^{n-2}\times R$. In the study of the metric structure of $V^n$ an important role plays the vector field $X$ which belongs to the projection of the vertical planes distribution of the Riemannian submersion $\pi:V\to\Sigma$ on the factor $M$ in this metric splitting $\tilde N=M\times R$. The case $n=4$ was considered in [GT] where the authors prove that $X$ is a Killing vector field while the manifold $V^4$ is isometric to the quotient of $M^2\times (R^2,g_F)\times R$ by the flow along the corresponding Killing field. Following an approach of [GT] we consider the next case $n=5$ and obtain the same result under the assumption that the set of zeros of $X$ is not empty. Under this assumption we prove that both $M^3$ and $\Sigma^3$ admit an open-book decomposition with a bending which is a closed geodesic and pages which are totally geodesic two-spheres, the vector field $X$ is Killing, while the whole manifold $V^5$ is isometric to the quotient of $M^3\times (R^2,g_F)\times R$ by the flow along corresponding Killing field.


title: Geometrical spines of lens manifolds

abstract: Geometrical spines are defined for 3-manifolds with natural metrics, in particular, for lens manifolds. We show that any spine of L(p,q) close enough to its geometrical spine (i.e., to the cut locus with respect to the standard metric) contains at least E(p,q)-3 vertices, which is exactly the conjectured value for Matveev's complexity of L(p,q); here E(p,q) stands for the sum of the elements of the continued fraction expansion of p/q. As a byproduct, we find the minimal (over all triangulations) rotation distance (the term coined by Sleator, Tarjan, and Thurston) between a triangulation of a regular p-gon and its image under (2Pi q/p)-rotation. This minimum is also equal to E(p,q)-3.


title: Decoding by Linear Programming

abstract: This paper considers the classical error correcting problem which is frequently discussed in coding theory. We wish to recover an input vector $f \in \R^n$ from corrupted measurements $y = A f + e$. Here, $A$ is an $m$ by $n$ (coding) matrix and $e$ is an arbitrary and unknown vector of errors. Is it possible to recover $f$ exactly from the data $y$? We prove that under suitable conditions on the coding matrix $A$, the input $f$ is the unique solution to the $\ell_1$-minimization problem ($\|x\|_{\ell_1} := \sum_i |x_i|$) $$ \min_{g \in \R^n} \| y - Ag \|_{\ell_1} $$ provided that the support of the vector of errors is not too large, $\|e\|_{\ell_0} := |\{i : e_i \neq 0\}| \le \rho \cdot m$ for some $\rho > 0$. In short, $f$ can be recovered exactly by solving a simple convex optimization problem (which one can recast as a linear program). In addition, numerical experiments suggest that this recovery procedure works unreasonably well; $f$ is recovered exactly even in situations where a significant fraction of the output is corrupted.


title: On the Heegaard Floer homology of a surface times a circle

abstract: We make a detailed study of the Heegaard Floer homology of the product of a closed surface Sigma_g of genus g with S^1. We determine HF^+ for this 3-manifold completely for the spin^c structure having trivial first Chern class, which for g>2 was previously unknown. We show that in this case HF^\infty is closely related to the cohomology of the total space of a certain circle bundle over the Jacobian torus of Sigma_g, and furthermore that HF^+ of a surface times a circle with integral coefficients contains nontrivial 2-torsion whenever g>2. This is the first example known to the authors of torsion in Heegaard Floer homology with integral coefficients. Our methods also give new information on the action of H_1 of a surface times the circle on HF^+ of the same with spin^c-structures with nonzero first Chern class.


title: The orthogonal subcategory problem in homotopy theory

abstract: It is known that the existence of localization with respect to an arbitrary (possibly proper) class of maps in the category of simplicial sets is implied by a large-cardinal axiom called Vopenka's principle.In this article we extend the validity of this result to any left proper, combinatorial, simplicial model category $\cat M$ and show that, under additional assumptions on $\cat M$, every homotopy idempotent functor is in fact a localization with respect to some set of maps. These results are valid for the homotopy category of spectra, among other applications.


title: Geometry of foliations and flows I: Almost transverse pseudo-Anosov flows and asymptotic behavior of foliations

abstract: Let F be a foliation in a closed 3-manifold with negatively curved fundamental group and suppose that F is almost transverse to a quasigeodesic pseudo-Anosov flow. We show that the leaves of the foliation in the universal cover extend continuously to the sphere at infinity, hence the limit sets are continuous images of the circle. One important corollary is that if F is a Reebless finite depth foliation in a hyperbolic manifold, then it has the continuous extension property. Such finite depth foliations exist whenever the second Betti number is non zero. The result also applies to other classes of foliations, including a large class of foliations where all leaves are dense and infinitely many examples with one sided branching. One key tool is a detailed understanding of asymptotic properties of almost pseudo-Anosov singular 1-dimensional foliations in the leaves of F lifted to the universal cover.


title: Commutation relations for arbitrary quantum minors

abstract: Complete sets of commutation relations for arbitrary pairs of quantum minors are computed, with explicit coefficients in closed form.


title: On the explicit formula of Euler numbers and polynomials of higher order

abstract: We study the explicit formula of Euler numbers and polynomials of higher order


title: A note on q-Bernoulli numbers and polynomials

abstract: By using p-adic q-integrals, we study the q-Bernoulli numbers and polynomials of higher order.


title: Paraproducts in One and Several Parameters

abstract: For multiparameter bilinear paraproduct operators $B$ we prove the estimate $$ B: L^p X L^q --> L^r, 1<p,q\le{}\infty. $$ Here, $1/p+1/q=1/r$ and special attention is paid to the case of $0<r<1$. (Note that the families of multiparameter paraproducts are much richer than in the one parameter case.) These estimates are the essential step in the version of the multiparameter Coifman-Meyer theorem proved by C. Muscalu, J. Pipher, T. Tao, and C. Thiele. We offer a different proof of these inequalities.


title: Extremal cases of exactness constant and completely bounded projection constant

abstract: We investigate some extremal cases of exactness constant and completely bounded projection constant. More precisely, for an $n$-dimensional operator space $E$ we prove that $\lambda_{cb}(E) = \sqrt{n}$ if and only if $ex(E) = \sqrt{n}$, which is equivalent to $\lambda_{cb}(E) < \sqrt{n}$ if and only if $ex(E) < \sqrt{n}$.


title: Commutators with Reisz Potentials in One and Several Parameters

abstract: Let $ M_b$ be the operator of pointwise multiplication by $b$, that is $\operatorname M_b f=bf$. Set $[ A,B]={} AB- BA$. The Reisz potentials are the operators $$ R_\alpha f(x)=\int f(x-y)\frac{dy}{\abs y ^{\alpha}},\qquad 0<\alpha<1. $$ They map $L^p\mapsto L^q$, for $1-\alpha+\frac1q=\frac1p$, a fact we shall take for granted in this paper. A Theorem of Chanillo \cite{MR84j:42027} states that one has the equivalence $$ \norm [ M_b, R_\alpha].p\to q.\simeq \norm b.\operatorname{BMO}. $$ with the later norm being that of the space of functions of bounded mean oscillation. We discuss a new proof of this result in a discrete setting, and extend part of the equivalence above to the higher parameter setting.