title: Relative cohomology of Banach algebras

abstract: Let $A$ be a Banach algebra, not necessarily unital, and let $B$ be a closed subalgebra of $A$. We establish a connection between the Banach cyclic cohomology group $ {\cal{HC}}^n(A)$ of $A$ and the Banach $B$-relative cyclic cohomology group $ {\cal{HC}}^n_B(A) $ of $A$. We prove that, for a Banach algebra $A$ with a bounded approximate identity and an amenable closed subalgebra $B$ of $A$, up to topological isomorphism, ${\cal{HC}}^n(A) = {\cal{HC}}^n_B(A) $ for all $n \ge 0$. We also establish a connection between the Banach simplicial or cyclic cohomology groups of $A$ and those of the quotient algebra $A/I$ by an amenable closed bi-ideal $I$. The results are applied to the calculation of these groups for certain operator algebras, including von Neumann algebras.


title: A Hilbert space of Dirichlet series and systems of dilated functions in $L^2(0,1)$

abstract: For a function $\varphi$ in $L^2(0,1)$, extended to the whole real line as an odd periodic function of period 2, we ask when the collection of dilates $\varphi(nx)$, $n=1,2,3,\ldots$, constitutes a Riesz basis or a complete sequence in $L^2(0,1)$. The problem translates into a question concerning multipliers and cyclic vectors in the Hilbert space $\cal H$ of Dirichlet series $f(s)=\sum_n a_nn^{-s}$, where the coefficients $a_n$ are square summable. It proves useful to model $\cal H$ as the $H^2$ space of the infinite-dimensional polydisk, or, which is the same, the $H^2$ space of the character space, where a character is a multiplicative homomorphism from the positive integers to the unit circle. For given $f$ in $\cal H$ and characters $\chi$, $f_\chi(s)=\sum_na_n\chi(n)n^{-s}$ is a vertical limit function of $f$. We study certain probabilistic properties of these vertical limit functions.


title: Two Distinguished Subspaces of Product BMO and the Nehari--AAK Theory for Hankel Operators on the Torus

abstract: In this paper we show that the theory of Hankel operators in the torus $\T^d$, for $d > 1$, presents striking differences with that on the circle $\T$, starting with bounded Hankel operators with no bounded symbols. Such differences are circumvented here by replacing the space of symbols $L^\infty (\T)$ by BMOr$(\T^d)$, a subspace of product BMO, and the singular numbers of Hankel operators by so-called sigma numbers. This leads to versions of the Nehari--AAK and Kronecker theorems, and provides conditions for the existence of solutions of product Pick problems through finite Pick-type matrices. We give geometric and duality characterizations of BMOr, and of a subspace of it, bmo, closely linked with $A_2$ weights. This completes some aspects of the theory of BMO in product spaces.


title: Regularity of Holomorphic Correspondences and Applications to the Mapping Problems

abstract: We study the regularity results of holomorphic correspondences. As an application, we combine it with certain recently developed methods to obtain the extension theorem for proper holomorphic mappings between domains with real analytic boundaries in the complex 2-space.


title: Some conditions on Douglas algebras that imply the invariance of the minimal envelope map

abstract: We give several conditions on certain families of Douglas algebras that imply that the minimal envelope of the given algebra is the algebra itself. We also prove that the minimal envelope of the intersection of two Douglas algebras is the intersection of their minimal envelope.


title: Local Solvability For a Class of Partial Differential Operators With Double Characteristics

abstract: A necessary and sufficient condition for local solvability is presented for the linear partial differential operators $-X^2-Y^2+ia(x)[X,Y]$ in $\bold R^3=\{(x,y,t)\}$, where $X=\partial_x,\; Y=\partial_y+x^k\partial_t$, and $a\in C^{\infty}(\bold R^1)$ is real valued, for each positive integer $k$.


title: Global Irregularity For Degenerate Elliptic Operators

abstract: Examples are given of degenerate elliptic operators on smooth, compact manifolds that are not globally regular in $C^\infty$. These operators degenerate only in a rather mild fashion. Certain weak regularity results are proved, and an interpretation of global irregularity in terms of the associated heat semigroup is given.


title: The Complete Classification of Rational Preperiodic Points of Quadratic Polynomials over Q: A Refined Conjecture

abstract: We classify the graphs that can occur as the graph of rational preperiodic points of a quadratic polynomial over $\bold Q$, assuming the conjecture that it is impossible to have rational points of period $4$ or higher. In particular, we show under this assumption that the number of preperiodic points is at most~$9$. Elliptic curves of small conductor and the genus~$2$ modular curves $X_1(13)$, $X_1(16)$, and $X_1(18)$ all arise as curves classifying quadratic polynomials with various combinations of preperiodic points. To complete the classification, we compute the rational points on a non-modular genus~$2$ curve by performing a $2$-descent on its Jacobian and afterwards applying a variant of the method of Chabauty and Coleman.


title: Infinite dimensional families of locally nonsolvable partial differential operators

abstract: Local solvability is analyzed for natural families of partial differential operators having double characteristics. In some families the set of all operators that are not locally solvable is shown to have both infinite dimension and infinite codimension.


title: Reducing essential eigenvalues in the boundary of the numerical range

abstract: We examine a purely geometric property of a point in the boundary of the numerical range of a (Hilbert space) operator that implies that such a point is a reducing essential eigenvalue of the given operator. Roughly speaking, such a property means that the boundary curve of the numerical range has infinite curvature at that point (we must exclude however linear verteces because they may be reducing eigenvalues without being reducing essential eigenvalues). This result allows us to give an elegant proof of a conjecture of Joel Anderson: {\it A compact perturbation of a scalar multiple of the identity operator can not have the closure of its numerical range equal to half a disk (neither equal to any acute circular sector).}


title: Algebras associated with Blaschke products of type {\it G}

abstract: Let $\Omega$ and $\Omega_{\fin}$ be the sets of all interpolating Blaschke products of type $G$ and of finite type $G$, respectively. Let $E$ and $E_{\fin}$ be the Douglas algebras generated by $H^\infty$ together with the complex conjugates of elements of $\Omega$ and $\Omega_{\fin}$, respectively. We show that the set of all invertible inner functions in $E$ is the set of all finite products of elements of $\Omega$ , which is also the closure of $\Omega$ among the Blaschke products. Consequently, finite convex combinations of finite products of elements of $\Omega$ are dense in the closed unit ball of the subalgebra of $H^\infty$ generated by $\Omega$. The same results hold when we replace $\Omega$ by $\Omega_{\fin}$ and $E$ by $E_{\fin}$.


title: Surgery on postcritically finite rational maps by blowing up an arc

abstract: Using Thurston's characterization of postcritically finite rational functions as branched coverings of the sphere to itself, we give a new method of constructing new conformal dynamical systems out of old ones. Let $f(z)$ be a rational map and suppose that the postcritical set $P(f)$ is finite. Let $\alpha$ be an embedded closed arc in the sphere and suppose that $f|{\alpha}$ is a homeomorphism. Define a branched covering $g$ as follows. Cut the sphere open along $\alpha$. Glue in a closed disc $D$. Map $S^{2} - \Int (D)$ via $f$ and $\Int (D)$ by a homeomorphism to the complement of $f(\alpha)$. We prove theorems which give combinatorial conditions on $f$ and $\alpha$ for $g$ to be equivalent in the sense of Thurston to a rational map. The main idea in our proofs is a general theorem which forces a possible obstruction for $g$ away from the disc $D$ on which the new dynamics is defined.


title: Extremal solutions of the two-dimensional $L$-problem of moments, II

abstract: All extremal solutions of the truncated $L$-problem of moments in two real variables , with support contained in a given compact set, are described as characteristic functions of semi-algebraic sets given by a single polynomial inequality. An exponential kernel, arising as the determinantal function of a naturally associated hyponormal operator with rank-one self-commutator, provides a natural defining function for these semi-algebraic sets. We find an intrinsic characterization of this kernel and we describe a series of analytic continuation properties of it which are closely related to the behaviour of the Schwarz reflection function in portions of the boundary of the extremal supporting set.


title: Approximation by analytic matrix functions. The four block problem

abstract: We study the problem of finding a superoptimal solution to the four block problem. Given a bounded block matrix function $\left(\begin{array}{cc}\Phi_{11} &\Phi_{12}\\\Phi_{21}&\Phi_{22}\end{array}\right)$ on the unit circle the four block problem is to minimize the $L^\infty$ norm of $\left(\begin{array}{cc} \Phi_{11}-F&\Phi_{12}\\\Phi_{21}&\Phi_{22}\end{array}\right)$ over $F\in H^\infty$. Such a minimizing $F$ (an optimal solution) is almost never unique. We consider the problem to find a superoptimal solution which minimizes not only the supremum of the matrix norms but also the suprema of all further singular values. We give a natural condition under which the superoptimal solution is unique.


title: An Explicit Formula for the Number of Solutions of X^2=0 in Triangular Matrices over a Finite Field

abstract: We prove an explicit formula for the number of $n \times n$ upper triangular matrices, over $GF(q)$, whose square is the zero matrix. This formula was recently conjectured by Sasha Kirillov and Anna Melnikov[KM].


title: Some remarks on the construction of quantum symmetric spaces

abstract: We present a general survey of some recent developments regarding the construction of compact quantum symmetric spaces and the analysis of their zonal spherical functions in terms of $q$-orthogonal polynomials. In particular, we define a one-parameter family of two-sided coideals in $\Uq(\gog\gol(n,\CC))$ and express the zonal spherical functions on the corresponding quantum projective spaces as Askey-Wilson polynomials containing two continuous and one discrete parameter.


title: Menas' result is best possible

abstract: Generalizing some earlier techniques due to the second author, we show that Menas' theorem which states that the least cardinal kappa which is a measurable limit of supercompact or strongly compact cardinals is strongly compact but not 2^kappa supercompact is best possible. Using these same techniques, we also extend and give a new proof of a theorem of Woodin and extend and give a new proof of an unpublished theorem due to the first author.


title: Set theory without choice: not everything on cofinality is possible

abstract: We prove (ZF+DC) e.g. : if mu =|H(mu)| then mu^+ is regular non measurable. This is in contrast with the results for mu = aleph_{omega} on measurability see Apter Magidor [ApMg]


title: In the random graph G(n,p),p=n^{-a} : if psi has probability 0(n^{-epsilon}) for every epsilon > 0 then it has probability 0(e^{-n^epsilon}) for some epsilon > 0

abstract: Shelah Spencer [ShSp:304] proved the 0-1 law for the random graphs G(n,p_n), p_n=n^{- alpha}, alpha in (0,1) irrational (set of nodes in [n]= {1, ...,n}, the edges are drawn independently, probability of edge is p_n). One may wonder what can we say on sentences psi for which Prob (G(n,p_n) models psi) converge to zero, Lynch asked the question and did the analysis, getting (for every psi): EITHER [(alpha)] Prob [G(n,p_n) models psi]=cn^{- beta} + O(n^{- beta-epsilon}) for some epsilon such that beta >epsilon>0 OR [(beta)] Prob (G(n,p_n) models psi)= O(n^{-epsilon}) for every epsilon>0. Lynch conjectured that in case (beta) we have [(beta^+)] Prob (G(n,p_n) models psi)= O(e^{-n^epsilon}) for some epsilon>0. We prove it here.


title: Dynamics of quadratic polynomials II: rigidity

abstract: This is a continuation of the series of notes on the dynamics of quadratic polynomials. We show the following Rigidity Theorem: Any combinatorial class contains at most one quadratic polynomial satisfying the secondary limbs condition with a-priori bounds. As a corollary, such maps are combinatorially and topologically rigid, and as a consequence, the Mandelbrot set is locally connected at the correspoinding parameter values.


title: On the inversion of $y^\alpha e^y$ in terms of associated Stirling numbers

abstract: The function $y=\Phi_\alpha(x)$, the solution of $y^\alpha e^y=x$ for $x$ and $y$ large enough, has a series expansion in terms of $\ln x$ and $\ln\ln x$, with coefficients given in terms of Stirling cycle numbers. It is shown that this expansion converges for $x>(\alpha e)^\alpha$ for $\alpha \ge 1$. It is also shown that new expansions can be obtained for $\Phi_\alpha$ in terms of associated Stirling numbers. The new expansions converge more rapidly and on a larger domain.


title: Commensurators of parabolic subgroups of Coxeter groups

abstract: Let $(W,S)$ be a Coxeter system, and let $X$ be a subset of $S$. The subgroup of $W$ generated by $X$ is denoted by $W_X$ and is called a parabolic subgroup. We give the precise definition of the commensurator of a subgroup in a group. In particular, the commensurator of $W_X$ in $W$ is the subgroup of $w$ in $W$ such that $wW_Xw^{-1}\cap W_X$ has finite index in both $W_X$ and $wW_Xw^{-1}$. The subgroup $W_X$ can be decomposed in the form $W_X = W_{X^0} \cdot W_{X^\infty} \simeq W_{X^0} \times W_{X^\infty}$ where $W_{X^0}$ is finite and all the irreducible components of $W_{X^\infty}$" > are infinite. Let $Y^\infty$ be the set of $t$ in $S$ such that $m_{s,t}=2$" > for all $s\in X^\infty$. We prove that the commensurator of $W_X$ is $W_{Y^\infty} \cdot W_{X^\infty} \simeq W_{Y^\infty} \times W_{X^\infty}$. In particular, the commensurator of a parabolic subgroup is a parabolic subgroup, and $W_X$ is its own commensurator if and only if $X^0=Y^\infty$.


title: Subgroups of SO(3) Associated with Tilings

abstract: We give a thorough analysis of those subgroups of SO(3) generated by rotations about perpendicular axes by 2\pi/p and 2\pi/q. A corollary is that such a group is the free product of the cyclic groups of rotations about the separate axes if and only if p,q\ge 3 and are both odd. These groups are naturally associated with a family of hierarchical tilings of Euclidean 3-space.


title: Introduction to mathematical logic - A problem solving course

abstract: This is a set of 288 questions written for a Moore-style course in Mathematical Logic. I have used these (or some variation) four times in a beginning graduate course. Topics covered are: propositional logic axioms of ZFC wellorderings and equivalents of AC ordinal and cardinal arithmetic first order logic, and the compactness theorem Lowenheim-Skolem theorems Turing machines, Church's Thesis completeness theorem and first incompleteness theorem undecidable theories second incompleteness theorem


title: Q.H.I. spaces

abstract: A Banach space $X$ is said to be Q.H.I. if eve\-ry infinite dimensional quo\-tient spa\-ce of $X$ is H.I.: that is, a space is Q.H.I. if the H.I. property is not only stable passing to subspaces, but also passing to quotients and to the dual. We show that Gowers-Maurey's space is Q.H.I.; then we provide an example of a reflexive H.I. space ${\cal X}$ whose dual is not H.I., from which it follows that $\cal X$ is not Q.H.I.


title: Rearrangements of the Haar system which preserve $\BMO$

abstract: In this paper general rearrangements of the Haar system in BMO are considered. Several, necessary and suficient, conditions for the boundednes of the induced permutation operator are given. Using analytic families of operators extensions to the case of $L^p$ are obtained .


title: The Krein spectral shift and rank one perturbations of spectra

abstract: We use recent results on the boundary behavior of Cauchy integrals to study the Krein spectral shift of a rank one perturbation problem for self-adjoint operators. As an application, we prove that all self-adjoint rank one perturbations of a self-adjoint operator are pure point if and only if the spectrum of the operator is countable. We also study pairs of pure point operators unitarily equivalent up to a rank one perturbation and give various examples of rank one perturbations of singular spectra.


title: An Example of a Domain with Non-Compact Automorphism Group

abstract: We give an example of a bounded, pseudoconvex, circular domain in ${\mathbb C}^3$ with smooth, real-analytic boundary and non-compact automorphism group, which is not biholomorphically equivalent to any Reinhardt domain.


title: Hodge theory in the Sobolev topology for the de Rham complex

abstract: The authors study the Hodge theory of the exterior differential operator $d$ acting on $q$-forms on a smoothly bounded domain in $\RR^{N+1}$, and on the half space $\rnp$. The novelty is that the topology used is not an $L^2$ topology but a Sobolev topology. This strikingly alters the problem as compared to the classical setup. It gives rise to a boundary-value problem belonging to a class of problems first introduced by Vi\v{s}ik and Eskin, and by Boutet de Monvel.


title: Elliptic boundary value problems for the inhomogeneous Laplace equation on bounded domains

abstract: Elliptic estimates in Hardy classes are proved on domains with minimally smooth boundary. The methodology is different from the original methods of Chang/Krantz/Stein.


title: Hardy classes, integral operators, and duality on spaces of homogeneous type

abstract: The authors study Hardy spaces, of arbitrary order, on a space of homogeneous type. This extends earlier work that treated only $H^p$ for $p$ near 1. Applications are given to the boundedness of certain singular integral operators, especially on domains in complex space.


title: Unconditional bases of invariant subspaces of a contraction with finite defects

abstract: The main result of the paper is that a system of invariant subspaces of a (completely non-unitary) Hilbert space contraction $T$ with finite defects (rank$(I-T^*T)<\infty$, rank$(I-TT^*)<\infty$) is an unconditional basis (Riesz basis) if and only if it is uniformly minimal. Results of such type are quite well known: for a system of eigenspaces of a contraction with defects $1-1$ it is simply the famous Carleson interpolation theorem. For general invariant subspaces of operators with defects $1-1$ such theorem was proved by V. I. Vasyunin. Then partial results for the case of finite defects were obtained by the author. The present paper solves the problem completely.


title: Lagrangian systems on hyperbolic manifolds

abstract: This paper gives two results that show that the dynamics of a time-periodic Lagrangian system on a hyperbolic manifold are at least as complicated as the geodesic flow of a hyperbolic metric. Given a hyperbolic geodesic in the Poincar\'e ball, Theorem A asserts that there are minimizers of the lift of the Lagrangian system that are a bounded distance away and have a variety of approximate speeds. Theorem B gives the existence of a collection of compact invariant sets of the Euler-Lagrange flow that are semiconjugate to the geodesic flow of a hyperbolic metric. These results can be viewed as a generalization of the Aubry-Mather theory of twist maps and the Hedlund-Morse-Gromov theory of minimal geodesics on closed surfaces and hyperbolic manifolds.


title: Dynamical stability in Lagrangian systems

abstract: This paper surveys various results concerning stability for the dynamics of Lagrangian (or Hamiltonian) systems on compact manifolds. The main, positive results state, roughly, that if the configuration manifold carries a hyperbolic metric, \ie a metric of constant negative curvature, then the dynamics of the geodesic flow persists in the Euler-Lagrange flows of a large class of time-periodic Lagrangian systems. This class contains all time-periodic mechanical systems on such manifolds. Many of the results on Lagrangian systems also hold for twist maps on the cotangent bundle of hyperbolic manifolds. We also present a new stability result for autonomous Lagrangian systems on the two torus which shows, among other things, that there are minimizers of all rotation directions. However, in contrast to the previously known \cite{hedlund} case of just a metric, the result allows the possibility of gaps in the speed spectrum of minimizers. Our negative result is an example of an autonomous mechanical Lagrangian system on the two-torus in which this gap actually occurs. The same system also gives us an example of a Euler-Lagrange minimizer which is not a Jacobi minimizer on its energy level.


title: Teichmuller distance for some polynomial-like maps

abstract: In this work we will show that the Teichm\"{u}ller distance for all elements of a certain class of generalized polynomial-like maps (the class of off-critically hyperbolic generalized polynomial-like maps) is actually a distance, as in the case of real polynomials with connected Julia set, as studied by Sullivan. This class contains several important classes of generalized polynomial-like maps, namely: Yoccoz, Lyubich, Sullivan and Fibonacci. In our proof we can not use external arguments (like external classes). Instead we use hyperbolic sets inside the Julia sets of our maps. Those hyperbolic sets will allow us to use our main analytic tool, namely Sullivan's rigidity Theorem for non-linear analytic hyperbolic systems. Lyubich has constructed a measure of maximal entropy measure $m$ on the Julia set of any rational function $f$. Zdunik classified exactly when the Hausdorff dimension of $m$ equals the Hausdorff dimension of the Julia set. We show that the strict inequality holds if $f$ is off-crititcally hyperbolic, except for Chebyshev polynomials. This result is a particular case of Zdunik's result if we consider $f$ as a polynomial, but is an extension of Zdunik's result if $f$ is a generalized polynomial-like map. The proof follows from the non-existence of invariant affine structure.


title: Ergodic unitarily invariant measures on the space of infinite Hermitian matrices

abstract: Let $H$ be the space of all Hermitian matrices of infinite order and $U(\infty)$ be the inductive limit of the chain $U(1)\subset U(2)\subset...$ of compact unitary groups. The group $U(\infty)$ operates on the space $H$ by conjugations, and our aim is to classify the ergodic $U(\infty)$-invariant probability measures on $H$ by making use of a general asymptotic approach proposed in Vershik's note \cite{V}. The problem is reduced to studying the limit behavior of orbital integrals of the form $$\int_{B\in\Omega_n}e^{i\op{tr}(AB)}M_n(dB),$$ where $A$ is a fixed $\infty\times\infty$ Hermitian matrix with finitely many nonzero entries, $\Omega_n$ is a $U(n)$-orbit in the space of $n\times n$ Hermitian matrices, $M_n$ is the normalized $U(n)$-invariant measure on the orbit $\Omega_n$, and $n\to\infty$. We also present a detailed proof of an ergodic theorem for inductive limits of compact groups that has been announced in \cite{V}.


title: Estimates for Jacobi-Sobolev type orthogonal polynomials

abstract: Let the Sobolev-type inner product <f,g> = \int fg d mu_0+ int f' g' d mu_1 with mu_0 = w + M delta_c, mu_1= N delta_c where w is the Jacobi weight, c is either 1 or -1 and M, N >= 0. We obtain estimates and asymptotic properties on [-1,1] for the polynomials orthonormal with respect to <.,.> and their kernels. We also compare these polynomials with Jacobi orthonormal polynomials.


title: A Truncated Integral of the Poisson Summation Formula

abstract: Let $G$ be a reductive algebraic group defined over $\bQ$, with anisotropic centre. Given a rational action of $G$ on a finite-dimensional vector space $V$, we analyze the truncated integral of the theta series corresponding to a Schwartz-Bruhat function on $V(\bA)$. The Poisson summation formula then yields an identity of distributions on $V(\bA)$. The truncation used is due to Arthur.


title: On Monk's questions

abstract: Monk asks (problems 13, 15 in his list; pi is the algebraic density):''For a Boolean algebra B, aleph_0 <= theta <= pi (B), does B have a subalgebra B' with pi (B')= theta ?'' If theta is regular the answer is easily positive, we show that in general it may be negative, but for quite many singular cardinals - it is positive; the theorems are quite complementary. Next we deal with pi-chi and we show that the pi-chi of an ultraproduct of Boolean algebras is not necessarily the ultraproduct of the pi-chi 's. We also prove that for infinite Boolean algebras A_i (i< kappa) and a non-principal ultrafilter D on kappa : if n_i< aleph_0 for i< kappa and mu = prod_{i< kappa} n_i/D is regular, then pi-chi(A) >= mu. Here A= prod_{i< kappa}A_i/D. By a theorem of Peterson the regularity of mu is needed.


title: Saturated filters at successors of singulars, weak reflection and yet another weak club principle

abstract: Suppose that lambda is the successor of a singular cardinal mu whose cofinality is an uncountable cardinal kappa. We give a sufficient condition that the club filter of lambda concentrating on the points of cofinality kappa is not lambda^+-saturated. The condition is phrased in terms of a notion that we call weak reflection. We discuss various properties of weak reflection


title: Spherical maximal operators on radial functions

abstract: Let $A_tf(x)=\int f(x+ty)d\sigma(y)$ denote the spherical means in $\Bbb R^d$ ($d\sigma$ is surface measure on $S^{d-1}$, normalized to $1$). We prove sharp estimates for the maximal function $M_E f(x)=\sup_{t\in E}|A_tf(x)|$ where $E$ is a fixed set in $\Bbb R^+$ and $f$ is a {\it radial} function $\in L^p(\Bbb R^d)$. Let $p_d=d/(d-1)$ (the critical exponent of Stein's maximal function). For the cases (i) $p<p_d$, $d\ge 2$ and (ii) $p=p_d$, $d\ge 3$, and for $p\le q\le\infty$ we prove necessary and sufficient conditions for $L^p\to L^{p,q}$ boundedness of the operator $M_E$.


title: Jaeger's Higman-Sims state model and the B_2 spider

abstract: Jaeger [Geom. Dedicata 44 (1992), 23-52] discovered a remarkable checkerboard state model based on the Higman-Sims graph that yields a value of the Kauffman polynomial, which is a quantum invariant of links. We present a simple argument that the state model has the desired properties using the combinatorial $B_2$ spider [Comm. Math. Phys. 180 (1996), 109-151].


title: Examples of domains with non-compact automorphism groups

abstract: We give, in dimensions three or greater, an example of a bounded, pseudoconvex, circular domain in complex space with smooth real analytic boundary and non-compact automorphism group which is not biholomorphically equivalent to any Reinhardt domain. We give an analogous example in dimension two, but the domain fails to be smooth at one boundary point---indeed it is not in any Lipschitz class at the exceptional point.


title: On the product property of the pluricomplex Green function

abstract: We prove that the pluricomplex Green function has the product property $g_{D_1\times D_2}=\max\{ g_{D_1},g_{D_2}\}$ for any domains $D_1\subset\Bbb C^n$ and $D_2\subset\Bbb C^m$.


title: Lebesgue numbers and Atsuji spaces in subsystems of second order arithmetic

abstract: We study properties of complete separable metric spaces within the framework of subsystems of second order arithmetic. In particular we consider Lebesgue and Atsuji spaces. The former are those such that every open covering U has a Lebesgue number, i.e. a positive number q such that for every point x of the space, there exists an element of U which contains the ball of center x and radius q; the latter are those such that every continuous function into another complete separable metric space is uniformly continuous. The main results we obtain are the following: the statement "every compact space is Lebesgue" is equivalent to WKL_0; the statements "every perfect Lebesgue space is compact" and "every perfect Atsuji space is compact" are equivalent to ACA_0; the statement "every Lebesgue space is Atsuji" is provable in RCA_0; the statement "every Atsuji space is Lebesgue" is provable in ACA_0, but we do not know if it is equivalent to ACA_0. We also prove that the statement "the distance from a closed set is a continuous function" is equivalent to Pi^1_1-CA_0; the statements "there exists a complete separable metric space which is perfect and Heine-Borel compact (resp. Lebesgue, Atsuji)" are all equivalent to WKL_0.


title: Narrow coverings of omega-product spaces

abstract: Results of Sierpinski and others have shown that certain finite-dimensional product sets can be written as unions of subsets, each of which is "narrow" in a corresponding direction; that is, each line in that direction intersects the subset in a small set. For example, if the set (omega \times omega) is partitioned into two pieces along the diagonal, then one piece meets every horizontal line in a finite set, and the other piece meets each vertical line in a finite set. Such partitions or coverings can exist only when the sets forming the product are of limited size. This paper considers such coverings for products of infinitely many sets (usually a product of omega copies of the same cardinal kappa). In this case, a covering of the product by narrow sets, one for each coordinate direction, will exist no matter how large the factor sets are. But if one restricts the sets used in the covering (for instance, requiring them to be Borel in a product topology), then the existence of narrow coverings is related to a number of large cardinal properties: partition cardinals, the free subset problem, nonregular ultrafilters, and so on. One result given here is a relative consistency proof for a hypothesis used by S. Mrowka to construct a counterexample in the dimension theory of metric spaces.


title: Unions of Rectifiable Curves and the Dimension of Banach Spaces

abstract: To any metric space it is possible to associate the cardinal invariant corresponding to the least number of rectifiable curves in the space whose union is not meagre. It is shown that this invariant can vary with the metric space considered, even when restricted to the class of convex subspaces of separable Banach spaces. As a corollary it is obtained that it is consistent with set theory that that any set of reals of size $\aleph_1$ is meagre yet therer are $\aleph_1$ rectifiable curves in $\Reals^3$ whose union is not meagre. The consistency of this statement when the phrase ``rectifiable curves'' is replaced by ``straight lines'' remains open.


title: A Gaussian Average Property for Banach Spaces

abstract: In this paper we investigate a Gaussian average property of Banach spaces. This property is weaker than the Gordon Lewis property but closely related to this and other unconditional structures. It is also shown that this property implies that certain Hilbert space valued operators defined on subspaces of the given space can be extended.


title: A polynomially bounded operator on Hilbert space which is not similar to a contraction

abstract: Let $\eps >0$. We prove that there exists an operator $T_\eps:\ell_2\to\ell_2$, such that for any polynomial $P$ we have $\|{P(T)}\| \leq(1+\eps)\|{P}\|_\infty$, but which is not similar to a contraction, {\it i.e.} there does not exist an invertible operator $S:\ \ell_2\to\ell_2$ such that $\|{S^{-1}T_\eps S}\|\leq 1$. This answers negatively a question attributed to Halmos after his well known 1970 paper (``Ten problems in Hilbert space").


title: A Representation of Stable Banach Spaces

abstract: We show that any separable stable Banach space can be represented as a group of isometries on a separable reflexive Banach space, which extends a result of S. Guerre and M. Levy. As a consequence, we can then represent homeomorphically its space of types.


title: Analytic hypoellipticity in dimension two

abstract: A simple geometric condition is sufficient for analytic hypoellipticity of sums of squares of two vector fields in ${\mathbb R}^2$. This condition is proved to be necessary for generic vector fields and for various special cases, and to be both necessary and sufficient for a closely related family of operators.


title: Divergence of projective structures and lengths of measured laminations

abstract: Given a complex structure, we investigate diverging sequences of projective structures on the fixed complex structure in terms of Thurston's parametrization. In particular, we will give a geometric proof to the theorem by Kapovich stating that as the projective structures on a fixed complex structure diverge so do their monodromies. In course of arguments, we extend the concept of realization of laminations for PSL$(2,{\mathbf C})$-representations of surface groups.


title: Complex dynamics in several variables

abstract: These notes are the outgrowth of a series of lectures given at MSRI in January 1995 at the beginning of the special semester in complex dynamics and hyperbolic geometry. In these notes, the primary aim is to motivate the study of complex dynamics in two variables and to introduce the major ideas in the field. Hence the treatment of the subject is mostly expository.


title: On local coefficients for non-generic representations of some classical groups

abstract: This paper is concerned with representations of split orthogonal and quasi-split unitary groups over a nonarchimedean local field which are not generic, but which support a unique model of a different kind, the generalized Bessel model. The properties of the Bessel models under induction are studied, and an analogue of Rodier's theorem concerning the induction of Whittaker models is proved for Bessel models which are minimal in a suitable sense. The holomorphicity in the induction parameter of the Bessel functional is established. Last, local coefficients are defined for each irreducible supercuspidal representation which carries a Bessel functional and also for a certain component of each representation parabolically induced from such a supercuspidal.


title: Homogeneous Special Geometry

abstract: Motivated by the physical concept of special geometry two mathematical constructions are studied, which relate real hypersurfaces to tube domains and complex Lagrangean cones respectively. Me\-thods are developed for the classification of homogeneous Riemannian hypersurfaces and for the classification of linear transitive reductive algebraic group actions on pseudo Riemannian hypersurfaces. The theory is applied to the case of cubic hypersurfaces, which is the case most relevant to special geometry, obtaining the solution of the two classification problems and the description of the corresponding homogeneous special K\"ahler manifolds.


title: The Askey-scheme of hypergeometric orthogonal polynomials and its q-analogue

abstract: We list the so-called Askey-scheme of hypergeometric orthogonal polynomials. In chapter 1 we give the definition, the orthogonality relation, the three term recurrence relation and generating functions of all classes of orthogonal polynomials in this scheme. In chapeter 2 we give all limit relation between different classes of orthogonal polynomials listed in the Askey-scheme. In chapter 3 we list the q-analogues of the polynomials in the Askey-scheme. We give their definition, orthogonality relation, three term recurrence relation and generating functions. In chapter 4 we give the limit relations between those basic hypergeometric orthogonal polynomials. Finally in chapter 5 we point out how the `classical` hypergeometric orthogonal polynomials of the Askey-scheme can be obtained from their q-analogues.


title: On the Shintani zeta function for the space of pairs of binary Hermitian forms

abstract: Throughout this paper, k is a number field. We fix a quadratic extension k_1=k(a_0) of k, where a_0=sqrt(B_0) for a certain B_0 in k^\times/(k^\times)^2. In this paper, we consider the zeta function defined for the space of pairs of binary Hermitian forms. This is the prehomogeneous vector space we discussed in section 2 [1] and is a non-split form of the D_4 case in [4]. The purpose of this paper is to determine the principal part of the adjusted zeta function. Our main result is Theorem (8.15). Our case resembles the space of pairs of binary quadratic forms which we discussed in Chapter 5 [5]. However, the meaning of the problem, the pole structure of the adjusted zeta function, and the adjusting terms are different from those of the above case. The zeta function of our case is a counting function of the class number times the regulator of fields of the form k(sqrt(B_0),sqrt(B)) with B_0 fixed and B in k_, whereas the zeta function for the above case is essentially the same as the space of binary quadratic forms. Our case is a first example where we need two adjusting terms whereas the adjusting term of the above case was essentially the same as that of the space of binary quadratic forms. We will not prove the meromorphic continuation of the adjusting terms in this paper. For the sake of the density theorem, we still get the residue of the rightmost pole of the zeta function (without adjusting). If this space appears in a bigger prehomogeneous vector space. So the principal part formula of the adjusted zeta function should be enough for most applications. We have yet to obtain the corresponding density theorem because we have not carried out the local theory.


title: Categoricity and amalgamation for AEC and $ \kappa $ measurable

abstract: In the original version of this paper, we assume a theory $T$ that the logic $\mathbb L_{\kappa, \aleph_{0}}$ is categorical in a cardinal $\lambda > \kappa$, and $\kappa$ is a measurable cardinal. There we prove that the class of model of $T$ of cardinality $<\lambda$ (but $\geq |T|+\kappa$) has the amalgamation property; this is a step toward understanding the character of such classes of models. In this revised version we replaced the class of models of $T$ by $\mathfrak k$, an AEC (abstract elementary class) which has LS-number ${<} \, \kappa,$ or at least which behave nicely for ultrapowers by $D$, a normal ultra-filter on $\kappa$. Presently sub-section \S1A deals with $T \subseteq \mathbb L_{\kappa^{+}, \aleph_{0}}$ (and so does a large part of the introduction and little in the rest of \S1), but otherwise, all is done in the context of AEC.


title: Galilean relativity and its invariant bilinear forms

abstract: We construct the family of bilinear forms gG on R3+1 for which Galilean boosts and spatial rotations are isometries. The key feature of these bilinear forms is that they are parametrized by a Galilean invariant vector whose physical interpretation is rather unclear. At the end of the paper, we construct the Poisson bracket associated with the (nondegenerate) antisymmetric part of gG.


title: A number of countable models of a countable supersimple theory

abstract: In this paper, we prove the number of countable models of a countable supersimple theory is either 1 or infinite. This result is an extension of Lachlan's theorem on a superstable theory.


title: Lacunary sections for locally compact groupoids

abstract: It is proved that every second countable locally Hausdorff and locally compact continuous groupoid has a Borel set of units that meets every orbit and is what is called "lacunary," a property that implies that the intersection with every orbit is countable.


title: Fourier-Stieltjes algebras of locally compact groupoids

abstract: This paper gives a first step toward extending the theory of Fourier-Stieltjes algebras from groups to groupoids. If G is a locally compact (second countable) groupoid, we show that B(G), the linear span of the Borel positive definite functions on G, is a Banach algebra when represented as an algebra of completely bounded maps on a C^*-algebra associated with G. This necessarily involves identifying equivalent elements of B(G). An example shows that the linear span of the continuous positive definite functions need not be complete. For groups, B(G) is isometric to the Banach space dual of C^*(G). For groupoids, the best analog of that fact is to be found in a representation of B(G) as a Banach space of completely bounded maps from a C^*-algebra associated with G to a C^*-algebra associated with the equivalence relation induced by G. This paper adds weight to the clues in the earlier study of Fourier-Stieltjes algebras that there is a much more general kind of duality for Banach algebras waiting to be explored.


title: Groupoids: unifying internal and external symmetry

abstract: The aim of this paper is to explain, mostly through examples, what groupoids are and how they describe symmetry. We will begin with elementary examples, with discrete symmetry, and end with examples in the differentiable setting which involve Lie groupoids and their corresponding infinitesimal objects, Lie algebroids.


title: Modular forms on GL(3) and Galois representations

abstract: This paper gives an expository account of our experiments concerning relations between modular forms for congruence subgroups of SL(3,Z) and three dimensional Galois representations. The main new result presented here is a calculation of the variations of the Hodge structure corresponding to the motives we consider in realizing the Galois representations. It turns out that the period spaces for the Hodge structures are four dimensional, while the geometric realizations of such Hodge structures can appear in subspaces of dimension at most one.


title: CR automorphisms of real analytic manifolds In complex space

abstract: In this paper we shall give sufficient conditions for local CR diffeomorphisms between two real analytic submanifolds of $\Bbb C^N$ to be determined by finitely many derivatives at finitely many points. These conditions will also be shown to be necessary in model cases. We shall also show that under the same conditions, the Lie algebra of the infinitesimal CR automorphisms at a point is finite dimensional.


title: Errata for Geometric Function Theory in Several Complex Variables

abstract: This is a list of corrections for the book: J. Noguchi and T. Ochiai, Geometric Function Theory in Several Complex Variables, xi + 282 pp., Math.\ Monographs Vol.\ {\bf 80}, Amer.\ Math.\ Soc., Providence, 1990. The authors hope that this distribution will be helpful for readers to avoid unnecessary confusions.


title: Nonvanishing of the differential of holomorphic mappings at boundary points

abstract: In this paper we prove a general result of the ``Hopf lemma'' type for CR mappings, with nonidentically vanishing Jacobians, between real hypersurfaces in C^n with smooth or real analytic boundaries. Applications of this result to finiteness and holomorphic extendibility of such mappings are also given. The novelty here is that we make no assumption on the nonflatness of the mapping or its Jacobian, nor do we assume that the hypersurfaces are pseudoconvex or minimally convex.


title: Almost locally free groups and the genus question

abstract: Sacerdote [Sa] has shown that the non-Abelian free groups satisfy precisely the same universal-existential sentences Th(F$_2$)$\cap \forall \exists $ in a first-order language L$_o$ appropriate for group theory. It is shown that in every model of Th(F$_2$)$\cap \forall \exists $ the maximal Abelian subgroups are elementarily equivalent to locally cyclic groups (necessarily nontrivial and torsion free). Two classes of groups are interpolated between the non-Abelian locally free groups and Remeslennikov's $\exists $-free groups. These classes are the \textbf{almost locally free groups} and the \textbf{quasi-locally free groups}. In particular, the almost locally free% \textbf{\ }groups are the models of Th(F$_2$)$\cap \forall \exists $ while the quasi-locally free groups are the $\exists $-free groups with maximal Abelian subgroups elemenatarily equivalent to locally cyclic groups (necessarily nontrivial and torsion free). Two principal open questions at opposite ends of a spectrum are: (1.) Is every finitely generated almost locally free group free? (2.) Is every quasi-locally free group almost locally free? Examples abound of finitely generated quasi-locally free groups containing nontrivial torsion in their Abelianizations. The question of whether or not almost locally free groups have torsion free Abelianization is related to a bound in a free group on the number of factors needed to express certain elements of the derived group as a product of commutators.


title: Isomorphism property in nonstandard extensions of ZFC universe

abstract: We study models of HST, a nonstandard set theory which includes, in particular, the ZFC Replacement and Separation schemata in the language containing the membership and standardness predicates, and Saturation for well-orderable families of internal sets. This theory admits an adequate formulation of the isomorphism property IP: "any two elementarily equivalent internally presented structures of a wellorderable language are isomorphic." IP implies, for instance, that all infinite internal sets are equinumerous, and there exists a unique (modulo isomorphisms) internal elementary extension of the standard reals. We prove that IP is independent of HST (using the class of all sets constructible from internal sets) and consistent with HST (using generic extensions of $\HST$ models by a sufficient number of generic isomorphisms).


title: On densities of box products

abstract: We construct two universes V_1, V_2 satisfying the following: GCH below \aleph_\omega, 2^{\aleph_\omega} = \aleph_{\omega+2} and the topological density of the space 2^{\aleph_\omega} with \aleph_0 box product topology is \aleph_{\omega+1} in V_1 and \aleph_{\omega+2} in V_2. Further related results are discussed as well.


title: Property $\text{(u)}$ in $JH\tilde{\otimes}_\epsilon JH$

abstract: It is shown that the tensor product $JH\epten JH$ fails Pe\l cz\'{n}yski's property (u). The proof uses a result of Kwapie\'{n} and Pe\l cz\'{n}yski on the main triangle projection in matrix spaces.


title: Umbrellas and polytopal approximation of the euclidean ball

abstract: There are two positive, absolute constants $c_{1}$ and $c_{2}$ so that the volume of the difference set of the $d$-dimensional Euclidean ball and an inscribed polytope with n vertices is larger than $$ c_{2}\ d\ {n}^{-\frac{2}{d-1}}vol_d(B^d_2) $$ for $n \geq (c_{1}\ d)^{\frac{d-1}{2}}$.


title: A correlation inequality for the expectations of norms of stable vectors

abstract: For $0<q\le 2,\ 1\le k < n,$ let $X=(X_1,...,X_n)$ and $Y=(Y_1,...,Y_n)$ be symmetric $q$-stable random vectors so that the joint distributions of $X_1,...,X_k$ and $X_{k+1},...,X_n$ are equal to the joint distributions of $Y_1,...,Y_k$ and $Y_{k+1},...,Y_n,$ respectively, but $Y_i$ and $Y_j$ are independent for every $1\le i \le k,\ k+1\le j \le n.$ We prove that $\Bbb E (f(X)) \ge \Bbb E (f(Y))$ where $f$ is any continuous, positive, homogeneous of the order $p\in (-n,0)$ function on $\Bbb R^n\setminus \{0\}$ such that $f$ is a positive definite distribution in $\Bbb R^n,$ and $f(u,v)=f(u,-v)$ for every $u\in \Bbb R^k,\ v\in \Bbb R^{n-k}.$ As a particular case, we show that $$\Bbb E\ (\max_{i=1,...,n} |X_i|)^p \ge \Bbb E\ (\max_{i=1,...,n} |Y_i|)^p$$ for every $p\in (-n,-n+1).$ The latter inequality is related to Slepian's Lemma and to the Gaussian correlation problem.


title: An interpolation theorem for holomorphic automorphisms of {\bf C}$^n$

abstract: We construct automorphisms of $\C^n$ which map certain discrete sequences one onto another with prescribed finite jet at each point, thus solving a general Mittag-Leffler interpolation problem for automorphisms. Under certain circumstances, this can be done while also approximating a given automorphism on a compact set.


title: A Tverberg-type result on multicolored simplices

abstract: Let $P_1, P_2,\ldots, P_{d+1}$ be pairwise disjoint $n$-element point sets in general position in $d$-space. It is shown that there exist a point $O$ and suitable subsets $Q_i\subseteq P_i \; (i=1, 2, \ldots, d+1)$ such that $|Q_i|\geq c_d|P_i|$, and every $d$-dimensional simplex with exactly one vertex in each $Q_i$ contains $O$ in its interior. Here $c_d$ is a positive constant depending only on $d$.


title: On Pisier's Construction

abstract: A classical proof of Pisier's construction of a polynomially bounded operator not similar to a contraction is given.


title: Intermediate Optimal Gevrey Exponents Occur

abstract: Hypoellipticity in Gevrey classes $G^s$ is characterized for a simple family of sums of squares of vector fields satisfying the bracket hypothesis, with analytic coefficients. It is shown that hypoellipticity holds if and only if $s$ is greater than or equal to an optimal exponent that may take on any rational value.


title: Quasiconformality and geometrical finiteness in Carnot--Carath\'eodory and negatively curved spaces

abstract: The paper sketches a recent progress and formulates several open problems in studying equivariant quasiconformal and quasisymmetric homeomorphisms in negatively curved spaces as well as geometry and topology of noncompact geometrically finite negatively curved manifolds and their boundaries at infinity having Carnot--Carath\'eodory structures. Especially, the most interesting are complex hyperbolic manifolds with Cauchy--Riemannian structure at infinity, which occupy a distinguished niche and whose properties make them surprisingly different from real hyperbolic ones.


title: The identification problem for transcendental functions

abstract: In this article algorithmic methods are presented that have essentially been introduced into computer algebra systems like Mathematica within the last decade. The main ideas are due to Stanley and Zeilberger. Some of them had already been discovered in the last century by Beke, but because of their complexity the underlying algorithms have fallen into oblivion. We combined these ideas, and added a factorization algorithm in noncommutative rings (Melenk--Koepf \cite{MK}) leading to a solution of the identification problem for a large class of transcendental functions. We present implementations of these algorithms in computer algebra systems.


title: On the De Branges theorem

abstract: Recently, Todorov and Wilf independently realized that de Branges' original proof of the Bieberbach and Milin conjectures and the proof that was later given by Weinstein deal with the same special function system that de Branges had introduced in his work. In this article, we present an elementary proof of this statement based on the defining differential equations system rather than the closed representation of de Branges' function system. Our proof does neither use special functions (like Wilf's) nor the residue theorem (like Todorov's) nor the closed representation (like both), but is purely algebraic. On the other hand, by a similar algebraic treatment, the closed representation of de Branges' function system is derived. In a final section, we give a simple representation of a generating function of the de Branges functions.


title: Weinstein's functions and the Askey-Gasper identity

abstract: In his 1984 proof of the Bieberbach and Milin conjectures de Branges used a positivity result of special functions which follows from an identity about Jacobi polynomial sums that was found by Askey and Gasper in 1973, published in 1976. In 1991 Weinstein presented another proof of the Bieberbach and Milin conjectures, also using a special function system which (by Todorov and Wilf) was realized to be the same as de Branges'. In this article, we show how a variant of the Askey-Gasper identity can be deduced by a straightforward examination of Weinstein's functions which intimately are related with a L\"owner chain of the Koebe function, and therefore with univalent functions.


title: Uniform asymptotics for the incomplete gamma functions starting from negative values of the parameters

abstract: We consider the asymptotic behavior of the incomplete gamma functions gamma(-a,-z) and Gamma(-a,-z) as a goes to infinity. Uniform expansions are needed to describe the transition area z~a in which case error functions are used as main approximants. We use integral representations of the incomplete gamma functions and derive a uniform equation by applying techniques used for the existing uniform expansions for gamma(a,z) and Gamma(a,z). The result is compared with Olver's uniform expansion for the generalized exponential integral. A numerical verification of the expansion is given in a final section.


title: The consistency of 2^{aleph_{0}}> aleph_{omega} + I(aleph_{2})=I(aleph_{omega})

abstract: An omega-coloring is a pair <f,B> where f:[B]^{2} ---> omega. The set B is the field of f and denoted Fld(f). Let f,g be omega-colorings. We say that f realizes the coloring g if there is a one-one function k:Fld(g) ---> Fld(f) such that for all {x,y}, {u,v} in dom(g) we have f({k(x),k(y)}) not= f({k(u),k(v)}) => g({x,y}) not= g({u,v}). We write f~g if f realizes g and g realizes f. We call the ~-classes of omega-colorings with finite fields identities. We say that an identity I is of size r if |Fld(f)|=r for some/all f in I. For a cardinal kappa and f:[kappa]^2 ---> omega we define I(f) to be the collection of identities realized by f and I (kappa) to be bigcap {I(f)| f:[kappa]^2 ---> omega}. We show that, if ZFC is consistent then ZFC + 2^{aleph_0}> aleph_omega + I(aleph_2)=I(aleph_omega) is consistent.


title: On the defect of an analytic disc

abstract: Although the concept of defect of an analytic disc attached to a generic manifold of $\C^{n}$ seems to play a merely technical role, it turns out to be a rather deep and fruitful notion for the extendability of CR functions defined on the manifold. In this paper we give a new geometric description of defect, drawing attention to the behaviour of the interior points of the disc by infinitesimal perturbations. For hypersurfaces a stronger result holds because these perturbations describe a complex vector space of $\C^{n}$. For a big analytic disc the defect does not need to be smaller than the codimension of the manifold. Indeed we show by an example that it can be arbitrarily large independently of the codimension of the manifold. Nevertheless we also prove that the defect is always finite. In the case of a hypersurface we give a geometric upper bound for the defect.


title: Defect and evaluations

abstract: Let $S$ be a generic submanifold of $C^N$ of real codimension m. In this work we continue the study, carried over by various authors, of the set of analytic discs attached to S. Let $M$ be the set of analytic discs attached to $S.$ Given $q \in S$ let $M_q$ be the set of discs $\phi$ in M such that $\phi_(1).$ B. Trepreau and other authors gave sufficient conditions for $M$ to be a manifold in a neighborhood of a given disc. We give conditions for $M_q$ to be a manifold. When this conditions are satisfied we look at the map on $M$ given by $\phi \rightarrow \phi(0),$ and we describe the image of its differential, (in particular we determine its dimension). We then do the same for the map $\phi \rightarrow \phi(-1)$ on $M_q.$ For example we find as a corollary that if S has only minimal points, then there exists an open dense subset $Omega$ in M such that the restriction of the map $\phi \rightarrow \phi(0)$ to $\Omega$ is an open map with value in $C^N.$


title: On totally real spheres in complex space

abstract: We shall prove that there are totally real and real analytic embeddings of $S^k$ in $\cc^n$ which are not biholomorphically equivalent if $k\geq 5$ and $n=k+2[\frac{k-1}{4}]$. We also show that a smooth manifold $M$ admits a totally real immersion in $\cc^n$ with a trivial complex normal bundle if and only if the complexified tangent bundle of $M$ is trivial. The latter is proved by applying Gromov's weak homotopy equivalence principle for totally real immersions to Hirsch's transversal fields theory.


title: Value distribution for sequences of rational mappings and complex dynamics

abstract: We obtain results on the asymptotic equidistribution of the pre-images of linear subspaces for sequences of rational mappings between projective spaces. As an application to complex dynamics, we consider the iterates $P_k$ of a rational mapping $P$ of $\PP^n$. We show, assuming a condition on the topological degree $\lambda$ of $P$, that there is a probability measure $\mu$ on $\PP^n$ such that the discrete measures $\lambda^{-k}P_k^*\delta_w$ converge to $\mu$ for all $w\in\PP^n$ outside a pluripolar set.


title: On the boundary orbit accumulation set for a domain with non-compact automorphism group

abstract: For a smoothly bounded pseudoconvex domain $D\subset{\Bbb C}^n$ of finite type with non-compact holomorphic automorphism group $\text{Aut}(D)$, we show that the set $S(D)$ of all boundary accumulation points for $\text{Aut}(D)$ is a compact subset of $\partial D$ and, if $S(D)$ contains at least three points, it is connected and thus has the power of the continuum. We also discuss how $S(D)$ relates to other invariant subsets of $\partial D$ and show in particular that $S(D)$ is always a subset of the \v{S}ilov boundary.


title: Computing Nilpotent Quotients in Finitely Presented Lie Rings

abstract: A nilpotent quotient algorithm for finitely presented Lie rings over Z (LieNQ) is described. The paper studies graded and non-graded cases separately. The algorithm computes the so-called nilpotent presentation for a finitely presented, nilpotent Lie ring. The nilpotent presentation consists of generators for the abelian group and the products---expressed as linear combinations---for pairs formed by generators. Using that presentation the word problem is decidable in $L$. Provided that the Lie ring $L$ is graded, it is possible to determine the canonical presentation for a lower central factor of $L$. LieNQ's complexity is studied and it is shown that optimizing the presentation is NP-hard. Computational details are provided with examples, timing and some structure theorems obtained from computations. Implementation in C and GAP 3.5 interface is available.


title: Some Combinatorics behind Proofs

abstract: We try to bring to light some combinatorial structure underlying formal proofs in logic. We do this through the study of the Craig Interpolation Theorem which is properly a statement about the structure of formal derivations. We show that there is a generalization of the interpolation theorem to much more naive structures about sets, and then we show how both classical and intuitionistic versions of the statement follow by interpreting properly the set-theoretic language. The theorem we present is a geometrical formulation of the well-known logical statement and gives sufficient conditions for a system of combinatorial nature to enjoy interpolation. Its objects might be graphs just as well as formulas or surfaces. The combinatorial mappings we use correspond whenever interpreted in a logical language to the notion of `logical flow graph' (i.e. a graph tracing the flow of occurrences of formulas in a proof; this notion has been introduced in (Buss, 1991). The idea of using the flow of occurrences to study the structure of proofs was already present in (Girard, 1987) with the concept of `proof net'.)


title: Blackwell Games

abstract: Blackwell games are infinite games of imperfect information. The two players simultaneously make their moves, and are then informed of each other's moves. Payoff is determined by a Borel measurable function $f$ on the set of possible resulting sequences of moves. A standard result in Game Theory is that finite games of this type are determined. Blackwell proved that infinite games are determined, but only for the cases where the payoff function is the indicator function of an open or $G_\delta$ set. For games of perfect information, determinacy has been proven for games of arbitrary Borel complexity. In this paper I prove the determinacy of Blackwell games over a $G_{\delta\sigma}$ set, in a manner similar to Davis' proof of determinacy of games of $G_{\delta\sigma}$ complexity of perfect information. There is also extensive literature about the consequences of assuming AD, the axiom that _all_ such games of perfect information are determined. In the final section of this paper I formulate an analogous axiom for games of imperfect information, and explore some of the consequences of this axiom.


title: Some interesting problems

abstract: This is an update of my problem list.


title: Type Two Cuts, Bad Cuts and Very Bad Cuts

abstract: Type two cuts, bad cuts and very bad cuts are introduced by Keisler and Leth for studying the relationship between Loeb measure and U-topology of a hyperfinite time line in an $\omega_1$-saturated nonstandard universe. The questions concerning the existence of those cuts are asked there. In this paper we answer, fully or partially, some of those questions by showing that: (1) type two cuts exist in any nonstandard model of Peano Arithmetic, (2) the $\aleph_1$-isomorphism property implies that bad cuts exist, but no bad cuts are very bad.


title: Compactness of Loeb Spaces

abstract: In this paper we show that the compactness of a Loeb space depends on its cardinality, the nonstandard universe it belongs to and the underlying model of set theory we live in. In section 1 we prove that Loeb spaces are compact under various assumptions, and in section 2 we prove that Loeb spaces are not compact under various other assumptions. The results in section 1 and section 2 give a quite complete answer to a question of D. Ross.


title: On Various Modes of Scalar Convergence in L_0(X)

abstract: A sequence $\{f_n\}$ of strongly-measurable functions taking values in a Banach space $\X$ is scalarly null a\.e\. (resp. scalarly null in measure) if $x^*f_n \rightarrow0$ a\.e\. (resp. $x^*f_n \rightarrow 0$ in measure) for every $x^*\in \X^*$. Let $1\le p\le \infty$. The main questions addressed in this paper are whether an $L_p(\X)$-bounded sequence that is scalarly null a\.e\. will converge weakly a\.e\. (or have a subsequence which converges weakly a\.e\.), and whether an $L_p(\X)$-bounded sequence that is scalarly null in measure will have a subsequence that is scalarly null a\.e. The answers to these and other similar questions depend upon $p$ and upon the geometry of $\X$.


title: Linear maps between C*-algebras whose adjoints preserve extreme points of the dual ball

abstract: We give a structural characterisation of linear operators from one $C^\ast$% -algebra into another whose adjoints map extreme points of the dual ball onto extreme points. We show that up to a $\ast$-isomorphism, such a map admits of a decomposition into a degenerate and a non-degenerate part, the non-degenerate part of which appears as a Jordan $\ast$-morphism followed by a ``rotation'' and then a reduction. In the case of maps whose adjoints preserve pure states, the degenerate part does not appear, and the ``rotation'' is but the identity. In this context the results concerning such pure state preserving maps depend on and complof St\o rmer [St\o 2; 5.6 \& 5.7]. In conclusion we consider the action of maps with ``extreme point preserving'' adjoints on some specific $C^\ast$-algebras.


title: Tensor products and independent sums of $\Cal L_p$-spaces, $1<p<\infty$

abstract: Two methods of constructing infinitely many isomorphically distinct $\Cal L_p$-spaces have been published. In this article we show that these constructions yield very different spaces and in the process develop methods for dealing with these spaces from the isomorphic viewpoint. We use these methods to give a complete isomorphic classification of the spaces $R_p^\alpha$ constructed by Bourgain, Rosenthal, and Schechtman and to show that $X_p\otimes X_p$ is not isomorphic to a complemented subspace of any $R_p^\alpha.$


title: A Banach space block finitely universal for monotone bases

abstract: A reflexive Banach space $X$ with a basis $(e_i)$ is constructed having the property that every monotone basis is block finitely representable in each block basis of $X$.


title: Isometries of cross products of sequence spaces

abstract: Let $X_0, X_1, ..., X_k$ with $k \in \IN\cup\{\infty\}$ be sequence spaces $($finite or infinite dimensional$)$ over $\IC$ or $\IR$ with absolute norms $N_i$ for $i = 0, ..., k$, $($i.e., with 1-unconditional bases$)$ such that $\dim X_0 = k$. Define an absolute norm on the cross product space $($also known as the $X_0$ 1-unconditional sum$)$ $X_1 \times ... \times X_k$ by $$ N(x_1, ..., x_k) = N_0(N_1(x_1), ..., N_k(x_k)) \quad \hbox{for all} \quad (x_1, ..., x_k) \in X_1 \times ... \times X_k. $$ We show that every sequence space with an absolute norm has an intrinsic cross product structure of this form. The result is used to prove a characterization of isometries of complex cross product spaces that covers all the existing results. We demonstrate by examples and the theory of finite reflection groups that it is impossible to extend the complex result to the real case. Nevertheless, some new isometry theorems are obtained for real cross product spaces.


title: Distorting Mixed Tsirelson Spaces

abstract: Any regular mixed Tsirelson space $T(\theta_n,S_n)_{\N}$ for which $\frac{\theta_n}{\theta^n} \to 0$, where $\theta=\lim_n \theta_n^{1/n}$, is shown to be arbitrarily distortable. Certain asymptotic $\ell_1$ constants for those and other mixed Tsirelson spaces are calculated. Also a combinatorial result on the Schreier families $(S_{\alpha})_{\alpha < \omega_1}$ is proved and an application is given to show that for every Banach space $X$ with a basis $(e_i)$, the two $\Delta$-spectrums $\Delta(X)$ and $\Delta(X,(e_i))$ coincide.


title: Local properties of accessible injective operator ideals

abstract: In addition to Pisier's counterexample of a non-accessible maximal Banach ideal, we will give a large class of maximal Banach ideals which {\it{are accessible}}. The first step is implied by the observation that a "good behaviour" of trace duality, which is canonically induced by conjugate operator ideals can be extended to adjoint Banach ideals, if and only if these adjoint ideals satisfy an accessibility condition (theorem 3.1). This observation leads in a natural way to a characterization of accessible injective Banach ideals, where we also recognize the appearance of the ideal of {\it{absolutely summing operators}} (prop. 4.1). By the famous {\it{Grothendieck inequality}}, every operator from $L_1$ to a Hilbert space is absolutely summing, and therefore our search for such ideals will be directed towards Hilbert space factorization - via an operator version of Grothendieck's inequality (lemma 4.2). As a consequence,we obtain a class of injective ideals, which are "quasi-accessible", and with the help of {\it{tensor stability}}, we improve the corresponding norm inequalities, to get accessibility (theorem 4.1 and 4.2). In the last chapter of this paper we give applications, which are implied by a non-trivial link of the above mentioned considerations to normed products of operator ideals.


title: Composition of operator ideals and their regular hulls

abstract: Given two quasi-Banach ideals \oid{A}{}{} and \oid{B}{}{} we investigate the regular hull of their composition - $(\oid{A}{}{} \circ \oid{B}{}{})^{reg}$. In concrete situations this regular hull appears more often than the composition itself. As a first example we obtain a description for the regular hull of the nuclear operators which is a "reflected" Grothendieck representation:\\ $\oid{N}{}{reg} \stackrel{1}{=} \oid{I}{}{} \circ \oid{W}{}{}$ (theorem 2.1). Further we recognize that the class of such ideals leads to interesting relations concerning the question of the accessibility of (injective) operator ideals.


title: Operators with extension property and the principle of local reflexivity

abstract: Given an arbitrary $p$-Banach ideal $(0 < p \leq 1)$, we ask for geometrical properties of this ideal which are sufficient (and necessary) to allow a transfer of the principle of local reflexivity to this operator class.


title: A Carleman type theorem for proper holomorphic embeddings

abstract: In 1927, Carleman showed that a continuous, complex-valued function on the real line can be approximated in the Whitney topology by an entire function restricted to the real line. In this paper, we prove a similar result for proper holomorphic embeddings. Namely, we show that a proper $\cC^r$ embedding of the real line into $\C^n$ can be approximated in the strong $\cC^r$ topology by a proper holomorphic embedding of $\C$ into $\C^n$.


title: Nevanlinna Theory and Rational Points

abstract: S. Lang conjectured in 1974 that a hyperbolic algebraic variety defined over a number field has only finitely many rational points, and its analogue over function fields. We discuss the Nevanlinna-Cartan theory over function fields of arbitrary dimension and apply it for Diophantine property of hyperbolic projective hypersurfaces (homogeneous Diophantine equations) constructed by Masuda-Noguchi. We also deal with the finiteness property of $S$-units points of those Diophantine equations over number fields.


title: On Holomorphic Curves in Semi-Abelian Varieties

abstract: The algebraic degeneracy of holomorphic curves in a semi-Abelian variety omitting a divisor is proved (Lang's conjecture generalized to semi-Abelian varieties) by making use of the {\it jet-projection method} and the logarithmic Wronskian jet differential after Siu-Yeung. We also prove a structure theorem for the locus which contains all possible image of non-constant entire holomorphic curves in a semi-Abelian variety omitting a divisor.


title: Fuchsian Groups, Quasiconformal Groups, and Conical Limit Sets

abstract: We construct examples showing that the normalized Lebesgue measure of the conical limit set of a uniformly quasiconformal group acting discontinuously on the disc may take any value between zero and one. This is in contrast to the cases of Fuchsian groups acting on the disc, conformal groups acting discontinuously on the ball in dimension three or higher, uniformly quasiconformal groups acting discontinuously on the ball in dimension three or higher, and discrete groups of biholomorphic mappings acting on the ball in several complex dimensions. In these cases the normalized Lebesgue measure is either zero or one.


title: An estimate for the Gauss curvature of minimal surfaces in $\mathbb R^m$ whose Gauss map omits a set of hyperplanes

abstract: We give an estimate of the Gauss curvature for minimal surfaces in ${\mathbb R}^m$ whose Gauss map omits more than $m(m+1)/2$ hyperplanes in ${\mathbb P}^{m-1}({\mathbb C})$.


title: A mixed Hodge structure on a CR manifold

abstract: The purpose of this work is to propose a mixed Hodge structure over a CR manifold. As you know, for a CR manifold, Kohn-Rossi cohomology is naturally introduced. However, the relation between Kohn-Rossi cohomology and De Rham cohomology is not so well understood, even in Tanaka's work. We discuss this point.


title: Rigidity of irreducible Hermitian symmetric spaces of the compact type under K"ahler deformation

abstract: We study deformations of irreducible Hermitian symmetric spaces $S$ of the compact type, known to be locally rigid, as projective-algberaic manifolds and prove that no jump of complex structures can occur. For each $S$ of rank $\ge 2$ there is an associated reductive linear group $G$ such that $S$ admits a holomorphic $G$-structure, corresponding to a reduction of the structure group of the tangent bundle. $S$ is characterized as the unique simply-connected compact complex manifold admitting such a $G$-structure which is at the same time integrable. To prove the deformation rigidity of $S$ it suffices that the corresponding integrable $G$-structures converge. We argue by contradiction using the deformation theory of rational curves. Assuming that a jump of complex structures occurs, cones of vectors tangent to degree-1 rational curves on the special fiber $X_0$ are linearly degenerate, thus defining a proper meromorphic distribution $W$ on $X_0$. We prove that such $W$ cannot possibly exist. On the one hand, integrability of $W$ would contradict the fact that $b_2(X)=1$. On the other hand, we prove that $W$ would be automatically integrable by producing families of integral complex surfaces of $W$ as pencils of degree-1 rational curves. For the verification that there are enough integral surfaces we need a description of generic cones on the special fiber. We show that they are in fact images of standard cones under linear projections. We achieve this by studying deformations of normalizations of Chow spaces of minimal rational curves marked at a point, which are themselves Hermitian symmetric, irreducible except in the case of Grassmannians.


title: Generalized Bergmann Metrics and Invariance of Plurigenera

abstract: An invariant kernel for the pluricanonical system of a projective manifold of general type is introduced. Using this kernel we prove that the Yau volume form on a smooth projective variety has seminegative Ricci curvature. As a biproduct we prove the invariance of plurigenera for smooth projective deformations of manifolds of general type.


title: Paraexponentials, Muckenhoupt weights, and resolvents of paraproducts

abstract: We analyze the stability of Muckenhoupt's $\RHp$ and $\Ap$ classes of weights under a nonlinear operation, the $\lb$-operation. We prove that the dyadic doubling reverse H\"older classes $\RHp$ are not preserved under the $\lb$-operation, but the dyadic doubling $A_p$ classes $\Ap$ are preserved for $0<\lb <1$. We give an application to the structure of resolvent sets of dyadic paraproduct operators.


title: Organization of parameter space for simple circle maps: the Farey web

abstract: We define the Farey web --- a collection of loci in the parameter plane of families of simple non-invertible maps of the circle. We prove some results about the arrangement of these loci and their relationships with other dynamically significant features of the parameter plane. The results enable us to provide short proofs for a number of theorems about the organization of frequency-locking.


title: Heteroclinic orbits and transport in a perturbed integrable standard map

abstract: Explicit formulae are given for the saddle connection for an integrable family of standard maps studied by Suris. A generalization of Melnikov's method shows that, upon perturbation, this connection is destroyed. We give explicit formula for the first order approximation of the area of the lobes of the resultant turnstile. It is shown that the lobe area is exponentially small in the limit when the Suris map approaches the trivial twist map.


title: The Boltzmann-Sinai Ergodic Hypothesis for Hard Ball Systems

abstract: This paper has been withdrawn by the authors, due a crucial error.


title: The characteristic exponents of the falling ball model

abstract: We study the characteristic exponents of the Hamiltonian system of $n$ ($\ge 2$) point masses $m_1,\dots,m_n$ freely falling in the vertical half line $\{q|\, q\ge 0\}$ under constant gravitation and colliding with each other and the solid floor $q=0$ elastically. This model was introduced and first studied by M. Wojtkowski. Hereby we prove his conjecture: All relevant characteristic (Lyapunov) exponents of the above dynamical system are nonzero, provided that $m_1\ge\dots\ge m_n$ (i. e. the masses do not increase as we go up) and $m_1\ne m_2$.


title: Porosity of Collet-Eckmann Julia sets

abstract: We prove that the Julia set of a rational map of the Riemann sphere satisfying the Collet-Eckmann condition and having no parabolic periodic point is mean porous, if it is not the whole sphere. It follows that the Minkowski dimension of the Julia set is less than 2.


title: The periodic points of renormalization

abstract: It will be shown that the renormalization operator, acting on the space of smooth unimodal maps with critical exponent greater than 1, has periodic points of any combinatorial type.


title: Average exit times in volume preserving maps

abstract: For a volume preserving map, the exit time, averaged over the incoming set of a region, is given by the ratio of the measure of the accessible subset of the region to that of the incoming set. This result is primarily of interest to show two things: first it gives a simple bound on the algebraic decay exponent of the survival probability. Second, it gives a tool which permits the computation of the measure of the accessible set. We use this to find the measure of the bounded orbits for H\'enon's quadratic map.


title: Symmetry-breaking instabilities of convection in squares

abstract: Convection in an infinite fluid layer is often modelled by considering a finite box with periodic boundary conditions in the two horizontal directions. The translational invariance of the problem implies that any solution can be translated horizontally by an arbitrary amount. Some solutions travel, but those solutions that are invariant under reflections in both horizontal directions cannot travel, since motion in any horizontal direction is balanced by an equal and opposite motion elsewhere. Equivariant bifurcation theory allows us to understand the steady and time-dependent ways in which a pattern can travel when a mirror symmetry of the pattern is broken in a bifurcation. Here we study symmetry-breaking instabilities of convection with a square planform. A pitchfork bifurcation leads to squares that travel uniformly, while a Hopf bifurcation leads to a new class of oscillations in which squares drift to and fro but with no net motion of the pattern. Two types of travelling squares are possible after a pitchfork bifurcation, and three or more oscillatory solutions are created in a Hopf bifurcation. One of the three oscillations, alternating pulsating waves, has been observed in recent numerical simulations of convection in the presence of a magnetic field. We also present a low-order model of three-dimensional compressible convection that contains these symmetry-breaking instabilities. Our analysis clarifies the relationship between several types of time-dependent patterns that have been observed in numerical simulations of convection.


title: Asymptotic measures for hyperbolic piecewise smooth mappings of a rectangle

abstract: We prove the existence of Sinai-Ruelle-Bowen measures for a class of $C^2$ self-mappings of a rectangle with unbounded derivatives. The results can be regarded as a generalization of a well-known one dimensional Folklore Theorem on the existence of absolutely continuous invariant measures. In an earlier paper analogous results were stated and the proofs were sketched for the case of invertible systems. Here we give complete proofs in the more general case of noninvertible systems, and, in particular, develop the theory of stable and unstable manifolds for maps with unbounded derivatives.


title: Melnikov method for autonomous Hamiltonians

abstract: The web page contains both the dvi and postscript version of the paper. This paper presents the method of applying the Melnikov method to autonomous Hamiltonian systems in dimension four. Besides giving an application to Celestial Mechanics, it discusses the problem of convergence of the Melnikov function and the derivative of the Melnikov function.


title: Symmetric Gibbs measures

abstract: We prove that certain Gibbs measures on subshifts of finite type are nonsingular and ergodic for certain countable equivalence relations, including the orbit relation of the adic transformation (the same as equality after a permutation of finitely many coordinates). The relations we consider are defined by cocycles taking values in groups, including some nonabelian ones. This generalizes (half of) the identification of the invariant ergodic probability measures for the Pascal adic transformation as exactly the Bernoulli measures---a version of de Finetti's Theorem. Generalizing the other half, we characterize the measures on subshifts of finite type that are invariant under both the adic and the shift as the Gibbs measures whose potential functions depend on only a single coordinate. There are connections with and implications for exchangeability, ratio limit theorems for transient Markov chains, interval splitting procedures, `canonical' Gibbs states, and the triviality of remote sigma-fields finer than the usual tail field.


title: Categoricity of theories in L_{kappa^* omega}, when kappa^* is a measurable cardinal. Part II

abstract: We continue the work of [KlSh:362] and prove that for lambda successor, a lambda-categorical theory T in L_{kappa^*, omega} is mu-categorical for every mu, mu <= lambda which is above the (2^{LS(T)})^+-beth cardinal.


title: Cofinalities of elementary substructures of structures on aleph_omega

abstract: Let 0<n^*< omega and f:X-> n^*+1 be a function where X subseteq omega backslash (n^*+1) is infinite. Consider the following set S_f= {x subset aleph_omega : |x| <= aleph_{n^*} & (for all n in X)cf(x cap alpha_n)= aleph_{f(n)}}. The question, first posed by Baumgartner, is whether S_f is stationary in [alpha_omega]^{< aleph_{n^*+1}}. By a standard result, the above question can also be rephrased as certain transfer property. Namely, S_f is stationary iff for any structure A=< aleph_omega, ... > there's a B prec A such that |B|= aleph_{n^*} and for all n in X we have cf(B cap aleph_n)= aleph_{f(n)}. In this paper, we are going to prove a few results concerning the above question.


title: Strong covering without squares

abstract: We continue [Sh:b, Ch XIII] and [Sh:410]. Let W be an inner model of ZFC. Let kappa be a cardinal in V. We say that kappa-covering holds between V and W iff for all X in V with X subseteq ON and V models |X|< kappa, there exists Y in W such that X subseteq Y subseteq ON and V models |Y|< kappa. Strong kappa-covering holds between V and W iff for every structure M in V for some countable first-order language whose underlying set is some ordinal lambda, and every X in V with X subseteq lambda and V models |X|< kappa, there is Y in W such that X subseteq Y prec M and V models |Y|< kappa. We prove that if kappa is V-regular, kappa^+_V= kappa^+_W, and we have both kappa-covering and kappa^+-covering between W and V, then strong kappa-covering holds. Next we show that we can drop the assumption of kappa^+-covering at the expense of assuming some more absoluteness of cardinals and cofinalities between W and V, and that we can drop the assumption that kappa^+_W = kappa^+_V and weaken the kappa^+-covering assumption at the expense of assuming some structural facts about W (the existence of certain square sequences).


title: k --Universal Finite Graphs

abstract: This paper investigates the class of k-universal finite graphs, a local analog of the class of universal graphs, which arises naturally in the study of finite variable logics. The main results of the paper, which are due to Shelah, establish that the class of k-universal graphs is not definable by an infinite disjunction of first-order existential sentences with a finite number of variables and that there exist k-universal graphs with no k-extendible induced subgraphs.


title: Mathematical pressure volume models of the cerebrospinal fluid

abstract: Numerous mathematical models have emerged in the medical literature over the past two decades attempting to characterize the pressure and volume dynamics the central nervous system compartment. These models have been used to study he behavior of this compartment under such pathological clinical conditions s hydrocephalus, head injury and brain edema. The number of different pproaches has led to considerable confusion regarding the validity, accuracy or appropriateness of the various models. In this paper we review the mathematical basis for these models in a mplified fashion, leaving the mathematical details to appendices. We show at most previous models are in fact particular cases of a single basic differential equation describing the evolution in time of the cerebrospinal fluid pressure (CFS). Central to this approach is the hypothsis that the rate change of CSF volume with respect to pressure is a measure of the compliance of the brain tissue which as a consequence leads to particular models epending on the form of the compliance funtion. All such models in fact give essentially no information on the behavior of the brain itself. More recent models (solved numerically using the Finite Element Method) have begun to address this issue but have difficulties due to the lack of information about the mechanical properties of the brain. Suggestions are made on how development of models which account for these chanical properties might be developed.


title: The relationship between two commutators

abstract: We clarify the relationship between the linear commutator and the ordinary commutator by showing that in any variety satisfying a nontrivial idempotent Mal'cev condition the linear commutator is definable in terms of the centralizer relation. We derive from this that abelian algebras are quasi-affine in such varieties. We refine this by showing that if A is an abelian algebra and V(A) satifies an idempotent Mal'cev condition which fails to hold in the variety of semilattices, then A is affine.


title: Finitely presented subgroups of automatic groups and their isoperimetric functions

abstract: We describe a general technique for embedding certain amalgamated products into direct products. This technique provides us with a way of constructing a host of finitely presented subgroups of automatic groups which are not even asynchronously automatic. We can also arrange that such subgroups satisfy, at best, an exponential isoperimetric inequality.


title: Infinite products of finite simple groups

abstract: We classify those sequences $\langle S_{n} \mid n \in \mathbb{N} \rangle$ of finite simple nonabelian groups such that the full product $\prod_{n} S_{n}$ has property (FA).


title: CSA groups and separated free constructions

abstract: A group $G$ is said to be a {\it CSA}-group if all maximal abelian subgroups of $G$ are malnormal. The class of CSA groups is of interest because it contains torsion-free hyperbolic groups, groups acting freely on $\Lambda$-trees and groups with the same existential theory as free groups. CSA groups are also very closely related to the study of residually free groups and tensor completions. In this paper we investigate which free constructions (amalgamated products and HNN extensions) over CSA groups are again CSA. The results are applied, in particular, to show that a torsion-free one-relator group is CSA if and only if it does not contain nonabelian metabelin Baumslag-Solitar groups and the direct product of the free group of rank 2 and the infinite cyclic group.


title: Equations in a free Q-group

abstract: In this work we investigate tensor completions of groups by associative rings, which were introduced by R.Lyndon and G.Baumslag in 1960s. The main result states that there exists an algorithm that decides if a given finite system of equations over a free ${\bf Q}$-group has a solution, and if it does, finds a solution. This statement can be generalized for ${\bf Q}$-completions of torsion-free hyperbolic groups. Our proof significantly uses the techniques of word hyperbolic groups and the results of E.Rips and Z.Sela on the solvability of systems of equations in hyperbolic groups.


title: Hyperbolic groups and free constructions

abstract: We investigate which free constructions (amalgamated products and HNN-extensions) over word hyperbolic groups produce groups that are again word hyperbolic. A complete answer is obtained for the case when the amalgamated subgroups are virtually cyclic. The results are applied, in particular, to show that a ${\bf Q}$-completion of a torsion-free hyperbolic group has solvable word problem and conjugacy problem.


title: Fixed points of endomorphisms of a free metabelian group

abstract: We consider IA-endomorphisms (i.e., Identical in Abelianization) of a free metabelian group of finite rank, and give a matrix characterization of their fixed points which is similar to (yet different from) the well-known characterization of eigenvectors of a linear operator in a vector space. We then use our matrix characterization to elaborate several properties of the fixed point groups of metabelian endomorphisms. In particular, we show that the rank of the fixed point group of an IA-endomorphism of the free metabelian group of rank $n \ge 2$ can be either equal to 0, 1, or greater than $(n-1)$ (in particular, it can be infinite). We also point out a connection between these properties of metabelian IA-endomorphisms and some properties of the Gassner representation of pure braid groups.


title: Generalized primitive elements of a free group

abstract: We study endomorphisms of a free group of finite rank by means of their action on specific sets of elements. In particular, we prove that every endomorphism of the free group of rank 2 which preserves an automorphic orbit (i.e., acts ``like an automorphism" on one particular orbit), is itself an automorphism. Then, we consider elements of a different nature, defined by means of homological properties of the corresponding one-relator group. These elements (``generalized primitive elements"), interesting in their own right, can also be used for distinguishing automorphisms among arbitrary endomorphisms.


title: More Set-theory around the weak Freese-Nation property

abstract: In this paper, we introduce a very weak square principle which is even weaker than the similar principle introduced by Foreman and Magidor. A characterization of this principle is given in term of sequences of elementary submodels of H(\chi). This is used in turn to prove a characterization of kappa-Freese-Nation property under the very weak square principle and a weak variant of the Singular Cardinals Hypothesis. A typical application of this characterization shows that under 2^{\aleph_0}<\aleph_\omega and our very weak square for \aleph_\omega, the partial ordering [omega_\omega]^{<\omega} (ordered by inclusion) has the aleph_1-Freese-Nation property. On the other hand we show that, under Chang's Conjecture for \aleph_\omega the partial ordering above does not have the aleph_1-Freese-Nation property. Hence we obtain the independence of our characterization of the kappa-Freese-Nation property and also of the very weak square principle from ZFC.


title: Intersection properties of open sets, II.

abstract: A topological space is called P_2 ( P_3, P_{<omega} ) if and only if it does not contain two (three, finitely many) uncountable open sets with empty intersection. We show that (i) there are 0-dimensional P_{<omega} spaces of size 2^omega, (ii) there are compact P_{<omega} spaces of size omega_1, (iii) the existence of a Psi-like examples for a compact P_{<omega} space of size omega_1 is independent of ZFC, (iv) it is consistent that 2^omega is as large as you wish but every first countable (and so every compact) P_2 space has cardinality<=omega_1.


title: Revised support iterations and CH

abstract: Shelah shows that certain revised countable support (RCS) iterations do not add reals. His motivation is to establish the independence (relative to large cardinals) of Avraham's problem on the existence of uncountable non-constuctible sequences all of whose proper initial segments are constructible, Friedman's problem on whether every 2-coloring of $S^2_0=\{\alpha<\omega_2\colon\cf(\alpha)=\omega\}$ has an uncountable sequentially closed homogeneous subset, and existence of a precipitous normal filter on $\omega_2$ with $S^2_0\in{\cal F}$. The posets which Shelah uses in these constructions are Prikry forcing, Namba forcing, and the forcing consisting of closed countable subsets of $S^*$ under reverse end-extension, where $S^*$ is a fixed stationary co-stationary subset of $S^2_0$. Shelah establishes different preservation theorems for each of these three posets (the theorem for Namba forcing is particularly intricate). We establish a general preservation theorem for a variant of RCS iterations which includes all three posets in a straightforward way.


title: Combinatorial principles from adding Cohen reals

abstract: In this paper we first formulate several ``combinatorial principles'' concerning kappa \times omega matrices of subsets of omega and prove that they are valid in the generic extension obtained by adding any number of Cohen reals to any ground model V, provided that the parameter kappa is an omega-inaccessible regular cardinal in V. Then we present a large number of applications of these principles, mainly to topology. Some of these consequences had been established earlier in generic extensions obtained by adding omega_2 Cohen reals to ground models satisfying CH, mostly for the case kappa=omega_2.


title: Inverse formula for the Blaschke-Levy representation with applications to zonoids and sections of star bodies

abstract: We say that an even continuous function $H$ on the unit sphere $\Omega$ in $R^n$ admits the Blaschke-Levy representation with $q>0$ if there exists an even function $b\in L_1(\Omega)$ so that $H^q(x)=\int_\Omega |(x,\xi)|^q b(\xi)\ d\xi$ for every $x\in \Omega.$ This representation has numerous applications in convex geometry, probability and Banach space theory. In this paper, we present a simple formula (in terms of the derivatives of $H$) for calculating $b$ out of $H.$ We use this formula to give a sufficient condition for isometric embedding of a space into $L_p$ which contributes to the 1937 P.Levy's problem and to the study of zonoids. Another application gives a Fourier transform formula for the volume of $(n-1)$-dimensional central sections of star bodies in $R^n.$ We apply this formula to find the minimal and maximal volume of central sections of the unit balls of the spaces $\ell_p^n$ with $0<p<2.$


title: On nicely smooth Banach spaces

abstract: In this work, we obtain some necessary and some sufficient conditions for a space to be nicely smooth, and show that they are equivalent for separable or Asplund spaces. We obtain a sufficient condition for the Ball Generated Property (BGP), and conclude that Property $(II)$ implies the BGP, which, in turn, implies the space is nicely smooth. We show that the class of nicely smooth spaces is stable under $c_o$ and $\ell_p$ sums and also under finite $\ell_1$ sums; that being nicely smooth is not a three space property; and that the Bochner $L_p$ spaces are nicely smooth if and only if $X$ is both nicely smooth and Asplund. A striking result obtained is that every equivalent renorming of a space is nicely smooth if and only if it is reflexive.


title: 1-complemented subspaces of spaces with 1-unconditional bases

abstract: We prove that if $X$ is a complex strictly monotone sequence space with $1$-unconditional basis, $Y \subseteq X$ has no bands isometric to $\ell_2^2$ and $Y$ is the range of norm-one projection from $X$, then $Y$ is a closed linear span a family of mutually disjoint vectors in $X$. We completely characterize $1$-complemented subspaces and norm-one projections in complex spaces $\ell_p(\ell_q)$ for $1 \leq p, q < \infty$. Finally we give a full description of the subspaces that are spanned by a family of disjointly supported vectors and which are $1$-complemented in (real or complex) Orlicz or Lorentz sequence spaces. In particular if an Orlicz or Lorentz space $X$ is not isomorphic to $\ell_p$ for some $1 \leq p < \infty$ then the only subspaces of $X$ which are $1$-complemented and disjointly supported are the closed linear spans of block bases with constant coefficients.


title: Factorization of weakly continuous holomorphic mappings

abstract: We prove a basic property of continuous multilinear mappings between topological vector spaces, from which we derive an easy proof of the fact that a multilinear mapping (and a polynomial) between topological vector spaces is weakly continuous on weakly bounded sets if and only if it is weakly {\it uniformly\/} continuous on weakly bounded sets. This result was obtained in 1983 by Aron, Herv\'es and Valdivia for polynomials between Banach spaces, and it also holds if the weak topology is replaced by a coarser one. However, we show that it need not be true for a stronger topology, thus answering a question raised by Aron. As an application of the first result, we prove that a holomorphic mapping $f$ between complex Banach spaces is weakly uniformly continuous on bounded subsets if and only if it admits a factorization of the form $f=g\circ S$, where $S$ is a compact operator and $g$ a holomorphic mapping.


title: On vanishing sums of $\,m\,$th roots of unity in finite fields

abstract: In an earlier work, the authors have determined all possible weights $n$ for which there exists a vanishing sum $\zeta_1+\cdots +\zeta_n=0$ of $m$th roots of unity $\zeta_i$ in characteristic 0. In this paper, the same problem is studied in finite fields of characteristic $p$. For given $m$ and $p$, results are obtained on integers $n_0$ such that all integers $n\geq n_0$ are in the ``weight set'' $W_p(m)$. The main result $(1.3)$ in this paper guarantees, under suitable conditions, the existence of solutions of $x_1^d+\cdots+x_n^d=0$ with all coordinates not equal to zero over a finite field.


title: A note on the $M^*$--limiting convolution body

abstract: We introduce the mixed convolution bodies of two convex symmetric bodies. We prove that if the boundary of a body $K$ is smooth enough then as $\delta$ tends to $1$ the $\delta$--$M^*$--convolution body of $K$ with itself tends to a multiple of the Euclidean ball after proper normalization. On the other hand we show that the $\delta$--$M^*$--convolution body of the $n$--dimensional cube is homothetic to the unit ball of $\ell_1^n$.