title: Normal forms and biholomorphic equivalence of real hypersurfaces in C^3

abstract: We consider the problem of describing the local biholomorphic equivalence class of a real-analytic hypersurface $M$ at a distinguished point $p_0\in M$ by giving a normal form for such objects. In order for the normal form to carry useful information about the biholomorphic equivalence class, we shall require that the transformation to normal form is unique modulo some finite dimensional group. A classical result due to Chern--Moser gives such a normal form for Levi nondegenerate hypersurfaces. The main results in this paper concern real-analytic hypersurfaces $M$ in $\Bbb C^3$ at certain Levi degenerate points $p_0\in M$, namely points at which $M$ is 2-nondegenerate. We give a partial normal form for all such $(M,p_0)$, i.e. a normal form for the data associated with 2-nondegeneracy. We also give a complete formal normal form for such $(M,p_0)$ under the additional condition that the Levi form has rank one at $p_0$. This result, combined with a recent theorem due to the author, M. S. Baouendi, and L. P. Rothschild stating that formal equivalences between real-analytic finitely nondegenerate hypersurfaces converge, gives a description of the biholomorphic equivalence class of a real-analytic hypersurface in $\Bbb C^3$ at a point of 2-nondegeneracy where the rank of the Levi form is one.


title: Optimal regularity for d-bar-b on CR manifolds

abstract: In this paper a new explicit integral formula is derived for solutions of the tangential Cauchy-Riemann equations on CR q-concave manifolds and optimal estimates in the Lipschitz norms are obtained.


title: Some applications of the Kohn-Rossi extension theorems

abstract: We prove extension results for meromorphic functions by combining the Kohn-Rossi extension theorems with Andreotti's theory on the algebraic and analytic dependence of meromorphic functions on pseudoconcave manifolds. Versions of Kohn-Rossi theorems for pseudoconvex domains are included.


title: The football player and the infinite series

abstract: This is the text of an expository talk given at the May 1997 Detroit meeting of the American Mathematical Society. It is a tale of a famous football player and a subtle problem he posed about the uniform convergence of Dirichlet series. Hiding in the background is the theory of analytic functions of an infinite number of variables.


title: The ubiquity of Thompson's group F in groups of piecewise linear homeomorphisms of the unit interval

abstract: We show that Thompson's group F occurs with great frequency in the group of PL homeomorphisms of the unit interval.


title: Combinatorial methods: from groups to polynomial algebras

abstract: Combinatorial methods (or methods of elementary transformations) came to group theory from low-dimensional topology in the beginning of the century. Soon after that, combinatorial group theory became an independent area with its own powerful techniques. On the other hand, combinatorial commutative algebra emerged in the sixties, after Buchberger introduced what is now known as Gr\"{o}bner bases. The purpose of this survey is to show how ideas from one of those areas contribute to the other.


title: A language theoretic analysis of combings

abstract: A group is combable if it can be represented by a language of words satisfying a fellow traveller property; an automatic group has a synchronous combing which is a regular language. This paper gives a systematic analysis of the properties of groups with combings in various formal language classes, and of the closure properties of the associated classes of groups. It generalises previous work, in particular of Epstein et al. and Bridson and Gilman.


title: Automatic groups associated with word orders other than shortlex

abstract: The existing algorithm to compute and verify the automata associated with an automatic group deals only with the subclass of shortlex automatic groups. This paper describes the extension of the algorithm to deal with automatic groups associated with other word orders (the algorithm has now been implemented ) and reports on the use of the algorithm for specific examples; in particular a very natural automatic (or asynchonously automatic) structure for the Baumslag-Solitar and related classes of groups (closely related to one described for some of those groups by Epstein et al. is found from a wreath product order over shortlex.


title: A topological interpretation of the tower number

abstract: Hurewicz found connections between some topological notions and the combinatorial cardinals b and d. Reclaw gave topological meaning to the definition of the cardinal p. We extend the picture with a topological interpretation of the cardinal t. We compare our notion to the one related to p, and to some other classical notions. This sheds new light on the famous open problem whether p=t.


title: On a reverse form of the Brascamp-Lieb inequality

abstract: We prove a reverse form of the multidimensional Brascamp-Lieb inequality. Our method also gives a new way to derive the Brascamp-Lieb inequality and is rather convenient for the study of equality cases.


title: Reflexivity of the automorphism and isometry groups of some standard operator algebras

abstract: In this paper we give an example of a proper standard C*-algebra (a proper C*-subalgebra of B(H) containing C(H)) whose automorphism and isometry groups are topologically reflexive. Furthermore, we prove that in the case of extensions of C(H) by separable commutative C*-algebras, these groups are algebraically reflexive. Concerning the most well-known extensions of C(H) by the algebra of all continuous complex valued functions on the perimeter of the unit disc, we show that the automorphism and isometry groups are topologically nonreflexive.


title: Asymptotic Redundancies for Universal Quantum Coding

abstract: Clarke and Barron have recently shown that the Jeffreys' invariant prior of Bayesian theory yields the common asymptotic (minimax and maximin) redundancy of universal data compression in a parametric setting. We seek a possible analogue of this result for the two-level {\it quantum} systems. We restrict our considerations to prior probability distributions belonging to a certain one-parameter family, $q(u)$, $-\infty < u < 1$. Within this setting, we are able to compute exact redundancy formulas, for which we find the asymptotic limits. We compare our quantum asymptotic redundancy formulas to those derived by naively applying the classical counterparts of Clarke and Barron, and find certain common features. Our results are based on formulas we obtain for the eigenvalues and eigenvectors of $2^n \times 2^n$ (Bayesian density) matrices, $\zeta_{n}(u)$. These matrices are the weighted averages (with respect to $q(u)$) of all possible tensor products of $n$ identical $2 \times 2$ density matrices, representing the two-level quantum systems. We propose a form of {\it universal} coding for the situation in which the density matrix describing an ensemble of quantum signal states is unknown. A sequence of $n$ signals would be projected onto the dominant eigenspaces of $\ze_n(u)$.


title: The null ideal restricted to some non-null set may be $\aleph_1$-saturated

abstract: Our main result is that possibly some non-null set of reals cannot be divided to uncountably many non-null sets. We deal also with a non-null set of reals, the graph of any function from it is null and deal with our iterations somewhat more generally.


title: On weights of $l$-adic representation

abstract: Let $J$ be an abelian variety over a number field such that the center of its endomorphism ring is equal to the ring of integers. If the endomorphism ring splits at a prime number $l$, then the $l$-adic representation is defined by the minuscule weights (microweights) of simple classical Lie algebras.


title: On Rigidity and the Albanese Variety for Parallelizable Manifolds

abstract: We study the rigidity questions and the Albanese Variety for Complex Parallelizable Manifolds. Both are related to the study of the cohomology group $H^1(X,\mathcal O)$. In particular we show that a compact complex parallelizable manifold is rigid iff $b_1(X)=0$ iff Alb$(X)=\{e\}$ iff $H^1(X,\mathcal O)=0$.


title: Flat Vector Bundles over Parallelizable Manifolds

abstract: We study flat vector bundles over complex parallelizable manifolds.


title: Finite-volume hyperbolic 4-manifolds that share a fundamental polyhedron

abstract: It is known that the volume function for hyperbolic manifolds of dimension $\geq 3$ is finite-to-one. We show that the number of nonhomeomorphic hyperbolic 4-manifolds with the same volume can be made arbitrarily large. This is done by constructing a sequence of finite-sided finite-volume polyhedra with side-pairings that yield manifolds. In fact, we show that arbitrarily many nonhomeomorphic hyperbolic 4-manifolds may share a fundamental polyhedron. As a by-product of our examples, we also show in a constructive way that the set of volumes of hyperbolic 4-manifolds contains the set of even integral multiples of $4\pi^2/3$. This is ``half'' the set of possible values for volumes, which is the integral multiples of $4\pi^2/3$ due to the Gauss-Bonnet formula.


title: Spin^c structures and homotopy equivalences

abstract: We show that a homotopy equivalence between manifolds induces a correspondence between their spin^c-structures, even in the presence of 2-torsion. This is proved by generalizing spin^c-structures to Poincare complexes. A procedure is given for explicitly computing the correspondence under reasonable hypotheses.


title: Complexes of not $i$-connected graphs

abstract: Complexes of (not) connected graphs, hypergraphs and their homology appear in the construction of knot invariants given by V. Vassiliev. In this paper we study the complexes of not $i$-connected $k$-hypergraphs on $n$ vertices. We show that the complex of not $2$-connected graphs has the homotopy type of a wedge of $(n-2)!$ spheres of dimension $2n-5$. This answers one of the questions raised by Vassiliev in connection with knot invariants. For this case the $S_n$-action on the homology of the complex is also determined. For complexes of not $2$-connected $k$-hypergraphs we provide a formula for the generating function of the Euler characteristic, and we introduce certain lattices of graphs that encode their topology. We also present partial results for some other cases. In particular, we show that the complex of not $(n-2)$-connected graphs is Alexander dual to the complex of partial matchings of the complete graph. For not $(n-3)$-connected graphs we provide a formula for the generating function of the Euler characteristic.


title: 2-stack sortable permutations with a given number of runs

abstract: Using earlier results we prove a formula for the number $W_{(n,k)}$ of 2-stack sortable permutations of length $n$ with $k$ runs, or in other words, $k-1$ descents. This formula will yield the suprising fact that there are as many 2-stack sortable permutations with $k-1$ descents as with $k-1$ ascents. We also prove that $W_{(n,k)}$ is unimodal in $k$, for any fixed $n$.


title: Toroidal and annular Dehn fillings

abstract: Suppose $M$ is a hyperbolic 3-manifold which admits two Dehn fillings $M(r_1)$ and $M(r_2)$ such that $M(r_1)$ contains an essential torus and $M(r_2)$ contains an essential annulus. It is known that $\Delta = \Delta(r_1, r_2) \leq 5$. We will show that if $\Delta = 5$ then $M$ is the Whitehead sister link exterior, and if $\Delta = 4$ then $M$ is the exterior of either the Whitehead link or the 2-bridge link associated to the rational number $3/10$. There are infinitely many examples with $\Delta = 3$.


title: Alexander duality, gropes and link homotopy

abstract: We prove a geometric refinement of Alexander duality for certain 2-complexes, the so-called gropes, embedded into 4-space. This refinement can be roughly formulated as saying that 4-dimensional Alexander duality preserves the disjoint Dwyer filtration. In addition, we give new proofs and extended versions of two lemmas of Freedman and Lin which are of central importance in the A-B-slice problem, the main open problem in the classification theory of topological 4-manifolds. Our methods are group theoretical, rather than using Massey products and Milnor \mu-invariants as in the original proofs.


title: Extended Linial Hyperplane Arrangements for Root Systems and a Conjecture of Postnikov and Stanley

abstract: A hyperplane arrangement is said to satisfy the ``Riemann hypothesis'' if all roots of its characteristic polynomial have the same real part. This property was conjectured by Postnikov and Stanley for certain families of arrangements which are defined for any irreducible root system and was proved for the root system $A_{n-1}$. The proof is based on an explicit formula for the characteristic polynomial, which is of independent combinatorial significance. Here our previous derivation of this formula is simplified and extended to similar formulae for all but the exceptional root systems. The conjecture follows in these cases.


title: Errata, updates of the references, etc., for the book Basic Hypergeometric Series

abstract: Here are the latest errata, etc., to the Gasper and Rahman "Basic Hypergeometric Series" book. Any additional errata will be added to the end of the last list.


title: Choiceless polynomial time

abstract: Turing machines define polynomial time (PTime) on strings but cannot deal with structures like graphs directly, and there is no known, easily computable string encoding of isomorphism classes of structures. Is there a computation model whose machines do not distinguish between isomorphic structures and compute exactly PTime properties? This question can be recast as follows: Does there exist a logic that captures polynomial time (without presuming the presence of a linear order)? Earlier, one of us conjectured the negative answer. The problem motivated a quest for stronger and stronger PTime logics. All these logics avoid arbitrary choice. Here we attempt to capture the choiceless fragment of PTime. Our computation model is a version of abstract state machines (formerly called evolving algebras). The idea is to replace arbitrary choice with parallel execution. The resulting logic is more expressive than other PTime logics in the literature. A more difficult theorem shows that the logic does not capture all PTime.


title: On a problem of Steve Kalikov

abstract: The Kalikow problem for a pair (lambda, kappa) of cardinal numbers, lambda > kappa (in particular kappa =2) is whether we can map the family of omega --sequences from lambda to the family of omega --sequences from kappa in a very continuous manner. Namely, we demand that for eta, nu in lambda^omega we have: eta, nu are almost equal if and only if their images are. We show consistency of the negative answer e.g. for aleph_omega but we prove it for smaller cardinals. We indicate a close connection with the free subset property and its variants.


title: Zeta-functions for germs of meromorphic functions and Newton diagrams

abstract: For a germ of a meromorphic function f=P/Q, we offer notions of the monodromy operators at zero and at infinity. If the holomorphic functions P and Q are non-degenerated with respect to their Newton diagrams, we give an analogue of the formula of Varchenko for the zeta-functions of these monodromy operators.


title: Quasi-o-minimal groups

abstract: The authors investigate the structure of quasi-o-minimal groups. Among other results, they show that quasi-o-minimal groups are abelian, that quasi-o-minimal densely ordered archimedian groups are divisible, and that every divisible quasi-o-minimal group is o-miminal.


title: The cohomology of the Lyons group and double covers of alternating groups

abstract: We compute the mod 2 cohomology of the sporadic simple group Ly as well as that of the double covers of the alternating groups A_8 and A_10.


title: Operations on locally free classgroups

abstract: Let G be a finite group and K a number field. We show that the "k-th Adams operation" defined by Cassou-Nogues and Taylor on the locally free class group Cl(Z_K G) is a symmetric power operation, if k is coprime to the order of G. Using the equivariant Adams-Riemann-Roch theorem, we furthermore give a geometric interpretation of a formula established by Burns and Chinburg for these operations.


title: Ordinary differential equations with only entire solutions

abstract: We prove necessary and sufficient conditions for a system $\dot z_i=z_ip_i(z)$ ($p_i$ a polynomial) to have only entire analytic functions as solutions.


title: The Bergman kernel function: explicit formulas and zeroes

abstract: We show how to compute the Bergman kernel functions of some special domains in a simple way. As an application of the explicit formulas, we show that the Bergman kernel functions of some convex domains, for instance the domain in C^3 defined by the inequality |z_1|+|z_2|+|z_3|<1, have zeroes.


title: On 2-generator subgroups of SO(3)

abstract: We classify all subgroups of $SO(3)$ that are generated by two elements, each a rotation of finite order, about axes separated by an angle that is a rational multiple of $\pi$. In all cases we give a presentation of the subgroup. In most cases the subgroup is the free product, or the amalgamated free product, of cyclic groups or dihedral groups. The relations between the generators are all simple consequences of standard facts about rotations by $\pi$ and $\pi/2$. Embedded in the subgroups are explicit free groups on 2 generators, as used in the Banach-Tarski paradox.


title: Linearization of analytic order relations

abstract: We prove that if $\leq$ is an analytic partial order then either $\leq$ can be extended to a (boldface) $\Delta^1_2$ linear order similar to an antichain in $2^{<\omega_1}$ ordered lexicographically or a certain Borel partial order $\leq_0$ embeds in $\leq.$ Some corollaries for analytic equivalence relations are given, for instance, if $E$ is a $\Sigma^1_1[z]$ equivalence relation such that $E_0$ does not embed in $E$ then $E$ is determined by intersections with E-invariand Borel sets coded in $L[z]$.


title: Weak covering and the tree property

abstract: Suppose that there's no transitive model of ZFC + there's a strong cardinal, and let K denote the core model. It is shown that if \delta has the tree property then \delta^{+K} = \delta^+ and \delta is weakly compact in K.


title: A definability theorem for first order logic

abstract: For any first order theory T we construct a Boolean valued model M, in which precisely the T--provable formulas hold, and in which every (Boolean valued) subset which is invariant under all automorphisms of M is definable by a first order formula. Our presentation is entirely selfcontained, and only requires familiarity with the most elementary properties of model theory.


title: Jonsson Cardinals, Erd\H{o}s Cardinals, and the Core Model

abstract: We show that every Jonsson cardinal is Ramsey in the Steel core model, provided that this model exists and there is no model with a Woodin cardinal. This basic result is improved in two directions. First, we prove the same result for delta-Jonsson and delta-Erdos cardinals, where delta is any regular cardinal smaller than kappa. These notions correspond to Jonsson and Erdos cardinals, except that the submodel or set of indiscernibles is only required to have ordertype delta. The delta-Jonsson cardinals come up in the stationary tower forcing. Second, we weaken the assumption that the Steel core model exists by showing that if the universe is a generic extension of L[\vec E] and there is no model with at Woodin cardinal then the model L[E] can take the place of the Steel core model. It follows as a corollary that if L[\vec E] is a minimal model for a Woodin cardinal then every delta-Jonsson cardinal in L[\vec E] is delta-Erdos.


title: Coding into K by reasonable forcing

abstract: Assuming that there is no inner model with a strong cardinal, the following is shown: any subset of \omega_1 can be made \Delta^1_3 (in the codes) by a reasonable set-forcing; there is a reasonable set-generic extension with a \Delta^1_3 well-ordering of its reals; 2-step \Sigma^1_4 absoluteness fails w.r.t. set-sized reasonable forcings.


title: A dichotomy on Schreier sets

abstract: We show that the Schreier sets $\mathcal{S}_{\alpha}\ (\alpha<\omega_1)$ satisfy the following dichotomy property. For every hereditary collection $\cf$ of finite subsets of $\N$, either there exists infinite $M=(m_i)_1^{\infty}\subseteq\N$ such that $\cs_{\alpha}(M)=\{\{m_i:i\in E\}:E\in\cs_{\alpha}\}\subseteq\cf$, or there exist infinite $M=(m_i)_1^{\infty},N\subseteq\N$ such that $\cf[N](M)=\{\{m_i:i\in F\}:F\in\cf \mbox{ and } F\subset N\}\subseteq\cs_{\alpha}$.


title: Factorization of completely bounded weakly compact operators

abstract: We prove that in the setting of operator spaces the result of Davis, Figiel, Johnson and Pelczynski on factoring weakly compact operators holds accordingly. Though not related directly to the main theorem we add a remark on the description of weakly compact subsets in the dual of noncommutative vector valued ${\rm L}_1$.


title: The similarity degree of an operator algebra

abstract: Let $A$ be a unital operator algebra. Let us assume that every {\it bounded\/} unital homomorphism $u\colon \ A\to B(H)$ is similar to a {\it contractive\/} one. Let $\text{\rm Sim}(u) = \inf\{\|S\|\, \|S^{-1}\|\}$ where the infimum runs over all invertible operators $S\colon \ H\to H$ such that the ``conjugate'' homomorphism $a\to S^{-1}u(a)S$ is contractive. Now for all $c>1$, let $\Phi(c) = \sup\text{\rm Sim}(u)$ where the supremum runs over all unital homomorphism $u\colon\ A\to B(H)$ with $\|u\|\le c$. Then, there is $\alpha\ge 0$ such that for some constant $K$ we have: $$\Phi(c) \le Kc^\alpha.\leqno (*)\qquad \forall c>1$$ Moreover, the smallest $\alpha$ for which this holds is an integer, denoted by $d(A)$ (called the similarity degree of $A$) and $(*)$ still holds for some $K$ when $\alpha=d(A)$. Among the applications of these results, we give new characterizations of proper uniform algebras on one hand, and of nuclear $C^*$-algebras on the other. Moreover, we obtain a characterization of amenable groups which answers (at least partially) a question on group representations going back to a 1950 paper of Dixmier.


title: The relations between volume ratios and new concepts of gl constants

abstract: In this paper we investigate a property named GL(p,q) which is closely related to the Gordon-Lewis property. Our results on GL(p,q) are then used to estimate volume ratios relative to $\ell_p$, $1<p \le\infty$, of unconditional direct sums of Banach spaces.


title: The automorphism and isometry groups of $l_\infty(N, B(H))$ are topologically reflexive

abstract: The aim of this note is to show that the automorphism and isometry groups of the C*-algebra $\l_\infty(N,B(H))$ of all bounded sequences in $B(H)$ are topologically reflexive which, as one of our former results shows, is not the case with the "scalar algebra" $l_\infty$.


title: On regularization in superreflexive Banach spaces by infimal convolution formulas

abstract: We present here a new method for approximating functions defined on superreflexive Banach spaces by differentiable functions with $\alpha$-H\"older derivatives (for some $0<\alpha\leq 1$). The smooth approximation is given by means of an explicit formula enjoying good properties from the minimization point of view. For instance, for any function $f$ which is bounded below and uniformly continuous on bounded sets this formula gives a sequence of $\Delta$-convex ${\Cal{C}}^{1,\alpha}$ functions converging uniformly on bounded sets to $f$ and preserving the infimum and the set of minimizers of $f$. The techniques we develop are based on the use of {\sl extended inf-convolution} formulas and convexity properties such as the preservation of smoothness for the convex envelope of certain differentiable functions.


title: A general geometric construction for affine surface area

abstract: Let $K$ be a convex body in ${\bf R}^n$ and $B$ be the Euclidean unit ball in ${\bf R}^n$. We show that $$\mbox{lim}_{t\rightarrow 0} \frac{|K| -|K_t|}{|B| - |B_t|}= \frac{as(K)}{as(B)},$$ where $as(K)$ respectively $as(B)$ is the affine surface area of $K$ respectively $B$ and $\{K_t\}_{t\geq 0}$, $\{B_t\}_{t\geq 0}$ are general families of convex bodies constructed from $K$, $B$ satifying certain conditions. As a corollary we get results obtained in [M-W], [Schm],[S-W] and[W].


title: Basic analog of Fourier series on a {\large $\que$}-quadratic grid

abstract: We prove orthogonality relations for some analogs of trigonometric functions on a $q$-quadratic grid and introduce the corresponding $q$-Fourier series. We also discuss several other properties of this basic trigonometric system and the $q$-Fourier series.


title: Pieri-type formulas for maximal isotropic Grassmannains via triple intersections

abstract: We give an elementary proof of the Pieri-type formula in the cohomology of a Grassmannian of maximal isotropic subspaces of an odd orthogonal or symplectic vector space. This proof proceeds by explicitly computing a triple intersection of Schubert varieties. The decisive step is an exact description of the intersection of two Schubert varieties, from which the multiplicities (which are powers of 2) in the Pieri-type formula are immediately obvious.


title: Compactifying sufficiently regular covering spaces of compact 3-manifolds

abstract: In this paper it is proven that if the group of covering translations of the covering space of a compact, connected, $P^2$-irreducible 3-manifold corresponding to a non-trivial, finitely-generated subgroup of its fundamental group is infinite, then either the covering space is almost compact or the subgroup is infinite cyclic and has normalizer a non-finitely-generated subgroup of the rational numbers. In the first case additional information is obtained which is then used to relate Thurston's hyperbolization and virtual bundle conjectures to some algebraic conjectures about certain 3-manifold groups.


title: $q$-Rook polynomials and matrices over finite fields

abstract: Connections between $q$-rook polynomials and matrices over finite fields are exploited to derive a new statistic for Garsia and Remmel's $q$-hit polynomial. Both this new statistic $mat$ and another statistic for the $q$-hit polynomial $\xi$ recently introduced by Dworkin are shown to induce different multiset Mahonian permutation statistics for any Ferrers board. In addition, for the triangular boards they are shown to generate different families of Euler-Mahonian statistics. For these boards the $\xi$ family includes Denert's statistic $den$, and gives a new proof of Foata and Zeilberger's Theorem that $(exc,den)$ is jointly distributed with $(des,maj)$. The $mat$ family appears to be new. A proof is also given that the $q$-hit polynomials are symmetric and unimodal.


title: Linear inequalities for flags in graded posets

abstract: The closure of the convex cone generated by all flag $f$-vectors of graded posets is shown to be polyhedral. In particular, we give the facet inequalities to the polar cone of all nonnegative chain-enumeration functionals on this class of posets. These are in one-to-one correspondence with antichains of intervals on the set of ranks and thus are counted by Catalan numbers. Furthermore, we prove that the convolution operation introduced by Kalai assigns extreme rays to pairs of extreme rays in most cases. We describe the strongest possible inequalities for graded posets of rank at most 5.


title: Absolutely continuous spectrum for one-dimensional Schr\"odinger operators with slowly decaying potentials: some optimal results

abstract: The absolutely continuous spectrum of one-dimensional Schr\"odinger operators is proved to be stable under perturbation by potentials satisfying mild decay conditions. In particular, the absolutely continuous spectrum of free and periodic Schr\"odinger operators is preserved under all perturbations $V(x)$ satisfying $|V(x)|\leq C(1+x)^{-\alpha}$, $\alpha >\frac{1}{2}.$ This result is optimal in the power scale. More general classes of perturbing potentials which are not necessarily power decaying are also treated. A general criterion for stability of the absolutely continuous spectrum of one-dimensional Schr\"odinger operators is established. In all cases analyzed, the main term of the asymptotic behavior of the generalized eigenfunctions is shown to have WKB form for almost all energies. The proofs rely on new maximal function and norm estimates and almost everywhere convergence results for certain multilinear integral operators.


title: Extension of incompressible surfaces on the boundary of 3-manifolds

abstract: An incompressible surface $F$ on the boundary of a compact orientable 3-manifold $M$ is arc-extendible if there is an arc $\gamma$ on $\partial M - $ Int $F$ such that $F \cup N(\gamma)$ is incompressible, where $N(\gamma)$ is a regular neighborhood of $\gamma$ in $\partial M$. Suppose for simplicity that $M$ is irreducible, and $F$ has no disk components. If $M$ is a product $F\times I$, or if $\partial M - F$ is a set of annuli, then clearly $F$ is not arc-extendible. The main theorem of this paper shows that these are the only obstructions for $F$ to be arc-extendible.


title: Covering a function on the plane by two continuous functions on an uncountable square - the consistency

abstract: It is consistent that for every function f:R x R-> R there is an uncountable set A subseteq R and two continuous functions f_0,f_1:D(A)-> R such that f(alpha, beta) in {f_0(alpha, beta),f_1(alpha, beta)} for every (alpha, beta) in A^2, alpha not = beta .


title: A polarized partition relation and failure of GCH

abstract: The main result is that for lambda strong limit singular failing the continuum hypothesis (i.e. 2^lambda > lambda^+), a polarized partition theorem holds.


title: Stationary sets and infinitary logic

abstract: Let K^0_lambda be the class of structures < lambda,<,A>, where A subseteq lambda is disjoint from a club, and let K^1_lambda be the class of structures < lambda,<,A>, where A subseteq lambda contains a club. We prove that if lambda = lambda^{< kappa} is regular, then no sentence of L_{lambda^+ kappa} separates K^0_lambda and K^1_lambda. On the other hand, we prove that if lambda = mu^+, mu = mu^{< mu}, and a forcing axiom holds (and aleph_1^L= aleph_1 if mu = aleph_0), then there is a sentence of L_{lambda lambda} which separates K^0_lambda and K^1_lambda .


title: On the bifurcation sets of functions definable in o-minimal structures

abstract: Let g:X -> Y be a smooth (i.e. C^\infty differentiable) map between two smooth manifolds. In analogy with the case of complex polynomial functions, we say that y_0 in Y is a typical value of g if there exists an open neighbourhood U of y_0 in Y, such that the restriction g:g^{-1}(U) -> U is a C^\infty trivial fibration. If y_0 in Y is not a typical value of g, then y_0 is called an atypical value of g. We denote by B_g the bifurcation set of g, i.e. the set of atypical values of g. In the case of a complex polynomial function f:C^n -> C it is known that B_f is a finite set. It was previously proved that the bifurcation sets of real polynomial functions are also finite. The aim of this note is to show that the bifurcation set B_f of a smooth definable function f:R^n -> R is finite .


title: Closure of rigid semianalytic sets

abstract: Let K be an algebraically closed field of characteristic zero, endowed with a complete nonarchimedean norm. Let X be a K-rigid analytic variety and \Sigma a semianalytic subset of X. Then the closure of \Sigma in X with respect to the canonical topology is again semianalytic. The proof uses Embedded Resolution of Singularities.


title: Topological transformation groups

abstract: This paper surveys some results and methods in topological transformation groups.


title: Characteristic p Galois representations that are produced by Drinfeld

abstract: We examine which representations of the absolute Galois group of a field of finite characteristic with image over a finite field of the same characteristic may be constructed by the Galois group's action on the division points of an appropriate Drinfeld module.


title: A cardinal invariant related to homogeneous families

abstract: Let "ex" be the cardinality of the smallest independent family of subsets of omega (independent means that all nontrivial Boolean combinations are infinite) which cannot be extended to a homogeneous independent family. "Homogeneous" means that every finite partial map (points to points, sets to sets) that is compatible with the family is induced by a permutation of omega. Despite its apparently ``complex'' (second order) definition, this cardinal is equal to a well-known ``simple'' cardinal invariant from Cichon's diagram.


title: A Partial Order Where All Monotone Maps Are Definable

abstract: It is consistent that there is a partial order (P,<) of size aleph_1 such that every monotone (unary) function from P to P is first order definable in (P,<). The partial order is constructed in an extension obtained by finite support iteration of Cohen forcing. The main points is that (1) all monotone functions from P to P will (essentially) have countable range (this uses a Delta-system argument) and (2) that all countable subsets of P will be first order definable, so we have to code these countable sets into the partial order. Amalgamation of finite structures plays an essential role.


title: Order polynomially complete lattices must be LARGE

abstract: If L is an order polynomially complete lattice, (that is: every monotone function from L^n to L is induced by a lattice-theoretic polynomial) then the cardinality of L is a strongly inaccessible cardinal. In particular, the existence of such lattices is not provable in ZFC, nor from ZFC+GCH. Although the problem originates in algebra, the proof is purely set-theoretical. The main tools are partition and canonisation theorems. It is still open if the existence of infinite o.p.c. lattices can be refuted in ZFC.


title: Rules and Reals

abstract: A ``k-rule" is a sequence A=((A_n,B_n):n<omega) of pairwise disjoint sets B_n, each of cardinality at most k, where A_n is a subset of B_n. A set X of natural numbers (a ``real'') follows a rule A if for infinitely many n we have that the intersection of X with B_n is exactly A_n. There are obvious cardinal invariants resulting from this definition: the least number of reals needed to follow all k-rules, s_k, and the least number of k-rules without a real following all of them, r_k. We investigate these cardinal invariants and their connection to some well-known cardinals from Cichon's diagram. The original motivation for discovering rules was an attempt to construct a maximal homogeneous family over omega. The consistency of such a family is still open.


title: The Complexity of Fuzzy Logic

abstract: Lukasiewicz logic is a "fuzzy" logic in which truth value can be real numbers in the unit interval. There are connectives for min, max, addition and complement (1-x). The "value" of a closed formula in a fuzzy (relational model) is defined in the natural way. A formula is called valid iff it has value 1 in every fuzzy model. We show that the set of valid formulas in Lukasiewicz predicate logic is a complete Pi^0_2 set. We also show that if we restrict our attention to the classical language (min, max, complement) then the classically valid formulas are exactly those formulas whose fuzzy value is 1/2.


title: Topological Completeness for Higher-Order Logic

abstract: Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''. The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.


title: The consistency strength of NFUB

abstract: We show that the consistency strength of the system NFUB, a variant of Quine's "New Foundations" recently introduced by Randall Holmes, is precisely that of [ZFC - Power Set] + "There is a weakly compact cardinal''. This is a preliminary draft of the paper. Nevertheless, it contains a complete proof.


title: Diameter preserving linear bijections of $C(X)$

abstract: The aim of this paper is to solve a linear preserver problem on the function algebra $C(X)$. We show that in case $X$ is a first countable compact Hausdorff space, every linear bijection $\phi:C(X)\to C(X)$ having the property that $diam(\phi(f)(X))=diam(f(X))$ $(f\in C(X))$ is of the form \[ \phi(f)=\tau \cdot f\circ \varphi +t(f)1 \qquad (f\in C(X)) \] where $\tau$ is a complex number of modulus 1, $\varphi:X\to X$ is a homeomorphism and $t$ is a linear functional on $C(X)$.


title: The Santalo-regions of a convex body

abstract: Motivated by the Blaschke-Santal\'o inequality, we define for a convex body K in ${\bf R}^n$ and for $t \in {\bf R}$ the Santal\'o-regions S(K,t) of K. We investigate properties of these sets and relate them to a concept of Affine Differential Geometry, the affine surface area of K.


title: On zonoids whose polars are zonoids

abstract: Zonoids whose polars are zonoids cannot have proper faces of dimension other than $n-1$ or zero ($n\geq 3$). However, there exist non smooth zonoids whose polars are zonoids. Examples in $R^3$ and $R^4$ are given.


title: Metric unconditionality and Fourier analysis

abstract: We investigate several aspects of almost 1-unconditionality. We characterize the metric unconditional approximation property UMAP in terms of ``block unconditionality''. Then we focus on translation invariant subspaces $L^p_E(T)$ and $C_E(T)$ of functions on the circle and express block unconditionality as arithmetical conditions on $E$. Our work shows that the spaces $L^p_E(T)$, $p$ an even integer, have a singular behaviour from the almost isometric point of view: property UMAP does not interpolate between spaces $L^p_E(T)$ and $L^{p+2}_E(T)$. These arithmetical conditions are used to construct counterexamples for several natural questions and to investigate the maximal density of such sets $E$. We also prove that if $E=\{n_k\}_{k\ge1}$ with $|n_{k+1}/n_k|\to\infty$, then $C_E(T)$ has UMAP and we get a sharp estimate of the Sidon constant of Hadamard sets. Finally, we investigate the relationship of metric unconditionality and probability theory.


title: Topology of two-connected graphs and homology of spaces of knots

abstract: We propose a new method of computing cohomology groups of spaces of knots in $\R^n$, $n \ge 3$, based on the topology of configuration spaces and two-connected graphs, and calculate all such classes of order $\le 3.$ As a byproduct we define the higher indices, which invariants of knots in $\R^3$ define at arbitrary singular knots. More generally, for any finite-order cohomology class of the space of knots we define its principal symbol, which lies in a cohomology group of a certain finite-dimensional configuration space and characterizes our class modulo the classes of smaller filtration.


title: Some orthogonal very-well-poised $_8\varphi_7$-functions that generalize Askey-Wilson polynomials

abstract: In a recent paper Ismail, Masson, and Suslov have established a continuous orthogonality relation and some other properties of a $_2\varphi_1$-Bessel function on a $q$-quadratic grid. Dick Askey suggested that the ``Bessel-type orthogonality'' at the $_2\varphi_1$-level has really a general character and can be extended up to the $_8\varphi_7$-level. Very-well-poised $_8\varphi_7$-functions are known as a nonterminating version of the classical Askey--Wilson polynomials. Askey's congecture has been proved by the author. In the present paper we discuss in details some properties of the orthogonal $_8\varphi_7$-functions. Another type of the orthogonality relation for a very-well-poised $_8\varphi_7$-function was recently found by Askey, Rahman, and Suslov.


title: Motion by weighted mean curvature is affine invariant

abstract: Suppose curves are moving by curvature in a plane, but one embeds the plane in $R^3$ and looks at the plane from an angle. Then circles shrinking to a round point would appear to be ellipses shrinking to an ``elliptical point,'' and the surface energy would appear to be anisotropic as would the mobility. The result of this paper is that if one uses the apparent surface energy and the apparent mobility, then the motion by weighted curvature with mobility in the apparent plane is the same as motion by curvature in the original plane but then viewed from the angle. This result applies not only to the isotropic case but to arbitrary surface energy functions and mobilities in the plane, to surfaces in 3-space, and (in the case that the surface energy function is twice differentiable) to the case of motion viewed through distorted lenses (i.e., diffeomorphisms) as well. This result is to be contrasted with an earlier result which states that for area-preserving affine transformations of the plane where the energy and mobility are NOT also transformed, motion by curvature to the power 1/3 (rather than 1) is invariant.


title: Cutting Sequences for Geodesic Flow on the Modular Surface and Continued Fractions

abstract: This paper describes the cutting sequences of geodesic flow on the modular surface H/PSL(2,Z) with respect to the standard fundamental domain F = {z=x+iy: -1/2 <= x <= 1/2 and |z|>=1} of PSL(2,Z). The cutting sequence for a vertical geodesic {\theta+it: t > 0} is related to a one-dimensional continued fraction expansion for \theta, called the one-dimensional Minkowski geodesic continued fraction (MGCF) expansion, which is associated to a parametrized family of reduced bases of a family of 2-dimensional lattices. The set of cutting sequences for all geodesics forms a two-sided shift in a symbol space {L,R,J} which has the same set of forbidden blocks as for vertical geodesics. We show that this shift is not a sofic shift, and that it characterizes the fundamental domain F up to an isometry of the hyperbolic plane H. We give conversion methods between the cutting sequence for the vertical geodesic {\theta+it: t > 0}, the MGCF expansion of \theta and the additive ordinary continued fraction (ACF) expansion of \theta. We show that the cutting sequence and MGCF expansions can each be computed from the other by a finite automaton, and the ACF expansion of \theta can be computed from the cutting sequence for the vertical geodesic \theta+it by a finite automaton. However, the cutting sequence for a vertical geodesic cannot be computed from the ACF expansion by any finite automaton, but there is an algorithm to compute its first l symbols when given as input the first O(l) symbols of the ACF expansion, which takes time O(l^2) and space O(l).


title: Obstructions to Shellability

abstract: We consider a simplicial complex generaliztion of a result of Billera and Meyers that every nonshellable poset contains the smallest nonshellable poset as an induced subposet. We prove that every nonshellable $2$-dimensional simplicial complex contains a nonshellable induced subcomplex with less than $8$ vertices. We also establish CL-shellability of interval orders and as a consequence obtain a formula for the Betti numbers of any interval order.


title: Vertex theorems for capillary drops on support planes

abstract: We consider a capillary drop that contacts several planar bounding walls so as to produce singularities (vertices) in the boundary of its free surface. It is shown under various conditions that when the number of vertices is less than or equal to three, then the free surface must be a portion of a sphere. These results extend the classical theorem of H. Hopf on constant mean curvature immersions of the sphere. The conclusion of sphericity cannot be extended to more than three vertices, as we show by examples.


title: Bases in Systems of Simplices and Chambers

abstract: We consider a finite set $E$ of points in the $n$-dimensional affine space and two sets of objects that are generated by the set $E$: the system $\Sigma$ of $n$-dimensional simplices with vertices in $E$ and the system $\Gamma$ of chambers. The incidence matrix $A= \parallel a_{\sigma, \gamma}\parallel$, $\sigma \in \Sigma$, $\gamma \in \Gamma$, induces the notion of linear independence among simplices (and among chambers). We present an algorithm of construction of bases of simplices (and bases of chambers). For the case $n=2$ such an algorithm was described in the author's paper {\em Combinatorial bases in systems of simplices and chambers} (Discrete Mathematics 157 (1996) 15--37). However, the case of $n$-dimensional space required a different technique. It is also proved that the constructed bases of simplices are geometrical.


title: The combinatorics of Steenrod operations on the cohomology of Grassmannians

abstract: The study of the action of the Steenrod algebra on the mod $p$ cohomology of spaces has many applications to the topological structure of those spaces. In this paper we present combinatorial formulas for the action of Steenrod operations on the cohomology of Grassmannians, both in the Borel and the Schubert picture. We consider integral lifts of Steenrod operations, which lie in a certain Hopf algebra of differential operators. The latter has been considered recently as a realization of the Landweber-Novikov algebra in complex cobordism theory; it also has connections with the action of the Virasoro algebra on the boson Fock space. Our formulas for Steenrod operations are based on combinatorial methods which have not been used before in this area, namely Hammond operators and the combinatorics of Schur functions. We also discuss several applications of our formulas to the geometry of Grassmannians.


title: Chain Decomposition Theorems for Ordered Sets (and Other Musings)

abstract: A brief introduction to the theory of ordered sets and lattice theory is given. To illustrate proof techniques in the theory of ordered sets, a generalization of a conjecture of Daykin and Daykin, concerning the structure of posets that can be partitioned into chains in a ``strong'' way, is proved. The result is motivated by a conjecture of Graham's concerning probability correlation inequalities for linear extensions of finite posets.


title: Combinatorial Representation Theory

abstract: We attempt to survey the field of combinatorial representation theory, describe the main results and main questions and give an update of its current status. We give a personal viewpoint on the field, while remaining aware that there is much important and beautiful work that we have not been able to mention.


title: Residue symbols and Jantzen-Seitz partitions

abstract: Jantzen-Seitz partitions are those $p$-regular partitions of~$n$ which label $p$-modular irreducible representations of the symmetric group $S_n$ which remain irreducible when restricted to $S_{n-1}$; they have recently also been found to be important for certain exactly solvable models in statistical mechanics. In this article we study their combinatorial properties via a detailed analysis of their residue symbols; in particular the $p$-cores of Jantzen-Seitz partitions are determined.


title: Parabolic limits of renormalization

abstract: In this paper we give a combinatorial description of the renormlization limits of infinitely renormalizable unimodal maps with {\it essentially bounded} combinatorics admitting quadratic-like complex extensions. As an application we construct a natural analogue of the period-doubling fixed point. Dynamical hairiness is also proven for maps in this class. These results are proven by analyzing {\it parabolic towers}: sequences of maps related either by renormalization or by {\it parabolic renormalization}.


title: Almost every real quadratic map is either regular or stochastic

abstract: We prove uniform hyperbolicity of the renormalization operator for all possible real combinatorial types. We derive from it that the set of infinitely renormalizable parameter values in the real quadratic family $P_c: x\mapsto x^2+c$ has zero measure. This yields the statement in the title (where ``regular'' means to have an attracting cycle and ``stochastic'' means to have an absolutely continuous invariant measure). An application to the MLC problem is given.


title: Not collapsing cardinals <= kappa in (< kappa) --support iterations

abstract: We deal with the problem of preserving various versions of completeness in (< kappa) --support iterations of forcing notions, generalizing the case ``S --complete proper is preserved by CS iterations for a stationary co-stationary S subseteq omega_1''. We give applications to Uniformization and the Whitehead problem. In particular, for a strongly inaccessible cardinal kappa and a stationary set S subseteq kappa with fat complement we can have uniformization for < A_delta : delta in S'>, A_delta subseteq delta = sup A_delta, cf(delta)=otp(A_delta) and a stationary non-reflecting set S' subseteq S .


title: Erd\H{o}s and Renyi conjecture

abstract: Affirming a conjecture of Erd\H{o}s and Renyi we prove that for any (real number) c_1>0 for some c_2>0, if a graph G has no c_1(log n) nodes on which the graph is complete or edgeless (i.e. G exemplifies |G| not-> (c_1 log n)^2_2) then G has at least 2^{c_2n} non-isomorphic (induced) subgraphs.


title: Toward categoricity for classes with no maximal models

abstract: We provide here the first steps toward Classification Theory of Abstract Elementary Classes with no maximal models, plus some mild set theoretical assumptions, when the class is categorical in some lambda greater than its Lowenheim-Skolem number. We study the degree to which amalgamation may be recovered, the behaviour of non mu-splitting types. Most importantly, the existence of saturated models in a strong enough sense is proved, as a first step toward a complete solution to the Los Conjecture for these classes.


title: Nonstable K-theory for Z-stable C*-algebras

abstract: Let Z denote the simple limit of prime dimension drop algebras that has a unique tracial state. Let A != 0 be a unital C^*-algebra with A = A tensor Z. Then the homotopy groups of the group U(A) of unitaries in A are stable invariants, namely, \pi_i(U(A)) = K_{i-1}(A) for all integers i >= 0. Furthermore, A has cancellation for full projections, and satisfies the comparability question for full projections. Analogous results hold for non-unital Z-stable C^*-algebras.


title: The monodromy matrix for a family of almost periodic Schr\"odinger equations in the adiabatic case

abstract: This work is devoted to the study of a family of almost periodic one-dimensional Schr\"odinger equations. We define a monodromy matrix for this family. We study the asymptotic behavior of this matrix in the adiabatic case. Therefore, w develop a complex WKB method for adiabatic perturbations of periodic Schr\"odinger equations. At last, the study of the monodromy matrix enables us to get some spectral results for the initial family of almost periodic equations.


title: On the Lojasiewicz exponent at infinity for polynomial functions

abstract: The Lojasiewicz exponent at infinity of an entire function measures of the infimal rate of growth of its gradient. The authors compute the Lojasiewicz exponents at infinity of the 3-variable complex polynomials x - 3 x^{2n+1} y^{2q} + 2 x^{3n+1} y^{3q} + y z


title: Existentially closed models of the theory of Artinian local rings

abstract: The class of all Artinian local rings of length at most l is A_2-elementary, axiomatised by a finite set of axioms Art_l. We show that its existentially closed models are Gorenstein, of length exactly l and their residue fields are algebraically closed, and, conversely, every existentially closed model is of this form. The theory Gor_l of all Artinian local Gorenstein rings of length l with algebraically closed residue field is model complete and the theory Art_l is companionable, with model-companion Gor_l.


title: Algorithmic aspects of homeomorphism problems

abstract: We will describe some results regarding the algorithmic nature of homeomorphism problems for manifolds; in particular, the following theorem. Theorem 1: Every PL or smooth simply connected manifold M^n of dimension n at least 5 can be recognized among simply connected manifolds. That is, there is an algorithm to decide whether or not another simply connected manifold is Top, PL or Diff isomorphic to M. Moreover, an analogous statement is true for embeddings in codimension at least three: one can algorithmically recognize any given embedding of one simply connected manifold in another up to isomorphism of pairs, or up to isotopy, if the codimension of the embedding is not two.


title: A theorem on spherically complete valued abelian groups

abstract: We give a criterion for a group homomorphism on a valued abelian group to be surjective and to preserve spherical completeness. We apply this to give a criterion for the existence of integration on a valued differential field. Further, we give a criterion for a sum of spherically complete subgroups of a valued abelian group to be spherically complete. This in turn can be used to determine elementary properties of power series fields in positive characteristic.


title: Ward's solitions

abstract: Using the `Riemann Problem with zeros' method, Ward has constructed exact solutions to a (2+1)-dimensional integrable Chiral Model, which exhibit solitons with nontrivial scattering. We give a correspondence between what we conjecture to be all pure soliton solutions and certain holomorphic vector bundles on a compact surface.


title: Explicit exponential maps for Hecke characters at ordinary primes

abstract: In this paper we establish the explicit exponential map for the Galois representation from a Hecke character at an ordinary prime. Such explicit maps are important in verifying the Bloch-Kato conjecture for Hecke characters.


title: On Bloch-Kato's Tamagawa number conjecture for Hecke characters of imaginary quadratic number fields

abstract: This is essentially the author's thesis submited to The University of Chicago (May 1997). I prove the validity of Tamagawa number conjecture of Bloch-Kato for certain Hecke characters. I study the exponential map and local Tamagawa number for all odd primes (both ordinary and supersingular), using Kato's explicit reciprocity law for one dimensional Lubin-Tate formal group. I also study p-part of Shafarevich-Tate group for motives associated to Hecke characters, using Rubin's Main Conjecture in Iwasawa theory. Interestingly a congruence property between p-adic periods of elliptic curve and weight 1 Eisenstein series evaluated at torsion CM points play a crucial role in the proof of Bloch-Kato conjecture.


title: Sur le rang de J_0(q)

abstract: In this paper, we prove an unconditionnal bound for the analytic rank (i.e the order of vanishing at the critical point of the $L$ function) of the new part $J^n_0(q)$, of the jacobian of the modular curve $X_0(q)$. Our main resultis the following upper bound: for $q$ prime, one has $$rank_a(J_0^n(q))\ll \dim J_0^n(q)$$ where the implied constant is absolute. All previously known non trivials bounds of $rank_a(J_0^n(q))$ assumed the generalized Riemann hypothesis; here, our proof is unconditionnal, and is based firstly on the construction by Perelli and Pomykala of a new test function in the context of Riemann-Weil explicit formulas, and secondly on a density theorem for the zeros of $L$ functions attached to new forms.


title: Sur les zeros des fonctions L automorphes

abstract: We study, on average over f, zeros of the L-functions of primitive weight two forms of level q (fixed). We prove, on the one hand, density theorems for the zeros (similar to the results of Bombieri, Jutila, Motohashi, Selberg in the case of characters), which are applied in \cite{KM} to obtain a sharp unconditionnal estimate of the (analytic) rank of the new part of J_0(q); and, on the other hand, non-vanishing theorems at the critical point, showing that a positive proportion of L-functions are non zero there.


title: Holomorphic factorization of matrices of polynomials

abstract: This paper considers some work done by the author and Catlin [CD1,CD2,CD3] concerning positivity conditions for bihomogeneous polynomials and metrics on bundles over certain complex manifolds. It presents a simpler proof of a special case of the main result in [CD3], providing also a self-contained proof of a generalization of the main result from [CD1]. Some new examples and applications appear here as well. The idea is to use the Bergman kernel function and some operator theory to prove purely algebraic theorems about matrices of polynomials. Theorem 1. [Catlin-D'Angelo]. Suppose that $f$ is a bihomogeneous real-valued polynomial on ${\bf C^n}$ of degree $2m$. Then $f$ is positive away from the origin if and only there is an integer $d$ and a holomorphic homogeneous polynomial mapping $A$, whose components span the space of homogeneous polynomials of degree $m+d$, such that $$ ||z||^{2d} f(z,{\overline z}) = ||A(z)||^2.$$ Suppose that $F(z,{\overline z})$ is an $r$ by $r$ matrix whose entries are bihomogeneous polynomials of degree $2m$. Then $F(z,{\overline z})$ is positive-definite at each point $z \ne 0$ if and only if there is an integer $d$ and a holomorphic homogeneous polynomial matrix $A$, whose row vectors span the space of $r$-tuples of homogeneous polynomials of degree $m+d$, such that $$||z||^{2d} F(z,{\overline z}) = A(z)^* A(z).$$


title: Automorphisms of generalized Thompson groups

abstract: We look at the automorphisms of Thompson type groups of piecewise linear homeomorphisms of the real line or circle that use slopes that are integral powers of a fixed integer n with n>2. We show that large numbers of "exotic" automorphisms appear---automorphisms that are represented as conjugation by non-PL homeomorphisms of the real line or circle. This is in contrast to the n=2 case where no such automorphisms appear.


title: Electronic Mathematics Journals

abstract: In the Forum section of the November, 1993 Notices of the American Mathematical Society, John Franks discussed the electronic journal of the future. Since then, the New York Journal of Mathematics, the first electronic general mathematics journal, has begun publication. In this article, we explore the issues of electronic journal publishing in the context of this new project. We also discuss future developments.


title: Transference in spaces of measures

abstract: The transference theory for Lp spaces of Calderon, Coifman, and Weiss is a powerful tool with many applications to singular integrals, ergodic theory, and spectral theory of operators. Transference methods afford a unified approach to many problems in diverse areas, which before were proved by a variety of methods. The purpose of this paper is to bring about a similar approach to the study of measures. Specifically, deep results in classical harmonic analysis and ergodic theory, due to Bochner, de Leeuw-Glicksberg, Forelli, and others, are all extensions of the classical F.&M. Riesz Theorem. We will show that all these extensions are obtainable via our new transference principle for spaces of measures.


title: On an inequality of A.~Grothendieck concerning operators on $L^1$

abstract: In 1955, A.~Grothendieck proved a basic inequality which shows that any bounded linear operator between $L^1(\mu)$-spaces maps (Lebesgue-) dominated sequences to dominated sequences. An elementary proof of this inequality is obtained via a new decomposition principle for the lattice of measurable functions. An exposition is also given of the M.~L\'evy extension theorem for operators defined on subspaces of $L^1(\mu)$-spaces.


title: Nonhyperbolic Dehn fillings on hyperbolic 3-manifolds

abstract: We give three infinite families of examples of nonhyperbolic Dehn fillings on hyperbolic manifolds. A manifold in the first family admits two Dehn fillings of distance two apart, one of which is toroidal and annular, and the other is reducible and $\partial$-reducible. A manifold in the second family has boundary consisting of two tori, and admits two reducible Dehn fillings. A manifold in the third family admits a toroidal filling and a reducible filling with distance 3 apart. These examples establish the virtual bounds for distances between certain types of nonhyperbolic Dehn fillings.


title: Brownian Motion in a Weyl Chamber, Non-Colliding Particles, and Random Matrices

abstract: Let $n$ particles move in standard Brownian motion in one dimension, with the process terminating if two particles collide. This is a specific case of Brownian motion constrained to stay inside a Weyl chamber; the Weyl group for this chamber is $A_{n-1}$, the symmetric group. For any starting positions, we compute a determinant formula for the density function for the particles to be at specified positions at time $t$ without having collided by time $t$. We show that the probability that there will be no collision up to time $t$ is asymptotic to a constant multiple of $t^{-n(n-1)/4}$ as $t$ goes to infinity, and compute the constant as a polynomial of the starting positions. We have analogous results for the other classical Weyl groups; for example, the hyperoctahedral group $B_n$ gives a model of $n$ independent particles with a wall at $x=0$. We can define Brownian motion on a Lie algebra, viewing it as a vector space; the eigenvalues of a point in the Lie algebra correspond to a point in the Weyl chamber, giving a Brownian motion conditioned never to exit the chamber. If there are $m$ roots in $n$ dimensions, this shows that the radial part of the conditioned process is the same as the $n+2m$-dimensional Bessel process. The conditioned process also gives physical models, generalizing Dyson's model for $A_{n-1}$ corresponding to ${\mathfrak s}{\mathfrak u}_n$ of $n$ particles moving in a diffusion with a repelling force between two particles proportional to the inverse of the distance between them.


title: From Morse-Smale to all knots and links

abstract: We analyse the topological (knot-theoretic) features of a certain codimension-one bifurcation of a partially hyperbolic fixed point in a flow on $\real^3$ originally described by Shil'nikov. By modifying how the invariant manifolds wrap around themselves, or ``pleat,'' we may apply the theory of templates, or branched two-manifolds, to capture the topology of the flow. This analysis yields a class of flows which bifurcate from a Morse-Smale flow to a Smale flow containing periodic orbits of all knot and link types.


title: A remark on the regularity of prehomogeneous vector spaces

abstract: In this note, we prove that if $(G,V)$ is a prehomogeneous vector space over any field $k$ such that the stabilizer of a generic point is reductive, the set of semi-stable points is a single orbit over the separable closure of $k$.


title: A tree--arrowing graph

abstract: We answer a variant of a question of Rodl and Voigt by showing that, for a given infinite cardinal lambda, there is a graph G of cardinality kappa =(2^lambda)^+ such that for any colouring of the edges of G with lambda colours, there is an induced copy of the kappa-tree in G in the set theoretic sense with all edges having the same colour.


title: Gain-induced oscillations in blood pressure

abstract: "Mayer waves" are long-period (6 to 12 seconds) oscillations in arterial blood pressure, which have been observed and studied for more than 100 years in the cardiovascular system of humans and other mammals. A mathematical model of the human cardiovascular system is presented, incorporating parameters relevantto the onset of Mayer waves. The model is analyzed using methods of Lyapunov stability and Hopf bifurcation theory. The analysis shows that increase in the gain of the baroreflex feedback loop controlling venous volume may lead to the onset of oscillations, while changes in the other parameters considered do not affect stability of the equilibrium state. The results agree with clinical observations of Mayer waves in human subjects, both in the period of the oscillations and in the observed age-dependence of Mayer waves. This leads to a proposed explanation of their occurrence, namely that Mayer waves are a "gain-induced instability".


title: The exponential rank of non-Archimedean exponential fields

abstract: Based on the work of Hahn, Baer, Ostrowski, Krull, Kaplansky and the Artin-Schreier theory, and stimulated by a paper of S. Lang in 1953, the theory of real places and convex valuations has witnessed a remarkable development and has become a basic tool in the theory of ordered fields and real algebraic geometry. In this paper, we take a further step by adding an exponential function to the ordered field.


title: Functions on space curves

abstract: We classify simple singularities of functions on space curves. We show that their bifurcation sets have properties very similar to those of functions on smooth manifolds and complete intersections [1,2]: the k(pi, 1)-theorem for the bifurcations diagram of functions is true, and both this diagram and the discriminant are Saito's free divisors.


title: An estimate for the multiplicity of binary recurrences

abstract: In this paper we improve drastically the estimate for the multiplicity of a binary recurrence. The main contribution comes from an effective version of the Faltings' Product Theorem.


title: Formal groups, elliptic curves, and some theorems of Couveignes

abstract: The formal group law of an elliptic curve has seen recent applications to computational algebraic geometry in the work of Couveignes to compute the order of an elliptic curve over finite fields of small characteristic. The purpose of this paper is to explain in an elementary way how to associate a formal group law to an elliptic curve and to expand on some theorems of Couveignes. In addition, the paper serves as background for [J. Number Theory 70 (1998), 127-145]. We treat curves defined over arbitrary fields, including fields of characteristic two or three.


title: Elementary background in elliptic curves

abstract: This paper gives additional background in algebraic geometry as an accompaniment to the article, ``Formal Groups, Elliptic Curves, and some Theorems of Couveignes'' [arXiv:math.NT/9708215]. Section 1 discusses the addition law on elliptic curves, and Sections 2 and 3 explain about function fields, uniformizers, and power series expansions with respect to a uniformizer.


title: On a domain in C^2 with generic piecewise smooth Levi-flat boundary and non-compact automorphism group

abstract: In this paper, we prove that if D is a simply-connected domain in C^2 with generic piecewise smooth Levi-flat boundary and non-compact automorphism group, then D is biholomorphic to the bidisc. The proof is based on a careful analysis of invariant measures.


title: An Endomorphism of a Finitely Generated Residually Finite Group

abstract: Let $\phi:G\rightarrow G$ be an endomorphism of a finitely generated residually finite group. R.~Hirshon asked if there exists~$n$ such that the restriction of $\phi$ to $\phi^n(G)$ is injective. We give an example to show that this is not always the case.


title: A Survey of Ultraproduct Constructions in General Topology

abstract: We survey various attempts to transport the ultraproduct construction from the realm of model theory to that of general topology.


title: Generalized cohesiveness

abstract: We study some generalized notions of cohesiveness which arise naturally in connection with effective versions of Ramsey's Theorem. An infinite set $A$ of natural numbers is $n$--cohesive (respectively, $n$--r--cohesive) if $A$ is almost homogeneous for every computably enumerable (respectively, computable) $2$--coloring of the $n$--element sets of natural numbers. (Thus the $1$--cohesive and $1$--r--cohesive sets coincide with the cohesive and r--cohesive sets, respectively.) We consider the degrees of unsolvability and arithmetical definability levels of $n$--cohesive and $n$--r--cohesive sets. For example, we show that for all $n \ge 2$, there exists a $\Delta^0_{n+1}$ $n$--cohesive set. We improve this result for $n = 2$ by showing that there is a $\Pi^0_2$ $2$--cohesive set. We show that the $n$--cohesive and $n$--r--cohesive degrees together form a linear, non--collapsing hierarchy of degrees for $n \geq 2$. In addition, for $n \geq 2$ we characterize the jumps of $n$--cohesive degrees as exactly the degrees ${\bf \geq \jump{0}{(n+1)}}$ and show that each $n$--r--cohesive degree has jump ${\bf > \jump{0}{(n)}}$.


title: A note on some versions of club

abstract: This note gives two results on guessing unbounded subsets of lambda^+. The first is a positive result and applies to the situation of lambda regular, while the second is a negative consistency result which applies to the situation of lambda singular. Both results are connected to an earlier result of the same authors in which they showed that a certain version of clubsuit holds at a successor of singular just in ZFC. The first result here shows that that fact can to a certain extent be extended to the successor of singular. The negative result here gives limitations to the extent to which one can hope to extend the afore mentioned fact. This note is presently only available as an electronic publication. It can be obtained as a ps file either from the e-prints archive, or from the authors' home pages.


title: A note on pairs of projections

abstract: We give a brief proof of a recent result of Avron, Seiler and Simon.


title: Generalizing the Paley-Wiener perturbation theory for Banach spaces

abstract: We extend the Paley-Wiener pertubation theory to linear operators mapping a subspace of one Banach space into another Banach space.


title: Spectral characterization of sums of commutators II

abstract: For countably generated ideals, $\Jc$, of $B(\Hil)$, geometric stability is necessary for the canonical spectral characterization of sums of $(\Jc,B(\Hil))$--commutators to hold. This answers a question raised by Dykema, Figiel, Weiss and Wodzicki. There are some ideals, $\Jc$, having quasi--nilpotent elements that are not sums of $(\Jc,B(\Hil))$--commutators. Also, every trace on every geometrically stable ideal is a spectral trace.


title: Spectral characterization of sums of commutators I

abstract: Suppose $\Cal J$ is a two-sided quasi-Banach ideal of compact operators on a separable infinite-dimensional Hilbert space $\Cal H$. We show that an operator $T\in\Cal J$ can be expressed as finite linear combination of commutators $[A,B]$ where $A\in\Cal J$ and $B\in\Cal B(\Cal H)$ if and only its eigenvalues $(\lambda_n)$ (arranged in decreasing order of absolute value, repeated according to algebraic multiplicity and augmented by zeros if necessary) satisfy the condition that the diagonal operator $\diag\{\frac1n(\lambda_1+\cdots +\lambda_n)\}$ is a member of $\Cal J.$ This answers (for quasi-Banach ideals) a question raised by Dykema, Figiel, Weiss and Wodzicki.


title: Stability results on interpolation scales of quasi-Banach spaces and applications

abstract: We investigate stability of Fredholm properties on interpolation scales of quasi-Banach spaces. This analysis is motivated by problems arising in PDE's and several applications are presented.


title: Distances between Banach spaces

abstract: The main object of the paper is to study the distance between Banach spaces introduced by Kadets. For Banach spaces $X$ and $Y$, the Kadets distance is defined to be the infimum of the Hausdorff distance $d(B_X,B_Y)$ between the respective closed unit balls over all isometric linear embeddings of $X$ and $Y$ into a common Banach space $Z.$ This is compared with the Gromov-Hausdorff distance which is defined to be the infimum of $d(B_X,B_Y)$ over all isometric embeddings into a common metric space $Z$. We prove continuity type results for the Kadets distance including a result that shows that this notion of distance has applications to the theory of complex interpolation.


title: Nonlinear equations and weighted norm inequalities

abstract: We study connections between the problem of the existence of positive solutions for certain nonlinear equations and weighted norm inequalities. In particular, we obtain explicit criteria for the solvability of the Dirichlet problem $$\aligned -& \Delta u = v \, u^q + w, \quad u \ge 0 \quad \text {on} \quad \Omega, \\ &u = 0 \quad \text {on} \quad \partial \Omega, \endaligned $$ on a regular domain $\Omega$ in $\bold R^n$ in the ``superlinear case'' $q > 1$. The coefficients $v, w$ are arbitrary positive measurable functions (or measures) on $\Omega$. We also consider more general nonlinear differential and integral equations, and study the spaces of coefficients and solutions naturally associated with these problems, as well as the corresponding capacities. Our characterizations of the existence of positive solutions take into account the interplay between $v$, $w$, and the corresponding Green's kernel. They are not only sufficient, but also necessary, and are established without any a priori regularity assumptions on $v$ and $w$; we also obtain sharp two-sided estimates of solutions up to the boundary. Some of our results are new even if $v \equiv 1$ and $\Omega$ is a ball or half-space. The corresponding weighted norm inequalities are proved for integral operators with kernels satisfying a refined version of the so-called $3 G$-inequality by an elementary ``integration by parts'' argument. This also gives a new unified proof for some classical inequalities including the Carleson measure theorem for Poisson integrals and trace inequalities for Riesz potentials and Green potentials.


title: Noncommutative Interpolation and Poisson transforms

abstract: General results of interpolation (eg. Nevanlinna-Pick) by elements in the noncommutative analytic Toeplitz algebra $F^\infty$ (resp. noncommutative disc algebra $A_n$) with consequences to the interpolation by bounded operator-valued analytic functions in the unit ball of ${\bf C}^n$ are obtained. Non-commutative Poisson transforms are used to provide new von Neumann type inequalities. Completely isometric representations of the quotient algebra $F^\infty/J$ on Hilbert spaces, where $J$ is any $w^*$-closed, 2-sided ideal of $F^\infty$, are obtained and used to construct a $w^*$-continuous, $F^\infty/J$--functional calculus associated to row contractions $T=[T_1,\dots, T_n]$ when $f(T_1,\dots,T_n)=0$ for any $f\in J$. Other properties of the dual algebra $F^\infty/J$ are considered.


title: On isometric stability of complemented subspaces of ${L_p}$

abstract: We show that Rudin-Plotkin isometry extension theorem in $L_p$ implies that when $X$ and $Y$ are isometric subspaces of $L_p$ and $p$ is not an even integer, $1 \leq p < \infty$, then $X$ is complemented in $L_p$ if and only if $Y$ is; moreover the constants of complementation of $X$ and $Y$ are equal. We provide examples demonstrating that this fact fails when $p$ is an even integer larger than 2.


title: Some conjectures about integral means of $\partial f$ and $\bar{\partial} f$

abstract: We discuss some conjectural inequalities that are related to singular integrals, martingales, quasiconformal mappings, and the calculus of variations. Specifically, we present evidence for a conjecture of Iwaniec concerning the best constant for the Beurling-Ahlfors Operator.


title: Banach spaces with the Daugavet property

abstract: A Banach space $X$ is said to have the Daugavet property if every operator $T: X\to X$ of rank~$1$ satisfies $\|Id+T\| = 1+\|T\|$. We show that then every weakly compact operator satisfies this equation as well and that $X$ contains a copy of $\ell_{1}$. However, $X$ need not contain a copy of $L_{1}$. We also study pairs of spaces $X\subset Y$ and operators $T: X\to Y$ satisfying $\|J+T\|=1+\|T\|$, where $J: X\to Y$ is the natural embedding. This leads to the result that a Banach space with the Daugavet property does not embed into a space with an unconditional basis. In another direction, we investigate spaces where the set of operators with $\|Id+T\|=1+\|T\|$ is as small as possible and give characterisations in terms of a smoothness condition.


title: On asymptotic properties of Banach spaces under renormings

abstract: It is shown that a separable Banach space $X$ can be given an equivalent norm $|\!|\!|\cdot |\!|\!|$ with the following properties:\quad If $(x_n)\subseteq X$ is relatively weakly compact and $\lim_{m\to\infty} \lim_{n\to\infty}\break |\!|\!| x_m + x_n |\!|\!| = 2\lim_{m\to\infty} |\!|\!| x_m|\!|\!|$ then $(x_n)$ converges in norm. This yields a characterization of reflexivity once proposed by V.D.~Milman. In addition it is shown that some spreading model of a sequence in $(X, |\!|\!|\cdot |\!|\!|)$ is 1-equivalent to the unit vector basis of $\ell_1$ (respectively, $c_0$) implies that $X$ contains an isomorph of $\ell_1$ (respectively, $c_0$).


title: Manifolds not containing Gompf nuclei

abstract: In this note we show that there are 4-manifolds not containing Gompf nucleus $N_2$; in this way we answer Problem 4.98 of Kirby's problem list in the negative.


title: Gauge Symmetry and Integrable Models

abstract: We establish the isomorphism between a nonlinear $\sigma$-model and the abelian gauge theory on an arbitrary curved background, which allows us to derive integrable models and the corresponding Lax representations from gauge theoretical point of view. In our approach the spectral parameter is related to the global degree of freedom associated with the conformal or Galileo transformations of the spacetime. The B$\ddot{\rm a}$cklund transformations are derived from Chern-Simons theory where the spectral parameter is defined in terms of the extract compactified space dimension coordinate.


title: Doubles of groups and hyperbolic LERF 3-manifolds

abstract: We show that the quasiconvex subgroups in doubles of certain negatively curved groups are closed in the profinite topology. This allows us to construct the first known large family of hyperbolic 3-manifolds such that any finitely generated subgroup of the fundamental group of any member of the family is closed in the profinite topology.


title: The Quantum Dynamics of the Compactified Trigonometric Ruijsenaars-Schneider Model

abstract: We quantize a compactified version of the trigonometric Ruijse\-naars-Schneider particle model with a phase space that is symplectomorphic to the complex projective space CP^N. The quantum Hamiltonian is realized as a discrete difference operator acting in a finite-dimensional Hilbert space of complex functions with support in a finite uniform lattice over a convex polytope (viz., a restricted Weyl alcove with walls having a thickness proportional to the coupling parameter). We solve the corresponding finite-dimensional (bispectral) eigenvalue problem in terms of discretized Macdonald polynomials with q (and t) on the unit circle. The normalization of the wave functions is determined using a terminating version of a recent summation formula due to Aomoto, Ito and Macdonald. The resulting eigenfunction transform determines a discrete Fourier-type involution in the Hilbert space of lattice functions. This is in correspondence with Ruijsenaars' observation that---at the classical level---the action-angle transformation defines an (anti)symplectic involution of CP^N. From the perspective of algebraic combinatorics, our results give rise to a novel system of bilinear summation identities for the Macdonald symmetric functions.


title: Low regularity semi-linear wave equations

abstract: We prove local well-posedness results for the semi-linear wave equation for data in $H^\gamma$, $0 < \gamma < \frac{n-3}{2(n-1)}$, extending the previously known results for this problem. The improvement comes from an introduction of a two-scale Lebesgue space $X^{r,p}_k$.


title: Correlation between pole location and asymptotic behavior for Painlev\'e I solutions

abstract: We extend the technique of asymptotic series matching to exponential asymptotics expansions (transseries) and show that the extension provides a method of finding singularities of solutions of nonlinear differential equations, using asymptotic information. This transasymptotic matching method is applied to Painlev\'e's first equation. The solutions of P1 that are bounded in some direction towards infinity can be expressed as series of functions, obtained by generalized Borel summation of formal transseries solutions; the series converge in a neighborhood of infinity. We prove (under certain restrictions) that the boundary of the region of convergence contains actual poles of the associated solution. As a consequence, the position of these exterior poles is derived from asymptotic data. In particular, we prove that the location of the outermost pole $x_p(C)$ on $\RR^+$ of a solution is monotonic in a parameter $C$ describing its asymptotics on antistokes lines$^1$, and obtain rigorous bounds for $x_p(C)$. We also derive the behavior of $x_p(C)$ for large $C\in\CC$. The appendix gives a detailed classical proof that the only singularities of solutions of P1 are poles.


title: Quadratic volume preserving maps

abstract: We study quadratic, volume preserving diffeomorphisms whose inverse is also quadratic. Such maps generalize the H\'enon area preserving map and the family of symplectic quadratic maps studied by Moser. In particular, we investigate a family of quadratic volume preserving maps in three space for which we find a normal form and study invariant sets. We also give an alternative proof of a theorem by Moser classifying quadratic symplectic maps.


title: Bounded hyperbolic components of quadratic rational maps

abstract: Let ${\cal H}$ be a hyperbolic component of quadratic rational maps possessing two distinct attracting cycles. We show that ${\cal H}$ has compact closure in moduli space if and only if neither attractor is a fixed point.


title: On Rational Maps with Two Critical Points

abstract: This is a preliminary investigation of the geometry and dynamics of rational maps with only two critical points. (originally titled ``On Bicritical Rational Maps'' in September 1997; revised and retitled April 1999)


title: A compactification of Henon mappings in C^2 as dynamical systems

abstract: In \cite {HO1}, it was shown that there is a topology on $\C^2\sqcup S^3$ homeomorphic to a 4-ball such that the H\'enon mapping extends continuously. That paper used a delicate analysis of some asymptotic expansions, for instance, to understand the structure of forward images of lines near infinity. The computations were quite difficult, and it is not clear how to generalize them to other rational maps. In this paper we will present an alternative approach, involving blow-ups rather than asymptotics. We apply it here only to H\'enon mappings and their compositions, but the method should work quite generally, and help to understand the dynamics of rational maps $f:\Proj^2\ratto\Proj^2$ with points of indeterminacy. The application to compositions of H\'enon maps proves a result suggested by Milnor, involving embeddings of solenoids in $S^3$ which are topologically different from those obtained from H\'enon mappings.


title: Ideals, Cohen sets and consistent extensions of the Erd\H{o}s-Dushnik-Miller Theorem

abstract: We present two different types of models where, for certain singular cardinals lambda of uncountable cofinality, lambda -> (lambda, omega+1)^2, although lambda is not a strong limit cardinal. We announce, here, and will present in a subsequent paper, that, for example, consistently, aleph_{omega_1} not-> (aleph_{omega_1}, omega+1)^2 and consistently, 2^{aleph_0} not-> (2^{aleph_0},omega +1)^2 .


title: Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part C

abstract: In this paper we prove a strong nonstructure theorem for kappa (T)-saturated models of a stable theory T with dop.


title: The Kaplansky test problems for aleph_1-separable groups

abstract: We answer a long-standing open question by proving in ordinary set theory, ZFC, that the Kaplansky test problems have negative answers for aleph_1-separable abelian groups of cardinality aleph_1. In fact, there is an aleph_1-separable abelian group M such that M is isomorphic to M oplus M oplus M but not to M oplus M .


title: Topological density of ccc Boolean algebras - every cardinality occurs.

abstract: For every uncountable cardinal mu there is a ccc Boolean algebra whose topological density is mu .


title: Z_8 is not dualizable

abstract: In this paper we show that Z_8 does not admit a natural duality. In fact, we show that 2Z_8 = {2, 4, 6, 8 | +,.} is not dualizable, and this will imply that the original ring is not dualizable, either. As a corollary we show that Sindi's conjecture does not hold. Our technique will be similar to one due to Quackenbush and Szab\'o, where non-dualizability is proved for the quaternion group.


title: Differential algebras of Legendrian links

abstract: The problem of classification of Legendrian knots (links) up to isotopy in the class of Legendrian embeddings (Legendrian isotopy) naturally leads to the following two subproblems. The first of them is: which combinations of the three classical invariants can be realized by a Legendrian knot? (It is well-known that each invariant by itself can be realized by a Legendrian knot). The first step in this direction was done by Bennequin who proved that the Bennequin number of a Legendrian knot is less than twice its genus. The second subproblem is whether there exist a pair of Legendrian knots which have the same classical invariants but are not Legendrian isotopic. Eliashberg and Fraser showed that this is impossible when knots are trivial as smooth knots. In the present paper, we develop a theory which allows us, in particular, to find a counterexample to this subproblem.


title: Variations of Hodge-de Rham structure and elliptic modular units

abstract: This is a revised version of ANT-0049. Given an elliptic curve E --> B over a base B with zero section i, we denote, letting E':= E - i(B), by L(E) the Q-vector space with basis ({s}, s \in E'(B)). Assume that B is smooth and separated over a field of characteristic 0. On the lowest step, the weak version of the elliptic Zagier conjecture predicts the existence of a homomorphism \phi from the kernel of a certain differential d on L(E) to the vector space O*(B) \otimes Q of units on B. This homomorphism should behave functorially with respect to change of the base B, and it should satisfy a certain norm compatibility. Also, if B is the spectrum of a local field, then the absolute value of \phi should be expressible in terms of the local N\'eron height function. In this paper, we give a proof of this. We also connect the values of \phi on specific elements of ker(d) to modular, and to elliptic units.


title: Elliptic curves of high rank over function fields

abstract: By the Mordell-Weil theorem the group of Q(z)-rational points of an elliptic curve is finitely generated. It is not known whether the rank of this group can get arbitrary large as the curve varies. Mestre and Nagao have constructed examples of elliptic curves E with rank at least 13. In this paper a method is explained for finding a 14th independent point on E, which is defined over k(z), with [k:Q]=2. The method is applied to Nagao's curve. For this curve one has k=Q(sqrt{-3}). The curves E and 13 of the 14 independent points are already defined over a smaller field k(t), with [k(z):k(t)]=2. Again for Nagao's curve it is proved that the rank of E(\bar Q(t)) is exactly 13, and that rank E(Q(t)) is exactly 12.


title: The consistency strength of projective uniformization, revisited

abstract: It is shown that if every projective set of reals is Lebesgue measurable and has the property of Baire, if every projective set in the plane has a projective uniformization, and if Steel's K exists, then J^K_{\omega_1} \models "there are infinitely many strong cardinals." This is best possible, by a recent result of Steel.


title: Ideal norms associated with the UMD-property

abstract: We prove the asymptotic equivalence of three sequences of ideal norms associated with the UMD-property of Banach spaces.


title: A supplement to my paper on real and complex operator ideals

abstract: We show that the main problem left open in Wenzel: "Real and complex operator ideals" (wenzelopidls.latex), can be solved using the Banach spaces $Z_\alpha$ recently constructed by Kalton: "An elementary example of a Banach space not isomorphic to its complex conjugate" (kaltoncmplxbsp.tex). This gives an example of a complex operator ideal that has no real analogue. It thus shows the richer structure of complex operator ideals compared with the real ones.


title: Superreflexivity and J-convexity of Banach spaces

abstract: A Banach space X is superreflexive if each Banach space Y that is finitely representable in X is reflexive. Superreflexivity is known to be equivalent to J-convexity and to the non-existence of uniformly bounded factorizations of the summation operators S_n through X. We give a quantitative formulation of this equivalence. This can in particular be used to find a factorization of S_n through X, given a factorization of S_N through [L_2,X], where N is `large' compared to n.


title: $L^p$ bounds for singular integrals and maximal singular integrals with rough kernels

abstract: Convolution type Calder\'on-Zygmund singular integral operators with rough kernels $\pv \Om(x)/|x|^n$ are studied. A condition on $\Om$ implying that the corresponding singular integrals and maximal singular integrals map $L^p \to L^p$ for $1<p<\nf$ is obtained. This condition is shown to be different from the condition $\Om\in H^1(\sn)$.


title: Variational evolution problems and nonlocal geometric motion

abstract: We consider two variational evolution problems related to Monge-Kantorovich mass transfer. These problems provide models for collapsing sandpiles and for compression molding. We prove the following connection between these problems and nonlocal geometric curvature motion: The distance functions to surfaces moving according to certain nonlocal geometric laws are solutions of the variational evolution problems. Thus we do the first step of the proof of heuristics developed in earlier works. The main techniques we use are differential equations methods in the Monge-Kantorovich theory.


title: Embedded minimal ends asymptotic to the helicoid

abstract: The ends of a complete embedded minimal surface of {\em finite total curvature} are well understood (every such end is asymptotic to a catenoid or to a plane). We give a similar characterization for a large class of ends of {\em infinite total curvature}, showing that each such end is asymptotic to a helicoid. The result applies, in particular, to the genus one helicoid and implies that it is embedded outside of a compact set in ${\mathbb R}^3$.


title: Poincar\'e inequalities and quasiconformal structure on the boundary of some hyperbolic buildings

abstract: In this paper we shall show that the boundary $\partial I_{p,q}$ of the hyperbolic building $I_{p,q}$ considered in M. Bourdon, \emph{Immeubles hyperboliques, dimension conforme et rigidit\'e de Mostow} (Geometric And Functional Analysis, Vol 7 (1997), p 245-268) admits Poincar\'e type inequalities. Then by using Heinonen-Koskela's work, we shall prove Loewner capacity estimates for some families of curves of $\partial I_{p,q}$ and the fact that every quasiconformal homeomorphism $f : \partial I_{p,q} \longrightarrow \partial I_{p,q}$ is quasisymetric. Therefore by these results, the answers to certain questions of Heinonen and Semmes are NO.


title: Singular normal form for the Painlev\'e equation P1

abstract: We show that there exists a rational change of coordinates of Painlev\'e's P1 equation $y''=6y^2+x$ and of the elliptic equation $y''=6y^2$ after which these two equations become analytically equivalent in a region in the complex phase space where $y$ and $y'$ are unbounded. The region of equivalence comprises all singularities of solutions of P1 (i.e. outside the region of equivalence, solutions are analytic). The Painlev\'e property of P1 (that the only movable singularities are poles) follows as a corollary. Conversely, we argue that the Painlev\'e property is crucial in reducing P1, in a singular regime, to an equation integrable by quadratures.


title: The multipliers of periodic points in one-dimensional dynamics

abstract: It will be shown that the smooth conjugacy class of an $S-$unimodal map which does not have a periodic attractor neither a Cantor attractor is determined by the multipliers of the periodic orbits. This generalizes a result by M.Shub and D.Sullivan for smooth expanding maps of the circle.


title: Correspondence and translation principles for the Mandelbrot set

abstract: New insights into the combinatorial structure of the Mandelbrot set are given by `Correspondence' and `Translation' Principles both conjectured and partially proved by E. Lau and D. Schleicher. We provide complete proofs of these principles and discuss results related to them. Note: The `Translation' and `Correspondence' Principles given earlier turned out to be false in the general case. In April 1999, an errata was added to discuss which parts of the two statements are incorrect and which parts remain true.


title: Rational rays and critical portraits of complex polynomials

abstract: The aim of this work is to describe the equivalence relations in $\Q/\Z$ that arise as the rational lamination of polynomials with all cycles repelling. We also describe where in parameter space one can find a polynomial with all cycles repelling and a given rational lamination. At the same time we derive some consequences that this study has regarding the topology of Julia sets.


title: On quantum cohomology rings of partial flag varieties

abstract: The main goal of this paper is to give a unified description for the structure of the small quantum cohomology rings for all homogeneous spaces of SL_n(C).


title: Ratner's theorem and invariant theory

abstract: In this note, we consider applications of Ratner's theorem to constructions of families of polynomials with dense values on the set of primitive integer points from the viewpoint of invariant theory.


title: Similar but not the same: various versions of club do not coincide

abstract: Various versions of club are shown to be different. A question of Soukup, Fuchino and Juhasz, is it consistent to have a stick without club, is answered as a consequence. The more detailed version of the paper, which is coming up, also answers a question of Galvin.


title: Consistency of partition relation for cardinal in (lambda,2^lambda)

abstract: We present a forcing for blowing up 2^lambda and making ``many positive polarized partition relations'' (in a sense made precise in (c) of our main theorem) hold in the interval [lambda, 2^lambda]. This generalizes results of [276], Section 1, and the forcing is a ``many cardinals'' version of the forcing there.


title: Ultrafilters on omega --- their ideals and their cardinal characteristics

abstract: For a free ultrafilter U on omega we study several cardinal characteristics which describe part of the combinatorial structure of U. We provide various consistency results; e.g. we show how to force simultaneously many characters and many pi --characters. We also investigate two ideals on the Baire space omega^omega naturally related to U and calculate cardinal coefficients of these ideals in terms of cardinal characteristics of the underlying ultrafilter.


title: On strong measure zero subsets of {}^kappa 2 .

abstract: This paper answers three questions posed by the first author. In Theorem 2.6 we show that the family of strong measure zero subsets of {}^{omega_1}2 is 2^{aleph_1}-additive under GMA and CH. In Theorem 3.1 we prove that the generalized Borel conjecture is false in {}^{omega_1}2 assuming ZFC+CH. Next, in Theorem 4.2, we show that the family of subsets of {}^{omega_1}2 with the property of Baire is not closed under the Souslin operation.


title: Generalization of the Chekanov theorem: diameters of immersed manifolds and wave fronts

abstract: The Chekanov theorem generalizes the classic Lyusternik-Shnirel'man and Morse theorems concerning critical points of a smooth function on a closed manifold. A Legendrian submanifold \Lambda of space of 1-jets of the functions on a manifold M defines a multi-valued function whose graph is the projection of \Lambda in J^0 M = M x R. The Chekanov theorem asserts that if \Lambda is homotopic to the 1-jet of a smooth function in the class of embedded Legendrian manifolds, then such a graph of a multi-valued function must have a lot of points (their number is determined by the topology of M) at which the tangent plane to the graph is parallel to M \times 0. In the present paper a similar estimate is proved for a wider class of Legendrian manifolds. We consider Legendrian manifolds homotopic (in the class of embedded Legendrian manifolds) to Legendrian manifolds specified by generating families.


title: The Pfaffian closure on an o-minimal structure

abstract: Every o-minimal expansion R-tilde of the real field has an o-minimal expansion P(R-tilde) in which the solutions to Pfaffian equations with definable C^1 coefficients are definable.


title: Recovering asymptotics of metrics from fixed energy scattering data

abstract: The problem of recovering the asymptotics of a short range perturbation of the Euclidean metric on R^n from fixed energy scattering data is studied. It is shown that if two such metrics, g1, g2, have scattering data at some fixed energy which are equal up to smoothing, then there exists a diffeomorphism \psi `fixing infinity' such that \psi^*(g1) - g2 is rapidly decreasing. Given the scattering matrix at two energies, it is shown that the asymptotics of a metric and a short range potential can be determined simultaneously. These results also hold for a wide class of scattering manifolds.