title: Pathwise stationary solutions of stochastic Burgers equations with $L^2[0,1]$-noise and stochastic Burgers integral equations on infinite horizon

abstract: In this paper, we show the existence and uniqueness of the stationary solution $u(t,\omega)$ and stationary point $Y(\omega)$ of the differentiable random dynamical system $U:R\times L^2[0,1]\times \Omega\to L^2[0,1]$ generated by the stochastic Burgers equation with $L^2[0,1]$-noise and large viscosity, especially, $u(t,\omega)=U(t,Y(\omega),\omega)=Y(\theta(t,\omega))$, and $Y(\omega) \in H^1[0,1]$ is the unique solution of the following equation in $L^2[0,1]$ $$ Y(\omega)={1/2}\int_{-\infty}^0T_\nu(-s)\frac{\partial (Y(\theta(s,\omega))^2}{\partial x}ds +\int_{-\infty}^0T_\nu(-s)dW_s(\omega), $$ where $\theta$ is the group of $P$-preserving ergodic transformation on the canonical probability pace $(\Omega, {\cal F}, P)$ such that $\theta(t,\omega)(s)=W(t+s)-W(t)$.


title: Ideal class group annihilators

abstract: We study certain correspondences over Drinfeld modular varieties given by sums of Hecke correspondences. We propose generalizations of Stickelberger's theorem for higher dimensions. Using this result, we study anihilators for some cusp forms.


title: Spaces of polytopes and cobordism of quasitoric manifolds

abstract: Our aim is to bring the theory of analogous polytopes to bear on the study of quasitoric manifolds, in the context of stably complex manifolds with compatible torus action. By way of application, we give an explicit construction of a quasitoric representative for every complex cobordism class as the quotient of a free torus action on a real quadratic complete intersection. We suggest a systematic description for omnioriented quasitoric manifolds in terms of combinatorial data, and explain the relationship with non-singular projective toric varieties (otherwise known as toric manifolds). By expressing the first and third authors' approach to the representability of cobordism classes in these terms, we simplify and correct two of their original proofs concerning quotient polytopes; the first relates to framed embeddings in the positive cone, and the second involves modifying the operation of connected sum to take account of orientations. Analogous polytopes provide an informative setting for several of the details.


title: Scale space consistency of piecewise constant least squares estimators -- another look at the regressogram

abstract: We study the asymptotic behavior of piecewise constant least squares regression estimates, when the number of partitions of the estimate is penalized. We show that the estimator is consistent in the relevant metric if the signal is in $L^2([0,1])$, the space of c\`{a}dl\`{a}g functions equipped with the Skorokhod metric or $C([0,1])$ equipped with the supremum metric. Moreover, we consider the family of estimates under a varying smoothing parameter, also called scale space. We prove convergence of the empirical scale space towards its deterministic target.


title: Local symmetries of finite type hypersurfaces in C^2

abstract: The paper gives a complete description of local automorphism groups for Levi degenerate hypersurfaces of finite type in $\mathbb{C}^2$. We also prove that, with the exception of hypersurfaces of the form $v = |z|^k$, local automorphisms are always determined by 1-jets. This proves a conjecture of D. Zaitsev in the finite type case.


title: On the multiplicities of the irreducible highest weight modules over Kac-Moody algebras

abstract: We prove that the weight multiplicities of the integrable irreducible highest weight module over the Kac-Moody algebra associated to a quiver are equal to the root multiplicities of the Kac-Moody algebra associated to some enlarged quiver. To do this, we use the Kac conjecture for indivisible roots and a relation between the Poincare polynomials of quiver varieties and the Kac polynomials, counting the number of absolutely irreducible representations of the quiver over finite fields. As a corollary of this relation, we get an explicit formula for the Poincare polynomials of quiver varieties, which is equivalent to the formula of Hausel.


title: The size of random fragmentation trees

abstract: We study a random fragmentation process and its associated random tree. The process has earlier been studied by Dean and Majumdar (J. Phys. A: Math. Gen., vol. 35, L501--L507), who found a phase transition: the number of fragmentations is asymptotically normal in some cases but not in others, depending on the position of roots of a certain characteristic equation. This parallels the behaviour of discrete analogues with various random trees that have been studied in computer science. We give rigorous proofs of this phase transition, and add further details. The proof uses the contraction method. We extend some previous results for recursive sequences of random variables to families of random variables with a continuous parameter; we believe that this extension has independent interest.


title: Cardinal invariants for C-cross topologies

abstract: C-cross topologies are introduced. Modifcations of the Kuratowski-Ulam Theorem are considered. Cardinal invariants add, cof, cov and non with respect to meager or nowhere dense subsets are compared. Remarks on invariants cof(nwdY) are mentioned for dense subspaces Y of X.


title: Obstructions to special Lagrangian desingularizations and the Lagrangian prescribed boundary problem

abstract: We exhibit infinitely many, explicit special Lagrangian isolated singularities that admit no asymptotically conical special Lagrangian smoothings. The existence/ nonexistence of such smoothings is an important component of the current efforts to understand which singular special Lagrangians arise as limits of smooth special Lagrangians. We also use soft methods from symplectic geometry (the relative version of the h--principle) and tools from algebraic topology to prove (both positive and negative) results about Lagrangian desingularizations of Lagrangian submanifolds with isolated singularities; we view the Lagrangian desingularization problem as the natural soft analogue of the special Lagrangian smoothing problem.


title: Fast simulated annealing in $\R^d$ and an application to maximum likelihood estimation

abstract: Using classical simulated annealing to maximise a function $\psi$ defined on a subset of $\R^d$, the probability $\p(\psi(\theta\_n)\leq \psi\_{\max}-\epsilon)$ tends to zero at a logarithmic rate as $n$ increases; here $\theta\_n$ is the state in the $n$-th stage of the simulated annealing algorithm and $\psi\_{\max}$ is the maximal value of $\psi$. We propose a modified scheme for which this probability is of order $n^{-1/3}\log n$, and hence vanishes at an algebraic rate. To obtain this faster rate, the exponentially decaying acceptance probability of classical simulated annealing is replaced by a more heavy-tailed function, and the system is cooled faster. We also show how the algorithm may be applied to functions that cannot be computed exactly but only approximated, and give an example of maximising the log-likelihood function for a state-space model.


title: Stable rank of Leavitt path algebras

abstract: We characterize the values of the stable rank for Leavitt path algebras, by giving concrete criteria in terms of properties of the underlying graph.


title: The irreducibility of the spaces of rational curves on del Pezzo surfaces

abstract: We prove that the spaces of rational curves on del Pezzo surfaces are either irreducible or empty, with a unique exception.


title: The little Grothendieck theorem and Khintchine inequalities for symmetric spaces of measurable operators

abstract: We prove the little Grothendieck theorem for any 2-convex noncommutative symmetric space. Let $\M$ be a von Neumann algebra equipped with a normal faithful semifinite trace $\t$, and let $E$ be an r.i. space on $(0, \8)$. Let $E(\M)$ be the associated symmetric space of measurable operators. Then to any bounded linear map $T$ from $E(\M)$ into a Hilbert space $\mathcal H$ corresponds a positive norm one functional $f\in E_{(2)}(\M)^*$ such that $$\forall x\in E(\M)\quad \|T(x)\|^2\le K^2 \|T\|^2 f(x^*x+xx^*),$$ where $E_{(2)}$ denotes the 2-concavification of $E$ and $K$ is a universal constant. As a consequence we obtain the noncommutative Khintchine inequalities for $E(\M)$ when $E$ is either 2-concave or 2-convex and $q$-concave for some $q<\8$. We apply these results to the study of Schur multipliers from a 2-convex unitary ideal into a 2-concave one.


title: Global attractors of evolutionary systems

abstract: An abstract framework for studying the asymptotic behavior of a dissipative evolutionary system $\mathcal{E}$ with respect to weak and strong topologies was introduced in [8] primarily to study the long-time behavior of the 3D Navier-Stokes equations (NSE) for which the existence of a semigroup of solution operators is not known. Each evolutionary system possesses a global attractor in the weak topology, but does not necessarily in the strong topology. In this paper we study the structure of a global attractor for an abstract evolutionary system, focusing on omega-limits and attracting, invariant, and quasi-invariant sets. We obtain weak and strong uniform tracking properties of omega-limits and global attractors. In addition, we discuss a trajectory attractor for an evolutionary system and derive a condition under which the convergence to the trajectory attractor is strong.


title: Sheaves of nonlinear generalized functions and manifold-valued distributions

abstract: This paper is part of an ongoing program to develop a theory of generalized differential geometry. We consider the space $\mathcal{G}[X,Y]$ of Colombeau generalized functions defined on a manifold $X$ and taking values in a manifold $Y$. This space is essential in order to study concepts such as flows of generalized vector fields or geodesics of generalized metrics. We introduce an embedding of the space of continuous mappings $\mathcal{C}(X,Y)$ into $\mathcal{G}[X,Y]$ and study the sheaf properties of $\mathcal{G}[X,Y]$. Similar results are obtained for spaces of generalized vector bundle homomorphisms. Based on these constructions we propose the definition of a space $\mathcal{D}'[X,Y]$ of distributions on $X$ taking values in $Y$. $\mathcal{D}'[X,Y]$ is realized as a quotient of a certain subspace of $\mathcal{G}[X,Y]$.


title: A remark on simplicity of vertex algebras and Lie conformal algebras

abstract: I give a short proof of the following algebraic statement: if a vertex algebra is simple, then its underlying Lie conformal algebra is either abelian, or it is an irreducible central extension of a simple Lie conformal algebra.


title: Minimal Polynomials for the Coordinates of the Harborth Graph

abstract: The Harborth graph is the smallest known example of a 4-regular planar unit-distance graph. In this paper we give an analytical description of the coordinates of its vertices for a particular embedding in the Euclidean plane. More precisely, we show, how to calculate the minimal polynomials of the coordinates of its vertices (with the help of a computer algebra system), and list those. Furthermore some algebraic properties of these polynomials, and consequences to the structure of the Harborth graph are determined.


title: Local constancy of dimensions of Hecke eigenspaces of Automorphic forms

abstract: We use a method of Buzzard to study p-adic families of different types of modular forms - classical, over imaginary quadratic fields and totally real fields. In the case of totally real fields of even degree, we get local constancy of dimensions of spaces of fixed slope and varying weight. For imaginary quadratic fields we obtain bounds independent of the weight on the dimensions of such spaces.


title: A survey on partially hyperbolic dynamics

abstract: Some of the guiding problems in partially hyperbolic systems are the following: (1) Examples, (2) Properties of invariant foliations, (3) Accessibility, (4) Ergodicity, (5) Lyapunov exponents, (6) Integrability of central foliations, (7) Transitivity and (8) Classification. Here we will survey the state of the art on these subjects, and propose related problems.


title: Cohomology and Support Varieties for Lie Superalgebras

abstract: We study cohomology for classical Lie superalgebras $\mathfrak{g}$ (e.g. gl(m|n)) over the complex numbers. Using results from invariant theory, we show that there exist subsuperalgebras which detect the cohomology of $\mathfrak{g}.$ Furthermore, drawing inspiration from finite groups and restricted Lie algebras, we introduce the notion of support varieties in this context. One can prove these varieties have many of the desirable properties of such a theory. They also appear to provide new interpretations for certain combinatorics associated with Lie superalgebras.


title: A law of large numbers for finite-range dependent random matrices

abstract: We consider random hermitian matrices in which distant above-diagonal entries are independent but nearby entries may be correlated. We find the limit of the empirical distribution of eigenvalues by combinatorial methods. We also prove that the limit has algebraic Stieltjes transform by an argument based on dimension theory of noetherian local rings.


title: Some results on the integrability of the center bundle for partially hyperbolic diffeomorphisms

abstract: We prove, for f a partially hyperbolic diffeomorphism with center dimension one, two results about the integrability of its central bundle. On one side, we show that if the non wandering set of f is the whole manifold, and the manifold is 3 dimensional, then the absence of periodic points implies the unique integrability of the central bundle. On the opposite side, we prove that any periodic point p of large period n has an f n invariant center manifold, everywhere tangent to the center bundle. We also obtain, as a consequence of the last result, that there is an open and dense subset of C 1 robustly transitive and partially hyperbolic diffeomorphisms with center dimension one, such that either the strong stable or the strong unstable foliation is minimal. This generalizes a result obtained in BDU for 3 dimensional manifolds to any dimension.


title: Erdos-Falconer distance problem, exponential sums, and Fourier analytic approach to incidence theorems in vector spaces over finite fields

abstract: We prove several incidence theorems in vector spaces over finite fields using bounds for various classes of exponential sums and apply these to Erdos-Falconer type distance problems.


title: New properties of the intersection numbers on moduli spaces of curves

abstract: We present certain new properties about the intersection numbers on moduli spaces of curves $\bar{\sM}_{g,n}$, including a simple explicit formula of $n$-point functions and several new identities of intersection numbers. In particular we prove a new identity, which together with a conjectural identity implies the famous Faber's conjecture about relations in $\mathcal R^{g-2}(\sM_g)$. These new identities clarify the mysterious constant in Faber's conjecture and uncover novel combinatorial structures of intersection numbers. We also discuss some numerical properties of Hodge integrals which have provided numerous inspirations for this work.


title: Cohomology free systems and the first Betti number

abstract: We prove that a cohomology free flow on a manifold M fibers over a diophantine translation on the torus T b, where b is the first Betti number of M.


title: Packing subgroups in relatively hyperbolic groups

abstract: We introduce the bounded packing property for a subgroup of a countable discrete group G. This property gives a finite upper bound on the number of left cosets of the subgroup that are pairwise close in G. We establish basic properties of bounded packing, and give many examples; for instance, every subgroup of a countable, virtually nilpotent group has bounded packing. We explain several natural connections between bounded packing and group actions on CAT(0) cube complexes. Our main result establishes the bounded packing of relatively quasiconvex subgroups of a relatively hyperbolic group, under mild hypotheses. As an application, we prove that relatively quasiconvex subgroups have finite height and width, properties that strongly restrict the way families of distinct conjugates of the subgroup can intersect. We prove that an infinite, nonparabolic relatively quasiconvex subgroup of a relatively hyperbolic group has finite index in its commensurator. We also prove a virtual malnormality theorem for separable, relatively quasiconvex subgroups, which is new even in the word hyperbolic case.


title: Special biserial coalgebras and representations of quantum SL(2)

abstract: We develop the theory of special biserial and string coalgebras and other concepts from the representation theory of quivers. These tools are then used to describe the finite dimensional comodules and Auslander-Reiten quiver for the coordinate Hopf algebra of quantum SL(2) at a root of unity. We also describe the stable Green ring and compute quantum dimensions.


title: Monomial and toric ideals associated to Ferrers graphs

abstract: Each partition $\lambda = (\lambda_1, \lambda_2, ..., \lambda_n)$ determines a so-called Ferrers tableau or, equivalently, a Ferrers bipartite graph. Its edge ideal, dubbed Ferrers ideal, is a squarefree monomial ideal that is generated by quadrics. We show that such an ideal has a 2-linear minimal free resolution, i.e. it defines a small subscheme. In fact, we prove that this property characterizes Ferrers graphs among bipartite graphs. Furthermore, using a method of Bayer and Sturmfels, we provide an explicit description of the maps in its minimal free resolution: This is obtained by associating a suitable polyhedral cell complex to the ideal/graph. Along the way, we also determine the irredundant primary decomposition of any Ferrers ideal. We conclude our analysis by studying several features of toric rings of Ferrers graphs. In particular we recover/establish formulae for the Hilbert series, the Castelnuovo-Mumford regularity, and the multiplicity of these rings. While most of the previous works in this highly investigated area of research involve path counting arguments, we offer here a new and self-contained approach based on results from Gorenstein liaison theory.


title: Information Geometry of Random Matrix Models

abstract: In this paper we develop the theory of information geometry for single random matrix models, with two goals: proving a Cramer-Rao theorem for estimators on random matrices, and calculating the Legendre transform of pressure and entropy with respect to a metric duality. Consequently, in the large n limit we recover several quantities from free probability: Voiculescu's conjugate variable is the tangent vector to the GUE perturbation model, giving rise to a metric which turns out to be the free Fisher information measure; Hiai's Legendre transform of free pressure agrees with our Legendre transform of pressure; and Speicher's covariance of fluctuations naturally arises as the metric on the random matrix model obtained from the fluctuation functions.


title: Lowest Terms Revisited

abstract: In the September 1994 issue of Math Horizons the following problem is given in the Problem Section (p. 33, Problem 5): Lowest Terms - what fraction has the smallest denominator in the interval (19/94, 17/76)? In this paper we develop a general algorithm for solving problems of this type.


title: Solutions to the conjectures of Polya-Szego and Eshelby

abstract: Eshelby showed that if an inclusion is of elliptic or ellipsoidal shape then for any uniform elastic loading the field inside the inclusion is uniform. He then conjectured that the converse is true, i.e., that if the field inside an inclusion is uniform for all uniform loadings, then the inclusion is of elliptic or ellipsoidal shape. We call this the weak Eshelby conjecture. In this paper we prove this conjecture in three dimensions. In two dimensions, a stronger conjecture, which we call the strong Eshelby conjecture, has been proved: If the field inside an inclusion is uniform for a single uniform loading, then the inclusion is of elliptic shape. We give an alternative proof of Eshelby's conjecture in two dimensions using a hodographic transformation. As a consequence of the weak Eshelby's conjecture, we prove in two and three dimensions a conjecture of Polya and Szego on the isoperimetric inequalities for the polarization tensors. The Polya-Szego conjecture asserts that the inclusion whose electrical polarization tensor has the minimal trace takes the shape of a disk or a ball.


title: Fundamental Groups of Commuting Elements in Lie Groups

abstract: We compute the fundamental group of the spaces of ordered commuting $n$-tuples of elements in the Lie groups SU(2), U(2) and SO(3). For SO(3) the computation of the mod-2 cohomology of the components of these spaces is also obtained.


title: An example of generalized Schur operators involving planar binary trees

abstract: Young's lattice is a prototypical example of differential posets. Differential posets have the Robinson correspondence, the correspondence between permutations and pairs of standard tableaux with the same shape, as in the case of Young's lattice. Fomin introduced generalized Schur operators to generalize the method of Robinson correspondence in differential posets to the Robinson-Schensted-Knuth correspondence, the correspondence between certain matrices and pairs of semi-standard tableaux with the same shape. In this paper, we introduce operators on the vector space whose basis is the set of planar binary trees. To prove that the operators are generalized Schur operators, we construct a correspondence, which is an extension of Fomin's r-correspondence for them.


title: Prediction of missing observations by a control method

abstract: Consider a time series with missing observations but a known final point. Using control theory ideas we estimate/predict these missing observations. We obtain recurrence equations which minimize sum of squares of a control sequence. An advantage of this method is in easily computable formulae and flexibility of its application to different structures of missing data.


title: Homology Cobordism Invariants and the Cochran-Orr-Teichner Filtration of the Link Concordance Group

abstract: For any group G, we define a new characteristic series related to the derived series, that we call the torsion-free derived series of G. Using this series and the Cheeger-Gromov rho-invariant, we obtain new real-valued homology cobordism invariants rho_n for closed (4k-1)-dimensional manifolds. For 3-dimensional manifolds, we show that {rho_n} is a linearly independent set and for each n, the image of rho_n is an infinitely generated and dense subset of R. In their seminal work on knot concordance, T. Cochran, K. Orr, and P. Teichner define a filtration F_(n)^m of the m-component (string) link concordance group, called the (n)-solvable filtration. They also define a grope filtration G_n^m. We show that rho_n vanishes for (n+1)-solvable links. Using this, and the non-triviality of rho_n, we show that for each m>1, the successive quotients of the (n)-solvable filtration of the link concordance group contain an infinitely generated subgroup. We also establish a similar result for the grope filtration. We remark that for knots (m=1), the successive quotients of the (n)-solvable filtration are known to be infinite. However, for knots, it is unknown if these quotients have infinite rank when n>2.


title: Systolic invariants of groups and 2-complexes via Grushko decomposition

abstract: We prove a finiteness result for the systolic area of groups, answering a question of M. Gromov. Namely, we show that there are only finitely many possible unfree factors of fundamental groups of~2-complexes whose systolic area is uniformly bounded. Furthermore, we prove a uniform systolic inequality for all 2-complexes with unfree fundamental group that improves the previously known bounds in this dimension.


title: Finite jet determination of local CR automorphisms through resolution of degeneracies

abstract: Let M be a connected real-analytic hypersurface in N-dimensional complex euclidean space whose Levi form is nondegenerate at some point. We prove that for every point p in M, there exists an integer k=k(M,p) such that germs at p of local real-analytic CR automorphisms of M are uniquely determined by their k-jets (at p). To prove this result we develop a new technique that can be seen as a resolution of the degeneracies of M. This procedure consists of blowing up M near an arbitrary point p in M regardless of its minimality or nonminimality; then, thanks to the blow-up, the original problem can be reduced to an analogous one for a very special class of nonminimal hypersurfaces for which one may use known techniques to prove the finite jet determination property of its CR automorphisms.


title: Diagonal Subschemes and Vector Bundles

abstract: We study when a smooth variety $X$, embedded diagonally in its Cartesian square, is the zero scheme of a section of a vector bundle of rank $\dim(X)$ on $X\times X$. We call this the diagonal property (D). It was known that it holds for all flag manifolds ${\rm SL}_n/P$. We consider mainly the cases of proper smooth varieties, and the analogous problems for smooth manifolds (the topological case). Our main new observation in the case of proper varieties is a relation between (D) and cohomologically trivial line bundles on $X$, obtained by a variation of Serre's classic argument relating rank 2 vector bundles and codimension 2 subschemes, combined with Serre duality. Based on this, we have several detailed results on surfaces, and some results in higher dimensions. For smooth affine varieties, we observe that for an affine algebraic group over an algebraically closed field, the diagonal is in fact a complete intersection; thus (D) holds, using the trivial bundle. We conjecture the existence of smooth affine complex varieties for which (D) fails; this leads to an interesting question on projective modules. The arguments in the topological case have a different flavour, with arguments from homotopy theory, topological K-theory, index theory etc. There are 3 variants of the diagonal problem, depending on the type of vector bundle we want (arbitrary, oriented or complex). We obtain a homotopy theoretic reformulation of the diagonal property as an extension problem for a certain homotopy class of maps. We also have detailed results in several cases: spheres, odd dimensional complex projective quadric hypersurfaces, and manifolds of even dimension $\leq 6$ with an almost complex structure.


title: Rates of convergence of means of Euclidean functionals

abstract: Let $L$ be the Euclidean functional with $p$-th power-weighted edges. Examples include the sum of the $p$-th power-weighted lengths of the edges in minimal spanning trees, traveling salesman tours, and minimal matchings. Motivated by the works of Steele, Redmond and Yukich (1994, 1996) have shown that for $n$ i.i.d. sample points $\{X_1,...,X_n\}$ from $[0,1]^d$, $L(\{X_1,...,X_n\})/n^{(d-p)/d}$ converges a.s. to a finite constant. Here we bound the rate of convergence of $EL(\{X_1,...,X_n\})/n^{(d-p)/d}$.


title: Tropical varieties for non-archimedean analytic spaces

abstract: We associate to an analytic subvariety of a torus a tropical variety. In the first part, we generalize the results from tropical algebraic geometry to this non-archimedean analytic situation. The periodic case is applied to a totally degenerate abelian variety A. We obtain a dimensionality bound for the range of an algebraic morphism from a smooth variety Y to A in terms of the singularities of a strictly semistable model of Y. The main result is that Chambert-Loir's canonical measures on a closed subvariety of A induce piecewise Haar measures on the associated tropical variety and we give an explicit description of these measures in terms of tropical geometry. In a subsequent paper, this is the key step in the proof of Bogomolov's conjecture for totally degenerate abelian varieties over function fields.


title: On Hamiltonian-Minimal Lagrangian Tori in CP^2

abstract: We obtain some equations for Hamiltonian-minimal Lagrangian surfaces in CP^2 and give their particular solutions in the case of tori.


title: A functional limit theorem for the profile of search trees

abstract: We study the profile $X_{n,k}$ of random search trees including binary search trees and $m$-ary search trees. Our main result is a functional limit theorem of the normalized profile $X_{n,k}/\mathbb{E}X_{n,k}$ for $k=\lfloor\alpha\log n\rfloor$ in a certain range of $\alpha$. A central feature of the proof is the use of the contraction method to prove convergence in distribution of certain random analytic functions in a complex domain. This is based on a general theorem concerning the contraction method for random variables in an infinite-dimensional Hilbert space. As part of the proof, we show that the Zolotarev metric is complete for a Hilbert space.


title: Generalised Hecke algebras and C^*-completions

abstract: For a Hecke pair $(G, H)$ and a finite-dimensional representation $\sigma$ of $H$ on $V_\sigma$ with finite range we consider a generalised Hecke algebra $\H_\sigma(G, H)$, which we study by embedding the given Hecke pair in a Schlichting completion $(G_\sigma, H_\sigma)$ that comes equipped with a continuous extension $\sigma$ of $H_\sigma$. There is a (non-full) projection $p_\sigma\in C_c(G_\sigma, {\cc B}(V_\sigma))$ such that $\H_\sigma(G, H)$ is isomorphic to $p_\sigma C_c(G_\sigma, {\cc B}(V_\sigma))p_\sigma$. We study the structure and properties of $C^*$-completions of the generalised Hecke algebra arising from this corner realisation, and via Morita-Fell-Rieffel equivalence we identify, in some cases explicitly, the resulting proper ideals of $C^*(G_\sigma, {\cc B}(V_\sigma))$. By letting $\sigma$ vary, we can compare these ideals. The main focus is on the case with $\dim\sigma=1$ and applications include $ax+b$-groups and the Heisenberg group.


title: The Bogomolov conjecture for totally degenerate abelian varieties

abstract: We prove the Bogomolov conjecture for an abelian variety A over a function field which is totally degenerate at a place v. We adapt Zhang's proof of the number field case replacing the complex analytic tools by tropical analytic geometry. A key step is the tropical equidistribution theorem for A at the totally degenerate place. As an application, we obtain finiteness of torsion points with coordinates in the maximal unramified algebraic extension over v.


title: Classification of eight dimensional perfect forms

abstract: In this paper, we classify the perfect lattices in dimension 8. There are 10916 of them. Our classification heavily relies on exploiting symmetry in polyhedral computations. Here we describe algorithms making the classification possible.


title: On the dynamic programming approach for the 3D Navier-Stokes equations

abstract: The dynamic programming approach for the control of a 3D flow governed by the stochastic Navier-Stokes equations for incompressible fluid in a bounded domain is studied. By a compactness argument, existence of solutions for the associated Hamilton-Jacobi-Bellman equation is proved. Finally, existence of an optimal control through the feedback formula and of an optimal state is discussed.


title: Twisted Poincare duality for some quadratic Poisson algebras

abstract: We exhibit a Poisson module restoring a twisted Poincare duality between Poisson homology and cohomology for the polynomial algebra R=C[X_1,...,X_n] endowed with Poisson bracket arising from a uniparametrised quantum affine space. This Poisson module is obtained as the semiclassical limit of the dualising bimodule for Hochschild homology of the corresponding quantum affine space. As a corollary we compute the Poisson cohomology of R, and so retrieve a result obtained by direct methods (so completely different from ours) by Monnier.


title: On the Cauchy problem in Sobolev spaces for nonlinear Schrodinger equations with potential

abstract: We consider the Cauchy problem for nonlinear Schrodinger equations in the presence of a smooth, possibly unbounded, potential. No assumption is made on the sign of the potential. If the potential grows at most linearly at infinity, we construct solutions in Sobolev spaces (without weight), locally in time. Under some natural assumptions, we prove that the $H^1$-solutions are global in time. On the other hand, if the potential has a super-linear growth, then the Sobolev regularity of positive order is lost instantly, not matter how large it is, unless the initial datum decays sufficiently fast at infinity.


title: Flat Surfaces

abstract: Various problems of geometry, topology and dynamical systems on surfaces as well as some questions concerning one-dimensional dynamical systems lead to the study of closed surfaces endowed with a flat metric with several cone-type singularities. Such flat surfaces are naturally organized into families which appear to be isomorphic to the moduli spaces of holomorphic one-forms. One can obtain much information about the geometry and dynamics of an individual flat surface by studying both its orbit under the Teichmuller geodesic flow and under the linear group action. In particular, the Teichmuller geodesic flow plays the role of a time acceleration machine (renormalization procedure) which allows to study the asymptotic behavior of interval exchange transformations and of surface foliations. This long survey is an attempt to present some selected ideas, concepts and facts in Teichmuller dynamics in a playful way.


title: Discrete Tomography of Planar Model Sets

abstract: Discrete tomography is a well-established method to investigate finite point sets, in particular finite subsets of periodic systems. Here, we start to develop an efficient approach for the treatment of finite subsets of mathematical quasicrystals. To this end, the class of cyclotomic model sets is introduced, and the corresponding consistency, reconstruction and uniqueness problems of the discrete tomography of these sets are discussed.


title: The Fourier Singular Complement Method for the Poisson problem. Part I: prismatic domains

abstract: This is the first part of a threefold article, aimed at solving numerically the Poisson problem in three-dimensional prismatic or axisymmetric domains. In this first part, the Fourier Singular Complement Method is introduced and analysed, in prismatic domains. In the second part, the FSCM is studied in axisymmetric domains with conical vertices, whereas, in the third part, implementation issues, numerical tests and comparisons with other methods are carried out. The method is based on a Fourier expansion in the direction parallel to the reentrant edges of the domain, and on an improved variant of the Singular Complement Method in the 2D section perpendicular to those edges. Neither refinements near the reentrant edges of the domain nor cut-off functions are required in the computations to achieve an optimal convergence order in terms of the mesh size and the number of Fourier modes used.


title: On random measures, unordered sums and discontinuities of the first kind

abstract: By investigating in detail discontinuities of the first kind of real-valued functions and the analysis of unordered sums, where the summands are given by values of a positive real-valued function, we develop a measure-theoretical framework which in particular allows us to describe \textit{rigorously} the representation and meaning of sums of jumps of type $\sum_{0 < s \leq t} \Phi \circ | \Delta X_s |$, where $X : \Omega \times \R_+ \longrightarrow \R$ is a stochastic process with regulated trajectories, $t \in \R_+$ and $\Phi : \R_+ \longrightarrow \R_+$ is a strictly increasing function which maps 0 to 0 (cf. Proposition \ref{prop:sum of jumps on R+ with invertible function}). Moreover, our approach enables a natural extension of the jump measure of c\`{a}dl\`{a}g and adapted processes to an integer-valued random measure of optional processes with regulated trajectories which need not necessarily to be right- or left-continuous (cf. Theorem \ref{thm:optional random measures}). In doing so, we provide a detailed and constructive proof of the fact that the set of all discontinuities of the first kind of a given real-valued function on $\R$ is at most countable (cf. Lemma \ref{lemma:right limits and left limits}, Theorem \ref{thm:at most countably many jumps on compact intervals} and Theorem \ref{thm:at most countably many jumps on R+}). By using the powerful analysis of unordered sums, we hope that our contributions fill an existing gap in the literature, since neither a detailed proof of (the frequently used) Theorem \ref{thm:at most countably many jumps on compact intervals} nor a precise definition of sums of jumps seems to be available yet.


title: The Fourier Singular Complement Method for the Poisson problem. Part II: axisymmetric domains

abstract: This paper is the second part of a threefold article, aimed at solving numerically the Poisson problem in three-dimensional prismatic or axisymmetric domains. In the first part of this series, the Fourier Singular Complement Method was introduced and analysed, in prismatic domains. In this second part, the FSCM is studied in axisymmetric domains with conical vertices, whereas, in the third part, implementation issues, numerical tests and comparisons with other methods are carried out. The method is based on a Fourier expansion in the direction parallel to the reentrant edges of the domain, and on an improved variant of the Singular Complement Method in the 2D section perpendicular to those edges. Neither refinements near the reentrant edges or vertices of the domain, nor cut-off functions are required in the computations to achieve an optimal convergence order in terms of the mesh size and the number of Fourier modes used.


title: Global Solutions for the One-Dimensional Vlasov-Maxwell System for Laser-Plasma Interaction

abstract: We analyse a reduced 1D Vlasov--Maxwell system introduced recently in the physical literature for studying laser-plasma interaction. This system can be seen as a standard Vlasov equation in which the field is split in two terms: an electrostatic field obtained from Poisson's equation and a vector potential term satisfying a nonlinear wave equation. Both nonlinearities in the Poisson and wave equations are due to the coupling with the Vlasov equation through the charge density. We show global existence of weak solutions in the non-relativistic case, and global existence of characteristic solutions in the quasi-relativistic case. Moreover, these solutions are uniquely characterised as fixed points of a certain operator. We also find a global energy functional for the system allowing us to obtain $L^p$-nonlinear stability of some particular equilibria in the periodic setting.


title: On the harmonic Boltzmannian waves in laser-plasma interaction

abstract: We study the permanent regimes of the reduced Vlasov-Maxwell system for laser-plasma interaction. A non-relativistic and two different relativistic models are investigated. We prove the existence of solutions where the distribution function is Boltzmannian and the electromagnetic variables are time-harmonic and circularly polarized.


title: Geodesics on Flat Surfaces

abstract: This short survey illustrates the ideas of Teichmuller dynamics. As a model application we consider the asymptotic topology of generic geodesics on a "flat" surface and count closed geodesics and saddle connections. This survey is based on the joint papers with A.Eskin and H.Masur and with M.Kontsevich.


title: P\'{e}riodicit\'{e} de Kn\"{o}rrer \'{e}tendue

abstract: We study the deformation theory aspects of Matricial Factorizations, possibly with an orthogonal or symplectic structure. We discuss and extend the Kn\"orrer and Hori-Walcher periodicity theorems


title: SPM Bulletin 18

abstract: CONTENTS: A surprising covering of the real line Unions of chains in dyadic compact spaces and topological groups On the Pytkeev property in spaces of continuous functions Selection principles related to alpha_i-properties On the Kocinac alpha_i properties A new selection principle First Countable Continua and Proper Forcing The convergence space of minimal usco mappings D-forced spaces: a new approach to resolvability Resolvability of spaces having small spread or extent Resolvability and monotone normality Isomorphism of Borel full groups A Poset Hierarchy Infinite asymptotic games Elementary submodels and separable monotonically normal compacta An application of CAT A general Stone representation theorem Measure Recognition Problem Cardinal invariants for C-cross topologies Problem of the Issue.


title: Geometry of polar wedges and super-replication prices in incomplete financial markets

abstract: Consider a financial market in which an agent trades with utility-induced restrictions on wealth. By introducing a general convex-analytic framework which includes the class of umbrella wedges in certain Riesz spaces and faces of convex sets (consisting of probability measures), together with a duality theory for polar wedges, we provide a representation of the super-replication price of an unbounded (but sufficiently integrable) contingent claim that can be dominated approximately by a zero-financed terminal wealth as the the supremum of its discounted expectation under pricing measures which appear as faces of a given set of separating probability measures. Central to our investigation is the representation of a wedge $C_\Phi$ of utility-based super-replicable contingent claims as the polar wedge of the set of finite entropy separating measures. Our general approach shows, that those terminal wealths need {\it not} necessarily stem from {\it admissible} trading strategies only. The full two-sided polarity we achieve between measures and contingent claims yields an economic justification for the use of the wedge $C_\Phi$: the utility-based restrictions which this wedge imposes on terminal wealth arise only from the investor's preferences to asymptotically large negative wealth.


title: On utility-based super-replication prices of contingent claims with unbounded payoffs

abstract: Consider a financial market in which an agent trades with utility-induced restrictions on wealth. For a utility function which satisfies the condition of reasonable asymptotic elasticity at $-\infty$ we prove that the utility-based super-replication price of an unbounded (but sufficiently integrable) contingent claim is equal to the supremum of its discounted expectations under pricing measures with finite {\it loss-entropy}. For an agent whose utility function is unbounded from above, the set of pricing measures with finite loss-entropy can be slightly larger than the set of pricing measures with finite entropy. Indeed, the former set is the closure of the latter under a suitable weak topology. Central to our proof is the representation of a cone $C_U$ of utility-based super-replicable contingent claims as the polar cone to the set of finite loss-entropy pricing measures. The cone $C_U$ is defined as the closure, under a relevant weak topology, of the cone of all (sufficiently integrable) contingent claims that can be dominated by a zero-financed terminal wealth. We investigate also the natural dual of this result and show that the polar cone to $C_U$ is generated by those separating measures with finite loss-entropy. The full two-sided polarity we achieve between measures and contingent claims yields an economic justification for the use of the cone $C_U$, and an open question.


title: Some Liouville theorems and applications

abstract: We give exposition of a Liouville theorem established in \cite{Li3} which is a novel extension of the classical Liouville theorem for harmonic functions. To illustrate some ideas of the proof of the Liouville theorem, we present a new proof of the classical Liouville theorem for harmonic functions. Applications of the Liouville theorem, as well as that of earlier ones in \cite{Li2}, can be found in \cite{Li3, Li4} and \cite{W}.


title: An algorithm for computing the canonical bases of higher-level q-deformed Fock spaces

abstract: We derive a straightening-free algorithm that computes the canonical bases of any higher-level q-deformed Fock space.


title: Contact Homology of Hamiltonian Mapping Tori

abstract: This paper is concerned with the rational symplectic field theory in the Floer case. For this observe that in the general geometric setup for symplectic field theory the contact manifolds can be replaced by mapping tori of symplectic manifolds with symplectomorphisms. While the cylindrical contact homology is given by the Floer homologies of powers of the symplectomorphism, the other algebraic invariants of symplectic field theory provide natural generalizations of symplectic Floer homology. For symplectically aspherical manifolds and Hamiltonian symplectomorphisms we study the moduli spaces of rational curves and prove a transversality result, which does not need the polyfold theory by Hofer, Wysocki and Zehnder. Besides that our result shows that one does not get nontrivial operations on Floer homology from symplectic field theory, we use it to compute the full contact homology of the corresponding Hamiltonian mapping torus.


title: On a "zero mass" nonlinear Schrodinger equation

abstract: We look for positive solutions to the nonlinear Schrodinger equation with a potential, under the hypothesis of zero mass on the nonlinearity, in a particular situation. Existence and multiplicity results are provided.


title: The structure of the rational concordance group of knots

abstract: We study the group of rational concordance classes of codimension two knots in rational homology spheres. We give a full calculation of its algebraic theory by developing a complete set of new invariants. For computation, we relate these invariants with limiting behaviour of the Artin reciprocity over an infinite tower of number fields and analyze it using tools from algebraic number theory. In higher dimensions it classifies the rational concordance group of knots whose ambient space satisfies a certain cobordism theoretic condition. In particular, we construct infinitely many torsion elements. We show that the structure of the rational concordance group is much more complicated than the integral concordance group from a topological viewpoint. We also investigate the structure peculiar to knots in rational homology 3-spheres. To obtain further nontrivial obstructions in this dimension, we develop a technique of controlling a certain limit of the von Neumann $L^2$-signature invariants.


title: Injectivity theorems and algebraic closures of groups with coefficients

abstract: Recently, Cochran and Harvey defined torsion-free derived series of groups and proved an injectivity theorem on the associated torsion-free quotients. We show that there is a universal construction which extends such an injectivity theorem to an isomorphism theorem. Our result relates injectivity theorems to a certain homology localization of groups. In order to give a concrete combinatorial description and existence proof of the necessary homology localization, we introduce a new version of algebraic closures of groups with coefficients by considering a certain type of equations.


title: Singular integers and p-class group of cyclotomic fields

abstract: Let $p$ be an irregular prime. Let $K=\Q(\zeta)$ be the $p$-cyclotomic field. From Kummer and class field theory, there exist Galois extensions $S/\Q$ of degree $p(p-1)$ such that $S/K$ is a cyclic unramified extension of degree $[S:K]=p$. We give an algebraic construction of the subfields $M$ of $S$ with degree $[M:\Q]=p$ and an explicit formula for the prime decomposition and ramification of the prime number $p$ in the extensions $S/K$, $M/\Q$ and $S/M$. In the last section, we examine the consequences of these results for the Vandiver's conjecture. This article is at elementary level on Classical Algebraic Number Theory.


title: Topological minimal genus and $L^2$-signatures

abstract: We obtain new lower bounds of the minimal genus of a locally flat surface representing a 2-dimensional homology class in a topological 4-manifold with boundary, using the von Neumann-Cheeger-Gromov $\rho$-invariant. As an application our results are employed to investigate the slice genus of knots. We illustrate examples with arbitrarily large slice genus for which our lower bound is optimal but all previously known invariants vanish.


title: A homological recipe for pseudo-Anosovs

abstract: We give a simple explicit construction of pseudo-Anosov mapping classes using an improvement of the homological criterion of Casson-Bleiler.


title: Quasi-Symmetric Functions, Multiple Zeta Values, and Rooted Trees

abstract: We review the relation between the Hopf algebra QSym of quasi-symmetric functions and the multiple zeta values, and then discuss a commutative diagram involving the Hopf algebra Sym of symmetric functions, the Hopf algebra dual NSym of QSym, and the Hopf algebras of rooted trees and planar rooted trees as defined by Kreimer and Foissy respectively.


title: On the degree two entry of a Gorenstein $h$-vector and a conjecture of Stanley

abstract: In this note we establish a (non-trivial) lower bound on the degree two entry $h_2$ of a Gorenstein $h$-vector of any given socle degree $e$ and any codimension $r$. In particular, when $e=4$, that is for Gorenstein $h$-vectors of the form $h=(1,r,h_2,r,1)$, our lower bound allows us to prove a conjecture of Stanley on the order of magnitude of the minimum value, say $f(r)$, that $h_2$ may assume. In fact, we show that $$\lim_{r\to \infty} {f(r)\over r^{2/3}}= 6^{2/3}.$$ In general, we wonder whether our lower bound is sharp for all integers $e\geq 4$ and $r\geq 2$.


title: Solvable matrix groups and the Burnside problem

abstract: All groups are 2-generator. For any prime-power q, Theorem 1 constructs a solvable matrix group over a quotient of a Laurent polynomial ring. This group is closely related to a group of exponent q as shown in Theorems 2 & 3 . Theorem 4 in section 5 shows that a group of prime-power exponent contains the relations of a solvable group. It follows that the Burnside groups of exponent q are solvable, and it is easy to deduce that the solvability class of these groups tends to infinity with q. Crucial to this work, especially for precise bounds on the solvability class, is an earlier paper with Heilbronn and Mochizuki.


title: $\R$-trees and laminations for free groups I: Algebraic laminations

abstract: This paper is the first of a sequence of three papers, where the concept of an $\mathbb R$-tree dual to a measured geodesic lamination in a hyperbolic surface is generalized to arbitrary $\mathbb R$-trees provided with a (very small) action of the free group $F_N$ of finite rank $N\geq 2$ by isometries. Three different definitions are given and they are proved to be equivalent. We also describe the topology and Out$(F_N)$-action on the space of laminations.


title: Involutions on graded matrix algebras

abstract: In this paper we describe graded automorphisms and antiautomorphisms of finite order on matrix algebras endowed with a group gradings by a finite abelian group over an arbitrary algebraically closed field of charcteristic different from 2.


title: Spectrum estimation for large dimensional covariance matrices using random matrix theory

abstract: Estimating the eigenvalues of a population covariance matrix from a sample covariance matrix is a problem of fundamental importance in multivariate statistics; the eigenvalues of covariance matrices play a key role in many widely techniques, in particular in Principal Component Analysis (PCA). In many modern data analysis problems, statisticians are faced with large datasets where the sample size, n, is of the same order of magnitude as the number of variables p. Random matrix theory predicts that in this context, the eigenvalues of the sample covariance matrix are not good estimators of the eigenvalues of the population covariance. We propose to use a fundamental result in random matrix theory, the Marcenko-Pastur equation, to better estimate the eigenvalues of large dimensional covariance matrices. The Marcenko-Pastur equation holds in very wide generality and under weak assumptions. The estimator we obtain can be thought of as "shrinking" in a non linear fashion the eigenvalues of the sample covariance matrix to estimate the population eigenvalue. Inspired by ideas of random matrix theory, we also suggest a change of point of view when thinking about estimation of high-dimensional vectors: we do not try to estimate directly the vectors but rather a probability measure that describes them. We think this is a theoretically more fruitful way to think statistically about these problems. Our estimator gives fast and good or very good results in extended simulations. Our algorithmic approach is based on convex optimization. We also show that the proposed estimator is consistent.


title: Complexes with free actions by the group of automorphisms of a free group

abstract: We define two complexes on which the group Aut$(F_n)$ acts freely. The homotopy groups of these are studied. They map to the K-groups of Z and are themselves a sort of pre-K-theory.


title: Lie n-groupoids and stacky Lie groupoids

abstract: We discuss two sorts of generalization of Lie groupoids. One is Lie $n$-groupoids defined as simplicial manifolds with trivial $\pi_{k\geq n+1}$. The other is the stacky Lie groupoid $\cG\rra M$ with $\cG$ a differentiable stack. We build 1-1 correspondence between Lie 2-groupoids and stacky Lie groupoids up to a certain Morita equivalence. Equivalences of these higher groupoids are described.


title: A presentation for the partial dual inverse symmetric monoid

abstract: We give a monoid presentation in terms of generators and defining relations for the partial analogue of the finite dual inverse symmetric monoid.


title: On the reductive Borel-Serre compactification, II: Excentric quotients and least common modifications

abstract: Let X be a locally symmetric variety. Let EBS(X) and TorE(X) denote its excentric Borel-Serre and excentric toroidal compactifications, resp. We determine their least common modification and use it to prove a conjecture of Goresky and Tai concerning canonical extensions of homogeneous vector bundles. In the process, we see that EBS(X) and TorE(X) are homotopy equivalent.


title: Stochastic nonlinear Schrodinger equations driven by a fractional noise - Well posedness, large deviations and support

abstract: We consider stochastic nonlinear Schrodinger equations driven by an additive noise. The noise is fractional in time with Hurst parameter H in (0,1). It is also colored in space and the space correlation operator is assumed to be nuclear. We study the local well-posedness of the equation. Under adequate assumptions on the initial data, the space correlations of the noise and for some saturated nonlinearities, we prove a sample path large deviations principle and a support result. These results are stated in a space of exploding paths which are Holder continuous in time until blow-up. We treat the case of Kerr nonlinearities when H > 1/2.


title: Small noise asymptotic of the timing jitter in soliton transmission

abstract: This submission has been withdrawn because it is a duplicate of [math.PR/0609434].


title: Upper Bounds on the Automorphism Group of a Graph

abstract: We give upper bounds on the order of the automorphism group of a simple graph


title: Sum-product estimates in finite fields

abstract: We prove, using combinatorics and Kloosterman sum technology that if $A \subset {\Bbb F}_q$, a finite field with $q$ elements, and $q^{{1/2}} \lesssim |A| \lesssim q^{{7/10}}$, then $\max \{|A+A|, |A \cdot A|\} \gtrsim \frac{{|A|}^{{3/2}}}{q^{{1/4}}$.


title: Perturbed Three Vortex Dynamics

abstract: It is well known that the dynamics of three point vortices moving in an ideal fluid in the plane can be expressed in Hamiltonian form, where the resulting equations of motion are completely integrable in the sense of Liouville and Arnold. The focus of this investigation is on the persistence of regular behavior (especially periodic motion) associated to completely integrable systems for certain (admissible) kinds of Hamiltonian perturbations of the three vortex system in a plane. After a brief survey of the dynamics of the integrable planar three vortex system, it is shown that the admissible class of perturbed systems is broad enough to include three vortices in a half-plane, three coaxial slender vortex rings in three-space, and `restricted' four vortex dynamics in a plane. Included are two basic categories of results for admissible perturbations: (i) general theorems for the persistence of invariant tori and periodic orbits using Kolmogorov-Arnold-Moser and Poincare-Birkhoff type arguments; and (ii) more specific and quantitative conclusions of a classical perturbation theory nature guaranteeing the existence of periodic orbits of the perturbed system close to cycles of the unperturbed system, which occur in abundance near centers. In addition, several numerical simulations are provided to illustrate the validity of the theorems as well as indicating their limitations as manifested by transitions to chaotic dynamics.


title: On the new form of Bethe ansatz equations and separation of variables in the $sl_3$ Gaudin model

abstract: A new form of Bethe ansatz equations is introduced. A version of a separation of variables for the quantum $sl_3$ Gaudin model is presented.


title: Gaussian heat kernel upper bounds via Phragm\'en-Lindel\"of theorem

abstract: We prove that in presence of $L^2$ Gaussian estimates, so-called Davies-Gaffney estimates, on-diagonal upper bounds imply precise off-diagonal Gaussian upper bounds for the kernels of analytic families of operators on metric measure spaces.


title: Restrictions of the Complementary Series of the Universal Covering of the Symplectic Group

abstract: We study the restrictions of certain degenerate principal series representations of the universal covering of the symplectic group. We construct an isometry between the complementary series and the unitary principal series which preserves the action of a symplectic subgroup no bigger than half of the size of the original group.


title: Optimal strategies for a class of sequential control problems with precedence relations

abstract: Consider the following multi-phase project management problem. Each project is divided into several phases. All projects enter the next phase at the same point chosen by the decision maker based on observations up to that point. Within each phase, one can pursue the projects in any order. When pursuing the project with one unit of resource, the project state changes according to a Markov chain. The probability distribution of the Markov chain is known up to an unknown parameter. When pursued, the project generates a random reward depending on the phase and the state of the project and the unknown parameter. The decision maker faces two problems: (a) how to allocate resources to projects within each phase, and (b) when to enter the next phase, so that the total expected reward is as large as possible. In this paper, we formulate the preceding problem as a stochastic scheduling problem and propose asymptotic optimal strategies, which minimize the shortfall from perfect information payoff. Concrete examples are given to illustrate our method.


title: L\'evy processes and Fourier multipliers

abstract: We study Fourier multipliers which result from modulating jumps of L\'evy processes. Using the theory of martingale transforms we prove that these operators are bounded in $L^p(\Rd)$ for $1<p<\infty$ and we obtain the same explicit bound for their norm as the one known for the second order Riesz transforms.


title: Complete Reducibility and Commuting Subgroups

abstract: Let G be a reductive linear algebraic group over an algebraically closed field of characteristic p. We study J.-P. Serre's notion of G-complete reducibility for subgroups of G. In particular, for a subgroup H and a normal subgroup N of H, we look at the relationship between G-complete reducibility of N and of H, and show that these properties are equivalent if H/N is linearly reductive, generalizing a result of Serre. We also study the case when H = MN with M a G-completely reducible subgroup of G which normalizes N. We show that if G is connected, N and M are connected commuting G-completely reducible subgroups of G, and p is good for G, then H = MN is also G-completely reducible.


abstract: We consider the problem of the error in soliton transmission in long-haul optical fibers caused by the spontaneous emission of noise inherent to amplification. We study two types of noises driving the stochastic focusing cubic one dimensional nonlinear Schr\"{o}dinger equation which appears in physics in that context. We focus on the fluctuations of the mass and arrival time or timing jitter. We give the small noise asymptotic of the tails of these two quantities for the two types of noises. We are then able to prove several results from physics among which the Gordon--Haus effect which states that the fluctuation of the arrival time is a much more limiting factor than the fluctuation of the mass. The physical results had been obtained with arguments difficult to fully justify mathematically.


title: Zassenhaus conjecture for central extensions of $S_{5}$

abstract: We confirm a conjecture of Zassenhaus about rational conjugacy of torsion units in integral group rings for a covering group of the symmetric group $S_{5}$ and for the general linear group $\text{GL}(2,5)$.


title: The anticyclic operad of moulds

abstract: A new anticyclic operad Mould is introduced, on spaces of functions in several variables. It is proved that the Dendriform operad is an anticyclic suboperad of this operad. Many operations on the free Mould algebra on one generator are introduced and studied. Under some restrictions, a forgetful map from moulds to formal vector fields is then defined. A connection to the theory of tilting modules for quivers of type A is also described.


title: On the $S_2$-fication of Some Toric Varieties

abstract: Some results on the Cohen-Macaulayness of the canonical module. We study the $S_2$-fication of rings which are quotients by lattices ideals. Given a simplicial lattice ideal of codimension two $I,$ its Macaulayfication is given explicitly from a system of generators of $I$.


title: Groupoids and an index theorem for conical pseudo-manifolds

abstract: We define an analytical index map and a topological index map for conical pseudomanifolds. These constructions generalize the analogous constructions used by Atiyah and Singer in the proof of their topological index theorem for a smooth, compact manifold $M$. A main ingredient is a non-commutative algebra that plays in our setting the role of $C_0(T^*M)$. We prove a Thom isomorphism between non-commutative algebras which gives a new example of wrong way functoriality in $K$-theory. We then give a new proof of the Atiyah-Singer index theorem using deformation groupoids and show how it generalizes to conical pseudomanifolds. We thus prove a topological index theorem for conical pseudomanifolds.


title: Periods for irregular singular connections on surfaces

abstract: We define homology groups for flat irregular singular connections on surfaces and a pairing between these and the de Rham cohomology of the connection, generalizing work of S. Bloch and H. Enault in dimension one. Assuming a conjecture of C. Sabbah (known to be true if the rank of the vector bundle is at most 5), we prove perfectness of the pairing. We comment on certain new phenomena appearing in dimension two.


title: On some relations between generalized associators

abstract: Let Phi be the KZ associator and Psi_N be its analogue for N-th roots of 1. We prove a hexagon relation for Psi_4. Similarly to the Broadhurst (for Psi_2) and Okuda (for Psi_4) duality relations, it relies on the "supplementary" (i.e., non-dihedral) symmetries of C^* - mu_4(C) (i.e., the octahedron group S_4). We also derive relations between Phi and Psi_2, which are analogues of equations, found by Nakamura and Schneps, satisfied by the image of the Galois group of Q in the Grothendieck-Teichm"uller group.


title: On (p, q; \alpha, \beta, l)-deformed oscillators and their oscillator algebras

abstract: We present a description of a new kind of the deformed canonical commutation relations, their representations and generated by them Heisenberg-Weyl algebra. This deformed algebra allows us to derive operations of the Hopf algebra structure: comultiplication, counit and antipode. We discuss properties of a discrete spectrum of the Hamiltonian of the deformed harmonic oscillator corresponding to this oscillator-like system.


title: Convexity of the median in the gamma distribution

abstract: We show that the median $m(x)$ in the gamma distribution with parameter $x$ is a strictly convex function on the positive half-line


title: Large deviations for a scalar diffusion in random environment

abstract: Let $\sigma(u)$, $u\in \mathbb{R}$ be an ergodic stationary Markov chain, taking a finite number of values $a_1,...,a_m$, and $b(u)=g(\sigma(u))$, where $g$ is a bounded and measurable function. We consider the diffusion type process $$ dX^\epsilon_t = b(X^\epsilon_t/\epsilon)dt + \epsilon^\kappa\sigma\big(X^\epsilon_t/\epsilon\big)dB_t, t\le T $$ subject to $X^\epsilon_0=x_0$, where $\epsilon$ is a small positive parameter, $B_t$ is a Brownian motion, independent of $\sigma$, and $\kappa> 0$ is a fixed constant. We show that for $\kappa<1/6$, the family $\{X^\epsilon_t\}_{\epsilon\to 0}$ satisfies the Large Deviations Principle (LDP) of the Freidlin-Wentzell type with the constant drift $\mathbf{b}$ and the diffusion $\mathbf{a}$, given by $$ \mathbf{b}=\sum\limits_{i=1}^m\dfrac{g(a_i)}{a^2_i}\pi_i\Big/ \sum\limits_{i=1}^m\dfrac{1}{a^2_i}\pi_i, \quad \mathbf{a}=1\Big/\sum\limits_{i=1}^m\dfrac{1}{a^2_i}\pi_i, $$ where $\{\pi_1,...,\pi_m\}$ is the invariant distribution of the chain $\sigma(u)$.


title: A chain coalgebra model for the James map

abstract: Let EK be the simplicial suspension of a pointed simplicial set K. We construct a chain model of the James map, $\alpha_{K} : CK \to \Omega CEK$. We compute the cobar diagonal on $\Omega CEK$, not assuming that $EK$ is 1-reduced, and show that $\alpha_{K}$ is comultiplicative. As a result, the natural isomorphism of chain algebras $TCK \cong \Omega CK$ preserves diagonals. In an appendix, we show that the Milgram map, $\Omega (A \otimes B) \to \Omega A \otimes \Omega B$, where A and B are coaugmented coalgebras, forms part of a strong deformation retract of chain complexes. Therefore, it is a chain equivalence even when A and B are not 1-connected.


title: Characterization of Poisson integrals on non-tube bounded symmetric domains

abstract: We characterize the $L^p$-range, $1 < p < +\infty$, of the Poisson transform on the Shilov boundary for non-tube bounded symmetric domains. We prove that this range is a Hua-Hardy type space for harmonic functions satisfying a Hua system.


title: Jordan algebras, geometry of Hermitian symmetric spaces and non-commutative Hardy spaces

abstract: These notes were written following lectures I had the pleasure of giving on this subject at Keio University, during November and December 2004. The first part is about new applications of Jordan algebras to the geometry of Hermitian symmetric spaces and to causal semi-simple symmetric spaces of Cayley type. The second part will present new contributions for studing (non commutative) Hardy spaces of holomorphic functions on Lie semi-groups which is a part of the so called Gelfand-Gindikin program.


title: Alexandrov's theorem, weighted Delaunay triangulations, and mixed volumes

abstract: We present a constructive proof of Alexandrov's theorem regarding the existence of a convex polytope with a given metric on the boundary. The polytope is obtained as a result of a certain deformation in the class of generalized convex polytopes with the given boundary. We study the space of generalized convex polytopes and discover a relation with the weighted Delaunay triangulations of polyhedral surfaces. The existence of the deformation follows from the non-degeneracy of the Hessian of the total scalar curvature of a positively curved generalized convex polytope. The latter is shown to be equal to the Hessian of the volume of the dual generalized polyhedron. We prove the non-degeneracy by generalizing the Alexandrov-Fenchel inequality. Our construction of a convex polytope from a given metric is implemented in a computer program.


title: Remarks on contact structures and vector fields on isolated complete intersection singularities

abstract: Let $(X,0)$ be an isolated complete intersection complex singularity ($X$ can also be smooth at 0). Let $K$ be its link, $\cal X$ its canonical contact structure and $\D_X$ the complex vector bundle associated to $\cal X$. We prove that the bundle $\D_X$ is trivial if and only if the Milnor number of $X$ satisfies $\mu(X,0) \equiv (-1)^{n-1}$ modulo $(n-1)!$. This follows from a general theorem stating that the complex orthogonal complement of a vector field in $X$ with an isolated singularity at 0 is trivial iff the GSV-index of $v$ is a multiple of $(n-1)!$. We have also an application to foliation theory: a holomorphic foliation $\cal F$ in a ball $\B_r$ around the origin in $\C^3$, with an isolated singularity at 0, admits a $C^\infty$ normal section (away from 0) iff its multiplicity (or local index) is even, and this happens iff its normal bundle in $\B_r \setminus \{0\}$ is topologically trivial.


title: Moonshine for Rudvalis's sporadic group I

abstract: We introduce the notion of vertex operator superalgebra with enhanced conformal structure, which is a refinement of the notion of vertex operator superalgebra. We exhibit several examples, including a particular one which is self-dual, and whose full symmetry group is a direct product of a cyclic group of order seven with the sporadic simple group of Rudvalis. We thus obtain an analogue of Monstrous Moonshine for a sporadic group not involved in the Monster. Two variable analogues of the usual McKay--Thompson series are naturally associated to the action of the Rudvalis group on this object, and we provide explicit expressions for all the series arising.


title: Simplicial homology of strong semilattices of Banach algebras

abstract: Certain semigroups are known to admit a `strong semilattice decomposition' into simpler pieces. We introduce a class of Banach algebras that generalise the $\ell^1$-convolution algebras of such semigroups, and obtain a disintegration theorem for their simplicial homology. Using this we show that for any Clifford semigroup $S$ of amenable groups, $\lp{1}(S)$ is simplicially trivial: this generalises results in \cite{YC_GMJ}. Some other applications are presented.


title: Asymptotics of the Airy-kernel determinant

abstract: The authors use Riemann-Hilbert methods to compute the constant that arises in the asymptotic behavior of the Airy-kernel determinant of random matrix theory.


title: Spectra for commutative algebraists

abstract: The article is designed to explain to commutative algebraists what spectra (in the sense of algebraic topology) are, why they were originally defined, and how they can be useful for commutative algebra.


title: First steps in brave new commutative algebra

abstract: This is an expository account of completion and local cohomology in brave new commutative algebra, especially as it applies to completion theorems and their duals in equivariant topology. The first part is fairly direct, but the second considers Morita theory and Gorenstein ring spectra. This draws on work of the author with Benson, Dwyer, Iyengar and May, amongst others.


title: Comparison of the classical BMO with the BMO spaces associated with operators and applications

abstract: Let L be a generator of a semigroup satisfying the Gaussian upper bounds. In this paper, we study further a new BMO_L space associated with L which was introduced recently by Duong and Yan. We discuss applications of the new BMO_L spaces in the theory of singular integration such as BMO_L estimates and interpolation results for fractional powers, purely imaginary powers and spectral multipliers of self adjoint operators. We also demonstrate that the space BMO_L might coincide with or might be essentially different from the classical BMO space.


title: On Strichartz estimates for Schr\"{o}dinger operators in compact manifolds with boundary

abstract: We prove local Strichartz estimates on compact manifolds with boundary. Our results also apply more generally to compact manifolds with Lipschitz metrics.


title: Non-finiteness properties of fundamental groups of smooth projective varieties

abstract: For each integer n\ge 2, we construct an irreducible, smooth, complex projective variety M of dimension n, whose fundamental group has infinitely generated homology in degree n+1 and whose universal cover is a Stein manifold, homotopy equivalent to an infinite bouquet of n-dimensional spheres. This non-finiteness phenomenon is also reflected in the fact that the homotopy group \pi_n(M), viewed as a module over Z\pi_1(M), is free of infinite rank. As a result, we give a negative answer to a question of Koll'ar on the existence of quasi-projective classifying spaces (up to commensurability) for the fundamental groups of smooth projective varieties. To obtain our examples, we develop a complex analog of a method in geometric group theory due to Bestvina and Brady.


title: Defining and Estimating Intervention Effects for Groups that will Develop an Auxiliary Outcome

abstract: It has recently become popular to define treatment effects for subsets of the target population characterized by variables not observable at the time a treatment decision is made. Characterizing and estimating such treatment effects is tricky; the most popular but naive approach inappropriately adjusts for variables affected by treatment and so is biased. We consider several appropriate ways to formalize the effects: principal stratification, stratification on a single potential auxiliary variable, stratification on an observed auxiliary variable and stratification on expected levels of auxiliary variables. We then outline identifying assumptions for each type of estimand. We evaluate the utility of these estimands and estimation procedures for decision making and understanding causal processes, contrasting them with the concepts of direct and indirect effects. We motivate our development with examples from nephrology and cancer screening, and use simulated data and real data on cancer screening to illustrate the estimation methods.


title: Slicing Bing doubles

abstract: Bing doubling is an operation which produces a 2-component boundary link B(K) from a knot K. If K is slice, then B(K) is easily seen to be boundary slice. In this paper, we investigate whether the converse holds. Our main result is that if B(K) is boundary slice, then K is algebraically slice. We also show that the Rasmussen invariant can tell that certain Bing doubles are not smoothly slice.


title: Modular Curves, Modular Surfaces, and Modular Fourfolds

abstract: This article surveys some recent work of the author on Hilbert modular fourfolds X. After some preliminaries on the cohomology and special, codimension 2 cycles Z on X of Hirzebruch-Zagier type, a proof of the Tate conjecture for X over abelian fields is exposed. It is followed by a description of a method to construct classes in the Bloch's Chow group CH^3(X,1) by using Hecke translates of the cycles Z as above with suitable intersections in translates of modular curves. The article ends with the introduction of a modular Gersten complex for a general Shimura variety X and the corresponding groups CH^p_{mod}(X) and CH^p_{mod}(X,1).


title: Irreducibility and cuspidality

abstract: Irreducible representations are the building blocks of general, semisimple Galois representations \rho, and cuspidal representations are the building blocks of automorphic forms \pi of the general linear group. It is expected that when an object of the former type is associated to one of the latter type, usually in terms of an identity of L-functions, the irreducibility of the former should imply the cuspidality of the latter, and vice-versa. It is not a simple matter - at all - to prove this expectation in either direction, and nothing much is known in dimensions >2. The main result of this article shows for n < 6, in particular, that the cuspidality of a regular algebraic \pi is implied by the irreducibility of \rho.


title: Cross-Entropy method: convergence issues for extended implementation

abstract: The cross-entropy method (CE) developed by R. Rubinstein is an elegant practical principle for simulating rare events. The method approximates the probability of the rare event by means of a family of probabilistic models. The method has been extended to optimization, by considering an optimal event as a rare event. CE works rather good when dealing with deterministic function optimization. Now, it appears that two conditions are needed for a good convergence of the method. First, it is necessary to have a family of models sufficiently flexible for discriminating the optimal events. Indirectly, it appears also that the function to be optimized should be deterministic. The purpose of this paper is to consider the case of partially discriminating model family, and of stochastic functions. It will be shown on simple examples that the CE could fail when relaxing these hypotheses. Alternative improvements of the CE method are investigated and compared on random examples in order to handle this issue.


title: Enumerations of Cayley graphs

abstract: We characterize the equivalence and the weak equivalence of Cayley graphs for a finite group $\C{A}$. Using these characterizations, we find enumeration formulae of the equivalence classes and weak equivalence classes of Cayley graphs. As an application, we find the number of weak equivalence classes of circulant graphs.


title: Dimensions of products of hyperbolic spaces

abstract: We give estimates on asymptotic dimensions of products of general hyperbolic spaces with following applications to the hyperbolic groups. We give examples of strict inequality in the product theorem for the asymptotic dimension in the class of the hyperbolic groups; and examples of strict inequality in the product theorem for the hyperbolic dimension. We prove that R is dimensionally full for the asymptotic dimension in the class of the hyperbolic groups.


title: Discrete Connection Laplacians

abstract: To every Hermitian vector bundle with connection over a compact Riemannian manifold $M$ one can associate a corresponding connection Laplacian acting on the sections of the bundle. We define analogous combinatorial metric dependent Laplacians associated to triangulations of $M$ and prove that their spectra converge, as the mesh of the triangulations approaches zero, to the spectrum of the connection Laplacian.


title: An "Anti-Hasse Principle" for Prime Twists

abstract: Given an algebraic curve C/Q having points everywhere locally and endowed with a suitable involution, we show that there exists a positive density family of prime quadratic twists of C violating the Hasse principle. The result applies in particular to w_N-Atkin-Lehner twists of most modular curves X_0(N) and to w_p-Atkin-Lehner twists of certain Shimura curves X^{D+}.


title: The Thurston polytope for four-stranded pretzel links

abstract: In this paper we use Heegaard Floer link homology to determine the dual Thurston polytope for pretzel links of the form P(-2r_1-1, 2q_1, -2q_2, 2r_2+1) where r_i and q_i are positive integers. We apply this result to determine the Thurston norms of spanning surfaces for the individual link components, and we explicitly construct norm-realizing examples of such surfaces.


title: Asymptotic Optimality in Bayesian Change-Point Detection Problems Under Global False Alarm Probability Constraint

abstract: In 1960s Shiryaev developed Bayesian theory of change detection in independent and identically distributed (i.i.d.) sequences. In Shiryaev's classical setting the goal is to minimize an average detection delay under the constraint imposed on the average probability of false alarm. Recently, Tartakovsky and Veeravalli (2005) developed a general Bayesian asymptotic change-point detection theory (in the classical setting) that is not limited to a restrictive i.i.d. assumption. It was proved that Shiryaev's detection procedure is asymptotically optimal under traditional average false alarm probability constraint, assuming that this probability is small. In the present paper, we consider a less conventional approach where the constraint is imposed on the global, supremum false alarm probability. An asymptotically optimal Bayesian change detection procedure is proposed and thoroughly evaluated for both i.i.d. and non-i.i.d. models when the global false alarm probability approaches zero.


title: Siegel modular forms of genus 2 attached to elliptic curves

abstract: The object of this article is to construct certain classes of arithmetically significant, holomorphic Siegel cusp forms F of genus 2, which are neither of Saito-Kurokawa type, in which case the degree 4 spinor L-function L(s, F) is divisible by an abelian L-function, nor of Yoshida type, in which case L(s,F) is a product of L-series of a pair of elliptic cusp forms. Two key examples are the forms F defined by the symmetric cube of a non-CM elliptic curve E over the rationals, and those defined by anticyclotomic twists (of even non-zero weight) of the base change of such an E to an imaginary quadratic field K. One of the main ingredients is the transfer, albeit indirect, of cusp forms \pi on GL(4) to GSp(4) with many of the expected properties, and this might be of independent interest. The transfer information is shown to be complete when \pi is regular and associated to an \ell-adic Galois representation. We also appeal to the (independent) results of Laumon and Weissauer on the zeta functions of Siegel modular threefolds.


title: Escape of mass in zero-range processes with random rates

abstract: We consider zero-range processes in ${\mathbb{Z}}^d$ with site dependent jump rates. The rate for a particle jump from site $x$ to $y$ in ${\mathbb{Z}}^d$ is given by $\lambda_xg(k)p(y-x)$, where $p(\cdot)$ is a probability in ${\mathbb{Z}}^d$, $g(k)$ is a bounded nondecreasing function of the number $k$ of particles in $x$ and $\lambda =\{\lambda_x\}$ is a collection of i.i.d. random variables with values in $(c,1]$, for some $c>0$. For almost every realization of the environment $\lambda$ the zero-range process has product invariant measures $\{{\nu_{\lambda, v}}:0\le v\le c\}$ parametrized by $v$, the average total jump rate from any given site. The density of a measure, defined by the asymptotic average number of particles per site, is an increasing function of $v$. There exists a product invariant measure ${\nu _{\lambda, c}}$, with maximal density. Let $\mu$ be a probability measure concentrating mass on configurations whose number of particles at site $x$ grows less than exponentially with $\|x\|$. Denoting by $S_{\lambda}(t)$ the semigroup of the process, we prove that all weak limits of $\{\mu S_{\lambda}(t),t\ge 0\}$ as $t\to \infty$ are dominated, in the natural partial order, by ${\nu_{\lambda, c}}$. In particular, if $\mu$ dominates ${\nu _{\lambda, c}}$, then $\mu S_{\lambda}(t)$ converges to ${\nu_{\lambda, c}}$. The result is particularly striking when the maximal density is finite and the initial measure has a density above the maximal.


title: On Decay of Solutions to Nonlinear Scr\"odinger Equations

abstract: We present general results on exponential decay of finite energy solutions to stationary nonlinear Schr\"odinger equations.


title: Symmetric tensors and the geometry of subvarieties of $\Bbb P^N$

abstract: This paper following a geometric approach proves new, and reproves old, vanishing and nonvanishing results on the space of twisted symmetric differentials, $H^0(X,S^m\Omega^1_X\otimes \Cal O_X(k))$ with $k\le m$, on subvarieties $X\subset \Bbb P^N$. The case of $k=m$ is special and the nonvanishing results are related to the space of quadrics containing $X$ and lead to interesting geometrical objects associated to $X$, as for example the variety of all tangent trisecant lines of $X$. The same techniques give results on the symmetric differentials of subvarieties of abelian varieties. The paper ends with new results and examples about the jump along smooth families of projective varieties $X_t$ of the symmetric plurigenera, $Q_m(X)= \dim H^0(X,S^m\Omega^1_X)$, or of the $\alpha$-twisted symmetric plurigenera, $Q_{\alpha,m}(X)= \dim H^0(X,S^m(\Omega^1_X\otimes \alpha K_X))$.


title: English Russian Scientific Dictionary

abstract: English Russian and Russian English dictionaries presented in this paper are dedicated to help translate a scientific text from one language to another. I also included the bilingual name index into this book.


title: Elliptic parameters and defining equations for elliptic fibrations on a Kummer surface

abstract: We pose the problem to determine explicit defining equations of various elliptic fibrations on a given $K3$ surface, and study the case of the Kummer surfaces of the product of two elliptic curves.


title: Localization for the Anderson Model on Trees with Finite Dimensions

abstract: We introduce a family of trees that interpolate between the Bethe lattice and $\bbZ$. We prove complete localization for the Anderson model on any member of that family.


title: Enumeration of subtrees of trees

abstract: Let $T$ be a weighted tree. The weight of a subtree $T_1$ of $T$ is defined as the product of weights of vertices and edges of $T_1$. We obtain a linear-time algorithm to count the sum of weights of subtrees of $T$. As applications, we characterize the tree with the diameter at least $d$, which has the maximum number of subtrees, and we characterize the tree with the maximum degree at least $\Delta$, which has the minimum number of subtrees.


title: Topological complexity of collision free motion planning algorithms in the presence of multiple moving obstacles

abstract: We study motion planning algorithms for collision free control of multiple objects in the presence of moving obstacles. We compute the topological complexity of algorithms solving this problem. We apply topological tools and use information about cohomology algebras of configuration spaces. The results of the paper may potentially be used in systems of automatic traffic control.


title: A geometric characterization of arithmetic Fuchsian groups

abstract: The trace set of a Fuchsian group $\Gamma$ ist the set of length of closed geodesics in the surface $\Gamma \backslash \mathbb{H}$. Luo and Sarnak showed that the trace set of a cofinite arithmetic Fuchsian group satisfies the bounded clustering property. Sarnak then conjectured that the B-C property actually characterizes arithmetic Fuchsian groups. Schmutz stated the even stronger conjecture that a cofinite Fuchsian group is arithmetic if its trace set has linear growth. He proposed a proof of this conjecture in the case when the group $\Gamma$ contains at least one parabolic element, but unfortunately this proof contains a gap. In the present paper we point out this gap and we prove Sarnak's conjecture under the assumption that the Fuchsian group $\Gamma$ contains parabolic elements.


title: On the number of linear forms in logarithms

abstract: Let $n$ be a positive integer. In this paper we estimate the size of the set of linear forms $b_1\log a_1 + b_2\log a_2+...+b_n\log a_n$, where $|b_i|\leq B_i$ and $1\leq a_i\leq A_i$ are integers, as $A_i,B_i\to \infty$.


title: Exercises on derived categories, resolutions, and Brown representability

abstract: These exercises complement my notes "Derived categories, resolutions, and Brown representability".


title: Riemann Hypothesis: a special case of the Riesz and Hardy-Littlewood wave and a numerical treatment of the Baez-Duarte coefficients up to some billions in the k-variable

abstract: We consider the Riesz and Hardy-Littlewood wave i.e. a ``critical function'' whose behaviour is concerned with the possible truth of the Riemann Hypothesis (RH). The function is studied numerically for the case alpha = 15/2 and beta = 4 in some range of the critical strip, using Maple 10. In the experiments, N = 2000 is the maximum argument used in the Moebius function appearing in c_k i.e. the coefficients of Baez-Duarte, in the representation of the inverse of the Zeta function by means of the Pochammer's polynomials. The numerical results give some evidence that the critical function is bounded for Re(s) > 1/2 and such an ``evidence'' is stronger in the region Re(s) > 3/4} where the wave seems to decay slowly. This give further support in favour of the absence of zeros of the Riemann Zeta function in some regions of the critical strip (Re(s) > 3/4) and a (weaker) support in the direction to believe that the RH may be true (Re(s) > 1/2).


title: Global Attitude Estimation using Single Direction Measurements

abstract: A deterministic attitude estimator for a rigid body under an attitude dependent potential is studied. This estimator requires only a single direction measurement to a known reference point at each measurement instant. The measurement cannot completely determine the attitude, but an attitude estimation scheme based on this measurement is developed; a feasible set compatible with the measurement is described and it is combined with an attitude dynamics model to obtain an attitude estimate. The attitude is globally represented by a rotation matrix, and the uncertainties are described by ellipsoidal sets. A numerical example for a spacecraft in a circular orbit is presented.


title: Optimal Attitude Control for a Rigid Body with Symmetry

abstract: Optimal control problems are formulated and efficient computational procedures are proposed for attitude dynamics of a rigid body with symmetry. The rigid body is assumed to act under a gravitational potential and under a structured control moment that respects the symmetry. The symmetry in the attitude dynamics system yields a conserved quantity, and it causes a fundamental singularity in the optimal control problem. The key feature of this paper is its use of computational procedures that are guaranteed to avoid the numerical ill-conditioning that originates from this symmetry. It also preserves the geometry of the attitude dynamics. The theoretical basis for the computational procedures is summarized, and examples of optimal attitude maneuvers for a 3D pendulum are presented.


title: Degeneration and gluing of Kuranishi structures in Gromov-Witten theory and the degeneration/gluing axioms for open Gromov-Witten invariants under a symplectic cut

abstract: We study the degeneration and the gluing of Kuranishi structures in Gromov-Witten theory under a symplectic cut. This leads us to a degeneration axiom and a gluing axiom for open Gromov-Witten invariants. They provide then a route to the construction of virtual fundamental chains via specialization. Comments on the equivalence of the degeneration formula of closed Gromov-Witten invariants by Li-Ruan/Li versus Ionel-Parker are given in the Appendix.


title: Homology and Derived Series of Groups II: Dwyer's Theorem

abstract: We give new information about the relationship between the low-dimensional homology of a group and its derived series. This yields information about how the low-dimensional homology of a topological space constrains its fundamental group. Applications are given to detecting when a set of elements of a group generates a subgroup ``large enough'' to map onto a non-abelian free solvable group, and to concordance and grope cobordism of links. We also greatly generalize several key homological results employed in recent work of Cochran-Orr-Teichner, in the context of classical knot concordance. In 1963 J. Stallings established a strong relationship between the low-dimensional homology of a group and its lower central series quotients. In 1975 W. Dwyer extended Stallings' theorem by weakening the hypothesis on the second homology groups. The naive analogues of these theorems for the derived series are false. In 2003 the second author introduced a new characteristic series, associated to the derived series, called the torsion-free derived series. The authors previously established a precise analogue, for the torsion-free derived series, of Stallings' theorem. Here our main result is the analogue of Dwyer's theorem for the torsion-free derived series. We also prove a version of Dwyer's theorem for the rational lower central series. We apply these to give new results on the Cochran-Orr-Teichner filtration of the classical link concordance group.


title: Extremal Real Algebraic Geometry and A-Discriminants

abstract: We present a new, far simpler family of counter-examples to Kushnirenko's Conjecture. Along the way, we illustrate a computer-assisted approach to finding sparse polynomial systems with maximally many real roots, thus shedding light on the nature of optimal upper bounds in real fewnomial theory. We use a powerful recent formula for the A-discriminant, and give new bounds on the topology of certain A-discriminant varieties. A consequence of the latter result is a new upper bound on the number of topological types of certain real algebraic sets defined by sparse polynomial equations, e.g., the number of smooth topological types attainable in certain families of real algebraic surfaces.


title: Effective prime factors and Goldbach's Theorem/Conjecture

abstract: According to the similarity theorem on the distributions of the effective prime factors and by using two-part method, Goldbach theorem and, consequently, Goldbach conjecture was proved.


title: Toric anti-self-dual Einstein metrics via complex geometry

abstract: Using the twistor correspondence, we give a classification of toric anti-self-dual Einstein metrics: each such metric is essentially determined by an odd holomorphic function. This explains how the Einstein metrics fit into the classification of general toric anti-self-dual metrics given in an earlier paper (math.DG/0602423). The results complement the work of Calderbank-Pedersen (math.DG/0105263), who describe where the Einstein metrics appear amongst the Joyce spaces, leading to a different classification. Taking the twistor transform of our result gives a new proof of their theorem.


title: Distributions of linear functionals of two parameter Poisson--Dirichlet random measures

abstract: The present paper provides exact expressions for the probability distributions of linear functionals of the two-parameter Poisson--Dirichlet process $\operatorname {PD}(\alpha,\theta)$. We obtain distributional results yielding exact forms for density functions of these functionals. Moreover, several interesting integral identities are obtained by exploiting a correspondence between the mean of a Poisson--Dirichlet process and the mean of a suitable Dirichlet process. Finally, some distributional characterizations in terms of mixture representations are proved. The usefulness of the results contained in the paper is demonstrated by means of some illustrative examples. Indeed, our formulae are relevant to occupation time phenomena connected with Brownian motion and more general Bessel processes, as well as to models arising in Bayesian nonparametric statistics.


title: A quasi-periodic minimal surface

abstract: we construct a properly embedded minimal surface in the flat product R^2*S^1 which is quasi-periodic but is not periodic.


title: The $SL(2,\mathbb{C}) character variety ofa class of torus knots

abstract: In this paper we present some families of polynomials and use them to find, using the techniques in \cite{gma}, a defining polynomial for the $SL(2,\mathbb{C})$ character variety (as defined in \cite{cus}) of the torus knots of type $(m,2)$ with $m>1$ being an odd integer.


title: Metric convexity in the symplectic category

abstract: We introduce an extension of the standard Local-to-Global Principle used in the proof of the convexity theorems for the momentum map to handle closed maps that take values in a length metric space. This extension is used to study the convexity properties of the cylinder valued momentum map introduced by Condevaux, Dazord, and Molino and allows us to obtain the most general convexity statement available in the literature for momentum maps associated to a symplectic Lie group action.


title: Extrinsci radius pinching in space forms of nonnegative sectional curvature

abstract: We give new estimates for the extrinsic radius of compact hypersurfaces of the Euclidean space and the open hemisphere in terms of high order mean curvatures. Then we prove pinching results corresponding to theses estimates. We show that under a suitable pinching condition, the hypersurface is diffeomorphic and almost isometric to a geodesic hypersphere.


title: The first eigenvalue of Dirac and Laplace operators on surfaces

abstract: Let $(M,g,\sigma)$ be a compact Riemmannian surface equipped with a spin structure $\sigma$. For any metric $\tilde{g}$ on $M$, we denote by $\mu\_1(\tilde{g})$ (resp. $\lambda\_1(\tilde{g})$) the first positive eigenvalue of the Laplacian (resp. the Dirac operator) with respect to the metric $\tilde{g}$. In this paper, we show that $$\inf \frac{\lambda\_1(\tilde{g})^2}{\mu\_1(\tilde{g})} \leqslant {1/2}.$$ where the infimum is taken over the metrics $\tilde{g}$ conformal to $g$. This answer a question asked by Agricola, Ammann and Friedrich