title: Density of periodic points, invariant measures and almost equicontinuous points of cellular automata

abstract: Revisiting the notion of m-almost equicontinuous cellular automata introduced by R. Gilman, we show that the sequence of image measures of a shift ergodic measure m by iterations of a m-almost equicontinuous automata F, converges in Cesaro mean to an invariant measure mc. If the initial measure m is a Bernouilli measure, we prove that the Cesaro mean limit measure mc is shift mixing. Therefore we also show that for any shift ergodic and F-invariant measure m, the existence of m-almost equicontinuous points implies that the set of periodic points is dense in the topological support S(m) of the invariant measure m. Finally we give a non trivial example of a couple (m-equicontinuous cellular automata F, shift ergodic and F-invariant measure m) which has no equicontinuous point in S(m).


title: Characterization of Talagrand's Like Transportation-Cost Inequalities on the Real Line

abstract: In this paper, we give necessary and sufficient conditions for Talagrand's like transportation cost inequalities on the real line. This brings a new wide class of examples of probability measures enjoying a dimension-free concentration of measure property. Another byproduct is the characterization of modified Log-Sobolev inequalities for Log-concave probability measures on R.


title: Markovianity in space and time

abstract: . Markov chains in time, such as simple random walks, are at the heart of probability. In space, due to the absence of an obvious definition of past and future, a range of definitions of Markovianity have been proposed. In this paper, after a brief review, we introduce a new concept of Markovianity that aims to combine spatial and temporal conditional independence.


title: Entropy quotients and correct digits in number-theoretic expansions

abstract: Expansions that furnish increasingly good approximations to real numbers are usually related to dynamical systems. Although comparing dynamical systems seems difficult in general, Lochs was able in 1964 to relate the relative speed of approximation of decimal and regular continued fraction expansions (almost everywhere) to the quotient of the entropies of their dynamical systems. He used detailed knowledge of the continued fraction operator. In 2001, a generalization of Lochs' result was given by Dajani and Fieldsteel in \citeDajF, describing the rate at which the digits of one number-theoretic expansion determine those of another. Their proofs are based on covering arguments and not on the dynamics of specific maps. In this paper we give a dynamical proof for certain classes of transformations, and we describe explicitly the distribution of the number of digits determined when comparing two expansions in integer bases. Finally, using this generalization of Lochs' result, we estimate the unknown entropy of certain number theoretic expansions by comparing the speed of convergence with that of an expansion with known entropy.


title: Mixing property and pseudo random sequences

abstract: We will give a summary about the relations between the spectra of the Perron--Frobenius operator and pseudo random sequences for 1-dimensional cases.


title: The smallest degree sum that yields potentially K_{r+1}-Z-graphical Sequences

abstract: Let $K_{m}-H$ be the graph obtained from $K_{m}$ by removing the edges set $E(H)$ of the graph $H$ ($H$ is a subgraph of $K_{m}$). We use the symbol $Z_4$ to denote $K_4-P_2.$ A sequence $S$ is potentially $K_{m}-H$-graphical if it has a realization containing a $K_{m}-H$ as a subgraph. Let $\sigma(K_{m}-H, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $\sigma(S)\geq \sigma(K_{m}-H, n)$ is potentially $K_{m}-H$-graphical. In this paper, we determine the values of $\sigma (K_{r+1}-Z, n)$ for $n\geq 5r+19, r+1 \geq k \geq 5,$ $j \geq 5$ where $Z$ is a graph on $k$ vertices and $j$ edges which contains a graph $Z_4$ but not contains a cycle on 4 vertices. We also determine the values of $\sigma (K_{r+1}-Z_4, n)$, $\sigma (K_{r+1}-(K_4-e), n)$, $\sigma (K_{r+1}-K_4, n)$ for $n\geq 5r+16, r\geq 4$. There are a number of graphs on $k$ vertices and $j$ edges which contains a graph $Z_4$ but not contains a cycle on 4 vertices.


title: Numeration systems as dynamical systems -- introduction

abstract: A numeration system originally implies a digitization of real numbers, but in this paper it rather implies a compactification of real numbers as a result of the digitization. By definition, a numeration system with $G$, where $G$ is a nontrivial closed multiplicative subgroup of ${\mathbb{R}}_+$, is a nontrivial compact metrizable space $\Omega$ admitting a continuous $(\lambda\omega+t)$-action of $(\lambda,t)\in G\times{\mathbb{R}}$ to $\omega\in\Omega$, such that the $(\omega+t)$-action is strictly ergodic with the unique invariant probability measure $\mu_{\Omega}$, which is the unique $G$-invariant probability measure attaining the topological entropy $|\log\lambda|$ of the transformation $\omega\mapsto\lambda\omega$ for any $\lambda\ne 1$. We construct a class of numeration systems coming from weighted substitutions, which contains those coming from substitutions or $\beta$-expansions with algebraic $\beta$. It also contains those with $G={\mathbb{R}}_+$. We obtained an exact formula for the $\zeta$-function of the numeration systems coming from weighted substitutions and studied the properties. We found a lot of applications of the numeration systems to the $\beta$-expansions, Fractal geometry or the deterministic self-similar processes which are seen in \cite{K4}. This paper is based on \cite{K3} changing the way of presentation. The complete version of this paper is in \cite{K4}.


title: Hyperelliptic curves, continued fractions, and Somos sequences

abstract: We detail the continued fraction expansion of the square root of a monic polynomials of even degree. We note that each step of the expansion corresponds to addition of the divisor at infinity, and interpret the data yielded by the general expansion. In the quartic and sextic cases we observe explicitly that the parameters appearing in the continued fraction expansion yield integer sequences defined by bilinear relations instancing sequences of Somos type.


title: Rational R-matrices, centralizer algebras and tensor identities for e_6 and e_7 exceptional families of Lie algebras

abstract: We use Cvitanovic's diagrammatic techniques to construct the rational solutions of the Yang-Baxter equation associated with the $e_6$ and $e_7$ families of Lie algebras, and thus explain Westbury's observations about their uniform spectral decompositions. In doing so we explore the extensions of the Brauer and symmetric group algebras to the centralizer algebras of $e_7$ and $e_6$ on their lowest-dimensional representations and (up to three-fold) tensor products thereof, giving bases for them and a number of identities satisfied by the algebras' defining invariant tensors.


title: Old and new results on normality

abstract: We present a partial survey on normal numbers, including Keane's contributions, and with recent developments in different directions.


title: Differentiable equivalence of fractional linear maps

abstract: A Moebius system is an ergodic fibred system $(B,T)$ (see \citer5) defined on an interval $B=[a,b]$ with partition $(J_k),k\in I,#I\geq 2$ such that $Tx=\frac{c_k+d_kx}{a_k+b_kx}$, $x\in J_k$ and $T|_{J_k}$ is a bijective map from $J_k$ onto $B$. It is well known that for $#I=2$ the invariant density can be written in the form $h(x)=\int_{B^*}\frac{dy}{(1+xy)^2}$ where $B^*$ is a suitable interval. This result does not hold for $#I\geq 3$. However, in this paper for $#I=3$ two classes of interval maps are determined which allow the extension of the before mentioned result.


title: Easy and nearly simultaneous proofs of the Ergodic Theorem and Maximal Ergodic Theorem

abstract: We give a short proof of a strengthening of the Maximal Ergodic Theorem which also immediately yields the Pointwise Ergodic Theorem.


title: Finitary Codes, a short survey

abstract: In this note we recall the importance of the notion of a finitary isomorphism in the classification problem of dynamical systems.


title: Uniform approximation of sgn(x) by rational functions with prescribed poles

abstract: For $a\in (0,1)$ let $L^k_m(a)$ be the error of the best approximation of the function $\sgn(x)$ on the two symmetric intervals $[-1,-a]\cup[a,1]$ by rational functions with the only possible poles of degree $2k-1$ at the origin and of $2m-1$ at infinity. Then the following limit exists \begin{equation} \lim_{m\to \infty}L^k_m(a)(\frac{1+a}{1-a})^{m-{1/2}} (2m-1)^{k+{1/2}}=\frac 2 \pi(\frac{1-a^2}{2a})^{k+{1/2}} \Gamma(k+\frac 1 2). \end{equation}


title: Entropy of a bit-shift channel

abstract: We consider a simple transformation (coding) of an iid source called a bit-shift channel. This simple transformation occurs naturally in magnetic or optical data storage. The resulting process is not Markov of any order. We discuss methods of computing the entropy of the transformed process, and study some of its properties.


title: Nearly-integrable perturbations of the Lagrange top: applications of KAM-theory

abstract: Motivated by the Lagrange top coupled to an oscillator, we consider the quasi-periodic Hamiltonian Hopf bifurcation. To this end, we develop the normal linear stability theory of an invariant torus with a generic (i.e., non-semisimple) normal $1:-1$ resonance. This theory guarantees the persistence of the invariant torus in the Diophantine case and makes possible a further quasi-periodic normal form, necessary for investigation of the non-linear dynamics. As a consequence, we find Cantor families of invariant isotropic tori of all dimensions suggested by the integrable approximation.


title: Change of Coefficients for Drinfeld Modules, Shtuka, and Abelian Sheaves

abstract: We study the passage from Drinfeld-A'-modules to Drinfeld-A-modules for a given finite flat inclusion A \subset A'. We show that this defines a morphism from the moduli space of Drinfeld-A'-modules to the moduli space of Drinfeld-A-modules which is proper but in general not representable. For Drinfeld-Anderson shtuka and abelian sheaves instead of Drinfeld modules we obtain the same results.


title: Every compact metric space that supports a positively expansive homeomorphism is finite

abstract: We give a simple proof of the title.


title: A functional central limit theorem for the M/GI/$\infty$ queue

abstract: In this paper, we present a functional fluid limit theorem and a functional central limit theorem for a queue with an infinity of servers M/GI/$\infty$. The system is represented by a point-measure valued process keeping track of the remaining processing times of the customers in service. The convergence in law of a sequence of such processes after rescaling is proved by compactness-uniqueness methods, and the deterministic fluid limit is the solution of an integrated equation in the space $\mathcal{S}^{\prime}$ of tempered distributions. We then establish the corresponding central limit theorem, that is, the approximation of the normalized error process by a $\mathcal{S}^{\prime}$-valued diffusion. We apply these results to provide fluid limits and diffusion approximations for some performance processes.


title: On $g$-functions for subshifts

abstract: A necessary and sufficient condition is given for a subshift presentation to have a continuous $g$-function. An invariant necessary and sufficient condition is formulated for a subshift to posses a presentation that has a continuous $g$-function.


title: Differentiability of volumes of divisors and a problem of Teissier

abstract: We give an algebraic construction of the positive products of pseudo-effective classes first introduced by Boucksom, Demailly, Paun and Peternell, and use them to prove that the volume function on the Neron-Severi space of a projective variety is (once) differentiable. The differential is expressed as a positive product; we also relate it to the restricted volumes introduced by Ein et al and by Takayama. Then we apply our differentiability result to prove an algebro-geometric version of the Diskant inequality in convex geometry, allowing us to characterize the equality case of the Khovanskii-Teissier inequalities for nef and big classes.


title: Ratliff-Rush Monomial Ideals

abstract: Let $I$ be a regular $\mathfrak m$-primary ideal in $(R,\mathfrak m,k)$. Then the Ratliff-Rush ideal associated to $I$ is denoted by $\bar I$ and is defined as the largest ideal containing $I$ with the same Hilbert polynomial as $I$. In this paper we present a method to compute Ratliff-Rush ideals for a certain class of monomial ideals in the rings $k[x,y]$ and $k[[x,y]]$. We find an upper bound for the Ratliff-Rush reduction number for an ideal in this class. Moreover, we establish some new characterizations of when all powers of $I$ are Ratliff-Rush.


title: A homotopy orbit spectrum for profinite groups

abstract: For a profinite group $G$, we define an $S[[G]]$-module to be a certain type of $G$-spectrum $X$ built from an inverse system $\{X_i\}_i$ of $G$-spectra, with each $X_i$ naturally a $G/N_i$-spectrum, where $N_i$ is an open normal subgroup and $G \cong \lim_i G/N_i$. We define the homotopy orbit spectrum $X_{hG}$ and its homotopy orbit spectral sequence. We give results about when its $E_2$-term satisfies $E_2^{p,q} \cong \lim_i H_p(G/N_i, \pi_q(X_i))$. Our main result is that this occurs if $\{\pi_\ast(X_i)\}_i$ degreewise consists of compact Hausdorff abelian groups and continuous homomorphisms, with each $G/N_i$ acting continuously on $\pi_q(X_i)$ for all $q$. If $\pi_q(X_i)$ is additionally always profinite, then the $E_2$-term is the continuous homology of $G$ with coefficients in the graded profinite $\widehat{\mathbb{Z}}[[G]]$-module $\pi_\ast(X)$. Other results include theorems about Eilenberg-Mac Lane spectra and about when homotopy orbits preserve weak equivalences.


title: Expansions in non-integer bases: lower, middle and top orders

abstract: Let $q\in(1,2)$; it is known that each $x\in[0,1/(q-1)]$ has an expansion of the form $x=\sum_{n=1}^\infty a_nq^{-n}$ with $a_n\in\{0,1\}$. It was shown in \cite{EJK} that if $q<(\sqrt5+1)/2$, then each $x\in(0,1/(q-1))$ has a continuum of such expansions; however, if $q>(\sqrt5+1)/2$, then there exist infinitely many $x$ having a unique expansion \cite{GS}. In the present paper we begin the study of parameters $q$ for which there exists $x$ having a fixed finite number $m>1$ of expansions in base $q$. In particular, we show that if $q<q_2=1.71...$, then each $x$ has either 1 or infinitely many expansions, i.e., there are no such $q$ in $((\sqrt5+1)/2,q_2)$. On the other hand, for each $m>1$ there exists $\ga_m>0$ such that for any $q\in(2-\ga_m,2)$, there exists $x$ which has exactly $m$ expansions in base $q$.


title: A geometric model for cluster categories of type $D_n$

abstract: We give a geometric realization of cluster categories of type $D_n$ using a polygon with $n$ vertices and one puncture in its center as a model. In this realization, the indecomposable objects of the cluster category correspond to certain homotopy classes of paths between two vertices.


title: Counterexample to the Hodge Conjecture

abstract: We construct a K3 surface whose transcendental lattice has a self-isomorphism which is not a linear combination of self-isomorphisms over $\mathbb{Q}$ which preserve cup products up to nonzero multiples. Products of it with itself give candidates for counterexamples to the Hodge conjecture which may be of interest. We also study the Kuga-Satake construction in relation to these examples.


title: Vector bundles and Gromov-Hausdorff distance

abstract: We show how to make precise the vague idea that for compact metric spaces that are close together for Gromov-Hausdorff distance, suitable vector bundles on one metric space will have counterpart vector bundles on the other. Our approach employs the Lipschitz constants of projection-valued functions that determine vector bundles. We develop some computational techniques, and we illustrate our ideas with simple specific examples involving vector bundles on the circle, the two-torus, the two-sphere, and finite metric spaces. Our topic is motivated by statements concerning "monopole bundles" over matrix algebras in the literature of theoretical high-energy physics.


title: Degree growth of meromorphic surface maps

abstract: We study the degree growth of iterates of meromorphic selfmaps of compact Kahler surfaces. Using cohomology classes on the Riemann-Zariski space we show that the degrees grow similarly to those of mappings that are algebraically stable on some birational model.


title: Convexity of limits of harmonic measures

abstract: It is shown that, given a point $x\in\mathbbm{R}^d$, $d\ge 2$, and open sets $U_1,...,U_k$ containing $x$, any convex combination of the harmonic measures for $x$ with respect to $U_n$, $1\le n\le k$, is the limit of a sequence of harmonic measures for $x$ with respect to open subsets $W_m$ of $U_1\cup... \cup U_k$ containing $x$. This answers a question raised in connection with Jensen measures. More generally, we prove that, for arbitrary measures on an open set $W$, the set of extremal representing measures, with respect to the cone of continuous potentials on $W$ or with respect to the cone of continuous functions on the closure of $W$ which are superharmonic $W$, is dense in the compact convex set of all representing measures. This is achieved approximating balayage on open sets by balayage on unions of balls which are pairwise disjoint and very small with respect to their mutual distances and then shrinking these balls in a suitable manner. The results are presented simultaneously for the classical case and for the theory of Riesz potentials. Finally, a characterization of all Jensen measures and of all extremal Jensen measures is given.


title: On reconstructing reducible n-ary quasigroups and switching subquasigroups

abstract: (1) We prove that, provided n>=4, a permutably reducible n-ary quasigroup is uniquely specified by its values on the n-ples containing zero. (2) We observe that for each n,k>=2 and r<=[k/2] there exists a reducible n-ary quasigroup of order k with an n-ary subquasigroup of order r. As corollaries, we have the following: (3) For each k>=4 and n>=3 we can construct a permutably irreducible n-ary quasigroup of order k. (4) The number of n-ary quasigroups of order k>3 has double-exponential growth as n tends to infinity; it is greater than exp exp(n ln[k/3]) if k>=6, and exp exp(n (ln 3)/3 - 0.44) if k=5.


title: Arrovian juntas

abstract: This article explicitly constructs and classifies all arrovian voting systems on three or more alternatives. If we demand orderings to be complete, we have, of course, Arrow's classical dictator theorem, and a closer look reveals the classification of all such voting systems as dictatorial hierarchies. If we leave the traditional realm of complete orderings, the picture changes. Here we consider the more general setting where alternatives may be incomparable, that is, we allow orderings that are reflexive and transitive but not necessarily complete. Instead of a dictator we exhibit a junta whose internal hierarchy or coalition structure can be surprisingly rich. We give an explicit description of all such voting systems, generalizing and unifying various previous results.


title: Branching random walk with exponentially decreasing steps, and stochastically self-similar measures

abstract: We consider a Branching Random Walk on $\R$ whose step size decreases by a fixed factor, $0<b<1$, with each turn. This process generates a random probability measure on $\R$, that is, the limit of uniform distribution among the $2^n$ particles of the $n$-th step. We present an initial investigation of the limit measure and its support. We show, in particular, that (1) for almost every $b>1/2$ the limit measure is almost surely (a.s.) absolutely continuous with respect to the Lebesgue measure, but for Pisot $1/b$ it is a.s. singular; (2) for all $b > (\sqrt{5}-1)/2$ the support of the measure is a.s. the closure of its interior; (3) for Pisot $1/b$ the support of the measure is ``fractured'': it is a.s. disconnected and the components of the complement are not isolated on both sides.


title: Analyticity of smooth CR mappings of generic submanifolds

abstract: We consider a smooth CR mapping $f$ from a real-analytic generic submanifold $M$ in $\bC^N$ into $\bC^N$. For $M$ of finite type and essentially finite at a point $p\in M$, and $f$ formally finite at $p$, we give a necessary and sufficient condition for $f$ to extend as a holomorphic mapping in some neighborhood of $p$. In a similar vein, we consider a formal holomorphic mapping $H$ and give a necessary and sufficient condition for $H$ to be convergent.


title: Inverting Random Functions III: Discrete MLE Revisited

abstract: This paper continues our earlier investigations into the inversion of random functions in a general (abstract) setting. In Section 2 we investigate a concept of invertibility and the invertibility of the composition of random functions. In Section 3 we resolve some questions concerning the number of samples required to ensure the accuracy of parametric maximum likelihood estimation (MLE). A direct application to phylogeny reconstruction is given.


title: q-Eulerian Polynomials: Excedance Number and Major index

abstract: In this research announcement we present a new q-analog of a classical formula for the exponential generating function of the Eulerian polynomials. The Eulerian polynomials enumerate permutations according to their number of descents or their number of excedances. Our q-Eulerian polynomials are the enumerators for the joint distribution of the excedance statistic and the major index. There is a vast literature on q-Eulerian polynomials which involve other combinations of Mahonian and Eulerian permutation statistics, but the combination of major index and excedance number seems to have been completely overlooked until now. We use symmetric function theory to prove our formula. In particular, we prove a symmetric function version of our formula, which involves an intriguing new class of symmetric functions. We also present connections with representations of the symmetric group on the homology of a poset recently introduced by Bj\"orner and Welker and on the cohomology of the toric variety associated with the Coxeter complex of the symmetric group, studied by Procesi, Stanley, Stembridge, Dolgachev and Lunts.


title: Equivariant Gluing Constructions of Contact Stationary Legendrian Submanifolds of the (2n+1)-Sphere

abstract: A contact stationary Legendrian submanifold of $S^{2n+1}$ is a Legendrian submanifold whose volume is stationary under contact deformations. The simplest contact stationary Legendrian submanifold (actually minimal and Legendrian) is the real, equatorial $n$-sphere $S_0$. This paper develops a method for constructing contact stationary (but not minimal) Legendrian submanifolds of $S^{2n+1}$ by gluing together configurations of sufficiently many $U(n+1)$-rotated copies of $S_0$ at isolated points of suitably transverse intersection. The resulting submanifolds are very symmetric; are geometrically akin to a `necklace' of copies of $S_0$ attached to each other by narrow necks and winding a large number of times around $S^{2n + 1}$ before closing up on itself; and are topologically equivalent to $S^1 \times S^{n-1}$. Moreover, they represent wholly new examples of contact stationary embedded submanifolds of $S^{2n + 1}$ and thus give rise to wholly new examples of embedded Hamiltonian stationary cones in $C^{n+1}$.


title: A combinatorial rule for (co)minuscule Schubert calculus

abstract: We prove a root system uniform, concise combinatorial rule for Schubert calculus of_minuscule_ and_cominuscule_ flag manifolds G/P (the latter are also known as "compact Hermitian symmetric spaces"). We connect this geometry to the poset combinatorics of [Proctor '04], thereby giving a generalization of the [Sch\"{u}tzenberger `77]_jeu de taquin_ formulation of the Littlewood-Richardson rule that computes the intersection numbers of Grassmannian Schubert varieties. Our proof introduces_cominuscule recursions_, a general technique to relate the numbers for different Lie types. A discussion about connections of our rule to (geometric) representation theory is also briefly entertained.


title: A new construction of wavelet sets

abstract: A new method of connecting two wavelet sets with a continuous path of wavelet sets is given. The method is based on a pure set theoretic fact known as the Schroder-Cantor-Bernstein theorem and on a characterization of wavelet sets in terms of one-to-one measurable bijections of [0,1) satisfying some extra conditions.


title: On the number of 1-perfect binary codes: a lower bound

abstract: We present a construction of 1-perfect binary codes, which gives a new lower bound on the number of such codes. We conjecture that this lower bound is asymptotically tight.


title: The period map for cubic threefolds

abstract: Allcock-Carlson-Toledo defined a period map for cubic threefolds which takes values in a ball quotient of dimension 10. A theorem of Voisin implies that this is an open embedding. We determine its image and show that on the algebraic level this amounts to an identification of the algebra of SL(5,C)-invariant polynomials on the third symmetric power of the dual of the tautological representation of SL(5,C) with an explicitly described algebra of meromorphic automorphic forms on the complex 10-ball.


title: Topological properties of Ad-semisimple conjugacy classes in Lie groups

abstract: We prove that Ad-semisimple conjugacy classes in a connected Lie group $G$ are closed embedded submanifolds of $G$. We also prove that if $\alpha:H\to G$ is a homomorphism of connected Lie groups such that the kernel of $\alpha$ is discrete in $H$, then for an Ad-semisimple conjugacy class $C$ in $G$, every connected component of $\alpha^{-1}(C)$ is a conjugacy class in $H$. Corresponding results for adjoint orbits in real Lie algebras are also proved.


title: On the Distribution of Products of Spherical Classes in Classical Symmetric Spaces of Rank One

abstract: The distribution of products of random matrices chosen from fixed spherical classes is determined for classical rank 1 symmetric spaces. It is observed that $n\to\infty$ limit behaves approximately as in the abelian case. A theorem on the rate of convergence to the Haar measure in the case of SU(n) is also established.


title: The G_2 sphere over a 4-manifold

abstract: We present a construction of a canonical G_2 structure on the unit sphere tangent bundle S_M of any given orientable Riemannian 4-manifold M. Such structure is never geometric or 1-flat, but seems full of other possibilities. We start by the study of the most basic properties of our construction. The structure is co-calibrated if, and only if, M is an Einstein manifold. The fibres are always associative. In fact, the associated 3-form results from a linear combination of three other volume 3-forms, one of which is the volume of the fibres. We also give new examples of co-calibrated structures on well known spaces. We hope this contributes both to the knowledge of special geometries and to the study of 4-manifolds.


title: Frames and Finite Dimensionality: Frame Transformation, Classification and Algorithms

abstract: In this paper we will look at the connection of frames and finite dimensionality. A main focus is to present simple algorithms and make them available online. The main result is a way to 'switch' between different frames, giving an algorithm to calculate the coefficients of one frame given the analysis of another frame using their cross-Gram matrix. This is a canonical extension of the basic transformation matrix used for orthonormal bases (ONB) and is therefore called frame transformation. Furthermore we will summarize basic properties of frames in finite dimensional spaces. We will give basic algorithms to use with frames in finite dimensional spaces, useful for basic numerical experiments. Finally we will give a criteria for finite dimensional spaces using frames. Keywords: frames, discrete expansion, matrices, frame transformation, finite dimension, algorithm; MSC: 41A58, 65F30; 15A03


title: Domains of holomorphy for irreducible unitary representations of simple Lie groups

abstract: We classify the domains of holomorphy of all Harish-Chandra modules of irreducible unitary representations of simple non-compact Lie groups.


title: Thom polynomials of Morin singularities

abstract: We prove a formula for Thom polynomials of Morin (or A_d) singularities in any codimension. We use a combination of the test-curve method of Porteous, and the localization methods in equivariant cohomology. Our formulas are independent of the codimension, and they are computationally efficient for d less than 7.


title: A note on H-convergence

abstract: We give a criterion for H-convergence of conductivity matrices in terms of ordinary weak convergence of the factors in certain quotient representations of the matrices.


title: The Moduli Space of Cubic Threefolds as a Ball Quotient

abstract: The moduli space of cubic threefolds in CP4, with some minor birational modifications, is the Baily-Borel compactification of the quotient of the complex 10-ball by a discrete group. We describe both the birational modifications and the discrete group explicitly.


title: The Combinatorics of Quiver Representations

abstract: We give a description of faces of all codimensions for the cones of weights of rings of semi-invariants of quivers. For a triple flag quiver and faces of codimension 1 this reduces to the result of Knutson-Tao-Woodward on the facets of the Klyachko cone. We give new applications to Littlewood-Richardson coefficients, including a product formula for LR-coefficients corresponding to triples of partitions lying on a wall of the Klyachko cone. We systematically review and develop the necessary methods (exceptional and Schur sequences, orthogonal categories, semi-stable decompositions, GIT quotients for quivers). In the Appendix we include a version of Belkale's geometric proof of Fulton's conjecture that works for arbitrary quivers.


title: Dynamics & Stochastics: Festschrift in honor of M. S. Keane

abstract: The present volume is a Festschrift for Mike Keane, on the occasion of his 65th birthday on January 2, 2005. It contains 29 contributions by Mike's closest colleagues and friends, covering a broad range of topics in Dynamics and Stochastics. To celebrate Mike's scientific achievements, a conference entitled ``Dynamical Systems, Probability Theory and Statistical Mechanics'' was organized in Eindhoven, The Netherlands, during the week of January 3--7, 2005. This conference was hosted jointly by EURANDOM and by Philips Research. It drew over 80 participants from 5 continents, which is a sign of the warm affection and high esteem for Mike felt by the international mathematics community.


title: Nonlinear evolution PDEs in R^+ \times C^d: existence and uniqueness of solutions, asymptotic and Borel summability

abstract: We consider a system of $n$-th order nonlinear quasilinear partial differential equations of the form $${\bf u}_t + \mathcal{P}(\partial_{\bf x}^{\bf j}){\bf u}+{\bf g} \left( {\bf x}, t, \{\partial_{\bf x}^{{\bf j}} {\bf u}\}) =0; {\bf {u}}({\bf x}, 0) = {\bf {u}}_I({\bf x})$$ with $\mathbf{u}\in\CC^{r}$, for $ t\in (0,T)$ and large $|{\bf x}|$ in a poly-sector $S$ in $\mathbb{C}^d$ ($\partial_{\bf x}^{\bf j} \equiv \partial_{x_1}^{j_1} \partial_{x_2}^{j_2} ...\partial_{x_d}^{j_d}$ and $j_1+...+j_d\le n$). The principal part of the constant coefficient $n$-th order differential operator $\mathcal{P}$ is subject to a cone condition. The nonlinearity ${\bf g}$ and the functions $\mb u_I$ and $\mb u$ satisfy analyticity and decay assumptions in $S$.The paper shows existence and uniqueness of the solution of this problem and finds its asymptotic behavior for large $|\bf x|$. Under further regularity conditions on $\mb g$ and $\mb u_I$ which ensure the existence of a formal asymptotic series solution for large $|\mb x|$ to the problem, we prove its Borel summability (and automatically its asymptoticity) to an actual solution $\mb u$.In special cases motivated by applications we show how the method can be adapted to obtain short-time existence, uniqueness and asymptotic behavior for small $t$,without size restriction on the space variable.


title: On organizing principles of Discrete Differential Geometry. Geometry of spheres

abstract: Discrete differential geometry aims to develop discrete equivalents of the geometric notions and methods of classical differential geometry. In this survey we discuss the following two fundamental Discretization Principles: the transformation group principle (smooth geometric objects and their discretizations are invariant with respect to the same transformation group) and the consistency principle (discretizations of smooth parametrized geometries can be extended to multidimensional consistent nets). The main concrete geometric problem discussed in this survey is a discretization of curvature line parametrized surfaces in Lie geometry. We find a discretization of curvature line parametrization which unifies the circular and conical nets by systematically applying the Discretization Principles.


title: On direct product subgroups of $\mathrm{SO}_3(\mathbb{R})$

abstract: Let $G_1 \times G_2$ be a subgroup of $\mathrm{SO}_3(\mathbb{R})$ such that the two factors $G_1$ and $G_2$ are non-trivial groups. We show that if $G_1 \times G_2$ is not abelian, then one factor is the (abelian) group of order 2, and the other factor is non-abelian and contains an element of order 2. There exist finite and infinite such non-abelian subgroups.


title: Global behaviour of nonlinear dispersive and wave equations

abstract: We survey recent advances in the analysis of the large data global (and asymptotic) behaviour of nonlinear dispersive equations such as the nonlinear wave (NLW), nonlinear Schr\"odinger (NLS), wave maps (WM), Schr\"odinger maps (SM), generalised Korteweg-de Vries (gKdV), Maxwell-Klein-Gordon (MKG), and Yang-Mills (YM) equations. The classification of the nonlinearity as \emph{subcritical} (weaker than the linear dispersion at high frequencies), \emph{critical} (comparable to the linear dispersion at all frequencies), or \emph{supercritical} (stronger than the linear dispersion at high frequencies) is fundamental to this analysis, and much of the recent progress has pivoted on the case when there is a critical conservation law. We discuss how one synthesises a satisfactory critical (scale-invariant) global theory, starting the basic building blocks of perturbative analysis, conservation laws, and monotonicity formulae, but also incorporating more advanced (and recent) tools such as gauge transforms, concentration-compactness, and induction on energy.


title: Generalized Abel-Jacobi map on Lawson homology

abstract: We construct an Abel-Jacobi type map on the homologically trivial part of Lawson homology groups. It generalizes the Abel-Jacobi map constructed by Griffiths. By using a result of H. Clemens, we give some examples of smooth projective manifolds with infinite generated Lawson homology groups L_pH_k(X,Q) when k>2p.


title: Dynamic Stability of the 3D Axi-symmetric Navier-Stokes Equations with Swirl

abstract: In this paper, we study the dynamic stability of the 3D axisymmetric Navier-Stokes Equations with swirl. To this purpose, we propose a new one-dimensional (1D) model which approximates the Navier-Stokes equations along the symmetry axis. An important property of this 1D model is that one can construct from its solutions a family of exact solutions of the 3D Navier-Stokes equations. The nonlinear structure of the 1D model has some very interesting properties. On one hand, it can lead to tremendous dynamic growth of the solution within a short time. On the other hand, it has a surprising dynamic depletion mechanism that prevents the solution from blowing up in finite time. By exploiting this special nonlinear structure, we prove the global regularity of the 3D Navier-Stokes equations for a family of initial data, whose solutions can lead to large dynamic growth, but yet have global smooth solutions.


title: Deformation of generic submanifolds in a complex manifold

abstract: This paper shows that an arbitrary generic submanifold in a complex manifold can be deformed into a 1-parameter family of generic submanifolds satisfying strong nondegeneracy conditions. The proofs use a careful analysis of the jet spaces of embeddings satisfying certain nondegeneracy properties, and also make use of the Thom transversality theorem, as well as the stratification of real-algebraic sets. Optimal results on the order of nondegeneracy are given.


title: Sums of entire functions having only real zeros

abstract: We show that certain sums of products of Hermite-Biehler entire functions have only real zeros, extending results of Cardon. As applications of this theorem we construct sums of exponential functions having only real zeros, we construct polynomials having zeros only on the unit circle, and we obtain the three-term recurrence relation for an arbitrary family of real orthogonal polynomials. We discuss a similarity of this result with the Lee-Yang circle theorem from statistical mechanics. Also, we state several open problems.


title: Leibniz's Definition of Monad

abstract: This is a short discussion of the definition of monad which was given by G.W. Leibniz in his "Monadology."


title: Many Particle Hardy-Inequalities

abstract: In this paper we prove three differenttypes of the so-called many-particle Hardy inequalities. One of them is a "classical type" which is valid in any dimesnion $d\neq 2$. The second type deals with two-dimensional magnetic Dirichlet forms where every particle is supplied with a soplenoid. Finally we show that Hardy inequalities for Fermions hold true in all dimensions.


title: On different notions of homogeneity for CR-manifolds

abstract: We show that various notions of local homogeneity for CR-manifolds are equivalent. In particular, if germs at any two points of a CR-manifold are CR-equivalent, there exists a transitive local Lie group action by CR-automorphisms near every point.


title: On the evaluation of some Selberg-like integrals

abstract: Several methods of evaluation are presented for a family of Selberg-like integrals that arose in the computation of the algebraic-geometric degrees of a family of multiplicity-free nilpotent K_C-orbits. First, adapting the technique of Nishiyama, Ochiai and Zhu, we present an explicit evaluation in terms of certain iterated sums over permutations groups. Secondly, using the theory of symmetric functions we obtain an evaluation as a product of polynomial of fixed degree times a particular product of gamma factors (thereby identifying the asymptotics of the integrals with respect to their parameters). Lastly, we derive a recursive formula for evaluation of another general class of Selberg-like integrals, by applying some of the technology of generalized hypergeometric functions.


title: On Amenability of Group Algebras, I

abstract: We study amenability of affine algebras (based on the notion of almost-invariant finite-dimensional subspace), and apply it to algebras associated with finitely generated groups. We show that a group G is amenable if and only if its group ring KG is amenable for some (and therefore for any) field K.


title: Nonlinear Stokes phenomena in first or second order differential equations

abstract: We study singularity formation in nonlinear differential equations of order $m\leqslant 2$, $y^{(m)}=A(x^{-1},y)$. We assume $A$ is analytic at $(0,0)$ and $\partial_y A(0,0)=\lambda\ne 0$ (say, $\lambda=(-1)^m$). If $m=1$ we assume $A(0,\cdot)$ is meromorphic and nonlinear. If $m=2$, we assume $A(0,\cdot)$ is analytic except for isolated singularities, and also that $\int_{s_0}^\infty |\Phi(s)|^{-1/2}d|s|<\infty$ along some path avoiding the zeros and singularities of $\Phi$, where $\Phi(s)=\int_{0}^s A(0,\tau)d\tau$. Let $H_{\alpha}=\{z:|z|>a>0,\arg(z)\in (-\alpha,\alpha)\}$. If the Stokes constant $S^+$ associated to $\RR^+$ is nonzero, we show that all $y$ such that $\lim_{x\to +\infty}y(x)=0$ are singular at $2\pi i$-quasiperiodic arrays of points near $i\RR^+$. The array location determines and is determined by $S^+$. Such settings include the Painlev\'e equations $P_I$ and $P_{II}$. If $S^+=0$, then there is exactly one solution $y_0$ without singularities in $H_{2\pi-\epsilon}$, and $y_0$ is entire iff $y_0=A(z,0)\equiv 0$. The singularities of $y(x)$ mirror the singularities of the Borel transform of its asymptotic expansion, $\mathcal{B}\tilde{y}$, a nonlinear analog of Stokes phenomena. If $m=1$ and $A$ is a nonlinear polynomial with $A(z,0)\not\equiv 0$ a similar conclusion holds even if $A(0,\cdot)$ is linear. This follows from the property that if $f$ is superexponentially small along $\RR^+$ and analytic in $H_{\pi}$, then $f$ is superexponentially unbounded in $H_{\pi}$, a consequence of decay estimates of Laplace transforms.


title: Singularity barriers and Borel plane analytic properties of 1+ difference equations

abstract: The paper addresses generalized Borel summability of ``$1^+$'' difference equations in ``critical time''. We show that the Borel transform $Y$ of a prototypical such equation is analytic and exponentially bounded for $\Re(p)<1$ but there is no analytic continuation from 0 toward $+\infty$: the vertical line $\ell:=\{p:\Re(p)=1\}$ is a singularity barrier of $Y$. There is a unique natural continuation through the barrier, based on the Borel equation dual to the difference equation, and the functions thus obtained are analytic and decaying on the other side of the barrier. In this sense, the Borel transforms are analytic and well behaved in $\CC\setminus\ell$. The continuation provided allows for generalized Borel summation of the formal solutions. It differs from standard ``pseudocontinuation'' \cite{Shapiro}. This stresses the importance of the notion of cohesivity, a comprehensive extension of analyticity introduced and thoroughly analyzed by \'Ecalle. We also discuss how, in some cases, \'Ecalle acceleration can provide a procedure of natural continuation beyond a singularity barrier.


title: Complex Singularity Analysis for a nonlinear PDE

abstract: We introduce a method of rigorous analysis of the location and type of complex singularities for nonlinear higher order PDEs as a function of the initial data. The method is applied to determine rigorously the asymptotic structure of singularities of the modified Harry-Dym equation $$ H_t + H_y = - {1/2} H^3 + H^3 H_{yyy} : H(y, 0) = y^{-1/2} $$ for small time at the boundaries of the sector of analyticity. Previous work \cite{CPAM}, \cite{invent03} shows existence, uniqueness and Borel summability of solutions of general PDEs. It is shown that the solution to the above initial value problem is represented convergently by a series in a fractional power of $t$ down to a small annular neighborhood of a singularity of the leading order equation. We deduce that the exact solution has a singularity nearby having, to leading order, the same type.


title: Orbits on Lagrangian Grassmanian

abstract: The purpose of this note is to give a classification of the orbital structure of certain reductive group actions on the Lagrangian Grassmanian. The groups under consideration are $Sp \times Sp$ and $GL$. The classification of $Sp \times Sp$ orbits is well-known and the classification of $GL$-orbits is not known. We also compute the isotropy group. Some of the results here will be used to analyze the representations of the universal covering of the symplectic group on the Shilov boundary.


title: Poisson representation of a Ewens fragmentation process

abstract: A simple explicit construction is provided of a partition-valued fragmentation process whose distribution on partitions of $[n]=\{1,...,n\}$ at time $\theta \ge 0$ is governed by the Ewens sampling formula with parameter $\theta$. These partition-valued processes are exchangeable and consistent, as $n$ varies. They can be derived by uniform sampling from a corresponding mass fragmentation process defined by cutting a unit interval at the points of a Poisson process with intensity $\theta x^{-1} \diff x$ on ${\mathbb R}_+$, arranged to be intensifying as $\theta$ increases.


title: Analytic methods for obstruction to integrability in discrete dynamical systems

abstract: A unique analytic continuation result is proved for solutions of a relatively general class of difference equations, using techniques of generalized Borel summability. This continuation allows for Painlev\'e property methods to be extended to difference equations. It is shown that the Painlev\'e property (PP) induces, under relatively general assumptions, a dichotomy within first order difference equations: all equations with PP can be solved in closed form; on the contrary, absence of PP implies, under some further assumptions, that the local conserved quantities are strictly local in the sense that they develop singularity barriers on the boundary of some compact set. The technique produces analytic formulas to describe fractal sets originating in polynomial iterations.


title: Topological construction of transseries and introduction to generalized Borel summability

abstract: Transseries in the sense of \'Ecalle are constructed using a topological approach. A general contractive mapping principle is formulated and proved, showing the closure of transseries under a wide class of operations. In the second part we give an overview of results and methods reconstruction of actual functions and solutions of equations from transseries by generalized Borel summation with in ordinary and partial differential and difference equations.


title: On processes which cannot be distinguished by finitary observation

abstract: A function $J$ defined on a family $C$ of stationary processes is finitely observable if there is a sequence of functions $s_n$ such that $s_n(x_1 ... x_n)\to J(X)$ in probability for every process $X=(x_n)\in C$. Recently, Ornstein and Weiss roved the striking result that if $C$ is the class of aperiodic ergodic finite valued processes, then the only finitely observable isomorphism invariant on $C$ is entropy. We sharpen this in several ways. Our main theorem is that if $X \to Y$ is a zero-entropy extension of finite entropy ergodic systems and $C$ is the family of processes arising from $X$ and $Y$, then every finitely observable function on $C$ is constant. This implies Ornstein and Weiss' result, and extends it to many other families of processes, e.g. it shows that there are no nontrivial finitely observable isomorphism invariants for processes arising from Kronecker systems, mild and strong mixing zero entropy systems. It also implies that any finitely observable isomorphism invariant defined on the family of processes arising from irrational rotations must be constant for rotations belonging to a set of full Lebesgue measure.


title: Upcrossing inequalities for stationary sequences and applications

abstract: For arrays $(S_{i,j})_{1\leq i\leq j}$ of random variables that are stationary in an appropriate sense, we show that the fluctuations of the process $(S_{1,n})_{n=1}^{\infty}$ can be bounded in terms of a measure of the ``mean subadditivity'' of the process $(S_{i,j})_{1\leq i\leq j}$. We derive universal upcrossing inequalities with exponential decay for Kingman's subadditive ergodic theorem, the Shannon--MacMillan--Breiman theorem and for the convergence of the Kolmogorov complexity of a stationary sample.


title: Analyzability in the context of PDEs and applications

abstract: We discuss the notions of resurgence, formalizability, and formation of singularities in the context of partial differential equations. The results show that Ecalle's how analyzability theory extends naturally to PDEs.


title: Stable etale realization and etale cobordism

abstract: We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base field of arbitrary characteristic in analogy to the complex realization functor for fields of characteristic zero. On the other hand we get a natural setting for \'etale cohomology theories. In particular, we define and discuss an \'etale topological cobordism theory for schemes. It is equipped with an Atiyah-Hirzebruch spectral sequence starting from \'etale cohomology. Finally, we construct maps from algebraic to \'etale cobordism and discuss algebraic cobordism with finite coefficients over an algebraically closed field after inverting a Bott element.


title: L-regular linear connections

abstract: The aim of this paper is to generalize the theory of nonlinear connections of Grifone ([3] and [4]). We adopt the point of view of Anona [1] and continue developing the approach established by the first author in [10]. The first part of the work is devoted to the problem of associating to each $L$-regular linear connection on $M$ a nonlinear $L$-connection on $M$. The route we have followed is significantly different from that of Grifone. We introduce an almost-complex and an almost-product structures on $M$ by means of a given $L$-regular linear connection on $M$. The product of these two structures defines a nonlinear $L$-connection on $M$, which generalizes Grifone's nonlinear connection. The seconed part is devoted to the converse problem: associating to each nonlinear $L$-connection \G on $M$ an $L$-regular linear connection on $M$; called the $L$-lift of \G. The existence of this lift is established and the fundamental tensors associated with it are studied. In the third part, we investigate the $L$-lift of a homogeneous $L$-connection \G, called the Berwald $L$-lift of \G. Then we particularize our study to the $L$-lift of a conservative $L$-connection. This $L$-lift enjoys some interesting properties. We finally deduce various identities concerning the curvature tensors of such a lift. Grifone's theory can be retrieved by letting $M$ be the tangent bundle of a differentiable manifold and $L$ be the natural almost-tangent structure $J$ on $M$.


title: Borel summation of adiabatic invariants

abstract: Borel summation techniques are developed to obtain exact invariants from formal adiabatic invariants (given as divergent series in a small parameter) for a class of differential equations, under assumptions of analyticity of the coefficients; the method relies on the study of associated partial differential equations in the complex plane. The type and location of the singularities of these associated functions, important in determining exponentially small corrections to formal invariants are also briefly discussed.


title: Rigorous bounds of Stokes constants for some nonlinear ODEs at rank one irregular singularities

abstract: A rigorous way to obtain sharp bounds for Stokes constants is introduced and illustrated on a concrete problem arising in applications.


title: Movable singularities of solutions of difference equations in relation to solvability and a study of a superstable fixed point

abstract: A unique analytic continuation result is proven for solutions of a relatively general class of difference equations by using techniques of generalized Borel summability. We overview applications exponential asymptotics and analyzable function theory to difference equations, in defining an analog of the Painlev\'e property for them and we sketch the conclusions with respect to the solvability properties of first order autonomous ones. It turns out that if the Painlev\'e property is present the equations are explicitly solvable and in the contrary case, under further assumptions, the integrals of motion develop singularity barriers. We apply the method to the logistic map $x_{n+1}=ax_n(1-x_n)$ where it turns out that the only cases with the Painlev\'e property are $a=-2, 0, 2$ and 4 for which explicit solutions indeed exist; in the opposite case an associated conjugation map develops singularity barriers.


title: The Sato-Tate Conjecture on Average for Small Angles

abstract: We obtain average results on the Sato-Tate conjecture for elliptic curves for small angles.


title: Extended manifolds and extended equivariant cohomology

abstract: We define the category of manifolds with extended tangent bundles, we study their symmetries and we consider the analogue of equivariant cohomology for actions of Lie groups in this category. We show that when the action preserves the splitting of the extended tangent bundle, our definition of extended equivariant cohomology agrees with the twisted equivariant de Rham model of Cartan, and for this case we show that there is localization at the fixed point set, \`a la Atiyah-Bott.


title: Design and Analysis of a Novel $\mathcal{L}_1$ Adaptive Control Architecture with Guaranteed Transient Performance

abstract: Novel adaptive control architecture is presented that has guaranteed transient performance for system's both signals, input and output, simultaneously.


title: A computational criterion for the Kac conjecture

abstract: We give a criterion for the Kac conjecture asserting that the free term of the polynomial counting the absolutely indecomposable representations of a quiver over a finite field of given dimension coincides with the corresponding root multiplicity of the associated Kac-Moody algebra. Our criterion suits very well for computer tests.


title: Nonstandard Smooth Realizations of Liouville Rotations

abstract: We augment the method of $C^\infty$ conjugation approximation with explicit estimates on the conjugacy map. This allows us to construct ergodic volume preserving diffeomorphisms measure-theoretically isomorphic to any apriori given Liouville rotation on a variety of manifolds. In the special case of tori the maps can be made uniquely ergodic.


title: Stringy motives of symmetric products

abstract: Given a complex smooth algebraic variety X, we compute the generating function of the stringy motives of its symmetric powers as a function of motive of X. In dimension two we recover the Goettsche formulas for Hilbert schemes. We use the formalism of lambda-rings to get a particularly compact formula, which is convenient for explicit computations.


title: SL(2,C) Chern-Simons theory and the asymptotic behavior of the colored Jones polynomial

abstract: We clarify and refine the relation between the asymptotic behavior of the colored Jones polynomial and Chern-Simons gauge theory with complex gauge group SL(2,C). The precise comparison requires a careful understanding of some delicate issues, such as normalization of the colored Jones polynomial and the choice of polarization in Chern-Simons theory. Addressing these issues allows us to go beyond the volume conjecture and to verify some predictions for the behavior of the subleading terms in the asymptotic expansion of the colored Jones polynomial.


title: Fifteen problems about the mapping class groups

abstract: This paper presents fifteen problems about mapping class groups. It is an expanded and updated version of the author's preprint "Ten problems on the mapping class groups". The paper will appear in the book "Problems on Mapping Class Groups and Related Topics", ed. by B. Farb, Proc. Symp. Pure Math. series, Amer. Math. Soc.


title: Poisson structures on the homology of the space of knots

abstract: In this article we study the Poisson algebra structure on the homology of the totalization of a fibrant cosimplicial space associated with an operad with multiplication. This structure is given as the Browder operation induced by the action of little disks operad, which was found by McClure and Smith. We show that the Browder operation coincides with the Gerstenhaber bracket on the Hochschild homology, which appears as the E2-term of the homology spectral sequence constructed by Bousfield. In particular we consider a variant of the space of long knots in higher dimensional Euclidean space, and show that Sinha's homology spectral sequence computes the Poisson algebra structure of the homology of the space. The Browder operation produces a homology class which does not directly correspond to chord diagrams.


title: Kempf collapsing and quiver loci

abstract: Kempf [1976] studied proper, G-equivariant maps from equivariant vector bundles over flag manifolds to G-representations V, which he called _collapsings_. We give a simple formula for the G-equivariant cohomology class on V, or_multidegree_, associated to the image of a collapsing: apply a certain sequence of divided difference operators to a certain product of linear polynomials, then divide by the number of components in a general fiber. When that number of components is 1, we construct a desingularization of the image of the collapsing. If in addition the image has rational singularities, we can use the desingularization to give also a formula for the G-equivariant K-class of the image, whose leading term is the multidegree. Our application is to quiver loci and quiver polynomials. Let Q be a quiver of finite type (A, D, or E, in arbitrary orientation), and assign a vector space to each vertex. Let \Hom denote the (linear) space of representations of Q with these vector spaces. This carries an action of GL, the product of the general linear groups of the individual vector spaces. A_quiver locus_ \Omega is the closure in \Hom of a GL-orbit, and its multidegree is the corresponding _quiver polynomial_. Reineke [2004] proved that every ADE quiver locus is the image of a birational Kempf collapsing (giving a desingularization directly). Using Reineke's collapsings, we give formulae for ADE quiver polynomials, previously only computed in type A (though in this case, our formulae are new). In the A and D cases quiver loci are known to have rational singularities [Bobi\'nski-Zwara 2002], so we also get formulae for their K-classes, which had previously only been computed in equioriented type A (and again our formulae are new).


title: Fleck quotients and Bernoulli numbers

abstract: Let p be a prime, and let n>0 and r be integers. In 1913 Fleck showed that $$F_p(n,r)=(-p)^{-[(n-1)/(p-1)]}\sum_{k=r(mod p)}\binom{n}{k}(-1)^k\in\Z.$$ Nowadays this result plays important roles in many aspects. Recently Sun and Wan investigated $F_p(n,r)$ mod p in [SW2]. In this paper, using p-adic methods we determine $(F_p(m,r)-F_p(n,r))/(m-n)$ modulo p in terms of Bernoulli numbers, where m>0 is an integer with $m\not=n$ and $m=n (mod p(p-1))$. Consequently, $F_p(n,r)$ mod $p^{ord_p(n)+1}$ is determined; for example, if $n=n_*(mod p-1)$ with $0<n_*<p-2$ then $$\frac{F_p(pn,0)}{pn}=\frac{n_*!}{n_*+1}B_{p-1-n_*} (mod p).$$ This yields an application to Stirling numbers of the second kind. We also study extended Fleck quotients; in particular we prove that if $a>0$ and $l\ge 0$ are integers with $2\le n-l\le p$ then $$\frac{1}{p^{n-l}}\sum_{l<k\le n} \binom{p^a n-d}{p^a k-d}(-1)^{pk}\binom{k-1}{l} =\frac{(-1)^{l-1}n!}{l!(n-l)}B_{p-n+l} (mod p)$$ for all d=1,...,max{p^{a-2},1}.


title: Eigenvalues and forbidden subgraphs I

abstract: We present sharp inequalities relating the number of vertices, edges, and triangles of a graph to the smallest eigenvalue of its adjacency matrix and the largest eigenvalue of its Laplacian.


title: Club guessing and the universal models

abstract: We survey the use of club guessing and other pcf constructs in the context of showing that a given partially ordered class of objects does not have a largest, or a universal element.


title: Hilbert's machine and w-order

abstract: Hilbert's machine is a supertask machine inspired by Hilbert's Hotel whose functioning leads to a contradictory result involving w-ordering.


title: On the homotopy classification of elliptic operators on stratified manifolds

abstract: We find the stable homotopy classification of elliptic operators on stratified manifolds. Namely, we establish an isomorphism of the set of elliptic operators modulo stable homotopy and the $K$-homology group of the singular manifold. As a corollary, we obtain an explicit formula for the obstruction of Atiyah--Bott type to making interior elliptic operators Fredholm.


title: Erratum to ``Stabilization for the automorphisms of free groups with boundaries''

abstract: The purpose of this note is to point to a gap in an argument in our paper "Stabilization for the automorphisms of free groups with boundaries", and explain how to fill it.


title: On the correlation measure of a family of commuting Hermitian operators with applications to particle densities of the quasi-free representations of the CAR and CCR

abstract: Let $X$ be a locally compact, second countable Hausdorff topological space. We consider a family of commuting Hermitian operators $a(\Delta)$ indexed by all measurable, relatively compact sets $\Delta$ in $X$ (a quantum stochastic process over $X$). For such a family, we introduce the notion of a correlation measure. We prove that, if the family of operators possesses a correlation measure which satisfies some condition of growth, then there exists a point process over $X$ having the same correlation measure. Furthermore, the operators $a(\Delta)$ can be realized as multiplication operators in the $L^2$-space with respect to this point process. In the proof, we utilize the notion of $\star$-positive definiteness, proposed in [Y. G. Kondratiev and T.\ Kuna, {\it Infin. Dimens. Anal. Quantum Probab. Relat. Top.} {\bf 5} (2002), 201--233]. In particular, our result extends the criterion of existence of a point process from that paper to the case of the topological space $X$, which is a standard underlying space in the theory of point processes. As applications, we discuss particle densities of the quasi-free representations of the CAR and CCR, which lead to fermion, boson, fermion-like, and boson-like (e.g. para-fermions and para-bosons of order 2) point processes. In particular, we prove that any fermion point process corresponding to a Hermitian kernel may be derived in this way.


title: Image of the spectral measure of a Jacobi field and the corresponding operators

abstract: By definition, a Jacobi field $J=(J(\phi))_{\phi\in H_+}$ is a family of commuting selfadjoint three-diagonal operators in the Fock space $\mathcal F(H)$. The operators $J(\phi)$ are indexed by the vectors of a real Hilbert space $H_+$. The spectral measure $\rho$ of the field $J$ is defined on the space $H_-$ of functionals over $H_+$. The image of the measure $\rho$ under a mapping $K^+:T_-\to H_-$ is a probability measure $\rho_K$ on $T_-$. We obtain a family $J_K$ of operators whose spectral measure is equal to $\rho_K$. We also obtain the chaotic decomposition for the space $L^2(T_-,d\rho_K)$.


title: Measure Recognition Problem

abstract: This is an article in mathematics, specifically in set theory. On the example of the Measure Recognition Problem (MRP) the article highlights the phenomenon of the utility of a multidisciplinary mathematical approach to a single mathematical problem, in particular the value of a set-theoretic analysis. MRP asks if for a given Boolean algebra $\algB$ and a property $\Phi$ of measures one can recognize by purely combinatorial means if $\algB$ supports a strictly positive measure with property $\Phi$. The most famous instance of this problem is MRP(countable additivity), and in the first part of the article we survey the known results on this and some other problems. We show how these results naturally lead to asking about two other specific instances of the problem MRP, namely MRP(nonatomic) and MRP(separable). Then we show how our recent work D\v zamonja and Plebanek (2006) gives an easy solution to the former of these problems, and gives some partial information about the latter. The long term goal of this line of research is to obtain a structure theory of Boolean algebras that support a finitely additive strictly positive measure, along the lines of Maharam theorem which gives such a structure theorem for measure algebras.


title: Laplace operators and diffusions in tangent bundles over Poisson spaces

abstract: Spaces of differential forms over configuration spaces with Poisson measures are constructed. The corresponding Laplacians (of Bochner and de Rham type) on 1-forms and associated semigroups are considered. Their probabilistic interpretation is given.


title: De Rham cohomology of configuration spaces with Poisson measure

abstract: The space $\Gamma_X$ of all locally finite configurations in a Riemannian manifold $X$ of infinite volume is considered. The deRham complex of square-integrable differential forms over $\Gamma_X$, equipped with the Poisson measure, and the corresponding deRham cohomology are studied. The latter is shown to be unitarily isomorphic to a certain Hilbert tensor algebra generated by the $L^2$-cohomology of the underlying manifold $X$.


title: On embedding infinite cyclic covers in compact 3-manifolds

abstract: We show that the infinite cyclic cover of the exterior of the untwisted Whitehead double of a non-trivial knot does not embed in any compact 3-manifold, answering a question of Jiang, Ni, Wang and Zhou.


title: Operators of Gamma white noise analysis

abstract: The paper is devoted to the study of Gamma white noise analysis. We define an extended Fock space $\Gama(\Ha)$ over $\Ha=L^2(\R^d, d\sigma)$, and show how to include the usual Fock space ${\cal F} (\Ha)$ in it as a subspace. We introduce in $\Gama(\Ha)$ operators $a(\xi)=\int_{\R^d} dx \xi(x)a(x)$, $\xi\in S$, with $a(x)=\dig_x+2\dig_x\di_x+1+\di_x +\dig_x\di_x\di_x$, where $\dig_x$ and $\di_x$ are the creation and annihilation operators at $x$. We show that $(a(\xi))_{\xi\in S}$ is a family of commuting selfadjoint operators in $\Gama(\Ha)$ and construct the Fourier transform in generalized joint eigenvectors of this family. This transform is a unitary $I$ between $\Gama(\Ha)$ and the $L^2$-space $L^2(S',d\mu_{\mathrm G})$, where $\mu_{\mathrm G}$ is the measure of Gamma white noise with intensity $\sigma$. The image of $a(\xi)$ under $I$ is the operator of multiplication by $\la\cdot,\xi\ra$, so that $a(\xi)$'s are Gamma field operators. The Fock structure of the Gamma space determined by $I$ coincides with that discovered in {\bf [}{\it Infinite Dimensional Analysis, Quantum Probability and Related Topics} {\bf 1} (1998), 91--117{\bf ]}. We note that $I$ extends in a natural way the multiple stochastic integral (chaos) decomposition of the ``chaotic'' subspace of the Gamma space. Next, we introduce and study spaces of test and generalized functions of Gamma white noise and derive explicit formulas for the action of the creation, neutral, and Gamma annihilation operators on these spaces.


title: The PI Property of Graded Hecke Algebras

abstract: We show that graded Hecke algebras are PI algebras if and only if they are finitely generated over their centres if and only if the deformation parameters $t_{i}$ are zero for all $i=1,\ldots,N$. This generalises a result for symplectic reflection algebras by Etingof - Ginzburg and Brown - Gordon.


title: On compact CMC-Hypersurfaces of $N\times \mathbb{R}$

abstract: Let ${\mathscr F}(N\times \mathbb{R})$ be the set of all closed $H$-hypersurfaces $M\subset N\times \mathbb{R}$, where $N$ is a simply connected complete Riemannian $n$-manifold with sectional curvature $K_{N}\leq -\kappa^{2}<0$. We show that ${\Hm}(N\times \mathbb{R})=\inf_{M\in {\mathscr F}(N\times \mathbb{R})}\{| H_{M}| \}\geq (n-1)\kappa/n $.


title: On a spectral representation for correlation measures in configuration space analysis

abstract: The paper is devoted to the study of configuration space analysis by using the projective spectral theorem. For a manifold $X$, let $\Gamma_X$, resp.\ $\Gamma_{X,0}$ denote the space of all, resp. finite configurations in $X$. The so-called $K$-transform, introduced by A. Lenard, maps functions on $\Gamma_{X,0}$ into functions on $\Gamma_{X}$ and its adjoint $K^*$ maps probability measures on $\Gamma_X$ into $\sigma$-finite measures on $\Gamma_{X,0}$. For a probability measure $\mu$ on $\Gamma_X$, $\rho_\mu:=K^*\mu$ is called the correlation measure of $\mu$. We consider the inverse problem of existence of a probability measure $\mu$ whose correlation measure $\rho_\mu$ is equal to a given measure $\rho$. We introduce an operation of $\star$-convolution of two functions on $\Gamma_{X,0}$ and suppose that the measure $\rho$ is $\star$-positive definite, which enables us to introduce the Hilbert space ${\cal H}_\rho$ of functions on $\Gamma_{X,0}$ with the scalar product $(G^{(1)},G^{(2)})_{{\cal H}_{\rho}}= \int_{\Gamma_{X,0}}(G^{(1)}\star\bar G{}^{(2)})(\eta) \rho(d\eta)$. Under a condition on the growth of the measure $\rho$ on the $n$-point configuration spaces, we construct the Fourier transform in generalized joint eigenvectors of some special family $A=(A_\phi)_{\phi\in\D}$, $\D:=C_0^\infty(X)$, of commuting selfadjoint operators in ${\cal H}_\rho$. We show that this Fourier transform is a unitary between ${\cal H}_{\rho}$ and the $L^2$-space $L^2(\Gamma_X,d\mu)$, where $\mu$ is the spectral measure of $A$. Moreover, this unitary coincides with the $K$-transform, while the measure $\rho$ is the correlation measure of $\mu$.


title: Analysis and geometry on marked configuration spaces

abstract: We carry out analysis and geometry on a marked configuration space $\Omega^M_X$ over a Riemannian manifold $X$ with marks from a space $M$. We suppose that $M$ is a homogeneous space $M$ of a Lie group $G$. As a transformation group $\frak A$ on $\Omega_X^M$ we take the ``lifting'' to $\Omega_X^M$ of the action on $X\times M$ of the semidirect product of the group $\operatorname{Diff}_0(X)$ of diffeomorphisms on $X$ with compact support and the group $G^X$ of smooth currents, i.e., all $C^\infty$ mappings of $X$ into $G$ which are equal to the identity element outside of a compact set. The marked Poisson measure $\pi_\sigma$ on $\Omega_X^M$ with L\'evy measure $\sigma$ on $X\times M$ is proven to be quasiinvariant under the action of $\frak A$. Then, we derive a geometry on $\Omega_X^M$ by a natural ``lifting'' of the corresponding geometry on $X\times M$. In particular, we construct a gradient $\nabla^\Omega$ and a divergence $\operatorname{div}^\Omega$. The associated volume elements, i.e., all probability measures $\mu$ on $\Omega_X^M$ with respect to which $\nabla^\Omega$ and $\operatorname{div}^\Omega$ become dual operators on $L^2(\Omega_X^M;\mu)$, are identified as the mixed marked Poisson measures with mean measure equal to a multiple of $\sigma$. As a direct consequence of our results, we obtain marked Poisson space representations of the group $\frak A$ and its Lie algebra $\frak a$. We investigate also Dirichlet forms and Dirichlet operators connected with (mixed) marked Poisson measures.


title: Divisors over determinantal rings defined by two by two minors

abstract: Let E and G be free modules of rank e and g, respectively, over a commutative noetherian ring R. The identity map on E^* tensor G induces the Koszul complex ... -> S_mE^* tensor S_nG tensor Wedge^p(E^* tensor G) -> S_{m+1}E^* tensor S_{n+1}G tensor Wedge^{p-1}(E^* tensor G) -> ... and its dual ... -> D_{m+1}E tensor D_{n+1}G^* tensor Wedge^{p-1}(E tensor G^*) -> D_mE tensor D_nG^* tensor Wedge^p(E tensor G^*)-> ... Let H_{m,n,p} be the homology of the top complex at S_m tensor S_n tensor Wedge^p and H^{m,n,p} the homology of the bottom complex at D_m tensor D_n tensor Wedge^p. It is known that H_{m,n,p} is isomorphic to H^{m',n',p'}, provided m+m'=g-1, n+n'=e-1, p+p'=(e-1)(g-1), and m-n is between 1-e and g-1. In this paper we exhibit an explicit quasi-isomorphism M of complexes which gives rise to this isomorphism. The mapping cone of M is a split exact complex. Our complexes may be formed over the ring of integers; they can be passed to an arbitrary ring or field by base change. Knowledge of the homology of the top complex is equivalent to knowledge of the modules in the resolution of the Segre module Segre(e,g,m-n). The Segre modules are a set of representatives of the divisor class group of the determinantal ring defined by the 2 by 2 minors of an e by g matrix of indeterminants. If R is the ring of integers, then the homology H_{m,n,p} is not always a free abelian group. In other words, if R is a field, then the dimension of H_{m,n,p} depends on the characteristic of R. The module H_{m,n,p} is known when R is a field of characteristic zero; however, this module is not yet known over arbitrary fields.


title: Fundamental Groups of Spaces of Smooth Projective Hypersurfaces

abstract: We investigate the complement of the discriminant in the projective space PSym^d C^{n+1} of polynomials defining hypersurfaces of degree d in P^n. Following the ideas of Zariski we are able to give a presentation for the fundamental group of the discriminant complement which generalises the well-known presentation in case n=1, i.e. of the spherical braid group on d strands. In particular our argument proceeds by a geometric analysis of the discriminant polynomial as proposed by Bessis and draws on results and methods from previous work of the author addressing a comparable problem for any versal unfolding of Brieskorn Pham singularities.


title: Analysis and geometry on $R_+$-marked configuration spaces

abstract: We carry out analysis and geometry on a marked configuration space $\Omega_X^{R_+}$ over a Riemannian manifold $X$ with marks from the space $R_+$ as a natural generalization of the work {\bf [}{\it J. Func. Anal}. {\bf 154} (1998), 444--500{\bf ]}. As a transformation group $\mathfrak G$ on this space, we take the ``lifting'' to $\Omega_X^{R_+}$ of the action on $X\times R_+$ of the semidirect product of the group Diff of diffeomorphisms on $X$ with compact support and the group $R_+^X$ of smooth currents, i.e., all $C^\infty$ mappings of $X$ into $R_+$ which are equal to one outside a compact set. The marked Poisson measure $\pi$ on $\Omega_X^{R_+}$ with L\'evy measure $\sigma$ is proven to be quasiinvariant under the action of $\mathfrak G$. Then, we derive a geometry on $\Omega_X^{R_+}$ by a natural ``lifting'' of the corresponding geometry on $X\times R_+$. In particular, we construct a gradient $\nabla^\Omega$ and divergence $div^\Omega$. The associated volume elements, i.e., all probability measures $\mu$ on $\Omega_X^{R_+}$ with respect to which $\nabla^\Omega$ and $div^\Omega$ become dual operators on $L^2(\Omega_X^{R_+} ,\mu)$ are identified as the mixed Poisson measures with mean measure equal to a multiple of $\sigma$. As a direct consequence of our results, we obtain marked Poisson space representations of the group $\mathfrak G$ and its Lie algebra $\mathfrak g$. We investigate also Dirichlet forms and Dirichlet operators connected with (mixed) marked Poisson measures. In particular, we obtain conditions of ergodicity of the semigroups generated by the Dirichlet operators. A possible generalization of the results of the paper to the case where the marks belong to a homogeneous space of a Lie group is noted.


title: The Singularities of the Wave Trace of the Basic Laplacian of a Riemannian Foliation

abstract: We apply techniques of microlocal analysis to the study of the transverse geometry of Riemannian foliations in order to analyze spectral invariants of the basic Laplacian acting on functions on a Riemannian foliation with a bundle-like metric. In particular, we consider the trace of the basic wave operator when the mean curvature form is basic. We extend the concept of basic functions to distributions and demonstrate the existence of the basic wave kernel. The singularities of the trace of this basic wave kernel occur at the lengths of certain geodesic arcs which are orthogonal to the closures of the leaves of the foliation. In cases when the foliation has regular closure, a complete representation of the trace of the basic wave kernel can be computed for $t\not=0$. Otherwise, a partial trace formula over a certain set of lengths of well-behaved geodesic arcs is obtained.


title: Laplace operators on differential forms over configuration spaces

abstract: Spaces of differential forms over configuration spaces with Poisson measures are constructed. The corresponding Laplacians (of Bochner and de Rham type) on forms and associated semigroups are considered. Their probabilistic interpretation is given.


title: Generating Specials: The Zorro Algorithm

abstract: The concept of a configuration graph associated to a primitive, aperiodic substitution is introduced in [1] as a convenient graphical representation of the infinite indeterminism of the shift space of the substitution. The main result of [1] is an algorithm to calculate this graph from the substitution, in this paper we turn the tables and produce substitutions from graphs. We do this using the Zorro algorithm, an entirely constructive and easily applicable algorithm. In the process we show that any configuration graph can be obtained. The first section contains standard definitions and the definition of configuration graphs. The second and third sections develop theory used in the proof of the algorithm as stated in section four. The algorithm is easily applied without knowledge of the underlying theory. Note that section three is nothing but a copy of results from [1] slightly modified to suit the present needs.


title: Value distribution theoretical properties of the Gauss map of pseudo-algebraic minimal surfaces

abstract: In this thesis, we study value distribution theoretical properties of the Gauss map of pseudo-algebraic minimal surfaces in n-dimensional Euclidean space. After reviewing basic facts, we give estimates for the number of exceptional values and the totally ramified value numbers and the corresponding unicity theorems for them.


title: Multiagent models in time-varying and random environment

abstract: In this paper we study multiagent models with time-varying type change. Assume that there exist a closed system of $N$ agents classified into $r$ types according to their states of an internal system; each agent changes its type by an internal dynamics of the internal states or by the relative frequency of different internal states among the others, e.g., multinomial sampling. We investigate the asymptotic behavior of the empirical distributions of the agents' types as $N$ goes to infinity, by the weak convergence criteria for time-inhomogeneous Markov processes and the theory of Volterra integral equations of the second kind. We also prove convergence theorems of these models evolving in random environment.


title: Elliptic Theory on Manifolds with Corners: I. Dual Manifolds and Pseudodifferential Operators

abstract: In this first part of the paper, we define a natural dual object for manifolds with corners and show how pseudodifferential calculus on such manifolds can be constructed in terms of the localization principle in C*-algebras. In the second part, these results will be applied to the solution of Gelfand's problem on the homotopy classification of elliptic operators for the case of manifolds with corners.


title: Elliptic Theory on Manifolds with Corners: II. Homotopy classification and $K$-Homology

abstract: We establish the stable homotopy classification of elliptic pseudodifferential operators on manifolds with corners and show that the set of elliptic operators modulo stable homotopy is isomorphic to the K-homology group of some stratified manifold. By way of application, generalizations of some recent results due to Monthubert and Nistor are given.


title: Evaluation of Functional Integrals by means of series and the method of Borel transform

abstract: In this paper I give an evaluation of a functional integral by means of a series in functional derivatives, first of all we propose a differential equation of first order and solve it by iterative methods, to obtain a series for the indefinite integral in one dimension, after that we extend this concept to infinite dimensional spaces, we introduce the functional derivative and propose a functional differential equation for the functional integral which we solve by iteration obtaining a series that includes the n-th order functional derivative dn, this series can be improved by using the Euler transform for alternating series. Also in the second part we study an evaluation of the Path integral using Saddle-point methods, the corrections to the WKB approach that yield to a divergent series are evaluate by means of a Borel transform, to accelerate its convergence we use the Abel-Euler algorithm for power series.


title: A non-displacable Lagrangian torus in T^*S^2

abstract: We show that the Lagrangian torus in the cotangent bundles of the 2-sphere obtained by applying the geodesic flow to the unit circle in a fibre is not displaceable by computing its Lagrangian Floer homology. The computation is based on a symmetry argument.


title: Coincidence of Lyapunov exponents for random walks in weak random potentials

abstract: We investigate the free energy of nearest-neighbor random walks on $\mathbb{Z}^d$, endowed with a drift along the first axis and evolving in a nonnegative random potential given by i.i.d. random variables. Our main result concerns the ballistic regime in dimensions $d\geq4$, at which we show that quenched and annealed Lyapunov exponents are equal as soon as the strength of the potential is small enough.


title: Elliptic functions, Green functions and the mean field equations on tori

abstract: We show that the Green functions on flat tori can have either 3 or 5 critical points only. There does not seemto be any directmethod to attack this problem. Instead, we have to employ sophisticated non-linear partial differential equations to study it. We also study the distribution of number of critical points over the moduli space of flat tori through deformations. The functional equations of special theta values provide important inequalities which lead to a solution for all rhombus tori.


title: Some notes on the inverse problem for braids

abstract: The Kontsevich integral $Z$ associates to each braid $b$ (or more generally knot $k$) invariants $Z_i(b)$ lying in finite dimensional vector spaces, for $i = 0, 1, 2, ...$. These values are not yet known, except in special cases. The inverse problem is that of determining $b$ from its invariants $Z_i(b)$. In this paper we study the case of braids on two strands, which is already sufficient to produce interesting and unexpected mathematics. In particular, we find connections with number theory, numerical analysis and field theory in physics. However, we will carry this study out with an eye to the more general case of braids on $n$ strands. We expect that solving the inverse problem even for $n=3$ will present real difficulties. Most of the concepts in this paper also apply to knots, but to simplify the exposition we will rarely mention this. The organisation and bulk of the writing of this paper predates its most significant results. We hope later to present better and develop further these results.


title: Riemann-Roch and Abel-Jacobi theory on a finite graph

abstract: It is well-known that a finite graph can be viewed, in many respects, as a discrete analogue of a Riemann surface. In this paper, we pursue this analogy further in the context of linear equivalence of divisors. In particular, we formulate and prove a graph-theoretic analogue of the classical Riemann-Roch theorem. We also prove several results, analogous to classical facts about Riemann surfaces, concerning the Abel-Jacobi map from a graph to its Jacobian. As an application of our results, we characterize the existence or non-existence of a winning strategy for a certain chip-firing game played on the vertices of a graph.


title: On stability manifolds of Calabi-Yau surfaces

abstract: We prove some general statements on stability conditions of Calabi-Yau surfaces and discuss the stability manifold of the cotangent bundle of P^1. Our primary interest is in spherical objects.


title: Techniques for classifying nonnegatively curved left-invariant metrics on compact Lie groups

abstract: We provide techniques for studying the nonnegatively curved left-invariant metrics on a compact Lie group. For "straight" paths of left-invariant metrics starting at bi-invariant metrics and ending at nonnegatively curved metrics, we deduce a nonnegativity property of the initial derivative of curvature. We apply this result to obtain a partial classification of the nonnegatively curved left-invariant metrics on SO(4).


title: Invariant Metrics with Nonnegative Curvature on SO(4)

abstract: We derive a curvature-variation formula for a path of left-invariant metrics on a compact Lie group, beginning at a bi-invariant metric. We prove rigidity theorems for paths which remain nonnegatively curved, and we make progress towards a classification of the left-invariant metrics with nonnegative curvature on SO(4).


title: On Popa's Cocycle Superrigidity Theorem

abstract: These notes contain an Ergodic-theoretic account of the Cocycle Superrigidity Theorem recently discovered by Sorin Popa. We state and prove a relative version of the result, discuss some applications to measurable equivalence relations, and point out that Gaussian actions (of ``rigid'' groups) satisfy the assumptions of Popa's theorem.


title: Quaternionic K\"ahler Reductions of Wolf Spaces

abstract: The main purpose of the following article is to introduce a \emph{Lie theoretical} approach to the problem of classifying pseudo quaternionic-K\"ahler (QK) reductions of the pseudo QK symmetric spaces, otherwise called \emph{generalized Wolf spaces}.


title: A duality between string topology and the fusion product in equivariant K-theory

abstract: Let G be a compact Lie group. Let E be a principal G-bundle over a closed manifold M, and Ad(E) its adjoint bundle. In this paper we describe a new Frobenius algebra structure on h_*(Ad(E)), where h_* is an appropriate generalized homology theory. Recall that a Frobenius algebra has both a product and a coproduct. The product in this new Frobenius algebra is induced by the string topology product. In particular, the product can be defined when G is any topological group and in the case that E is contractible it is precisely the Chas-Sullivan string product on H_*(LM). We will show that the coproduct is induced by the Freed-Hopkins-Teleman fusion product. Indeed, when M is replaced by BG and h_* is K-theory the coproduct is the completion of the Freed-Hopkins-Teleman fusion structure. We will then show that this duality between the string and fusion products is realized by a Spanier-Whitehead duality between certain Thom spectra of virtual bundles over Ad(E).


title: Cluster algebras and triangulated surfaces. Part I: Cluster complexes

abstract: We establish basic properties of cluster algebras associated with oriented bordered surfaces with marked points. In particular, we show that the underlying cluster complex of such a cluster algebra does not depend on the choice of coefficients, describe this complex explicitly in terms of "tagged triangulations" of the surface, and determine its homotopy type and its growth rate.


title: The Complex Structures on $S^{2n}$

abstract: Let $\widetilde{\cal J}(S^{2n})$ be the set of orthogonal complex structures on $TS^{2n}$. We show that the twistor space $\widetilde{\cal J}(S^{2n})$ is a Kaehler manifold. Then we show that an orthogonal almost complex structure $J_f$ on $S^{2n}$ is integrable if and only if the corresponding section $f\colon\; S^{2n}\to \widetilde{\cal J}(S^{2n}) $ is holomorphic. These shows there is no integrable orthogonal complex structure on the sphere $S^{2n}$ for $n>1$. We also show that there is no complex structure in a neighborhood of the space $\widetilde{\cal J}(S^{2n})$. The method is to study the first Chern class of $T^{(1,0)}S^{2n}$.


title: Balanced Symmetric Functions over $GF(p)$

abstract: Under mild conditions on $n,p$, we give a lower bound on the number of $n$-variable balanced symmetric polynomials over finite fields $GF(p)$, where $p$ is a prime number. The existence of nonlinear balanced symmetric polynomials is an immediate corollary of this bound. Furthermore, we conjecture that $X(2^t,2^{t+1}l-1)$ are the only nonlinear balanced elementary symmetric polynomials over GF(2), where $X(d,n)=\sum_{i_1<i_2<...<i_d}x_{i_1} x_{i_2}... x_{i_d}$, and we prove various results in support of this conjecture.


title: Flops, motives and invariance of quantum rings

abstract: For ordinary flops, the correspondence defined by the graph closure is shown to give equivalence of Chow motives and to preserve the Poincar\'e pairing. In the case of simple ordinary flops, this correspondence preserves the big quantum cohomology ring after an analytic continuation over the extended K\"ahler moduli space. For Mukai flops, it is shown that the birational map for the local models is deformation equivalent to isomorphisms. This implies that the birational map induces isomorphisms on the full quantum rings and all the quantum corrections attached to the extremal ray vanish.


title: Open books supporting overtwisted contact structures and Stallings twist

abstract: We study open books (or open book decompositions) of a closed oriented 3-manifold which support overtwisted contact structures. We focus on a simple closed curve along which one can perform Stallings twist, called ``twisting loop''. We show that the existence of a twisting loop on the fiber surface of an open book is equivalent up to positive stabilization to the existence of an overtwisted disk in the contact manifold supported by the open book. We also show a criterion for overtwistedness using a certain arc properly embedded in the fiber surface, which is an extension of Goodman's one.


title: Period polynomials and explicit formulas for Hecke operators on \Gamma_0(2)

abstract: Let S_{w+2}(\Gamma_0(N)) be the vector space of cusp forms of weight w+2 on the congruence subgroup \Gamma_0(N). We first determine explicit formulas for period polynomials of elements in S_{w+2}(\Gamma_0(N)) by means of Bernoulli polynomials. When N=2, from these explicit formulas we obtain new bases for S_{w+2}(\Gamma_0(2)), and extend the Eichler-Shimura-Manin isomorphism theorem to \Gamma_0(2). This implies that there are natural correspondences between the spaces of cusp forms on \Gamma_0(2) and the spaces of period polynomials. Based on these results, we will find explicit form of Hecke operators on S_{w+2}(\Gamma_0(2)). As an application of our main theorems, we will also give an affirmative answer to a speculation of Imamo\=glu and Kohnen on a basis of S_{w+2}(\Gamma_0(2)).


title: Cutting and Pasting in the Torelli Group

abstract: We introduce machinery to allow ``cut-and-paste''-style inductive arguments in the Torelli subgroup of the mapping class group. In the past these arguments have been problematic because restricting the Torelli group to subsurfaces gives different groups depending on how the subsurfaces are embedded. We define a category $\TSur$ whose objects are surfaces together with a decoration restricting how they can be embedded into larger surfaces and whose morphisms are embeddings which respect the decoration. There is a natural ``Torelli functor'' on this category which extends the usual definition of the Torelli group on a closed surface. Additionally, we prove an analogue of the Birman exact sequence for the Torelli groups of surfaces with boundary and use the action of the Torelli group on the complex of curves to find generators for the Torelli group. For genus $g \geq 1$ only twists about (certain) separating curves and bounding pairs are needed, while for genus $g=0$ a new type of generator (a ``commutator of a simply intersecting pair'') is needed. As a special case, our methods provide a new, more conceptual proof of the classical result of Birman-Powell which says that the Torelli group on a closed surface is generated by twists about separating curves and bounding pairs.


title: Twisted second homology groups of the automorphism group of a free group

abstract: In this paper, we compute the second homology groups of the automorphism group of a free group with coefficients in the abelianization of the free group and its dual group except for 2-torsion part, using combinatorial group theory.


title: Dixmier traces and some applications to noncommutative geometry

abstract: This is a survey of some recent advances in the theory of singular traces in which the authors have played some part and which were inspired by questions raised by the book of Alain Connes (Noncommutative Geometry, Academic Press 1994). There are some original proofs and ideas but most of the results have appeared elsewhere. Detailed information on the contents is contained in the Introduction.


title: Elementary submodels and separable monotonically normal compacta

abstract: In this note, we use elementary submodels to prove that a separable monotonically normal compactum can be mapped on a separable metric space via a continuous function whose fibers have cardinality at most 2.


title: Algebras of Derived dimension zero

abstract: Algebras of derived dimension zero are known.


title: Existence and Regularity of Optimal Solution for a Dead Oil Isotherm Problem

abstract: We study a system of nonlinear partial differential equations resulting from the traditional modelling of oil engineering within the framework of the mechanics of a continuous medium. Existence and regularity of the optimal solutions for this system is established.


title: Variational inequalities in Hilbert spaces with measures and optimal stopping problems

abstract: We study the existence theory for parabolic variational inequalities in weighted $L^2$ spaces with respect to excessive measures associated with a transition semigroup. We characterize the value function of optimal stopping problems for finite and infinite dimensional diffusions as a generalized solution of such a variational inequality. The weighted $L^2$ setting allows us to cover some singular cases, such as optimal stopping for stochastic equations with degenerate diffusion coefficient. As an application of the theory, we consider the pricing of American-style contingent claims. Among others, we treat the cases of assets with stochastic volatility and with path-dependent payoffs.


title: Functional spaces and operators connected with some L\'evy noises

abstract: We review some recent developments in white noise analysis and quantum probability. We pay a special attention to spaces of test and generalized functionals of some L\'evy white noises, as well as as to the structure of quantum white noise on these spaces.


title: Absolute Extrema of Invariant Optimal Control Problems

abstract: Optimal control problems are usually addressed with the help of the famous Pontryagin Maximum Principle (PMP) which gives a generalization of the classical Euler-Lagrange and Weierstrass necessary optimality conditions of the calculus of variations. Success in applying the PMP permits to obtain candidates for a local minimum. In 1967 a direct method, which permits to obtain global minimizers directly, without using necessary conditions, was introduced by Leitmann. Leitmann's approach is connected, as showed by Carlson in 2002, with "Caratheodory's royal road of the Calculus of variations". Here we propose a related but different direct approach to problems of the calculus of variations and optimal control, which permit to obtain global minima directly, without recourse to needle variations and necessary conditions. Our method is inspired by the classical Noether's theorem and its recent extensions to optimal control. We make use of the variational symmetries of the problem, considering parameter-invariance transformations and substituting the original problem by a parameter-family of optimal control problems. Parameters are then fixed in order to make the problem trivial, in some sense. Finally, by applying the inverse of the chosen invariance-transformation, we get the global minimizer for the original problem. The proposed method is illustrated, by solving concrete problems, and compared with Leitmann's approach.


title: An application of CAT

abstract: We comment on a question of Justin Moore on colourings of pairs of nodes in an Aronszajn tree and solve an instance of it.


title: A note of spaces of test and generalized functions of Poisson white noise

abstract: The paper is devoted to construction and investigation of some riggings of the $L^2$-space of Poisson white noise. A particular attention is paid to the existence of a continuous version of a function from a test space, and to the property of an algebraic structure under pointwise multiplication of functions from a test space.


title: A general Stone representation theorem

abstract: This note contains a Stone-style representation theorem for compact Hausdorff spaces.


title: Positivity of direct image bundles and convexity on the space of Kahler metrics

abstract: We develop some results on the positivity of direct image bundles in the particular case of a trivial fibration over a one-dimensional base. We also apply the results to study variations of Kahler metrics.


title: Existence of generic cubic homoclinic tangencies for H\'enon maps

abstract: In this paper, we show that the H\'enon map $\varphi_{a,b}$ has a generically unfolding cubic tangency for some $(a,b)$ arbitrarily close to $(-2,0)$ by applying results of Gonchenko-Shilnikov-Turaev [12]-[16]. Combining this fact with theorems in Kiriki-Soma [20], one can observe the new phenomena in the H\'enon family, appearance of persistent antimonotonic tangencies and cubic polynomial-like strange attractors.


title: Sections of Lie group actions and a theorem by M. Newman

abstract: Let $M$ be a smooth finite-dimensional manifold, $G$ be a Lie group, and $\Phi:G \times M \to M$ be a smooth action. Consider the following mapping $\phi: C^{\infty}(M,G) \to C^{\infty}(M,M)$, defined by $\phi(\alpha)(x) = \alpha(x)\cdot x$, for $\alpha\in C^{\infty}(M,G)$ and $x\in M$. In this paper we describe the structure of inverse images of elements of $C^{\infty}(M,M)$ under $\phi$ for $\dim G=1$, i.e. when $G$ is either $\mathbb{R}$ or $S^1$. As an application we obtain a new proof of the well-known theorem by M. Newman concerning the interior of the fixed point set of a Lie group action.


title: An Approach to the Hirsch Conjecture

abstract: W. M. Hirsch formulated a beautiful conjecture on diameters of convex polyhedra.I suggest a new viewpoint with the deformation and moduli of polytopes.