The sufficiency of arithmetic progressions for the Conjecture

Define by if is odd and if is even. The Conjecture states that the -orbit of every positive integer contains . A set of positive integers is said to be sufficient if the -orbit of every positive integer intersects the -orbit of an element of that set. Thus to prove the Conjecture it suffices to prove it on some sufficient set. Andaloro proved that the sets are sufficient for and asked if is also sufficient for larger values of . We answer this question in the affirmative by proving the stronger result that is sufficient for any nonnegative integers and with i.e. every nonconstant arithmetic sequence forms a sufficient set. We then prove analagous results for the Divergent Orbits Conjecture and Nontrivial Cycles Conjecture.

     

Automatic continuity of -derivations on -algebras

Let be a -algebra acting on a Hilbert space , let be a linear mapping and let be a -derivation. Generalizing the celebrated theorem of Sakai, we prove that if is a continuous -mapping, then is automatically continuous. In addition, we show the converse is true in the sense that if is a continuous --derivation, then there exists a continuous linear mapping such that is a --derivation. The continuity of the so-called - -derivations is also discussed.

     

On the product of two generalized derivations

Two elements and in a ring determine a generalized derivation on by setting for any in . We characterize when the product is a generalized derivation in the cases when the ring is the algebra of all bounded operators on a Banach space , and when is a -algebra . We use these characterizations to compute the commutant of the range of .

     

Cuntz-Pimnser algebras, completely positive maps and Morita equivalence

Let be a completely positive map on and let be the associated GNS--correspondence. We prove a result that implies, in particular, that the Cuntz-Pimsner algebra of , , is strongly Morita equivalent to the Cuntz algebra , where is the index of .

     

Ordered group invariants for nonorientable one-dimensional generalized solenoids

Let be an edge-wrapping rule which presents a one-dimensional generalized solenoid , and let be the adjacency matrix of . When is a wedge of circles and leaves the unique branch point fixed, we show that the stationary dimension group of is an invariant of homeomorphism of even if is not orientable.

     

A remark on irregularity of the -Neumann problem on non-smooth domains

It is an observation due to J. J. Kohn that for a smooth bounded pseudoconvex domain in there exists such that the -Neumann operator on maps (the space of -forms with coefficient functions in -Sobolev space of order ) into itself continuously. We show that this conclusion does not hold without the smoothness assumption by constructing a bounded pseudoconvex domain in , smooth except at one point, whose -Neumann operator is not bounded on for any .

     

-bounded groups and other topological groups with strong combinatorial properties

We construct several topological groups with very strong combinatorial properties. In particular, we give simple examples of subgroups of (thus strictly -bounded) which have the Menger and Hurewicz properties but are not -compact, and show that the product of two -bounded subgroups of may fail to be -bounded, even when they satisfy the stronger property . This solves a problem of Tkacenko and Hernandez, and extends independent solutions of Krawczyk and Michalewski and of Banakh, Nickolas, and Sanchis. We also construct separable metrizable groups of size continuum such that every countable Borel -cover of contains a -cover of .

     

-bounding and -induction

Working in the base theory of , we show that for all , the bounding principle for -formulas ( ) is equivalent to the induction principle for -formulas ( ). This partially answers a question of J. Paris.

     

An ascending HNN extension of a free group inside

We give an example of a subgroup of which is a strictly ascending HNN extension of a non-abelian finitely generated free group . In particular, we exhibit a free group in of rank which is conjugate to a proper subgroup of itself. This answers positively a question of Drutu and Sapir (2005). The main ingredient in our construction is a specific finite volume (non-compact) hyperbolic 3-manifold which is a surface bundle over the circle. In particular, most of comes from the fundamental group of a surface fiber. A key feature of is that there is an element of in with an eigenvalue which is the square root of a rational integer. We also use the Bass-Serre tree of a field with a discrete valuation to show that the group we construct is actually free.

     

An ultrafilter with property

Let be a -supercompact cardinal. We show that carries a normal ultrafilter with a property introduced by Menas. With it we give a transparent proof of Kamo's theorem that carries a normal ultrafilter with the partition property.

     

Complemented isometric copies of in dual Banach spaces

Let be a real or complex Banach space and . Then contains a -complemented, isometric copy of if and only if contains a -complemented, isometric copy of if and only if contains a subspace -asymptotic to .

     

-summand vectors in Banach spaces

The aim of this paper is to study the set of all -summand vectors of a real Banach space . We provide a characterization of -summand vectors in smooth real Banach spaces and a general decomposition theorem which shows that every real Banach space can be decomposed as an -sum of a Hilbert space and a Banach space without nontrivial -summand vectors. As a consequence, we generalize some results and we obtain intrinsic characterizations of real Hilbert spaces.

     

Extending Baire Property by countably many sets

We prove that if ZFC is consistent so is ZFC + ``for any sequence of subsets of a Polish space there exists a separable metrizable topology on with , and Borel in for all .' This is a category analogue of a theorem of Carlson on the possibility of extending Lebesgue measure to any countable collection of sets. A uniform argument is presented, which gives a new proof of the latter as well.

Some consequences of these extension properties are also studied.

     

On the algebra of functions -extendable for each finite

For each positive integer we construct a -function of one real variable, the graph of which has the following property: there exists a real function on which is -extendable to , for each finite, but it is not -extendable.

     

The classical monotone convergence theorem of Beppo Levi fails in noncommutative -spaces

Let be a complex Hilbert space and let be a von Neumann algebra over equipped with a faithful, normal state . Then is a prehilbert space with respect to the inner product , whose completion is given by the Gelfand-Naimark-Segal representation theorem, according to which there exist a one-to-one -homomorphism of into the algebra of all bounded linear operators acting on and a cyclic, separating vector such that for all . Given any separable Hilbert space , we construct a faithful, normal state on and an increasing sequence of positive operators acting on such that is bounded, but fails to converge both bundlewise and in -norm. We also present an example of an increasing sequence of positive operators which has a subsequence converging both bundlewise and in -norm, but the whole sequence fails to converge in either sense. Finally, we observe that our results are linked to a previous one by R. V. Kadison.

     

Degree of a holomorphic map between unit balls from to

Let be a rational proper holomorphic map between the unit ball in and the unit ball in Write

where and are holomorphic polynomials, with Recall that the degree of is defined by

   deg

In this paper, we give a bound estimate for the degree of improving the bound given by Forstneric (1989).

     

Pseudonormality and starcompactness of -products

In this paper we shall prove the following: For every non-trivial -product , of uncountable number of spaces, having at least two points, is not pseudonormal. And every non-trivial -product is not strongly starcompact.

     

On the minimum of several random variables

For a given sequence of real numbers , we denote the th smallest one by . Let be a class of random variables satisfying certain distribution conditions (the class contains Gaussian random variables). We show that there exist two absolute positive constants and such that for every sequence of real numbers and every , one has

-

where are independent random variables from the class . Moreover, if , then the left-hand side estimate does not require independence of the 's. We provide similar estimates for the moments of as well.

     

A generalized Lucas sequence and permutation binomials

Let be an odd prime and . Let be an odd positive integer. Let or and . By employing the integer sequence , which can be considered as a generalized Lucas sequence, we construct all the permutation binomials of the finite field .