title: A game on partial orderings

abstract: We study the determinacy of the game G_kappa (A) introduced in [FKSh:549] for uncountable regular kappa and several classes of partial orderings A. Among trees or Boolean algebras, we can always find an A such that G_kappa (A) is undetermined. For the class of linear orders, the existence of such A depends on the size of kappa^{< kappa}. In particular we obtain a characterization of kappa^{< kappa}= kappa in terms of determinacy of the game G_kappa (L) for linear orders L .


title: The determination of the internal structure of the sun by the density distribution

abstract: This paper examines a number of analytic models which can describe the gravitationally stabilized fusion reactor of the Sun. An analytical multiparameter model is shown to reproduce various structure parameters such as density, mass, pressure and temperature throughout the solar core, which have been obtained by solving numerically the system of solar structure differential equations. For simplicity, numerical and analytical results are discussed in detail for a two-parameter model.


title: Weighted norm inequalities for polynomial expansions associated to some measures with mass points

abstract: Fourier series in orthogonal polynomials with respect to a measure $\nu$ on $[-1,1]$ are studied when $\nu$ is a linear combination of a generalized Jacobi weight and finitely many Dirac deltas in $[-1,1]$. We prove some weighted norm inequalities for the partial sum operators $S_n$, their maximal operator $S^*$ and the commutator $[M_b, S_n]$, where $M_b$ denotes the operator of pointwise multiplication by $b \in \BMO$. We also prove some norm inequalities for $S_n$ when $\nu$ is a sum of a Laguerre weight on $\R^+$ and a positive mass on $0$.


title: Identities on cardinals less than aleph_omega

abstract: Let kappa be an uncountable cardinal and the edges of a complete graph with kappa vertices be colored with aleph_0 colors. For kappa >2^{aleph_0} the Erd\H{o}s-Rado theorem implies that there is an infinite monochromatic subgraph. However, if kappa <= 2^{aleph_0}, then it may be impossible to find a monochromatic triangle. This paper is concerned with the latter situation. We consider the types of colorings of finite subgraphs that must occur when kappa <= 2^{aleph_0}. In particular, we are concerned with the case aleph_1 <= kappa <= aleph_omega


title: Coloring finite subsets of uncountable sets

abstract: It is consistent for every (1 <= n< omega) that (2^omega = omega_n) and there is a function (F:[omega_n]^{< omega}-> omega) such that every finite set can be written at most (2^n-1) ways as the union of two distinct monocolored sets. If GCH holds, for every such coloring there is a finite set that can be written at least (sum^n_{i=1}{n+i choose n}{n choose i}) ways as the union of two sets with the same color.


title: A note on Carnot geodesics in nilpotent Lie groups

abstract: We show that strictly abnormal geodesics arise in graded nilpotent Lie groups. We construct such a group, for which some Carnot geodesics are strictly abnormal; in fact, they are not normal in any subgroup. In the step-2 case we also prove that these geodesics are always smooth. Our main technique is based on the equations for the normal and abnormal curves, that we derive (for any Lie group) explicitly in terms of the structure constants.


title: Fixed points of elliptic reversible transformations with integrals

abstract: We show that for a certain family of integrable reversible transformations, the curves of periodic points of a general transformation cross the level curves of its integrals. This leads to the divergence of the normal form for a general reversible transformation with integrals. We also study the integrable holomorphic reversible transformations coming from real analytic surfaces in C^2 with non-degenerate complex tangents. We show the existence of real analytic surfaces with hyperbolic complex tangents, which are contained in a real hyperplane, but cannot be transformed into the Moser-Webster normal form through any holomorphic transformation.


title: Divergence of the normalization for real Lagrangian surfaces near complex tangents

abstract: We study real Lagrangian analytic surfaces in C^2 with a non-degenerate complex tangent. Webster proved that all such surfaces can be transformed into a quadratic surface by formal symplectic transformations of C^2. We show that there is a certain dense set of real Lagrangian surfaces which cannot be transformed into the quadratic surface by any holomorphic (convergent) transformation of C^2. The divergence is contributed by the parabolic character of a pair of involutions generated by the real Lagrangian surfaces.


title: Integrable analytic vector fields with a nilpotent linear part

abstract: We study the normalization of integrable analytic vector fields with a nilpotent linear part. We prove that such an analytic vector field can be transformed into a certain form by convergent transformations when it has a non-singular formal integral. In particular, we show that a formally linearizable analytic vector field with a nilpotent linear part is linearizable by convergent transformations. We then prove that there are smoothly linearizable parabolic analytic transformations which cannot be embedded into the flow of any analytic vector field with a nilpotent linear part.


title: Unimodular invariants of totally real tori in C^n

abstract: We study the global invariants of real analytic manifolds in the complex space with respect to the group of holomorphic unimodular transformations. We consider only totally real manifolds which admits a certain fibration over the circle. We find a complete set of invariants for totally real tori in C^n which are close to the standard torus. The invariants are obtained by an analogous classification of complex-valued analytic $n$-forms on the standard torus. We also study the realization of certain exact complex-valued analytic $n$-forms on the standard torus through non-critical totally real embeddings.


title: Detecting quasiconvexity: algorithmic aspects

abstract: The main result of this paper states that for any group $G$ with an automatic structure $L$ with unique representatives one can construct a uniform partial algorithm which detects $L$-rational subgroups and gives their preimages in $L$. This provides a practical, not just theoretical, procedure for solving the occurrence problem for such subgroups.


title: Quasiconvexity and Amalgams

abstract: We obtain a criterion for quasiconvexity of a subgroup of an amalgamated free product of two word hyperbolic groups along a virtually cyclic subgroup. The result provides a method of constructing new word hyperbolic group in class (Q), that is such that all their finitely generated subgroups are quasiconvex. It is known that free groups, hyperbolic surface groups and most 3-dimensional Kleinian groups have property (Q). We also give some applications of our results to one-relator groups and exponential groups.


title: An example of a non-quasiconvex subgroup of a word hyperbolic group with exotic limit set

abstract: We construct an example of a torsion free freely indecomposable finitely presented non-quasiconvex subgroup $H$ of a word hyperbolic group $G$ such that the limit set of $H$ is not the limit set of a quasiconvex subgroup of $G$. In particular, this gives a counterexample to the conjecture of G.Swarup that a finitely presented one-ended subgroup of a word hyperbolic group is quasiconvex if and only if it has finite index in its virtual normalizer.


title: Semi-Cohen Boolean algebras

abstract: We investigate classes of Boolean algebras related to the notion of forcing that adds Cohen reals. A >>Cohen algebra<< is a Boolean algebra that is dense in the completion of a free Boolean algebra. We introduce and study generalizations of Cohen algebras: semi-Cohen algebras, pseudo-Cohen algebras and potentially Cohen algebras. These classes of Boolean algebras are closed under completion.


title: Bounds on Volume Increase under Dehn Drilling Operations

abstract: In this paper we investigate how the volume of hyperbolic manifolds increases under the process of removing a curve, that is, Dehn drilling. If the curve we remove is a geodesic we are able to show that for a certain family of manifolds the volume increase is bounded above by $\pi \cdot l$ where $l$ is the length of the geodesic drilled. Also we construct examples to show that there is no lower bound to the volume increase in terms of a linear function of a positive power of length and in particular volume increase is not bounded linearly in length.


title: On the Mumford-Tate conjecture for abelian varieties with reduction conditions

abstract: We study monodromy action on abelian varieties satisfying certain bad reduction conditions. These conditions allow us to get some control over the Galois image. As a consequence we verify the Mumford--Tate conjecture for such abelian varieties.


title: An embedding of {\bf C} in {\bf C}$^2$ with hyperbolic complement

abstract: Let $X$ be a closed, $1$-dimensional, complex subvariety of $\CC^2$ and let $\ol{\BB}$ be a closed ball in $\CC^2 - X$. Then there exists a Fatou-Bieberbach domain $\Omega$ with $X \subseteq \Omega \subseteq \CC^2 - \ol{\BB}$ and a biholomorphic map $\Phi: \Omega \ra \CC^2$ such that $\CC^2 - \Phi(X)$ is Kobayashi hyperbolic. As corollaries, there is an embedding of the plane in $\CC^2$ whose complement is hyperbolic, and there is a nontrivial Fatou-Bieberbach domain containing any finite collection of complex lines.


title: Compositional roots of H\'enon maps

abstract: Let $H$ denote a composition of complex H\'enon maps in {\bf C}$^2$. In this paper we show that the only possible compositional roots of $H$ are also compositions of H\'enon maps, and that $H$ can have compositional roots of only finitely many distinct orders.


title: Circle Packings in the Unit Disc

abstract: A Bl-packing is a (branched) circle packing that ``properly covers'' the unit disc. We establish some fundamental properties of such packings. We give necessary and sufficient conditions for their existence, prove their uniqueness, and show that their underlying surfaces, known as carriers, are quasiconformally equivalent to surfaces of classical Blaschke products. We also extend our earlier approximation results of to general combinatorial patterns of tangencies in Bl-packings. Finally, a branched version of the Discrete Uniformization Theorem of Beardon and Stephenson is given.


title: Self Avoiding Walks, the Language of Science, and Fibonacci Numbers

abstract: The Bordelaise philosophy, or rather a juvenile version of it, is used to enumerate self avoiding walks in a $[0,1] \times (- \infty, \infty)$.


title: The Method of Undetermined Generalization and Specialization Illustrated with Fred Galvin's Amazing Proof of the Dinitz Conjecture

abstract: Fred Galvin's amazing proof of the Dinitiz conjecture is used to illustrate the method of undetermined generalization and specialization.


title: Addition formulas for q-special functions

abstract: A general addition formula for a two-parameter family of Askey-Wilson polynomials is derived from the quantum $SU(2)$ group theoretic interpretation. This formula contains most of the previously known addition formulas for $q$-Legendre polynomials as special or limiting cases. A survey of the literature on addition formulas for $q$-special functions using quantum groups and quantum algebras is given.


title: Inversion of an integral transform and ladder representations of U(1,q)

abstract: An integral transform for G=U(1,q) is studied. The transform maps the positive spin ladder representations of G on a Bargmann-Segal-Fock space F_n^1,q into a space of polynomial-valued functions on the bounded realization B^q of G/K. An inversion is given for the transform and unitary structures are given for the geometric realization of the positive spin ladder representations over G/K.


title: On the automorphism groups of complex homogeneous spaces

abstract: If G is a (connected) complex Lie Group and Z is a generalized flag manifold for G, the the open orbits D of a (connected) real form G_0 of G form an interesting class of complex homogeneous spaces, which play an important role in the representation theory of G_0. We find that the group of automorphisms, i.e., the holomorphic diffeomorphisms, is a finite-dimensional Lie group, except for a small number of open orbits, where it is infinite dimensional. In the finite-dimensional case, we determine its structure. Our results have some consequences in representation theory.


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

abstract: In this paper, we consider the most non-split parabolic D_4 type prehomogeneous vector space. The vector space is an analogue of the space of Hermitian forms. We determine the principal part of the zeta function.


title: On Shintani zeta functions for GL(2)

abstract: In this paper we consider an analogue of the zeta function for not necessarily prehomogeneous representations of GL(2) and compute some of the poles.


title: Floer homologies for Lagrangian intersections and instantons

abstract: In 1985 lectures at MSRI, A. Casson introduced an interesting integer valued invariant for any oriented integral homology 3-sphere Y via beautiful constructions on representation spaces (see [1] for an exposition). The Casson invariant \lambda(Y) is roughly defined by measuring the oriented number of irreducible representations of the fundamental group \pi_1(Y) in SU(2). Such an invariant generalized the Rohlin invariant and gives surprising corollaries in low dimensional topology.


title: Localizations of infinite subsets of omega

abstract: In the present paper we are interested in properties of forcing notions which measure in a sense the distance between the ground model reals and the reals in the extension. We look at the ways the ``new'' reals can be aproximated by ``old'' reals. We consider localizations for infinite subsets of omega. Though each member of [omega]^omega can be identified with its increasing enumeration, the (standard) localizations of the enumeration does not provide satisfactory information on successive points of the set. They give us ``candidates'' for the n-th point of the set but the same candidates can appear several times for distinct n. That led to a suggestion that we should consider disjoint subsets of omega as sets of ``candidates'' for successive points of the localized set. We have two possibilities. Either we can demand that each set from the localization contains a limited number of members of the localized set or we can postulate that each intersection of that kind is large. Localizations of this kind are studied in section 1. In the second section we investigate localizations of infinite subsets of omega by sets of integers from the ground model. These localizations might be thought as localizations by partitions of omega into successive intervals.


title: Basic differential forms for actions of Lie groups II.

abstract: The assumption in the main result of [Peter W. Michor: Basic Differential Forms for Actions of Lie Groups, Proc. AMS 124, 5 (1996) 1633-1642] is removed. Thus: A section of a Riemannian $G$-manifold $M$ is a closed submanifold $\Si$ which meets each orbit orthogonally. It is shown that the algebra of $G$-invariant differential forms on $M$ which are horizontal in the sense that they kill every vector which is tangent to some orbit, is isomorphic to the algebra of those differential forms on $\Si$ which are invariant with respect to the generalized Weyl group of $\Si$, without any further condition.


title: Topological conjugacy of circle diffeomorphisms

abstract: The classical criterion for a circle diffeomorphism to be topologically conjugate to an irrational rigid rotation was given by A. Denjoy. In 1985, one of us (Sullivan) gave a new criterion. There is an example satisfying Denjoy's bounded variation condition rather than Sullivan's Zygmund condition and vice versa. This paper will give the third criterion which is implied by either of the above criteria.


title: Four symmetry classes of plane partitions under one roof

abstract: In previous paper, the author applied the permanent-determinant method of Kasteleyn and its non-bipartite generalization, the Hafnian-Pfaffian method, to obtain a determinant or a Pfaffian that enumerates each of the ten symmetry classes of plane partitions. After a cosmetic generalization of the Kasteleyn method, we identify the matrices in the four determinantal cases (plain plane partitions, cyclically symmetric plane partitions, transpose-complement plane partitions, and the intersection of the last two types) in the representation theory of sl(2,C). The result is a unified proof of the four enumerations.


title: Central Extensions of Word Hyperbolic Groups

abstract: Thurston has claimed (unpublished) that central extensions of word hyperbolic groups by finitely generated abelian groups are automatic. We show that they are in fact biautomatic. Further, we show that every 2-dimensional cohomology class on a word hyperbolic group can be represented by a bounded 2-cocycle. This lends weight to the claim of Gromov that for a word hyperbolic group, the cohomology in every dimension is bounded.


title: The Warwick Automatic Groups Software

abstract: This paper provides a description of the algorithms employed by the Warwick AUTOMATA package for calculating the finite state automata associated with a short-lex automatic group. The aim is to provide an overview of the whole process, rather than concentrating on technical details, which have been already been published elsewhere. A number of related programs are also described.


title: Exponential groups 2: Extensions of centralizers and tensor completion of CSA groups

abstract: For a CSA group $G$ and a wide class of abelian groups $A$ we give an explicit construction for the tensor $A$-completion of $G$ using free products with amalgamations. We apply the obtained results to the study of basic properties of $A$-free groups. In particular, canonical and reduced forms of elements in $A$-free groups are introduced, and then commuting and conjugate elements are described.


title: An alternative proof that the Fibonacci group F(2,9) is infinite

abstract: This note contains a report of a proof by computer that the Fibonacci group F(2,9) is automatic. The automatic structure can be used to solve the word problem in the group. Furthermore, it can be seen directly from the word-acceptor that the group generators have infinite order, which of course implies that the group itself is infinite.


title: The chameleon groups of Richard J. Thompson: automorphisms and dynamics

abstract: The automorphism groups of several of Thompson's countable groups of piecewise linear homeomorphisms of the line and circle are computed and it is shown that the outer automorphism groups of these groups are relatively small. These results can be interpreted as stability results for certain structures of PL functions on the circle. Machinery is developed to relate the structures on the circle to corresponding structures on the line.


title: Disjunctive identities of finite groups and identities of regular representations

abstract: In this paper we explicitly compute finite bases of disjunctive identities and finite bases of regular representations for a number of interesting finite groups.


title: Some results on Teichm\"uller spaces of Klein surfaces

abstract: This paper contains some results about Teichm\"uller spaces of non-orientable surfaces (Klein surfaces). We prove several theorems giving isomorphisms between deformation spaces of Klein surfaces. These results show the similarity between the deformation theory of Klein surfaces, and the theory of Riemann surfaces. We also use the results of I. Kra to give explicit examples of deformation spaces of compact Klein surfaces.


title: More on real-valued measurable cardinals and forcing with ideals

abstract: Answering two questions of D. Fremlin [Real-valued measurable cardinals, in Set Theory of the Reals, H. Judah ed. 1993, 151-305 ] we show the following: (1) If c is real-valued measurable then the Maharam type of (c,P(c),sigma) is 2^c. (2) It is consistent to have k real-valued measurable but for every submodel V_1 with k measurable in it there are no k reals which are random over V_1.


title: Adding a lot of Cohen reals by adding a few

abstract: The purpose of the paper is to produce models V_1 \subset V_2 such that adding kappa-many Cohen reals to V_2 adds lambda Cohen reals to V_1. Some of the results: 1. Suppose that V satisfies GCH, kappa = \cup kappa_n= \cup o(kappa_n). Then there is a cardinal preserving generic extension V_1 of V satisfying GCH and having the same reals as V does , so that adding kappa many Cohen reals over V_1 produces kappa^+ Cohen reals over V. 2. Suppose that V is a model of GCH. Then there is a cofinality preserving extension V_1 satisfying GCH so that adding a Cohen real to V_1 produces aleph_1 Cohen reals over V. 3. There is a pair (W,W_1) of generic cofinality preserving etensions of L such that W is contained in W_1 and W_1 contains a perfect set of W-reals which is not in W. The last statement is a slight improvement of a result of B.Velickovic and H.Woodin on the Prikry problem.


title: Errata to `Automorphisms of First-order Structures'

abstract: This is a list of the typographic and other errors that occur in `Automorphisms of first-order structures', by R. W. Kaye and H. D. Macpherson (eds), Oxford University Press, 1994.


title: On universal graphs without cliques or withour large bipartite graphs

abstract: For every uncountable cardinal $\lambda$, suitable negations of the Generalized Continuum Hypothesis imply: - For all infinite $\alpha$ and $\beta$, there is no universal $K_{\alpha,\beta}$-free graphs in $\lambda$ - For all $\alpha\ge 3$, there is no universal $K_\alpha$-free graph in $\lambda$ The instance $K_{\omega,\omega_1}$ for $\lambda=\aleph_1$ was settled by Komjath and Pach from the principle $\diamondsuit(\omega_1)$.


title: Representing embeddability as set inclusion

abstract: A few steps are made towards representation theory of embeddability among uncountable graphs. A monotone class of graphs is defined by forbidding countable subgraphs, related to the graph's end-structure. Using a combinatorial theorem of Shelah it is proved: - The complexity of the class in every regular uncountable $\l>\aleph_1$ is at least $\lambda^+ + \sup\{\mu^{\aleph_0}:\mu^+<\lambda\}$ - For all regular uncountable $\lambda>\aleph_1$ there are $2^\lambda$ pairwise non embeddable graphs in the class having strong homogeneity properties. - It is characterized when some invariants of a graph $G\in \Cal G_\lambda$ have to be inherited by one of fewer than $\lambda$ subgraphs whose union covers $G$. All three results are obtained as corollaries of a representation theorem that asserts the existence of a surjective homomorphism from the relation of embeddability over isomorphism types of regular cardinality $\lambda>\aleph_1$ onto set inclusion over all subsets of reals or cardinality $\lambda$ or less. Continuity properties of the homomorphism are used to extend the first result to all singular cardinals below the first cardinal fixed point of second order. The first result shows that, unlike what Shelah showed in the class of all graphs, the relations of embeddability in this class is not independent of negations of the GCH.


title: On a Glimm -- Effros dichotomy and an Ulm--type classification in Solovay model

abstract: We prove that in Solovay model every OD equivalence E on reals either admits an OD reduction to the equality on the set of all countable (of length < omega_1) binary sequences, or continuously embeds E_0, the Vitali equivalence. If E is a Sigma_1^1 (resp. Sigma_1^2) relation then the reduction in the ``either'' part can be chosen in the class of all Delta_1 (resp. Delta_2) functions. The proofs are based on a topology generated by OD sets.


title: Indiscernible Sequences for Extenders, and the Singular Cardinal Hypothesis

abstract: We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem: Suppose $\kappa$ is a singular strong limit cardinal and $2^\kappa >= \lambda$ where $\lambda$ is not the successor of a cardinal of cofinality at most $\kappa$. (i) If $\cofinality(\kappa)>\gw$ then $o(\kappa)\ge\lambda$. (ii) If $\cofinality(\kappa)=\gw$ then either $o(\kappa)\ge\lambda$ or $\set{\ga:K\sat o(\ga)\ge\ga^{+n}}$ is cofinal in $\kappa$ for each $n\in\gw$. In order to prove this theorem we give a detailed analysis of the sequences of indiscernibles which come from applying the covering lemma to nonoverlapping sequences of extenders.


title: The Daugavet equation for operators on function spaces

abstract: We prove the norm identity $\|\Id+T\| =1+\|T\|$, which is known as the Daugavet equation, for weakly compact operators $T$ on natural function spaces such as function algebras and $L^{1}$-predual spaces, provided a non-discreteness assumption is met. We also consider $c_{0}$-factorable operators and operators on $C_{\Lambda}$-spaces.


title: Quasigeodesic Flows in Hyperbolic Three-Manifolds

abstract: Any closed, oriented, hyperbolic three-manifold with nontrivial second homology has many quasigeodesic flows, where quasigeodesic means that flow lines are uniformly efficient in measuring distance in relative homotopy classes. The flows are pseudo-Anosov flows which are almost transverse to finite depth foliations in the manifold. The main tool is the use of a sutured manifold hierarchy which has good geometric properties.


title: Torsion in Rank-1 Drinfeld Modules and the Uniform Boundedness Conjecture

abstract: It is conjectured that for fixed $A$, $r \ge 1$, and $d \ge 1$, there is a uniform bound on the size of the torsion submodule of a Drinfeld $A$-module of rank $r$ over a degree $d$ extension $L$ of the fraction field $K$ of $A$. We verify the conjecture for $r=1$, and more generally for Drinfeld modules having potential good reduction at some prime above a specified prime of $K$. Moreover, we show that within an $\Lbar$-isomorphism class, there are only finitely many Drinfeld modules up to isomorphism over $L$ which have nonzero torsion. For the case $A=\Fq[T]$, $r=1$, and $L=\Fq(T)$, we give an explicit description of the possible torsion submodules. We present three methods for proving these cases of the conjecture, and explain why they fail to prove the conjecture in general. Finally, an application of the Mordell conjecture for characteristic $p$ function fields proves the uniform boundedness for the $\pp$-primary part of the torsion for rank~2 Drinfeld $\Fq[T]$-modules over a fixed function field.


title: On the central critical value of the triple product L-function

abstract: We compute the central critical value of the triple product $L$-function associated to three cusp forms $f_1,f_2,f_3$ with trivial character for groups $\Gamma_0(N_i)$ with square free levels $N_i$ not all of which are $1$ and weights $k_i$ satisfying $k_1\ge k_2\ge k_3$ and $k_1<k_2+k_3$. This generalizes work of Gross and Kudla and gives an alternative classical proof of their results in the case $N_1=N_2=N_3$ with $k_1=k_2=k_3=2$.


title: On non-even digraphs and symplectic pairs

abstract: A digraph $D$ is called {\bf noneven} if it is possible to assign weights of 0,1 to its arcs so that $D$ contains no cycle of even weight. A noneven digraph $D$ corresponds to one or more nonsingular sign patterns. Given an $n \times n$ sign pattern $H$, a {\bf symplectic pair} in $Q(H)$ is a pair of matrices $(A,D)$ such that $A \in Q(H)$, $D \in Q(H)$, and $A^T D = I$. An unweighted digraph $D$ allows a matrix property $P$ if at least one of the sign patterns whose digraph is $D$ allows $P$. Thomassen characterized the noneven, 2-connected symmetric digraphs (i.e., digraphs for which the existence of arc $(u,v)$ implies the existence of arc $(v ,u))$. In the first part of our paper, we recall this characterization and use it to determine which strong symmetric digraphs allow symplectic pairs. A digraph $D$ is called {\bf semi-complete} if, for each pair of distinct vertices $(u,v)$, at least one of the arcs digraph. In the second part of our paper, we fill a gap in these two characterizations and present and prove correct versions of the main theorems involved. We then pr oceed to determine which digraphs from these classes allow symplectic pairs. $(u,v)$ and $(v,u)$ exists in $D$. Thomassen presented a characterization of two classes of strong, noneven digraphs: the semi-complete class and the class of digraphs for which each vertex has total degree which exceeds or equals the size of the digraph. In the second part of our paper, we fill a gap in these two characterizations and present and prove correct versions of the main theorems involved. We then p oceed to determine which digraphs from these classes allow symplectic pairs.


title: Reverend Charles to the aid of Major Percy and Fields-Medalist Enrico

abstract: Dodgson's determinant condensation rule is shown to immediately imply the evaluation of MacMahon's determinant expression that leads to the Box Theorem.


title: On the very weak 0-1 law for random graphs with orders

abstract: Let us draw a graph R on {0,1,...,n-1} by having an edge {i,j} with probability p_(|i-j|), where sum_i p_i is finite and let M_n=(n,<,R). For a first order sentence psi let a^n_psi be the probability of ``M_n satisfies psi''. We prove that the limit of a^n_psi-a^{n+1}_psi is 0, as n goes to infinity.


title: Necessity and Chance: deterministic chaos in ecology and evolution

abstract: This is an outline of my Gibbs Lecture to the American Mathematical Society in January 1994; it is essentially a sign-posted guide to a still-developing literature.


title: Bizarre topology is natural in dynamical systems

abstract: We describe an example of a $C^\infty$ diffeomorphism on a 7--manifold which has a compact invariant set such that uncountably many of its connected components are pseudocircles. (Any 7--manifold will suffice.) Furthermore, any diffeomorphism which is sufficiently close (in the $C^1$ metric) to the constructed map has a similar invariant set, and the dynamics of the map on the invariant set are chaotic.


title: Critical points on the boundaries of Siegel disks

abstract: Let $f$ be a polynomial map of the Riemann sphere of degree at least two. We prove that if $f$ has a Siegel disk $G$ on which the rotation number satisfies a diophantine condition, then the boundary of $G$ contains a critical point.


title: Dynamics of the family lambda tan z

abstract: We study the dynamics of the tangent family z -> lambda tan z for lambda complex and give a complete classification of their stable behavior. We also characterize the the hyperbolic components and give a combinatorial description their deployment in the parameter plane.


title: Embedding Cohen algebras using pcf theory

abstract: Using a theorem from pcf theory, we show that for any singular cardinal nu, the product of the Cohen forcing notions on kappa, kappa < nu adds a generic for the Cohen forcing notion on nu^+. This solves Problem 5.1 in Miller's list (attributed to Rene David and Sy Friedman).


title: Automorphic hyperfunctions and period functions

abstract: We consider invariant hyperfunctions associated to automorphic forms on the upper half plane. We give two interpretations of the period function of Maass forms introduced by Lewis. The first interpretation shows that the period function arises from the explicit description of a representative of the hyperfunction associated to the Maass form. Under certain conditions, automorphic forms determine cohomology classes in a cohomology group with values in the hyperfunctions with bounded support on the line. A map from hyperfunctions to holomorphic functions leads to a second, cohomological, interpretation of the period function.


title: Cohomological properties of the smooth globalization of a Harish-Chandra module

abstract: We prove the finiteness of the cohomology of torsion-free lattices in a semisimple Lie group of real rank one with coefficients in the distribution vector globalization of Harish-Chandra modules. The cohomology is expressed in terms of automorphic and cusp forms. We also consider the Lie-algebra cohomology of these globalizations for the nilpotent part of the Iwasawa decomposition of the group.


title: On a Glimm -- Effros dichotomy theorem for Souslin relations in generic universes

abstract: We prove that if every real belongs to a set generic extension of the constructible universe then every \Sigma_1^1 equivalence E on reals either admits a Delta_1^HC reduction to the equality on the set 2^{<\om_1} of all countable binary sequences, or continuously embeds E_0, the Vitali equivalence. The proofs are based on a topology generated by OD sets.


title: Toward classifying unstable theories

abstract: The paper deals with two issues: the existence of universal models of a theory T and related properties when cardinal arithmetic does not give this existence offhand. In the first section we prove that simple theories (e.g., theories without the tree property, a class properly containing the stable theories) behaves ``better'' than theories with the strict order property, by criterion from [Sh:457]. In the second section we introduce properties SOP_n such that the strict order property implies SOP_{n+1}, which implies SOP_n, which in turn implies the tree property. Now SOP_4 already implies non-existence of universal models in cases where earlier the strict order property was needed, and SOP_3 implies maximality in the Keisler order, again improving an earlier result which had used the strict order property.


title: On nonwellfounded iterated Sacks extensions, with application to the Glimm -- Effros property

abstract: We prove that if $\bI$ is a p.\ o. set in a countable transitive model $\gM$ of $\ZFC$ then $\gM$ can be extended by a generic sequence of reals $\a_\i,$ $\i\in\bI,$ such that $\aleph_1^\gM$ is preserved and every $\a_\i$ is Sacks generic over $\gM[\ang{\a_\j:\j<\i}]$. The structure of the degrees of \dd\gM constructibility of reals in the extension is investigated. As an application, we obtain a model in which the $\is12$ equivalence relation $x \E y$ iff $\rL[x]=\rL[y]$ ($x,\,y$ are reals) does not admit a reasonable form of the Glimm -- Effros theorem.


title: Vector-valued Walsh-Paley martingales and geometry of Banach spaces

abstract: The concept of Rademacher type $p$ ($1\leq p\leq2$) plays an important role in the local theory of Banach spaces. In \cite{mas88} Mascioni considers a weakening of this concept and shows that for a Banach space $X$ weak Rademacher type $p$ implies Rademacher type $r$ for all $r<p$. As with Rademacher type $p$ and weak Rademacher type $p$, we introduce the concept of Haar type $p$ and weak Haar type $p$ by replacing the Rademacher functions by the Haar functions in the respective definitions. We show that weak Haar type $p$ implies Haar type $r$ for all $r<p$. This solves a problem left open by Pisier \cite{pis75}. The method is to compare Haar type ideal norms related to different index sets.


title: On the equation $a^p + 2^alpha b^p + c^p =0$

abstract: We discuss the equation $a^p + 2^\a b^p + c^p =0$ in which $a$, $b$, and $c$ are non-zero relatively prime integers, $p$ is an odd prime number, and $\a$ is a positive integer. The technique used to prove Fermat's Last Theorem shows that the equation has no solutions with $\a>1$ or $b$ even. When $\a=1$ and $b$ is odd, there are the two trivial solutions $(\pm 1, \mp 1, \pm 1)$. In 1952, D\'enes conjectured that these are the only ones. Using methods of Darmon, we prove this conjecture for $p\equiv1$ mod~4. We link the case $p\equiv3$ mod~4 to conjectures of Frey and Darmon about elliptic curves over~$\Q$ with isomorphic mod~$p$ Galois representations.


title: The Number of Intersection Points Made by the Diagonals of a Regular Polygon

abstract: We give a formula for the number of interior intersection points made by the diagonals of a regular $n$-gon. The answer is a polynomial on each residue class modulo 2520. We also compute the number of regions formed by the diagonals, by using Euler's formula $V-E+F=2$.


title: Fractional Power Series and Pairings on Drinfeld Modules

abstract: Let $C$ be an algebraically closed field containing the finite field $F_q$ and complete with respect to an absolute value $|\;|$. We prove that under suitable constraints on the coefficients, the series $f(z) = \sum_{n \in \Z} a_n z^{q^n}$ converges to a surjective, open, continuous $F_q$-linear homomorphism $C \rightarrow C$ whose kernel is locally compact. We characterize the locally compact sub-$F_q$-vector spaces $G$ of $C$ which occur as kernels of such series, and describe the extent to which $G$ determines the series. We develop a theory of Newton polygons for these series which lets us compute the Haar measure of the set of zeros of $f$ of a given valuation, given the valuations of the coefficients. The ``adjoint'' series $f^\ast(z) = \sum_{n \in \Z} a_n^{1/q^n} z^{1/q^n}$ converges everywhere if and only if $f$ does, and in this case there is a natural bilinear pairing $$ \ker f \times \ker f^\ast \rightarrow F_q $$ which exhibits $\ker f^\ast$ as the Pontryagin dual of $\ker f$. Many of these results extend to non-linear fractional power series. We apply these results to construct a Drinfeld module analogue of the Weil pairing, and to describe the topological module structure of the kernel of the adjoint exponential of a Drinfeld module.


title: Cycles of Quadratic Polynomials and Rational Points on a Genus-Two Curve

abstract: It has been conjectured that for $N$ sufficiently large, there are no quadratic polynomials in $\bold Q[z]$ with rational periodic points of period $N$. Morton proved there were none with $N=4$, by showing that the genus~$2$ algebraic curve that classifies periodic points of period~4 is birational to $X_1(16)$, whose rational points had been previously computed. We prove there are none with $N=5$. Here the relevant curve has genus~$14$, but it has a genus~$2$ quotient, whose rational points we compute by performing a~$2$-descent on its Jacobian and applying a refinement of the method of Chabauty and Coleman. We hope that our computation will serve as a model for others who need to compute rational points on hyperelliptic curves. We also describe the three possible Gal$_{\bold Q}$-stable $5$-cycles, and show that there exist Gal$_{\bold Q}$-stable $N$-cycles for infinitely many $N$. Furthermore, we answer a question of Morton by showing that the genus~$14$ curve and its quotient are not modular. Finally, we mention some partial results for $N=6$.


title: Local connectivity of the Mandelbrot set at certain infinitely renormalizable points

abstract: We construct a subset of the Mandelbrot set which is dense on the boundary of the Mandelbrot set and which consists of only infinitely renormalizable points such that the Mandelbrot set is locally connected at every point of this subset. We prove the local connectivity by finding bases of connected neighborhoods directly.


title: Complete embedded minimal surfaces of finite total curvature

abstract: We survey what is known about minimal surfaces in $\bold R^3 $ that are complete, embedded, and have finite total curvature. The only classically known examples of such surfaces were the plane and the catenoid. The discovery by Costa, early in the last decade, of a new example that proved to be embedded sparked a great deal of research in this area. Many new examples have been found, even families of them, as will be described below. The central question has been transformed from whether or not there are any examples except surfaces of rotation to one of understanding the structure of the space of examples.


title: Projective structures with discrete holonomy representations

abstract: Let $K(X)$ denote the set of projective structures on a compact Riemann surface $X$ whose holonomy representations are discrete. We will show that each component of the interior of $K(X)$ is holomorphically equivalent to a complex submanifold of the product of Teichm\"uller spaces and the holonomy representation of every projective structure in the interior of $K(X)$ is a quasifuchsian group.


title: Random walks of circle packings

abstract: A notion of random walks for circle packings is introduced. The geometry behind this notion is discussed, together with some applications. In particular, we obtain a short proof of a result regarding the type problem for circle packings, which shows that the type of a circle packing is closely related to the type of its tangency graph.


title: Grafting, harmonic maps, and projective structures on surfaces

abstract: Grafting is a surgery on Riemann surfaces introduced by Thurston which connects hyperbolic geometry and the theory of projective structures on surfaces. We will discuss the space of projective structures in terms of the Thurston's geometric parametrization given by grafting. From this approach we will prove that on any compact Riemann surface with genus greater than $1$ there exist infinitely many projective structures with Fuchsian holonomy representations. In course of the proof it will turn out that grafting is closely related to harmonic maps between surfaces.


title: On Combinatorial Descriptions of Homotopy Groups of $\Sigma K(\pi,1)$

abstract: We give a combinatorial description of homotopy groups of $\Sigma K(\pi,1)$. In particular, all of the homotopy groups of the $3$-sphere are combinatorially given.


title: An analysis of Bennett's pebble game

abstract: Bennett's pebble game was introduced to obtain better time/space tradeoffs in the simulation of standard Turing machines by reversible ones. So far only upper bounds for the tradeoff based on the pebble game have been published. Here we give a recursion for the time optimal solution of the pebble game given a space bound. We analyze the recursion to obtain an explicit asymptotic expression for the best time-space product.


title: New results on binary linear codes

abstract: This research announcement describes in very rough terms methods and a computer language under development, which can be used to prove the nonexistence of binary linear codes. Over a hundred new results have been obtained by the author. For example, there is no [29,11,10] code. The proof of this is roughly outlined.


title: Partial orderings with the weak Freese-Nation property

abstract: A partial ordering P is said to have the weak Freese-Nation property (WFN) if there is a mapping f:P ---> [P]^{<= aleph_0} such that, for any a, b in P, if a <= b then there exists c in f(a) cap f(b) such that a <= c <= b. In this note, we study the WFN and some of its generalizations. Some features of the class of BAs with the WFN seem to be quite sensitive to additional axioms of set theory: e.g., under CH, every ccc cBA has this property while, under b >= aleph_2, there exists no cBA with the WFN.


title: Cellularity of free products of Boolean algebras (or topologies)

abstract: We answer Problem 1 of Monk if there are Boolean algebras B_1,B_2 such that c(B_i) <= lambda_i but c(B_1 x B_2)> lambda_1+ lambda_2 where lambda_1= mu is singular and mu > lambda_2= theta >cf(mu)


title: The dimension of the Brownian frontier is greater than 1

abstract: Consider a planar Brownian motion run for finite time. The frontier or ``outer boundary'' of the path is the boundary of the unbounded component of the complement. Burdzy (1989) showed that the frontier has infinite length. We improve this by showing that the Hausdorff dimension of the frontier is strictly greater than 1. (It has been conjectured that the Brownian frontier has dimension $4/3$, but this is still open.) The proof uses Jones's Traveling Salesman Theorem and a self-similar tiling of the plane by fractal tiles known as Gosper Islands.


title: A characterization of the finite multiplicity of a CR mapping

abstract: No abstract available.


title: The Several Complex Variables Problem List

abstract: The purpose of this bulletin board is to collect problems in higher dimensional complex analysis. We are interested both in basic research questions as well as interactive questions with other fields and sciences. We encourage everybody to submit problems to the list. This includes not only those coming up in your own work, but also others- maybe well known and classical- that you see missing, but that you think workers in the field should be aware of. Not only are we searching for basic research type questions in several complex variables, we also solicit questions exploring relations to other mathematical fields, one complex variable, partial differential equations, differential geometry, dynamics, etc. and to other sciences such as physics, engineering, biology etc. While some questions fall rather naturally into one of the subject areas in this problem list and may lead to a publishable paper, other questions may be non- specific or of a transient or technical quality. Thus we have a section called ``Scratchpad'' for conversational questions, vaguely formulated questions, or questions to which you may hope to get a quick answer. In the ``open prize problems'' section, you are welcome to offer a nice little prize to whoever does it. The miscellaneous section is for announcements of conferences, jokes, remarks on the general state of the field, etc.


title: On $\bold N$-circled $\bold{H^\infty}$-domains of holomorphy

abstract: We present various characterizations of $n$-circled domains of holomorphy $G\subset\CC^n$ with respect to some subspaces of $\Cal H^\infty(G)$.


title: Formal Languages and Infinite Groups

abstract: This article is an introduction to formal languages from the point of view of combinatorial group theory. Group theoretic applications are included and language classes are defined algebraically.


title: A Shrinking Lemma for Indexed Languages

abstract: This article presents a combinatorial result on indexed languages which was inspired by an attempt to understand the structure of groups with indexed language word problem. We show that a sufficiently long word in an indexed language can be written as a product of a uniformly bounded number of terms in such a way that some proper subproduct belongs to the language.


title: Generalized Small Cancellation Theory

abstract: We present four generalized small cancellation conditions for finite presentations and solve the word- and conjugacy problem in each case. Our conditions $W$ and $W^*$ contain the non-metric small cancellation cases C(6), C(4)T(4), C(3)T(6) (see [LS]) but are considerably more general. $W$ also contains as a special case the small cancellation condition $W(6)$ of Juhasz [J2]. If a finite presentation satisfies $W$ or $W^*$ then it has a quadratic isoperimetric inequality and therefore solvable word problem. For the class $W$ this was first observed by Gersten in [G7] which also contains an idea of the proof. Our main result here is the proof of the conjugacy problem for the classes $W$ and $W^*$ which uses the geometry of non-positively curved piecewise Euclidean complexes developed by Bridson in [Bri]. The conditions $V$ and $V^*$ generalize the small cancellation conditions C(7), C(5)T(4), C(4)T(5), C(3)T(7). If a finite presentation satisfies the condition $V$ or $V^*$, then it has a linear isoperimetric inequality and hence the group is hyperbolic.


title: Strict Genericity

abstract: We show that an inner model of a class-generic extension of L need not itself be such an extension. Our example is of the form L[R], where R is a real belonging to a class-generic extension of L and constructible from 0#.


title: Coding Without Fine Structure

abstract: We present a proof of Jensen's Coding Theorem (assumong -0#) which quotes the covering lemma, but otherwise makes no appeal to fine structure theory. The key idea is to use a modified definition of the coding at limit cardinals, using "coding delays".


title: Delta-1-2 Without Sharps

abstract: We show that the supremum of the lengths of boldface Delta-1-2 prewellorderings of the reals can be Aleph-2, with Aleph-1 inac- cessible to reals, assuming only the consistency of an inaccessible.


title: Orthogonal Families of Real Sequences

abstract: For x and y sequences of real numbers define the inner product (x,y) = x(0)y(0) + x(1)y(1)+ ... which may not be finite or even exist. We say that x and y are orthogonal iff (x,y) converges and equals 0. Define l_p to be the set of all real sequences x such that |x(0)|^p + |x(1)|^p + .. converges. For Hilbert space, l_2, any family of pairwise orthogonal sequences must be countable. Thm 1. There exists a pairwise orthogonal family F of size continuum such that F is a subset of l_p for every p>2. It was already known that there exists a family of continuum many pairwise orthogonal elements of real sequences. Thm 2. There exists a perfect maximal orthogonal family of elements of real sequences. Abian raised the question of what are the possible cardinalities of maximal orthogonal families. Thm 3. In the Cohen real model there is a maximal orthogonal set cardinality omega_1, but there is no maximal orthogonal set of cardinality k with \omega_1< k < c. Thm 4. For any countable standard model M of ZFC and cardinal k in M such that M satisfies k^\omega=k, there exists a ccc generic extension M[G] such that the continuum of M[G] is k and in M[G] for every infinite cardinal i less than or equal to k there is a maximal orthogonal family of cardinality i. Thm 5. (MA_k(\sigma-centered)) Suppose cardinality of X is less than or equal to k, X contains only finitely many elements of l_2, and for every distinct pair x,y in X the inner product (x,y) converges. Then there exists a z such that z is orthogonal to every element of X. Thm 6.(a) There exists X which is a maximal orthogonal family in l_2 such that for all n with 1\leq n \leq\omega there exists Y of cardinality n with (X union Y) a maximal orthogonal family in $\rr^\om$. Furthermore, every maximal orthogonal family containing $X$ is countable. (b) There exists a perfect maximal orthogonal family P such that (P intersect l_2) is a maximal orthogonal family in $l_2$.


title: The combinatorics of open covers (II)

abstract: We continue to investigate various diagonalization properties for sequences of open covers of separable metrizable spaces introduced in Part I. These properties generalize classical ones of Rothberger, Menger, Hurewicz, and Gerlits-Nagy. In particular, we show that most of the properties introduced in Part I are indeed distinct. We characterize two of the new properties by showing that they are equivalent to saying all finite powers have one of the classical properties above (Hurewicz property in one case and in the Menger property in other). We consider for each property the smallest cardinality of metric space which fails to have that property. In each case this cardinal turns out to equal another well-known cardinal less than the continuum. We also disprove (in ZFC) a conjecture of Hurewicz which is analogous to the Borel conjecture. Finally, we answer several questions from Part I concerning partition properties of covers.


title: Combinatorial aspects of F(sigma) filters with an application to N-sets

abstract: We discuss F(sigma) filters and show that the minimum size of a filter base generating an undiagonalizable filter included in some F(sigma) filter is the better known bounded evasion number e(ubd). An application to N-sets from trigonometric series is given by showing that if A is an N-set and B has size less e(ubd), then A+B is again an N-set.


title: A rearrangement invariant space isometric to $L_p$ coincides with $L_p$

abstract: The following theorem is the main result of this note. Theorem 1. Let $(E, \|\cdot\|_E) $ be a rearrangement invariant Banach function space on the interval $[0, 1]$. If $E$ is isometric to $\L_p [0, 1]$ for some $1\le p<\infty$, then $E$ coincides with $\L_p [0, 1]$ and furthermore $\|\cdot\|_E = \lambda\|\cdot\|_{\L_p}$, where $\lambda = \|{\bf 1}\|_E$.


title: Hilbert space frames containing a Riesz basis and Banach spaces which have no subspace isomorphic to $c_0$

abstract: We prove that a Hilbert space frame $\fti$ contains a Riesz basis if every subfamily $\ftj , J \subseteq I ,$ is a frame for its closed span. Secondly we give a new characterization of Banach spaces which do not have any subspace isomorphic to $c_0$. This result immediately leads to an improvement of a recent theorem of Holub concerning frames consisting of a Riesz basis plus finitely many elements.


title: Frames containing a Riesz basis and preservation of this property under perturbation

abstract: Aldroubi has shown how one can construct any frame $\gtu$ starting with one frame $\ftu $,using a bounded operator $U$ on $l^2(N)$. We study the overcompleteness of the frames in terms of properties of $U$. We also discuss perturbation of frames in the sense that two frames are ``close'' if a certain operator is compact. In this way we obtain an equivalence relation with the property that members of the same equivalence class have the same overcompleteness. On the other hand we show that perturbation in the Paley-Wiener sense does not have this property. \\ Finally we construct a frame which is norm-bounded below, but which does not contain a Riesz basis.The construction is based on the delicate difference between the unconditional convergence of the frame representation, and the fact that a convergent series in the frame elements need not converge unconditionally.


title: Smooth functions and partitions of unity on certain Banach spaces

abstract: We construct infinitely differentiable norms and partitions of unity for a class of Banach spaces which includes all spaces $\C(K)$ with $K$ a countable compact space, and all spaces $\C_0[0,\Omega )$ with $\Omega $ an ordinal.


title: Trees in renorming theory

abstract: Trees are very agreeable objects to work with, offering a diversity of behaviour within a structure that is sufficiently simple to admit precise analysis. Thus we are able to offer fairly satisfactory necessary and sufficient conditions on a tree $\Upsilon $ for the existence of equivalent LUR or strictly convex norms on $\C_0(\Upsilon )$ and for norms with the Kadec Property. In particular, we show that for a {\sl finitely branching} tree $\Upsilon $ the space $\C_0(\Upsilon )$ admits a Kadec renorming. Since some finitely branching trees fail the condition for strictly convex renormability, we obtain an example of a Banach space that is Kadec renormable but not strictly convexifiable. Consideration of specially tailored examples enables us to answer the ``three-space problem'' for strictly convex renorming: there exists a Banach space $X$ with a closed subspace $Y$ such that both $Y$ and the quotient $X/Y$ admit strictly convex norms, while $X$ does not. We also solve a problem about the property of mid-point locally uniform convexity (MLUR), showing that this does not imply LUR renormability.


title: Construction g\'eometrique de representations de Weil sur un corps fini

abstract: We construct, by contraction of a suitable complex vector bundle, the Weil representation of the finite symplectic group $Sp(A)$. We give an explicit description of the space of all lagrangian subspaces, which we use to compute the cocycle of our representation in terms of a geometric Gauss sum. We recover in this way previously constructed generalized Weil representations (see \cite{ast,cor}) by restriction of our representation to an appropiate embedding of $SL(n) $ into $Sp(A)$.


title: On the Homology of Configuration Spaces $C((M,M_o)\times {\bold R}^n; X)$

abstract: The homology with coefficients in a field of the configuration spaces $C(M\times \bold R ^n,M_o\times \bold R ^n;X)$ is determined in this paper.


title: Symmetry via Spherical Reflection and Spanning Drops in a Wedge

abstract: We consider embedded ring-type surfaces (that is, compact, connected, orientable surfaces with two boundary components and Euler-Poincar\'{e} characteristic zero) in ${\bold R}^3$ of constant mean curvature which meet planes $\Pi_1$ and $\Pi_2$ in constant contact angles $\gamma_1$ and $\gamma_2$ and bound, together with those planes, an open set in ${\bold R}^3$. If the planes are parallel, then it is known that any contact angles may be realized by infinitely many such surfaces given explicitly in terms of elliptic integrals. If $\Pi_1$ meets $\Pi_2$ in an angle $\alpha$ and if $\gamma_1+\gamma_2>\pi+\alpha$, then portions of spheres provide (explicit) solutions. In the present work it is shown that if $\gamma_1+\gamma_2\le\pi+\alpha$, then the problem admits no solution. The result contrasts with recent work of H.C.~Wente who constructed, in the particular case $\gamma_1 = \gamma_2 =\pi/2$, a {\it self-intersecting} surface spanning a wedge as described above. Our proof is based on an extension of the Alexandrov planar reflection procedure to a reflection about spheres, on the intrinsic geometry of the surface, and on a new maximum principle related to surface geometry. The method should be of interest also in connection with other problems arising in the global differential geometry of surfaces.


title: On measure and Hausdorff dimension of Julia sets for holomorphic Collet--Eckmann maps

abstract: Let $f:\bar\bold C\to\bar\bold C$ be a rational map on the Riemann sphere , such that for every $f$-critical point $c\in J$ which forward trajectory does not contain any other critical point, $|(f^n)'(f(c))|$ grows exponentially fast (Collet--Eckmann condition), there are no parabolic periodic points, and else such that Julia set is not the whole sphere. Then smooth (Riemann) measure of the Julia set is 0. For $f$ satisfying additionally Masato Tsujii's condition that the average distance of $f^n(c)$ from the set of critical points is not too small, we prove that Hausdorff dimension of Julia set is less than 2. This is the case for $f(z)=z^2+c$ with $c$ real, $0\in J$, for a positive line measure set of parameters $c$.


title: A commuting q-analogue of the addition formula for disk polynomials

abstract: Starting from the addition formula for $q$-disk polynomials, which is an identity in non-commuting variables, we establish a basic analogue in commuting variables of the addition and product formula for disk polynomials. These contain as limiting cases the addition and product formula for little $q$-Legendre polynomials. As $q$ tends to $1$ the addition and product formula for disk polynomials are recovered.


title: Lecture notes for an introductory minicourse on q-series

abstract: These lecture notes were written for a mini-course that was designed to introduce students and researchers to {\it $q$-series,} which are also called {\it basic hypergeometric series} because of the parameter $q$ that is used as a base in series that are ``{\it over, above or beyond}'' the {\it geometric series}. We start by considering $q$-extensions (also called $q$-analogues) of the binomial theorem, the exponential and gamma functions, and of the beta function and beta integral, and then progress on to the derivations of rather general summation, transformation, and expansion formulas, integral representations, and applications. Our main emphasis is on methods that can be used to {\bf derive} formulas, rather than to just {\it verify} previously derived formulas.


title: A note on the fourth power moment of the Riemann zeta-function

abstract: We give explicit formulae for all of the terms in the asymptotic expansion of the mean fourth power of the Riemann zeta-function on the critical line.


title: Universal in (< lambda)-stable abelian group

abstract: A characteristic result is that if 2^{aleph_0}< mu < mu^+< lambda = cf(lambda)< mu^{aleph_0}, then among the separable reduced p-groups of cardinality lambda which are (< lambda)-stable there is no universal one.


title: Was Sierpinski right? III Can continuum--c.c. times c.c.c. be continuum--c.c.?

abstract: We prove the consistency of: if B_1, B_2 are Boolean algebra satisfying the c.c.c. and the 2^{aleph_0}-c.c. respectively then B_1 x B_2 satisfies the 2^{aleph_0}-c.c.


title: A model in which every infinite Boolean algebra has many subalgebras

abstract: We show that it is consistent with ZFC (relative to large cardinals) that every infinite Boolean algebra B has an irredundant subset A such that 2^{|A|} = 2^{|B|}. This implies in particular that B has 2^{|B|} subalgebras. We also discuss some more general problems about subalgebras and free subsets of an algebra. The result on the number of subalgebras in a Boolean algebra solves a question of Monk. The paper is intended to be accessible as far as possible to a general audience, in particular we have confined the more technical material to a ``black box'' at the end. The proof involves a variation on Foreman and Woodin's model in which GCH fails everywhere.


title: Cardinal invariants above the continuum

abstract: We prove some consistency results about b(lambda) and d(lambda), which are natural generalisations of the cardinal invariants of the continuum b and d. We also define invariants b_cl(lambda) and d_cl(lambda), and prove that almost always b(lambda) = b_cl(lambda) and d(lambda)=d_cl(lambda)


title: Finite canonization

abstract: The canonization theorem says that for given m,n for some m^* (the first one is called ER(n;m)) we have: for every function f with domain [{1, ...,m^*}]^n, for some A in [{1, ...,m^*}]^m, the question of when the equality f({i_1, ...,i_n})=f({j_1, ...,j_n}) (where i_1< ... <i_n and j_1 < ... < j_n are from A) holds has the simplest answer: for some v subseteq {1, ...,n} the equality holds iff (for all l in v)(i_l = j_l). In this paper we improve the bound on ER(n,m) so that fixing n the number of exponentiation needed to calculate ER(n,m) is best possible.


title: Algebraicity of holomorphic mappings between real algebraic sets in ${\bold C}^n$

abstract: We give conditions under which a germ of a holomorphic mapping in $\Bbb C^N$, mapping an irreducible real algebraic set into another of the same dimension, is actually algebraic. Let $A\subset \bC^N$ be an irreducible real algebraic set. Assume that there exists $\po \in A$ such that $A$ is a minimal, generic, holomorphically nondegenerate submanifold at $\po$. We show here that if $H$ is a germ at $p_1 \in A$ of a holomorphic mapping from $\bC^N$ into itself, with Jacobian $H$ not identically $0$, and $H(A)$ contained in a real algebraic set of the same dimension as $A$, then $H$ must extend to all of $\bC^N$ (minus a complex algebraic set) as an algebraic mapping. Conversely, we show that for any ``model case'' (i.e., $A$ given by quasi-homogeneous real polynomials), the conditions on $A$ are actually necessary for the conclusion to hold.


title: On A New Asymptotic Norming Property

abstract: In this work, we introduce a new Asymptotic Norming Property (ANP) which lies between the strongest and weakest of the existing ones, and obtain isometric characterisations of it. The corresponding w*-ANP turns out to be equivalent on the one hand, to Property $(V)$ introduced by Sullivan, and to a ball separation property on the other. We also study stability properties of this new ANP and its w*-version.


title: Volumes of Restricted Minkowski Sums and the Free Analogue of the Entropy Power Inequality

abstract: In noncommutative probability theory independence can be based on free products instead of tensor products. This yields a highly noncommutative theory: free probability . Here we show that the classical Shannon's entropy power inequality has a counterpart for the free analogue of entropy . The free entropy (introduced recently by the second named author), consistently with Boltzmann's formula $S=k\log W$, was defined via volumes of matricial microstates. Proving the free entropy power inequality naturally becomes a geometric question. Restricting the Minkowski sum of two sets means to specify the set of pairs of points which will be added. The relevant inequality, which holds when the set of "addable" points is sufficiently large, differs from the Brunn-Minkowski inequality by having the exponent $1/n$ replaced by $2/n$. Its proof uses the rearrangement inequality of Brascamp-Lieb-L\"uttinger .


title: Harmonic Analysis on the Finite Twisted Poincar\'e Upper Half Plane

abstract: We prove that the induced representation from a non trivial character of the Coxeter torus of GL$(2,F)$, for a finite field $F$, is multiplicity-free; we give an explicit description of the corresponding (twisted) spherical functions and a version of the Heisenberg Uncertainty Principle.


title: Reinhardt Domains with Non-Compact Automorphism Groups

abstract: We give an explicit description of smoothly bounded Reinhardt domains with noncompact automorphism groups. In particular, this description confirms a special case of a conjecture of Greene/Krantz.


title: Finite Type Conditions on Reinhardt Domains

abstract: In this paper we prove that, if $p$ is a boundary point of a smoothly bounded pseudoconvex Reinhardt domain in $\C^n$, then the variety type at $p$ is identical to the regular type.


title: The Marked Length Spectrum Versus the Laplace Spectrum on Forms on Riemannian Nilmanifolds

abstract: The subject of this paper is the relationship among the marked length spectrum, the length spectrum, the Laplace spectrum on functions, and the Laplace spectrum on forms on Riemannian nilmanifolds. In particular, we show that for a large class of three-step nilmanifolds, if a pair of nilmanifolds in this class has the same marked length spectrum, they necessarily share the same Laplace spectrum on functions. In contrast, we present the first example of a pair of isospectral Riemannian manifolds with the same marked length spectrum but not the same spectrum on one-forms. Outside of the standard spheres vs. the Zoll spheres, which are not even isospectral, this is the only example of a pair of Riemannian manifolds with the same marked length spectrum, but not the same spectrum on forms. This partially extends and partially contrasts the work of Eberlein, who showed that on two-step nilmanifolds, the same marked length spectrum implies the same Laplace spectrum both on functions and on forms.


title: Siegel Modular Forms and Theta Series attached to quaternion algebras II

abstract: We continue our study of Yoshida's lifting, which associates to a pair of automorphic forms on the adelic multiplicative group of a quaternion algebra a Siegel modular form of degree 2. We consider here the case that the automorphic forms on the quaternion algebra correspond to modular forms of arbitrary even weights and square free levels; in particular we obtain a construction of Siegel modular forms of weight 3 attached to a pair of elliptic modular forms of weights 2 and 4.


title: On Combinatorial Calculations for the James--Hopf maps

abstract: We give some formulas of the James-Hopf maps by using combinatorial methods. An application is to give a product decomposition of the spaces $\Omega\Sigma^2(X)$.


title: A Product Decomposition of $\Omega^3_0\Sigma${\bf R}$P^2$

abstract: We give a specific product decomposition of the base-point path connected component of the triple loop space of the suspension of the projective plane.


title: Perturbation of orthogonal polynomials on an arc of the unit circle

abstract: Orthogonal polynomials on the unit circle are completely determined by their reflection coefficients through the Szeg\H{o} recurrences. We assume that the reflection coefficients converge to some complex number a with 0 < |a| < 1. The polynomials then live essentially on the arc {e^(i theta): alpha <= theta <= 2 pi - alpha} where cos alpha/2 = sqrt(1-|a|^2) with 0 <= alpha <= 2 pi. We analyze the orthogonal polynomials by comparing them with the orthogonal polynomials with constant reflection coefficients, which were studied earlier by Ya. L. Geronimus and N. I. Akhiezer. In particular, we show that under certain assumptions on the rate of convergence of the reflection coefficients the orthogonality measure will be absolutely continuous on the arc. In addition, we also prove the unit circle analogue of M. G. Krein's characterization of compactly supported nonnegative Borel measures on the real line whose support contains one single limit point in terms of the corresponding system of orthogonal polynomials.


title: Schur functions and orthogonal polynomials on the unit circle

abstract: We apply a theorem of Geronimus to derive some new formulas connecting Schur functions with orthogonal polynomials on the unit circle. The applications include the description of the associated measures and a short proof of Boyd's result about Schur functions. We also give a simple proof for the above mentioned theorem of Geronimus.


title: Upward extension of the Jacobi matrix for orthogonal polynomials

abstract: Orthogonal polynomials on the real line always satisfy a three-term recurrence relation. The recurrence coefficients determine a tridiagonal semi-infinite matrix (Jacobi matrix) which uniquely characterizes the orthogonal polynomials. We investigate new orthogonal polynomials by adding to the Jacobi matrix $r$ new rows and columns, so that the original Jacobi matrix is shifted downward. The $r$ new rows and columns contain $2r$ new parameters and the newly obtained orthogonal polynomials thus correspond to an upward extension of the Jacobi matrix. We give an explicit expression of the new orthogonal polynomials in terms of the original orthogonal polynomials, their associated polynomials and the $2r$ new parameters, and we give a fourth order differential equation for these new polynomials when the original orthogonal polynomials are classical. Furthermore we show how the orthogonalizing measure for these new orthogonal polynomials can be obtained and work out the details for a one-parameter family of Jacobi polynomials for which the associated polynomials are again Jacobi polynomials.


title: Compact Jacobi matrices: from Stieltjes to Krein and M(a,b)

abstract: In a note at the end of his paper {\it Recherches sur les fractions continues}, Stieltjes gave a necessary and sufficient condition when a continued fraction is represented by a meromorphic function. This result is related to the study of compact Jacobi matrices. We indicate how this notion was developped and used since Stieltjes, with special attention to the results by M. G. Krein. We also pay attention to the perturbation of a constant Jacobi matrix by a compact Jacobi matrix, work which basically started with Blumenthal in 1889 and which now is known as the theory for the class $M(a,b)$.


title: On Gross spaces

abstract: A Gross space is a vector space E of infinite dimension over some field F, which is endowed with a symmetric bilinear form Phi:E^2 -> F and has the property that every infinite dimensional subspace U subseteq E satisfies dim U^perp < dim E. Gross spaces over uncountable fields exist (in certain dimensions). The existence of a Gross space over countable or finite fields (in a fixed dimension not above the continuum) is independent of the axioms of ZFC. Here we continue the investigation of Gross spaces. Among other things we show that if the cardinal invariant b equals omega_1 a Gross space in dimension omega_1 exists over every infinite field, and that it is consistent that Gross spaces exist over every infinite field but not over any finite field. We also generalize the notion of a Gross space and construct generalized Gross spaces in ZFC.


title: On squares, outside guessing of clubs and I_{<f}[lambda]

abstract: Suppose that lambda = mu^+. We consider two aspects of the square property on subsets of lambda. First, we have results which show e.g. that for aleph_0 <= kappa =cf (kappa)< mu, the equality cf([mu]^{<= kappa}, subseteq)= mu is a sufficient condition for the set of elements of lambda whose cofinality is bounded by kappa, to be split into the union of mu sets with squares. Secondly, we introduce a certain weak version of the square property and prove that if mu is a strong limit, then this weak square property holds on lambda without any additional assumptions


title: Realization spaces of 4-polytopes are universal

abstract: Let $P\subset\R^d$ be a $d$-dimensional polytope. The {\em realization space} of~$P$ is the space of all polytopes $P'\subset\R^d$ that are combinatorially equivalent to~$P$, modulo affine transformations. We report on work by the first author, which shows that realization spaces of \mbox{4-dimensional} polytopes can be ``arbitrarily bad'': namely, for every primary semialgebraic set~$V$ defined over~$\Z$, there is a $4$-polytope $P(V)$ whose realization space is ``stably equivalent'' to~$V$. This implies that the realization space of a $4$-polytope can have the homotopy type of an arbitrary finite simplicial complex, and that all algebraic numbers are needed to realize all $4$- polytopes. The proof is constructive. These results sharply contrast the $3$-dimensional case, where realization spaces are contractible and all polytopes are realizable with integral coordinates (Steinitz's Theorem). No similar universality result was previously known in any fixed dimension.


title: Homotopy Lie groups

abstract: Homotopy Lie groups, recently invented by W.G. Dwyer and C.W. Wilkerson, represent the culmination of a long evolution. The basic philosophy behind the process was formulated almost 25 years ago by Rector in his vision of a homotopy theoretic incarnation of Lie group theory. What was then technically impossible has now become feasible thanks to modern advances such as Miller's proof of the Sullivan conjecture and Lannes's division functors. Today, with Dwyer and Wilkerson's implementation of Rector's vision, the tantalizing classification theorem seems to be within grasp. Supported by motivating examples and clarifying exercises, this guide quickly leads, without ignoring the context or the proof strategy, from classical finite loop spaces to the important definitions and striking results of this new theory.


title: Complex bounds for critical circle maps

abstract: We use the methods developed with M. Lyubich for proving complex bounds for real quadratics to extend E. De Faria's complex a priori bounds to all critical circle maps with an irrational rotation number. The contracting property for renormalizations of critical circle maps follows. In the Appendix we give an application of the complex bounds for proving local connectivity of some Julia sets.


title: Automorphisms and cohomology of discrete groups

abstract: In this paper we describe a method for producing elements in the mod p cohomology of a discrete group of finite cohomological dimension. This provides a purely algebraic formulation of the theory of special cycles.


title: A stabilization theorem for Hermitian forms and applications to holomorphic mappings

abstract: We consider positivity conditions both for real-valued functions of several complex variables and for Hermitian forms. We prove a stabilization theorem relating these two notions, and give some applications to proper mappings between balls in different dimensions. The technique of proof relies on the simple expression for the Bergman kernel function for the unit ball and elementary facts about Hilbert spaces. Our main result generalizes to Hermitian forms a theorem proved by Polya [HLP] for homogeneous real polynomials, which was obtained in conjunction with Hilbert's seventeenth problem. See [H] and [R] for generalizations of Polya's theorem of a completely different kind. The flavor of our applications is also completely different.


title: Interpolating sequences for weighted Bergman spaces of the ball

abstract: Let $B_{\alpha}^{p}$ be the space of $f$ holomorphic in the unit ball of $\Bbb C^n$ such that $(1-|z|^2)^\alpha f(z) \in L^p$, where $0<p\leq\infty$, $\alpha\geq -1/p$ (weighted Bergman space). In this paper we study the interpolating sequences for various $B_{\alpha}^{p}$. The limiting cases $\alpha=-1/p$ and $p=\infty$ are respectively the Hardy spaces $H^p$ and $A^{-\alpha}$, the holomorphic functions with polynomial growth of order $\alpha$, which have generated particular interest. In \S 1 we first collect some definitions and well-known facts about weighted Bergman spaces and then introduce the natural interpolation problem, along with some basic properties. In \S 2 we describe in terms of $\alpha$ and $p$ the inclusions between $B_{\alpha}^{p}$ spaces, and in \S 3 we show that most of these inclusions also hold for the corresponding spaces of interpolating sequences. \S 4 is devoted to sufficient conditions for a sequence to be $B_{\alpha}^{p}$-interpolating, expressed in the same terms as the conditions given in previous works of Thomas for the Hardy spaces and Massaneda for $A^{-\alpha}$. In particular we show, under some restrictions on $\alpha$ and $p$, that finite unions of $B_{\alpha}^{p}$-interpolating sequences coincide with finite unions of separated sequences. In his article in Inventiones, Seip implicitly gives a characterization of interpolating sequences for all weighted Bergman spaces in the disk. We spell out the details for the reader's convenience in an appendix (\S 5).


title: Global $C^\nf$ Irregularity of the $\bar\partial$--Neumann Problem for Worm Domains

abstract: No abstract available.


title: On Analytic Solvability and Hypoellipticity For $\dbar$ and $\dbar_b

abstract: No abstract available.


title: Transferring saturation, the finite cover property, and stability

abstract: Saturation is (mu,kappa)-transferable in T if and only if there is an expansion T_1 of T with |T_1| = |T| such that if M is a mu-saturated model of T_1 and |M| \geq kappa then the reduct M|L(T) is kappa-saturated. We characterize theories which are superstable without the finite cover property (f.c.p.), or without f.c.p. as, respectively those where saturation is (aleph_0,lambda)-transferable or (kappa(T),lambda)-transferable for all lambda. Further if for some mu \geq |T|, 2^mu > mu^+, stability is equivalent to: or all mu \geq |T|, saturation is (\mu,2^mu)-transferable.


title: Complemented copies of $\ell_1$ in spaces of vector valued measures and applications

abstract: Let $X$ be a Banach space and $(\Omega,\Sigma)$ be a measure space. We provide a characterization of sequences in the space of $X$-valued countably additive measures on $\Omega,\Sigma)$ of bounded variation that generate complemented copies of $\ell_1$. As application, we prove that if a dual Banach space $E^*$ has Pe\l czy\'nski's property (V*) then so does the space of $E^*$-valued countably additive measures with bounded variation. Another application, we show that for a Banach space $X$, the space $\ell_\infty(X)$ contains a complemented copy of $\ell_1$ if and only if $X$ contains all $\ell_1^n$ uniformly complemented.


title: Absolutely Summing Operators on non commutative $C^*$-algebras and applications

abstract: Let $E$ be a Banach space that does not contain any copy of $\ell^1$ and $\A$ be a non commutative $C^*$-algebra. We prove that every absolutely summing operator from $\A$ into $E^*$ is compact, thus answering a question of Pe\l czynski. As application, we show that if $G$ is a compact metrizable abelian group and $\Lambda$ is a Riesz subset of its dual then every countably additive $\A^*$-valued measure with bounded variation and whose Fourier transform is supported by $\Lambda$ has relatively compact range. Extensions of the same result to symmetric spaces of measurable operators are also presented.


title: The Renormalization Method and Quadratic-Like Maps

abstract: The renormalization of a quadratic-like map is studied. The three-dimensional Yoccoz puzzle for an infinitely renormalizable quadratic-like map is discussed. For an unbranched quadratic-like map having the {\sl a priori} complex bounds, the local connectivity of its Julia set is proved by using the three-dimensional Yoccoz puzzle. The generalized version of Sullivan's sector theorem is discussed and is used to prove his result that the Feigenbaum quadratic polynomial has the {\sl a priori} complex bounds and is unbranched. A dense subset on the boundary of the Mandelbrot set is constructed so that for every point of the subset, the corresponding quadratic polynomial is unbranched and has the {\sl a priori} complex bounds.


title: On vanishing sums for roots of unity

abstract: Consider the $m$-th roots of unity in {\bf C}, where $m>0$ is an integer. We address the following question: For what values of $n$ can one find $n$ such $m$-th roots of unity (with repetitions allowed) adding up to zero? We prove that the answer is exactly the set of linear combinations with non-negative integer coefficients of the prime factors of $m$.


title: Douglas Algebras That Have No Maximal Subalgebra and No Minimal Superalgebra

abstract: We give several examples of Douglas Algebras that do not have any maximal subalgebra. We find a condition on these algebras that guarantees that some do not have any minimal superalgebra. We also show that if $A$ is the only maximal subalgebra of a Douglas algebra $B$, then the algebra $A$ does not have any maximal subalgebra.


title: Nonexistence of Continuous Peaking Functions

abstract: We construct a smoothly bounded pseudoconvex domain such that every boundary point has a p.s.h. peak function but some boundary point admits no (local) holomorphic peak function.


title: Complete interpolating sequences for Paley-Wiener spaces and Muckenhoupt's $(A_p)$ condition

abstract: We describe the complete interpolating sequences for the Paley-Wiener spaces $L^p_\pi$ ($1<p<\infty$) in terms of Muckenhoupt's $(A_p)$ condition. For $p=2$, this description coincides with those given by Pavlov (1979), Nikol'skii (1980), and Minkin (1992) of the unconditional bases of complex exponentials in $L^2(-\pi,\pi)$. While the techniques of these authors are linked to the Hilbert space geometry of $L^2_\pi$, our method of proof is based on turning the problem into one about boundedness of the Hilbert transform in certain weighted $L^p$ spaces of functions and sequences.


title: The monodromy groups of Schwarzian equations on closed Riemann surfaces

abstract: Let \theta:\pi_1(R) \to \PSL(2,\C) be a homomorphism of the fundamental group of an oriented, closed surface R of genus exceeding one. We will establish the following theorem. Theorem. Necessary and sufficient for \theta to be the monodromy representation associated with a complex projective stucture on R, either unbranched or with a single branch point of order 2, is that \theta(\pi_1(R)) be nonelementary. A branch point is required if and only if the representation \theta does not lift to \SL(2,\C).


title: Continuity properties of best analytic approximation

abstract: Let $\A$ be the operator which assigns to each $m \times n$ matrix-valued function on the unit circle with entries in $H^\infty + C$ its unique superoptimal approximant in the space of bounded analytic $m \times n$ matrix-valued functions in the open unit disc. We study the continuity of $\A$ with respect to various norms. Our main result is that, for a class of norms satifying certain natural axioms, $\A$ is continuous at any function whose superoptimal singular values are non-zero and is such that certain associated integer indices are equal to 1. We also obtain necessary conditions for continuity of $\A$ at point and a sufficient condition for the continuity of superoptimal singular values.


title: Classification of $N$-(super)-extended Poincar\'e algebras and bilinear invariants of the spinor representation of $Spin(p,q)$

abstract: We classify extended Poincar\'e Lie super algebras and Lie algebras of any signature (p,q), that is Lie super algebras and Z_2-graded Lie algebras g = g_0 + g_1, where g_0 = so(V) + V is the (generalized) Poincar\'e Lie algebra of the pseudo Euclidean vector space V = R^{p,q} of signature (p,q) and g_1 = S is the spinor so(V)-module extended to a g_0-module with kernel V. The remaining super commutators {g_1,g_1} (respectively, commutators [g_1, g_1]) are defined by an so(V)-equivariant linear mapping vee^2 g_1 -> V (respectively, wedge^2 g_1 -> V). Denote by P^+(n,s) (respectively, P^-(n,s)) the vector space of all such Lie super algebras (respectively, Lie algebras), where n = p + q = dim V and s = p - q is the signature. The description of P^+-(n,s) reduces to the construction of all so(V)-invariant bilinear forms on S and to the calculation of three Z_2-valued invariants for some of them. This calculation is based on a simple explicit model of an irreducible Clifford module S for the Clifford algebra Cl_{p,q} of arbitrary signature (p,q). As a result of the classification, we obtain the numbers L^+-(n,s) = \dim P^+-(n,s) of independent Lie super algebras and algebras, which take values 0,1,2,3,4 or 6. Due to Bott periodicity, L^+-(n,s) may be considered as periodic functions with period 8 in each argument. They are invariant under the group Gamma generated by the four reflections with respect to the axes n=-2, n=2, s-1 = -2 and s-1 = 2. Moreover, the reflection (n,s) -> (-n,s) with respect to the axis s=0 interchanges L^+ and L^- : L^+(-n,s) = L^-(n,s).


title: Some results on the admissible representations of non-connected reductive p-adic groups

abstract: We examine the theory of induced representations for non-connected reductive $p$-adic groups for which $G/G^0$ is abelian. We first examine the structure of those representations of the form $\Ind_{P^0}^G(\sigma),$ where $P^0$ is a parabolic subgroup of $G^0$ and $\s$ is a discrete series representation of the Levi component of $P^0.$ Here we develop a theory of $R$--groups, extending the theory in the connected case. We then prove some general results in the theory of representations of non-connected $p$-adic groups whose component group is abelian. We define the notion of cuspidal parabolic for $G$ in order to give a context for this discussion. Intertwining operators for the non-connected case are examined and the notions of supercuspidal and discrete series are defined. Finally, we examine parabolic induction from a cuspidal parabolic subgroup of $G.$ Here we also develop a theory of $R$--groups, and show that these groups parameterize the induced representations in a manner that is consistent with the connected case and with the first set of results as well.


title: Bourgain algebras, minimal envelopes, minimal support sets, and some applications

abstract: We explicitly compute certain Douglas algebras that are invariant under both the Bourgain map and the minimal envelope map. We also compute the Bourgain algebra and the minimal envelope of the maximal subalgebras of a certain singly generated Douglas algebra.


title: Contiguous relations, continued fractions and orthogonality

abstract: We examine a special linear combination of balanced very-well-poised $\tphia$ basic hypergeometric series that is known to satisfy a transformation. We call this $\Phi$ and show that it satisfies certain three-term contiguous relations. From two sets of contiguous relations for $\Phi$ we obtain fifty-six pairwise linearly independent solutions to a three-term recurrence that generalizes the recurrence for Askey-Wilson polynomials. The associated continued fraction is evaluated using Pincherle's theorem. From this continued fraction we are able to derive a discrete system of biorthogonal rational functions. This ties together Wilson's results for rational biorthogonality, Watson's $q$-analogue of Ramanujan's Entry 40 continued fraction and a conjecture of Askey concerning the latter. Some new $q$-series identities are also obtained. One is an important three-term transformation for $\Phi$'s which generalizes all the known two and three-term $\ephis$ transformations. Others are new and unexpected quadratic identities for these very-well-poised $\ephis$'s.


title: Transformation and summation formulas for Kampe de Feriet series.

abstract: The double hypergeometric Kamp\'e de F\'eriet series $F^{0:3}_{1:1}(1,1)$ depends upon 9 complex parameters. We present three cases with 2 relations between those 9 parameters, and show that under these circumstances $F^{0:3}_{1:1}(1,1)$ can be written as a ${}_4F_3(1)$ series. Some limiting cases of these transformation formulas give rise to new summation results for special $F^{0:3}_{1:1}(1,1)$'s. The actual transformation results arose out of the study of 9-$j$ coefficients.


title: Possibly every real function is continuous on a non--meagre set

abstract: We prove consistency of the following sentence: ``ZFC + every real function is continuous on a non-meagre set'', answering a question of Fremlin.


title: Period doubling, entropy, and renormalization

abstract: We show that in any family of stunted sawtooth maps, the set of maps whose set of periods is the set of all powers of 2 has no interior point, i.e., the combinatorial description of the boundary of chaos coincides with the topological description. We also show that, under mild assumptions, smooth multimodal maps whose set of periods is the set of all powers of 2 are infinitely renormalizable.


title: Murnaghan-Nakayama rules for characters of Iwahori-Hecke algebras of the complex reflection groups G(r,p,n)

abstract: Iwahori-Hecke algebras for the infinite series of complex reflection groups $G(r,p,n)$ were constructed recently in the work of Ariki and Koike, Brou\'e and Malle, and Ariki. In this paper we give Murnaghan-Nakayama type formulas for computing the irreducible characters of these algebras. Our method is a generalization of that in our earlier paper in which we derived Murnaghan-Nakayama rules for the characters of the Iwahori-Hecke algebras of the classical Weyl groups. In both papers we have been motivated by C. Greene, who gave a new derivation of the Murnaghan-Nakayama formula for irreducible symmetric group characters by summing diagonal matrix entries in Young's seminormal representations. We use the analogous representations of the Iwahori-Hecke algebra of $G(r,p,n)$ given by Ariki and Koike.


title: Seminormal representations of Weyl groups and Iwahori-Hecke algebras

abstract: The purpose of this paper is to describe a general procedure for computing analogues of Young's seminormal representations of the symmetric groups. The method is to generalize the Jucys-Murphy elements in the group algebras of the symmetric groups to arbitrary Weyl groups and Iwahori-Hecke algebras. The combinatorics of these elements allows one to compute irreducible representations explicitly and often very easily. In this paper we do these computations for Weyl groups and Iwahori-Hecke algebras of types $A_n$, $B_n$, $D_n$, $G_2$. Although these computations are in reach for types $F_4$, $E_6$, and $E_7$, we shall, in view of the length of the current paper, postpone this to another work.


title: Asymptotically optimal covering designs

abstract: A (v,k,t) covering design, or covering, is a family of k-subsets, called blocks, chosen from a v-set, such that each t-subset is contained in at least one of the blocks. The number of blocks is the covering's size}, and the minimum size of such a covering is denoted by C(v,k,t). It is easy to see that a covering must contain at least (v choose t)/(k choose t) blocks, and in 1985 R\"odl [European J. Combin. 5 (1985), 69-78] proved a long-standing conjecture of Erd\H{o}s and Hanani [Publ. Math. Debrecen 10 (1963), 10-13] that for fixed k and t, coverings of size (v choose t)/(k choose t) (1+o(1)) exist (as v \to \infty). An earlier paper by the first three authors [J. Combin. Des. 3 (1995), 269-284] gave new methods for constructing good coverings, and gave tables of upper bounds on C(v,k,t) for small v, k, and t. The present paper shows that two of those constructions are asymptotically optimal: For fixed k and t, the size of the coverings constructed matches R\"odl's bound. The paper also makes the o(1) error bound explicit, and gives some evidence for a much stronger bound.


title: Highly saturated packings and reduced coverings

abstract: We introduce and study certain notions which might serve as substitutes for maximum density packings and minimum density coverings. A body is a compact connected set which is the closure of its interior. A packing $\cal P$ with congruent replicas of a body $K$ is $n$-saturated if no $n-1$ members of it can be replaced with $n$ replicas of $K$, and it is completely saturated if it is $n$-saturated for each $n\ge 1$. Similarly, a covering $\cal C$ with congruent replicas of a body $K$ is $n$-reduced if no $n$ members of it can be replaced by $n-1$ replicas of $K$ without uncovering a portion of the space, and it is completely reduced if it is $n$-reduced for each $n\ge 1$. We prove that every body $K$ in $d$-dimensional Euclidean or hyperbolic space admits both an $n$-saturated packing and an $n$-reduced covering with replicas of $K$. Under some assumptions on $K\subset \mathbb{E}^d$ (somewhat weaker than convexity), we prove the existence of completely saturated packings and completely reduced coverings, but in general, the problem of existence of completely saturated packings and completely reduced coverings remains unsolved. Also, we investigate some problems related to the the densities of $n$-saturated packings and $n$-reduced coverings. Among other things, we prove that there exists an upper bound for the density of a $d+2$-reduced covering of $\mathbb{E}^d$ with congruent balls, and we produce some density bounds for the $n$-saturated packings and $n$-reduced coverings of the plane with congruent circles.


title: The A,B,C of pcf: a companion to pcf theory, Part I

abstract: This is a survey paper of Shelah's pcf theory. In this part the theory is developed up to the pcf theorem.


title: A ZFC Dowker space in $\aleph_{\omega+1}$: an application of pcf theory to topology

abstract: A ZFC Dowker space is constructed which has cardinality $\aleph_{\omega+1}$. This provides a bound in ZFC to the first cardinal in which there is a ZFC Dowker space. The space we construct is a closed and cofinal subspace of M.~E.~Rudin's Dowker space from 1971. A theorem from pcf theory used in the proof, but otherwise the proof is elementary.


title: A representation of isometries on function spaces

abstract: The main result says that every surjective isometry between two ideal Banach function spaces satisfying certain conditions can be presented as a composition of a measurable transformation of a variable and multiplication by a function.


title: On isometric reflexions in Banach spaces

abstract: We obtain the following characterization of Hilbert spaces. Let $E$ be a Banach space whose unit sphere $S$ has a hyperplane of symmetry. Then $E$ is a Hilbert space iff any of the following two conditions is fulfilled: a) the isometry group ${\rm Iso}\, E$ of $E$ has a dense orbit in S; b) the identity component $G_0$ of the group ${\rm Iso}\, E$ endowed with the strong operator topology acts topologically irreducible on $E$. Some related results on infinite dimentional Coxeter groups generated by isometric reflexions are given which allow to analyse the structure of isometry groups containing sufficiently many reflexions.


title: A simple proof of a theorem of Kirchberg and related results on $C^*$-norms

abstract: Recently, E.\ Kirchberg [K1--2] revived the study of pairs of $C^*$-algebras $A,B$ such that there is only one $C^*$-norm on the algebraic tensor product $A\otimes B$, or equivalently such that $A \otimes_{\rm min}B = A\otimes_{\rm max}B$. Recall that a $C^*$-algebra is called nuclear cf.\ [L, EL] if this happens for any $C^*$-algebra $B$. Kirchberg [K1] constructed the first example of a non-nuclear $C^*$-algebra such that $A\otimes_{\rm min} A^{op} = A \otimes_{\rm max} A^{op}$. He also proved the following striking result [K2] for which we give a very simple proof and which we extend. \proclaim Theorem 0.1. {\bf (Kirchberg [K2]).} Let $F$ be any free group and let $C^*(F)$ be the (full) $C^*$-algebra of $F$, then $$C^*(F) \otimes_{\rm min} B(H) = C^*(F) \otimes_{\rm max} B(H).$$


title: Isometric classification of norms in rearrangement-invariant function spaces

abstract: Suppose that a real nonatomic function space on $[0,1]$ is equipped with two re\-arran\-ge\-ment-invariant norms $\|\cdot\|$ and $|||\cdot|||$. We study the question whether or not the fact that $(X,\|\cdot\|)$ is isometric to $(X,|||\cdot|||)$ implies that $\|f\|= |||f|||$ for all $f$ in $X$. We show that in strictly monotone Orlicz and Lorentz spaces this is equivalent to asking whether or not the norms are defined by equal Orlicz functions, resp. Lorentz weights. We show that the above implication holds true in most rearrangement-invariant spaces, but we also identify a class of Orlicz spaces where it fails. We provide a complete description of Orlicz functions $\varphi \neq\psi$ with the property that $L_\varphi$ and $L_\psi$ are isometric.


title: Quadratic forms in unitary operators

abstract: Let $u_1,\ldots,u_n$ be unitary operators on a Hilbert space $H$. We study the norm $$\left\|\sum^{i=n}_{i=1} u_i \otimes \bar u_i\right\|\leqno (1)$$ of the operator $\sum u_i \otimes \bar u_i$ acting on the Hilbertian tensor product $H\otimes_2 \overline H$. The main result of this note is Theorem 1. For any $n$-tuple $u_1,\ldots, u_n$ of unitary operators in $B(H)$, we have $$2\sqrt{n-1} \le \left\|\sum^n_1 u_i \otimes \bar u_i\right\|.\leqno (6)$$ In other words, the right side of (6) is minimal exactly when $u_i = \lambda(g_i)$.


title: Constructions of $\Cal L_p$ spaces for $p \in (1,\infty)\setminus \{2\}$

abstract: This is an exposition of the known techniques for constructing $\Cal L_p$-spaces for $p\in (1,\infty)\setminus \{2\}$, including some unpublished work of Alspach. Isomorphic and complemented embedding relations between these spaces are also explored.


title: Convex unconditionality and summability of weakly null sequences

abstract: It is proved that every normalized weakly null \sq\ has a sub\sq\ which is convexly unconditional. Further, an Hierarchy of summability methods is introduced and with this we give a complete classification of the complexity of weakly null \sq s.