title: Low $M^*$-estimates on coordinate subspaces

abstract: Let $K$ be a symmetric convex body in ${\mathbf R}^n$. It is well-known that for every $\theta\in (0,1)$ there exists a subspace $F$ of ${\mathbf R}^n$ with ${\rm dim}F= [(1-\theta )n]$ such that $${\mathcal P}_F(K)\supseteq \frac{c\sqrt{\theta }} {M_K}D_n\cap F,\leqno (\ast )$$ where ${\mathcal P}_F$ denotes the orthogonal projection onto $F$. Consider a fixed coordinate system in ${\mathbf R}^n$. We study the question whether an analogue of ($\ast $) can be obtained when one is restricted to choose $F$ among the coordinate subspaces ${\mathbf R}^{\sigma },\; \sigma\subseteq\{1,\ldots,n\}$, with $|\sigma |=[(1-\theta )n]$. We prove several ``coordinate versions" of ($\ast $) in terms of the cotype-2 constant, of the volume ratio and other parameters of $K$. The basic source of our estimates is an exact coordinate analogue of ($\ast $) in the ellipsoidal case. Applications to the computation of the number of lattice points inside a convex body are considered throughout the paper.


title: Prehomogeneous vector spaces and ergodic theory I

abstract: This is part one of a series of papers. In this series of papers, we consider problems analogous to the Oppenheim conjecture from the viewpoint of prehomogeneous vector spaces.


title: End sums of irreducible open 3-manifolds

abstract: An end sum is a non-compact analogue of a connected sum. Suppose we are given two connected, oriented $n$-manifolds $M_1$ and $M_2$. Recall that to form their connected sum one chooses an $n$-ball in each $M_i$, removes its interior, and then glues together the two $S^{n-1}$ boundary components thus created by an orientation reversing homeomorphism. Now suppose that $M_1$ and $M_2$ are also open, i.e. non-compact with empty boundary. To form an end sum of $M_1$ and $M_2$ one chooses a halfspace $H_i$ (a manifold \homeo\ to ${\bold R}^{n-1} \times [0, \infty)$) embedded in $M_i$, removes its interior, and then glues together the two resulting ${\bold R}^{n-1}$ boundary components by an orientation reversing homeomorphism. In order for this space $M$ to be an $n$-manifold one requires that each $H_i$ be {\bf end-proper} in $M_i$ in the sense that its intersection with each compact subset of $M_i$ is compact. Note that one can regard $H_i$ as a regular neighborhood of an end-proper ray (a 1-manifold \homeo\ to $[0,\infty)$) $\ga_i$ in $M_i$.


title: Uniformly distributed distances: A geometric application of Jansen's inequality

abstract: Let $d_1\leq d_2\leq\ldots\leq d_{n\choose 2}$ denote the distances determined by $n$ points in the plane. It is shown that $\min\sum_i (d_{i+1}-d_i)^2=O(n^{-6/7})$, where the minimum is taken over all point sets with minimal distance $d_1 \geq 1$. This bound is asymptotically tight.


title: The Singly Periodic Genus-One Helicoid

abstract: We prove the existence of a complete, embedded, singly periodic minimal surface, whose quotient by vertical translations has genus one and two ends. The existence of this surface was announced in our paper in {\it Bulletin of the AMS}, 29(1):77--84, 1993. Its ends in the quotient are asymptotic to one full turn of the helicoid, and, like the helicoid, it contains a vertical line. Modulo vertical translations, it has two parallel horizontal lines crossing the vertical axis. The nontrivial symmetries of the surface, modulo vertical translations, consist of: $180^\circ$ rotation about the vertical line; $180^\circ$ rotation about the horizontal lines (the same symmetry); and their composition.


title: Covering numbers and ``low $M^{*}$-estimate'' for quasi-convex bodies

abstract: This article gives estimates on covering numbers and diameters of random proportional sections and projections of symmetric quasi-convex bodies in $\mathbb R$. These results were known for the convex case and played an essential role in development of the theory. Because duality relations can not be applied in the quasi-convex setting, new ingredients were introduced that give new understanding for the convex case as well.


title: Functions which are almost multipliers of Hilbert function spaces

abstract: We introduce a natural class of functions, the {\em pseudomultipliers}, associated with a general Hilbert function space, prove an extension theorem which justifies the definition, give numerous examples and establish the nature of the 1-pseudomultipliers of Hilbert spaces of analytic functions under mild hypotheses.


title: Products of Block Toeplitz operators

abstract: In this paper we characterize when the product of two block Toeplitz operators is a compact perturbation of a block Toeplitz operator on the Hardy space of the open unit disk. Necessary and sufficient conditions are given for the commutator of two block Toeplitz operators to be compact.


title: The semi-commutator of Toeplitz operators on the bidisc

abstract: In this paper we characterize when the semi-commutator $T_fT_g-T_{fg}$ of two Toeplitz operators $T_f$ and $T_g$ on the Hardy space of the bidisc is zero. We also show that there is no nonzero finite rank semi-commutator on the bidisc. Furthermore explicit examples of compact semi-commutators with symbols continuous on the bitorus $T^2$ are given.


title: Conjugate operators for finite maximal subdiagonal algebras

abstract: Let $\M$ be a von Neumann algebra with a faithful normal trace $\T$, and let $H^\infty$ be a finite, maximal, subdiagonal algebra of $\M$. Fundamental theorems on conjugate functions for weak$^*$\!-Dirichlet algebras are shown to be valid for non-commutative $H^\infty$. In particular the conjugation operator is shown to be a bounded linear map from $L^p(\M, \T)$ into $L^p(\M, \T)$ for $1 < p < \infty$, and to be a continuous map from $L^1(\M,\T)$ into $L^{1, \infty}(\M,\T)$. We also obtain that if an operator $a$ is such that $|a|\log^+|a| \in L^1(\M,\T)$ then its conjugate belongs to $L^1(\M,\T)$. Finally, we present some partial extensions of the classical Szeg\"o's theorem to the non-commutative setting.


title: The rotation set and periodic points for torus homeomorphisms

abstract: We consider the rotation set $\rho(F)$ for a lift $F$ of an area preserving homeomorphism $f: \t^2\to \t^2$, which is homotopic to the identity. The relationship between this set and the existence of periodic points for $f$ is least well understood in the case when this set is a line segment. We show that in this case if a vector $v$ lies in $\rho(F)$ and has both co-ordinates rational, then there is a periodic point $x\in \t^2$ with the property that $$\frac{F^q(x_0)-x_0}q = v$$ where $x_0\in \re^2$ is any lift of $x$ and $q$ is the least period of $x$.


title: Piecewise smooth one dimensional maps with nowhere vanishing derivative

abstract: We consider the dynamics of `nonlinear tent maps': piecewise smooth unimodal maps with nowhere vanishing derivative. We show that if a nonlinear tent map $f$ is not infinitely renormalizable, then all its periodic orbits of sufficiently high period are hyperbolic repelling. If additionally all periodic orbits of $f$ are hyperbolic, then $f$ has at most finitely many periodic attractors and there is a hyperbolic expansion outside the basins of these periodic attractors. In particular, if a nonlinear tent map $f$ is not infinitely renormalizable and all its periodic orbits are hyperbolic repelling, then some iterate of $f$ is expanding. In this case, $f$ admits an absolutely continuous invariant probability measure.


title: Elementary derivations of summations and transformation formulas for q-series

abstract: We present some elementary derivations of summation and transformation formulas for q-series, which are different from, and in several cases simpler or shorter than, those presented in the Gasper and Bahman [1990] "Basic Hypergeometric Series" book (which we will refer to as BHS), the Bailey [1935] and Slater [1966] books, and in some papers; thus providing deeper insights into the theory of q-series. Our main emphasis is on methods that can be used to derive formulas, rather than to just verify previously derived or conjectured formulas. In section 5 this approach leads to the derivation of a new family of summation formulas for very well poised basic hypergeometric series _{6+2k}W_{5+2k}, k = 1,2,.... Several of the observations in this paper were presented, along with related exercises, in the author's minicourse on "q-Series" at the Fields Institute miniprogram on "Special functions, q-Series and Related Topics," June 12-14, 1995.


title: Prehomogeneous vector spaces, Eisenstein series, and invariant theory

abstract: In this paper, we give an introduction to the rationality of the equivariant Morse stratification, and state the author's results on zeta functions of prehomogeneous vector spaces.


title: Attaching boundary planes to irreducible open 3-manifolds

abstract: Given any connected, open 3-manifold $U$ having finitely many ends, a non-compact 3-manifold $M$ is constructed having the following properties: the interior of $M$ is homeomorphic to $U$; the boundary of $M$ is the disjoint union of finitely many planes; $M$ is not almost compact; $M$ is eventually end-irreducible; there are no proper, incompressible embeddings of $S^1 \times \bold R$ in $M$; every compact subset of $M$ is contained in a larger compact subset whose complement is anannular; there is a compact subset of $M$ whose complement is $\bold P^2$-irreducible. If $U$ is irreducible it also has the following two properties: every proper, non-trivial plane in $M$ is boundary-parallel; every proper surface in $M$ each component of which has non-empty boundary and is non-compact and simply connected lies in a collar on $\partial M$. This construction can be chosen so that $M$ admits no homeomorphisms which take one boundary plane to another or reverse orientation. For the given $U$ there are uncountably many non-homeomorphic such $M$. Two auxiliary results may be of independent interest. First, general conditions are given under which infinitely many ``trivial'' compact components of the intersection of two proper, non-compact surfaces in an irreducible 3-manifold can be removed by an ambient isotopy. Second, $n$ component tangles in a 3-ball are constructed such that every non-empty union of components of the tangle has hyperbolic exterior.


title: Prehomogeneous vector spaces and field extensions II

abstract: The purpose of the paper is to prove an analogous correspondence for the above prehomogeneous vector space (1)-(3). For case (1) the correspondence is bijective. However, it turns out that the correspondence is not bijective for cases (2), (3). We describe the fiber structures of this correspondence in subsection 2-4. In section 1 we briefly review basic properties of the non-abelian Galois cohomology set and its relation to the orbit space G_k \ V_k^ss. In subsection 2-4 we consider the prehomogeneous vector spaces (1)-(3) respectively.


title: Cardinal preserving ideals

abstract: We give some general criteria, when kappa-complete forcing preserves largeness properties -- like kappa-presaturation of normal ideals on lambda (even when they concentrate on small cofinalities). Then we quite accurately obtain the consistency strength ``NS_lambda is aleph_1-preserving'', for lambda > aleph_2 .


title: More Constructions for Boolean algebras

abstract: We address a number of problems on Boolean Algebras. For example, we construct, in ZFC, for any BA B, and cardinal kappa BAs B_1,B_2 extending B such that the depth of the free product of B_1,B_2 over B is strictly larger than the depths of B_1 and of B_2 than kappa. We give a condition (for lambda, mu and theta) which implies that for some BA A_theta there are B_1=B^1_{lambda, mu, theta} and B_2B^2_{lambda, mu, theta} such that Depth (B_t) <= mu and Depth (B_1 oplus_{A_theta} B_1) >= lambda. We then investigate for a fixed A, the existence of such B_1,B_2 giving sufficient and necessary conditions, involving consistency results. Further we prove that e.g. if B is a BA of cardinality lambda, lambda >= mu and lambda, mu are strong limit singular of the same cofinality, then B has a homomorphic image of cardinality mu (and with mu ultrafilters). Next we show that for a BA B, if d(B)^kappa <|B| then ind (B)> kappa or Depth (B) >= log (|B|). Finally we prove that if square_lambda holds and lambda = lambda^{aleph_0} then for some BAs B_n, Depth (B_n) <= lambda but for any uniform ultrafilter D on omega, prod_{n< omega} B_n/D has depth >= lambda^+ .


title: Projectivity and isomorphisms of strictly simple algebras

abstract: We describe a sufficient condition for the localization functor to be a categorical equivalence. Using this result we explain how to simplify the test for projectivity. This leads to a description of the strictly simple algebras which are projective in the variety they generate. A byproduct of our efforts is the result that if A and B are strictly simple and generate the same variety, then A=B or else both are strongly abelian.


title: Finitely smooth Reinhardt domains with non-compact automorphism group

abstract: We give a complete description of bounded Reinhardt domains of finite boundary smoothness that have non-compact automorphism group. As part of this program, we show that the classification of domains with non-compact automorphism group and having only finite boundary smoothness is considerably more complicated than the classification of such domains that have infinitely smooth boundary.


title: Singularities of the Bergman kernel for certain weakly pseudoconvex domains

abstract: Consider the Bergman kernel $K^B(z)$ of the domain $\ellip = \{z \in \Comp^n ; \sum_{j=1}^n |z_j|^{2m_j}<1 \}$, where $m=(m_1,\ldots,m_n) \in \Natl^n$ and $m_n \neq 1$. Let $z^0 \in \partial \ellip$ be any weakly pseudoconvex point, $k \in \Natl$ the degenerate rank of the Levi form at $z^0$. An explicit formula for $K^B(z)$ modulo analytic functions is given in terms of the polar coordinates $(t_1, \ldots, t_k, r)$ around $z^0$. This formula provides detailed information about the singularities of $K^B(z)$, which improves the result of A. Bonami and N. Lohou\'e \cite{bol}. A similar result is established also for the Szeg\"o kernel $K^S(z)$ of $\ellip$.


title: Bohr's power series theorem in several variables

abstract: Generalizing a classical one-variable theorem of Harald Bohr, we show that if an n-variable power series has modulus less than 1 in the unit polydisc, then the sum of the moduli of the terms is less than 1 in the polydisc of radius 1/(3*n^{1/2}).


title: Polynomial diffeomorphisms of C^2: V. Critical points and Lyapunov exponents

abstract: In this paper we continue our study of polynomial diffeomorphisms of C^2. Let us recall that there is an invariant measure $\mu$, which is the pluri-complex version of the harmonic measure of the Julia set for polynomial maps of C. In this paper we give an integral formula for the Lyapunov exponents of a polynomial automorphism with respect to $\mu$ analogous to the Brolin-Manning formula polynomial maps of C. Our formula relates the Lyapunov exponents to the value of a Green function at a type of critical point which we define in this paper. We show that these critical points have a very natural dynamical interpretation.


title: On a dichotomy related to colourings of definable graphs in generic models

abstract: We prove that in the Solovay model every OD graph G on reals satisfies one and only one of the following two conditions: (I) G admits an OD colouring by ordinals; (II) there exists a continuous homomorphism of G_0 into G, where G_0 is a certain F_sigma locally countable graph which is not R-OD colourable by ordinals in the Solovay model. If the graph G is locally countable or acyclic then (II) can be strengthened by the requirement that the homomorphism is a 1-1 map, i.e. an embedding. As the second main result we prove that Sigma^1_2 graphs admit the dichotomy (I) vs. (II) in set--generic extensions of the constructible universe L (although now (I) and (II) may be in general compatible). In this case (I) can be strengthened to the existence of a Delta^1_3 colouring by countable ordinals provided the graph is locally countable. The proofs are based on a topology generated by $\od$ sets.


title: An Axiomatic Account of Space as a basis for a Proof of the Four Colour Theorem

abstract: A definition is given of seriate sets as being sets constituted out of structured collections of objects which are recursively internally self- similar. Fundamental (geometrical) objects of Dimension N are conceived to be constituted out of seriate sets of fundamental objects of Dimension N-1, starting with points assigned to Dimension 0. Syntactical rules to enable such objects to be systematically named and combined, are set out. A series of formal proofs of theorems relative to objects of Dimensions 1 and 2 are worked through. A proof that four colours are sufficient to colour any five area map is given in illustration. I know most/all will think all the above impossible, and necessarily the work of some crazy. If it is wrong I believe it is wrong in interesting ways. The underlying idea is easily grasped without working through the theorems given, so I would be grateful to hear from anyone as to why it is wrong - and not simply because it must be so.


title: Mouse Sets

abstract: In this paper we explore a connection between descriptive set theory and inner model theory. From descriptive set theory, we will take a countable, definable set of reals, A. We will then show that A is equal to the reals of M, where M is a canonical model from inner model theory. In technical terms, M is a ''mouse''. Consequently, we say that A is a mouse set. For a concrete example of the type of set A we are working with, let OD(n) be the set of reals which are Sigma-n definable over the omega-first level of the model L(R), from an ordinal parameter. In this paper we will show that for all n, OD(n) is a mouse set. Our work extends some similar results due to D.A. Martin, J.R. Steel, and H. Woodin. Several interesting questions in this area remain open.


title: Uniform Unfolding and Analytic Measurability

abstract: We regard Forcing Notions P adding real numbers and the algebras of P-measurable sets. As for Cohen- and Random-Forcing we can show that each analytic set is P-measurable using Solovay's Unfolding Trick for infinite games. To show this we develop the notion of strategic fusion and give a proof of a uniform unfolding theorem which allows us to reduce the proof of analytic measurability to the definition of a certain function.


title: Concerning the Bourgain $ell_1$ index of a Banach space

abstract: A well known argument of James yields that if a Banach space $X$ contains $\ell_1^n$'s uniformly then $X$ contains $\ell_1^n$'s almost isometrically. In the first half of the paper we extend this idea to the ordinal $\ell_1$-indices of Bourgain. In the second half we use our results to calculate the $\ell_1$-index of certain Banach spaces. Furthermore we show that the $\ell_1$-index of a separable Banach space not containing $\ell_1$ must be of the form $\omega^{\alpha}$ for some countable ordinal $\alpha$.


title: When each continuous operator is regular, II

abstract: The following theorem is essentially due to L.~Kantorovich and B. Vulikh and it describes one of the most important classes of Banach lattices between which each continuous operator is regular. {\bf Theorem 1.1.} {\sl Let $E$ be an arbitrary L-space and $F$ be an arbitrary Banach lattice with Levi norm. Then ${\cal L}(E,F)={\cal L}^r(E,F),\ (\star) $ that is, every continuous operator from $E$ to $F$ is regular.} In spite of the importance of this theorem it has not yet been determined to what extent the Levi condition is essential for the validity of equality $(\star)$. Our main aim in this work is to prove a converse to this theorem by showing that for a Dedekind complete $F$ the Levi condition is necessary for the validity of $(\star)$. As a sample of other results we mention the following. {\bf Theorem~3.6.} {\sl For a Banach lattice $F$ the following are equivalent: {\rm (a)} $F$ is Dedekind complete; {\rm (b)} For all Banach lattices $E$, the space ${\cal L}^r(E,F)$ is a Dedekind complete vector lattice; {\rm (c)} For all L-spaces $E$, the space ${\cal L}^r(E,F)$ is a vector lattice.}


title: The Daugavet equation for operators not fixing a copy of $C(S)$

abstract: We prove the norm identity $\|Id+T\| = 1+\|T\|$, which is known as the Daugavet equation, for operators $T$ on $C(S)$ not fixing a copy of $C(S)$, where $S$ is a compact metric space without isolated points.


title: Excision in Banach simplicial and cyclic cohomology

abstract: We prove that, for every extension of Banach algebras $ 0 \rightarrow B \rightarrow A \rightarrow D \rightarrow 0 $ such that $B$ has a left or right bounded approximate identity, the existence of an associated long exact sequence of Banach simplicial or cyclic cohomology groups is equivalent to the existence of one for homology groups. It follows from the continuous version of a result of Wodzicki that associated long exact sequences exist. In particular, they exist for every extension of $C^*$-algebras.


title: Almost orthogonal submatrices of an orthogonal matrix

abstract: Let $A$ be an $n \times M$ matrix whose rows are orthonormal. Let $A_I$ be a submatrix of $A$ whose column indexes belong to the set $I$. Given $\epsilon >0$ we estimate the smallest cardinality of the set $I$, such that the operator $A_I$ is an $\epsilon$-isometry.


title: Canonical systems and finite rank perturbations of spectra

abstract: We use Rokhlin's Theorem on the uniqueness of canonical systems to find a new way to establish connections between Function Theory in the unit disk and rank one perturbations of self-adjoint or unitary operators. In the n-dimensional case, we prove that for any cyclic self-adjoint operator $A$, operator $A_\lambda= A + \Sigma_{k=1}^n \lambda_k(\cdot,\phi_k)\phi_k$ is pure point for a. e. $\lambda=(\lambda_1,\lambda_2,...,\lambda_n) \in\Bbb R^n$ iff operator $A_\eta=A+\eta(\cdot,\phi_k)\phi_k$ is pure point for a.e.\ $\eta\in\Bbb R$ for $k=1,2,...,n$. We also show that if $A_\lambda$ is pure point for a.e.\ $\lambda\in \Bbb R^n$ then $A_\lambda$ is pure point for a.e.\ $\lambda\in \gamma$ for any analytic curve $\gamma\in\Bbb R^n$.


title: Toric Intersection Theory for Affine Root Counting

abstract: Given any polynomial system with fixed monomial term structure, we give explicit formulae for the generic number of roots with specified coordinate vanishing restrictions. For the case of affine space minus an arbitrary union of coordinate hyperplanes, these formulae are also the tightest possible upper bounds on the number of isolated roots. We also characterize, in terms of sparse resultants, precisely when these upper bounds are attained. Finally, we reformulate and extend some of the prior combinatorial results of the author on which subsets of coefficients must be chosen generically for our formulae to be exact. Our underlying framework provides a new toric variety setting for computational intersection theory in affine space minus an arbitrary union of coordinate hyperplanes. We thus show that, at least for root counting, it is better to work in a naturally associated toric compactification instead of always resorting to products of projective spaces.


title: The outside of the Teichmuller space of punctured tori in Maskit's embedding

abstract: We consider the following question: Which parameters in the extension of a rational pleating ray across the boundary of $\Cal M$, the Maskit embedding of the Teichm\"uller space of once punctured tori correspond to a Kleinian group? Using methods of Keen and Series and Wright we prove a local result, stating that on each rational ray there is a sequence of parameters in $\overline\Bbb H\setminus\Cal M$ accumulating at the boundary point of $\Cal M$ on the ray. These are the unique parameters on the extended $p/q$ ray for which the special word $W_{p/q}$ is a primitive elliptic M\"obius transformation. We also show that the discrete groups with elliptic elements in the complement of $\overline{\Cal M}$ are boundary groups of deformation spaces of certain Kleinian groups representing a punctured torus on their invariant component.


title: On the functional equation f(p(z))=g(q(z)), where p,q are "generalized" polynomials and f,g are meromorphic functions

abstract: The functional equation f(p(z))=g(q(z)) is studied, where p,q are polynomials and f,g are trancendental meromorphic functions in C. We find all the pairs p,q for which there exist nonconstant f,g satisfying our equation and there exist no rational f,g with this property. In fact, a more general problem is solved. In addition to algebraic methods, some results from local analytic dynamics are used.


title: Parameter scaling for the Fibonacci point

abstract: We prove geometric and scaling results for the real Fibonacci parameter value in the quadratic family $f_c(z) = z^2+c$. The principal nest of the Yoccoz parapuzzle pieces has rescaled asymptotic geometry equal to the filled-in Julia set of $z^2-1$. The modulus of two such successive parapuzzle pieces increases at a linear rate. Finally, we prove a ``hairiness" theorem for the Mandelbrot set at the Fibonacci point when rescaling at this rate.


title: Dynamics of quadratic polynomials, III: Parapuzzle and SBR measures

abstract: This is a continuation of notes on dynamics of quadratic polynomials. In this part we transfer the our prior geometric result to the parameter plane. To any parameter value c in the Mandelbrot set (which lies outside of the main cardioid and little Mandelbrot sets attached to it) we associate a ``principal nest of parapuzzle pieces'' and show that the moduli of the annuli grow at least linearly. The main motivation for this work was to prove the following: Theorem B (joint with Martens and Nowicki). Lebesgue almost every real quadratic polynomial which is non-hyperbolic and at most finitely renormalizable has a finite absolutely continuous invariant measure.


title: Invariant measures for typical quadratic maps

abstract: A sufficient geometrical condition for the existence of absolutely continuous invariant probability measures for S-unimodal maps will be discussed. The Lebesgue typical existence of such measures in the quadratic family will be a consequence.


title: On critical points of proper holomorphic maps on the unit disk

abstract: We prove that a proper holomorphic map on the unit disk in the complex plane is uniquely determined up to post-composition with a Moebius transformation by its critical points.


title: Ergodicity of conformal measures for unimodal polynomials

abstract: We show that for any unimodal polynomial $f$ with real coefficients, all conformal measures for $f$ are ergodic.


title: Parabolic resonances and instabilities in near-integrable two degrees of freedom Hamiltonian flows

abstract: When an integrable two-degrees-of-freedom Hamiltonian system possessing a circle of parabolic fixed points is perturbed, a parabolic resonance occurs. It is proved that its occurrence is generic for one parameter families (co-dimension one phenomenon) of near-integrable, t.d.o. systems. Numerical experiments indicate that the motion near a parabolic resonance exhibits new type of chaotic behavior which includes instabilities in some directions and long trapping times in others. Moreover, in a degenerate case, near a {\it flat parabolic resonance}, large scale instabilities appear. A model arising from an atmospherical study is shown to exhibit flat parabolic resonance. This supplies a simple mechanism for the transport of particles with {\it small} (i.e. atmospherically relevant) initial velocities from the vicinity of the equator to high latitudes. A modification of the model which allows the development of atmospherical jets unfolds the degeneracy, yet traces of the flat instabilities are clearly observed.


title: Proof of the Refined Alternating Sign Matrix Conjecture

abstract: Mills, Robbins, and Rumsey conjectured, and Zeilberger proved, that the number of alternating sign matrices of order $n$ equals $A(n):={{1!4!7! ... (3n-2)!} \over {n!(n+1)! ... (2n-1)!}}$. Mills, Robbins, and Rumsey also made the stronger conjecture that the number of such matrices whose (unique) `1' of the first row is at the $r^{th}$ column, equals $A(n) {{n+r-2} \choose {n-1}}{{2n-1-r} \choose {n-1}}/ {{3n-2} \choose {n-1}}$. Standing on the shoulders of A.G. Izergin, V. E. Korepin, and G. Kuperberg, and using in addition orthogonal polynomials and $q$-calculus, this stronger conjecture is proved.


title: Contractible open 3-manifolds which non-trivially cover only non-compact 3-manifolds

abstract: Suppose $M$ is a closed, connected, orientable, \irr\ \3m\ such that $G=\pi_1(M)$ is infinite. One consequence of Thurston's geometrization conjecture is that the universal covering space $\widetilde{M}$ of $M$ must be \homeo\ to $\RRR$. This has been verified directly under several different additional assumptions on $G$. (See, for example, \cite{2}, \cite{3}, \cite{6}, \cite{19}.)


title: Zero one laws for graphs with edge probabilities decaying with distance. Part I

abstract: Let G_n be the random graph on [n]= {1, ...,n} with the possible edge {i,j} having probability being p_{|i-j|}= 1/|i-j|^alpha, alpha in (0,1) irrational. We prove that the zero one law (for first order logic) holds. The paper is continued in [Sh:517]


title: The distributivity numbers of of P(om) /fin and its square

abstract: We show that in a model obtained by forcing with a countable support iteration of length omega_2 of Mathias forcing h(2), the distributivity number of r.o.(P(omega)/fin)^2, is omega_1 but h, the one of P(omega)/fin, is omega_2.


title: Simple forcing notions and forcing axioms

abstract: In the present paper we are interested in simple forcing notions and Forcing Axioms. A starting point for our investigations was the article [JR1] in which several problems were posed. We answer some of those problems here.


title: Existence of almost free abelian groups and reflection of stationary set

abstract: section 2: We answer a question of Mekler Eklof on the closure operations of the incompactness spectrum. We answer a question of Foreman and Magidor on reflection of stationary subsets of S_{< aleph_2}(lambda) = {a subseteq lambda : |a| < aleph_2}]. section 3 - NPT is not transitive. We prove NPT(lambda, mu) + NPT(mu, kappa) not => NPT(lambda, kappa)


title: Very weak zero one law for random graphs with order and random binary functions

abstract: Let G_<(n,p) denote the usual random graph G(n,p) on a totally ordered set of n vertices. We will fix p=1/2 for definiteness. Let L^< denote the first order language with predicates equality (x=y), adjacency (x~y) and less than (x<y). For any sentence A in L^< let f_A(n) denote the probability that the random G_<(n,p) has property A. It is known Compton, Henson and Shelah [CHSh:245] that there are A for which f_A(n) does not converge. Here we show what is called a very weak zero-one law (from [Sh 463]): THEOREM: For every A in language L^<, lim_{n-> infty}(f_A(n+1)-f_A(n))=0.


title: Distorted sums of models

abstract: Distorted sums of models were introduced and discussed in [Sh:463]. This notion generalizes the notion of disjoint (or direct) sums of models by letting the summands overlap. In the first section we investigate types in distorted sums and show that the type of a sequence of elements A is determined by the `local' type of A (i.e. the type restricted to a neighborhood of A). We simplify the proofs in [Sh:463] and improve the bounds on the radii needed to determine the types. Natural examples of distorted sums are models with distant functions. In the second and third sections we discuss such models and improve a theorem by Gaifman, that states that each formula is equivalent to a boolean combination of local formulas.


title: Irredundant intervals

abstract: This expository note presents simplifications of a theorem due to Gy\H{o}ri and an algorithm due to Franzblau and Kleitman: Given a family $F$ of $m$ intervals on a linearly ordered set of $n$ elements, we can construct in $O(m+n)^2$ steps an irredundant subfamily having maximum cardinality, as well as a generating family having minimum cardinality. The algorithm is of special interest because it solves a problem analogous to finding a maximum independent set, but on a class of objects that is more general than a matroid. This note is also a complete, runnable computer program, which can be used for experiments in conjunction with the public-domain software of {\sl The Stanford GraphBase}.


title: Breakdown of analyticity for d-bar-b and Szego kernels

abstract: The CR manifold M_m = { Im z_2= Re z_1^{2m} } (m=2,3,...) is the counterexample, which has been given by M. Christ and D. Geller, to analytic hypoellipticity of d-bar-b and real analyticity of the Szego kernel. In order to give a direct interpretation for the breakdown of real analyticity of the Szego kernel, we give a Borel summation type representation of the Szego kernel in terms of simple singular solutions of the equation d-bar-b u = 0.


title: The dbar-Neumann problem in the Sobolev topology

abstract: revision posted November 1996


title: Looking from the inside and from the outside

abstract: One often sees a sharp distinction in mathematics between descriptions from the outside and from the inside. Think of defining a set in the plane through an algebraic equation, or dynamically as the closure of the orbit of some point under iterations of a given mapping. In logic one sees this dichotomy in the descriptions of sets of tautologies through semantics and proofs. Logic provides several tools for making outer descriptions of mathematical objects. This paper concerns a slightly complicated mixture of themes related to inner descriptions and formal proofs. We use the notion of feasibility to embed mathematical structures into spaces of logical formulas, from which we can obtain new structures through proofs. We present new geometries on finitely generated groups through proofs, and new structure on the rational numbers (or other fields) which is susceptible to dynamical processes, such as the action of $SL(2,Z)$ by projective transformations. We consider the topological notion of {\em Serre fibrations}. This entails more difficulties of formalization, but basic points arise already for {\em torus bundles}, which present exponential distortion through cycling in a nicely geometric way. One of our goals is to bring out mathematical structure related to cuts and cut elimination. Our geometry on groups through proofs is far from the word metric precisely because of the cut rule. We want to explore the idea that in general the existence of short proofs with cuts should be related to internal symmetry or dynamical processes in the underlying mathematical objects. We also want to bring ordinary mathematical proofs closer to proof theory. In this regard the topological example is attractive for presenting realistic difficulties.


title: Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination

abstract: This paper is intended to provide an introduction to cut elimination which is accessible to a broad mathematical audience. Gentzen's cut elimination theorem is not as well known as it deserves to be, and it is tied to a lot of interesting mathematical structure. In particular we try to indicate some dynamical and combinatorial aspects of cut elimination, as well as its connections to complexity theory. We discuss two concrete examples where one can see the structure of short proofs with cuts, one concerning feasible numbers and the other concerning "bounded mean oscillation" from real analysis.


title: Erratum to: ``Banach spaces without local unconditional structure''

abstract: This note contains a corrected proof of the main result (which remains unchanged) from [K-T]. It was recently observed that an argument in a basic technical criterium has a gap.


title: Twisted sums, Fenchel-Orlicz spaces and property (M)

abstract: We study certain twisted sums of Orlicz spaces with non-trivial type which can be viewed as Fenchel-Orlicz spaces on ${\rm {\bf R}}^2$. We then show that a large class of Fenchel-Orlicz spaces on ${\rm {\bf R}}^n$ can be renormed to have property (M). In particular this gives a new construction of the twisted Hilbert space $Z_2$ and shows it has property (M), after an appropriate renorming.


title: A problem on spreading models

abstract: It is proved that if a Banach space $X$ has a basis $(e_n)$ satisfying every spreading model of a normalized block basis of $(e_n)$ is 1-equivalent to the unit vector basis of $\ell_1$ (respectively, $c_0$) then $X$ contains $\ell_1$ (respectively, $c_0$). Furthermore Tsirelson's space $T$ is shown to have the property that every infinite dimensional subspace contains a sequence having spreading model 1-equivalent to the unit vector basis of $\ell_1$. An equivalent norm is constructed on $T$ so that $\|s_1+s_2\|<2$ whenever $(s_n)$ is a spreading model of a normalized basic sequence in $T$.


title: Purely non-atomic weak L^p spaces

abstract: Let $\msp$ be a purely non-atomic measure space, and let $1 < p < \infty$. If $\weakLp\msp$ is isomorphic, as a Banach space, to $\weakLp\mspp$ for some purely atomic measure space $\mspp$, then there is a measurable partition $\Omega = \Omega_1\cup\Omega_2$ such that $(\Omega_1,\Sigma\cap\Omega_1,\mu_{|\Sigma\cap\Omega_1})$ is countably generated and $\sigma$-finite, and that $\mu(\sigma) = 0$ or $\infty$ for every measurable $\sigma \subseteq \Omega_2$. In particular, $\weakLp\msp$ is isomorphic to $\ell^{p,\infty}$.


title: Hypercontractivity and comparison of moments of iterated maxima and minima of independent random variables

abstract: We provide necessary and sufficient conditions for hypercontractivity of the minima of nonnegative, i.i.d. random variables and of both the maxima of minima and the minima of maxima for such r.v.'s. It turns out that the idea of hypercontractivity for minima is closely related to small ball probabilities and Gaussian correlation inequalities.


title: On the Gaussian measure of the intersection of symmetric, convex sets

abstract: The Gaussian Correlation Conjecture states that for any two symmetric, convex sets in n-dimensional space and for any centered, Gaussian measure on that space, the measure of the intersection is greater than or equal to the product of the measures. In this paper we obtain several results which substantiate this conjecture. For example, in the standard Gaussian case, we show there is a positive constant, c, such that the conjecture is true if the two sets are in the Euclidean ball of radius $c\sqrt{n}$. Further we show that if for every n the conjecture is true when the sets are in the Euclidean ball of radius $\sqrt{n}$, then it is true in general. Our most concrete result is that the conjecture is true if the two sets are (arbitrary) centered ellipsoids.


title: Into isometries of $C_0(X,E)$'s

abstract: Suppose $X$ and $Y$ are locally compact Hausdorff spaces, $E$ and $F$ are Banach spaces and $F$ is strictly convex. We show that every linear isometry $T$ from $C_0(X,E)$ {\em into} $C_0(Y,F)$ is essentially a weighted composition operator $Tf(y) = h(y) (f(\varphi(y)))$. This supplements results of Jerison (when $T$ is onto) and Cambern (when $X,Y$ are compact).


title: Weighted composition operators of $C_0(X)$'s

abstract: In this paper, we prove that into isometries and disjointness preserving linear maps from $C_0(X)$ into $C_0(Y)$ are essentially weighted composition operators $Tf = h\cdot f\circ\varphi$ for some continuous map $\varphi$ and some continuous scalar-valued function $h$.


title: On Hyper K\"ahler manifolds associated to Lagrangean K\"ahler submanifolds of $T^*{\Bbb C}^n$

abstract: For any Lagrangean K\"ahler submanifold $M \subset T^*{\Bbb C}^n$, there exists a canonical hyper K\"ahler metric on $T^*M$. A K\"ahler potential for this metric is given by the generalized Calabi Ansatz of the theoretical physicists Cecotti, Ferrara and Girardello. This correspondence provides a method for the construction of (pseudo) hyper K\"ahler manifolds with large automorphism group. Using it, a class of pseudo hyper K\"ahler manifolds of complex signature $(2,2n)$ is constructed. For any hyper K\"ahler manifold $N$ in this class a group of automorphisms with a codimension one orbit on $N$ is specified. Finally, it is shown that the bundle of intermediate Jacobians over the moduli space of gauged Calabi Yau 3-folds admits a natural pseudo hyper K\"ahler metric of complex signature $(2,2n)$.


title: Symbolic Dynamics and Markov Partitions

abstract: The decimal expansion real numbers, familiar to us all, has a dramatic generalization to representation of dynamical system orbits by symbolic sequences. The natural way to associate a symbolic sequence with an orbit is to track its history through a partition. But in order to get a useful symbolism, one needs to construct a partition with special properties. In this work we develop a general theory of representing dynamical systems by symbolic systems by means of so-called Markov partitions. We apply the results to one of the more tractable examples: namely hyperbolic automorphisms of the two dimensional torus. While there are some results in higher dimensions, this area remains a fertile one for research.


title: The algebraic dimension of compact complex threefolds with vanishing second Betti number

abstract: We investigate compact complex manifolds of dimension three and second Betti number $b_2(X) = 0$. We are interested in the algebraic dimension $a(X)$, which is by definition the transcendence degree of the field of meromorphic functions over the field of complex numbers. The topological Euler characteristic $\chi_{\mathrm{ top}}(X) $ equals the third Chern class $c_3(X)$ by a theorem of Hopf. Our main result is that, if $X$ is a compact 3-dimensional complex manifold with $b_2(X) = 0$ and $a(X) > 0$, then $c_3(X) = \chi_{\rm top}(X) = 0$, that is, we either have $b_1(X) = 0, \ b_3(X) = 2$ or $b_1(X) = 1, \ b_3(X) = 0.$


title: Towards a Mori theory on compact K\"ahler threefolds, II

abstract: This paper, a continuation of ``Towards a Mori theory on compact K\"ahler manifolds, 1'' (written with F. Campana), introduces a non-algebraic analogue to Mori theory in dimension 3.


title: Rational curves and ampleness properties of the tangent bundle of algebraic varieties

abstract: The purpose of this paper is to translate positivity properties of the tangent bundle (and the anti-canonical bundle) of an algebraic manifold into existence and movability properties of rational curves and to investigate the impact on the global geometry of the manifold $X$. Among the results we prove are these: \quad If $X$ is a projective manifold, and ${\cal E} \subset T_X$ is an ample locally free sheaf with $n-2\ge rk {\cal E}\ge n$, then $X \simeq \EP_n$. \quad Let $X$ be a projective manifold. If $X$ is rationally connected, then there exists a free $T_X$-ample family of (rational) curves. If $X$ admits a free $T_X$-ample family of curves, then $X$ is rationally generated.


title: Prehomogeneous vector spaces and ergodic theory II

abstract: We apply M. Ratner's theorem on closures of unipotent orbits to the study of three families of prehomogeneous vector spaces. As a result, we prove analogues of the Oppenheim Conjecture for simultaneous approximation by values of certain alternating bilinear forms in an even number of variables and certain alternating trilinear forms in six and seven variables.


title: Cocycle superrigidity for ergodic actions of non-semisimple Lie groups

abstract: Suppose $L$ is a semisimple Levi subgroup of a connected Lie group~$G$, $X$ is a Borel $G$-space with finite invariant measure, and $\alpha \colon X \times G \to \GL_n(\real)$ is a Borel cocycle. Assume $L$ has finite center, and that the real rank of every simple factor of~$L$ is at least two. We show that if $L$ is ergodic on~$X$, and the restriction of~$\alpha$ to~$X \times L$ is cohomologous to a homomorphism (modulo a compact group), then, after passing to a finite cover of~$X$, the cocycle $\alpha$ itself is cohomologous to a homomorphism (modulo a compact group).


title: Correction to "Measurable quotients of unipotent translations on homogeneous spaces

abstract: The statements of Main~Theorem~1.1 and Theorem~2.1 of the author's paper [\emph{Trans.\ Amer.\ Math.\ Soc.}\ {\bf 345} (1994) 577--594] should assume that $\Gamma $~is discrete and $G$~is connected. (Cors.~1.3, 5.6, and~5.8 are affected similarly.) These restrictions can be removed if the conclusions of the results are weakened to allow for the possible existence of transitive, proper subgroups of~$G$. In this form, the results can be extended to the setting where $G$ is a product of real and $p$-adic Lie groups.


title: Superrigid subgroups of solvable Lie groups

abstract: Let $\Gamma$ be a discrete subgroup of a simply connected, solvable Lie group~$G$, such that $\Ad_G\Gamma$ has the same Zariski closure as $\Ad G$. If $\alpha \colon \Gamma \to \GL_n(\real)$ is any finite-dimensional representation of~$\Gamma $,we show that $\alpha$ virtually extends to a continuous representation~$\sigma $ of~$G$. Furthermore, the image of~$\sigma$ is contained in the Zariski closure of the image of~$\alpha $. When $\Gamma$ is not discrete, the same conclusions are true if we make the additional assumption that the closure of $[\Gamma, \Gamma]$ is a finite-index subgroup of $[G,G] \cap \Gamma$ (and $\Gamma$ is closed and $\alpha$ is continuous).


title: Correction to "Zero-entropy affine maps on homogeneous spaces

abstract: Proposition~6.4 of the author's paper {\origpaper} is incorrect. This invalid proposition was used in the proof of Corollary~6.5, so we provide a new proof of the latter result.


title: Quantum cohomology of projective bundles over P^n

abstract: In this paper, we attempt to determine the quantum cohomology of projective bundles over the projective space P^n. In contrast to the previous examples, the relevant moduli spaces in our case frequently do not have expected dimensions. It makes the calculation more difficult. We overcome this difficulty by using excessive intersection theory.


title: Extensions of vector bundles and rationality of certain moduli spaces of stable bundles

abstract: In this paper, it is proved that certain stable rank-3 vector bundles can be written as extensions of line bundles and stable rank-2 bundles. As an application, we show the rationality of certain moduli spaces of stable rank-3 bundles over the projective plane P^2.


title: Rank-3 stable bundles on rational ruled surfaces

abstract: In this paper, we compare the moduli spaces of rank-3 vector bundles stable with respect to different ample divisors over rational ruled surfaces. We also discuss the irreducibility, unirationality, and rationality of these moduli spaces.


title: Randomness and semigenericity

abstract: Let L contain only the equality symbol and let L^+ be an arbitrary finite symmetric relational language containing L . Suppose probabilities are defined on finite L^+ structures with ''edge probability'' n^{- alpha}. By T^alpha, the almost sure theory of random L^+-structures we mean the collection of L^+-sentences which have limit probability 1. T_alpha denotes the theory of the generic structures for K_alpha, (the collection of finite graphs G with delta_{alpha}(G)=|G|- alpha. | edges of G | hereditarily nonnegative.) THEOREM: T_alpha, the almost sure theory of random L^+-structures is the same as the theory T_alpha of the K_alpha-generic model. This theory is complete, stable, and nearly model complete. Moreover, it has the finite model property and has only infinite models so is not finitely axiomatizable.


title: Historic iteration with aleph_epsilon-support

abstract: One aim of this work is to get a universe in which weak versions of Martin axioms holds for some forcing notions of cardinality aleph_0, aleph_1 and aleph_2 while on aleph_2 club, the ``small'' brother of diamond, holds. As a consequence we get the consistency of ``there is no Gross space''. Another aim is to present a case of ``Historic iteration''.


title: DOP and FCP in generic structures

abstract: Spencer and Shelah [ShSp:304] constructed for each irrational alpha between 0 and 1 the theory T^alpha as the almost sure theory of random graphs with edge probability n^{- alpha}. In [BlSh:528] we proved that this was the same theory as the theory T_alpha built by constructing a generic model in Baldwin and Shi. In this paper we explore some of the more subtle model theoretic properties of this theory. We show that T^alpha has the dimensional order property and does not have the finite cover property.


title: Self-rectangulating varieties of type 5

abstract: We show that a locally finite variety which omits abelian types is self-regulating if and only if it has a compatible semilattice term operation. Such varieties must have a type-set {5}. These varieties are residually small and, when they are finitely generated, they have definable principal congruences. We show that idempotent varieties with a compatible semilattice term operation have the congruence extension property.


title: Fell bundles over groupoids

abstract: The author provides some definitions and structural results about Fell bundles, defined as C^*-algebra bundles over topological groupoids. Such bundles are a mutual generalization of semi-direct products of groups with C^*-algebras and C^*-algebra bundles over topological spaces. In particular a Morita equivalence theorem with semi-direct products is established.


title: Robinson-Schensted-Knuth insertion and characters of symmetric groups and Iwahori-Hecke algebras of type A

abstract: The purpose of this note is to give an insertion scheme proof of the formula, $$p_\mu = \sum_{\lambda\vdash k} \chi^\lambda(\mu)s_\lambda,\formula$$ where $p_\mu$ is the power sum symmetric function, $s_\lambda$ is the Schur function and $\chi^\lambda(\mu)$ is the irreducible character of the symmetric group $S_k$ indexed by the partition $\lambda$ and evaluated at a permutation of cycle type $\mu=(\mu_1,\ldots,\mu_\ell)$. The proof of this formula is by direct application of the Robinson-Schensted-Knuth insertion scheme and a recent formula of Roichman.


title: Tensor product representations for orthosymplectic Lie superalgebras

abstract: We derive a general result about commuting actions on certain objects in braided rigid monoidal categories. This enables us to define an action of the Brauer algebra on the tensor space $V^{\otimes k}$ which commutes with the action of the orthosymplectic Lie superalgebra $\spo(V)$ and the orthosymplectic Lie color algebra $\spo(V,\beta)$. We use the Brauer algebra action to compute maximal vectors in $V^{\otimes k}$ and to decompose $V^{\otimes k}$ into a direct sum of submodules $T^\lambda$. We compute the characters of the modules $T^\lambda$, give a combinatorial description of these characters in terms of tableaux, and model the decomposition of $V^{\otimes k}$ into the submodules $T^\lambda$ with a Robinson-Schensted-Knuth type insertion scheme.


title: Gleason's problem in weighted Bergman space on egg domains

abstract: In the paper, we discuss on the egg domains: $$ \Omega_a=\left\{\xi=(z,w)\in\bold C^{n+m}: \ z\in\bold C^n, \ w\in\bold C^m, |z|^2+|w|^{2/a}<1\right\}, \qquad 0<a\le 2. $$ We show that Gleason's problem can be solved in the weight Bergman space on theegg domains. The proof will need the help of the recent work of the second named author on the weighted Bergman projections on this kind of domain. As an application, we obtain a multiplier theorem on the egg domains.


title: Effective formulas for invariant functions -- case of elementary Reinhardt domains

abstract: In the paper we find effective formulas for the invariant functions, appearing in the theory of several complex variables, of the elementary Reinhardt domains. This gives us the first example of a large family of domains for which the functions are calculated explicitly.


title: Determinacy and \Delta^1_3-degrees

abstract: Let D = { d_n } be a countable collection of Delta^1_3 degrees. Assuming that all co-analytic games on integers are determined (or equivalently that all reals have ``sharps''), we prove that either D has a Delta^1_3-minimal upper bound, or that for any n, and for every real r recursive in d_n, games in the pointclasses Delta^1_2(r) are determined. This is proven using Core Model theory.


title: A nonstandard proof of the Jordan curve theorem

abstract: A new elementary nonstandard proof of the Jordan curve theorem is given. The proof (the technical part consists of 4 pages) is self-contained, except for the Jordan theorem for polygons taken for granted.


title: Finite models, stability, and Ramsey's theorem

abstract: We prove some results on the border of Ramsey theory (finite partition calculus) and model theory. Also a beginning of classification theory of finite models in undertaken.


title: An Algebraic Annulus Theorem

abstract: We present an extension of Dunwoody's theory of tracks and use it to prove an analogue of the annulus theorem for hyperbolic groups.


title: Topological arrangement of curves of degree 6 on cubic surfaces in $\Bbb R P^3$

abstract: A quadric in $\R P^3$ cuts a curve of degree 6 on a cubic surface in $\R P^3$. The papers classifies the nonsingular curves cut in this way on non-singular cubic surfaces up to homeomorphism. Two issues new in the study related to the first part of the 16th Hilbert problem appear in this classification. One is the distribution of the components of the curve between the components of the non-connected cubic surface which turns out to depend on the patterns of arrangements (see Theorem 1). The other is presence of positive genus among the components of the complement and genus-related restrictions (see Theorems 3 and 4).


title: Random vectors in the isotropic position

abstract: Let $y$ be a random vector in \rn, satisfying $$ \Bbb E \, \tens{y} = id. $$ Let $M$ be a natural number and let $y_1 \etc y_M$ be independent copies of $y$. We prove that for some absolute constant $C$ $$ \enor{\frac{1}{M} \sum_i \tens{y_i} - id} \le C \cdot \frac{\sqrt{\log M}}{\sqrt{M}} \cdot \left ( \enor{y}^{\log M} \right )^{1/ \log M}, $$ provided that the last expression is smaller than 1. We apply this estimate to obtain a new proof of a result of Bourgain concerning the number of random points needed to bring a convex body into a nearly isotropic position.


title: Adjunction inequality for real algebraic curves

abstract: The zero set of a real polynomial in two variable is a curve in $\mathbb R^2$. For a generic choice of its coefficients this is a non-singular curve, a collection of circles and lines properly embedded in $\mathbb R^2$. What topological arrangements of these circles and lines appear for the polynomials of a given degree? This question arised in the 19th century in the works of Harnack and Hilbert and was included by Hilbert into his 16th problem. Several partial results were obtained since then. However the complete answer is known only for polynomials of degree 5 or less. The paper presents a new partial result toward the solution of the 16th Hilbert problem. The proof makes use of the proof by Kronheimer and Mrowka of the Thom conjecture in $\mathbb C P^2$.


title: Bending deformations of complex hyperbolic surfaces

abstract: We study deformations of complex hyperbolic surfaces which furnish the simplest examples of: (i) negatively curved K\"ahler manifolds and (ii) negatively curved Riemannian manifolds not having {\it constant} curvature. Although such complex surfaces may share the rigidity of quaternionic/octionic hyperbolic manifolds, our main goal is to show that they enjoy nevertheless the flexibility of low-dimensional real hyperbolic manifolds. Namely we define a class of ``bending" deformations of a given (Stein) complex surface $M$ associated with its closed geodesics provided that $M$ is homotopy equivalent to a Riemann surface whose embedding in $M$ has a non-trivial totally real geodesic part. Such bending deformations bend $M$ along its closed geodesics and are induced by equivariant quasiconformal homeomorphisms of the complex hyperbolic space and its Cauchy-Riemannian structure at infinity.


title: On the homology cobordism group of homology 3-spheres

abstract: In this paper we present our results on the homology cobordism group $\Th$ of the oriented integral homology 3-spheres. We specially emphasize the role played in the subject by the gauge theory including Floer homology and invariants by Donaldson and Seiberg -- Witten.


title: A new advance in the Bernstein problem in mathematical genetics

abstract: A S. N. Bernstein problem is solved under a natural irreducibility condition. Earlier this result was obtained only in some special case.


title: Geography of the cubic connectedness locus I: Intertwining surgery

abstract: We exhibit products of Mandelbrot sets in the two-dimensional complex parameter space of cubic polynomials. These products were observed by J. Milnor in computer experiments which inspired Lavaurs' proof of non local-connectivity for the cubic connectedness locus. Cubic polynomials in such a product may be renormalized to produce a pair of quadratic maps. The inverse construction is an {\it intertwining surgery} on two quadratics. The idea of intertwining first appeared in a collection of problems edited by Bielefeld. Using quasiconformal surgery techniques of Branner and Douady, we show that any two quadratics may be intertwined to obtain a cubic polynomial. The proof of continuity in our two-parameter setting requires further considerations involving ray combinatorics and a pullback argument.


title: Exponentiation in power series fields

abstract: We prove that for no nontrivial ordered abelian group G, the ordered power series field R((G)) admits an exponential, i.e. an isomorphism between its ordered additive group and its ordered multiplicative group of positive elements, but that there is a non-surjective logarithm. For an arbitrary ordered field k, no exponential on k((G)) is compatible, that is, induces an exponential on k through the residue map. This is proved by showing that certain functional equations for lexicographic powers of ordered sets are not solvable.


title: On full Souslin trees

abstract: In this note we answer a question of Kunen (15.13 [Mi91]) showing that it is consistent that there are full Souslin trees


title: A note on Lascar strong types in simple theories

abstract: Let T be a countable, small simple theory. In this paper, we prove for such T, the notion of Lascar Strong type coincides with the notion of a strong type,over an arbitrary set.


title: Sampling sets for Hardy spaces of the disk

abstract: We propose two possible definitions for the notion of a sampling sequence (or set) for Hardy spaces of the disk. The first one is inspired by recent work of Bruna, Nicolau, and \O yma about interpolating sequences in the same spaces, and it yields sampling sets which do not depend on the value of $p$ and correspond to the result proved for bounded functions ($p=\infty$) by Brown, Shields and Zeller. The second notion, while formally closer to the one used for weighted Bergman spaces, is shown to lead to trivial situations only, but raises a possibly interesting problem.


title: Generic Saturation

abstract: Assuming that ORD is $\omega +\omega $-Erd\"os we show that if a class forcing amenable to $L$ (an $L$-forcing) has a generic then it has one definable in a set-generic extension of $L[O^\#]$. In fact we may choose such a generic to be {\it periodic} in the sense that it preserve the indiscernibility of a final segment of a periodic subclass of the Silver indiscernibles, and therefore to be {\it almost codable} in the sense that it is definable from a real which is generic for an $L$-forcing (and which belongs to a set-generic extension of $L[O^\#]$).


title: Ordinal Recursion Theory

abstract: In this article, intended for the Handbook of Recursion Theory, we survey recursion theory on the ordinal numbers, with sections devoted to $\alpha$-recursion theory, $\beta$-recursion theory and the study of the admissibility spectrum.


title: Ordinary differential equations and descriptive set theory: uniqueness and globality of solutions of Cauchy problems in one dimension

abstract: We study some natural sets arising in the theory of ordinary differential equations in one variable from the point of view of descriptive set theory and in particular classify them within the Borel hierarchy. We prove that the set of Cauchy problems for ordinary differential equations which have a unique solution is $\Pi^0_2$-complete and that the set of Cauchy problems which locally have a unique solution is $\Sigma^0_3$-complete. We prove that the set of Cauchy problems which have a global solution is $\Sigma^0_4$-complete and that the set of ordinary differential equation which have a global solution for every initial condition is $\Pi^0_3$-complete. We prove that the set of Cauchy problems for which both uniqueness and globality hold is $\Pi^0_2$-complete.


title: The Largest Countable Inductive Set is a Mouse Set

abstract: Let kappa be the least ordinal alpha such that L_{alpha}(R) is admissible. Let A be the set of reals x such that x is ordinal definable in L_{\alpha}(R), for some alpha<kappa. It is well known that (assuming determinacy) A is the largest countable inductive set of reals. Let T be the following theory: ZFC - Replacement + "There exists $\omega$ Woodin cardinals which are cofinal in the ordinals." T has consistency strength weaker than that of the theory ZFC + "There exists omega Woodin cardinals", but stronger than that of the theory ZFC + "There exists n Woodin Cardinals", for each n. Let M be the canonical, minimal inner model for the theory T. In this paper we show that A is equal to the set of reals in M. Since M is a "mouse", we say that A is a "mouse set." As an application, we use our characterization of A to give an inner-model-theoretic proof of Martin's theorem that A is equal to the set of reals which are Sigma^*_n for some n.


title: Floating body, illumination body, and polytopal approximation

abstract: Let $K$ be a convex body in $\Bbb R^{d}$ and $K_{t}$ its floating bodies. There is a polytope with at most $n$ vertices that satisfies $$ K_{t} \subset P_{n} \subset K $$ where $$ n \leq e^{16d} \frac{vol_{d}(K \setminus K_{t})}{t\ vol_{d}(B_{2}^{d})} $$ Let $K^{t}$ be the illumination bodies of $K$ and $Q_{n}$ a polytope that contains $K$ and has at most $n$ $d-1$-dimensional faces. Then $$ vol_{d}(K^{t} \setminus K) \leq cd^{4} vol_{d}(Q_{n} \setminus K) $$ where $$ n \leq \frac{c}{dt} \ vol_{d}(K^{t} \setminus K) $$


title: Homotopy Hyperbolic 3-Manifolds are Hyperbolic

abstract: This paper introduces a rigorous computer-assisted procedure for analyzing hyperbolic 3-manifolds. This technique is used to complete the proof of several long-standing rigidity conjectures in 3-manifold theory as well as to provide a new lower bound for the volume of a closed orientable hyperbolic 3-manifold. We prove the following result: \it\noindent Let $N$ be a closed hyperbolic 3-manifold. Then \begin{enumerate} \item[(1)] If $f\colon M \to N$ is a homotopy equivalence where $M$ is a closed irreducible 3-manifold, then $f$ is homotopic to a homeomorphism. \item[(2)] If $f,g\colon M\to N$ are homotopic homeomorphisms, then $f$ is isotopic to $g$. \item[(3)] The space of hyperbolic metrics on $N$ is path connected. \end{enumerate}


title: A Standard Form for Incompressible Surfaces in a Handlebody

abstract: Let $\F$ be a compact surface and let $I$ be the unit interval. This paper gives a standard form for all 2-sided incompressible surfaces in the 3-manifold $\F \times I$. Since $\F \times I$ is a handlebody when $\F$ has boundary, this standard form applies to incompressible surfaces in a handlebody.


title: Cannon-Thurston Maps for Trees of Hyperbolic Metric Spaces

abstract: Let (X,d) be a tree (T) of hyperbolic metric spaces satisfying the quasi-isometrically embedded condition. Let $v$ be a vertex of $T$. Let $({X_v},d_v)$ denote the hyperbolic metric space corresponding to $v$. Then $i : X_v \rightarrow X$ extends continuously to a map $\hat{i} : \widehat{X_v} \rightarrow \widehat{X}$. This generalizes a Theorem of Cannon and Thurston. The techniques are used to give a new proof of a result of Minsky: Thurston's ending lamination conjecture for certain Kleinian groups. Applications to graphs of hyperbolic groups and local connectivity of limit sets of Kleinian groups are also given.


title: Asymptotic geometry and conformal types of Carnot--Carath\'eodory spaces

abstract: An intrinsic definition in terms of conformal capacity is proposed for the conformal type of a Carnot--Carath\'eodory space (parabolic or hyperbolic). Geometric criteria of conformal type are presented. They are closely related to the asymptotic geometry of the space at infinity and expressed in terms of the isoperimetric function and the growth of the area of geodesic spheres. In particular, it is proved that a sub-Riemannian manifold admits a conformal change of metric that makes it into a complete manifold of finite volume if and only if the manifold is of conformally parabolic type. Further applications are discussed, such as the relation between local and global invertibility properties of quasiconformal immersions (the global homeomorphism theorem).


title: Combinatorics and topology of stratifications of the space of monic polynomials with real coefficients

abstract: We study the stratification of the space of monic polynomials with real coefficients according to the number and multiplicities of real zeros. In the first part, for each of these strata we provide a purely combinatorial chain complex calculating (co)homology of its one-point compactification and describe the homotopy type by order complexes of a class of posets of compositions. In the second part, we determine the homotopy type of the one-point compactification of the space of monic polynomials of fixed degree which have only real roots (i.e., hyperbolic polynomials) and at least one root is of multiplicity $k$. More generally, we describe the homotopy type of the one-point compactification of strata in the boundary of the set of hyperbolic polynomials, that are defined via certain restrictions on root multiplicities, by order complexes of posets of compositions. In general, the methods are combinatorial and the topological problems are mostly reduced to the study of partially ordered sets.


title: The space of rational maps on P^1

abstract: The set of morphisms $\f:\PP^1\to\PP^1$ of degree $d$ is parametrized by an affine open subset $\Rat_d$ of $\PP^{2d+1}$. We consider the action of~$\SL_2$ on $\Rat_d$ induced by the {\it conjugation action\/} of $\SL_2$ on rational maps; that is, $f\in\SL_2$ acts on~$\f$ via $\f^f=f^{-1}\circ\f\circ f$. The quotient space $\M_d=\Rat_d/\SL_2$ arises very naturally in the study of discrete dynamical systems on~$\PP^1$. We prove that~$\M_d$ exists as an affine integral scheme over~$\ZZ$, that $\M_2$ is isomorphic to~$\AA^2_\ZZ$, and that the natural completion of~$\M_2$ obtained using geometric invariant theory is isomorphic to~$\PP^2_\ZZ$. These results, which generalize results of Milnor over~$\CC$, should be useful for studying the arithmetic properties of dynamical systems.


title: On thermonuclear reaction rates

abstract: Nuclear reactions govern major aspects of the chemical evolution of galaxies and stars. Analytic study of the reaction rates and reaction probability integrals is attempted here. Exact expressions for the reaction rates and reaction probability integrals for nuclear reactions in the cases of nonresonant, modified nonresonant, screened nonresonant and resonant cases are given. These are expressed in terms of H-functions, G-functions and in computable series forms. Computational aspects are also discussed.


title: The distribution of the eigenvalues of Hecke operators

abstract: For each prime $p$, we determine the distribution of the $p^{th}$ Fourier coefficients of the Hecke eigenforms of large weight for the full modular group. As $p\to\infty$, this distribution tends to the Sato--Tate distribution.


title: Characterizing aleph_epsilon-saturated models of superstable ndop theories by L_{infty, aleph_epsilon}-theory

abstract: After the main gap theorem was proved (see [Sh:c]), in discussion, Harrington expressed a desire for a finer structure - of finitary character (when we have a structure theorem at all). I point out that the logic L_{infty,aleph_0}(d.q.) (d.q. stands for dimension quantifier) does not suffice: e.g., for T=Th(lambda x 2^\omega,E_n)_{n<omega} where (alpha,eta)E_n(beta,nu) =: eta|n=nu|n and for a subset S of 2^omega we define M_S = M | {(alpha,eta): [eta in S -> alpha<omega_1] and [eta in 2^\omega backslash S -> alpha<omega]}. Hence, it seems to me we should try L_{infty,aleph_epsilon}(d.q.) (essentially, in C we can quantify over sets which are included in the algebraic closure of finite sets), and Harrington accepts this interpretation. Here the conjecture is proved for aleph_epsilon-saturated models. I.e., the main theorem is M equiv_{L_{infty,aleph_epsilon}(d.q.)} N iff M cong N for aleph_epsilon--saturated models of a superstable countable (first order) theory T without dop.


title: On sigma-entangled linear orders

abstract: We investigate sigma-entangled linear orders and narrowness of Boolean algebras. We show existence of sigma-entangled linear orders in many cardinals, and we build Boolean algebras with neither large chains nor large pies. We study the behavior of these notions in ultraproducts.


title: Non-existence of universals for classes like reduced torsion free abelian groups under embeddings which are not necessarily pure

abstract: We consider a class K of structures e.g. trees with omega +1 levels, metric spaces and mainly, classes of Abelian groups like the one mentioned in the title and the class of reduced separable (Abelian) p-groups. We say M in K is universal for K if any member N of K of cardinality not bigger than the cardinality of M can be embedded into M . This is a natural, often raised, problem. We try to draw consequences of cardinal arithmetic to non-existence of universal members for such natural classes.


title: Colouring and non-productivity of aleph_2-cc

abstract: We prove that colouring of pairs from aleph_2 with strong properties exists. The easiest to state (and quite a well known problem) it solves: there are two topological spaces with cellularity aleph_1 whose product has cellularity aleph_2 ; equivalently we can speak on cellularity of Boolean algebras or on Boolean algebras satisfying the aleph_2-c.c. whose product fails the aleph_2-c.c. We also deal more with guessing of clubs.


title: Modularity prevents tails

abstract: We establish a direct correspondence between two congruence poroperties for finite algebras. The first property is that minimal sets of type i omit tails. The second property is that congruence lattices omit pentagons of type i.


title: Asymptotic expansion of the Bergman kernel for weakly pseudoconvex tube domains in C^2

abstract: In this paper we give an asymptotic expansion of the Bergman kernel for certain weakly pseudoconvex tube domains of finite type in C^2. Our asymptotic formula asserts that the singularity of the Bergman kernel at weakly pseudoconvex points is essentially expressed by using two variables; moreover certain real blowing-up is necessary to understand its singularity. The form of the asymptotic expansion with respect to each variable is similar to that in the strictly pseudoconvex case due to C. Fefferman. We also give an analogous result in the case of the Szego kernel.


title: Sharp Lipschitz estimates for operator dbar_M on a q-concave CR manifold

abstract: We prove that the integral operators $R_r$ and $H_r$ constructed in \cite{P} and such that $$f = \bar\partial_{\bold M} R_r(f) + R_{r+1}(\bar\partial_{\bold M} f) + H_r(f),$$ for a differential form $f \in C_{(0,r)}^{\infty}({\bold M})$ on a regular q-concave CR manifold ${\bold M}$ admit sharp estimates in the Lipschitz scale.


title: Defects for Ample Divisors of Abelian Varieties, Schwarz Lemma, and Hyperbolic Hypersurfaces of Low Degrees

abstract: The main purpose of this paper is to prove the following theorem on the defect relations for ample divisors of abelian varieties. Main Theorem. Let $A$ be an abelian variety of complex dimension $n$ and $D$ be an ample divisor in $A$. Let $f:{\bf C}\rightarrow A$ be a holomorphic map. Then the defect for the map $f$ and the divisor $D$ is zero. Corollary to Main Theorem. The complement of an ample divisor $D$ in an abelian variety $A$ is hyperbolic in the sense that there is no nonconstant holomorphic map from $\bf C$ to $A-D$.


title: Hyperbolic Reinhardt Domains in C^2 with Noncompact Automorphism Group

abstract: We give an explicit description of hyperbolic Reinhardt domains D in C^2 such that: (i) D has C^k-smooth boundary for some k greater than or equal to 1, (ii) D intersects at least one of the coordinate complex lines $\{z_1=0\}$, $\{z_2=0\}$, and (iii) D has noncompact automorphism group. We also give an example that explains why such a setting is natural for the case of hyperbolic domains and an example that indicates that the situation in C^n for n greater than or equal to 3 is essentially more complicated than that in C^2.


title: Sharper changes in topologies

abstract: Becker and Kechris showed that if a Polish group G acts continuously on a Polish space X, then for any invariant Borel set B we can change the topology on X so that B becomes open, the Borel structure is preserved, and the action continues to be continuous. In this brief paper a short proof is presented for their theorem. The method also gives optimal bounds in terms of minimizing the change to the original topology.


title: Some applications of the ultrapower theorem to the theory of compacta

abstract: The ultrapower theorem of Keisler-Shelah allows such model-theoretic notions as elementary equivalence, elementary embedding and existential embedding to be couched in the language of categories (limits, morphism diagrams). This in turn allows analogs of these (and related) notions to be transported into unusual settings, chiefly those of Banach spaces and of compacta. Our interest here is the enrichment of the theory of compacta, especially the theory of continua, brought about by the immigration of model-theoretic ideas and techniques.


title: On disjoint Borel uniformizations

abstract: Larman showed that any closed subset of the plane with uncountable vertical cross-sections has aleph_1 disjoint Borel uniformizing sets. Here we show that Larman's result is best possible: there exist closed sets with uncountable cross-sections which do not have more than aleph_1 disjoint Borel uniformizations, even if the continuum is much larger than aleph_1. This negatively answers some questions of Mauldin. The proof is based on a result of Stern, stating that certain Borel sets cannot be written as a small union of low-level Borel sets. The proof of the latter result uses Steel's method of forcing with tagged trees; a full presentation of this method, written in terms of Baire category rather than forcing, is given here.


title: Positive definite distributions and subspaces of $L_{-p}$ with applications to stable processes

abstract: We define embedding of an $n$-dimensional normed space into $L_{-p},\ 0<p<n$ by extending analytically with respect to $p$ the corresponding property of the classical $L_p$-spaces. The well-known connection between embeddings into $L_p$ and positive definite functions is extended to the case of negative $p$ by showing that a normed space embeds in $L_{-p}$ if and only if $\|x\|^{-p}$ is a positive definite distribution. Using this criterion, we generalize the recent solutions to the 1938 Schoenberg's problems by proving that the spaces $\ell_q^n,\ 2<q\le \infty$ embed in $L_{-p}$ if and only if $p\in [n-3,n).$ We show that the technique of embedding in $L_{-p}$ can be applied to stable processes in some situations where standard methods do not work. As an example, we prove inequalities of correlation type for the expectations of norms of stable vectors. In particular, for every $p\in [n-3,n),$ $\Bbb E(\max_{i=1,...,n} |X_i|^{-p}) \ge \Bbb E(\max_{i=1,...,n} |Y_i|^{-p}),$ where $X_1,...,X_n$ and $Y_1,...,Y_n$ are jointly $q$-stable symmetric random variables, $0<q\le 2,$ so that, for some $k\in \Bbb N,\ 1\le k <n,$ the vectors $(X_1,...,X_k)$ and $(X_{k+1},...,X_n)$ have the same distributions as $(Y_1,...,Y_k)$ and $(Y_{k+1},...,Y_n),$ respectively, but $Y_i$ and $Y_j$ are independent for every choice of $1\le i\le k,\ k+1\le j\le n.$


title: On wide-$(s)$ sequences and their applications to certain classes of operators

abstract: A basic sequence in a Banach space is called wide-$(s)$ if it is bounded and dominates the summing basis. (Wide-$(s)$ sequences were originally introduced by I.~Singer, who termed them $P^*$-sequences). These sequences and their quantified versions, termed $\lambda$-wide-$(s)$ sequences, are used to characterize various classes of operators between Banach spaces, such as the weakly compact, Tauberian, and super-Tauberian operators, as well as a new intermediate class introduced here, the strongly Tauberian operators. This is a nonlocalizable class which nevertheless forms an open semigroup and is closed under natural operations such as taking double adjoints. It is proved for example that an operator is non-weakly compact iff for every $\varepsilon >0$, it maps some $(1+\varepsilon)$-wide-$(s)$-sequence to a wide-$(s)$ sequence. This yields the quantitative triangular arrays result characterizing reflexivity, due to R.C.~James. It is shown that an operator is non-Tauberian (resp. non-strongly Tauberian) iff for every $\varepsilon>0$, it maps some $(1+\varepsilon)$-wide-$(s)$ sequence into a norm-convergent sequence (resp. a sequence whose image has diameter less than $\varepsilon$). This is applied to obtain a direct ``finite'' characterization of super-Tauberian operators, as well as the following characterization, which strengthens a recent result of M.~Gonz\'alez and A.~Mart{\'\i}nez-Abej\'on: An operator is non-super-Tauberian iff there are for every $\varepsilon>0$, finite $(1+\varepsilon)$-wide-$(s)$ sequences of arbitrary length whose images have norm at most $\varepsilon$.


title: Uniqueness of unconditional bases in Banach spaces

abstract: We prove a general result on complemented unconditional basic sequences in Banach lattices and apply it to give some new examples of spaces with unique unconditional basis. We show that Tsirelson space and certain Nakano spaces have the unique unconditional bases. We also construct an example of a space with a unique unconditional basis with a complemented subspace failing to have a unique unconditional basis.


title: Kernels of surjections from ${\cal L}_1$-spaces with an application to Sidon sets

abstract: If $Q$ is a surjection from $L^1(\mu)$, $\mu$ $\sigma$-finite, onto a Banach space containing $c_0$ then (*) $\ker Q$ is uncomplemented in its second dual. If $Q$ is a surjection from an ${\cal L}_1$-space onto a Banach space containing uniformly $\ell_n^\infty$ ($n=1,2,\dots$) then (**) there exists a bounded linear operator from $\ker Q$ into a Hilbert space which is not 2-absolutely summing. Let $S$ be an infinite Sidon set in the dual group $\Gamma$ of a compact abelian group $G$. Then $L^1_{\tilde{S}}(G)=\{f\in L^1(G): \hat{f}(\gamma)=0$ for $\gamma\in S\}$ satisfies (*) and (**) hence $L^1_{\tilde{S}}(G)$ is not an ${\cal L}_1$-space and is not isomorphic to a Banach lattice.


title: Compact subsets of $\Ps(\N)$ with applications to the embedding of symmetric sequence spaces into $C(\alpha)$

abstract: Let $\Ps(\N)$ be the set of all finite subsets of $\N$, endowed with the product topology. A description of the compact subsets of $\Ps(\N)$ is given. Two applications of this result to Banach space theory are shown : (1) a characterization of the symmetric sequence spaces which embed into $C(\om^\om)$, and (2) a characterization, in terms of the Orlicz function $M$, of the Orlicz sequence spaces $h_M$ which embed into $C(K)$ for some countable compact Hausdorff space $K$.


title: A counterexample to a question of Haydon, Odell and Rosenthal

abstract: We give an example of a compact metric space $K$, an open dense subset $U$ of $K$, and a sequence $(f_n)$ in $C(K)$ which is pointwise convergent to a non-continuous function on $K$, such that for every $u \in U$ there exists $n \in \N$ with $f_n(u)=f_m(u)$ for all $m \geq n$, yet $(f_n)$ is equivalent to the unit vector basis of the James quasi-reflexive space of order 1. Thus $c_0$ does not embed isomorphically in the closed linear span $[f_n]$ of $(f_n)$. This answers in negative a question asked by H. Haydon, E. Odell and H. Rosenthal.


title: A subsequence characterization of sequences spanning isomorphically polyhedral Banach spaces

abstract: Let $(x_n)$ be a sequence in a Banach space $X$ which does not converge in norm, and let $E$ be an isomorphically precisely norming set for $X$ such that \[ \sum_n |x^*(x_{n+1}-x_n)|< \infty, \; \forall x^* \in E. \qquad (*) \] Then there exists a subsequence of $(x_n)$ which spans an isomorphically polyhedral Banach space. It follows immediately from results of V. Fonf that the converse is also true: If a separable Banach space $Y$ is a separable isomorphically polyhedral then there exists a non norm convergent sequence $(x_n)$ which spans $Y$ and there exists an isomorphically precisely norming set $E$ for $Y$ such that $(*)$ is satisfied. As an application of this subsequence characterization of sequences spanning isomorphically polyhedral Banach spaces we obtain a strengthening of a result of J. Elton, and an Orlicz-Pettis type result.


title: Operators on $C(\omega^\alpha)$ which do not preserve $C(\omega^\alpha)$

abstract: It is shown that if $\alpha ,\zeta $ are ordinals such that $1\leq \zeta <\alpha <\zeta \omega ,$ then there is an operator from $C(\omega ^{\omega ^\alpha })$ onto itself such that if $Y$ is a subspace of $C(\omega ^{\omega ^\alpha })$ which is isomorphic to $C(\omega ^{\omega ^\alpha })$ $,$ then the operator is not an isomorphism on $Y.$ This contrasts with a result of J. Bourgain that implies that there are uncountably many ordinals $\alpha $ for which any operator from $C(\omega ^{\omega ^\alpha })$ onto itself there is a subspace of $C(\omega ^{\omega ^\alpha })$ which is isomorphic to $% C(\omega ^{\omega ^\alpha })$ on which the operator is an isomorphism.


title: Preservation of the absolutely continuous spectrum of Schr\"odinger equation under perturbations by slowly decreasing potentials and a.e. convergence of integral operators

abstract: We prove new criteria of stability of the absolutely continuous spectrum of one-dimensional Schr\"odinger operators under slowly decaying perturbations. As applications, we show that the absolutely continuous spectrum of the free and periodic Schr\"odinger operators is preserved under perturbations by all potentials $V(x)$ satisfying $|V(x)| \leq C(1+x)^{-\frac{2}{3}-\epsilon}.$ The main new technique includes an a.e.\ convergence theorem for a class of integral operators.


title: An interpolation theorem related to the a.e. convergence of integral operators

abstract: We show that for integral operators of general form the norm bounds in Lorentz spaces imply certain norm bounds for the maximal function. As a consequence, the a.e. convergence for the integral operators on the Lorentz spaces follows from the appropriate norm estimates.


title: Certain Applications of the Burnside Rings and Ghost Rings in the Representation Theory of Finite Groups (II)

abstract: Using the Burnside ring theoretic methods a new setting and a complete description of the Artin exponent $A(G)$ of finite $p$-groups was obtained in a previous article of the first-named author. In this paper, we compute $A(G)$ for any finite group $G$ -- hence providing the global version of that result.


title: Ideals without ccc

abstract: Let I be an ideal of subsets of a Polish space X, containing all singletons and possessing a Borel basis. Assuming that I does not satisfy ccc, we consider the following conditions (B), (M) and (D). Condition (B) states that there is a disjoint family F subseteq P(X) of size c, consisting of Borel sets which are not in I. Condition (M) states that there is a function f:X-> X with f^{-1}[{x}] notin I for each x in X. Provided that X is a group and I is invariant, condition (D) states that there exist a Borel set B notin I and a perfect set P subseteq X for which the family {B+x: x in P} is disjoint. The aim of the paper is to study whether the reverse implications in the chain (D) => (M) => (B) => not-ccc can hold. We build a sigma-ideal on the Cantor group witnessing''(M) and not (D)'' (Section 2). A modified version of that sigma-ideal contains the whole space (Section 3). Some consistency results deriving (M) from (B) for''nicely'' defined ideals are established (Section 4). We show that both ccc and (M) can fail (Theorems 1.3 and 4.2). Finally, some sharp versions of (M) for invariant ideals on Polish groups are investigated (Section 5).


title: Homeomorphisms of 3-manifolds and the realization of Nielsen Number

abstract: The Nielsen Conjecture for Homeomorphisms asserts that any homeomorphism $f$ of a closed manifold is isotopic to a map realizing the Nielsen number of $f$, which is a lower bound for the number of fixed points among all maps homotopic to $f$. The main theorem of this paper proves this conjecture for all orientation preserving maps on geometric or Haken 3-manifolds. It will also be shown that on many manifolds all maps are isotopic to fixed point free maps. The proof is based on the understanding of homeomorphisms on 2-orbifolds and 3-manifolds. Thurston's classification of surface homeomorphisms will be generalized to 2-dimensional orbifolds, which is used to study fiber preserving maps of Seifert fiber spaces. Maps on most Seifert fiber spaces are indeed isotopic to fiber preserving maps, with the exception of four manifolds and orientation reversing maps on lens spaces or $S^3$. It will also be determined exactly which manifolds have a unique Seifert fibration up to isotopy. These informations will be used to deform a map to certain standard map on each piece of the JSJ decomposition, as well as on the neighborhood of the decomposition tori, which will make it possible to shrink each fixed point class to a single point, and remove inessential fixed point classes.


title: Extensions and Corrections for: ``A Convex Geometric Approach to Counting the Roots of a Polynomial System''

abstract: This brief note corrects some errors in the paper quoted in the title, highlights a combinatorial result which may have been overlooked, and points to further improvements in recent literature.


title: Universal models for Lorenz maps

abstract: The existence of smooth families of Lorenz maps exhibiting all possible dynamical behavior is established and the structure of the parameter space of these families is described.


title: Counting geodesics on a Riemannian manifold and topological entropy of geodesic flows

abstract: Let $M$ be a compact $C^{\infty}$ Riemannian manifold. Given $p$ and $q$ in $M$ and $T>0$, define $n_{T}(p,q)$ as the number of geodesic segments joining $p$ and $q$ with length $\leq T$. Ma\~n\'e showed that the exponential growth rate of the integral of $n_{T}(p,q)$ over $M \times M$ is the topological entropy of the geodesic flow of $M$. In the present paper we exhibit an open set of metrics on the two-sphere for which the exponential growth rate of $n_{T}(p,q$ is less than the topological entropy of the geodesic flow for a positive measure set of $(p,q)\in M\times M$. This answers in the negative questions raised by Ma\~n\'e.


title: Hankel Multipliers And Transplantation Operators

abstract: Connections between Hankel transforms of different order for $L^p$-functions are examined. Well known are the results of Guy [Guy] and Schindler [Sch]. Further relations result from projection formulae for Bessel functions of different order. Consequences for Hankel multipliers are exhibited and implications for radial Fourier multipliers on Euclidean spaces of different dimensions indicated.


title: Asymptotics and numerics of zeros of polynomials that are related to Daubechies wavelets

abstract: We give asymptotic approximations of the zeros of certain high degree polynomials. The zeros can be used to compute the filter coefficients in the dilation equations which define the compactly supported orthogonal Daubechies wavelets. Computational schemes are presented to obtain the numerical values of the zeros within high precision.


title: Further cardinal arithmetic

abstract: We continue the investigations in the author's book on cardinal arithmetic, assuming some knowledge of it. We deal with the cofinality of (S_{<= aleph_0}(kappa), subseteq) for kappa real valued measurable (Section 3), densities of box products (Section 5,3), prove the equality cov(lambda, lambda, theta^+,2)=pp(lambda) in more cases even when cf(lambda)= aleph_0 (Section 1), deal with bounds of pp(lambda) for lambda limit of inaccessible (Section 4) and give proofs to various claims I was sure I had already written but did not find (Section 6).


title: Subalgebras of Cohen algebras need not be Cohen

abstract: We give an example of a regular and complete subalgebra of a Cohen algebra which is not Cohen.


title: p-adic measures and square roots of triple product L-functions

abstract: Let p be a prime number, and let f, g, and h be three modular forms of weights $\kappa$, $\lambda$, and $\mu$ for $SL(2,\Bbb{Z})$. We suppose $\kappa \geq \lambda + \mu$. In joint work with Kudla, one of the authors obtained a formula for the normalized {\it square root} of the value at $s = {1/2}(\kappa + \lambda + \mu - 2)$ (the {\it central critical value}) of the triple product $L(s,f,g,h)$. We apply this formula, letting $f$ (and thus $\kappa$) vary in a $p$-adic analytic family ${\bold f}$ of ordinary modular forms (a Hida family). By modifying Hida's construction of the $p$-adic Rankin-Selberg convolution, we obtain a generalized $p$-adic measure whose associated analytic function gives a $p$-adic interpolation of the square roots of the central critical values of $L(s,f,g,h)$, normalized by certain universal correction factors. The archimedean correction factor is not determined explicitly. This is an example of what appears to be a very general phenomenon of $p$-adic interpolation of normalized square roots of $L$-functions along the so-called "anti-cyclotomic hyperplane." We note that the $p$-adic triple product itself has not been constructed in the half-space $\kappa \geq \lambda + \mu$.


title: The involutive structure on the blow-up of R^n in C^n

abstract: We investigate the natural involutive structure on the blow-up of ${\Bbb R}^n$ in ${\Bbb C}^n$ extending the complex structure on the complement of the exceptional hypersurface. Our main result is that this structure is hypocomplex, meaning that any solution is locally a holomorphic function of a basic set of independent solutions. We show this by an elementary power series argument but note that the result is essentially equivalent to the Edge of the Wedge Theorem. In particular, we obtain a relatively simple new proof of this classical theorem.


title: Application of the Complex Monge-Ampere equation to the study of proper holomorphic mappings of strictly pseudoconvex domains

abstract: We construct a special plurisubharmonic defining function for a smoothly bounded strictly pseudoconvex domain so that the determinant of the complex Hessian vanishes to high order on the boundary. This construction, coupled with regularity of solutions of complex Monge-Ampere equation and the reflection principle, enables us to give a new proof of the Fefferman mapping theorem.


title: Small cancellation groups and translation numbers

abstract: In this paper we prove that C(4)-T(4)-P, C(3)-T(6)-P and C(6)-P small cancellation groups are translation dis crete in the strongest possible sense and that in these groups for any $g$ and any $n$ there is an algorithm deciding whether or not the equation $ x^n=g$ has a solution. There is also an algorithm for calculating for each $g$ the maximum $n$ such that $g$ is an $n$-th power of some element. We also note that these groups cannot contain isomorphic copies of the gr oup of $p$-adic fractions and so in particular of the group of rational numbers. Besides we show that for C''(4)-T(4) and C''(3)-T(6) groups all translation numbers are rational and have bounded denominators.


title: Some non-finitely presented Lie Algebras

abstract: Let $L$ be a free Lie algebra over a field $k$, $I$ a non-trivial proper ideal of $L$, $n>1$ an integer. The multiplicator $H_2(L/I^n,k)$ of $L/I^n$ is not finitely generated, and so in particular, $L/I^n$ is not finitely presented, even when $L/I$ is finite dimensional.


title: Rewriting Systems and Geometric 3-Manifolds

abstract: The fundamental groups of most (conjecturally, all) closed 3-manifolds with uniform geometries have finite complete rewriting systems. The fundamental groups of a large class of amalgams of circle bundles also have finite complete rewriting systems. The general case remains open.


title: Pascal's Triangles in Abelian and Hyperbolic Groups

abstract: Pascal's triangle will give the number of geodesics from the identity to each point of ${\bf Z}^2$ if you write it in each of the quadrants. Given a group $G$ and generating set $\cal G$ we take the {\it Pascal's function} $p_{\cal G}: G \to {\bf Z}_{\ge 0}$ to be the function which assigns to each $g\in G$ the number of geodesics from $1$ to $g$. We give a general method for calculating this in hyperbolic groups and discuss the generic case in abelian groups.


title: Orbit cardinalities

abstract: This paper considers "definable cardinalities" arising from Polish group actions. The first part of the paper answers a question of Becker-Kechris by showing that under suitable determinacy assumptions in ZF+DC, every action by a Polish group on a metric space is either as complicated as the Vitali equivalence relation or no more complicated than the equality relation on bounded subsets of \aleph_1. The same argument shows that if hereditarily wellorderabel sets can be used as complete invariants, then elements in HC will do. The second half gives a new proof of Howard Becker's recent theorem that Vaught's conjecture holds for groups with a left invariant complete metric. The proof also serves to show that Vaught's conjecture holds for such groups on \Sigma^1_1 sets (in ZFC) and "reasonably definable" sets under large cardinal assumptions.


title: Heights of Models of $ZFC$ and the Existence of End Elementary Extensions

abstract: The existence of End Elementary Extensions of models M of ZFC is related to the ordinal height of M, according to classical results due to Keisler, Morley and Silver. In this paper, we further investigate the connection between the height of M and the existence of End Elementary Extensions of M. In particular, we prove that the theory `ZFC + GCH + there exist measurable cardinals + all inaccessible non weakly compact cardinals are possible heights of models with no End Elementary Extensions' is consistent relative to the theory `ZFC + GCH + there exist measurable cardinals + the weakly compact cardinals are cofinal in ON'. We also provide a simpler coding that destroys GCH but otherwise yields the same result.


title: Chains of End Elementary Extensions of Models of Set Theory

abstract: Large cardinals arising from the existence of arbitrarily long end elementary extension chains over models of set theory are studied here. In particular, we show that the large cardinals obtained that way (`Unfoldable cardinals') behave as a `boundary' between properties consistent with `V=L' and existence of indiscernibles. We also provide an `embedding characterisation' of the unfoldable cardinals and study their preservation and destruction by various different forcings.


title: On the cofinality of ultrapowers

abstract: All ultrafilters under consideration here are non-principal ultrafilters on the set omega of natural numbers. We are concerned with the possible cofinalities of ultrapowers of omega with respect to such ultrafilters. We show that no cardinal below the groupwise density number g can occur as such a cofinality and that at most one cardinal below the splitting number s can so occur. The proof for s, when combined with a result of Nyikos, gives the additional information that all P_{kappa}-point ultrafilters, for kappa greater than the bounding number b, are nearly coherent.


title: $\overline{\partial}$-Neumann Problem in the Sobolev Topology

abstract: We study the $\overline{\partial}$-Neumann problem using the Sobolev space inner product. We show that the problem can be solved on any smoothly bounded, pseudoconvex domain. We further formulate estimates and the basic results of a Sobolev Hodge theory.


title: Some definition of the Artin exponent of finite groups

abstract: The Artin exponent induced from cyclic subgroups of finite groups was studied extensively by T.Y. Lam. A Burnside ring theoretic version of Lam's results for $p$-groups was given by the author in an earlier paper. Here we look at the Artin exponent induced from the elementary abelian subgroups of finite $p$-groups using some results of A. Dress.


title: Mixing Mathematics and Materials

abstract: Recent uses of differential geometry in materials science are reviewed here, in particular the September issue of the Phil. Trans. Royal Soc., entitled ``Curvature and chemical Structure.''