Interpolation spaces between the Lipschitz class and the space of continuous functions

It is shown that the complex interpolation spaces and do not coincide with or and also that the couple is not a Calderón couple. Similar results are also obtained for the couples and when .

     

Chains of strongly non-reflexive dual groups of integer-valued continuous functions

Answering a question of Eklof-Mekler (Almost free modules, set-theoretic methods, North-Holland, Amsterdam, 1990), we prove: (1) If there exists a non-reflecting stationary set of consisting of ordinals of cofinality for each , then there exist abelian groups such that and for each . (2) There exist abelian groups such that for each and for each . The groups are the groups of -valued continuous functions on a topological space and their dual groups.

     

The -PIP and integrability of a single function

Two examples are given that answer in the negative the following question asked by E. M. Bator: If is bounded and weakly measurable and for each in there is a bounded sequence in such that a.e., does it follow that is Pettis integrable?

     

Nonlinear oscillations of second order differential equations of Euler type

We consider the nonlinear equation , where satisfies for , but is not assumed to be sublinear or superlinear. We discuss whether all nontrivial solutions of the equation are oscillatory or nonoscillatory. Our results can be applied even to the case , which is most difficult.

     

Almost linearity of -bi-Lipschitz maps between real Banach spaces

Let and be real Banach spaces. A map between and is called an -bi-Lipschitz map if for all . In this note we show that if is an -bi-Lipschitz map with from onto , then is almost linear. We also show that if is a surjective -bi-Lipschitz map with , then there exists a linear isomorphism such that

where as and .

     

Comparative probability on von Neumann algebras

We continue here the study begun in earlier papers on implementation of comparative probability by states. Let be a von Neumann algebra on a Hilbert space and let denote the projections of . A comparative probability (CP) on (or more correctly on is a preorder on satisfying:

with for some .

If , then either or .

If , and are all in and , , then .

A state on is said to implement a on if for , . In this paper, we examine the conditions for implementability of a CP on a general von Neumann algebra (as opposed to only type I factors). A crucial tool used here, as well as in earlier results, is the interval topology generated on by . A will be termed continuous in a given topology on if the interval topology generated by is weaker than the topology induced on by the given topology. We show that uniform continuity of a comparative probability is necessary and sufficient if the von Neumann algebra has no finite direct summand. For implementation by normal states, weak continuity is sufficient and necessary if the von Neumann algebra has no finite direct summand of type I. We arrive at these results by constructing an appropriate additive measure from the CP.

     

Topologically conjugate Kleinian groups

Two Kleinian groups and are said to be topologically conjugate when there is a homeomorphism such that . It is conjectured that if two Kleinian groups and are topologically conjugate, one is a quasi-conformal deformation of the other. In this paper generalizing Minsky's result, we shall prove that this conjecture is true when is finitely generated and freely indecomposable, and the injectivity radii of all points of and are bounded below by a positive constant.

     

Cohomological detection and regular elements in group cohomology

Suppose that is a compact Lie group or a discrete group of finite virtual cohomological dimension and that is a field of characteristic . Suppose that is a set of elementary abelian -subgroups such that the cohomology is detected on the centralizers of the elements of . Assume also that is closed under conjugation and that is in whenever some subgroup of is in . Then there exists a regular element in the cohomology ring such that the restriction of to an elementary abelian -subgroup is not nilpotent if and only if is in . The converse of the result is a theorem of Lannes, Schwartz and the second author. The results have several implications for the depth and associated primes of the cohomology rings.

     

Conjugate but non inner conjugate subfactors

It is shown that for each there exist at least infinitely many subfactors of the hyperfinite II factor with index which are pairwise conjugate but non inner conjugate. In the case that is an integer, we have uncountably many such subfactors of

     

On spread and condensations

A space has a property strictly if every finite power of has . A condensation is a one-to-one continuous mapping onto. For Tychonoff spaces, the following results are established. If the strict spread of is countable, then can be condensed onto a strictly hereditarily separable space. If , then can be condensed onto a strictly hereditarily separable space, and therefore, every compact subspace of is strictly hereditarily separable. Under , if is a topological group such that , then is strictly hereditarily Lindelöf and strictly hereditarily separable.

     

Countable network weight and multiplication of Borel sets

A space Borel multiplies with a space if each Borel set of is a member of the -algebra in generated by Borel rectangles. We show that a regular space Borel multiplies with every regular space if and only if has a countable network. We give an example of a Hausdorff space with a countable network which fails to Borel multiply with any non-separable metric space. In passing, we obtain a characterization of those spaces which Borel multiply with the space of countable ordinals, and an internal necessary and sufficient condition for to Borel multiply with every metric space.

     

Parametrizing maximal compact subvarieties

For the Lie group , let be the open orbit of Lagrangian planes of signature in the generalized flag variety of Lagrangian planes in . For a suitably chosen maximal compact subgroup of and a base point we have that the orbit of is a maximal compact subvariety of . We show that for the connected component containing in the space of translates of which lie in is biholomorphic to , where denotes with the opposite complex structure.

     

-Fréchet-Urysohn property of Franklin compact spaces

Franklin compact spaces defined by maximal almost disjoint families of subsets of are considered from the view of its -sequentiality and -Fréchet-Urysohn-property for ultrafilters . Our principal results are the following: CH implies that for every -point there are a Franklin compact -Fréchet-Urysohn space and a Franklin compact space which is not -Fréchet-Urysohn; and, assuming CH, for every Franklin compact space there is a -point such that it is not -Fréchet-Urysohn. Some new problems are raised.

     

Some remarks on the variation of curve length and surface area

Consider the curve , where is absolutely continuous on . Then has finite length, and if is the -neighborhood of in the uniform norm, we compare the length of the shortest path in with the length of . Our main result establishes necessary and sufficient conditions on such that the difference of these quantities is of order as . We also include a result for surfaces.

     

Non-normal, standard subgroups of the Bianchi groups

Let be a subgroup of , where is a Dedekind ring, and let be the -ideal generated by , where . The subgroup is called standard iff contains the normal subgroup of generated by the -elementary matrices. It is known that, when , is standard iff is normal in . It is also known that every standard subgroup of is normal in when is an arithmetic Dedekind domain with infinitely many units. The ring of integers of an imaginary quadratic number field, , is one example (of three) of such an arithmetic domain with finitely many units. In this paper it is proved that every Bianchi group has uncountably many non-normal, standard subgroups. This result is already known for related groups like .

     

A theorem of Briançon-Skoda type for regular local rings containing a field

Let be a regular local ring containing a field. We give a refinement of the Briançon-Skoda theorem showing that if is a minimal reduction of where is -primary, then where and is the largest ideal such that . The proof uses tight closure in characteristic and reduction to characteristic for rings containing the rationals.

     

The theorem for semisimple Hopf algebras

We give an algebraic version of a result of G. I. Kac, showing that a semisimple Hopf algebra of dimension , where is a prime and , over an algebraically closed field of characteristic 0 contains a non-trivial central group-like. As an application we prove that, if , is isomorphic to a group algebra.

     

Limits of differentiable functions

Suppose that is a sequence of differentiable functions defined on [0,1] which converges uniformly to some differentiable function , and converges pointwise to some function . Let . In this paper we characterize such sets under various hypotheses. It follows from one of our characterizations that can be the entire interval [0,1].

     

-analyticity

Let be a finite-dimensional commutative algebra over and let , and be the ring of -differentiable functions of class , the ring of real analytic mappings with values in and the ring of -analytic functions, respectively, defined on an open subset of . We prove two basic results concerning -differentiability and -analyticity: ) , ) if and only if is defined over .