title: Banach Spaces Of The Type Of Tsirelson

abstract: To any pair ( M , theta ) where M is a family of finite subsets of N compact in the pointwise topology, and 0<theta < 1 , we associate a Tsirelson-type Banach space T_M^theta . It is shown that if the Cantor-Bendixson index of M is greater than n and theta >{1/n} then T_M^theta is reflexive. Moreover, if the Cantor-Bendixson index of M is greater than omega then T_M^theta does not contain any l^p, while if the Cantor-Bendixson index of M is finite thenT_M^theta contains some l^p or c_o . In particular, if M ={ A subset N : |A| leq n } and {1/n}<theta <1 then T_M^theta is isomorphic to some l^p .


title: On Weakly Null FDD's in Banach Spaces

abstract: In this paper we show that every sequence (F_n) of finite dimensional subspaces of a real or complex Banach space with increasing dimensions can be ``refined'' to yield an F.D.D. (G_n), still having increasing dimensions, so that either every bounded sequence (x_n), with x_n in G_n for n in N, is weakly null, or every normalized sequence (x_n), with x_n in G_n for n in N, is equivalent to the unit vector basis of l_1. Crucial to the proof are two stabilization results concerning Lipschitz functions on finite dimensional normed spaces. These results also lead to other applications. We show, for example, that every infinite dimensional Banach space X contains an F.D.D. (F_n), with lim_{n to infty} dim (F_n)=infty, so that all normalized sequences (x_n), with x_n in F_n, n in N, have the same spreading model over X. This spreading model must necessarily be 1-unconditional over X.


title: On Uniform Homeomorphisms of the Unit Spheres of Certain Banach Lattices

abstract: We prove that if X is an infinite dimensional Banach lattice with a weak unit then there exists a probability space (Omega, Sigma,mu) so that the unit sphere S(L_1(Omega, Sigma, mu) is uniformly homeomorphic to the unit sphere S(X) if and only if X does not contain l_{infty}^n's uniformly.


title: The Fr\"olicher-Nijenhuis bracket in non-commutative differential geometry

abstract: We carry over to a quite general noncommutative setting some of the basic tools of differential geometry, using from the very beginning the setting of convenient vector spaces developed by Froelicher and Kriegl, which allows to carry all of multilinear algebra into this kind of functional analysis with suitably completed tensor products. In the first section we give a short description of the setting of convenient spaces elaborating those aspects which are needed later. Then we repeat the usual construction of noncommutative differential forms for convenient algebras. Next they show that the bimodule $\Omega\sb n (A)$ of universal non-commutative $n$-forms represents the functor of the normalized Hochschild $n$-cocycles. In the third section we introduce the noncommutative version of the Froelicher-Nijenhuis bracket by investigating all bounded graded derivations of the algebra of differential forms. This bracket is then used to formulate the concept of integrability and involutiveness for distributions and to indicate a route towards a theorem of Frobenius. This is then used to discuss bundles and connections in the noncommutative setting and to go some steps towards a noncommutative Chern-Weil homomorphism. In the final section we give a brief description of the noncommutative version of the Schouten-Nijenhuis bracket and describe Poisson structures.


title: Galois theory on the line in nonzero characteristic

abstract: The author surveys Galois theory of function fields with non-zero caracteristic and its relation to the structure of finite permutation groups and matrix groups.


title: Generalizing the hyperbolic collar lemma

abstract: We discuss two generalizations of the collar lemma. The first is the stable neighborhood theorem which says that a (not necessarily simple) closed geodesic in a hyperbolic surface has a \lq\lq stable neighborhood\rq\rq whose width only depends on the length of the geodesic. As an application, we show that there is a lower bound for the length of a closed geodesic having crossing number $k$ on a hyperbolic surface. This lower bound tends to infinity with $k$. Our second generalization is to totally geodesic hypersurfaces of hyperbolic manifolds. Namely, we construct a tubular neighborhood function and show that an embedded closed totally geodesic hypersurface in a hyperbolic manifold has a tubular neighborhood whose width only depends on the area of the hypersurface (and hence not on the geometry of the ambient manifold). The implications of this result for volumes of hyperbolic manifolds is discussed. We also derive a (hyperbolic) quantitative version of the Klein-Maskit combination theorem (in all dimensions) for free products of fuchsian groups. Using this last theorem, we construct examples to illustrate the qualitative sharpness of the tubular neighborhood function.


title: user's guide to viscosity solutions of second order partial differential equations

abstract: The notion of viscosity solutions of scalar fully nonlinear partial differential equations of second order provides a framework in which startling comparison and uniqueness theorems, existence theorems, and theorems about continuous dependence may now be proved by very efficient and striking arguments. The range of important applications of these results is enormous. This article is a self-contained exposition of the basic theory of viscosity solutions.


title: A class of nonsymmetric harmonic Riemannian spaces

abstract: Certain solvable extensions of $H$-type groups provide noncompact counterexamples to the so-called Lichnerowicz conjecture, which asserted that ``harmonic'' Riemannian spaces must be rank 1 symmetric spaces.


title: A counterexample to the Arakelyan Conjecture

abstract: A ``self--similar'' example is constructed that shows that a conjecture of N. U. Arakelyan on the order of decrease of deficiencies of an entire function of finite order is not true.


title: One cannot hear the shape of a drum

abstract: We use an extension of Sunada's theorem to construct a nonisometric pair of isospectral simply connected domains in the Euclidean plane, thus answering negatively Kac's question, ``can one hear the shape of a drum?'' In order to construct simply connected examples, we exploit the observation that an orbifold whose underlying space is a simply connected manifold with boundary need not be simply connected as an orbifold.


title: The Green function of Teichm\"uller spaces with applications

abstract: We describe briefly a new approach to some problems related to Teichm\"uller spaces, invariant metrics, and extremal quasiconformal maps. This approach is based on the properties of plurisubharmonic functions, especially of the plurisubharmonic Green function. The main theorem gives an explicit representation of the Green function for Teichm\"uller spaces by the Kobayashi-Teichm\"uller metric of these spaces. This leads to various applications. In particular, this gives a new characterization of extremal quasiconformal maps.


title: A Classification of the Stable Type of $BG$

abstract: We give a classification of the $p$--local stable homotopy type of $BG$, where $G$ is a finite group, in purely algebraic terms. $BG$ is determined by conjugacy classes of homomorphisms from $p$--groups into $G$. This classification greatly simplifies if $G$ has a normal Sylow $p$--subgroup; the stable homotopy types then depends only on the Weyl group of the Sylow $p$--subgroup. If $G$ is cyclic mod $p$ then $BG$ determines $G$ up to isomorphism. The last class of groups is important because in an appropriate Grothendieck group $BG$ can be written as a unique linear combination of $BH$'s, where $H$ is cyclic mod $p$.


title: Rational function certification of multisum/integral/``$q$'' identities

abstract: The method of rational function certification for proving terminating hypergeometric identities is extended from single sums or integrals to multi-integral/sums and ``$q$'' integral/sums.


title: Hyperbolicity is dense in the real quadratic family

abstract: It is shown that for non-hyperbolic real quadratic polynomials topological and quasisymmetric conjugacy classes are the same. By quasiconformal rigidity, each class has only one representative in the quadratic family, which proves that hyperbolic maps are dense.


title: Local connectivity of Julia sets: expository lectures

abstract: The following notes provide an introduction to recent work of Branner, Hubbard and Yoccoz on the geometry of polynomial Julia sets. They are an expanded version of lectures given in Stony Brook in Spring 1992. I am indebted to help from the audience. Section 1 describes unpublished work by J.-C. Yoccoz on local connectivity of quadratic Julia sets. It presents only the "easy" part of his work, in the sense that it considers only non-renormalizable polynomials, and makes no effort to describe the much more difficult arguments which are needed to deal with local connectivity in parameter space. It is based on second hand sources, namely Hubbard together with lectures by Branner and Douady. Hence the presentation is surely quite different from that of Yoccoz. Section 2 describes the analogous arguments used by Branner and Hubbard to study higher degree polynomials for which all but one of the critical orbits escape to infinity. In this case, the associated Julia set J is never locally connected. The basic problem is rather to decide when J is totally disconnected. This Branner-Hubbard work came before Yoccoz, and its technical details are not as difficult. However, in these notes their work is presented simply as another application of the same geometric ideas. Chapter 3 complements the Yoccoz results by describing a family of examples, due to Douady and Hubbard (unpublished), showing that an infinitely renormalizable quadratic polynomial may have non-locally-connected Julia set. An Appendix describes needed tools from complex analysis, including the Gr\"otzsch inequality.


title: Convolution polynomials

abstract: The polynomials that arise as coefficients when a power series is raised to the power $x$ include many important special cases, which have surprising properties that are not widely known. This paper explains how to recognize and use such properties, and it closes with a general result about approximating such polynomials asymptotically.


title: Johann Faulhaber and sums of powers

abstract: Early 17th-century mathematical publications of Johann Faulhaber contain some remarkable theorems, such as the fact that the $r$-fold summation of $1^m,2^m,...,n^m$ is a polynomial in $n(n+r)$ when $m$ is a positive odd number. The present paper explores a computation-based approach by which Faulhaber may well have discovered such results, and solves a 360-year-old riddle that Faulhaber presented to his readers. It also shows that similar results hold when we express the sums in terms of central factorial powers instead of ordinary powers. Faulhaber's coefficients can moreover be generalized to factorial powers of noninteger exponents, obtaining asymptotic series for $1^{\alpha}+2^{\alpha}+...+n^{\alpha}$ in powers of $n^{-1}(n+1)^{-1}$.


title: Vector-valued L_p convergence of orthogonal series and Lagrange interpolation

abstract: We give necessary and sufficient conditions for interpolation inequalities of the type considered by Marcinkiewicz and Zygmund to be true in the case of Banach space-valued polynomials and Jacobi weights and nodes. We also study the vector-valued expansion problem of $L_p$-functions in terms of Jacobi polynomials and consider the question of unconditional convergence. The notion of type $p$ with respect to orthonormal systems leads to some characterizations of Hilbert spaces. It is also shown that various vector-valued Jacobi means are equivalent.


title: Vector-valued Lagrange interpolation and mean convergence of Hermite series

abstract: Let X be a Banach space and $1\le p<\infty$. We prove interpolation inequalities of Marcinkiewicz-Zygmund type for X-valued polynomials g of degree $\le n$ on $R$, \[c_p (\sum\limits_{i=1}^{n+1} \mu_i \| g(t_i)e^{-t_i^2 /2} \|^p)^{1/p} \le (\int\limits_{\RR}^{} \|g(t)e^{-t^2 /2} \|^p dt)^{1/p} \le d_p (\sum\limits_{i=1}^{n+1} \mu_i \|g(t_i)e^{-t_i^2 /2} \|^p)^{1/p}\;\;,\] where $(t_i)_1^{n+1}$ are the zeros of the Hermite polynomial $H_{n+1}$ and $(\mu_i)_1^{n+1}$ are suitable weights. The validity of the right inequality requires $1<p<4$ and X being a UMD-space. This implies a mean convergence theorem for the Lagrange interpolation polynomials of continuous functions on $R$ taken at the zeros of the Hermite polynomials. In the scalar case, this improves a result of Nevai $[$N$]$. Moreover, we give vector-valued extensions of the mean convergence results of Askey-Wainger $[$AW$]$ in the case of Hermite expansions.


title: Towards the Chern-Weil homomormism in non-commutative differential geometry

abstract: In this short review article we sketch some developments which should ultimately lead to the analogy of the Chern-Weil homomorphism for principal bundles in the realm of non-commutative differential geometry. Principal bundles there should have Hopf algebras as structure `cogroups'. Since the usual machinery of Lie algebras, connection forms, etc\., just is not available in this setting, we base our approach on the Fr\"olicher--Nijenhuis bracket.


title: Hubbard forests

abstract: The theory of Hubbard trees provides an effective classification of non-linear post-critically finite polynomial maps from \C to itself. This note will extend this classification to the case of maps from a finite union of copies of \C to itself. Maps which are post-critically finite and nowhere linear will be characterized by a ``forest'', which is made up out of one tree in each copy of \C.


title: Non-existence of Universal Orders in Many Cardinals

abstract: Our theme is that not every interesting question in set theory is independent of $ZFC$. We give an example of a first order theory $T$ with countable $D(T)$ which cannot have a universal model at $\aleph_1$ without CH; we prove in $ZFC$ a covering theorem from the hypothesis of the existence of a universal model for some theory; and we prove --- again in ZFC --- that for a large class of cardinals there is no universal linear order (e.g. in every $\aleph_1<\l<2^{\aleph_0}$). In fact, what we show is that if there is a universal linear order at a regular $\l$ and its existence is not a result of a trivial cardinal arithmetical reason, then $\l$ ``resembles'' $\aleph_1$ --- a cardinal for which the consistency of having a universal order is known. As for singular cardinals, we show that for many singular cardinals, if they are not strong limits then they have no universal linear order. As a result of the non existence of a universal linear order, we show the non-existence of universal models for all theories possessing the strict order property (for example, ordered fields and groups, Boolean algebras, p-adic rings and fields, partial orders, models of PA and so on).


title: Finite left-distributive algebras and embedding algebras\endtitle

abstract: We consider algebras with one binary operation $\cdot$ and one generator ({\it monogenic}) and satisfying the left distributive law $a\cdot (b\cdot c)=(a\cdot b)\cdot (a\cdot c)$. One can define a sequence of finite left-distributive algebras $A_n$, and then take a limit to get an infinite monogenic left-distributive algebra~$A_\infty$. Results of Laver and Steel assuming a strong large cardinal axiom imply that $A_\infty$ is free; it is open whether the freeness of $A_\infty$ can be proved without the large cardinal assumption, or even in Peano arithmetic. The main result of this paper is the equivalence of this problem with the existence of a certain algebra of increasing functions on natural numbers, called an {\it embedding algebra}. Using this and results of the first author, we conclude that the freeness of $A_\infty$ is unprovable in primitive recursive arithmetic.


title: Cardinal Characteristics and the Product of Countably Many Infinite Cyclic Groups

abstract: Let P be the direct product of countably many copies of the additive group Z of integers. We study, from a set-theoretic point of view, those subgroups of P for which all homomorphisms to Z annihilate all but finitely many of the standard unit vectors. Specifically, we relate the smallest possible size of such a subgroup to several of the standard cardinal characteristics of the continuum. We also study some related properties and cardinals, both group-theoretic and set-theoretic. One of the set-theoretic properties and the associated cardinal are combinatorially natural, independently of any connection with algebra.


title: $\mu$-complete Souslin trees on $\mu^+$

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


title: Perfect sets of random reals

abstract: We discuss the relationship between perfect sets of random reals, dominating reals, and the product of two copies of the random algebra B. Recall that B is the algebra of Borel sets of 2^omega modulo the null sets. Also given two models M subseteq N of ZFC, we say that g in omega^omega cap N is a dominating real over M iff forall f in omega^omega cap M there is m in omega such that forall n geq m (g(n) > f(n)); and r in 2^omega cap N is random over M iff r avoids all Borel null sets coded in M iff r is determined by some filter which is B-generic over M. We show that there is a ccc partial order P which adds a perfect set of random reals without adding a dominating real, thus answering a question asked by the second author in joint work with T. Bartoszynski and S. Shelah some time ago. The method of the proof of this result yields also that B times B does not add a dominating real. By a different argument we show that B times B does not add a perfect set of random reals (this answers a question that A. Miller asked during the logic year at MSRI).


title: Amoeba-absoluteness and projective measurability

abstract: We study the relationship between Amoeba forcing (the partial order which generically adds a measure one set of random reals) and projective measurability. Given a universe V of set theory and a forcing notion P in V we say that V is Sigma^1_n - P - absolute iff for every Sigma^1_n-sentence phi with parameters in V we have V models phi iff V^P models phi. We show that Sigma^1_4-Amoeba-absoluteness implies that forall a in omega^omega (omega_1^{L[a]} < omega_1^V), and hence Sigma^1_3-measurability. This answers a question of Haim Judah (private communication).


title: Finite Combinations of Baire Numbers

abstract: Let $\kappa$ be a regular cardinal. Consider the Baire numbers of the spaces $(2^{\theta})_\kappa$ (functions from $\theta$ to 2 and the less than $\kappa$ topology) for various $\theta \geq \kappa$. Let l be the number of such different Baire numbers. Models of set theory with l=1 or l=2 are known and it is also known that l is finite. We show here that if $\kappa > \omega$, then l could be any given finite number. We do not know whether the same is true for $\kappa = \omega$.


title: Meager-nowhere dense games (III): Remainder strategies

abstract: Player ONE chooses a meager set and player TWO, a nowhere dense set per inning. They play $\omega$ many innings. ONE's consecutive choices must form a (weakly) increasing sequence. TWO wins if the union of the chosen nowhere dense sets covers the union of the chosen meager sets. A strategy for TWO which depends on knowing only the uncovered part of the most recently chosen meager set is said to be a remainder strategy. Theorem (among others): TWO has a winning remainder strategy for this game played on the real line with its usual topology.


title: Some Natural Internal Forcing Schemata Extending ZFC

abstract: We give arguments for and prove the consistency of some internal forcing axioms.


title: $^*$Forcing

abstract: Let $M$ be a transitive model of $ZFC$ and let ${\bf B}$ be a $M$-complete Boolean algebra in $M.$ (In general a proper class.) We define a generalized notion of forcing with such Boolean algebras, $^*$forcing. (A $^*$ forcing extension of $M$ is a transitive set of the form $M[{\bf G}]$ where ${\bf G}$ is an $M$-complete ultrafilter on ${\bf B}.$) We prove that 1. If ${\bf G}$ is a $^*$forcing complete ultrafilter on ${\bf B},$ then $M[{\bf G}]\models ZFC.$ 2. Let $H\sub M.$ If there is a least transitive model $N$ such that $H\in M,$ $Ord^M=Ord^N,$ and $N\models ZFC,$ then we denote $N$ by $M[H].$ We show that all models of $ZFC$ of the form $M[H]$ are $^*$forcing extensions of $M.$ As an immediate corollary we get that $L[0^{\#}]$ is a $^*$forcing extension of $L.$


title: Amenability of Banach algebras of compact operators

abstract: In this paper we study conditions on a Banach space X that ensure that the Banach algebra K(X) of compact operators is amenable. We give a symmetrized approximation property of X which is proved to be such a condition. This property is satisfied by a wide range of Banach spaces including all the classical spaces. We then investigate which constructions of new Banach spaces from old ones preserve the property of carrying amenable algebras of compact operators. Roughly speaking, dual spaces, predual spaces and certain tensor products do inherit this property and direct sums do not. For direct sums this question is closely related to factorization of linear operators. In the final section we discuss some open questions, in particular, the converse problem of what properties of X are implied by the amenability of K(X).


title: The Distribution of Non-Commutative Rademacher Series

abstract: We give a formula for the tail of the distribution of the non-commutative Rademacher series, which generalizes the result that is already available in the commutative case. As a result, we are able to calculate the norm of these series in many rearrangement invariant spaces, generalizing work of Pisier and Rodin and Semyonov.


title: The theorems of Caratheodory and Gluskin for $0<p<1$

abstract: In this note we investigate some aspects of the local structure of finite dimensional $p$-Banach spaces. The well known theorem of Gluskin gives a sharp lower bound of the diameter of the Minkowski compactum. In [Gl] it is proved that diam$({\cal M}_n^1)\geq cn$ for some absolute constant $c$. Our purpose is to study this problem in the $p$-convex setting. In [Pe], T. Peck gave an upper bound of the diameter of ${\cal M}_n^p$, the class of all $n$-dimensional $p$-normed spaces, namely, diam$({\cal M}_n^p)\leq n^{2/p-1}$. We will show that such bound is optimum.


title: Asymptotic $l_p$ spaces and bounded distortions

abstract: The new class of Banach spaces, so-called asymptotic $l_p$ spaces, is introduced and it is shown that every Banach space with bounded distortions contains a subspace from this class. The proof is based on an investigation of certain functions, called enveloping functions, which are intimately connected with stabilization properties of the norm.


title: Computing p-summing norms with few vectors

abstract: It is shown that the p-summing norm of any operator with n-dimensional domain can be well-aproximated using only ``few" vectors in the definition of the p-summing norm. Except for constants independent of n and log n factors, ``few" means n if 1<p<2 and n^{p/2} if 2<p<infinity.


title: On vector-valued inequalities for Sidon sets and sets of interpolation

abstract: Let $E$ be a Sidon subset of the integers and suppose $X$ is a Banach space. Then Pisier has shown that $E$-spectral polynomials with values in $X$ behave like Rademacher sums with respect to $L_p-$norms. We consider the situation when $X$ is a quasi-Banach space. For general quasi-Banach spaces we show that a similar result holds if and only if $E$ is a set of interpolation ($I_0$-set). However for certain special classes of quasi-Banach spaces we are able to prove such a result for larger sets. Thus if $X$ is restricted to be ``natural'' then the result holds for all Sidon sets. We also consider spaces with plurisubharmonic norms and introduce the class of analytic Sidon sets.


title: Calder\'on couples of re-arrangement invariant spaces

abstract: We examine conditions under which a pair of re-arrangement invariant function spaces on $[0,1]$ or $[0,\infty)$ form a Calder\'on couple. A very general criterion is developed to determine whether such a pair is a Calder\'on couple, with numerous applications. We give, for example, a complete classification of those spaces $X$ which form a Calder\'on couple with $L_{\infty}.$ We specialize our results to Orlicz spaces and are able to give necessary and sufficient conditions on an Orlicz function $F$ so that the pair $(L_F,L_{\infty})$ forms a Calder\'on pair.


title: Pointwise compact and stable sets of measurable functions

abstract: In a series of papers, M.Talagrand, the second author and others investigated at length the properties and structure of pointwise compact sets of measurable functions. A number of problems, interesting in themselves and important for the theory of Pettis integration, were solved subject to various special axioms. It was left unclear just how far the special axioms were necessary. In particular, several results depended on the fact that it is consistent to suppose that every countable relatively pointwise compact set of Lebesgue measurable functions is `stable' in Talagrand's sense; the point being that stable sets are known to have a variety of properties not shared by all pointwise compact sets. In the present paper we present a model of set theory in which there is a countable relatively pointwise compact set of Lebesgue measurable functions which is not stable, and discuss the significance of this model in relation to the original questions. A feature of our model which may be of independent interest is the following: in it, there is a closed negligible set Q subseteq [0,1]^2 such that whenever D subseteq [0,1] has outer measure 1 then the set Q^{-1}[D]= {x:(exists y in D)((x,y) in Q)} has inner measure 1.


title: Characteristic classes for $G$-structures

abstract: Let $G\subset GL(V)$ be a linear Lie group with Lie algebra $\frak g$ and let $A(\frak g)^G$ be the subalgebra of $G$-invariant elements of the associative supercommutative algebra $A(\frak g)= S(\frak g^*)\otimes \La(V^*)$. To any $G$-structure $\pi:P\to M$ with a connection $\omega$ we associate a homomorphism $\mu_\omega:A(\frak g)^G\to \Omega(M)$. The differential forms $\mu_\omega(f)$ for $f\in A(\frak g)^G$ which are associated to the $G$-structure $\pi$ can be used to construct Lagrangians. If $\omega$ has no torsion the differential forms $\mu_\omega(f)$ are closed and define characteristic classes of a $G$-structure. The induced homomorphism $\mu'_\omega:A(\g)^G\to H^*(M)$ does not depend on the choice of the torsionfree connection $\omega$ and it is the natural generalization of the Chern Weil homomorphism.


title: Weak disks of Denjoy minimal sets

abstract: This paper investigates the existence of Denjoy minimal sets and, more generally, strictly ergodic sets in the dynamics of iterated homeomorphisms. It is shown that for the full two-shift, the collection of such invariant sets with the weak topology contains topological balls of all finite dimensions. One implication is an analogous result that holds for diffeomorphisms with transverse homoclinic points. It is also shown that the union of Denjoy minimal sets is dense in the two-shift and that the set of unique probability measures supported on these sets is weakly dense in the set of all shift-invariant, Borel probability measures.


title: Remarks on quadratic rational maps

abstract: This will is an expository description of quadratic rational maps. Sections 2 through 6 are concerned with the geometry and topology of such maps. Sections 7--10 survey of some topics from the dynamics of quadratic rational maps. There are few proofs. Section 9 attempts to explore and picture moduli space by means of complex one-dimensional slices. Section 10 describes the theory of real quadratic rational maps. For convenience in exposition, some technical details have been relegated to appendices: Appendix A outlines some classical algebra. Appendix B describes the topology of the space of rational maps of degree \[d\]. Appendix C outlines several convenient normal forms for quadratic rational maps, and computes relations between various invariants.\break Appendix D describes some geometry associated with the curves \[\Per_n(\mu)\subset\M\]. Appendix E describes totally disconnected Julia sets containing no critical points. Finally, Appendix F, written in collaboration with Tan Lei, describes an example of a connected quadratic Julia set for which no two components of the complement have a common boundary point.


title: Rad\'o theorem and its generalization for CR-mappings

abstract: The following theorem is proved: Let M be a locally Lipschitz hypersurface in C^n with one-sided extension property at each point (e.g., without analytic discs). Let S be a closed subset of M and f : M \ S ---> C^m \ E is a CR-mapping of class L^{\infty} such that the cluster set of f on S along of Lebesque points of f is contained in a closed complete pluripolar set E. Then there is a CR-mapping \~f : M ---> C^m of class L^{\infty}(M) such that \~f |M\S = f. It follows also that S is removable for CR \cap L^{\infty} (M \ S).


title: The Complexity of the Core Model

abstract: We use the Sigma^1_3 absoluteness theorem to show that the complexity of the statement "(omega,E)$ is isomorphic to an initial segment of the core model" is Pi^1_4, and that the complexity of the statement "(omega,E)$ is isomorphic to a member of the core model" is Delta^1_5.


title: Reflection and Weakly Collectionwise Hausdorff Spaces

abstract: We show that square(theta) implies that there is a first countable <theta-collectionwise Hausdorff space that is not weakly theta-collectionwise Hausdorff. We also show that in the model obtained by Levy collapsing a weakly compact (supercompact) cardinal to omega_2, first countable aleph_1-collectionwise Hausdorff spaces are weakly aleph_2-collectionwise Hausdorff (weakly collectionwise Hausdorff). In the last section we show that assuming E^omega_theta, a certain theta-family of integer valued functions exists and that in the model obtained by Levy collapsing a supercompact cardinal to omega_2, these families do not exist.


title: Splitting number and the core model

abstract: We can generalize the definition of {\it splitting number } $s(\kappa )$ for $\kappa$ uncountable regular: $s(\kappa )=min\{ |\Cal S|:\Cal S\subset \Cal P(\kappa ) \forall a\in \kappa ^\kappa \exists b\in \Cal S |a\cap b|=|a\setminus b|=\kappa\}$ However,$\exists \kappa>\aleph_0$ $s(\kappa )>\kappa ^+$ becomes a considerable hypothesis,shown consistent from a supercompact.We show that it implies inner models of $\exists \alpha :o(\alpha )=\alpha ^{++}$


title: A characterization of Banach spaces containing $c_0$

abstract: A subsequence principle is obtained, characterizing Banach spaces containing $c_0$, in the spirit of the author's 1974 characterization of Banach spaces containing $\ell^1$. Definition: A sequence $(b_j)$ in a Banach space is called {\it strongly summing\/} (s.s.) if $(b_j)$ is a weak-Cauchy basic sequence so that whenever scalars $(c_j)$ satisfy $\sup_n \|\sum_{j=1}^n c_j b_j\| <\infty$, then $\sum c_j$ converges. A simple permanence property: if $(b_j)$ is an (s.s.) basis for a Banach space $B$ and $(b_j^*)$ are its biorthogonal functionals in $B^*$, then $(\sum_{j=1}^n b_j^*)_{n=1}^ \infty$ is a non-trivial weak-Cauchy sequence in $B^*$; hence $B^*$ fails to be weakly sequentially complete. (A weak-Cauchy sequence is called {\it non-trivial\/} if it is {\it non-weakly convergent\/}.) Theorem. Every non-trivial weak-Cauchy sequence in a (real or complex) Banach space has either an {\rm (s.s.)} subsequence, or a convex block basis equivalent to the summing basis. Remark : The two alternatives of the Theorem are easily seen to be mutually exclusive. Corollary 1. A Banach space $B$ contains no isomorph of $c_0$ if and only if every non-trivial weak-Cauchy sequence in $B$ has an {\rm (s.s.)} subsequence. Combining the $c_0$ and $\ell^1$ Theorems, we obtain Corollary 2. If $B$ is a non-reflexive Banach space such that $X^*$ is weakly sequentially complete for all linear subspaces $X$ of $B$, then $c_0$ embeds in $X$; in fact, $B$ has property~$(u)$.


title: Interpolation of compact operators by the methods of Calder\'on and Gustavsson-Peetre

abstract: Let $ X=(X_0,X_1)$ and $ Y=(Y_0,Y_1)$ be Banach couples and suppose $T: X\to Y$ is a linear operator such that $T:X_0\to Y_0$ is compact. We consider the question whether the operator $T:[X_0,X_1]_{\theta}\to [Y_0,Y_1]_{\theta}$ is compact and show a positive answer under a variety of conditions. For example it suffices that $X_0$ be a UMD-space or that $X_0$ is reflexive and there is a Banach space so that $X_0=[W,X_1]_{\alpha}$ for some $0<\alpha<1.$


title: Schoenberg's Problem on Positive Definite Functions

abstract: If $n \ge 3$, $q>2$ and $\beta > 0$ then the function $\exp(-(|x_1|^q+|x_2|^q+\dots+|x_n|^q)^{\beta/q})$\ is not positive definite. This result gives an answer to a question posed by I.J.~Schoenberg in 1938. This text is an authorized English translation of the paper published in Russian in Algebra and Analysis 3(1991), \#3, p.78--85.


title: Mean Convergence of Vector--valued Walsh Series

abstract: Given any Banach space $X$, let $L_2^X$ denote the Banach space of all measurable functions $f:[0,1]\to X$ for which ||f||_2:=(int_0^1 ||f(t)||^2 dt)^{1/2} is finite. We show that $X$ is a UMD--space (see \cite{BUR:1986}) if and only if \lim_n||f-S_n(f)||_2=0 for all $f\in L_2^X$, where S_n(f):=sum_{i=0}^{n-1} (f,w_i)w_i is the $n$--th partial sum associated with the Walsh system $(w_i)$.


title: Two Remarks on Marcinkiewicz decompositions by Holomorphic Martingales

abstract: The real part of $H^\infty(\bT)$ is not dense in $L^\infty_{\tR}(\bT)$. The John-Nirenberg theorem in combination with the Helson-Szeg\"o theorem and the Hunt Muckenhaupt Wheeden theorem has been used to determine whether $f\in L^\infty_{\tR}(\bT)$ can be approximated by $\Re H^\infty(\bT)$ or not: $\dist(f,\Re H^\infty)=0$ if and only if for every $\e>0$ there exists $\l_0>0$ so that for $\l>\l_0$ and any interval $I\sbe \bT$. $$|\{x\in I:|\tilde f-(\tilde f)_I|>\l\}|\le |I|e^{-\l/ \e},$$ where $\tilde f$ denotes the Hilbert transform of $f$. See [G] p. 259. This result is contrasted by the following \begin{theor} Let $f\in L^\infty_{\tR}$ and $\e>0$. Then there is a function $g\in H^\infty(\bT)$ and a set $E\sb \bT$ so that $|\bT\sm E|<\e$ and $$f=\Re g\quad\mbox{ on } E.$$ \end{theor} This theorem is best regarded as a corollary to Men'shov's correction theorem. For the classical proof of Men'shov's theorem see [Ba, Ch VI \S 1-\S4]. Simple proofs of Men'shov's theorem -- together with significant extensions -- have been obtained by S.V. Khruschev in [Kh] and S.V. Kislyakov in [K1], [K2] and [K3]. In [S] C. Sundberg used $\bar\pa$-techniques (in particular [G, Theorem VIII.1. gave a proof of Theorem 1 that does not mention Men'shov's theorem. The purpose of this paper is to use a Marcinkiewicz decomposition on Holomorphic Martingales to give another proof of Theorem 1. In this way we avoid uniformly convergent Fourier series as well as $\bar\pa$-techniques.


title: Weakly Lindelof determined Banach spaces not containing $\ell^1(N)$

abstract: The class of countably intersected families of sets is defined. For any such family we define a Banach space not containing $\ell^{1}(\NN )$. Thus we obtain counterexamples to certain questions related to the heredity problem for W.C.G. Banach spaces. Among them we give a subspace of a W.C.G. Banach space not containing $\ell^{1}(\NN )$ and not being itself a W.C.G. space.


title: Unrestricted products of contractions in Banach spaces

abstract: Let $X$ be a reflexive Banach space such that for any $x \ne 0$ the set $$ \{x^* \in X^*: \text {$\|x^*\|=1$ and $x^*(x)=\|x\|$}\} $$ is compact. We prove that any unrestricted product of of a finite number of $(W)$ contractions on $X$ converges weakly.


title: Radon transform and curvature

abstract: We interpret the setting for a Radon transform as a submanifold of the space of generalized functions, and compute its extrinsic curvature: it is the Hessian composed with the Radon transform.


title: Piercing convex sets

abstract: A family of sets has the $(p,q)$ property if among any $p$ members of the family some $q$ have a nonempty intersection. It is shown that for every $p\ge q\ge d+1$ there is a $c=c(p,q,d)<\infty$ such that for every family $\scr F$ of compact, convex sets in $R^d$ that has the $(p,q)$ property there is a set of at most $c$ points in $R^d$ that intersects each member of $\scr F$. This extends Helly's Theorem and settles an old problem of Hadwiger and Debrunner.


title: Additive functions on shifted primes

abstract: Best possible bounds are obtained for the concentration function of an additive arithmetic function on sequences of shifted primes.


title: New types of soliton solutions

abstract: We announce a detailed investigation of limits of N-soliton solutions of the Korteweg-deVries (KdV) equation as $N$ tends to infinity. Our main results provide new classes of KdV-solutions including in particular new types of soliton-like (reflectionless) solutions. As a byproduct we solve an inverse spectral problem for one-dimensional Schr\"odinger operators and explicitly construct smooth and real-valued potentials that yield a purely absolutely continuous spectrum on the nonnegative real axis and give rise to an eigenvalue spectrum that includes any prescribed countable and bounded subset of the negative real axis.


title: Curvature, triameter, and beyond

abstract: In its most general form, the recognition problem in Riemannian geometry asks for the identification of an unknown Riemannian manifold via measurements of metric invariants on the manifold. We introduce a new infinite sequence of invariants, the first term of which is the usual diameter, and illustrate the role of these global shape invariants in a number of recognition problems.


title: A shooting approach to the Lorenz equations

abstract: We announce and outline a proof of the existence of a homoclinic orbit of the Lorenz equations. In addition, we develop a shooting technique and two key conditions, which lead to the existence of a one-to-one correspondence between a set of solutions and the set of all infinite sequences of 1's and 3's.


title: A characterization of convex hyperbolic polyhedra and of convex polyhedra inscribed in the sphere

abstract: We describe a characterization of convex polyhedra in $\h^3$ in terms of their dihedral angles, developed by Rivin. We also describe some geometric and combinatorial consequences of that theory. One of these consequences is a combinatorial characterization of convex polyhedra in $\E^3$ all of whose vertices lie on the unit sphere. That resolves a problem posed by Jakob Steiner in 1832.


title: The 1-, 2-, and 3-characters determine a group

abstract: A set of invariants for a finite group is described. These arise naturally from Frobenius' early work on the group determinant and provide an answer to a question of Brauer. Whereas it is well known that the ordinary character table of a group does not determine the group uniquely, it is a consequence of the results presented here that a group is determined uniquely by its ``3-character'' table.


title: Prevalence: a translation-invariant ``almost every'' on infinite-dimensional spaces

abstract: We present a measure-theoretic condition for a property to hold ``almost everywhere'' on an infinite-dimensional vector space, with particular emphasis on function spaces such as $C^k$ and $L^p$. Like the concept of ``Lebesgue almost every'' on finite-dimensional spaces, our notion of ``prevalence'' is translation invariant. Instead of using a specific measure on the entire space, we define prevalence in terms of the class of all probability measures with compact support. Prevalence is a more appropriate condition than the topological concepts of ``open and dense'' or ``generic'' when one desires a probabilistic result on the likelihood of a given property on a function space. We give several examples of properties which hold ``almost everywhere'' in the sense of prevalence. For instance, we prove that almost every $C^1$ map on $\reals^n$ has the property that all of its periodic orbits are hyperbolic.


title: On the Burnside problem on periodic groups

abstract: It is proved that the free $m$-generated Burnside groups $\Bbb{B}(m,n)$ of exponent $n$ are infinite provided that $m>1$, $n\ge2^{48}$.


title: Keller's cube-tiling conjecture is false in high dimensions

abstract: O. H. Keller conjectured in 1930 that in any tiling of $\Bbb R^n$ by unit $n$-cubes there exist two of them having a complete facet in common. O. Perron proved this conjecture for $n\le 6$. We show that for all $n\ge 10$ there exists a tiling of $\Bbb R^n$ by unit $n$-cubes such that no two $n$-cubes have a complete facet in common.


title: Negatively Ricci curved manifolds

abstract: In this paper we announce the following result: ``Every manifold of dimension $\ge3$ admits a complete negatively Ricci curved metric.'' Furthermore we describe some sharper results and sketch proofs.


title: Riemann surfaces and the geometrization of 3-manifolds

abstract: About a decade ago Thurston proved that a vast collection of 3-manifolds carry metrics of constant negative curvature. These manifolds are thus elements of {\em hyperbolic geometry}, as natural as Euclid's regular polyhedra. For a closed manifold, Mostow rigidity assures that a hyperbolic structure is unique when it exists, so topology and geometry mesh harmoniously in dimension 3. This remarkable theorem applies to all 3-manifolds, which can be built up in an inductive way from 3-balls, i.e., {\em Haken} manifolds. Thurston's construction of a hyperbolic structure is also inductive. At the inductive step one must find the right geometry on an open 3-manifold so that its ends may be glued together. Using quasiconformal deformations, the gluing problem can be formulated as a fixed-point problem for a map of Teichm\"uller space to itself. Thurston proposes to find the fixed point by {\em iterating} this map. Here we outline Thurston's construction and sketch a new proof that the iteration converges. Our argument rests on a result entirely in the theory of Riemann surfaces: an extremal quasiconformal mapping can be relaxed (isotoped to a map of lesser dilatation) when lifted to a sufficiently large covering space (e.g., the universal cover). This contraction gives an immediate estimate for the contraction of Thurston's iteration.


title: Is the boundary of a Siegel disk a Jordan curve?

abstract: Bounded irreducible local Siegel disks include classical Siegel disks of polynomials, bounded irreducible Siegel disks of rational and entire functions, and the examples of Herman and Moeckel. We show that there are only two possibilities for the structure of the boundary of such a disk: either the boundary admits a nice decomposition onto a circle, or it is an indecomposable continuum.


title: Smooth static solutions of the Einstein-Yang/Mills equation

abstract: We consider the Einstein/Yang-Mills equations in $3+1$ space time dimensions with $\SU(2)$ gauge group and prove rigorously the existence of a globally defined smooth static solution. We show that the associated Einstein metric is asymptotically flat and the total mass is finite. Thus, for non-abelian gauge fields the Yang/Mills repulsive force can balance the gravitational attractive force and prevent the formation of singularities in spacetime.


title: Voiculescu theorem, Sobolev lemma, and extensions of smooth algebras

abstract: We present the analytic foundation of a unified B-D-F extension functor $\operatorname{Ext}_\tau$ on the category of noncommutative smooth algebras, for any Fr\'echet operator ideal $\Cal K_\tau$. Combining the techniques devised by Arveson and Voiculescu, we generalize Voiculescu's theorem to smooth algebras and Fr\'echet operator ideals. A key notion involved is $\tau$-smoothness, which is verified for the algebras of smooth functions, via a noncommutative Sobolev lemma. The groups $\operatorname{Ext}_\tau$ are computed for many examples.


title: Optical Hamiltonians and symplectic twist maps

abstract: This paper concentrates on optical Hamiltonian systems of $T*\T^n$, i.e. those for which $\Hpp$ is a positive definite matrix, and their relationship with symplectic twist maps. We present theorems of decomposition by symplectic twist maps and existence of periodic orbits for these systems. The novelty of these results resides in the fact that no explicit asymptotic condition is imposed on the system. We also present a theorem of suspension by Hamiltonian systems for the class of symplectic twist map that emerges in our study. Finally, we extend our results to manifolds of negative curvature.


title: Ergodicity in Hamiltonian systems

abstract: We discuss the Sinai method of proving ergodicity of a discontinuous Hamiltonian system with (non-uniform) hyperbolic behavior.


title: Set-theoretic aspects of periodic $FC$-groups --- extraspecial p-groups and Kurepa trees

abstract: Given a group G, we let Z(G) denote its center, G' its commutator subgroup, and Phi (G) its Frattini subgroup (the intersection of all maximal proper subgroups of G). Given U leq G, we let N_G (U) stand for the normalizer of U in G. A group G is FC iff every element g in G has finitely many conjugates. A p-group E is called extraspecial iff Phi (E) = E' = Z(E) cong Z_p, the cyclic group with p elements. When generalizing a characterization of centre-by-finite groups due to B. H. Neumann, M. J. Tomkinson asked the following question. Is there an FC-group G with vert G / Z(G) vert = kappa but [G:N_G(U)] < kappa for all (abelian) subgroups U of G, where kappa is an uncountable cardinal. We consider this question for kappa = omega_1 and kappa = omega_2. It turns out that the answer is largely independent of ZFC, and that it differs greatly in the two cases. More explicitly, for kappa = omega_1, it is consistent with, and independent of, ZFC that there is a group G with vert G / Z(G) vert = omega_1 and [G:N_G (A)] leq omega for all abelian A leq G. We do not know whether the same statement is still consistent if we drop abelian. On the other hand, for kappa = omega_2, the non-existence of groups G with vert G / Z(G) vert = omega_2 and [G : N_G (A) ] leq omega_1 for all (abelian) A leq G is equiconsistent with the existence of an inaccessible cardinal. In particular, there is an extraspecial p-group with this property if there is a Kurepa tree.


title: Combinatorial properties of Hechler forcing

abstract: In this work we use a notion of rank first introduced by James Baumgartner and Peter Dordal and later developed independently by the third author to show that adding a Hechler real has strong combinatorial consequences. We prove: 1) assuming omega_1^V = omega_1^L, there is no real in V[d] which is eventually different from the reals in L[d], where d is Hechler over V; 2) adding one Hechler real makes the invariants on the left-hand side of Cicho'n's diagram equal omega_1 and those on the right-hand side equal 2^omega and produces a maximal almost disjoint family of subsets of omega of size omega_1; 3) there is no perfect set of random reals over V in V[r][d], where r is random over V and d Hechler over V[r], thus answering a question of the first and second authors. As an intermediate step in the proof of 3) we show that given models M subseteq N of ZFC such that there is a perfect set of random reals in N over M, either there is a dominating real in N over M or mu (2^omega cap M) = 0 in N.


title: The Genericity Conjecture

abstract: In this paper we produce a real r such that 0<r<0# in L-degree, yet R is NOT generic over L (for a forcing amenable to L). This answers a question of Beller-Jensen-Welch.


title: A simpler proof of Jensen's coding theorem

abstract: We present a simplification of Jensen's proof of his Coding Theorem (even in the case where 0# exists). The proof avoids Jensen's split into cases according to whether or not 0# exists. In addition, the paper contains self-contained proofs of the necessary forms of Square and Diamond, based on an approach to fine structure using Jensen's $\Sigma^*$ theory.


title: Minimal universes

abstract: An inner model M is MINIMAL if there is a class A such that <M,A> is amenable yet has no transitive proper elementary submodel. We study minimal universes in the context of 0#. For example we prove: If 0# exists then there is an inner model which is minimal and locally generic over L(i.e., every set in the inner model is set-generic over L). This answers a question of Mack Stanley.


title: Measurable rectangles

abstract: We give an example of a measurable set of reals E such that the set E'={(x,y): x+y in E} is not in the sigma-algebra generated by the rectangles with measurable sides. We also prove a stronger result that there exists an analytic set E such that E' is not in the sigma-algebra generated by rectangles whose horizontal side is measurable and vertical side is arbitrary. The same results are true when measurable is replaced with property of Baire.


title: Factorization theorems for quasi-normed spaces

abstract: We extend Pisier's abstract version of Grothendieck's theorem to general non-locally convex quasi-Banach spaces. We also prove a related result on factoring operators through a Banach space and apply our results to the study of vector-valued inequalities for Sidon sets. We also develop the local theory of (non-locally convex) spaces with duals of weak cotype 2.


title: Surjective isometries on rearrangement-invariant spaces

abstract: We prove that if $X$ is a real rearrangement-invariant function space on $[0,1]$, which is not isometrically isomorphic to $L_2,$ then every surjective isometry $T:X\to X$ is of the form $Tf(s)=a(s)f(\sigma(s))$ for a Borel function $a$ and an invertible Borel map $\sigma:[0,1] \to [0,1].$ If $X$ is not equal to $L_p$, up to renorming, for some $1\le p\le \infty$ then in addition $|a|=1$ a.e. and $\sigma$ must be measure-preserving.


title: Common subspaces of $L_{p}$-spaces

abstract: For $n\geq 2, p<2$ and $q>2,$ does there exist an $n$-dimensional Banach space different from Hilbert spaces which is isometric to subspaces of both $L_{p}$ and $L_{q}$? Generalizing the construction from the paper "Zonoids whose polars are zonoids" by R.Schneider we give examples of such spaces. Moreover, for any compact subset $Q$ of $(0,\infty)\setminus \{2k, k\in N\},$ we can construct a space isometric to subspaces of $L_{q}$ for all $q\in Q$ simultaneously. This paper requires vanilla.sty


title: Polynomial Schur and Polynomial Dunford-Pettis Properties

abstract: A Banach space is {\it polynomially Schur} if sequential convergence against analytic polynomials implies norm convergence. Carne, Cole and Gamelin show that a space has this property and the Dunford-Pettis property if and only if it is Schur. Herein is defined a reasonable generalization of the Dunford--Pettis property using polynomials of a fixed homogeneity. It is shown, for example, that a Banach space will has the $P_N$ Dunford--Pettis property if and only if every weakly compact $N-$homogeneous polynomial (in the sense of Ryan) on the space is completely continuous. A certain geometric condition, involving estimates on spreading models and implied by nontrivial type, is shown to be sufficient to imply that a space is polynomially Schur.


title: Norms of Minimal Projections

abstract: It is proved that the projection constants of two- and three-dimensional spaces are bounded by $4/3$ and $(1+\sqrt 5)/2$, respectively. These bounds are attained precisely by the spaces whose unit balls are the regular hexagon and dodecahedron. In fact, a general inequality for the projection constant of a real or complex $n$-dimensional space is obtained and the question of equality therein is discussed.


title: Infinite order decoupling of random chaoses in Banach space

abstract: We prove a number of decoupling inequalities for nonhomogeneous random polynomials with coefficients in Banach space. Degrees of homogeneous components enter into comparison as exponents of multipliers of terms of certain Poincar\'e-type polynomials. It turns out that the fulfillment of most of types of decoupling inequalities may depend on the geometry of Banach space.


title: Baire property and Axiom of Choice

abstract: We show that (1) If ZF is consistent then the following theory is consistent "ZF + DC(omega_{1}) + Every set of reals has Baire property" and (2) If ZF is consistent then the following theory is consistent "ZFC + `every projective set of reals has Baire property' + `any union of omega_{1} meager sets is meager' ".


title: Planting Kurepa trees and killing Jech-Kunen trees in a model by using one inaccessible cardinal

abstract: By an omega_1--tree we mean a tree of power omega_1 and height omega_1. Under CH and 2^{omega_1}> omega_2 we call an omega_1--tree a Jech--Kunen tree if it has kappa many branches for some kappa strictly between omega_1 and 2^{omega_1}. In this paper we prove that, assuming the existence of one inaccessible cardinal, (1) it is consistent with CH plus 2^{omega_1}> omega_2 that there exist Kurepa trees and there are no Jech--Kunen trees, (2) it is consistent with CH plus 2^{omega_1}= omega_4 that only Kurepa trees with omega_3 many branches exist.


title: Distortion results and invariant cantor sets of unimodal maps

abstract: A distortion theory is developed for $S-$unimodal maps. It will be used to get some geometric understanding of invariant Cantor sets. In particular attracting Cantor sets turn out to have Lebesgue measure zero. Furthermore the ergodic behavior of $S-$unimodal maps is classified according to a distortion property, called the Markov-property.


title: A low-technology estimate in convex geometry

abstract: Let $K$ be an $n$-dimensional symmetric convex body with $n \ge 4$ and let $K\dual$ be its polar body. We present an elementary proof of the fact that $$(\Vol K)(\Vol K\dual)\ge \frac{b_n^2}{(\log_2 n)^n},$$ where $b_n$ is the volume of the Euclidean ball of radius 1. The inequality is asymptotically weaker than the estimate of Bourgain and Milman, which replaces the $\log_2 n$ by a constant. However, there is no known elementary proof of the Bourgain-Milman theorem.


title: Jensen's \Sigma^* theory and the combinatorial content of V=L

abstract: The purpose of this article is to indicate how a reformulation of Jensen's $\Sigma^*$ theory (developed for the study of core models) can be used to provide a more satisfactory treatment of uniformization, hulls and Skolem functions for the $J_\alpha$'s. Then we use this approach to fine structure to formulate a principle intended to capture the combinatorial content of the axiom $V=L.$


title: A large Pi-1-2 set absolute for set forcing

abstract: Let k be a definable L-cardinal. Then there is a set of reals X, class-generic over L, such that L(X) and L have the same cardinals, X has size k in L(X) and some pi-1-2 formula defines X in all set-generic extensions of L(X). Two corollaries, both assuming the consistency of an inaccessible: It is consistent for the Perfect Set Property to hold for boldface sigma-1-2 sets, yet fail for some lightface pi-1-2 set. It is consistent that the Perfect Set Property holds for boldface sigma-1-2 sets yet some lightface pi-1-2 wellordering of some set of reals has length aleph-1000.


title: Operators preserving orthogonality are isometries

abstract: Let $E$ be a real Banach space. For $x,y \in E,$ we follow R.James in saying that $x$ is orthogonal to $y$ if $\|x+\alpha y\|\geq \|x\|$ for every $\alpha \in R$. We prove that every operator from $E$ into itself preserving orthogonality is an isometry multiplied by a constant.


title: Interpolation Between $H^p$ Spaces and Non-Commutative Generalizations II

abstract: We continue an investigation started in a preceding paper. We discuss the classical results of Carleson connecting Carleson measures with the $\d$-equation in a slightly more abstract framework than usual. We also consider a more recent result of Peter Jones which shows the existence of a solution of the $\d$-equation, which satisfies simultaneously a good $L_\i$ estimate and a good $L_1$ estimate. This appears as a special case of our main result which can be stated as follows: Let $(\Omega,\cal{A},\mu)$ be any measure space. Consider a bounded operator $u:H^1\ra L_1(\mu)$. Assume that on one hand $u$ admits an extension $u_1:L^1\ra L_1(\mu)$ bounded with norm $C_1$, and on the other hand that $u$ admits an extension $u_\i:L^\i\ra L_\i(\mu)$ bounded with norm $C_\i$. Then $u$ admits an extension $\w{u}$ which is bounded simultaneously from $L^1$ into $ L_1(\mu)$ and from $L^\i$ into $ L_\i(\mu)$ and satisfies $$\eqalign{&\|\tilde u\colon \ L_\infty \to L_\infty(\mu)\|\le CC_\infty\cr &\|\tilde u\colon \ L_1\to L_1(\mu)\|\le CC_1}$$ where $C$ is a numerical constant.


title: On the ``local theory'' of operator spaces

abstract: In Banach space theory, the ``local theory'' refers to the collection of finite dimensional methods and ideas which are used to study infinite dimensional spaces (see e.g. [P4,TJ]). It is natural to try to develop an analogous theory in the recently developed category of operator spaces [BP,B1-2,BS,ER1-7,Ru]. The object of this paper is to start such a theory. We plan to present a more thorough discussion of the associated tensor norms in a future publication.


title: Sur les op\'erateurs factorisables par $OH$

abstract: Let $H,K$ be Hilbert spaces. Let $E \subset B(H)$ and $F \subset B(K)$ be operator spaces in the sense of [1,2]. We study the operators $u : E \to F$ which admit a factorization $E \to OH \to F$ with completely bounded maps through the operator Hilbert space $OH$ which we have introduced and studied in a recent note. We give a characterization of these operators which allows to develop a theory entirely analogous to that of operators between Banach spaces which can be factored through a Hilbert space.


title: Multipliers and lacunary sets in non-amenable groups

abstract: Let $G$ be a discrete group. Let $\lambda : G \to B(\ell_2(G),\ell_2(G))$ be the left regular representation. A function $\ph : G \to \comp$ is called a completely bounded multiplier (= Herz-Schur multiplier) if the transformation defined on the linear span $K(G)$ of $\{\lambda(x),x \in G\}$ by $$\sum_{x \in G} f(x) \lambda(x) \to \sum_{x \in G} f(x) \ph(x) \lambda(x)$$ is completely bounded (in short c.b.) on the $C^*$-algebra $C_\lambda^*(G)$ which is generated by $\lambda$ ($C_\lambda^*(G)$ is the closure of $K(G)$ in $B(\ell_2(G),\ell_2(G))$.) One of our main results gives a simple characterization of the functions $\ph$ such that $\eps \ph$ is a c.b. multiplier on $C_\lambda^*(G)$ for any bounded function $\eps$, or equivalently for any choice of signs $\eps(x) = \pm 1$. We also consider the case when this holds for ``almost all" choices of signs.


title: Espace de Hilbert d'op\'erateurs et Interpolation complexe

abstract: Let $H$ be an infinite dimensional Hilbert space. We show that there exists a subspace of $B(H)$ which is isometric to $\ell_2$ and completely isometric to its antidual in the sense of the theory of operator spaces recently developed by Blecher-Paulsen and Effros-Ruan. Moreover this space is unique up to a complete isometry. We denote it by $OH$. This space has several remarkable properties in particular with respect to the complex interpolation method.


title: A quantum-group-like structure on noncommutative 2-tori

abstract: In this paper we show that in the case of noncommutative two-tori one gets in a natural way simple structures which have analogous formal properties as Hopf algebra structures but with a deformed multiplication on the tensor product.


title: Combinatorics, geometry and attractors of quasi-quadratic maps

abstract: The Milnor problem on one-dimensional attractors is solved for S-unimodal maps with a non-degenerate critical point c. It provides us with a complete understanding of the possible limit behavior for Lebesgue almost every point. This theorem follows from a geometric study of the critical set $\omega(c)$ of a "non-renormalizable" map. It is proven that the scaling factors characterizing the geometry of this set go down to 0 at least exponentially. This resolves the problem of the non-linearity control in small scales. The proofs strongly involve ideas from renormalization theory and holomorphic dynamics.


title: A Uniform Kadec-klee Property For Symmetric Operator Spaces

abstract: We show that if a rearrangement invariant Banach function space $E$ on the positive semi-axis satisfies a non-trivial lower $q-$ estimate with constant $1$ then the corresponding space $E(\nm)$ of $\tau-$measurable operators, affiliated with an arbitrary semi-finite von Neumann algebra $\nm$ equipped with a distinguished faithful, normal, semi-finite trace $\tau $, has the uniform Kadec-Klee property for the topology of local convergence in measure. In particular, the Lorentz function spaces $L_{q,p}$ and the Lorentz-Schatten classes ${\cal C}_{q,p}$ have the UKK property for convergence locally in measure and for the weak-operator topology, respectively. As a partial converse , we show that if $E$ has the UKK property with respect to local convergence in measure then $E$ must satisfy some non-trivial lower $q$-estimate. We also prove a uniform Kadec-Klee result for local convergence in any Banach lattice satisfying a lower $q$-estimate.


title: Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture

abstract: The future of mathematics is described, by using the WZ algorithmic proof theory as a parable.


title: A variety with solvable, but not uniformly solvable, word problem

abstract: In the literature two notions of the word problem for a variety occur. A variety has a decidable word problem if every finitely presented algebra in the variety has a decidable word problem. It has a uniformly decidable word problem if there is an algorithm which given a finite presentation produces an algorithm for solving the word problem of the algebra so presented. A variety is given with finitely many axioms having a decidable, but not uniformly decidable, word problem. Other related examples are given as well.


title: Some compact logics --- results in ZFC

abstract: We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various results. Next, we attempt to get compactness results for some other logics without recourse to diamond, i.e., all our results are in ZFC. We get the full result for the language where we quantify over automorphisms (isomorphisms) of ordered fields in Theorem 6.4. Unfortunately we are not able to show that the language with quantification over automorphisms of Boolean algebras is compact, but will have to settle for a close relative of that logic. This is theorem 5.1. In section 4 we prove we can construct models in which all relevant automorphism are somewhat definable: 4.1, 4.8 for BA, 4.13 for ordered fields. We also give a new proof of the compactness of another logic -- the one which is obtained when a quantifier Q_{Brch} is added to first order logic which says that a level tree (definitions will be given later) has an infinite branch. This logic was previously shown to be compact, but our proof yields a somewhat stronger result and provides a nice illustration of one of our methods.


title: On the number of automorphism of uncontable models

abstract: Let s(A) denote the number of automorphisms of a model A of power omega_1. We derive a necessary and sufficient condition in terms of trees for the existence of an A with omega_1 < s(A) < 2^{omega_1}. We study the sufficiency of some conditions for s(A)=2^{omega_1}. These conditions are analogous to conditions studied by D.Kueker in connection with countable models.


title: All meager filters may be null

abstract: We show that it is consistent with ZFC that all filters which have the Baire property are Lebesgue measurable. We also show that the existence of a Sierpinski set implies that there exists a nonmeasurable filter which has the Baire property.


title: Explicitly nonstandard uniserial modules

abstract: A new construction is given of non-standard uniserial modules over certain valuation domains; the construction resembles that of a special Aronszajn tree in set theory. A consequence is the proof of a sufficient condition for the existence of non-standard uniserial modules; this is a theorem of ZFC which complements an earlier independence result.


title: Forcing isomorphism

abstract: A forcing extension may create new isomorphisms between two models of a first order theory. Certain model theoretic constraints on the theory and other constraints on the forcing can prevent this pathology. A countable first order theory is classifiable if it is superstable and does not have either the dimensional order property or the omitting types order property. Shelah [Sh:c] showed that if a theory T is classifiable then each model of cardinality lambda is described by a sentence of L_{infty, lambda}. In fact this sentence can be chosen in the L^*_{lambda}. (L^*_{lambda} is the result of enriching the language L_{infty, beth^+} by adding for each mu < lambda a quantifier saying the dimension of a dependence structure is greater than mu .) The truth of such sentences will be preserved by any forcing that does not collapse cardinals <= lambda and that adds no new countable subsets of lambda. Hence, if two models of a classifiable theory of power lambda are non-isomorphic, they are non-isomorphic after a lambda-complete forcing. Here we show that the hypothesis of the forcing adding no new countable subsets of lambda cannot be eliminated. In particular, we show that non-isomorphism of models of a classifiable theory need not be preserved by ccc forcings.


title: Borel partitions of infinite subtrees of a perfect tree

abstract: A theorem of Galvin asserts that if the unordered pairs of reals are partitioned into finitely many Borel classes then there is a perfect set P such that all pairs from P lie in the same class. The generalization to n-tuples for n >= 3 is false. Let us identify the reals with 2^omega ordered by the lexicographical ordering and define for distinct x,y in 2^omega, D(x,y) to be the least n such that x(n) not= y(n). Let the type of an increasing n-tuple {x_0, ... x_{n-1}}_< be the ordering <^* on {0, ...,n-2} defined by i<^*j iff D(x_i,x_{i+1})< D(x_j,x_{j+1}). Galvin proved that for any Borel coloring of triples of reals there is a perfect set P such that the color of any triple from P depends only on its type. Blass proved an analogous result is true for any n. As a corollary it follows that if the unordered n-tuples of reals are colored into finitely many Borel classes there is a perfect set P such that the n-tuples from P meet at most (n-1)! classes. We consider extensions of this result to partitions of infinite increasing sequences of reals. We show, that for any Borel or even analytic partition of all increasing sequences of reals there is a perfect set P such that all strongly increasing sequences from P lie in the same class.


title: On the existence of atomic models

abstract: We give an example of a countable theory T such that for every cardinal lambda >= aleph_2 there is a fully indiscernible set A of power lambda such that the principal types are dense over A, yet there is no atomic model of T over A. In particular, T(A) is a theory of size lambda where the principal types are dense, yet T(A) has no atomic model.


title: Representations and $K$-theory of Discrete Groups

abstract: Let $\Gamma$ be a discrete group of finite virtual cohomological dimension with certain finiteness conditions of the type satisfied by arithmetic groups. We define a representation ring for $\Gamma$, determined on its elements of finite order, which is of finite type. Then we determine the contribution of this ring to the topological $K$-theory $K^*(B\Gamma)$, obtaining an exact formula for the difference in terms of the cohomology of the centralizers of elements of finite order in $\Gamma$.


title: M\"obius invariance of knot energy

abstract: A physically natural potential energy for simple closed curves in $\bold R^3$ is shown to be invariant under M\"obius transformations. This leads to the rapid resolution of several open problems: round circles are precisely the absolute minima for energy; there is a minimum energy threshold below which knotting cannot occur; minimizers within prime knot types exist and are regular. Finally, the number of knot types with energy less than any constant $M$ is estimated.


title: Relative $K$-cycles and elliptic boundary conditions

abstract: In this paper, we discuss the following conjecture raised by Baum-Douglas: For any first-order elliptic differential operator $D$ on smooth manifold $M$ with boundary $\p M$, $D$ possesses an elliptic boundary condition if and only if $\partial [D]$ = 0 in $K_1(\partial M)$, where $[D]$ is the relative $K$-cycle in $K_0(M, \partial M)$ corresponding to $D$. We prove the ``if'' part of this conjecture for $\dim(M)$ $\not=$ 4, 5, 6, 7 and the ``only if'' part of the conjecture for arbitrary dimension.


title: Homogeneous functions on light cones: the infinitesimal structure of some degenerate principal series representations

abstract: In this paper we study the reducibility, composition series and unitarity of the components of some degenerate principal series representations of $\RMO(p,q)$, $\RMU(p,q)$ and $\SP(p,q)$. This is done by realizing these representations in paces of homogeneous functions on light cones and writing down the explicit actions of the universal enveloping algebra of the group concerned.


title: Singularities of the Radon transform

abstract: Singularities of the Radon transform of a piecewise smooth function $f(x)$, $x\in R^n$, $n\geq 2$, are calculated. If the singularities of the Radon transform are known, then the equations of the surfaces of discontinuity of $f(x)$ are calculated by applying the Legendre transform to the functions, which appear in the equations of the discontinuity surfaces of the Radon transform of $f(x)$; examples are given. Numerical aspects of the problem of finding discontinuities of $f(x)$, given the discontinuities of its Radon transform, are discussed.


title: Linkless embeddings of graphs in $3$-space

abstract: We announce results about flat (linkless) embeddings of graphs in 3-space. A piecewise-linear embedding of a graph in 3-space is called {\it flat} if every circuit of the graph bounds a disk disjoint from the rest of the graph. We have shown: (i) An embedding is flat if and only if the fundamental group of the complement in 3-space of the embedding of every subgraph is free. (ii) If two flat embeddings of the same graph are not ambient isotopic, then they differ on a subdivision of $K_5$ or $K_{3,3}$. (iii) Any flat embedding of a graph can be transformed to any other flat embedding of the same graph by ``3-switches'', an analog of 2-switches from the theory of planar embeddings. In particular, any two flat embeddings of a 4-connected graph are either ambient isotopic, or one is ambient isotopic to a mirror image of the other. (iv) A graph has a flat embedding if and only if it has no minor isomorphic to one of seven specified graphs. These are the graphs that can be obtained from $K_6$ by means of $Y\Delta$- and $\Delta Y$-exchanges.


title: Best uniform rational approximation of $x^\alpha$ on $[0,1]$

abstract: A strong error estimate for the uniform rational approximation of $x^\alpha$ on $[0,1]$ is given, and its proof is sketched. Let $E_{nn}(x^\alpha,[0,1])$ denote the minimal approximation error in the uniform norm. Then it is shown that $$\lim_{n\to\infty}e^{2\pi\sqrt{\alpha n}}E_{nn}(x^\alpha,[0,1]) = 4^{1+\alpha}|\sin\pi\alpha|$$ holds true for each $\alpha>0$.


title: A new result for the porous medium equation derived from the Ricci flow

abstract: Given $\Bbb R^2, $ with a ``good'' complete metric, we show that the unique solution of the Ricci flow approaches a soliton at time infinity. Solitons are solutions of the Ricci flow, which move only by diffeomorphism. The Ricci flow on $\Bbb R^2$ is the limiting case of the porous medium equation when $m$ is zero. The results in the Ricci flow may therefore be interpreted as sufficient conditions on the initial data, which guarantee that the corresponding unique solution for the porous medium equation on the entire plane asymptotically behaves like a ``soliton-solution''.


title: Factorizations of invertible operators and $K$-theory of $C^*$-algebras

abstract: Let $\Scr A$ be a unital C*-algebra. We describe \it K-skeleton factorizations \rm of all invertible operators on a Hilbert C*-module $\Scr H_{\Scr A}$, in particular on $\Scr H=l^2$, with the Fredholm index as an invariant. We then outline the isomorphisms $K_0(\Scr A) \cong \pi _{2k}([p]_0)\cong \pi _{2k} ({GL}^p_r(\Scr A))$ and $K_1(\Scr A)\cong \pi _{2k+1}([p]_0)\cong \pi _{2k+1}(GL^p_r(\Scr A))$ for $k\ge 0 $, where $[p]_0$ denotes the class of all compact perturbations of a projection $p$ in the infinite Grassmann space ${Gr}^{\infty }(\Scr A)$ and $GL^p_r(\Scr A)$ stands for the group of all those invertible operators on $\Scr H_{\Scr A}$ essentially commuting with $p$.


title: Distribution of periodic points of polynomial diffeomorphisms of C^2

abstract: This paper deals with the dynamics of a simple family of holomorphic diffeomorphisms of $\C^2$: the polynomial automorphisms. This family of maps has been studied by a number of authors. We refer to [BLS] for a general introduction to this class of dynamical systems. An interesting object from the point of view of potential theory is the equilibrium measure $\mu$ of the set $K$ of points with bounded orbits. In [BLS] $\mu$ is also characterized dynamically as the unique measure of maximal entropy. Thus $\mu$ is also an equilibrium measure from the point of view of the thermodynamical formalism. In the present paper we give another dynamical interpretation of $\mu$ as the limit distribution of the periodic points of $f$.


title: Provable Pi-1-2 Singletons

abstract: In this note I show that a pi-1-2 singleton R of L-degree strictly between 0 and 0# can be obtained so as to be the unique solution to a pi-1-2 formula which provably has at most one solution, in the theory ZFC+(*) where (*) has the approximate strength of an ineffable cardinal.


title: Full Reflection at a Measurable Cardinal

abstract: A stationary subset $S$ of a regular uncountable cardinal $\kappa$ {\it 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$. {\it Full Reflection} states that every stationary set reflects fully at regular cardinals. We will prove that under a slightly weaker assumption than $\kappa$ having Mitchell order $\kappa^{++}$ it is consistent that Full Reflection holds at every $\lambda \leq \kappa$ and $\kappa$ is measurable.


title: Combinatorics on Ideals and Axiom A

abstract: Throughout this abstract let U be a fixed p-point ultrafilter and let I be the dual ideal. Grigorieff forcing is P(U)={p:omega to 2|dom(p) is an element of I} ordered by reverse inclusion. It is well known that Grigorieff forcing is proper. The main result of this paper is the following: THEOREM: Gregorieff forcing does not satisfy Axiom A. To prove this we use the following game, denoted G(U), for two players playing alternatively: Player I plays a partition of omega, {J_n| n<omega}, such that for all n<omega, J_n is an element of I; At the nth turn Player II plays a finite subset F_n of J_n. Player II wins iff the union of the F_n is an element of U. The following two Lemmas prove the Theorem: LEMMA 1: If P(U) satisfies axiom A, then player II has a winning strategy in the game G(U). LEMMA 2:The game G(U) is undetermined.


title: The Complete Continuity Property and Finite Dimensional Decompositions

abstract: A Banach space $\X$ has the complete continuity property (CCP) if each bounded linear operator from $L_1$ into $\X$ is completely continuous (i.e., maps weakly convergent sequences to norm convergent sequences). The main theorem shows that a Banach space failing the CCP (resp., failing the CCP and failing cotype) has a subspace with a finite dimensional decomposition (resp., basis) which fails the CCP.


title: Twisted sums and a problem of Klee

abstract: Let F be a quasi-linear map on a separable normed space X, and assume that F splits on an infinite-dimensional subspace of X. Then the twisted sum topology induced by F on the direct sum of X and the real line can be written as the supremum of a nearly convex topology and a trivial dual topology. (This partially answers a question of Klee.) The result applies when X is \ell_1 and F is the Ribe function or when X is James's space.


title: Comparing gaussian and Rademacher cotype for operators on the space of continous functions

abstract: We will prove an abstract comparision principle which translates gaussian cotype in Rademacher cotype conditions and vice versa. More precisely, let $2\!<\!q\!<\!\infty$ and $T:\,C(K)\,\to\,F$ a linear, continous operator. T is of gaussian cotype q if and only if ( \summ_1^n (\frac{|| Tx_k||_F}{\sqrt{\log(k+1)}})^q )^{1/q} \, \le c || \summ_1^n \varepsilon_k x_k ||_{L_2(C(K))} , for all sequences with $(|| Tx_k ||)_1^n$ decreasing. T is of Rademacher cotype q if and only if (\summ_1^n (|| Tx_k||_F \,\sqrt{\log(k+1)})^q )^{1/q} \, \le c || \summ_1^n g_k x_k ||_{L_2(C(K))} , for all sequences with $(||Tx_k ||)_1^n$ decreasing. Our methods allows a restriction to a fixed number of vectors and complements the corresponding results of Talagrand.


title: How many vectors are needed to compute (p,q)-summing norms?

abstract: We will show that for $q<p$ there exists an $\al < \infty$ such that \[ \pi_{pq}(T) \pl \le c_{pq} \pi_{pq}^{[n^{\alpha}]}(T) \mbox{for all $T$ of rank $n$.}\] Such a polynomial number is only possible if $q=2$ or $q<p$. Furthermore, the growth rate is linear if $q=2$ or $\frac{1}{q}-\frac{1}{p}>\frac{1}{2}$. Unless $\frac{1}{q}-\frac{1}{p}=\frac{1}{2}$ this is also a necessary condition .


title: Every nonreflexive subspace of L_1[0,1] fails the fixed point property

abstract: The main result of this paper is that every non-reflexive subspace $Y$ of $L_1[0,1]$ fails the fixed point property for closed, bounded, convex subsets $C$ of $Y$ and nonexpansive (or contractive) mappings on $C$. Combined with a theorem of Maurey we get that for subspaces $Y$ of $L_1[0,1]$, $Y$ is reflexive if and only if $Y$ has the fixed point property. For general Banach spaces the question as to whether reflexivity implies the fixed point property and the converse question are both still open.


title: Lectures on maximal monotone operators

abstract: This is a 30 page set of lecture notes, in Plain TeX, which were prepared for and presented as a series of lectures (10 1/2 hours over two weeks) at the 2nd Summer School on Banach Spaces, Related Areas and Applications in Prague and Paseky, Czech Republic, during August, 1993. They consist of a largely self-contained exposition of both classical and recent basic facts about maximal monotone operators on Banach spaces, motivated in part by the goal of highlighting several fundamental properties of such operators which remain open questions in nonreflexive Banach spaces.


title: Random polytopes and affine surface area

abstract: Let K be a convex body in $R^d$. A random polytope is the convex hull $[x_1,...,x_n]$ of finitely many points chosen at random in K. $\Bbb E(K,n)$ is the expectation of the volume of a random polytope of n randomly chosen points. I. B\'ar\'any showed that we have for convex bodies with $C^3$ boundary and everywhere positive curvature $$ c(d)\lim_{n \to \infty} \frac {vol_d(K)-\Bbb E(K,n)}{(\frac{vol_d(K)}{n})^{\frac{2}{d+1}}} =\int_{\partial K} \kappa(x)^{\frac{1}{d+1}}d\mu(x) $$ where $\kappa(x)$ denotes the Gau\ss-Kronecker curvature. We show that the same formula holds for all convex bodies if $\kappa(x)$ denotes the generalized Gau\ss-Kronecker curvature.


title: Locally Lipschitz Functions and Bornological Derivatives

abstract: We study the relationships between Gateaux, weak Hadamard and Frechet differentiability and their bornologies for Lipschitz and for convex functions. In particular, Frechet and weak Hadamard differentiabily coincide for all Lipschitz functions if and only if the space is reflexive (an earlier paper of the first two authors shows that these two notions of differentiability coincide for continuous convex functions if and only if the space does not contain a copy of $\ell_1$). We also examine when Gateaux and weak Hadamard differentiability coincide for continuous convex functions. For instance, spaces with the Dunford-Pettis (Schur) property can be characterized by the coincidence of Gateaux and weak Hadamard (Frechet) differentiabilty for dual norms.


title: Dual Kadec-Klee norms and the relationships between Wijsman, slice and Mosco convergence

abstract: In this paper, we completely settle several of the open questions regarding the relationships between the three most fundamental forms of set convergence. In particular, it is shown that Wijsman and slice convergence coincide precisely when the weak star and norm topologies agree on the dual sphere. Consequently, a weakly compactly generated Banach space admits a dense set of norms for which Wijsman and slice convergence coincide if and only if it is an Asplund space. We also show that Wijsman convergence implies Mosco convergence precisely when the weak star and Mackey topologies coincide on the dual sphere. A corollary of these results is that given a fixed norm on an Asplund space, Wijsman and slice convergence coincide if and only if Wijsman convergence implies Mosco convergence.


title: A factorization constant for $l^n_p

abstract: We prove that if PT is a factorization of the identity operator on \ell_p^n through \ell_{\infty}^k, then ||P|| ||T|| \geq Cn^{1/p-1/2}(log n)^{-1/2}. This is a corollary of a more general result on factoring the identity operator on a quasi-normed space through \ell_{\infty}^k.


title: Bounded linear operators between C^*-algebras

abstract: Let $u:A\to B$ be a bounded linear operator between two $C^*$-algebras $A,B$. The following result was proved by the second author. Theorem 0.1. There is a numerical constant $K_1$ such that for all finite sequences $x_1,\ldots, x_n$ in $A$ we have $$\leqalignno{&\max\left\{\left\|\left(\sum u(x_i)^* u(x_i)\right)^{1/2}\right\|_B, \left\|\left(\sum u(x_i) u(x_i)^*\right)^{1/2}\right\|_B\right\}&(0.1)_1\cr \le &K_1\|u\| \max\left\{\left\|\left(\sum x^*_ix_i\right)^{1/2}\right\|_A, \left\|\left(\sum x_ix^*_i\right)^{1/2}\right\|_A\right\}.}$$ A simpler proof was given in [H1]. More recently an other alternate proof appeared in [LPP]. In this paper we give a sequence of generalizations of this inequality.


title: Projections from a von~Neumann algebra onto a subalgebra

abstract: This paper is mainly devoted to the following question:\ Let $M,N$ be von~Neumann algebras with $M\subset N$, if there is a completely bounded projection $P\colon \ N\to M$, is there automatically a contractive projection $\widetilde P\colon \ N\to M$? We give an affirmative answer with the only restriction that $M$ is assumed semi-finite.


title: Lyapunov theorems for Banach spaces

abstract: We present a spectral mapping theorem for semigroups on any Banach space $E$. From this, we obtain a characterization of exponential dichotomy for nonautonomous differential equations for $E$-valued functions. This characterization is given in terms of the spectrum of the generator of the semigroup of evolutionary operators.


title: Spaces Of Lipschitz Functions On Banach Spaces

abstract: A remarkable theorem of R. C. James is the following: suppose that $X$ is a Banach space and $C \subseteq X$ is a norm bounded, closed and convex set such that every linear functional $x^* \in X^*$ attains its supremum on $C$; then $C$ is a weakly compact set. Actually, this result is significantly stronger than this statement; indeed, the proof can be used to obtain other surprising results. For example, suppose that $X$ is a separable Banach space and $S$ is a norm separable subset of the unit ball of $X^*$ such that for each $x \in X$ there exists $x^* \in S$ such that $x^*(x) = \|x\|$ then $X^*$ is itself norm separable . If we call $S$ a support set, in this case, with respect to the entire space $X$, one can ask questions about the size and structure of a support set, a support set not only with respect to $X$ itself but perhaps with respect to some other subset of $X$@. We analyze one particular case of this as well as give some applications.


title: Topologies on the set of all subspaces of a banach space and related questions of banach space geometry

abstract: For a Banach space $X$ we shall denote the set of all closed subspaces of $X$ by $G(X)$. In some kinds of problems it turned out to be useful to endow $G(X)$ with a topology. The main purpose of the present paper is to survey results on two the most common topologies on $G(X)$.


title: W^*-derived sets of transfinite order of subspaces of dual Banach spaces

abstract: It is an English translation of the paper originally published in Russian and Ukrainian in 1987. In the appendix of his book S.Banach introduced the following definition Let $X$ be a Banach space and $\Gamma$ be a subspace of the dual space $X^*$. The set of all limits of $w^{*}$-convergent sequences in $\Gamma $ is called the $w^*${\it -derived set} of $\Gamma $ and is denoted by $\Gamma _{(1)}$. For an ordinal $\alpha$ the $w^{*}$-{\it derived set of order} $\alpha $ is defined inductively by the equality: $$ \Gamma _{(\alpha )}=\bigcup _{\beta <\alpha }((\Gamma _{(\beta )})_{(1)}. $$


title: Total subspaces in dual Banach spaces which are not norming

abstract: The main result: the dual of separable Banach space $X$ contains a total subspace which is not norming over any infinite dimensional subspace of $X$ if and only if $X$ has a nonquasireflexive quotient space with the strictly singular quotient mapping.


title: A note on analytical representability of mappings inverse to integral operators

abstract: The condition onto pair ($F,G$) of function Banach spaces under which there exists a integral operator $T:F\to G$ with analytic kernel such that the inverse mapping $T^{-1}:$im$T\to F$ does not belong to arbitrary a priori given Borel (or Baire) class is found.


title: Total subspaces with long chains of nowhere norming weak$^*$ sequential closures

abstract: If a separable Banach space $X$ is such that for some nonquasireflexive Banach space $Y$ there exists a surjective strictly singular operator $T:X\to Y$ then for every countable ordinal $\alpha $ the dual of $X$ contains a subspace whose weak$^*$ sequential closures of orders less than $\alpha $ are not norming over any infinite-dimensional subspace of $X$ and whose weak$^*$ sequential closure of order $\alpha +1$ coincides with $X^*$


title: On closed P-sets with ccc in the space omega^*

abstract: It is proved that -- consistently -- there can be no ccc closed P-sets in the remainder space omega^* .


title: How special are Cohen and random forcings i.e. Boolean algebras of the family of subsets of reals modulo meagre or null

abstract: The feeling that those two forcing notions-Cohen and Random-(equivalently the corresponding Boolean algebras Borel(R)/(meager sets), Borel(R)/(null sets)) are special, was probably old and widespread. A reasonable interpretation is to show them unique, or ``minimal'' or at least characteristic in a family of ``nice forcing'' like Borel. We shall interpret ``nice'' as Souslin as suggested by Judah Shelah [JdSh 292]. We divide the family of Souslin forcing to two, and expect that: among the first part, i.e. those adding some non-dominated real, Cohen is minimal (=is below every one), while among the rest random is quite characteristic even unique. Concerning the second class we have weak results, concerning the first class, our results look satisfactory. We have two main results: one (1.14) says that Cohen forcing is ``minimal'' in the first class, the other (1.10) says that all c.c.c. Souslin forcing have a property shared by Cohen forcing and Random real forcing, so it gives a weak answer to the problem on how special is random forcing, but says much on all c.c.c. Souslin forcing.


title: Accessability of typical points for invariant measures of positive Lyapunov exponents for iterations of holomorphic maps

abstract: We prove that if A is the basin of immediate attraction to a periodic attracting or parabolic point for a rational map f on the Riemann sphere, if $A$ is completely invariant (i.e. $f^{-1}(A)=A$), and if $\mu$ is an arbitrary $f$-invariant measure with positive Lyapunov exponents on the boundary of $A$, then $\mu$-almost every point $q$ in the boundary of $A$ is accessible along a curve from $A$. In fact we prove the accessability of every "good" $q$ i.e. such $q$ for which "small neighbourhoods arrive at large scale" under iteration of $f$. This generalizes Douady-Eremenko-Levin-Petersen theorem on the accessability of periodic sources.


title: The automorphism group of a saturated model has a large dense free subgroup

abstract: We prove that for a stable theory $T,$ if $M$ is a saturated model of $T$ of cardinality $\lambda$ where $\lambda > \big|T\big|,$ then $Aut(M)$ has a dense free subgroup on $2^{\lambda}$ generators. This affirms a conjecture of Hodges.


title: Natural Internal Forcing Schemata Extending ZFC

abstract: Let V be the universe of sets and V_{\alpha} the sets of rank \leq\alpha. We develop some axiom schemata for set theory based on the following three assumptions: 1. V \models ZFC 2. V is large with respect to the class of ordinals 3. V is large with respect to each of the V_{\alpha}


title: The Consistency of $ZFC+CIFS$

abstract: This paper is a technical continuation of ``Natural Axiom Schemata Extending ZFC. Truth in the Universe?'' In that paper we argue that $CIFS$ is a natural axiom schema for the universe of sets. In particular it is a natural closure condition on $V$ and a natural generalization of $IFS(L).$ Here we shall prove the consistency of $ZFC\ +\ CIFS$ relative to the existence of a transitive model of $ZFC$ using the compactness theorem together with a class forcing.


title: Bounding and dominating number of families of functions on N

abstract: We pursue the study of families of functions on the natural numbers, with emphasis here on the bounded families. The situation being more complicated than the unbounded case, we attack the problem by classifying the families according to their bounding and dominating numbers, the traditional scheme for gaps. Many open questions remain.


title: Sums of Darboux and continuous functions

abstract: It is shown that that for every Darboux function $F$ there is a non-constant continuous function $f$ such that $F+f$ is still Darboux. It is shown to be consistent --- the model used is iterated Sacks forcing --- that for every Darboux function $F$ there is a nowhere constant continuous function $f$ such that $F+f$ is still Darboux. This answers questions raised by B.~Kirchiem and T.~Natkaniec who have shown that in various models of set theory there are universally bad Darboux functions, Darboux functions whose sum with any nowhere constant, continuous function fails to be Darboux.


title: Some isomorphically polyhedral Orlicz sequence spaces

abstract: A Banach space is polyhedral if the unit ball of each of its finite dimensional subspaces is a polyhedron. It is known that a polyhedral Banach space has a separable dual and is $c_0$-saturated, i.e., each closed infinite dimensional subspace contains an isomorph of $c_0$. In this paper, we show that the Orlicz sequence space $h_M$ is isomorphic to a polyhedral Banach space if $\lim_{t\to 0}M(Kt)/M(t) = \infty$ for some $K < \infty$. We also construct an Orlicz sequence space $h_M$ which is $c_0$-saturated, but which is not isomorphic to any polyhedral Banach space. This shows that being $c_0$-saturated and having a separable dual are not sufficient for a Banach space to be isomorphic to a polyhedral Banach space.


title: Viva la difference II. The Ax-Kochen isomorphism theorem

abstract: We show in section 1 that the Ax-Kochen isomorphism theorem requires the continuum hypothesis. Most of the applications of this theorem are insensitive to set theoretic considerations. (A probable exception is the work of Moloney.) In section 2 we give an unrelated result on cuts in models of Peano arithmetic which answers a question on the ideal structure of countable ultraproducts of Z. In section 1 we also answer a question of Keisler and Schmerl regarding Scott complete ultrapowers of R .


title: Borel actions of Polish groups

abstract: We show that a {\it Borel} action of a Polish group on a standard Borel space is Borel isomorphic to a {\it continuous} action of the group on a Polish space, and we apply this result to three aspects of the theory of Borel actions of Polish groups: universal actions, invariant probability measures, and the Topological Vaught Conjecture. We establish the existence of universal actions for any given Polish group, extending a result of Mackey and Varadarajan for the locally compact case. We prove an analog of Tarski's theorem on paradoxical decompositions by showing that the existence of an invariant Borel probability measure is equivalent to the nonexistence of paradoxical decompositions with countably many Borel pieces. We show that various natural versions of the Topological Vaught Conjecture are equivalent with each other and, in the case of the group of permutations of $\Bbb N$, with the model-theoretic Vaught Conjecture for infinitary logic; this depends on our identification of the universal action for that group.


title: New points of view in knot theory

abstract: In this article we shall give an account of certain developments in knot theory which followed upon the discovery of the Jones polynomial in 1984. The focus of our account will be recent glimmerings of understanding of the topological meaning of the new invariants. A second theme will be the central role that braid theory has played in the subject. A third will be the unifying principles provided by representations of simple Lie algebras and their universal enveloping algebras. These choices in emphasis are our own. They represent, at best, particular aspects of the far-reaching ramifications that followed the discovery of the Jones polynomial.


title: Topology of homology manifolds

abstract: We construct examples of nonresolvable generalized $n$-manifolds, $n\geq 6$, with arbitrary resolution obstruction, homotopy equivalent to any simply connected, closed $n$-manifold. We further investigate the structure of generalized manifolds and present a program for understanding their topology.


title: On the distribution of sums of residues

abstract: We generalize and solve the $\roman{mod}\,q$ analogue of a problem of Littlewood and Offord, raised by Vaughan and Wooley, concerning the distribution of the $2^n$ sums of the form $\sum_{i=1}^n\varepsilon_ia_i$, where each $\varepsilon_i$ is $0$ or $1$. For all $q$, $n$, $k$ we determine the maximum, over all reduced residues $a_i$ and all sets $P$ consisting of $k$ arbitrary residues, of the number of these sums that belong to $P$.


title: Zariski Geometries

abstract: We characterize the Zariski topologies over an algebraically closed field in terms of general dimension-theoretic properties. Some applications are given to complex manifold and to strongly minimal sets.


title: Prevalence: an addendum

abstract: The authors mention work of Christensen, Mycielski, Tsujii, and others which is closely related to a survey article by the first author [math.FA/9210220].


title: Wavelet transforms versus Fourier transforms

abstract: This note is a very basic introduction to wavelets. It starts with an orthogonal basis of piecewise constant functions, constructed by dilation and translation. The ``wavelet transform'' maps each $f(x)$ to its coefficients with respect to this basis. The mathematics is simple and the transform is fast (faster than the Fast Fourier Transform, which we briefly explain), but approximation by piecewise constants is poor. To improve this first wavelet, we are led to dilation equations and their unusual solutions. Higher-order wavelets are constructed, and it is surprisingly quick to compute with them --- always indirectly and recursively. We comment informally on the contest between these transforms in signal processing, especially for video and image compression (including high-definition television). So far the Fourier Transform --- or its 8 by 8 windowed version, the Discrete Cosine Transform --- is often chosen. But wavelets are already competitive, and they are ahead for fingerprints. We present a sample of this developing theory.


title: An external approach to unitary representations

abstract: The main aim of this paper is to present the ideas which lead first to the solution of the unitarizability problem for $\GL(n)$ over nonarchimedean local fields and to the recognition that the same result holds over archimedean local fields, a result which was proved by Vogan using an internal approach. Let us say that the approach that we are going to present may be characterized as external. At no point do we go into the internal structure of representations.


title: Integration and approximation of multivariate functions: average case complexity with isotropic Wiener measure

abstract: We study the average case complexity of multivariate integration and $L_2$ function approximation for the class $F=C([0,1]^d)$ of continuous functions of $d$ variables. The class $F$ is endowed with the isotropic Wiener measure (Brownian motion in Levy's sense). Furthermore, for both problems, only function values are used as data.