title: Integral Operators on Spaces of Continuous Vector-valued Functions

abstract: Let $X$ be a compact Hausdorff space, let $E$ be a Banach space, and let $C(X,E)$ stand for the Banach space of $E$-valued continuous functions on $X$ under the uniform norm. In this paper we characterize Integral operators (in the sense of Grothendieck) on $C(X,E)$ spaces in term of their representing vector measures. This is then used to give some applications to Nuclear operators on $C(X,E)$ spaces.


title: Nuclear operators on spaces of continuous vector-valued functions

abstract: Let $\Omega$ be a compact Hausdorff space, let $E$ be a Banach space, and let $C(\Omega, E)$ stand for the Banach space of all $E$-valued continuous functions on $\Omega$ under supnorm. In this paper we study when nuclear operators on $C(\Omega, E)$ spaces can be completely characterized in terms of properties of their representing vector measures. We also show that if $F$ is a Banach space and if $T:\ C(\Omega, E)\rightarrow F$ is a nuclear operator, then $T$ induces a bounded linear operator $T^\#$ from the space $C(\Omega)$ of scalar valued continuous functions on $\Omega$ into $\slN(E,F)$ the space of nuclear operators from $E$ to $F$, in this case we show that $E^*$ has the Radon-Nikodym property if and only if $T^\#$ is nuclear whenever $T$ is nuclear.


title: Complemented subspaces of spaces obtained by interpolation

abstract: If Z is a quotient of a subspace of a separable Banach space X, and V is any separable Banach space, then there is a Banach couple (A_0,A_1) such that A_0 and A_1 are isometric to $X\oplus V$, and any intermediate space obtained using the real or complex interpolation method contains a complemented subspace isomorphic to Z. Thus many properties of Banach spaces, including having non-trivial cotype, having the Radon-Nikodym property, and having the analytic unconditional martingale difference sequence property, do not pass to intermediate spaces.


title: Permutations of the Haar system

abstract: General permutations acting on the Haar system are investigated. We give a necessary and sufficient condition for permutations to induce an isomorphism on dyadic BMO. Extensions of this characterization to Lipschitz spaces $\lip, (0<p\leq1)$ are obtained. When specialized to permutations which act on one level of the Haar system only, our approach leads to a short straightforward proof of a result due to E.M.Semyonov and B.Stoeckert.


title: On the complemented subspaces of X_p

abstract: In this paper we prove some results related to the problem of isomorphically classifying the complemented subspaces of $X_{p}$. We characterize the complemented subspaces of $X_{p}$ which are isomorphic to $X_{p}$ by showing that such a space must contain a canonical complemented subspace isomorphic to $X_{p}.$ We also give some characterizations of complemented subspaces of $X_{p}$ isomorphic to $\ell_{p}\oplus \ell_{2}.$


title: p-summing operators on injective tensor products of spaces

abstract: Let $X,Y$ and $Z$ be Banach spaces, and let $\prod_p(Y,Z) (1\leq p<\infty)$ denote the space of $p$-summing operators from $Y$ to $Z$. We show that, if $X$ is a {\it \$}$_\infty$-space, then a bounded linear operator $T: X\hat \otimes_\epsilon Y\longrightarrow Z$ is 1-summing if and only if a naturally associated operator $T^#: X\longrightarrow \prod_1(Y,Z)$ is 1-summing. This result need not be true if $X$ is not a {\it \$}$_\infty$-space. For $p>1$, several examples are given with $X=C[0,1]$ to show that $T^#$ can be $p$-summing without $T$ being $p$-summing. Indeed, there is an operator $T$ on $C[0,1]\hat \otimes_\epsilon \ell_1$ whose associated operator $T^#$ is 2-summing, but for all $N\in \N$, there exists an $N$-dimensional subspace $U$ of $C[0,1]\hat \otimes_\epsilon \ell_1$ such that $T$ restricted to $U$ is equivalent to the identity operator on $\ell^N_\infty$. Finally, we show that there is a compact Hausdorff space $K$ and a bounded linear operator $T:\ C(K)\hat \otimes_\epsilon \ell_1\longrightarrow \ell_2$ for which $T^#:\ C(K)\longrightarrow \prod_1(\ell_1, \ell_2)$ is not 2-summing.


title: Some deviation inequalities

abstract: We introduce a concentration property for probability measures on $\scriptstyle{R^n}$, which we call Property~($\scriptstyle\tau$); we show that this property has an interesting stability under products and contractions (Lemmas 1,~2,~3). Using property~($\scriptstyle\tau$), we give a short proof for a recent deviation inequality due to Talagrand. In a third section, we also recover known concentration results for Gaussian measures using our approach.}


title: Ellipsoids of maximal volume in convex bodies

abstract: The largest discs contained in a regular tetrahedron lie in its faces. The proof is closely related to the theorem of Fritz John characterising ellipsoids of maximal volume contained in convex bodies.


title: The plank problem for symmetric bodies

abstract: Given a symmetric convex body $C$ and $n$ hyperplanes in an Euclidean space, there is a translate of a multiple of $C$, at least ${1\over n+1}$ times as large, inside $C$, whose interior does not meet any of the hyperplanes. The result generalizes Bang's solution of the plank problem of Tarski and has applications to Diophantine approximation.


title: On quotients of Banach spaces having shrinking unconditional bases

abstract: It is proved that if a Banach space $Y$ is a quotient of a Banach space having a shrinking unconditional basis, then every normalized weakly null sequence in $Y$ has an unconditional subsequence. The proof yields the corollary that every quotient of Schreier's space is $c_o$-saturated.


title: The proportional UAP characterizes weak Hilbert spaces

abstract: We prove that a Banach space has the uniform approximation property with proportional growth of the uniformity function iff it is a weak Hilbert space.


title: Comparison of Orlicz-Lorentz spaces

abstract: Orlicz-Lorentz spaces provide a common generalization of Orlicz spaces and Lorentz spaces. They have been studied by many authors, including Masty\l o, Maligranda, and Kami\'nska. In this paper, we consider the problem of comparing the Orlicz-Lorentz norms, and establish necessary and sufficient conditions for them to be equivalent. As a corollary, we give necessary and sufficient conditions for a Lorentz-Sharpley space to be equivalent to an Orlicz space, extending results of Lorentz and Raynaud. We also give an example of a rearrangement invariant space that is not an Orlicz-Lorentz space.


title: Non dentable sets in Banach spaces with separable dual

abstract: A non RNP Banach space E is constructed such that $E^{*}$ is separable and RNP is equivalent to PCP on the subsets of E.


title: Level sets and the uniqueness of measures

abstract: A result of Nymann is extended to show that a positive $\sigma$-finite measure with range an interval is determined by its level sets. An example is given of two finite positive measures with range the same finite union of intervals but with the property that one is determined by its level sets and the other is not.


title: On Schreier unconditional sequences

abstract: Let $(x_n)$ be a normalized weakly null sequence in a Banach space and let $\varep>0$. We show that there exists a subsequence $(y_n)$ with the following property: $$\hbox{ if }\ (a_i)\subseteq \IR\ \hbox{ and }\ F\subseteq \nat$$ satisfies $\min F\le |F|$ then $$\big\|\sum_{i\in F} a_i y_i\big\| \le (2+\varep) \big\| \sum a_iy_i\big\|\ . $$


title: An arbitrarily distortable Banach space

abstract: In this work we construct a ``Tsirelson like Banach space'' which is arbitrarily distortable.


title: Interpolation of operators when the extreme spaces are $L^\infty$

abstract: In this paper, equivalence between interpolation properties of linear operators and monotonicity conditions are studied, for a pair $(X_0,X_1)$ of rearrangement invariant quasi Banach spaces, when the extreme spaces of the interpolation are $L^\infty$ and a pair $(A_0,A_1)$ under some assumptions. Weak and restricted weak intermediate spaces fall in our context. Applications to classical Lorentz and Lorentz-Orlicz spaces are given.


title: Remarks on complemented subspaces of von-Neumann algebras

abstract: In this note we include two remarks about bounded ($\underline{not}$ necessarily contractive) linear projections on a von Neumann-algebra. We show that if $M$ is a von Neumann-subalgebra of $B(H)$ which is complemented in B(H) and isomorphic to $M \otimes M$ then $M$ is injective (or equivalently $M$ is contractively complemented). We do not know how to get rid of the second assumption on $M$. In the second part,we show that any complemented reflexive subspace of a $C^*$- algebra is necessarily linearly isomorphic to a Hilbert space.


title: A simple proof of a theorem of Jean Bourgain

abstract: We give a simple proof of Bourgain's disc algebra version of Grothendieck's theorem, i.e. that every operator on the disc algebra with values in $L_1$ or $L_2$ is 2-absolutely summing and hence extends to an operator defined on the whole of $C$. This implies Bourgain's result that $L_1/H^1$ is of cotype 2. We also prove more generally that $L_r/H^r$ is of cotype 2 for $0<r< 1$.


title: Interpolation between H^p spaces and non-commutative generalizations, I

abstract: We give an elementary proof that the $H^p$ spaces over the unit disc (or the upper half plane) are the interpolation spaces for the real method of interpolation between $H^1$ and $H^\infty$. This was originally proved by Peter Jones. The proof uses only the boundedness of the Hilbert transform and the classical factorisation of a function in $H^p$ as a product of two functions in $H^q$ and $H^r$ with $1/q+1/r=1/p$. This proof extends without any real extra difficulty to the non-commutative setting and to several Banach space valued extensions of $H^p$ spaces. In particular, this proof easily extends to the couple $H^{p_0}(\ell_{q_0}),H^{p_1}(\ell_{q_1})$, with $1\leq p_0, p_1, q_0, q_1 \leq \infty$. In that situation, we prove that the real interpolation spaces and the K-functional are induced ( up to equivalence of norms ) by the same objects for the couple $L_{p_0}(\ell_{q_0}), L_{p_1}(\ell_{q_1})$. In another direction, let us denote by $C_p$ the space of all compact operators $x$ on Hilbert space such that $tr(|x|^p) <\infty$. Let $T_p$ be the subspace of all upper triangular matrices relative to the canonical basis. If $p=\infty$, $C_p$ is just the space of all compact operators. Our proof allows us to show for instance that the space $H^p(C_p)$ (resp. $T_p$) is the interpolation space of parameter $(1/p,p)$ between $H^1(C_1)$ (resp. $T_1$) and $H^\infty(C_\infty)$ (resp. $T_\i$). We also prove a similar result for the complex interpolation method. Moreover, extending a recent result of Kaftal-Larson and Weiss, we prove that the distance to the subspace of upper triangular matrices in $C_1$ and $C_\infty$ can be essentially realized simultaneously by the same element.


title: Banach spaces with Property (w)

abstract: A Banach space E is said to have Property (w) if every (bounded linear) operator from E into E' is weakly compact. We give some interesting examples of James type Banach spaces with Property (w). We also consider the passing of Property (w) from E to C(K,E).


title: A Gordon-Chevet type Inequality

abstract: We prove a new inequality for Gaussian processes, this inequality implies the Gordon-Chevet inequality. Some remarks on Gaussian proofs of Dvoretzky's theorem are given.


title: The K_t-functional for the interpolation couple L_1(A_0),L_infinity(A_1)

abstract: Let (A_0,A_1) be a compatible couple of Banach spaces in the interpolation theory sense. We give a formula for the K_t-functional of the interpolation couples (l_1(A_0),c_0(A_1)) or (l_1(A_0),l_infinity(A_1)) and (L_1(A_0),L_infinity(A_1)).


title: On J. Borwein's concept of sequentially reflexive Banach spaces

abstract: A Banach space $X$ is reflexive if the Mackey topology $\tau(X^*,X)$ on $X^*$ agrees with the norm topology on $X^*$. Borwein [B] calls a Banach space $X$ {\it sequentially reflexive\/} provided that every $\tau(X^*,X)$ convergent {\it sequence\/} in $X^*$ is norm convergent. The main result in [B] is that $X$ is sequentially reflexive if every separable subspace of $X$ has separable dual, and Borwein asks for a characterization of sequentially reflexive spaces. Here we answer that question by proving \proclaim Theorem. {\sl A Banach space $X$ is sequentially reflexive if and only if $\ell_1$ is not isomorphic to a subspace of $X$.}


title: Analytic Disks in Fibers over the Unit Ball of a Banach Space

abstract: We study biorthogonal sequences with special properties, such as weak or weak-star convergence to 0, and obtain an extension of the Josefson-Nissenzweig theorem. This result is applied to embed analytic disks in the fiber over 0 of the spectrum of H^infinity (B), the algebra of bounded analytic functions on the unit ball B of an arbitrary infinite dimensional Banach space. Various other embedding theorems are obtained. For instance, if the Banach space is superreflexive, then the unit ball of a Hilbert space of uncountable dimension can be embedded analytically in the fiber over 0 via an embedding which is uniformly bicontinuous with respect to the Gleason metric.


title: On the distribution of Sidon series

abstract: Let B denote an arbitrary Banach space, G a compact abelian group with Haar measure $\mu$ and dual group $\Gamma$. Let E be a Sidon subset of $\Gamma$ with Sidon constant S(E). Let r_n denote the n-th Rademacher function on [0, 1]. We show that there is a constant c, depending only on S(E), such that, for all $\alpha > 0$: c^{-1}P[| \sum_{n=1}^Na_nr_n| >= c \alpha ] <= \mu[| \sum_{n=1}^Na_n\gamma_n| >= \alpha ] <= cP [|\sum_{n=1}^Na_nr_n| >= c^{-1} \alpha ]


title: On certain classes of Baire-1 functions with applications to Banach space theory

abstract: Certain subclasses of $B_1(K)$, the Baire-1 functions on a compact metric space $K$, are defined and characterized. Some applications to Banach spaces are given.


title: Isomorphisms of certain weak L^p spaces

abstract: It is shown that the weak $L^p$ spaces $\ell^{p,\infty}, L^{p,\infty}[0,1]$, and $L^{p,\infty}[0,\infty)$ are isomorphic as Banach spaces.


title: Existence of endo-rigid Boolean algebras

abstract: In [Sh:89] we, answering a question of Monk, have explicated the notion of ``a Boolean algebra with no endomorphisms except the ones induced by ultrafilters on it'' (see section 2 here) and proved the existence of one with character density aleph_0, assuming first diamondsuit_{aleph_1} and then only CH. The idea was that if h is an endomorphism of B, not among the ``trivial'' ones, then there are pairwise disjoint D_n in B with h(d_n) not subset d_n. Then we can, for some S subset omega, add an element x such that d <= x for n in S, x cap d_n=0 for n not in S while forbidding a solution for {y cap h(d_n):n in S} cup {y cap h(d_n)=0:n not in S}. Further analysis showed that the point is that we are omitting positive quantifier free types. Continuing this Monk succeeded to prove in ZFC, the existence of such Boolean algebras of cardinality 2^{aleph_0}. We prove (in ZFC) the existence of such B of density character lambda and cardinality lambda^{aleph_0} whenever lambda > aleph_0. We can conclude answers to some questions from Monk's list. We use a combinatorial method from [Sh:45],[Sh:172], that is represented in Section 1.


title: A note on canonical functions

abstract: We construct a generic extension in which the aleph_2 nd canonical function on aleph_1 exists.


title: Categoricity over P for first order T or categoricity for phi in L_{omega_1 omega} can stop at aleph_k while holding for aleph_0, ..., aleph_{k-1}

abstract: Suppose L is a relational language and P in L is a unary predicate. If M is an L-structure then P(M) is the L-structure formed as the substructure of M with domain {a: M models P(a)}. Now suppose T is a complete first order theory in L with infinite models. Following Hodges, we say that T is relatively lambda-categorical if whenever M, N models T, P(M)=P(N), |P(M)|= lambda then there is an isomorphism i:M-> N which is the identity on P(M). T is relatively categorical if it is relatively lambda-categorical for every lambda. The question arises whether the relative lambda-categoricity of T for some lambda >|T| implies that T is relatively categorical. In this paper, we provide an example, for every k>0, of a theory T_k and an L_{omega_1 omega} sentence varphi_k so that T_k is relatively aleph_n-categorical for n < k and varphi_k is aleph_n-categorical for n<k but T_k is not relatively beth_k-categorical and varphi_k is not beth_k-categorical.


title: The primal framework. I

abstract: This the first of a series of articles dealing with abstract classification theory. The apparatus to assign systems of cardinal invariants to models of a first order theory (or determine its impossibility) is developed in [Sh:a]. It is natural to try to extend this theory to classes of models which are described in other ways. Work on the classification theory for nonelementary classes [Sh:88] and for universal classes [Sh:300] led to the conclusion that an axiomatic approach provided the best setting for developing a theory of wider application. In the first chapter we describe the axioms on which the remainder of the article depends and give some examples and context to justify this level of generality. The study of universal classes takes as a primitive the notion of closing a subset under functions to obtain a model. We replace that concept by the notion of a prime model. We begin the detailed discussion of this idea in Chapter II. One of the important contributions of classification theory is the recognition that large models can often be analyzed by means of a family of small models indexed by a tree of height at most omega. More precisely, the analyzed model is prime over such a tree. Chapter III provides sufficient conditions for prime models over such trees to exist.


title: Full reflection of stationary sets below aleph_omega

abstract: It is consistent that for every n >= 2, every stationary subset of omega_n consisting of ordinals of cofinality omega_k where k = 0 or k <= n-3 reflects fully in the set of ordinals of cofinality omega_{n-1}. We also show that this result is best possible.


title: The Hanf numbers of stationary logic. II. Comparison with other logics

abstract: We show that the ordering of the Hanf number of L_{omega, omega}(wo) (well ordering), L^c_{omega, omega} (quantification on countable sets), L_{omega, omega}(aa) (stationary logic) and second order logic, have no more restraints provable in ZFC than previously known (those independence proofs assume CON(ZFC) only). We also get results on corresponding logics for L_{lambda, mu} .


title: Strong partition relations below the power set: consistency, was Sierpinski right, II?

abstract: We continue here [She88] but we do not rely on it. The motivation was a conjecture of Galvin stating that 2^{omega} >= omega_2 + omega_2-> [omega_1]^{n}_{h(n)} is consistent for a suitable h: omega-> omega. In section 5 we disprove this and give similar negative results. In section 3 we prove the consistency of the conjecture replacing omega_2 by 2^omega, which is quite large, starting with an Erd\H{o}s cardinal. In section 1 we present iteration lemmas which are needed when we replace omega by a larger lambda and in section 4 we generalize a theorem of Halpern and Lauchli replacing omega by a larger lambda .


title: Viva la difference I: Nonisomorphism of ultrapowers of countable models

abstract: We show that it is not provable in ZFC that any two countable elementarily equivalent structures have isomorphic ultrapowers relative to some ultrafilter on omega .


title: The primal framework. II. Smoothness

abstract: This is the second in a series of articles developing abstract classification theory for classes that have a notion of prime models over independent pairs and over chains. It deals with the problem of smoothness and establishing the existence and uniqueness of a `monster model'. We work here with a predicate for a canonically prime model.


title: On a conjecture of Tarski on products of cardinals

abstract: We look at an old conjecture of A. Tarski on cardinal arithmetic and show that if a counterexample exists, then there exists one of length omega_1 + omega .


title: A partition theorem for pairs of finite sets

abstract: Every partition of [[omega_1]^{< omega}]^2 into finitely many pieces has a cofinal homogeneous set. Furthermore, it is consistent that every directed partially ordered set satisfies the partition property if and only if it has finite character.


title: Coding and reshaping when there are no sharps

abstract: Assuming 0^sharp does not exist, kappa is an uncountable cardinal and for all cardinals lambda with kappa <= lambda < kappa^{+ omega}, 2^lambda = lambda^+, we present a ``mini-coding'' between kappa and kappa^{+ omega}. This allows us to prove that any subset of kappa^{+ omega} can be coded into a subset, W of kappa^+ which, further, ``reshapes'' the interval [kappa, kappa^+), i.e., for all kappa < delta < kappa^+, kappa = (card delta)^{L[W cap delta]}. We sketch two applications of this result, assuming 0^sharp does not exist. First, we point out that this shows that any set can be coded by a real, via a set forcing. The second application involves a notion of abstract condensation, due to Woodin. Our methods can be used to show that for any cardinal mu, condensation for mu holds in a generic extension by a set forcing.


title: Factor = quotient, uncountable Boolean algebras, number of endomorphism and width

abstract: We prove that assuming suitable cardinal arithmetic, if B is a Boolean algebra every homomorphic image of which is isomorphic to a factor, then B has locally small density. We also prove that for an (infinite) Boolean algebra B, the number of subalgebras is not smaller than the number of endomorphisms, and other related inequalities. Lastly we deal with the obtainment of the supremum of the cardinalities of sets of pairwise incomparable elements of a Boolean algebra.


title: Cardinal arithmetic for skeptics

abstract: We present a survey of some results of the pcf-theory and their applications to cardinal arithmetic. We review basics notions (in section 1), briefly look at history in section 2 (and some personal history in section 3). We present main results on pcf in section 5 and describe applications to cardinal arithmetic in section 6. The limitations on independence proofs are discussed in section 7, and in section 8 we discuss the status of two axioms that arise in the new setting. Applications to other areas are found in section 9.


title: Linear liftings for non complete probability space

abstract: We show that it is consistent with ZFC that L^infty (Y,B, nu) has no linear lifting for many non-complete probability spaces (Y,B, nu), in particular for Y=[0,1]^A, B= Borel subsets of Y, nu = usual Radon measure on B .


title: The universality spectrum of stable unsuperstable theories

abstract: It is shown that if T is stable unsuperstable, and aleph_1< lambda =cf(lambda)< 2^{aleph_0}, or 2^{aleph_0} < mu^+< lambda =cf(lambda)< mu^{aleph_0} then T has no universal model in cardinality lambda, and if e.g. aleph_omega < 2^{aleph_0} then T has no universal model in aleph_omega. These results are generalized to kappa =cf(kappa) < kappa (T) in the place of aleph_0. Also: if there is a universal model in lambda >|T|, T stable and kappa < kappa (T) then there is a universal tree of height kappa +1 in cardinality lambda .


title: A convenient setting for real analytic mappings

abstract: We present here "the" cartesian closed theory for real analytic mappings. It is based on the concept of real analytic curves in locally convex vector spaces. A mapping is real analytic, if it maps smooth curves to smooth curves and real analytic curves to real analytic curves. Under mild completeness conditions the second requirement can be replaced by: real analytic along affine lines. Enclosed and necessary is a careful study of locally convex topologies on spaces of real analytic mappings. As an application we also present the theory of manifolds of real analytic mappings: the group of real analytic diffeomorphisms of a compact real analytic manifold is a real analytic Lie group.


title: A cohomology for vector valued differential forms

abstract: A rather simple natural outer derivation of the graded Lie algebra of all vector valued differential forms with the Fr\"olicher-Nijenhuis bracket turns out to be a differential and gives rise to a cohomology of the manifold, which is functorial under local diffeomorphisms. This cohomology is determined as the direct product of the de Rham cohomology space and the graded Lie algebra of "traceless" vector valued differential forms, equipped with a new natural differential concomitant as graded Lie bracket. We find two graded Lie algebra structures on the space of differential forms. Some consequences and related results are also discussed.


title: The moment mapping for a unitary representation

abstract: For any unitary representation of an arbitrary Lie group I construct a moment mapping from the space of smooth vectors of the representation into the dual of the Lie algebra. This moment mapping is equivariant and smooth. For the space of analytic vectors the same construction is possible and leads to a real analytic moment mapping.


title: The multigraded Nijenhuis-Richardson Algebra, its universal property and application

abstract: We define two $(n+1)$ graded Lie brackets on spaces of multilinear mappings. The first one is able to recognize $n$-graded associative algebras and their modules and gives immediately the correct differential for Hochschild cohomology. The second one recognizes $n$-graded Lie algebra structures and their modules and gives rise to the notion of Chevalley cohomology.


title: Pseudoriemannian metrics on spaces of bilinear structures

abstract: The space of all non degenerate bilinear structures on a manifold $M$ carries a one parameter family of pseudo Riemannian metrics. We determine the geodesic equation, covariant derivative, curvature, and we solve the geodesic equation explicitly. Each space of pseudo Riemannian metrics with fixed signature is a geodesically closed submanifold. The space of non degenerate 2-forms is also a geodesically closed submanifold. Then we show that, if we fix a distribution on $M$, the space of all Riemannia metrics splits as the product of three spaces which are everywhere mutually orthogonal, for the usual metric. We investigate this situation in detail.


title: The Riemannian manifold of all Riemannian metrics

abstract: The space of all Riemannian metrics on a smooth second countable finite dimensional manifold is itself a smooth manifold modeled on the space of symmetric (0,2)-tensor fields with compact support. It carries a canonical Riemannian metric which is invariant under the action of the diffeomorphism group. We determine its geodesics, exponential mapping, curvature, and Jacobi fields in a very explicit manner.


title: Some non-analytic-hypoelliptic sums of squares of vector fields

abstract: Certain second-order partial differential operators, which are expressed as sums of squares of real-analytic vector fields in $\Bbb R^3$ and which are well known to be $C^\infty$ hypoelliptic, fail to be analytic hypoelliptic.


title: A steepest descent method for oscillatory Riemann-Hilbert problems

abstract: In this announcement we present a general and new approach to analyzing the asymptotics of oscillatory Riemann-Hilbert problems. Such problems arise, in particular, in evaluating the long-time behavior of nonlinear wave equations solvable by the inverse scattering method. We will restrict ourselves here exclusively to the modified Korteweg de Vries (MKdV) equation, $$y_t-6y^2y_x+y_{xxx}=0,\qquad -\infty<x<\infty,\ t\ge0, y(x,t=0)=y_0(x),$$ but it will be clear immediately to the reader with some experience in the field, that the method extends naturally and easily to the general class of wave equations solvable by the inverse scattering method, such as the KdV, nonlinear Schr\"odinger (NLS), and Boussinesq equations, etc., and also to ``integrable'' ordinary differential equations such as the Painlev\'e transcendents.


title: Editors' remarks (on two complexity theory surveys in the Bulletin)

abstract: The authors discuss the role of controversy in mathematics as a preface to two opposing articles on computational complexity theory: "Some basic information on information-based complexity theory" by Beresford Parlett [math.NA/9201266] and "Perspectives on information-based complexity" by J. F. Traub and Henryk Wo\'zniakowski [math.NA/9201269].


title: Pleating coordinates for the Teichm\"{u}ller space of a punctured torus

abstract: We construct new coordinates for the Teichm\"uller space Teich of a punctured torus into $\bold{R} \times\bold{R}^+$. The coordinates depend on the representation of Teich as a space of marked Kleinian groups $G_\mu$ that depend holomorphically on a parameter $\mu$ varying in a simply connected domain in $\bold{C}$. They describe the geometry of the hyperbolic manifold $\bold{H}^3/G_\mu$; they reflect exactly the visual patterns one sees in the limit sets of the groups $G_\mu$; and they are directly computable from the generators of $G_\mu$.


title: Semistability of amalgamated products, HNN-extensions, and all one-relator groups

abstract: The authors announce the following theorem. Theorem 1. If $G=A*_H B$ is an amalgamated product where $A$ and $B$ are finitely presented and semistable at infinity, and $H$ is finitely generated, then $G$ is semistable at infinity. If $G=A*_H$ is an HNN-extension where $A$ is finitely presented and semistable at infinity, and $H$ is finitely generated, then $G$ is semistable at infinity.


title: $\Lambda$\<-Trees and Their Applications

abstract: To most mathematicians and computer scientists the word ``tree'' conjures up, in addition to the usual image, the image of a connected graph with no circuits. In the last few years various types of trees have been the subject of much investigation, but this activity has not been exposed much to the wider mathematical community. This article attempts to fill this gap and explain various aspects of the recent work on generalized trees. The subject is very appealing for it mixes very na\"{\i}ve geometric considerations with the very sophisticated geometric and algebraic structures. In fact, part of the drama of the subject is guessing what type of techniques will be appropriate for a given investigation: Will it be direct and simple notions related to schematic drawings of trees or will it be notions from the deepest parts of algebraic group theory, ergodic theory, or commutative algebra which must be brought to bear? Part of the beauty of the subject is that the na\"{\i}ve tree considerations have an impact on these more sophisticated topics and that in addition, trees form a bridge between these disparate subjects.


title: Some basic information on information-based complexity theory

abstract: Numerical analysts might be expected to pay close attention to a branch of complexity theory called information-based complexity theory (IBCT), which produces an abundance of impressive results about the quest for approximate solutions to mathematical problems. Why then do most numerical analysts turn a cold shoulder to IBCT? Close analysis of two representative papers reveals a mixture of nice new observations, error bounds repackaged in new language, misdirected examples, and misleading theorems. Some elements in the framework of IBCT, erected to support a rigorous yet flexible theory, make it difficult to judge whether a model is off-target or reasonably realistic. For instance, a sharp distinction is made between information and algorithms restricted to this information. Yet the information itself usually comes from an algorithm, so the distinction clouds the issues and can lead to true but misleading inferences. Another troublesome aspect of IBCT is a free parameter $F$, the class of admissible problem instances. By overlooking $F$'s membership fee, the theory sometimes distorts the economics of problem solving in a way reminiscent of agricultural subsidies. The current theory's surprising results pertain only to unnatural situations, and its genuinely new insights might serve us better if expressed in the conventional modes of error analysis and approximation theory.


title: Lifting of cohomology and unobstructedness of certain holomorphic maps

abstract: Let $f$ be a holomorphic mapping between compact complex manifolds. We give a criterion for $f$ to have {\it unobstructed deformations}, i.e. for the local moduli space of $f$ to be smooth: this says, roughly speaking, that the group of infinitesimal deformations of $f$, when viewed as a functor, itself satisfies a natural lifting property with respect to infinitesimal deformations. This lifting property is satisfied e.g. whenever the group in question admits a `topological' or Hodge-theoretic interpretation, and we give a number of examples, mainly involving Calabi-Yau manifolds, where that is the case.


title: Semilinear wave equations

abstract: We survey existence and regularity results for semi-linear wave equations. In particular, we review the recent regularity results for the $u^5$-Klein Gordon equation by Grillakis and this author and give a self-contained, slightly simplified proof.


title: Perspectives on information-based complexity

abstract: The authors discuss information-based complexity theory, which is a model of finite-precision computations with real numbers, and its applications to numerical analysis.


title: Nonunique tangent maps at isolated singularities of harmonic maps

abstract: Shoen and Uhlenbeck showed that ``tangent maps'' can be defined at singular points of energy minimizing maps. Unfortunately these are not unique, even for generic boundary conditions. Examples are discussed which have isolated singularities with a continuum of distinct tangent maps.


title: Conformal dynamics problem list

abstract: This is a list of unsolved problems given at the Conformal Dynamics Conference which was held at SUNY Stony Brook in November 1989. Problems were contributed by the editor and the other authors.


title: Dynamics in one complex variable: introductory lectures

abstract: These notes study the dynamics of iterated holomorphic mappings from a Riemann surface to itself, concentrating on the classical case of rational maps of the Riemann sphere. They are based on introductory lectures given at Stony Brook during the Fall Term of 1989-90. These lectures are intended to introduce the reader to some key ideas in the field, and to form a basis for further study. The reader is assumed to be familiar with the rudiments of complex variable theory and of two-dimensional differential geometry.


title: Remarks on iterated cubic maps

abstract: This note will discuss the dynamics of iterated cubic maps from the real or complex line to itself, and will describe the geography of the parameter space for such maps. It is a rough survey with few precise statements or proofs, and depends strongly on work by Douady, Hubbard, Branner and Rees.


title: One-dimensional maps and Poincar\'e metric

abstract: Invertible compositions of one-dimensional maps are studied which are assumed to include maps with non-positive Schwarzian derivative and others whose sum of distortions is bounded. If the assumptions of the Koebe principle hold, we show that the joint distortion of the composition is bounded. On the other hand, if all maps with possibly non-negative Schwarzian derivative are almost linear-fractional and their nonlinearities tend to cancel leaving only a small total, then they can all be replaced with affine maps with the same domains and images and the resulting composition is a very good approximation of the original one. These technical tools are then applied to prove a theorem about critical circle maps.


title: The Julia sets and complex singularities in hierarchical Ising models

abstract: We study the analytical continuation in the complex plane of free energy of the Ising model on diamond-like hierarchical lattices. It is known that the singularities of free energy of this model lie on the Julia set of some rational endomorphism $f$ related to the action of the Migdal-Kadanoff renorm-group. We study the asymptotics of free energy when temperature goes along hyperbolic geodesics to the boundary of an attractive basin of $f$. We prove that for almost all (with respect to the harmonic measure) geodesics the complex critical exponent is common, and compute it.


title: New examples of manifolds with completely integrable geodesic flows

abstract: We construct Riemannian manifolds with completely integrable geodesic flows, in particular various nonhomogeneous examples. The methods employed are a modification of Thimm's method, Riemannian submersions and connected sums.


title: Dynamics of certain smooth one-dimensional mappings I: The $C^{1+\alpha}$-Denjoy-Koebe distortion lemma

abstract: We prove a technical lemma, the $C^{1+\alpha }$-Denjoy-Koebe distortion lemma, estimating the distortion of a long composition of a $C^{1+\alpha }$ one-dimensional mapping $f:M\mapsto M$ with finitely many, non-recurrent, power law critical points. The proof of this lemma combines the ideas of the distortion lemmas of Denjoy and Koebe.


title: Dynamics of certain smooth one-dimensional mappings II: geometrically finite one-dimensional mappings

abstract: We study geometrically finite one-dimensional mappings. These are a subspace of $C^{1+\alpha}$ one-dimensional mappings with finitely many, critically finite critical points. We study some geometric properties of a mapping in this subspace. We prove that this subspace is closed under quasisymmetrical conjugacy. We also prove that if two mappings in this subspace are topologically conjugate, they are then quasisymmetrically conjugate. We show some examples of geometrically finite one-dimensional mappings.


title: A partial description of the parameter space of rational maps of degree two: Part 2

abstract: This continues the investigation of a combinatorial model for the variation of dynamics in the family of rational maps of degree two, by concentrating on those varieties in which one critical point is periodic. We prove some general results about nonrational critically finite degree two branched coverings, and finally identify the boundary of the rational maps in the combinatorial model, thus completing the proofs of results announced in Part 1.


title: Polynomial root-finding algorithms and branched covers

abstract: We construct a family of root-finding algorithms which exploit the branched covering structure of a polynomial of degree $d$ with a path-lifting algorithm for finding individual roots. In particular, the family includes an algorithm that computes an $\epsilon$-factorization of the polynomial which has an arithmetic complexity of $\Order{d^2(\log d)^2 + d(\log d)^2|\log\epsilon|}$. At the present time (1993), this complexity is the best known in terms of the degree.


title: Expanding direction of the period doubling operator

abstract: We prove that the period doubling operator has an expanding direction at the fixed point. We use the induced operator, a ``Perron-Frobenius type operator'', to study the linearization of the period doubling operator at its fixed point. We then use a sequence of linear operators with finite ranks to study this induced operator. The proof is constructive. One can calculate the expanding direction and the rate of expansion of the period doubling operator at the fixed point.


title: The Hausdorff dimension of the boundary of the Mandelbrot set and Julia sets

abstract: It is shown that the boundary of the Mandelbrot set $M$ has Hausdorff dimension two and that for a generic $c \in \bM$, the Julia set of $z \mapsto z^2+c$ also has Hausdorff dimension two. The proof is based on the study of the bifurcation of parabolic periodic points.


title: Critical circle maps near bifurcation

abstract: We estimate harmonic scalings in the parameter space of a one-parameter family of critical circle maps. These estimates lead to the conclusion that the Hausdorff dimension of the complement of the frequency-locking set is less than $1$ but not less than $1/3$. Moreover, the rotation number is a H\"{o}lder continuous function of the parameter.


title: The Teichm\"uller space of an Anosov diffeomorphism of $T^2$

abstract: In this paper we consider the space of smooth conjugacy classes of an Anosov diffeomorphism of the two-torus. The only 2-manifold that supports an Anosov diffeomorphism is the 2-torus, and Franks and Manning showed that every such diffeomorphism is topologically conjugate to a linear example, and furthermore, the eigenvalues at periodic points are a complete smooth invariant. The question arises: what sets of eigenvalues occur as the Anosov diffeomorphism ranges over a topological conjugacy class? This question can be reformulated: what pairs of cohomology classes (one determined by the expanding eigenvalues, and one by the contracting eigenvalues) occur as the diffeomorphism ranges over a topological conjugacy class? The purpose of this paper is to answer this question: all pairs of H\"{o}lder reduced cohomology classes occur.


title: On the Lebesgue measure of the Julia set of a quadratic polynomial

abstract: The goal of this note is to prove the following theorem: Let $p_a(z) = z^2+a$ be a quadratic polynomial which has no irrational indifferent periodic points, and is not infinitely renormalizable. Then the Lebesgue measure of the Julia set $J(p_a)$ is equal to zero. As part of the proof we discuss a property of the critical point to be {\it persistently recurrent}, and relate our results to corresponding ones for real one dimensional maps. In particular, we show that in the persistently recurrent case the restriction $p_a|\omega(0)$ is topologically minimal and has zero topological entropy. The Douady-Hubbard-Yoccoz rigidity theorem follows this result.


title: Ergodic theory for smooth one-dimensional dynamical systems

abstract: In this paper we study measurable dynamics for the widest reasonable class of smooth one dimensional maps. Three principle decompositions are described in this class : decomposition of the global measure-theoretical attractor into primitive ones, ergodic decomposition and Hopf decomposition. For maps with negative Schwarzian derivative this was done in the series of papers [BL1-BL5], but the approach to the general smooth case must be different.


title: Dynamics of certain smooth one-dimensional mappings III: Scaling function geometry

abstract: We study scaling function geometry. We show the existence of the scaling function of a geometrically finite one-dimensional mapping. This scaling function is discontinuous. We prove that the scaling function and the asymmetries at the critical points of a geometrically finite one-dimensional mapping form a complete set of $C^{1}$-invariants within a topological conjugacy class.


title: Dynamics of certain smooth one-dimensional mappings IV: Asymptotic geometry of Cantor sets

abstract: We study hyperbolic mappings depending on a parameter $\varepsilon $. Each of them has an invariant Cantor set. As $\varepsilon $ tends to zero, the mapping approaches the boundary of hyperbolicity. We analyze the asymptotics of the gap geometry and the scaling function geometry of the invariant Cantor set as $\varepsilon $ goes to zero. For example, in the quadratic case, we show that all the gaps close uniformly with speed $\sqrt {\varepsilon}$. There is a limiting scaling function of the limiting mapping and this scaling function has dense jump discontinuities because the limiting mapping is not expanding. Removing these discontinuities by continuous extension, we show that we obtain the scaling function of the limiting mapping with respect to the Ulam-von Neumann type metric.


title: Periods implying almost all periods, trees with snowflakes, and zero entropy maps

abstract: Let $X$ be a compact tree, $f$ be a continuous map from $X$ to itself, $End(X)$ be the number of endpoints and $Edg(X)$ be the number of edges of $X$. We show that if $n>1$ has no prime divisors less than $End(X)+1$ and $f$ has a cycle of period $n$, then $f$ has cycles of all periods greater than $2End(X)(n-1)$ and topological entropy $h(f)>0$; so if $p$ is the least prime number greater than $End(X)$ and $f$ has cycles of all periods from 1 to $2End(X)(p-1)$, then $f$ has cycles of all periods (this verifies a conjecture of Misiurewicz for tree maps). Together with the spectral decomposition theorem for graph maps it implies that $h(f)>0$ iff there exists $n$ such that $f$ has a cycle of period $mn$ for any $m$. We also define {\it snowflakes} for tree maps and show that $h(f)=0$ iff every cycle of $f$ is a snowflake or iff the period of every cycle of $f$ is of form $2^lm$ where $m\le Edg(X)$ is an odd integer with prime divisors less than $End(X)+1$.


title: The "spectral" decomposition for one-dimensional maps

abstract: We construct the "spectral" decomposition of the sets $\bar{Per\,f}$, $\omega(f)=\cup\omega(x)$ and $\Omega(f)$ for a continuous map $f$ of the interval to itself. Several corollaries are obtained; the main ones describe the generic properties of $f$-invariant measures, the structure of the set $\Omega(f)\setminus \bar{Per\,f}$ and the generic limit behavior of an orbit for maps without wandering intervals. The "spectral" decomposition for piecewise-monotone maps is deduced from the Decomposition Theorem. Finally we explain how to extend the results of the present paper for a continuous map of a one-dimensional branched manifold into itself.


title: The Fibonacci unimodal map

abstract: This paper will study topological, geometrical and measure-theoretical properties of the real Fibonacci map. Our goal was to figure out if this type of recurrence really gives any pathological examples and to compare it with the infinitely renormalizable patterns of recurrence studied by Sullivan. It turns out that the situation can be understood completely and is of quite regular nature. In particular, any Fibonacci map (with negative Schwarzian and non-degenerate critical point) has an absolutely continuous invariant measure (so, we deal with a ``regular'' type of chaotic dynamics). It turns out also that geometrical properties of the closure of the critical orbit are quite different from those of the Feigenbaum map: its Hausdorff dimension is equal to zero and its geometry is not rigid but depends on one parameter.


title: Quasisymmetric conjugacies between unimodal maps

abstract: It is shown that some topological equivalency classes of S-unimodal maps are equal to quasisymmetric conjugacy classes. This includes some infinitely renormalizable polynomials of unbounded type.


title: Dynamics of certain non-conformal degree two maps on the plane

abstract: In this paper we consider maps on the plane which are similar to quadratic maps in that they are degree 2 branched covers of the plane. In fact, consider for $\alpha$ fixed, maps $f_c$ which have the following form (in polar coordinates): $$f_c(r\,e^{i\theta})\;=\;r^{2\alpha}\,e^{2i\theta}\,+\,c$$ When $\alpha=1$, these maps are quadratic ($z \maps z^2 + c$), and their dynamics and bifurcation theory are to some degree understood. When $\alpha$ is different from one, the dynamics is no longer conformal. In particular, the dynamics is not completely determined by the orbit of the critical point. Nevertheless, for many values of the parameter c, the dynamics has strong similarities to that of the quadratic family. For other parameter values the dynamics is dominated by 2 dimensional behavior: saddles and the like. The objects of study are Julia sets, filled-in Julia sets and the connectedness locus. These are defined in analogy to the conformal case. The main drive in this study is to see to what extent the results in the conformal case generalize to that of maps which are topologically like quadratic maps (and when $\alpha$ is close to one, close to being quadratic).


title: On the quasisymmetrical classification of infinitely renormalizable maps: I. Maps with Feigenbaum's topology.

abstract: A semigroup (dynamical system) generated by $C^{1+\alpha}$-contracting mappings is considered. We call a such semigroup regular if the maximum $K$ of the conformal dilatations of generators, the maximum $l$ of the norms of the derivatives of generators and the smoothness $\alpha$ of the generators satisfy a compatibility condition $K< 1/l^{\alpha}$. We prove the {\em geometric distortion lemma} for a regular semigroup generated by $C^{1+\alpha}$-contracting mappings.


title: On the quasisymmetrical classification of infinitely renormalizable maps: II. remarks on maps with a bounded type topology.

abstract: We use the upper and lower potential functions and Bowen's formula estimating the Hausdorff dimension of the limit set of a regular semigroup generated by finitely many $C^{1+\alpha}$-contracting mappings. This result is an application of the geometric distortion lemma in the first paper at this series.


title: On the realization of fixed point portraits (an addendum to Goldberg, Milnor: Fixed point portraits)

abstract: We establish that every formal critical portrait (as defined by Goldberg and Milnor), can be realized by a postcritically finite polynomial.


title: Periodic orbits for Hamiltonian systems in cotangent bundles

abstract: We prove the existence of at least $cl(M)$ periodic orbits for certain time dependant Hamiltonian systems on the cotangent bundle of an arbitrary compact manifold $M$. These Hamiltonians are not necessarily convex but they satisfy a certain boundary condition given by a Riemannian metric on $M$. We discretize the variational problem by decomposing the time 1 map into a product of ``symplectic twist maps''. A second theorem deals with homotopically non trivial orbits in manifolds of negative curvature.


title: On removable sets for Sobolev spaces in the plane

abstract: Let $K$ be a compact subset of $\bar{\bold C} ={\bold R}^2$ and let $K^c$ denote its complement. We say $K\in HR$, $K$ is holomorphically removable, if whenever $F:\bar{\bold C} \to\bar{\bold C}$ is a homeomorphism and $F$ is holomorphic off $K$, then $F$ is a M\"obius transformation. By composing with a M\"obius transform, we may assume $F(\infty )=\infty$. The contribution of this paper is to show that a large class of sets are $HR$. Our motivation for these results is that these sets occur naturally (e.g. as certain Julia sets) in dynamical systems, and the property of being $HR$ plays an important role in the Douady-Hubbard description of their structure.


title: Geometric finiteness and uniqueness for Kleinian groups with circle packing limit sets

abstract: In this paper, we assume that $G$ is a finitely generated torsion free non-elementary Kleinian group with $\Omega(G)$ nonempty. We show that the maximal number of elements of $G$ that can be pinched is precisely the maximal number of rank 1 parabolic subgroups that any group isomorphic to $G$ may contain. A group with this largest number of rank 1 maximal parabolic subgroups is called {\it maximally parabolic}. We show such groups exist. We state our main theorems concisely here. Theorem I. The limit set of a maximally parabolic group is a circle packing; that is, every component of its regular set is a round disc. Theorem II. A maximally parabolic group is geometrically finite. Theorem III. A maximally parabolic pinched function group is determined up to conjugacy in $PSL(2,{\bf C})$ by its abstract isomorphism class and its parabolic elements.


title: The existence of sigma-finite invariant measures, applications to real one-dimensional dynamics

abstract: A general construction for $\sigma-$finite absolutely continuous invariant measure will be presented. It will be shown that the local bounded distortion of the Radon-Nykodym derivatives of $f^n_*(\lambda)$ will imply the existence of a $\sigma-$finite invariant measure for the map $f$ which is absolutely continuous with respect to $\lambda$, a measure on the phase space describing the sets of measure zero. Furthermore we will discuss sufficient conditions for the existence of $\sigma-$finite invariant absolutely continuous measures for real 1-dimensional dynamical systems.


title: Involutory Hopf algebras and 3-manifold invariants

abstract: We establish a 3-manifold invariant for each finite-dimensional, involutory Hopf algebra. If the Hopf algebra is the group algebra of a group $G$, the invariant counts homomorphisms from the fundamental group of the manifold to $G$. The invariant can be viewed as a state model on a Heegaard diagram or a triangulation of the manifold. The computation of the invariant involves tensor products and contractions of the structure tensors of the algebra. We show that every formal expression involving these tensors corresponds to a unique 3-manifold modulo a well-understood equivalence. This raises the possibility of an algorithm which can determine whether two given 3-manifolds are homeomorphic.


title: The quantum G_2 link invariant

abstract: We derive an inductive, combinatorial definition of a polynomial-valued regular isotopy invariant of links and tangled graphs. We show that the invariant equals the Reshetikhin-Turaev invariant corresponding to the exceptional simple Lie algebra G_2. It is therefore related to G_2 in the same way that the HOMFLY polynomial is related to A_n and the Kauffman polynomial is related to B_n, C_n, and D_n. We give parallel constructions for the other rank 2 Lie algebras and present some combinatorial conjectures motivated by the new inductive definitions.


title: Stable husbands

abstract: Suppose $n$ boys and $n$ girls rank each other at random. We show that any particular girl has at least $({1\over 2}-\epsilon) \ln n$ and at most $(1+\epsilon)\ln n$ different husbands in the set of all Gale/Shapley stable matchings defined by these rankings, with probability approaching 1 as $n \to \infty$, if $\epsilon$ is any positive constant. The proof emphasizes general methods that appear to be useful for the analysis of many other combinatorial algorithms.


title: Efficient representation of perm groups

abstract: This note presents an elementary version of Sims's algorithm for computing strong generators of a given perm group, together with a proof of correctness and some notes about appropriate low-level data structures. Upper and lower bounds on the running time are also obtained. (Following a suggestion of Vaughan Pratt, we adopt the convention that perm $=$ permutation, perhaps thereby saving millions of syllables in future research.)


title: Alternating sign matrices and domino tilings

abstract: We introduce a family of planar regions, called Aztec diamonds, and study the ways in which these regions can be tiled by dominoes. Our main result is a generating function that not only gives the number of domino tilings of the Aztec diamond of order $n$ but also provides information about the orientation of the dominoes (vertical versus horizontal) and the accessibility of one tiling from another by means of local modifications. Several proofs of the formula are given. The problem turns out to have connections with the alternating sign matrices of Mills, Robbins, and Rumsey, as well as the square ice model studied by Lieb.


title: Szeg\"o kernels for certain unbounded domains in $\Bbb C^2$

abstract: No abstract available.


title: On the integration of vector-valued functions

abstract: We discuss relationships between the McShane, Pettis, Talagrand and Bochner integrals. A large number of different methods of integration of Banach-space-valued functions have been introduced, based on the various possible constructions of the Lebesgue integral. They commonly run fairly closely together when the range space is separable (or has w^*-separable dual) and diverge more or less sharply for general range spaces. The McShane integral as described by [Go] is derived from the `gauge-limit' integral of [McS]. Here we give both positive and negative results concerning it and the other three integrals listed above.


title: Lower estimates of random unconditional constants of Walsh-Paley martingales with values in banach spaces

abstract: For a Banach space X we define RUMD_n(X) to be the infimum of all c>0 such that (AVE_{\epsilon_k =\pm 1} || \sum_1^n epsilon_k (M_k - M_{k-1} )||_{L_2^X}^2 )^{1/2} <= c || M_n ||_{L_2^X} holds for all Walsh-Paley martingales {M_k}_0^n subset L_2^X with M_0 =0. We relate the asymptotic behaviour of the sequence {RUMD(X)}_{n=1}^{infinity} to geometrical properties of the Banach space X such as K-convexity and superreflexivity.


title: Complexity of weakly null sequences

abstract: We introduce an ordinal index which measures the complexity of a weakly null sequence, and show that a construction due to J. Schreier can be iterated to produce for each alpha < omega_1, a weakly null sequence (x^{alpha}_n)_n in C(omega^{omega^{alpha}})) with complexity alpha. As in the Schreier example each of these is a sequence of indicator functions which is a suppression-1 unconditional basic sequence. These sequences are used to construct Tsirelson-like spaces of large index. We also show that this new ordinal index is related to the Lavrentiev index of a Baire-1 function and use the index to sharpen some results of Alspach and Odell on averaging weakly null sequences.


title: Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B

abstract: We study how equivalent nonisomorphic models of unsuperstable theories can be. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues [HySh:474].


title: Aspects of the theory of infinite dimensional manifolds

abstract: The convenient setting for smooth mappings, holomorphic mappings, and real analytic mappings in infinite dimension is sketched. Infinite dimensional manifolds are discussed with special emphasis on smooth partitions of unity and tangent vectors as derivations. Manifolds of mappings and diffeomorphisms are treated. Finally the differential structure on the inductive limits of the groups $GL(n)$, $SO(n)$ and some of their homogeneus spaces is treated.


title: Graded derivations of the algebra of differential forms associated with a connection

abstract: In the main part of this paper a connection is just a fiber projection onto a (not necessarily integrable) distribution or sub vector bundle of the tangent bundle. Here curvature is computed via the Froelicher-Nijenhuis bracket, and it is complemented by cocurvature and the Bianchi identity still holds. In this situation we determine the graded Lie algebra of all graded derivations over the horizontal projection of a connection and we determine their commutation relations. Finally, for a principal connection on a principal bundle and the induced connection on an associated bundle we show how one may pass from one to the other. The final results relate derivations on vector bundle valued forms and derivations over the horizontal projection of the algebra of forms on the principal bundle with values in the standard vector space.


title: The action of the diffeomorphism group on the space of immersions

abstract: We study the action of the diffeomorphism group $\Diff(M)$ on the space of proper immersions $\Imm_{\text{prop}}(M,N)$ by composition from the right. We show that smooth transversal slices exist through each orbit, that the quotient space is Hausdorff and is stratified into smooth manifolds, one for each conjugacy class of isotropy groups.


title: Scalings in circle maps III

abstract: Circle maps with a flat spot are studied which are differentiable, even on the boundary of the flat spot. Estimates on the Lebesgue measure and the Hausdorff dimension of the non-wandering set are obtained. Also, a sharp transition is found from degenerate geometry similar to what was found earlier for non-differentiable maps with a flat spot to bounded geometry as in critical maps without a flat spot.


title: Hyperbolic components in spaces of polynomial maps

abstract: We consider polynomial maps $f:\C\to\C$ of degree $d\ge 2$, or more generally polynomial maps from a finite union of copies of $\C$ to itself which have degree two or more on each copy. In any space $\p^{S}$ of suitably normalized maps of this type, the post-critically bounded maps form a compact subset $\cl^{S}$ called the connectedness locus, and the hyperbolic maps in $\cl^{S}$ form an open set $\hl^{S}$ called the hyperbolic connectedness locus. The various connected components $H_\alpha\subset \hl^{S}$ are called hyperbolic components. It is shown that each hyperbolic component is a topological cell, containing a unique post-critically finite map which is called its center point. These hyperbolic components can be separated into finitely many distinct ``types'', each of which is characterized by a suitable reduced mapping schema $\bar S(f)$. This is a rather crude invariant, which depends only on the topology of $f$ restricted to the complement of the Julia set. Any two components with the same reduced mapping schema are canonically biholomorphic to each other. There are similar statements for real polynomial maps, or for maps with marked critical points.


title: Domains in $\cx {n+1}$ with Noncompact Automorphism Group. II

abstract: No abstract available.


title: The relation between systems and associated bundles

abstract: It is shown that a strong system of vector fields on a fiber bundle in the sense of [Modugno, M. Systems of connections and invariant lagrangians. In: Differential geometric methods in theoretical physics, Proc. 15th Int. Conf., DGM, Clausthal/FRG 1986, 518-534 World Scientific Publishing Co. (1987)] is induced from a principal fiber bundle if and only if each vertical vector field of the system is complete.


title: The Teichm\"uller space of the standard action of $SL(2,Z)$ on $T^2$ is trivial

abstract: The group $SL(n,{\bf Z})$ acts linearly on $\R^n$, preserving the integer lattice $\Z^{n} \subset \R^{n}$. The induced (left) action on the n-torus $\T^{n} = \R^{n}/\Z^{n}$ will be referred to as the ``standard action''. It has recently been shown that the standard action of $SL(n,\Z)$ on $\T^n$, for $n \geq 3$, is both topologically and smoothly rigid. That is, nearby actions in the space of representations of $SL(n,\Z)$ into ${\rm Diff}^{+}(\T^{n})$ are smoothly conjugate to the standard action. In fact, this rigidity persists for the standard action of a subgroup of finite index. On the other hand, while the $\Z$ action on $\T^{n}$ defined by a single hyperbolic element of $SL(n,\Z)$ is topologically rigid, an infinite dimensional space of smooth conjugacy classes occur in a neighborhood of the linear action. The standard action of $SL(2, \Z)$ on $\T^2$ forms an intermediate case, with different rigidity properties from either extreme. One can construct continuous deformations of the standard action to obtain an (arbritrarily near) action to which it is not topologically conjugate. The purpose of the present paper is to show that if a nearby action, or more generally, an action with some mild Anosov properties, is conjugate to the standard action of $SL(2, \Z)$ on $\T^2$ by a homeomorphism $h$, then $h$ is smooth. In fact, it will be shown that this rigidity holds for any non-cyclic subgroup of $SL(2, \Z)$.


title: Zero sets of some classes of entire functions

abstract: A method of constructing an entire function with given zeros and estimates of growth is suggested. It gives a possibility to describe zero sets of certain classes of entire functions of one and several variables in terms of growth of volume of these sets in certain polycylinders.


title: On the Singular Cardinal Hypothesis

abstract: We use the core model for sequences of measures to prove a new lower bound for the consistency strength of the failure of the SCH: THEOREM (i) If there is a singular strong limit cardinal $\kappa$ such that $2^\kappa > kappa^+$ then there is an inner model with a cardinal $\kappa$ such that for all ordinals $\alpha<\kappa$ there is an ordinal $\nu < \kappa$ with $o(\nu) > \alpha$. (ii) If there is a singular strong limit cardinal $\kappa$ of uncountable cofinality such that $2^\kappa > \kappa^+$ then there is an inner model with $o(\kappa) = \kappa^{++}$. Since this paper was originally submitted, Gitik has improved this result to give exact lower bounds.


title: A division Algorithm for the Free Left Distributive Algebra

abstract: The normal form theorem, proved in R. Laver, On the left distributive law and the freeness of an algebra of elementary embeddings, Advances in Mathematics 91 (1992), 209-231, for the free algebra $\Cal A$ on one generator $x$ satisfying the left distributive law $a(bc) = (ab)(ac)$ is extended by showing that members of $\Cal A$ can be put into a "division form."


title: On the Algebra of Elementary Embeddings of a Rank into Inself

abstract: Let $j:V_\lambda---> V_\lambda$ be an elementary embedding, with critical point $\kappa$, and let $f(n)$ be the number of critical points of embeddings in the algebra generated by $j$ which lie between $j^n(\kappa)$ and $j^{n+1}(\kappa)$. It is shown that $f(n)$ is finite for all $n$.


title: Maximal Chains in {}^\omega\omega and Ultrapowers of the Integers

abstract: Various questions posed by P. Nyikos concerning ultrafilters on $\omega$ and chains in the partial order $(\omega,<^*)$ are answered. The main tool is the oracle chain condition and variations of it.


title: A short proof of the irreflexivity conjecture

abstract: Gives a short proof of Dehornoy's latest result. The same simple argument (and more) was discovered by Laver's student Larue.


title: On G\"odel's second incompleteness theorem

abstract: A very short proof of G\"odel's second incompleteness theorem (for set theory, second order arithmetic etc.)


title: On Braid Words and Irreflexivity

abstract: The purpose of this note is to prove irreflexivity, and hence the linear ordering, in ZFC, without some of the machinery used by Dehornoy.


title: Embeddings of Iteration Trees

abstract: This paper, dating from May 1991, contains preliminary (and unpublishable) notes on investigations about iteration trees. They will be of interest only to the specialist. In the first two sections I define notions of support and embeddings for tree iterations, proving for example that every tree iteration is a direct limit of finite tree iterations. This is a generalization to models with extenders of basic ideas of iterated ultrapowers using only ultrapowers. In the final section (which is most of the paper) I sketch a proof that any tree iteration can be embedded into a normal iteration, that is, a tree iteration with the extenders in nondecreasing order of strength and with strictly increasing critical points.


title: Reaping Numbers of Boolean Algebras

abstract: A subset $A$ of a Boolean algebra $B$ is said to be $(n,m)$-reaped if there is a partition of unity $P \subset B$ of size $n$ such that the cardinality of $\{b \in P: b \wedge a \neq \emptyset\}$ is greater than or equal to $m$ for all $a\in A$. The reaping number $r_{n,m}(B)$ of a Boolean algebra $B$ is the minimum cardinality of a set $A \subset B\setminus \{0\}$ such which cannot be $(n,m)$-reaped. It is shown that, for each $n \in \omega$, there is a Boolean algebra $B$ such that $r_{n+1,2}(B) \neq r_{n,2}(B)$. Also, $\{r_{n,m}(B) : \{n,m\}\subseteq\omega\}$ consists of at most two consecutive integers. The existence of a Boolean algebra $B$ such that $r_{n,m}(B) \neq r_{n',m'}(B)$ is equivalent to a statement in finite combinatorics which is also discussed.


title: Structure of local Banach spaces of locally convex spaces

abstract: We show that a continuous bilinear mapping P: C(I) \times C(I) \to C(I) can be presented in the form P(f,g) = B((Af)(Ag)), where A and B are bounded linear operators on C(I) and multiplication is defined pointwise, if and only if for all t in I the bilinear form (f,g) -> P(f,g)(t) is integral on C(I) times C(I) and depends in a sense continuously on t. To this end we construct a continuous surjection phi : I \to I^2 admitting a regular averaging operator in the sense of Pelczynski.


title: The volume of the intersection of a convex body with its translates

abstract: It is proved that for a symmetric convex body K in R^n, if for some tau > 0, |K cap (x+tau K)| depends on ||x||_K only, then K is an ellipsoid. As a part of the proof, smoothness properties of convolution bodies ls are studied.


title: The Distorion Problem

abstract: We prove that Hilbert space is distortable and, in fact, arbitrarily distortable. This means that for all lambda >1 there exists an equivalent norm |.| on l_2 such that for all infinite dimensional subspaces Y of l_2 there exist x,y in Y with ||x||_2 = ||y||_2 =1 yet |x| >lambda |y|. We also prove that if X is any infinite dimensional Banach space with an unconditional basis then the unit sphere of X and the unit sphere of l_1 are uniformly homeomorphic if and only if X does not contain l_infty^n's uniformly.


title: A Note on Unconditional Structures in Weak Hilbert Spaces

abstract: We prove that if a non-atomic separable Banach lattice in a weak Hilbert space, then it is lattice isomorphic to $L_2(0,1)$.


title: A l_1-predual which is not isometric to a quotient of C(alpha)

abstract: About twenty years ago Johnson and Zippin showed that every separable L_1(mu)-predual was isometric to a quotient of C(Delta ), where Delta is the Cantor set. In this note we will show that the natural analogue of the theorem for l_1-preduals does not hold. We will show that there are many l_1-preduals which are not isometric to a quotient of any C(K)-space with K a countable compact metric space. We also prove some general results about the relationship between l_1-preduals and quotients of C(K)-spaces with K a countable compact metric space. The results in this paper were presented at the Workshop on Banach Space Theory in Merida, Venezuela, January 1992.


title: Jean Bourgain's analytic partition of unity via holomorphic martingales

abstract: Using stopping time arguments on holomorphic martingales we present a soft way of constructing J. Bourgain's analytic partitions of unity. Applications to Marcinkiewicz interploation in weighted Hardy spaces are discussed.


title: On the Selberg class of Dirichlet series: small weights

abstract: In the study of Dirichlet series with arithmetic significance there has appeared (through the study of known examples) certain expectations, namely (i) if a functional equation and Euler product exists, then it is likely that a type of Riemann hypothesis will hold, (ii) that if in addition the function has a simple pole at the point s=1, then it must be a product of the Riemann zeta-function and another Dirichlet series with similar properties, and (iii) that a type of converse theorem holds, namely that all such Dirichlet series can be obtained by considering Mellin transforms of automorphic forms associated with arithmetic groups.


title: Full reflection of stationary sets at regular cardinals

abstract: A stationary subset S of a regular uncountable cardinal kappa reflects fully at regular cardinals if for every stationary set T subseteq kappa of higher order consisting of regular cardinals there exists an alpha in T such that S cap alpha is a stationary subset of alpha. We prove that the Axiom of Full Reflection which states that every stationary set reflects fully at regular cardinals, together with the existence of n-Mahlo cardinals is equiconsistent with the existence of Pi^1_n-indescribable cardinals. We also state the appropriate generalization for greatly Mahlo cardinals.


title: Uniformization and the diversity of Whitehead groups

abstract: The connections between Whitehead groups and uniformization properties were investigated by the third author in [Sh:98]. In particular it was essentially shown there that there is a non-free Whitehead (respectively, aleph_1-coseparable) group of cardinality aleph_1 if and only if there is a ladder system on a stationary subset of omega_1 which satisfies 2-uniformization (respectively, omega-uniformization). These techniques allowed also the proof of various independence and consistency results about Whitehead groups, for example that it is consistent that there is a non-free Whitehead group of cardinality aleph_1 but no non-free aleph_1-coseparable group. However, some natural questions remained open, among them the following two: (i) Is it consistent that the class of W-groups of cardinality aleph_1 is exactly the class of strongly aleph_1-free groups of cardinality aleph_1 ? (ii) If every strongly aleph_1-free group of cardinality aleph_1 is a W-group, are they also all aleph_1-coseparable? In this paper we use the techniques of uniformization to answer the first question in the negative and give a partial affirmative answer to the second question.


title: Knit products of graded Lie algebras and groups

abstract: If a graded Lie algebra is the direct sum of two graded sub Lie algebras, its bracket can be written in a form that mimics a "double sided semidirect product". It is called the {\it knit product} of the two subalgebras then. The integrated version of this is called a {\it knit product} of groups --- it coincides with the {\it Zappa-Sz\'ep product}. The behavior of homomorphisms with respect to knit products is investigated.


title: Commutators of flows and fields

abstract: The well known formula $[X,Y]=\tfrac12\tfrac{\partial^2}{\partial t^2}|_0 (\Fl^Y_{-t}\o\Fl^X_{-t}\o\Fl^Y_t\o\Fl^X_t)$ for vector fields $X$, $Y$ is generalized to arbitrary bracket expressions and arbitrary curves of local diffeomorphisms.


title: All unitary representations admit moment mappings

abstract: This is a review of [Michor, Peter W.: The moment mapping for a unitary representation, Ann. Global Anal. Geometry, 8, No 3(1990), 299--313] including a careful description of calculus in infinite dimensions. For any unitary representation of an arbitrary Lie group I construct a moment mapping from the space of smooth vectors of the representation into the dual of the Lie algebra. This moment mapping is equivariant and smooth. For the space of analytic vectors the same construction is possible and leads to a real analytic moment mapping.


title: Geodesics on spaces of almost hermitian structures

abstract: A natural metric on the space of all almost hermitian structures on a given manifold is investigated.


title: A general correspondence between Dirichlet forms and right processes

abstract: The theory of Dirichlet forms as originated by Beurling-Deny and developed particularly by Fukushima and Silverstein, is a natural functional analytic extension of classical (and axiomatic) potential theory. Although some parts of it have abstract measure theoretic versions, the basic general construction of a Hunt process properly associated with the form, obtained by Fukushima and Silverstein, requires the form to be defined on a locally compact separable space with a Radon measure $m$ and the form to be regular (in the sense of the continuous functions of compact support being dense in the domain of the form, both in the supremum norm and in the natural norm given by the form and the $L^2(m)$-space). This setting excludes infinite dimensional situations. In this letter we announce that there exists an extension of Fukushima-Silverstein's construction of the associated process to the case where the space is only supposed to be metrizable and the form is not required to be regular.


title: Higgs line bundles, Green-Lazarsfeld sets,and maps of K\"ahler manifolds to curves

abstract: Let $X$ be a compact K\"ahler manifold. The set $\cha(X)$ of one-dimensional complex valued characters of the fundamental group of $X$ forms an algebraic group. Consider the subset of $\cha(X)$ consisting of those characters for which the corresponding local system has nontrivial cohomology in a given degree $d$. This set is shown to be a union of finitely many components that are translates of algebraic subgroups of $\cha(X)$. When the degree $d$ equals 1, it is shown that some of these components are pullbacks of the character varieties of curves under holomorphic maps. As a corollary, it is shown that the number of equivalence classes (under a natural equivalence relation) of holomorphic maps, with connected fibers, of $X$ onto smooth curves of a fixed genus $>1$ is a topological invariant of $X$. In fact it depends only on the fundamental group of $X$.


title: The Atiyah-Jones Conjecture

abstract: The purpose of this note is to announce our proof of the Atiyah-Jones conjecture concerning the topology of the moduli spaces of based SU(2)-instantons over S^4. Full details and proofs appear in our paper [BHMM1].


title: Nilpotent orbits, normality, and Hamiltonian group actions

abstract: Let $M$ be a $G$-covering of a nilpotent orbit in $\g$ where $G$ is a complex semisimple Lie group and $\g=\text{Lie}(G)$. We prove that under Poisson bracket the space $R[2]$ of homogeneous functions on $M$ of degree 2 is the unique maximal semisimple Lie subalgebra of $R=R(M)$ containing $\g$. The action of $\g'\simeq R[2]$ exponentiates to an action of the corresponding Lie group $G'$ on a $G'$-cover $M'$ of a nilpotent orbit in $\g'$ such that $M$ is open dense in $M'$. We determine all such pairs $(\g\subset\g')$.


title: The Mackey-Gleason Problem

abstract: Let $A$ be a von Neumann algebra with no direct summand of Type $\roman I_2$, and let $\scr P(A)$ be its lattice of projections. Let $X$ be a Banach space. Let $m\:\scr P(A)\to X$ be a bounded function such that $m(p+q)=m(p)+m(q)$ whenever $p$ and $q$ are orthogonal projections. The main theorem states that $m$ has a unique extension to a bounded linear operator from $A$ to $X$. In particular, each bounded complex-valued finitely additive quantum measure on $\scr P(A)$ has a unique extension to a bounded linear functional on $A$.


title: Ramanujan duals and automorphic spectrum

abstract: We introduce the notion of the automorphic dual of a matrix algebraic group defined over $Q$. This is the part of the unitary dual that corresponds to arithmetic spectrum. Basic functorial properties of this set are derived and used both to deduce arithmetic vanishing theorems of ``Ramanujan'' type as well as to give a new construction of automorphic forms.


title: A theory of algebraic cocycles

abstract: We introduce the notion of an algebraic cocycle as the algebraic analogue of a map to an Eilenberg-MacLane space. Using these cocycles we develop a ``cohomology theory" for complex algebraic varieties. The theory is bigraded, functorial, and admits Gysin maps. It carries a natural cup product and a pairing to $L$-homology. Chern classes of algebraic bundles are defined in the theory. There is a natural transformation to (singular) integral cohomology theory that preserves cup products. Computations in special cases are carried out. On a smooth variety it is proved that there are algebraic cocycles in each algebraic rational $(p,p)$-cohomology class.


abstract: A combinatorial formula for the Pontrjagin classes of a triangulated manifold is given. The main ingredients are oriented matroid theory and a modified formulation of Chern-Weil theory.


title: Analytic varieties versus integral varieties of Lie algebras of vector fields

abstract: We associate to any germ of an analytic variety a Lie algebra of tangent vector fields, the {\it tangent algebra}. Conversely, to any Lie algebra of vector fields an analytic germ can be associated, the {\it integral variety}. The paper investigates properties of this correspondence: The set of all tangent algebras is characterized in purely Lie algebra theoretic terms. And it is shown that the tangent algebra determines the analytic type of the variety.


title: A quasi-polynomial bound for the diameter of graphs of polyhedra

abstract: The diameter of the graph of a $d$-dimensional polyhedron with $n$ facets is at most $n^{\log d+2}$


title: Algorithms in algebraic number theory

abstract: In this paper we discuss the basic problems of algorithmic algebraic number theory. The emphasis is on aspects that are of interest from a purely mathematical point of view, and practical issues are largely disregarded. We describe what has been done and, more importantly, what remains to be done in the area. We hope to show that the study of algorithms not only increases our understanding of algebraic number fields but also stimulates our curiosity about them. The discussion is concentrated of three topics: the determination of Galois groups, the determination of the ring of integers of an algebraic number field, and the computation of the group of units and the class group of that ring of integers.


title: Spectral Theory and Representations of Nilpotent Groups

abstract: We give an estimate of the number $N(\lambda)$ of eigenvalues $<\lambda$ for the image under an irreducible representation of the ``sublaplacian'' on a stratified nilpotent Lie algebra. We also give an estimate for the trace of the heat-kernel associated with this operator. The estimates are formulated in term of geometrical objects related to the representation under consideration. An important particular case is the Schr\"odinger equation with polynomial electrical and magnetical fields.


title: The $\bal$\ and $\bcl$\ Bailey Transform and Lemma

abstract: We announce a higher-dimensional generalization of the Bailey Transform, Bailey Lemma, and iterative ``Bailey chain'' concept in the setting of basic hypergeometric series very well-poised on unitary $A_{\ell}$ or symplectic $C_{\ell}$ groups. The classical case, corresponding to $A_1$ or equivalently $\roman U(2)$, contains an immense amount of the theory and application of one-variable basic hypergeometric series, including elegant proofs of the Rogers-Ramanujan-Schur identities. In particular, our program extends much of the classical work of Rogers, Bailey, Slater, Andrews, and Bressoud.


title: A period mapping in universal Teichm\"uller space

abstract: In previous work it had been shown that the remarkable homogeneous space $M= \operatorname{Diff}(S^1)/\operatorname{PSL} (2,\Bbb{R})$ sits as a complex analytic and K\"ahler submanifold of the Universal Teichm\"uller Space. There is a natural immersion $\Pi$ of $M$ into the infinite-dimensional version (due to Segal) of the Siegel space of period matrices. That map $\Pi$ is proved to be injective, equivariant, holomorphic, and K\"ahler-isometric (with respect to the canonical metrics). Regarding a period mapping as a map describing the variation of complex structure, we explain why $\Pi$ is an infinite-dimensional period mapping.


title: Density theorems for sampling and interpolation in the Bargmann-Fock space

abstract: We give a complete description of sampling and interpolation in the Bargmann-Fock space, based on a density concept of Beurling. Roughly speaking, a discrete set is a set of sampling if and only if its density in every part of the plane is strictly larger than that of the von Neumann lattice, and similarly, a discrete set is a set of interpolation if and only if its density in every part of the plane is strictly smaller than that of the von Neumann lattice.


title: A sharp pointwise bound for functions with $L^2$-Laplacians on arbitrary domains and its applications

abstract: For all functions on an arbitrary open set $\Omega\subset\R^3$ with zero boundary values, we prove the optimal bound \[ \sup_{\Omega}|u| \leq (2\pi)^{-1/2} \left(\int_{\Omega}|\nabla u|^2 \,dx\, \int_{\Omega}|\Delta u|^2 \,dx\right)^{1/4}. \] The method of proof is elementary and admits generalizations. The inequality is applied to establish an existence theorem for the Burgers equation.


title: Dynamics of certain non-conformal semigroups

abstract: A semigroup generated by two dimensional $C^{1+\alpha}$ contracting maps is considered. We call a such semigroup regular if the maximum $K$ of the conformal dilatations of generators, the maximum $l$ of the norms of the derivatives of generators and the smoothness $\alpha$ of the generators satisfy a compatibility condition $K< 1/l^{\alpha}$. We prove that the shape of the image of the core of a ball under any element of a regular semigroup is good (bounded geometric distortion like the Koebe $1/4$-lemma \cite{a}). And we use it to show a lower and a upper bounds of the Hausdorff dimension of the limit set of a regular semigroup. We also consider a semigroup generated by higher dimensional maps.


title: Cantor sets in the line: scaling function and the smoothness of the shift map

abstract: Consider $d$ disjoint closed subintervals of the unit interval and consider an orientation preserving expanding map which maps each of these subintervals to the whole unit interval. The set of points where all iterates of this expanding map are defined is a Cantor set. Associated to the construction of this Cantor set is the scaling function which records the infinitely deep geometry of this Cantor set. This scaling function is an invariant of $C^1$ conjugation. We solve the inverse problem posed by Dennis Sullivan: given a scaling function, determine the maximal possible smoothness of any expanding map which produces it.


title: The Cardinality of the second uniform indiscernible

abstract: When the second uniform indiscernible is $\aleph_{2}$, the Martin-Solovay tree only constructs countably many reals; this resolves a number of open questions in descriptive set theory.


title: Critical points in an algebra of elementary embeddings

abstract: Given two elementary embeddings from the collection of sets of rank less than $\lambda$ to itself, one can combine them to obtain another such embedding in two ways: by composition, and by applying one to (initial segments of) the other. Hence, a single such nontrivial embedding $j$ generates an algebra of embeddings via these two operations, which satisfies certain laws (for example, application distributes over both composition and application). Laver has shown, among other things, that this algebra is free on one generator with respect to these laws. The set of critical points of members of this algebra is the subject of this paper. This set contains the critical point $\kappa_0$ of $j$, as well as all of the other ordinals $\kappa_n$ in the critical sequence of $j$ (defined by $\kappa_{n+1} = j(\kappa_n)$). But the set includes many other ordinals as well. The main result of this paper is that the number of critical points below $\kappa_n$ (which has been shown to be finite by Laver and Steel) grows so quickly with $n$ that it dominates any primitive recursive function. In fact, it grows faster than the Ackermann function, and even faster than a slow iterate of the Ackermann function. Further results show that, even just below $\kappa_4$, one can find so many critical points that the number is only expressible using fast-growing hierarchies of iterated functions (six levels of iteration beyond exponentials).


title: The Compact Approximation Property does not imply the Approximation Property

abstract: It is shown how to construct, given a Banach space which does not have the approximation property, another Banach space which does not have the approximation property but which does have the compact approximation property.


title: The unconditional basic sequence problem

abstract: We construct a Banach space that does not contain any infinite unconditional basic sequence.


title: On $c_0$-saturated Banach spaces

abstract: A Banach space E is c_0-saturated if every closed infinite dimensional subspace of E contains an isomorph of c_0. A c_0-saturated Banach space with an unconditional basis which has a quotient space isomorphic to l^2 is constructed.


title: Set-functions and factorization

abstract: If $\phi$ is a submeasure satisfying an appropriate lower estimate we give a quantitative result on the total mass of a measure $\mu$ satisfying $0\le\mu\le\phi.$ We give a dual result for supermeasures and then use these results to investigate convexity on non-locally convex quasi-Banach lattices. We then show how to use these results to extend some factorization theorems due to Pisier to the setting of quasi-Banach spaces. We conclude by showing that if $X$ is a quasi-Banach space of cotype two then any operator $T:C(\Omega)\to X$ is 2-absolutely summing and factors through a Hilbert space and discussing general factorization theorems for cotype two spaces.


title: Some Questions Arising from the Homogeneous Banach Space Problem

abstract: We review the current state of the homogeneous Banach space problem. We then formulate several questions which arise naturally from this problem, some of which seem to be fundamental but new. We give many examples defining the bounds on the problem. We end with a simple construction showing that every infinite dimensional Banach space contains a subspace on which weak properties have become stable (under passing to further subspaces). Implications of this construction are considered.


title: Many simple cardinal invariants

abstract: For g < f in omega^omega we define c(f,g) be the least number of uniform trees with g-splitting needed to cover a uniform tree with f-splitting. We show that we can simultaneously force aleph_1 many different values for different functions (f,g). In the language of Blass: There may be aleph_1 many distinct uniform Pi^0_1 characteristics.


title: Problems in holomorphic dynamics

abstract: Contents: 1. Quasiconformal Surgery and Deformations: Ben Bielefeld, Questions in quasiconformal surgery; Curt McMullen, Rational maps and Teichm\"uller space; John Milnor, Thurston's algorithm without critical finiteness; Mary Rees, A possible approach to a complex renormalization problem. 2. Geometry of Julia Sets: Lennart Carleson, Geometry of Julia sets; John Milnor, Problems on local connectivity. 3. Measurable Dynamics: Mikhail Lyubich, Measure and Dimension of Julia Sets; Feliks Przytycki, On invariant measures for iterations of holomorphic maps. 4. Iterates of Entire Functions: Robert Devaney, Open questions in non-rational complex dynamics; Alexandre Eremenko and Mikhail Lyubich, Wandering domains for holomorphic maps. 5. Newton's Method: Scott Sutherland, Bad polynomials for Newton's method


title: Polynomial diffeomorphisms of C^2, IV: The measure of maximal entropy and laminar currents

abstract: This paper concerns the dynamics of polynomial automorphisms of ${\bf C}^2$. One can associate to such an automorphism two currents $\mu^\pm$ and the equilibrium measure $\mu=\mu^+\wedge\mu^-$. In this paper we study some geometric and dynamical properties of these objects. First, we characterize $\mu$ as the unique measure of maximal entropy. Then we show that the measure $\mu$ has a local product structure and that the currents $\mu^\pm$ have a laminar structure. This allows us to deduce information about periodic points and heteroclinic intersections. For example, we prove that the support of $\mu$ coincides with the closure of the set of saddle points. The methods used combine the pluripotential theory with the theory of non-uniformly hyperbolic dynamical systems.


title: Two notes on notation

abstract: The author advocates two specific mathematical notations from his popular course and joint textbook, "Concrete Mathematics". The first of these, extending an idea of Iverson, is the notation "[P]" for the function which is 1 when the Boolean condition P is true and 0 otherwise. This notation can encourage and clarify the use of characteristic functions and Kronecker deltas in sums and integrals. The second notation puts Stirling numbers on the same footing as binomial coefficients. Since binomial coefficients are written on two lines in parentheses and read "n choose k", Stirling numbers of the first kind should be written on two lines in brackets and read "n cycle k", while Stirling numbers of the second kind should be written in braces and read "n subset k". (I might say "n partition k".) The written form was first suggested by Imanuel Marx. The virtues of this notation are that Stirling partition numbers frequently appear in combinatorics, and that it more clearly presents functional relations similar to those satisfied by binomial coefficients.


title: The distribution of vector-valued Rademacher series

abstract: Let $X=\sum \epsilon_n x_n$ be a Rademacher series with vector-valued coefficients. We obtain an approximate formula for the distribution of the random variable $||X||$ in terms of its mean and a certain quantity derived from the K-functional of interpolation theory. Several applications of the formula are given.


title: On nonatomic Banach lattices and Hardy spaces

abstract: We are interested in the question when a Banach space $X$ with an unconditional basis is isomorphic (as a Banach space) to an order-continuous nonatomic Banach lattice. We show that this is the case if and only if $X$ is isomorphic as a Banach space with $X(\ell_2)$. This and results of J. Bourgain are used to show that spaces $H_1(\bold T^n)$ are not isomorphic to nonatomic Banach lattices. We also show that tent spaces introduced in \cite{4} are isomorphic to Rad $H_1$.


title: A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares

abstract: A short and elementary proof, and a finite-form generalization, are given of Jacobi's formula for the number of ways of writing an integer as a sum of four squares (that implies Lagrange's famous 1777 theorem.)


title: More smoothly real compact spaces

abstract: A topological space $X$ is called $\Cal A$-real compact, if every algebra homomorphism from $\Cal A$ to the reals is an evaluation at some point of $X$, where $\Cal A$ is an algebra of continuous functions. Our main interest lies on algebras of smooth functions. In \cite{AdR} it was shown that any separable Banach space is smoothly real compact. Here we generalize this result to a huge class of locally convex spaces including arbitrary products of separable Fr\'echet spaces.


title: Singular measures in circle dynamics

abstract: Critical circle homeomorphisms have an invariant measure totally singular with respect to the Lebesgue measure. We prove that singularities of the invariant measure are of Holder type. The Hausdorff dimension of the invariant measure is less than 1 but greater than 0.


title: Holomorphic curvature of Finsler metrics and complex geodesics

abstract: In his famous 1981 paper, Lempert proved that given a point in a strongly convex domain the complex geodesics (i.e., the extremal disks) for the Kobayashi metric passing through that point provide a very useful fibration of the domain. In this paper we address the question whether, given a smooth complex Finsler metric on a complex manifold, it is possible to give purely differential geometric properties of the metric ensuring the existence of such a fibration in complex geodesics of the manifold. We first discuss at some length the notion of holomorphic sectional curvature for a complex Finsler metric; then, using the differential equation of complex geodesics we obtained in a previous paper, we show that for every pair (point, tangent vector) there is a (only a segment if the metric is not complete) complex geodesic passing through the point tangent to the given vector iff the Finsler metric is K\"ahler, has constant holomorphic sectional curvature -4 and satisfies a simmetry condition on the curvature tensor. Finally, we show that a complex Finsler metric of constant holomorphic sectional curvature -4 satisfying the given simmetry condition on the curvature is necessarily the Kobayashi metric.


title: Sequences of analytic disks

abstract: The subject considered in this paper has, at least, three points of interest. Suppose that we have a sequence of one-dimensional analytic varieties in a domain in $\Bbb C^n$. The cluster of this sequence consists from all points in the domains such that every neighbourhood of such points intersects with infinitely many different varieties. The first question is: what analytic properties does the cluster inherit from varieties? We give a sufficient criterion when the cluster contains an analytic disk, but it follows from examples of Stolzenberg and Wermer that, in general, clusters can contain no analytic disks. So we study algebras of continuous function on clusters, which can be approximated by holomorphic functions or polynomials, and show that this algebras possess some analytic properties in all but explicitly pathological and uninteresting cases. Secondly, we apply and results about clusters to polynomial hulls and maximal functions, finding remnants of analytic structures there too. And, finally, due to more and more frequent appearances of analytic disks as tools in complex analysis, it seems to be interesting to look at their sequences to establish terminology, basic notation and properties.


title: Covering games and the Banach-Mazur game: k-tactics

abstract: Given a free ideal J of subsets of a set X, we consider games where player ONE plays an increasing sequence of elements of the sigma completion of J, and TWO tries to cover the union of this sequence by playing one set at a time from J. We describe various conditions under which player TWO has has a winning strategy that uses only information about the most recent k moves of ONE, and apply some of these results to the Banach-Mazur game.


title: Donder's Version of Revised Countable Support

abstract: Shelah introduced the revised countable support (RCS) iteration to iterate semiproperness. This was an endpoint in the search for an iteration of a weak condition, still implying that aleph1 is preserved. Dieter Donder found a better manageable approach to this iteration, which is presented here.


title: Remark on the Failure of Martin's Axiom

abstract: Let m be the least cardinal k such that MA(k) fails. The only known model for "m is singular" was constructed by Kunen. In Kunen's model cof(m)=omega_1. It is unknown whether "omega_1 < cof(m) < m" is consistent. The purpose of this paper is to present a proof of Kunen's result and to identify the difficulties of generalizing this result to an arbitrary uncountable cofinality.