title: Density of periodic sources in the boundary of a basin of attraction for iteration of holomorphic maps, geometric coding trees technique

abstract: We prove that if A is the basin of immediate attraction to a periodic attracting or parabolic point for a rational map f on the Riemann sphere, then periodic points in the boundary of A are dense in this boundary. To prove this in the non simply- connected or parabolic situations we prove a more abstract, geometric coding trees version.


title: Musings on Magnus

abstract: The object of this paper is to describe a simple method for proving that certain groups are residually torsion-free nilpotent, to describe some new parafree groups and to raise some new problems in honour of the memory of Wilhelm Magnus.


title: \v{C}ech-Stone remainders of spaces that look like $[0,\infty)$

abstract: We show that many spaces that look like the half~line~$\halfline=[0,\infty)$ have, under~$\CH$, a \v{C}ech-Stone-remainder that is homeomorphic to~$\Hstar$. We also show that $\CH$ is equivalent to the statement that all standard subcontinua of~$\Hstar$ are homeomorphic. The proofs use Model-theoretic tools like reduced products and elementary equivalence; rather than constructing homeomorphisms we show that the spaces in question have isomorphic bases for the closed sets.


title: Random Banach spaces. The limitations of the method

abstract: We study the properties of "generic", in the sense of the Haar measure on the corresponding Grassmann manifold, subspaces of l^N_infinity of given dimension. We prove that every "well bounded" operator on such a subspace, say E, is a "small" perturbation of a multiple of identity, where "smallness" is defined intrinsically in terms of the geometry of E. In the opposite direction, we prove that such "generic subspaces of l^N_infinity" do admit "nontrivial well bounded" projections, which shows the "near optimality" of the first mentioned result, and proves the so called "Pisier's dichotomy conjecture" in the "generic" case.


title: The Ehrenfeucht-Fraisse-game of length omega_1

abstract: Let (A) and (B) be two first order structures of the same vocabulary. We shall consider the Ehrenfeucht-Fra{i}sse-game of length omega_1 of A and B which we denote by G_{omega_1}(A,B). This game is like the ordinary Ehrenfeucht-Fraisse-game of L_{omega omega} except that there are omega_1 moves. It is clear that G_{omega_1}(A,B) is determined if A and B are of cardinality <= aleph_1. We prove the following results: Theorem A: If V=L, then there are models A and B of cardinality aleph_2 such that the game G_{omega_1}(A,B) is non-determined. Theorem B: If it is consistent that there is a measurable cardinal, then it is consistent that G_{omega_1}(A,B) is determined for all A and B of cardinality <= aleph_2. Theorem C: For any kappa >= aleph_3 there are A and B of cardinality kappa such that the game G_{omega_1}(A,B) is non-determined.


title: Every coseparable group may be free

abstract: We show that if 2^{aleph_0} Cohen reals are added to the universe, then for every reduced non-free torsion-free abelian group A of cardinality less than the continuum, there is a prime p so that Ext_p(A, Z) not= 0. In particular if it is consistent that there is a supercompact cardinal, then it is consistent (even with weak CH) that every coseparable group is free. The use of some large cardinal hypothesis is needed.


title: Topological partition relations to the form omega^*-> (Y)^1_2

abstract: Theorem: The topological partition relation omega^{*}-> (Y)^{1}_{2} (a) fails for every space Y with |Y| >= 2^c ; (b) holds for Y discrete if and only if |Y| <= c; (c) holds for certain non-discrete P-spaces Y ; (d) fails for Y= omega cup {p} with p in omega^{*} ; (e) fails for Y infinite and countably compact.


title: On postcritically finite polynomials, part 1: critical portraits

abstract: We extend the work of Bielefeld, Fisher and Hubbard on Critical Portraits to the case of arbitrary postcritically finite polynomials. This determines an effective classification of postcritically finite polynomials as dynamical systems. This paper is the first in a series of two based on the author's thesis, which deals with the classification of postcritically finite polynomials. In this first part we conclude the study of critical portraits initiated by Fisher and continued by Bielefeld, Fisher and Hubbard.


title: (p,q,r)-Generations for Janko Groups $J_1$ and $J_2$

abstract: No abstract is available


title: Almost Convex Groups and the Eight Geometries

abstract: If $M$ is a closed Nil geometry 3-manifold then $\pi_1(M)$ is almost convex with respect to a fairly simple ``geometric'' generating set. If $G$ is a central extension or a ${\Bbb Z}$-extension of a word hyperbolic group, then $G$ is also almost convex with respect to some generating set. Combining these with previously known results shows that if $M$ is a closed 3-manifold with one of Thurston's eight geometries, $\pi_1(M)$ is almost convex with respect to some generating set if and only if the geometry in question is not Sol.


title: Sur un generalisation del notion de producto libere amalgamate de gruppos

abstract: In ``A remark about the description of free products of groups'', Proc. Cambgridge Philos. Soc 62(1966), io ha studite lo que occurre in le circumstantia que un gruppo $G$ ha un subensemble $P$ tal que tote elemento de $G$ es representabile unicamente per un verbo reducite in $P$. Il eveni que tal $P$ es multo como un producto libere. Que occurre quando le representation per verbo reducite es unic solmente modulo le sorta de equivalentia que interveni in le theoria del productos libere amalgamate? In iste articulo, io determina le structura internal del subensemble $P$ (io los appella ``pregruppos''), e prova, sequente le methodo de van der Waerden, que su gruppo universal ha le proprietate desiderate. Multe interessante exemplos pote esser trovate; tote semble simile aliquanto al productos libere amalgamate; sed il es nulle simple maniera de construer los omne ex ordinari tal productos.


title: A note on Context Sensitive languages and Word Problems

abstract: Anisimov and Seifert show that a group has a regular word problem ifand only if it is finite. Muller and Schupp (together with Dunwoody's accessibility result) show that a group has context free word problem if and only if it is virtually free. In this note, we exhibit a class of groups where the word problem is as close as possible to being a context sensitive language. This class includes the automatic groups and is closed under passing to finitely generated subgroups. Consequently, it is quite large, including many groups which are not finitely presented.


title: Automatic structures and boundaries for graphs of groups

abstract: We study the synchronous and asynchronous automatic structures on the fundamental group of a graph of groups in which each edge group is finite. Up to a natural equivalence relation, the set of biautomatic structures on such a graph product bijects to the product of the sets of biautomatic structures on the vertex groups. The set of automatic structures is much richer. Indeed, it is dense in the infinite product of the sets of automatic structures of all conjugates of the vertex groups. We classify these structures by a class of labelled graphs which ``mimic" the underlying graph of the graph of groups. Analogous statements hold for asynchronous automatic structures. We also discuss the boundaries of these structures.


title: Noncommutative vector valued $L_p$-spaces and completely $p$-summing maps

abstract: Let $E$ be an operator space in the sense of the theory recently developed by Blecher-Paulsen and Effros-Ruan. We introduce a notion of $E$-valued non commutative $L_p$-space for $1 \leq p < \infty$ and we prove that the resulting operator space satisfies the natural properties to be expected with respect to e.g. duality and interpolation. This notion leads to the definition of a ``completely p-summing" map which is the operator space analogue of the $p$-absolutely summing maps in the sense of Pietsch-Kwapie\'n. These notions extend the particular case $p=1$ which was previously studied by Effros-Ruan.


title: Complex Interpolation and Regular Operators Between Banach

abstract: We study certain interpolation and extension properties of the space of regular operators between two Banach lattices. Let $R_p$ be the space of all the regular (or equivalently order bounded) operators on $L_p$ equipped with the regular norm. We prove the isometric identity $R_p = (R_\infty,R_1)^\theta$ if $\theta = 1/p$, which shows that the spaces $(R_p)$ form an interpolation scale relative to Calder\'on's interpolation method. We also prove that if $S\subset L_p$ is a subspace, every regular operator $u : S \to L_p$ admits a regular extension $\tilde u : L_p \to L_p$ with the same regular norm. This extends a result due to Mireille L\'evy in the case $p = 1$. Finally, we apply these ideas to the Hardy space $H^p$ viewed as a subspace of $L_p$ on the circle. We show that the space of regular operators from $H^p$ to $L_p$ possesses a similar interpolation property as the spaces $R_p$ defined above.


title: Isometric stability property of certain Banach spaces

abstract: Let $E$ be one of the spaces $C(K)$ and $L_1$, $F$ be an arbitrary Banach space, $p>1,$ and $(X,\sigma)$ be a space with a finite measure. We prove that $E$ is isometric to a subspace of the Lebesgue-Bochner space $L_p(X;F)$ only if $E$ is isometric to a subspace of $F.$ Moreover, every isometry $T$ from $E$ into $L_p(X;F)$ has the form $Te(x)=h(x)U(x)e, e\in E,$ where $h:X\rightarrow R$ is a measurable function and, for every $x\in X,$ $U(x)$ is an isometry from $E$ to $F.$


title: The k_t--functional for the interpolation couple L^\infty(d\mu;L^1(d\nu)), L^\infty(d\nu;L^1(d\mu))

abstract: Let $(M,\mu)$ and $(N,\nu)$ be measure spaces. In this paper, we study the $K_t$--\,functional for the couple $$A_0=L^\infty(d\mu\,; L^1(d\nu))\,,~~A_1=L^\infty(d\nu\,; L^1(d\mu))\,. $$ Here, and in what follows the vector valued $L^p$--\,spaces $L^p(d\mu\,; L^q(d\nu))$ are meant in Bochner's sense. One of our main results is the following, which can be viewed as a refinement of a lemma due to Varopoulos [V]. \proclaim Theorem 0.1. Let $(A_0,A_1)$ be as above. Then for all $f$ in $A_0+A_1$ we have $${1\over 2}\,K_t(f;\,A_0\,,A_1)\leq \sup\,\bigg\{ \Big(\mu(E)\vee t^{-1}\nu(F)\Big)^{-1} \int_{E\times F} \vert f\vert\,d\mu\,d\nu\,\bigg\} \leq K_t(f;\,A_0\,,A_1)\,,$$ where the supremum runs over all measurable subsets $E\subset M\,,~ F\subset N$ with positive and finite measure and $u\!\vee\!v$ denotes the maximum of the reals $u$ and $v$.


title: Some stability properties of $c_0$-saturated spaces

abstract: A Banach space is $c_0$-saturated if all of its closed infinite dimensional subspaces contain an isomorph of $c_0$. In this article, we study the stability of this property under the formation of direct sums and tensor products. Some of the results are: (1) a slightly more general version of the fact that $c_0$-sums of $c_0$-saturated spaces are $c_0$-saturated; (2) $C(K,E)$ is $c_0$-saturated if both $C(K)$ and $E$ are; (3) the tensor product $JH\tilde{\otimes}_\epsilon JH$ is $c_0$-saturated, where $JH$ is the James Hagler space.


title: Banach spaces without local unconditional structure

abstract: For a large class of Banach spaces, a general construction of subspaces without local unconditional structure is presented. As an application it is shown that every Banach space of finite cotype contains either $l_2$ or a subspace without unconditional basis, which admits a Schauder basis. Some other interesting applications and corollaries follow.


title: A remark about distortion

abstract: In this note we show that every Banach space $X$ not containing $\ell_1^n$ uniformly and with unconditional basis contains an arbitrarily distortable subspace.


title: A WZ proof of Ramanujan's Formula for Pi

abstract: Ramanujan's series for Pi, that appeared in his famous letter to Hardy, is given a one-line WZ proof.


title: Strong measure zero sets without Cohen reals

abstract: If ZFC is consistent, then each of the following are consistent with ZFC + 2^{{aleph_0}}= aleph_2 : 1.) X subseteq R is of strong measure zero iff |X| <= aleph_1 + there is a generalized Sierpinski set. 2.) The union of aleph_1 many strong measure zero sets is a strong measure zero set + there is a strong measure zero set of size aleph_2.


title: mu-complete Suslin trees on mu^+

abstract: We prove that mu = mu^{< mu}, 2^mu = mu^+ and ``there is a non reflecting stationary subset of mu^+ composed of ordinals of cofinality < mu'' imply that there is a mu-complete Souslin tree on mu^+ .


title: The geometry of symplectic energy

abstract: In this paper we consider a geometric variant of Hofer's symplectic energy, which was first considered by Eliashberg and Hofer in connection with their study of the extent to which the interior of a region in a symplectic manifold determines its boundary. We prove, by a simple geometric argument, that both versions of energy give rise to genuine norms on all symplectic manifolds. Roughly speaking, we show that if there were a symplectomorphism of $M$ which had "too little" energy, one could embed a large ball into a thin cylinder $M \times B^2$. Thus there is a direct geometric relation between symplectic rigidity and energy. The second half of the paper is devoted to a proof of the Non-Squeezing theorem for an arbitrary manifold $M$. We do not need to restrict to manifolds in which the theory of pseudo-holomorphic curves behaves well. This is of interest since most other deep results in symplectic topology are generalised from Euclidean space to other manifolds by using this theory, and hence are still not known to be valid for arbitrary symplectic manifolds.


title: Evolutionary Semigroups and Lyapunov Theorems in Banach Spaces

abstract: We present a spectral mapping theorem for continuous semigroups of operators on any Banach space $E$. The condition for the hyperbolicity of a semigroup on $E$ is given in terms of the generator of an evolutionary semigroup acting in the space of $E$-valued functions. The evolutionary semigroup generated by the propagator of a nonautonomous differential equation in $E$ is also studied. A ``discrete'' technique for the investigating of the evolutionary semigroup is developed and applied to describe the hyperbolicity (exponential dichotomy) of the nonautonomuos equation. File Length: 68K


title: Chu's 1303 Identity Implies Bombieri's 1990 Norm-Inequality [via an Identity of Beauzamy and D\'egot]

abstract: The Vandermonde-Chu Binomial Coefficients Identity is shown to imply Bombieri's deep norm inequalities, via identities of Beauzamy-D\'egot, and Reznick.


title: On weighted transplantation and multipliers for Laguerre expansions

abstract: Using the standard square--function method (based on the Poisson semigroup), multiplier conditions of H\"ormander type are derived for Laguerre expansions in $L^p$--spaces with power weights in the $A_p$-range; this result can be interpreted as an ``upper end point'' multiplier criterion which is fairly good for $p$ near $1$ or near $\infty $. A weighted generalization of Kanjin's \cite{kan} transplantation theorem allows to obtain a ``lower end point'' multiplier criterion whence by interpolation nearly ``optimal'' multiplier criteria (in dependance of $p$, the order of the Laguerre polynomial, the weight).


title: Associated Stieltjes-Carlitz polynomials and a generalization of Heun's differential equation.

abstract: The generating function of Stieltjes-Carlitz polynomials is a solution of Heun's differential equation and using this relation Carlitz was the first to get exact closed forms for some Heun functions. Similarly the associated Stieltjes-Carlitz polynomials lead to a new differential equation which we call associated Heun. Thanks to the link with orthogonal polynomials we are able to deduce two integral relations connecting associated Heun functions with different parameters and to exhibit the set of associated Heun functions which generalize Carlitz's. Part of these results were used by the author to derive the Stieltjes transform of the measure of orthogonality for the associated Stieltjes-Carlitz polynomials using asymptotic analysis; here we present a new derivation of this result.


title: An analog of the Fourier transformation for a q-harmonic oscillator

abstract: A q-version of the Fourier transformation and some of its properties are discussed.


title: The q-harmonic oscillator and an analog of the Charlier polynomials

abstract: A model of a q-harmonic oscillator based on q-Charlier polynomials of Al-Salam and Carlitz is discussed. Simple explicit realization of q-creation and q-annihilation operators, q-coherent states and an analog of the Fourier transformation are found. A connection of the kernel of this transform with biorthogonal rational functions is observed.


title: The q-harmonic oscillator and the Al-Salam and Carlitz polynomials

abstract: One more model of a q-harmonic oscillator based on the q-orthogonal polynomials of Al-Salam and Carlitz is discussed. The explicit form of q-creation and q-annihilation operators, q-coherent states and an analog of the Fourier transformation are established. A connection of the kernel of this transform with a family of self-dual biorthogonal rational functions is observed.


title: The combinatorics of q-Charlier polynomials

abstract: We describe various aspects of the Al-Salam-Carlitz $q$-Charlier polynomials. These include combinatorial descriptions of the moments, the orthogonality relation, and the linearization coefficients.


title: A high-school algebra wallet-sized proof, of the Bieberbach conjecture After L. Weinstein]

abstract: Weinstein's[2] brilliant short proof of de Branges'[1] theorem can be made yet much shorter(modulo routine calculations), completely elementary (modulo L\"owner theory), self contained(no need for the esoteric Legendre polynomials' addition theorem), and motivated(ditto), as follows.


title: Using sums of squares to prove that certain entire functions have only real zeros

abstract: It is shown how sums of squares of real valued functions can be used to give new proofs of the reality of the zeros of the Bessel functions $J_\alpha (z)$ when $\alpha \ge -1,$ confluent hypergeometric functions ${}_0F_1(c\/; z)$ when $c>0$ or $0>c>-1$, Laguerre polynomials $L_n^\alpha(z)$ when $\alpha \ge -2,$ and Jacobi polynomials $P_n^{(\alpha,\beta)}(z)$ when $\alpha \ge -1$ and $ \beta \ge -1.$ Besides yielding new inequalities for $|F(z)|^2,$ where $F(z)$ is one of these functions, the derived identities lead to inequalities for $\partial |F(z)|^2/\partial y$ and $\partial ^2 |F(z)|^2/\partial y^2,$ which also give new proofs of the reality of the zeros.


title: On necessary multiplier conditions for Laguerre expansions

abstract: The necessary multiplier conditions for Laguerre expansions derived in Gasper and Trebels \cite{laguerre} are supplemented and modified. This allows us to place Markett's Cohen type inequality \cite{cohen} (up to the $\log $--case) in the general framework of necessary conditions.


title: Algorithm xxx --- ORTHPOL: A package of routines for generating orthogonal polynomials and Gauss-type quadrature rules

abstract: A collection of subroutines and examples of their uses, as well as the underlying numerical methods, are described for generating orthogonal polynomials relative to arbitrary weight functions. The object of these routines is to produce the coefficients in the three-term recurrence relation satisfied by the orthogonal polynomials. Once these are known, additional data can be generated, such as zeros of orthogonal polynomials and Gauss-type quadrature rules, for which routines are also provided.


title: Some integrals involving Bessel functions

abstract: A number of new definite integrals involving Bessel functions are presented. These have been derived by finding new integral representations for the product of two Bessel functions of different order and argument in terms of the generalized hypergeometric function with subsequent reduction to special cases. Connection is made with Weber's second exponential integral and Laplace transforms of products of three Bessel functions.


title: Computational aspects of the gravitational instability problem for a multicomponent cosmological medium

abstract: The paper presents results for deriving closed-form analytic solutions of the evolution of inhomogeneities in a homogeneous spatially flat multicomponent cosmological model. Mathematical methods to derive computable forms of the perturbations are outlined.


title: Polynomial interpolation and Gaussian quadrature for matrix valued functions

abstract: The techniques for polynomial interpolation and Gaussian quadrature are generalized to matrix-valued functions. It is shown how the zeros and rootvectors of matrix orthonormal polynomials can be used to get a quadrature formula with the highest degree of precision.


title: Jacobi polynomials of type BC, Jack polynomials, limit transitions and O(\infty)

abstract: This is an extended abstract of a lecture held at the Conference ``Fourier and Radon transformations on symmetric spaces'' in honor of Professor S. Helgason's 65th birthday, Roskilde, Denmark, Sept. 10--12, 1992.


title: Some results on co-recursive associated Laguerre and Jacobi polynomials

abstract: We present results on co-recursive associated Laguerre and Jacobi polynomials which are of interest for the solution of the Chapman-Kolmogorov equations of some birth and death processes with or without absorption. Explicit forms, generating functions, and absolutely continuous part of the spectral measures are given. We derive fourth-order differential equations satisfied by the polynomials with a special attention to some simple limiting cases.


title: Painlev\'e-type differential equations for the recurrence coefficients of semi-classical orthogonal polynomials.

abstract: Recurrence coefficients of semi-classical orthogonal polynomials (orthogonal polynomials related to a weight function $w$ such that $w'/w$ is a rational function) are shown to be solutions of non linear differential equations with respect to a well-chosen parameter, according to principles established by D. G. Chudnovsky. Examples are given. For instance, the recurrence coefficients in $a_{n+1}p_{n+1}(x)=xp_n(x) -a_np_{n-1}(x)$ of the orthogonal polynomials related to the weight $\exp(-x^4/4-tx^2)$ on {\blackb R\/} satisfy $4a_n^3\ddot a_n = (3a_n^4+2ta_n^2-n)(a_n^4+2ta_n^2+n)$, and $a_n^2$ satisfies a Painlev\'e ${\rm P}_{\rm IV}$ equation.


title: Specializations of generalized Laguerre polynomials

abstract: Three specializations of a set of orthogonal polynomials with ``8 different q's'' are given. The polynomials are identified as $q$-analogues of Laguerre polynomials, and the combinatorial interpretation of the moments give infinitely many new Mahonian statistics on permutations.


title: The impact of Stieltjes' work on continued fractions and orthogonal polynomials

abstract: Stieltjes' work on continued fractions and the orthogonal polynomials related to continued fraction expansions is summarized and an attempt is made to describe the influence of Stieltjes' ideas and work in research done after his death, with an emphasis on the theory of orthogonal polynomials.


title: Quadrature formulas based on rational interpolation

abstract: We consider quadrature formulas based on interpolation using the basis functions $1/(1+t_kx)$ $(k=1,2,3,\ldots)$ on $[-1,1]$, where $t_k$ are parameters on the interval $(-1,1)$. We investigate two types of quadratures: quadrature formulas of maximum accuracy which correctly integrate as many basis functions as possible (Gaussian quadrature), and quadrature formulas whose nodes are the zeros of the orthogonal functions obtained by orthogonalizing the system of basis functions (orthogonal quadrature). We show that both approaches involve orthogonal polynomials with modified (or varying) weights which depend on the number of quadrature nodes. The asymptotic distribution of the nodes is obtained as well as various interlacing properties and monotonicity results for the nodes.


title: Applications of generalized special functions in stellar astrophysics

abstract: This article gives an brief outline of the applications of generalized special functions such as generalized hypergeometric functions, G-functions and H-functions into the general area of nuclear energy generation and reaction rate theory such as the energy generation in a simple stellar model and nuclear reaction rates in non-resonant and resonant as well as screened non-resonant


title: Gauss-type quadrature rules for rational functions

abstract: When integrating functions that have poles outside the interval of integration, but are regular otherwise, it is suggested that the quadrature rule in question ought to integrate exactly not only polynomials (if any), but also suitable rational functions. The latter are to be chosen so as to match the most important poles of the integrand. We describe two methods for generating such quadrature rules numerically and report on computational experience with them.


title: Generalized Hermite polynomials and the Bose-like oscillator calculus

abstract: This paper studies a suitably normalized set of generalized Hermite polynomials and sets down a relevant Mehler formula, Rodrigues formula, and generalized translation operator. Weighted generalized Hermite polynomials are the eigenfunctions of a generalized Fourier transform which satisfies an F. and M. Riesz theorem on the absolute continuity of analytic measures. The Bose-like oscillator calculus, which generalizes the calculus associated with the quantum mechanical simple harmonic oscillator, is studied in terms of these polynomials.


title: A counterexample to the rigidity conjecture for rings

abstract: An example is constructed of a local ring and a module of finite type and finite projective dimension over that ring such that the module is not rigid. This shows that the rigidity conjecture is false.


title: Adding handles to the helicoid

abstract: There exist two new embedded minimal surfaces, asymptotic to the helicoid. One is periodic, with quotient (by orientation-preserving translations) of genus one. The other is nonperiodic of genus one.


title: ``Theoretical mathematics'': Toward a cultural synthesis of mathematics and theoretical physics

abstract: Is speculative mathematics dangerous? Recent interactions between physics and mathematics pose the question with some force: traditional mathematical norms discourage speculation, but it is the fabric of theoretical physics. In practice there can be benefits, but there can also be unpleasant and destructive consequences. Serious caution is required, and the issue should be considered before, rather than after, obvious damage occurs. With the hazards carefully in mind, we propose a framework that should allow a healthy and positive role for speculation.


title: Topological invariance of intersection lattices of arrangements in CP^2

abstract: Let $\scr A^*=\{l_1,l_2,\cdots,l_n\}$ be a line arrangement in $\Bbb{CP}^2$, i.e., a collection of distinct lines in $\Bbb{CP}^2$. Let $L(\scr A^*)$ be the set of all intersections of elements of $A^*$ partially ordered by $X\leq Y\Leftrightarrow Y\subseteq X$. Let $M(\scr A^*)$ be $\Bbb{CP}^2-\bigcup\scr A^*$ where $\bigcup\scr A^*= \bigcup\{l_i\colon\ 1\leq i\leq n\}$. The central problem of the theory of arrangement of lines in $\Bbb{CP}^2$ is the relationship between $M(\scr A^*)$ and $L(\scr A^*)$.


title: A counterexample to Borsuk's conjecture

abstract: Let $f(d)$ be the smallest number so that every set in $R^d$ of diameter 1 can be partitioned into $f(d)$ sets of diameter smaller than 1. Borsuk's conjecture was that $f(d)\! =\!d\!+\!1$. We prove that $f(d)\! \ge\! (1.2)^{\sqrt d}$ for large~$d$.


title: The genus-minimizing property of algebraic curves

abstract: A viable and still unproved conjecture states that, if $X$ is a smooth algebraic surface and $C$ is a smooth algebraic curve in $X$, then $C$ realizes the smallest possible genus amongst all smoothly embedded $2$-manifolds in its homology class. A proof is announced here for this conjecture, for a large class of surfaces $X$, under the assumption that the normal bundle of $C$ has positive degree.


title: On the passage from local to global in number theory

abstract: The author surveys the problem of piecing together integral or rational solutions to Diophantine equations (global structure) from solutions modulo congruences and real solutions (local structure).


title: Absence of Cantor spectrum for a class of Schr\"odinger operators

abstract: It is shown that the complete localization of eigenvectors for the almost Mathieu operator entails the absence of Cantor spectrum for this operator.


title: Quasipositivity as an obstruction to sliceness

abstract: For an oriented link $L \subset S^3 = \Bd\!D^4$, let $\chi_s(L)$ be the greatest Euler characteristic $\chi(F)$ of an oriented 2-manifold $F$ (without closed components) smoothly embedded in $D^4$ with boundary $L$. A knot $K$ is {\it slice} if $\chi_s(K)=1$. Realize $D^4$ in $\C^2$ as $\{(z,w):|z|^2+|w|^2\le1\}$. It has been conjectured that, if $V$ is a nonsingular complex plane curve transverse to $S^3$, then $\chi_s(V\cap S^3)=\chi(V\cap D^4)$. Kronheimer and Mrowka have proved this conjecture in the case that $V\cap D^4$ is the Milnor fiber of a singularity. I explain how this seemingly special case implies both the general case and the ``slice-Bennequin inequality'' for braids. As applications, I show that various knots are not slice (e.g., pretzel knots like $\Pscr(-3,5,7)$; all knots obtained from a positive trefoil $O\{2,3\}$ by iterated untwisted positive doubling). As a sidelight, I give an optimal counterexample to the ``topologically locally-flat Thom conjecture''.


title: Average case complexity of linear multivariate problems

abstract: We study the average case complexity of a linear multivariate problem $(\lmp)$ defined on functions of $d$ variables. We consider two classes of information. The first $\lstd$ consists of function values and the second $\lall$ of all continuous linear functionals. Tractability of $\lmp$ means that the average case complexity is $O((1/\e)^p)$ with $p$ independent of $d$. We prove that tractability of an $\lmp$ in $\lstd$ is equivalent to tractability in $\lall$, although the proof is {\it not} constructive. We provide a simple condition to check tractability in $\lall$. We also address the optimal design problem for an $\lmp$ by using a relation to the worst case setting. We find the order of the average case complexity and optimal sample points for multivariate function approximation. The theoretical results are illustrated for the folded Wiener sheet measure.


title: On postcritically finite polynomials, part 2: Hubbard trees

abstract: We provide an effective classification of postcritically finite polynomials as dynamical systems by means of Hubbard Trees. This can be viewed as an application of the results developed in part 1 (Stony Brook IMS 1993/5).


title: An application of Shoenfield's absoluteness theorem to the theory of uniform distribution

abstract: If (B_x: x in N) is a Borel family of sets, indexed by the Baire space N = omega^omega, all B_x have measure zero, and the family is increasing, then the union of all B_x also has measure zero. We give two proofs of this theorem: one in the language of set theory, using Shoenfield's theorem on Sigma-1-2 sets, the other in the language of probability theory, using von Neumann's selection theorem, and we apply the theorem to a question on completely uniformly distributed sequences.


title: Addendum to ``Maximal Chains in $\fomom$ and Ultrapowers of the Integers''

abstract: Upon presenting the proof of Theorem 3.3 in "Maximal chains in $$ and ultrapowers of the integers" I discovered that it is not entirely correct and certainly some details should be added. I have therefore written an addendum to the paper and made it available by ftp. Unfortunately the published version will be somewhat wanting.


title: The structure of pleasant ideals

abstract: Normal ideals on regular uncountable cardinals are familiar objects. We investigate ideals that are pleasant--while a normal ideal is closed under arbitrary diagonal unions, a pleasant ideal is closed only under diagonal unions indexed by sets that are elements of the ideal. We show any selective ideal extending the nonstationary ideal must be normal.


title: Exact operator spaces

abstract: In this paper, we study {\it operator spaces\/} in the sense of the theory developed recently by Blecher-Paulsen [BP] and Effros-Ruan [ER1]. By an operator space, we mean a closed subspace $E\subset B(H)$, with $H$ Hilbert. We will be mainly concerned here with the ``geometry'' of {\it finite dimensional\/} operator spaces. In the Banach space category, it is well known that every separable space embeds isometrically into $\ell_\infty$. Moreover, if $E$ is a finite dimensional normed space then for each $\vp>0$, there is an integer $n$ and a subspace $F\subset \ell^n_\infty$ which is $(1+\vp)$-isomorphic to $E$, i.e. there is an isomorphism $u\colon \ E\to F$ such that $\|u\|\ \|u^{-1}\|\le 1+\vp$. Here of course, $n$ depends on $\vp$, say $n=n(\vp)$ and usually (for instance if $E = \ell^k_2$) we have $n(\vp)\to \infty$ when $\vp\to 0$. Quite interestingly, it turns out that this fact is not valid in the category of operator spaces:\ although every operator space embeds completely isometrically into $B(H)$ (the non-commutative analogue of $\ell_\infty$) it is not true that a finite dimensional operator space must be close to a subspace of $M_n$ (the non-commutative analogue of $\ell^n_\infty$) for some $n$. The main object of this paper is to study this phenomenon.


title: On impossible extensions of Krivine's Theorem

abstract: We give examples of two Banach spaces. One Banach space has no spreading model which contains $\ell_p$ ($1\le p<\infty$) or $c_0$. The other space has an unconditional basis for which $\ell_p$ ($1\le p<\infty$) and $c_0$ are block finitely represented in all block bases.


title: The $M$-ideal structure of some algebras of bounded linear operators

abstract: Let $1<p,\,q<\infty$. It is shown for complex scalars that there are no nontrivial $M$-ideals in $L(L_p[0,1])$ if $p\neq 2$, and $K(\ell_p(\ell_q^n)$ is the only nontrivial $M$-ideal in $L(\ell_p(\ell_q^n)$. This proves a conjecture of C.-M. Cho and W. B. Johnson.


title: Regular operators between non-commutative $L_p$-spaces

abstract: We introduce the notion of a regular mapping on a non-commutative $L_p$-space associated to a hyperfinite von Neumann algebra for $1\le p\le \infty$. This is a non-commutative generalization of the notion of regular or order bounded map on a Banach lattice. This extension is based on our recent paper [P3], where we introduce and study a non-commutative version of vector valued $L_p$-spaces. In the extreme cases $p=1$ and $p=\infty$, our regular operators reduce to the completely bounded ones and the regular norm coincides with the $cb$-norm. We prove that a mapping is regular iff it is a linear combination of bounded, completely positive mappings. We prove an extension theorem for regular mappings defined on a subspace of a non-commutative $L_p$-space. Finally, let $R_p$ be the space of all regular mappings on a given non-commutative $L_p$-space equipped with the regular norm. We prove the isometric identity $R_p=(R_\infty,R_1)^\theta$ where $\theta=1/p$ and where $(\ .\ ,\ .\ )^\theta$ is the dual variant of Calder\'on's complex interpolation method.


title: Bilinear forms on exact operator spaces and B(H)\otimes B(H)

abstract: Let $E,F$ be exact operators (For example subspaces of the $C^*$-algebra $K(H)$ of all the compact operators on an infinite dimensional Hilbert space $H$). We study a class of bounded linear maps $u\colon E\to F^*$ which we call tracially bounded. In particular, we prove that every completely bounded (in short $c.b.$) map $u\colon E\to F^*$ factors boundedly through a Hilbert space. This is used to show that the set $OS_n$ of all $n$-dimensional operator spaces equipped with the $c.b.$ version of the Banach Mazur distance is not separable if $n>2$. As an application we show that there is more than one $C^*$-norm on $B(H)\otimes B(H)$, or equivalently that $$B(H)\otimes_{\min}B(H)\not=B(H)\otimes_{\max}B(H),$$ which answers a long standing open question. Finally we show that every ``maximal" operator space (in the sense of Paulsen) is not exact in the infinite dimensional case, and in the finite dimensional case, we give a lower bound for the ``exactness constant".


title: Astrophysical thermonuclear functions

abstract: Stars are gravitationally stabilized fusion reactors changing their chemical composition while transforming light atomic nuclei into heavy ones. The atomic nuclei are supposed to be in thermal equilibrium with the ambient plasma. The majority of reactions among nuclei leading to a nuclear transformation are inhibited by the necessity for the charged participants to tunnel through their mutual Coulomb barrier. As theoretical knowledge and experimental verification of nuclear cross sections increases it becomes possible to refine analytic representations for nuclear reaction rates. Over the years various approaches have been made to derive closed-form representations of thermonuclear reaction rates (Critchfield 1972, Haubold and John 1978, Haubold, Mathai and Anderson 1987). They show that the reaction rate contains the astrophysical cross section factor and its derivatives which has to be determined experimentally, and an integral part of the thermonuclear reaction rate independent from experimental results which can be treated by closed-form representation techniques in terms of generalized hypergeometric functions. In this paper mathematical/statistical techniques for deriving closed-form representations of thermonuclear functions will be summarized and numerical results for them will be given. The separation of thermonuclear functions from thermonuclear reaction rates is our preferred result. The purpose of the paper is also to compare numerical results for approximate and closed-form representations of thermonuclear functions. This paper completes the work of Haubold, Mathai, and Anderson (1987).


title: The canary tree

abstract: A canary tree is a tree of cardinality the continuum which has no uncountable branch, but gains a branch whenever a stationary set is destroyed (without adding reals). Canary trees are important in infinitary model theory. The existence of a canary tree is independent of ZFC + GCH.


title: On a conjecture regarding nonstandard uniserial modules

abstract: We consider the question of which valuation domains (of cardinality aleph_1) have non-standard uniserial modules. We show that a criterion conjectured by Osofsky is independent of ZFC + GCH.


title: On CH + 2^{aleph_1}-> (alpha)^2_2 for alpha < omega_2

abstract: We prove the consistency of ``CH + 2^{aleph_1} is arbitrarily large + 2^{aleph_1} not-> (omega_1 x omega)^2_2''. If fact, we can get 2^{aleph_1} not-> [omega_1 x omega]^2_{aleph_0}. In addition to this theorem, we give generalizations to other cardinals.


title: On coherent systems of projections for aleph_1 separable groups

abstract: It is proved consistent with either CH or the negation of CH that there is an aleph_1-separable group of cardinality aleph_1 which does not have a coherent system of projections. It had previously been shown that it is consistent with not CH that every aleph_1-separable group of cardinality aleph_1 does have a coherent system of projections.


title: Somewhere trivial automorphisms

abstract: It is shown to be consistent that there is a non-trivial autohomeomorphism of beta N while all such autohomeomorphisms are trivial on some open set. The model used is one due to Velickovic in which, coincidentally, Martin's Axiom also holds.


title: Dominating functions and graphs

abstract: A graph is called dominating if its vertices can be labelled with integers in such a way that for every function f: omega-> omega the graph contains a ray whose sequence of labels eventually exceeds f. We obtain a characterization of these graphs by producing a small family of dominating graphs with the property that every dominating graph must contain some member of the family.


title: A saturated model of an unsuperstable theory of cardinality greater than its theory has the small index property

abstract: A model M of cardinality lambda is said to have the small index property if for every G subseteq Aut(M) such that [Aut(M):G] <= lambda there is an A subseteq M with |A|< lambda such that Aut_A(M) subseteq G. We show that if M^* is a saturated model of an unsuperstable theory of cardinality > Th(M), then M^* has the small index property.


title: Number of open sets for a topology with a countable basis

abstract: Let T be the family of open subsets of a topological space (not necessarily Hausdorff or even T_0). We prove that if T has a countable base and is not countable, then T has cardinality at least continuum.


title: A model in which there are Jech-Kunen trees but there are no Kurepa trees

abstract: By an omega_1 --tree we mean a tree of power omega_1 and height omega_1. We call an omega_1 --tree a Jech--Kunen tree if it has kappa --many branches for some kappa strictly between omega_1 and 2^{omega_1}. In this paper we construct the models of CH plus 2^{omega_1}> omega_2, in which there are Jech--Kunen trees and there are no Kurepa trees.


title: Peano Arithmetic may not be interpretable in the monadic theory of orders

abstract: Gurevich and Shelah have shown that Peano Arithmetic cannot be interpreted in the monadic second-order theory of short chains (hence, in the monadic second-order theory of the real line). We show here that it is consistent that there is no interpretation even in the monadic second-order theory of all chains.


title: Consequences of arithmetic for set theory

abstract: In this paper, we consider certain cardinals in ZF (set theory without AC, the Axiom of Choice). In ZFC (set theory with AC), given any cardinals C and D, either C <= D or D <= C. However, in ZF this is no longer so. For a given infinite set A consider Seq(A), the set of all sequences of A without repetition. We compare |Seq(A)|, the cardinality of this set, to |P(A)|, the cardinality of the power set of A. What is provable about these two cardinals in ZF? The main result of this paper is that ZF |- for all A: |Seq(A)| not= |P(A)| and we show that this is the best possible result. Furthermore, it is provable in ZF that if B is an infinite set, then |fin(B)|<|P(B)|, even though the existence for some infinite set B^* of a function f from fin(B^*) onto P(B^*) is consistent with ZF.


title: Universal graphs without large cliques

abstract: We give some existence/nonexistence statements on universal graphs, which under GCH give a necessary and sufficient condition for the existence of a universal graph of size lambda with no K(kappa), namely, if either kappa is finite or cf(kappa)>cf(lambda). (Here K(kappa) denotes the complete graph on kappa vertices.) The special case when lambda^{< kappa}= lambda was first proved by F. Galvin. Next, we investigate the question that if there is no universal K(kappa)-free graph of size lambda then how many of these graphs embed all the other. It was known, that if lambda^{< lambda}= lambda (e.g., if lambda is regular and the GCH holds below lambda), and kappa = omega, then this number is lambda^+. We show that this holds for every kappa <= lambda of countable cofinality. On the other hand, even for kappa = omega_1, and any regular lambda >= omega_1 it is consistent that the GCH holds below lambda, 2^{lambda} is as large as we wish, and the above number is either lambda^+ or 2^{lambda}, so both extremes can actually occur.


title: On uniformly antisymmetric functions

abstract: We show that there is always a uniformly antisymmetric f:A-> {0,1} if A subset R is countable. We prove that the continuum hypothesis is equivalent to the statement that there is an f:R-> omega with |S_x| <= 1 for every x in R. If the continuum is at least aleph_n then there exists a point x such that S_x has at least 2^n-1 elements. We also show that there is a function f:Q-> {0,1,2,3} such that S_x is always finite, but no such function with finite range on R exists


title: Induced expansion for quadratic polynomials

abstract: We prove that non-hyperbolic non-renormalizable quadratic polynomials are expansion inducing. For renormalizable polynomials a counterpart of this statement is that in the case of unbounded combinatorics renormalized mappings become almost quadratic. Technically, this follows from the decay of the box geometry. Specific estimates of the rate of this decay are shown which are sharp in a class of S-unimodal mappings combinatorially related to rotations of bounded type. We use real methods based on cross-ratios and Schwarzian derivative complemented by complex-analytic estimates in terms of conformal moduli.


title: Complexity of the classical kernel functions of potential theory

abstract: We show that the Bergman, Szego, and Poisson kernels associated to a finitely connected domain in the plane are all composed of finitely many easily computed functions of one variable. The new formulas give rise to new methods for computing the Bergman and Szeg\H o kernels in which all integrals used in the computations are line integrals; at no point is an integral with respect to area measure required. The results mentioned so far can be interpreted as saying that the kernel functions are simpler than one might expect. However, we also prove that the kernels cannot be too simple by showing that the only finitely connected domains in the plane whose Bergman or Szeg\H o kernels are rational functions are the obvious ones. This leads to a proof that the classical Green's function associated to a finitely connected domain in the plane is the logarithm of a rational function if and only if the domain is simply connected and rationally equivalent to the unit disc.


title: Moduli of bounded holomorphic functions in the ball

abstract: We prove that there is a continuous non-negative function $g$ on the unit sphere in $\cd$, $d \geq 2$, whose logarithm is integrable with respect to Lebesgue measure, and which vanishes at only one point, but such that no non-zero bounded analytic function $m$ in the unit ball, with boundary values $m^\star$, has $|m^\star| \leq g$ almost everywhere. The proof analyzes the common range of co-analytic Toeplitz operators in the Hardy space of the ball.


title: Ultrafilters: Where topological dynamics = algebra = combinatorics

abstract: We survey some connections between topological dynamics, semigroups of ultrafilters, and combinatorics. As an application, we give a proof, based on ideas of Bergelson and Hindman, of the Hales-Jewett partition theorem.


title: Evasion and prediction --- the Specker phenomenon and Gross spaces

abstract: We study the set--theoretic combinatorics underlying the following two algebraic phenomena. (1) A subgroup G leq Z^omega exhibits the Specker phenomenon iff every homomorphism G to Z maps almost all unit vectors to 0. Let se be the size of the smallest G leq Z^omega exhibiting the Specker phenomenon. (2) Given an uncountably dimensional vector space E equipped with a symmetric bilinear form Phi over an at most countable field KK, (E,Phi) is strongly Gross iff for all countably dimensional U leq E, we have dim(U^perp) leq omega. Blass showed that the Specker phenomenon is closely related to a combinatorial phenomenon he called evading and predicting. We prove several additional results (both theorems of ZFC and independence proofs) about evading and predicting as well as se, and relate a Luzin--style property associated with evading to the existence of strong Gross spaces.


title: Combinatorial properties of classical forcing notions

abstract: We discuss the effect of adding a single real (for various forcing notions adding reals) on cardinal invariants associated with the continuum (like the unbounding or the dominating number or the cardinals related to measure and category on the real line). For random and Cohen forcing, this question was investigated by Cicho'n and Pawlikowski; for Hechler forcing, by Judah, Shelah and myself. We show here: (1) adding an eventually different or a localization real adjoins a Luzin set of size continuum and a mad family of size omega_1; (2) Laver and Mathias forcing collapse the dominating number to omega_1 --- consequences: (A) CON(d=omega_1 + unif(L) = unif (M) = kappa = 2^omega) for any regular uncountable kappa; (B) Two Laver or Mathias reals added iteratively always force CH (even diamond); (C) Sigma^1_4-Mathias-absoluteness implies the Sigma^1_3- Ramsey property; (3) Miller's rational perfect set forcing preserves the axiom MA(sigma-centered).


title: The additivity of porosity ideals

abstract: We show that several sigma-ideals related to porous sets have additivity omega_1 and cofinality 2^omega. This answers a question addressed by Miroslav Repick'y.


title: A New Proof of Kunen's Inconsistency

abstract: Using elementary pcf, we show that there is no $j:V\to M,$ $M$ transitive, $j\lambda =\lambda >crit(j),$ $j^{\prime \prime}\lambda \in M.$


title: Questions and answers -- a category arising in linear logic, complexity theory, and set theory

abstract: A category used by de Paiva to model linear logic also occurs in Vojtas's analysis of cardinal characteristics of the continuum. Its morphisms have been used in describing reductions between search problems in complexity theory. We describe this category and how it arises in these various contexts. We also show how these contexts suggest certain new multiplicative connectives for linear logic. Perhaps the most interesting of these is a sequential composition suggested by the set-theoretic application.


title: Possible Behaviours of the Reflection Ordering of Stationary Sets

abstract: If $S,T$ are stationary subsets of a regular uncountable cardinal $\kappa$, we say that $S$ reflects fully in $T$, $S<T$, if for almost all $\alpha \in T$ (except a nonstationary set) $S \cap \alpha$ is stationary in $\alpha .$ This relation is known to be a well founded partial ordering. We say that a given poset $P$ is realized by the reflection ordering if there is a maximal antichain $\langle X_p ; p \in P \rangle$ of stationary subsets of $Reg(\kappa)$ so that $$\forall p,q \in P \; \forall S\subseteq X_p, T\subseteq X_q \text{ stationary}:(S<T \leftrightarrow p<_P q ) .$$ We prove that if $\kappa$ is $\Cal P _2 \kappa -$strong and $P$ an arbitrary well founded poset of cardinality $\leq \k^+$ then there is a generic extension where P is realized by the reflection ordering on $\kappa .$


title: Bounds on the tail probability of U-statistics and quadratic forms

abstract: The authors announce a general tail estimate, called a decoupling inequality, for a symmetrized sum of non-linear $k$-correlations of $n>k$ independent random variables.


title: Decoupling Inequalities for the Tail Probabilities of Multivariate U-statistics

abstract: In this paper the following result, which allows one to decouple U-Statistics in tail probability, is proved in full generality. Theorem 1. Let $X_i$ be a sequence of independent random variables taking values in a measure space $S$, and let $f_{i_1...i_k}$ be measurable functions from $S^k$ to a Banach space $B$. Let $(X_i^{(j)})$ be independent copies of $(X_i)$. The following inequality holds for all $t \ge 0$ and all $n\ge 2$, $$ P(||\sum_{1\le i_1 \ne ... \ne i_k \le n} f_{i_1 ... i_k}(X_{i_1},...,X_{i_k}) || \ge t) \qquad\qquad$$ $$ \qquad\qquad\le C_k P(C_k||\sum_{1\le i_1 \ne ... \ne i_k \le n} f_{i_1 ... i_k}(X_{i_1}^{(1)},...,X_{i_k}^{(k)}) || \ge t) .$$ Furthermore, the reverse inequality also holds in the case that the functions $\{f_{i_1... i_k}\}$ satisfy the symmetry condition $$ f_{i_1 ... i_k}(X_{i_1},...,X_{i_k}) = f_{i_{\pi(1)} ... i_{\pi(k)}}(X_{i_{\pi(1)}},...,X_{i_{\pi(k)}}) $$ for all permutations $\pi$ of $\{1,...,k\}$. Note that the expression $i_1 \ne ... \ne i_k$ means that $i_r \ne i_s$ for $r\ne s$. Also, $C_k$ is a constant that depends only on $k$.


title: Combinatorial Proofs of Capelli's and Turnbull's Identities from Classical Invariant Theory

abstract: Capelli's and Turnbull's classical identities are given elegant combinatorial proofs.


title: Uniform multi-parameter limit transitions in the Askey tableau

abstract: Extended abstract for the Proceedings of the Conference ``Modern developments in complex analysis and related topics'' (on the occasion of the 70th birthday of prof.\ dr.\ J. Korevaar), University of Amsterdam, January 27--29, 1993.


title: Differential geometry of $\frak g$-manifolds

abstract: An action of a Lie algebra $\frak g$ on a manifold $M$ is just a Lie algebra homomorphism $\zeta:\frak g\to \frak X(M)$. We define orbits for such an action. In general the space of orbits $M/\frak g$ is not a manifold and even has a bad topology. Nevertheless for a $\frak g$-manifold with equidimensional orbits we treat such notions as connection, curvature, covariant differentiation, Bianchi identity, parallel transport, basic differential forms, basic cohomology, and characteristic classes, which generalize the corresponding notions for principal $G$-bundles. As one of the applications, we derive a sufficient condition for the projection $M\to M/\frak g$ to be a bundle associated to a principal bundle.


title: Geometry of quadratic polynomials: moduli, rigidity and local connectivity

abstract: A while ago MLC (the conjecture that the Mandelbrot set is locally connected) was proven for quasi-hyperbolic points by Douady and Hubbard, and for boundaries of hyperbolic components by Yoccoz. More recently Yoccoz proved MLC for all at most finitely renormalizable parameter values. One of our goals is to prove MLC for some infinitely renormalizable parameter values. Loosely speaking, we need all renormalizations to have bounded combinatorial rotation number (assumption C1) and sufficiently high combinatorial type (assumption C2). For real quadratic polynomials of bounded combinatorial type the complex a priori bounds were obtained by Sullivan. Our result complements the Sullivan's result in the unbounded case. Moreover, it gives a background for Sullivan's renormalization theory for some bounded type polynomials outside the real line where the problem of a priori bounds was not handled before for any single polynomial. An important consequence of a priori bounds is absence of invariant measurable line fields on the Julia set (McMullen) which is equivalent to quasi-conformal (qc) rigidity. To prove stronger topological rigidity we construct a qc conjugacy between any two topologically conjugate polynomials (Theorem III). We do this by means of a pull-back argument, based on the linear growth of moduli and a priori bounds. Actually the argument gives the stronger combinatorial rigidity which implies MLC.


title: Complex Finsler metrics

abstract: In this paper we describe an approach to complex Finsler metrics suitable to deal with global questions, and stressing the similarities between hermitian and complex Finsler metrics. Let $F$ be a smooth complex Finsler metric on a complex manifold $M$, and assume that the indicatrices of $F$ are strongly pseudoconvex -- we shall say that $F$ itself is strongly pseudoconvex. The vertical bundle $\cal V$ is the kernel of the differential of the canonical projection of the holomorphic tangent bundle of $M$. Using $F$, it is possible to endow $\cal V$ with a hermitian metric; let $D$ be the Chern connection associated to this metric. It turns out that there is a canonical way to build starting from $D$ a horizontal bundle $\cal H$, as well as a bundle isomorphism $\Theta\colon{\cal V}\to\cal H$. Using $\Theta$ we may transfer both the metric and the connection on $\cal H$; furthermore, there is a canonical isometric embedding $\chi$ of the holomorphic tangent bundle of $M$ into $\cal H$. Our idea is that the Finsler geometry of $M$ can be studied applying standard hermitian techniques to $\cal H$ using $\chi$ to transfer back and forth problems and solutions. To support this claim, in this paper we discuss Bianchi identities, K\"ahler conditions, the first and second variation formulas, geodesics and holomorphic curvature. Furthermore, we provide a sound geometric interpretation to our previous work on the existence of complex geodesic curves. Finally, we prove that in complex K\"ahler Finsler manifolds with constant nonpositive holomorphic curvature (and satisfying an additional symmetry property on the curvature) the complex geodesic curves define a nice fibration of the manifold, completely analogous to the one described by Lempert in strongly convex domains.


title: The Bieri-Neumann-Strebel invariants for graph groups

abstract: Given a finite simplicial graph ${\cal G}$, the graph group $G{\cal G}$" is the group with generators in one-to-one correspondence with the vertices of ${\cal G}$ and with relations stating two generators commute if their associated vertices are adjacent in ${\cal G}$. The Bieri-Neumann-Strebel invariant can be explicitly described in terms of the original graph ${\cal G}$ and hence there is an explicit description of the distribution of finitely generated normal subgroups of $G{\cal G}$ with abelian quotient. We construct Eilenberg-MacLane spaces for graph groups and find partial extensions of this work to the higher dimensional invariants.


title: Unions of Cockroft two-complexes

abstract: A combinatorial group-theoretic hypothesis is presented that serves as a necessary and sufficient condition for a union of connected Cockcroft two-complexes to be Cockcroft. This hypothesis has a component that can be expressed in terms of the second homology of groups. The hypothesis is applied to the study of the third homology of groups given by generators and relators.


title: Cogrowth and essentiality in groups and algebras

abstract: The cogrowth of a subgroup is defined as the growth of a set of coset representatives which are of minimal length. A subgroup is essential if it intersects non-trivially every non-trivial subgroup. The main result of this paper is that every function $f:{\Bbb N}\cup \{0\}\rightarrow {\Bbb N}$ which is strictly increasing, but at most exponential, is equivalent to a cogrowth function of an essential subgroup of infinite index of the free group of rank two. This class of functions properly contains the class of growth functions of groups. The notions of growth and cogrowth of right ideals in algebras are introduced. We show that when the algebra is without zero divisors then every right ideal, whose cogrowth is less than that of the algebra, is essential.


title: Commutators as Powers in Free Products of Groups

abstract: The ways in which a nontrivial commutator can be a proper power in a free product of groups are identified.


title: Products of Commutators and Products of Squares in a Free Group

abstract: A classification of the ways in which an element of a free group can be expressed as a product of commutators or as a product of squares is given. This is then applied to some particular classes of elements. Finally, a question about expressing a commutator as a product of squares is addressed.


title: Projective resolutions for graph products

abstract: Let $\Gamma$ be a finite graph together with a group $G_v$ at each vertex $v$. The graph product $G(\Gamma)$ is obtained from the free product of all $G_v$ by factoring out by the normal subgroup generated by $\{g^{-1}h^{-1}gh; g\in G_v, h\in G_w\}$ for all adjacent $v,w$. In this note we construct a projective resolution for $G(\Gamma)$ given projective resolutions for each $G_v$, and obtain some applications.


title: Isoperimetric functions for graph products

abstract: Let $\Gamma$ be a finite graph, and for each vertex $i$ let $G_i$ be a finitely presented group. Let $G$ be the graph product of the $G_i$. That is, $G$ is the group obtained from the free product of the $G_i$ by factoring out by the smallest normal subgroup containing all $[g,h]$ where $g\in G_i$ and $h\in G_j$ and there is an edge joining i and j . We show that $G$ has an isoperimetric function of degree $k\ge 2$ (or an exponential isoperimetric function) if each vertex group has such an isoperimetric function.


title: A bicombing that implies a sub-exponential isoperimetric inequality

abstract: The idea of applying isoperimetric functions to group theory is due to M.Gromov. We introduce the concept of a ``bicombing of narrow shape'' which generalizes the usual notion of bicombing. Our bicombing is related to but different from the combings defined by M. Bridson. If the Cayley graph of a group with respect to a given set of generators admits a bicombing of narrow shape then the group is finitely presented and satisfies a sub-exponential isoperimetric inequality, as well as a polynomial isodiametric inequality. We give an infinite class of examples which are not bicombable in the usual sense but admit bicombings of narrow shape.


title: On the divisible parts of quotient groups

abstract: Techniques of combinatorial set theory are applied to the following algebraic problem. Suppose G is an abelian group such that, for all countable subgroups C, the divisible part of the quotient G/C is countable. What can one conclude about the size of the divisible part of G/K when the cardinality of the subgroup K is a given uncountable cardinal?


title: Is game semantics necessary?

abstract: We discuss the extent to which game semantics is implicit in the formalism of linear logic and in the intuitions underlying linear logic.


title: How to win some simple iteration games

abstract: We introduce two new iteration games: the game G, which is a strengthening of the weak iteration game, and the game G+, which is somewhat stronger than G but weaker than the full iteration game of length omega_1. For a countable M elementarily embeddable in some V_{eta}, we can show that II wins G(M,omega_1) and that I does not win the G+(M).


title: IST is more than an algorithm to prove ZFC theorems

abstract: There is a sentence in the language of IST, Nelson's internal set theory, which is not equivalent in IST to a sentence in the ZFC language. Thus the Reduction algorithm of Nelson, that converts bounded IST formulas with standard parameters to provably (in IST) equivalent formulas in the ZFC language, cannot be extended to all formulas of the IST language. Therefore, certain IST sentences are "meaningless" from the point of view of the standard universe.


title: Comparison of Sums of independent Identically Distributed Random Variables

abstract: Let S_k be the k-th partial sum of Banach space valued independent identically distributed random variables. In this paper, we compare the tail distribution of ||S_k|| with that of ||S_j||, and deduce some tail distribution maximal inequalities. Theorem: There is universal constant c such that for j < k Pr(||S_j|| > t) <= c Pr(||S_k|| > t/c).


title: Contractive projections in nonatomic function spaces

abstract: We prove that there is no 1-complemented subspace of finite codimension in separable rearrangament-invariant function spaces.


title: Property $(M)$, $M$-ideals, and almost isometric structure of Banach spaces

abstract: We study $M$-ideals of compact operators by means of the property~$(M)$ introduced in \cite{Kal-M}. Our main result states for a separable Banach space $X$ that the space of compact operators on $X$ is an $M$-ideal in the space of bounded operators if (and only if) $X$ does not contain a copy of $\ell_{1}$, has the metric compact approximation property, and has property~$(M)$. The investigation of special versions of property~$(M)$ leads to results on almost isometric structure of some classes of Banach spaces. For instance, we give a simple necessary and sufficient condition for a Banach space to embed almost isometrically into an $\ell_{p}$-sum of finite-dimensional spaces resp.\ into $c_{0}$, and for $2<p<\iy$ we prove that a subspace of $L_{p}$ embeds almost isometrically into $\ell_{p}$ if and only if it does not contain a subspace isomorphic to $\ell_{2}$.


title: On complemented subspaces of sums and products of Banach spaces

abstract: It is proved that there exist complemented subspaces of countable topological products (locally convex direct sums) of Banach spaces which cannot be represented as topological products (locally convex direct sums) of Banach spaces. (This is a revised version of the paper by the same name formerly contained in the file ostrovskiicompsbsp.atx.)


title: Structure of total subspaces of dual Banach spaces

abstract: Let $X$ be a separable nonquasireflexive Banach space. Let $Y$ be a Banach space isomorphic to a subspace of $X^*$. The paper is devoted to the following questions: 1. Under what conditions does there exist an isomorphic embedding $T:Y\to X^*$ such that subspace $T(Y)\subset X^*$ is total? 2. If such embeddings exist, what are the possible orders of $T(Y)$? Here we need to recall some definitions. For a subset $M\subset X^*$ we denote the set of all limits of weak$^*$ convergent sequences in $M$ by $M_{(1)}$. Inductively, for ordinal number $\alpha$ we let $$M_{(\alpha)}=\cup_{\beta<\alpha}(M_{(\beta)})_{(1)}.$$ The least ordinal $\alpha$ for which $M_{(\alpha)}= M_{(\alpha+1)}$ is called the {\it order} of $M$.


title: A right inverse of the Askey-Wilson operator

abstract: We establish an integral representation of a right inverse of the Askey-Wilson finite difference operator on $L^2$ with weight $(1-x^2)^{-1/2}$. The kernel of this integral operator is $\vartheta'_4/\vartheta_4$ and is the Riemann mapping function that maps the open unit disc conformally onto the interior of an ellipse.


title: Orthogonal matrix polynomials and higher order recurrence relations

abstract: It is well-known that orthogonal polynomials on the real line satisfy a three-term recurrence relation and conversely every system of polynomials satisfying a three-term recurrence relation is orthogonal with respect to some positive Borel measure on the real line. In this paper we extend this result and show that every system of polynomials satisfying some $(2N+1)$-term recurrence relation can be expressed in terms of orthonormal matrix polynomials for which the coefficients are $N\times N$ matrices. We apply this result to polynomials orthogonal with respect to a discrete Sobolev inner product and other inner products in the linear space of polynomials. As an application we give a short proof of Krein's characterization of orthogonal polynomials with a spectrum having a finite number of accumulation points.


title: Diagonalization of certain integral operators II

abstract: We establish an integral representations of a right inverses of the Askey-Wilson finite difference operator in an $L^2$ space weighted by the weight function of the continuous $q$-Jacobi polynomials. We characterize the eigenvalues of this integral operator and prove a $q$-analog of the expansion of $e^{ixy}$ in Jacobi polynomials of argument $x$. We also outline a general procedure of finding integral representations for inverses of linear operators.


title: Moments of Dirichlet splines and their applications to hypergeometric functions

abstract: Dirichlet averages of multivariate functions are employed for a derivation of basic recurrence formulas for the moments of multivariate Dirichlet splines. An algorithm for computing the moments of multivariate simplex splines is presented. Applications to hypergeometric functions of several variables are discussed.


title: Asymptotic approximations for symmetric elliptic integrals

abstract: Symmetric elliptic integrals, which have been used as replacements for Legendre's integrals in recent integral tables and computer codes, are homogeneous functions of three or four variables. When some of the variables are much larger than the others, asymptotic approximations with error bounds are presented. In most cases they are derived from a uniform approximation to the integrand. As an application the symmetric elliptic integrals of the first, second, and third kinds are proved to be linearly independent with respect to coefficients that are rational functions.


title: Examples for Souslin forcing

abstract: We give a model where there is a ccc Souslin forcing which does not satisfy the Knaster condition. Next, we present a model where there is a sigma-linked not sigma-centered Souslin forcing such that all its small subsets are sigma-centered but Martin Axiom fails for this order. Furthermore, we construct a totally nonhomogeneous Souslin forcing and we build a Souslin forcing which is proper but not ccc that does not contain a perfect set of mutually incompatible conditions. Finally we show that ccc Sigma^1_2-notions of forcing may not be indestructible ccc.


title: Coupling and Harnack inequalities for Sierpinski carpets

abstract: Uniform Harnack inequalities for harmonic functions on the pre- and graphical Sierpinski carpets are proved using a probabilistic coupling argument. Various results follow from this, including the construction of Brownian motion on Sierpinski carpets embedded in $\R^d$, $d\geq 3$, estimates on the fundamental solution of the heat equation, and Sobolev and Poincar\'e inequalities.


title: Iteration of meromorphic functions

abstract: This paper attempts to describe some of the results obtained in the iteration theory of transcendental meromorphic functions, not excluding the case of entire functions. The reader is not expected to be familiar with the iteration theory of rational functions. On the other hand, some aspects where the transcendental case is analogous to the rational case are treated rather briefly here. For example, we introduce the different types of components of the Fatou set that occur in the iteration of rational functions but omit a detailed description of these types. Instead, we concentrate on the types of components that are special to transcendental functions (Baker domains and wandering domains).


title: A linear construction for certain Kerdock and Preparata codes

abstract: The Nordstrom-Robinson, Kerdock, and (slightly modified) Pre\- parata codes are shown to be linear over $\ZZ_4$, the integers $\bmod~4$. The Kerdock and Preparata codes are duals over $\ZZ_4$, and the Nordstrom-Robinson code is self-dual. All these codes are just extended cyclic codes over $\ZZ_4$. This provides a simple definition for these codes and explains why their Hamming weight distributions are dual to each other. First- and second-order Reed-Muller codes are also linear codes over $\ZZ_4$, but Hamming codes in general are not, nor is the Golay code.


title: Intersecting families of sets and the topology of cones in economics

abstract: Two classical problems in economics, the existence of a market equilibrium and the existence of social choice functions, are formalized here by the properties of a family of cones associated with the economy. It was recently established that a necessary and sufficient condition for solving the former is the nonempty intersection of the family of cones, and one such condition for solving the latter is the acyclicity of the unions of its subfamilies. We show an unexpected but clear connection between the two problems by establishing a duality property of the homology groups of the nerve defined by the family of cones. In particular, we prove that the intersection of the family of cones is nonempty if and only if every subfamily has acyclic unions, thus identifying the two conditions that solve the two economic problems. In addition to their applications to economics, the results are shown to extend significantly several classical theorems, providing unified and simple proofs: Helly's theorem, Caratheodory's representation theorem, the Knaster-Kuratowski-Marzukiewicz theorem, Brouwer's fixed point theorem, and Leray's theorem on acyclic covers.


title: Trace formulae and inverse spectral theory for Schr\"odinger operators

abstract: We extend the well-known trace formula for Hill's equation to general one-dimensional Schr\"odinger operators. The new function $\xi$, which we introduce, is used to study absolutely continuous spectrum and inverse problems.


title: A new measure of growth for countable-dimensional algebras

abstract: A new dimension function on countable-dimensional algebras (over a field) is described. Its dimension values for finitely generated algebras exactly fill the unit interval $[0,1]$. Since the free algebra on two generators turns out to have dimension 0 (although conceivably some Noetherian algebras might have positive dimension!), this dimension function promises to distinguish among algebras of infinite GK-dimension.


title: Stokes' theorem for nonsmooth chains

abstract: Much of the vast literature on the integral during the last two centuries concerns extending the class of integrable functions. In contrast, our viewpoint is akin to that taken by Hassler Whitney [{\it Geometric integration theory}, Princeton Univ. Press, Princeton, NJ, 1957] and by geometric measure theorists because we extend the class of integrable {\it domains}. Let $\omega$ be an $n$-form defined on $\Bbb R^m$. We show that if $\omega$ is sufficiently smooth, it may be integrated over sufficiently controlled, but nonsmooth, domains $\gamma$. The smoother is $ \omega$, the rougher may be $\gamma$. Allowable domains include a large class of nonsmooth chains and topological $n$-manifolds immersed in $\Bbb R^m$. We show that our integral extends the Lebesgue integral and satisfies a generalized Stokes' theorem.


title: The Dinitz problem solved for rectangles

abstract: The Dinitz conjecture states that, for each $n$ and for every collection of $n$-element sets $S_{ij}$, an $n\times n$ partial latin square can be found with the $(i,j)$\<th entry taken from $S_{ij}$. The analogous statement for $(n-1)\times n$ rectangles is proven here. The proof uses a recent result by Alon and Tarsi and is given in terms of even and odd orientations of graphs.


title: Harmonic analysis of fractal measures induced by representations of a certain C$^*$-algebra

abstract: We describe a class of measurable subsets $\Omega$ in $\br^d$ such that $L^2(\Omega)$ has an orthogonal basis of frequencies $e_\lambda(x)=e^{i2\pi\lambda\cdot x}(x\in\Omega)$ indexed by $\lambda\in\Lambda\subset\br^d$. We show that such spectral pairs $(\Omega ,\Lambda)$ have a self-similarity which may be used to generate associated fractal measures $\mu$ with Cantor set support. The Hilbert space $L^2(\mu)$ does not have a total set of orthogonal frequencies, but a harmonic analysis of $\mu$ may be built instead from a natural representation of the Cuntz C$^*$- algebra which is constructed from a pair of lattices supporting the given spectral pair $(\Omega ,\Lambda)$. We show conversely that such a pair may be reconstructed from a certain Cuntz-representation given to act on $L^2(\mu)$.


title: Symmetry of tilings of the plane

abstract: We discuss two new results on tilings of the plane. In the first, we give sufficient conditions for the tilings associated with an inflation rule to be uniquely ergodic under translations, the conditions holding for the pinwheel inflation rule. In the second result we prove there are matching rules for the pinwheel inflation rule, making the system the first known to have complete rotational symmetry.


title: A monotonicity conjecture for real cubic maps

abstract: This is an outline of work in progress. We study the conjecture that the topological entropy of a real cubic map depends ``monotonely'' on its parameters, in the sense that each locus of constant entropy in parameter space is a connected set. This material will be presented in more detail in a later paper.


title: The birth of the giant component

abstract: Limiting distributions are derived for the sparse connected components that are present when a random graph on $n$ vertices has approximately $\half n$ edges. In particular, we show that such a graph consists entirely of trees, unicyclic components, and bicyclic components with probability approaching $\sqrt{2\over 3} \cosh\sqrt{5\over 18}\approx0.9325$ as $n\to\infty$. The limiting probability that it consists of trees, unicyclic components, and at most one other component is approximately 0.9957; the limiting probability that it is planar lies between 0.987 and 0.9998. When a random graph evolves and the number of edges passes $\half n$, its components grow in cyclic complexity according to an interesting Markov process whose asymptotic structure is derived. The probability that there never is more than a single component with more edges than vertices, throughout the evolution, approaches $5\pi/18\approx0.8727$. A ``uniform'' model of random graphs, which allows self-loops and multiple edges, is shown to lead to formulas that are substantially simpler than the analogous formulas for the classical random graphs of Erd\H{o}s and R\'enyi. The notions of ``excess'' and ``deficiency,'' which are significant characteristics of the generating function as well as of the graphs themselves, lead to a mathematically attractive structural theory for the uniform model. A general approach to the study of stopping configurations makes it possible to sharpen previously obtained estimates in a uniform manner and often to obtain closed forms for the constants of interest. Empirical results are presented to complement the analysis, indicating the typical behavior when $n$ is near 20000.


title: The Geometry of Cycles in the Cayley Diagram of a Group

abstract: A study of triangulations of cycles in the Cayley diagrams of finitely generated groups leads to a new geometric characterization of hyperbolic groups.


title: On hidden extenders

abstract: A model with a sequence of indiscernibles depending on a particular precovering set is constructed.The initial assumption is as follows: for every n<omega the set {alpha | o(alpha)=alpha^+n } is unbounded in kappa.


title: Iterated Class Forcing

abstract: In this paper we isolate the notion of Stratified class forcing and show that Stratification implies cofinality-preservation and is preserved by iterations with the appropriate support. Many familiar class forcings are stratified and therefore can be simultaneously iterated without changing cofinalities, provided the proper support is used. Easton forcing, Backward Easton forcings and some modifications of Jensen coding are stratified. Jensen coding is not stratified but instead obeys a related property, Delta-Stratification, which is also preservedby iteration with an appropriate larger support.


title: A combinatorial forcing for coding the universe by a real when there are no sharps

abstract: Assuming 0# does not exist, we present a combinatorial approach to Jensen's method of coding by a real. The forcing uses combinatorial consequences of fine structure (including the Covering Lemma, in various guises), but makes no direct appeal to fine structure itself.


title: Applications of cohomology to questions in set theory i: hausdorff gaps

abstract: We explore an application of homological algebra to set theoretic objects by developing a cohomology theory for Hausdorff gaps. The cohomology theory is introduced with enough generality to be applicable to other questions in set theory. For gaps, this leads to a natural equivalence notion about which we answer questions by constructing many simultaneous gaps. The first result is proved by constructing countably many gaps such that the union of any combination corresponding to a subset of $\omega$ is again a gap. This is done in ZFC. New combinatorial hypotheses related to club ($\clubsuit$) are introduced to prove the second result which increases the number of gaps to $\aleph_1$. The presentation of these results does not depend on the development of the cohomology theory. Additionally, the notion of an incollapsible gap is introduced and the existence of such a gap is shown to be independent of ZFC.


title: Ultrafilters on omega

abstract: A variety of classes of naturally arising ultrafilters on omega is discussed, and the question is raised whether it is consistent that the classes are empty. Since all the classes contain the P-point ultrafilters, a negative answer would greatly extend the famous theorem of Shelah.


title: Extensions of the Erd\H{o}s-Rado Theorem

abstract: We establish a variety of extensions to the Erdos-Rado Theorem, particularly involving ordinal numbers, and always involving ordinary partition relations. Most of the results can be regarded as consequences of the Ramification Principle, interpreted appropriately. Some of these problems have been open for a long time. There is a detailed summary at the beginning of the paper. The paper is scheduled to appear as part of the proceedings of the Banff meeting held in 1991.


title: The Fourier transform of order statistics with applications to Lorentz spaces

abstract: We present a formula for the Fourier transforms of order statistics in $\Bbb R^n$ showing that all these Fourier transforms are equal up to a constant multiple outside the coordinate planes in $\Bbb R^n.$ For $a_1\geq ... \geq a_n\ge0$ and $q>0,$ denote by $\ell_{w,q}^n$ the $n$-dimensional Lorentz space with the norm $\|(x_1,...,x_n)\| = (a_1 (x_1^{*})^q +...+ a_n (x_n^{*})^q)^{1/q}$, where $(x_1^{*},...,x_n^{*})$ is the non-increasing permutation of the numbers $|x_1|,...,|x_n|.$ We use the above mentioned formula and the Fourier transform criterion of isometric embeddability of Banach spaces into $L_q$ \cite{10} to prove that, for $n\geq 3$ and $q\leq 1,$ the space $\ell_{w,q}^n$ is isometric to a subspace of $L_q$ if and only if the numbers $a_1,...,a_n$ form an arithmetic progression. For $q>1,$ all the numbers $a_i$ must be equal so that $\ell_{w,q}^n = \ell_q^n.$ Consequently, the Lorentz function space $L_{w,q}(0,1)$ is isometric to a subspace of $L_q$ if and only if {\it either} $0<q<\infty$ and the weight $w$ is a constant function (so that $L_{w,q}= L_q$), {\it or} $q\le 1$ and $w(t)$ is a decreasing linear function. Finally, we relate our results to the theory of positive definite functions.


title: Some basic bilateral sums and integrals

abstract: By splitting the real line into intervals of unit length a doubly infinite integral of the form $\Int F(q^x)\,dx,\; 0<q<1$, can clearly be expressed as $\Integ \Sum F(q^{x+n})\,dx$, provided $F$ satisfies the appropriate conditions. This simple idea is used to prove Ramanujan's integral analogues of his \ph{1}{1} sum and give a new proof of Askey and Roy's extention of it. Integral analogues of the well-poised \ph{2}{2} sum as well as the very-well-poised \ph{6}{6} sum are also found in a straightforward manner. An extension to a very-well-poised and balanced \ph{8}{8} series is also given. A direct proof of a recent q-beta integral of Ismail and Masson is given.


title: From Schr\"odinger spectra to orthogonal polynomials, via a functional equation

abstract: The main difference between certain spectral problems for linear Schr\"odinger operators, e.g. the almost Mathieu equation, and three-term recurrence relations for orthogonal polynomials is that in the former the index ranges across $\ZZ$ and in the latter only across $\Zp$. We present a technique that, by a mixture of Dirichlet and Taylor expansions, translates the almost Mathieu equation and its generalizations to three term recurrence relations. This opens up the possibility of exploiting the full power of the theory of orthogonal polynomials in the analysis of Schr\"odinger spectra. Aforementioned three-term recurrence relations share the property that their coefficients are almost periodic. We generalize a method of proof, due originally to Jeff Geronimo and Walter van Assche, to investigate essential support of the Borel measure of associated orthogonal polynomials, thereby deriving information on the underlying absolutely continuous spectra of Schr\"odinger operators.


title: Models with second order properties, V: A General principle

abstract: We present a general framework for carrying out some constructions. The unifying factor is a combinatorial principle which we present in terms of a game in which the first player challenges the second player to carry out constructions which would be much easier in a generic extension of the universe, and the second player cheats with the aid of Diamond. Section 1 contains an axiomatic framework suitable for the description of a number of related constructions, and the statement of the main theorem in terms of this framework. In section 2 we illustrate the use of our combinatorial principle. The proof of the main result is then carried out in sections 3-5.


title: On tree ideals

abstract: Let l^0 and m^0 be the ideals associated with Laver and Miller forcing, respectively. We show that add (l^0) < cov(l^0) and add (m^0) < cov(m^0) are consistent. We also show that both Laver and Miller forcing collapse the continuum to a cardinal <= h .


title: Teichm\"uller space of Fibonacci maps

abstract: According to Sullivan, a space ${\cal E}$ of unimodal maps with the same combinatorics (modulo smooth conjugacy) should be treated as an infinitely-dimensional Teichm\"{u}ller space. This is a basic idea in Sullivan's approach to the Renormalization Conjecture. One of its principle ingredients is to supply ${\cal E}$ with the Teichm\"{u}ller metric. To have such a metric one has to know, first of all, that all maps of ${\cal E}$ are quasi-symmetrically conjugate. This was proved [Ji] and [JS] for some classes of non-renormalizable maps (when the critical point is not too recurrent). Here we consider a space of non-renormalizable unimodal maps with in a sense fastest possible recurrence of the critical point (called Fibonacci). Our goal is to supply this space with the Teichm\"{u}ller metric.


title: Quasiconformal Homeomorphisms on CR 3-Manifolds With Symmetries

abstract: An extremal quasiconformal homeomorphisms in a class of homeomorphisms between two CR 3-manifolds is an one which has the least conformal distortion among this class. This paper studies extremal quasiconformal homeomorphisms between CR 3-manifolds which admit transversal CR circle actions. Equivariant $K$-quasiconformal homeomorphisms are characterized by an area-preserving property and the $K$-quasiconformality of their quotient maps on the spaces of $S^1$-orbits. A large family of invariant CR structures on $S^3$ is constructed so that the extremal quasiconformal homeomorphisms among the equivariant mappings between them and the standard structure are completely determined. These homeomorphisms also serve as examples showing that the extremal quasiconformal homeomorphisms between two invariant CR manifolds are not necessarily equivariant.


title: Regularity And Extremality Of Quasiconformal Homeomorphisms On CR 3-Manifolds

abstract: This paper first studies the regularity of conformal homeomorphisms on smooth locally embeddable strongly pseudoconvex CR manifolds. Then moduli of curve families are used to estimate the maximal dilatations of quasiconformal homeomorphisms. On certain CR 3-manifolds, namely, CR circle bundles over flat tori, extremal quasiconformal homeomorphisms in some homotopy classes are constructed. These extremal mappings have similar behaviors to Teichm\"uller mappings on Riemann surfaces.


title: Any behaviour of the Mitchell Ordering of Normal Measures Is Possible

abstract: Let $U_0,U_1$ be two normal measures on $\kappa .$ We say that $U_0$ is in the Mitchell ordering less then $U_1,$ $U_0\vartriangleleft U_1,$ if $U_0 \in Ult(V,U_1) .$ The ordering is well-known to be transitive and well-founded. It has been an open problem to find a model where the Mitchell ordering embeds the four-element poset $|\; | .$ We show that in the Kunen-Paris extension all well-founded posets are embeddable. Hence there is no structural restriction on the Mitchell ordering. Moreover we show that it is possible to have two $vartriangleleft$-incomparable measures that extend in a generic extension into two $\vartriangleleft$-comparable measures.


title: Strong meager properties for filters

abstract: We analyze several ``strong meager'' properties for filters on the natural numbers between the classical Baire property and a filter being $F_\sigma$. Two such properties have been studied by Talagrand and a few more combinatorial ones are investigated. In particular, we define the notion of a P$^+$-filter, a generalization of the traditional concept of P-filter, and prove the existence of a non-meager P$^+$-filter. Our motivation lies in understanding the structure of filters generated by complements of members of a maximal almost disjoint family.


title: Isometries of $L_p$-spaces of solutions of homogeneous partial differential equations

abstract: Let $ n\geq 2, A=(a_{ij})_{i,j=1}^{n}$ be a real symmetric matrix, $a=(a_i)_{i=1}^{n}\in \Bbb R^n.$ Consider the differential operator $D_A = \sum_{i,j=1}^n a_{ij}{\partial^2 \over \partial x_i \partial x_j}+ \sum_{i=1}^n a_i{\partial \over \partial x_i}.$ Let $E$ be a bounded domain in $\Bbb R^n,$ $p>0.$ Denote by $L_{D_A}^p(E)$ the space of solutions of the equation $D_A f=0$ in the domain $E$ provided with the $L_p$-norm. We prove that, for matrices $A,B,$ vectors $a,b,$ bounded domains $E,F,$ and every $p>0$ which is not an even integer, the space $L_{D_A}^p(E)$ is isometric to a subspace of $L_{D_B}^p(F)$ if and only if the matrices $A$ and $B$ have equal signatures, and the domains $E$ and $F$ coincide up to a natural mapping which in the most cases is affine. We use the extension method for $L_p$-isometries which reduces the problem to the question of which weighted composition operators carry solutions of the equation $D_A f=0$ in $E$ to solutions of the equation $D_B f=0$ in $F.$


title: Cotype and summing properties in Banach spaces

abstract: It is well known in Banach space theory that for a finite dimensional space $E$ there exists a constant $c_E$, such that for all sequences $(x_k)_k \subset E$ one has \[ \summ_k \noo x_k \rrm \kl c_E \pl \sup_{\eps_k \pm 1} \noo \summ_k \eps_k x_k \rrm \pl .\] Moreover, if $E$ is of dimension $n$ the constant $c_E$ ranges between $\sqrt{n}$ and $n$. This implies that absolute convergence and unconditional convergence only coincide in finite dimensional spaces. We will characterize Banach spaces $X$, where the constant $c_E \sim \sqrt{n}$ for all finite dimensional subspaces. More generally, we prove that an estimate $c_E \kll c n^{1-\frac{1}{q}}$holds for all $n \in \nz$ and all $n$-dimensional subspaces $E$ of $X$ if and only if the eigenvalues of every operator factoring through $\ell_{\infty}$ decrease of order $k^{-\frac{1}{q}}$ if and only if $X$ is of weak cotype $q$, introduced by Pisier and Mascioni. We emphasize that in contrast to Talagrand's equivalence theorem on cotype $q$ and absolutely $(q,1)$-summing spaces this extendsto the case $q=2$. If $q>2$ and one of the conditions above is satisfied one has \[ \kla \summ_k \noo x_k \rrm^q \mer^{\frac{1}{q}} \kl C^{1+l}\pl (1+{\rm log}_2)^{(l)}((1 +{\rm log}_2 n)^{\frac{1}{q}}) \pl \ez \noo \summ_k \eps_k x_k \rrm \] for all $n,l \in \nz$ and $(x_k)_k \subset E$, $E$ a $n$ dimensional subspace of $X$. In the case $q=2$ the same holds if we replace the expected value by the supremum.


title: Hyperplane conjecture for quotient spaces of $L_p$

abstract: We give a positive solution for the hyperplane conjecture of quotient spaces F of $L_p$, where $1<p\kll\infty$. \[ vol(B_F)^{\frac{n-1}{n}} \kl c_0 \pl p' \pl \sup_{H \p hyperplane} vol(B_F\cap H) \pl.\] This result is extended to Banach lattices which does not contain $\ell_1^n$'s uniformly. Our main tools are tensor products and minimal volume ratio with respect to $L_p$-sections.


title: Proportional subspaces of spaces with unconditional basis have good volume properties

abstract: A generalization of Lozanovskii's result is proved. Let E be $k$-dimensional subspace of an $n$-dimensional Banach space with unconditional basis. Then there exist $x_1,..,x_k \subset E$ such that $B_E \p \subset \p absconv\{x_1,..,x_k\}$ and \[ \kla \frac{{\rm vol}(absconv\{x_1,..,x_k\})}{{\rm vol}(B_E)} \mer^{\frac{1}{k}} \kl \kla e\p \frac{n}{k} \mer^2 \pl .\] This answers a question of V. Milman which appeared during a GAFA seminar talk about the hyperplane problem. We add logarithmical estimates concerning the hyperplane conjecture for proportional subspaces and quotients of Banach spaces with unconditional basis. File Length:27K


title: On Functions of Finite Baire Index

abstract: It is proved that every function of finite Baire index on a separable metric space $K$ is a $D$-function, i.e., a difference of bounded semi-continuous functions on $K$. In fact it is a strong $D$-function, meaning it can be approximated arbitrarily closely in $D$-norm, by simple $D$-functions. It is shown that if the $n^{th}$ derived set of $K$ is non-empty for all finite $n$, there exist $D$-functions on $K$ which are not strong $D$-functions. Further structural results for the classes of finite index functions and strong $D$-functions are also given.


title: Solutions to the associated q-Askey-Wilson polynomial recurrence relation

abstract: A $\tphin$ contiguous relation is used to derive contiguous relations for a very-well-poised $\ephis$. These in turn yield solutions to the associated $q$-Askey-Wilson polynomial recurrence relation, expressions for the associated continued fraction, the weight function and a $q$-analogue of a generalized Dougall's theorem.


title: Watson's basic analogue of Ramanujan's entry 40 and its generalization

abstract: We generalize Watson's $ q $-analogue of Ramanujan's Entry 40 continued fraction by deriving solutions to a $ {}_{10} \phi_9 $ series contiguous relation and applying Pincherle's theorem. Watson's result is recovered as a special terminating case, while a limit case yields a new continued fraction associated with an $ \ephis $ series contiguous relation.


title: The number of independent elements in the product of interval Boolean algebras

abstract: We prove that in the product of kappa many Boolean algebras we cannot find an independent set of more than 2^kappa elements solving a problem of Monk (earlier it was known that we cannot find more than 2^{2^kappa} but can find 2^kappa).


title: Poisson structures on the cotangent bundle of a Lie group or a principal bundle and their reductions

abstract: On a cotangent bundle $T\sp*G$ of a Lie group $G$ one can describe the standard Liouville form $\theta$ and the symplectic form $d \theta$ in terms of the right Maurer Cartan form and the left moment mapping (of the right action of $G$ on itself), and also in terms of the left Maurer-Cartan form and the right moment mapping, and also the Poisson structure can be written in related quantities. This leads to a wide class of exact symplectic stuctures on $T\sp*G$ and to Poisson structures by replacing the canonical momenta of the right or left actions of $G$ on itself by arbitrary ones, followed by reduction (to $G$ cross a Weyl-chamber, e.g.). This method also works on principal bundles.


title: The sandwich theorem

abstract: This report contains expository notes about a function $\vartheta(G)$ that is popularly known as the Lov\'asz number of a graph~$G$. There are many ways to define $\vartheta(G)$, and the surprising variety of different characterizations indicates in itself that $\vartheta(G)$ should be interesting. But the most interesting property of $\vartheta(G)$ is probably the fact that it can be computed efficiently, although it lies ``sandwiched'' between other classic graph numbers whose computation is NP-hard. I~have tried to make these notes self-contained so that they might serve as an elementary introduction to the growing literature on Lov\'asz's fascinating function.


title: Automatic structures, rational growth and geometrically finite hyperbolic groups

abstract: We show that the set $SA(G)$ of equivalence classes of synchronously automatic structures on a geometrically finite hyperbolic group $G$ is dense in the product of the sets $SA(P)$ over all maximal parabolic subgroups $P$. The set $BSA(G)$ of equivalence classes of biautomatic structures on $G$ is isomorphic to the product of the sets $BSA(P)$ over the cusps (conjugacy classes of maximal parabolic subgroups) of $G$. Each maximal parabolic $P$ is a virtually abelian group, so $SA(P)$ and $BSA(P)$ were computed in ``Equivalent automatic structures and their boundaries'' by M.Shapiro and W.Neumann, Intern. J. of Alg. Comp. 2 (1992) We show that any geometrically finite hyperbolic group has a generating set for which the full language of geodesics for $G$ is regular. Moreover, the growth function of $G$ with respect to this generating set is rational. We also determine which automatic structures on such a group are equivalent to geodesic ones. Not all are, though all biautomatic structures are.


title: Descriptive set theory and forcing; How to prove theorems about Borel sets the hard way

abstract: These are lecture notes from a course I gave at the University of Wisconsin during the Spring semester of 1993. Part 1 is concerned with Borel hierarchies. Section 13 contains an unpublished theorem of Fremlin concerning Borel hierarchies and MA. Section 14 and 15 contain new results concerning the lengths of Borel hierarchies in the Cohen and random real model. Part 2 contains standard results on the theory of Analytic sets. Section 25 contains Harrington's Theorem that it is consistent to have $\Pi^1_2$ sets of arbitrary cardinality. Part 3 has the usual separation theorems. Part 4 gives some applications of Gandy forcing. We reverse the usual trend and use forcing arguments instead of Baire category. In particular, Louveau's Theorem on $\Pi^0_\alpha$ hyp-sets has a simpler proof using forcing.


title: What makes a space have large weight?

abstract: We formulate several conditions (two of them are necessary and sufficient) which imply that a space of small character has large weight. In section 3 we construct a ZFC example of a first countable 0-dimensional space X of size 2^omega with w(X)=2^omega and nw(X)=omega, we show that CH implies the existence of a 0-dimensional space Y of size omega_1 with w(Y)=nw(Y)=omega_1 and chi(Y)=R(Y)=omega, and we prove that it is consistent that 2^omega is as large as you wish and there is a 0-dimensional space Z of size 2^omega such that w(Z)=nw(Z)=2^omega but chi(Z)=R(Z^omega)=omega.