Piotr Koszmider mail: P.Koszmider@impan.pl

Piotr Koszmider, On the problem of compact totally disconnected reflection of nonmetrizability
We construct a ZFC example of a nonmetrizable compact space K such that every totally disconnected closed subspace L of K is metrizable. In fact, the construction can be arranged so that every nonmetrizable compact subspace may be of fixed big dimension. Then we focus on the problem if a nonmetrizable compact space K must have a closed subspace with a nonmetrizable totally disconnected continuous image. This question has several links with the structure of the Banach space C(K), for example, by Holsztyński's theorem, if K is a counterexample, then C(K) contains no isometric copy of a nonseparable Banach space C(L) for L totally disconnected. We show that in the literature there are diverse consistent counterexamples, most eliminated by Martin's axiom and the negation of the continuum hypothesis, but some consistent with it. We analyze the above problem for a particular class of spaces. OCA+MA however, implies the nonexistence of any counterexample in this class but the existence of some other absolute example remains open.

Piotr Koszmider, Uncountable equilateral sets in Banach spaces of the form C(K)
The paper is concerned with the problem whether a nonseparable Banach space must contain an uncountable set of vectors such that the distances between every two distinct vectors of the set are the same. Such sets are called equilateral. We show that Martin's axiom and the negation of the continuum hypothesis imply that every nonseparable Banach space of the form C(K) has an uncountable equilateral set. We also show that one cannot obtain such a result without an additional set-theoretic assumption since we construct an example of nonseparable Banach space of the form C(K) which has no uncountable equilateral set (or equivalently no uncountable (1+ε)-separated set in the unit sphere for any ε>0) making another consistent combinatorial assumption. The compact K is a version of the split interval obtained from a sequence of functions which behave in an anti-Ramsey manner. It remains open if there is an absolute example of a nonseparable Banach space of the form different than C(K) which has no uncountable equilateral set. It follows from the results of S. Mercourakis, G. Vassiliadis that our example has an equivalent renorming in which it has an uncountable equilateral set. It remains open if there are consistent examples which have no uncountable equilateral sets in any equivalent renorming but it follows from the results of S. Todorcevic that it is consistent that every nonseparable Banach space has an equivalent renorming in which it has an uncountable equilateral set.

Christina Brech, Piotr Koszmider, An isometrically universal Banach space induced by a non-universal Boolean algebra
Given a Boolean algebra A, we construct another Boolean algebra B with no uncountable well-ordered chains such that the Banach space of real valued continuous functions C(KA) embeds isometrically into C(KB), where A and B are the Stone spaces of A and B respectively. As a consequence we obtain the following: If there exists an isometrically universal Banach space for the class of Banach spaces of a given uncountable density k, then there is another such space which is induced by a Boolean algebra which is not universal for Boolean algebras of cardinality k. Such a phenomenon cannot happen on the level of separable Banach spaces and countable Boolean algebras. This is related to the open question if the existence of an isometrically universal Banach space and of a universal Boolean algebra are equivalent on the nonseparable level (both are true on the separable level).

Accepted to the Proceedings of the AMS

Piotr Koszmider, Cristóbal Rodriguez-Porras, On automorphisms of the Banach space l/c0
We investigate Banach space automorphisms of l/c0 focusing on the possibility of representing their fragments of the form
TB,A:l(A)/c0(A) → l(B)/c0(B)

for A,B infinite subsets of N by means of linear operators from l(A) into l(B), infinite A×B-matrices, continuous maps from B* into A*, or bijections from B to A. This leads to the analysis of general linear operators on l/c0.
We present many examples, introduce and investigate several classes of operators, for some of them we obtain satisfactory representations and for other give examples showing that it is impossible. In particular, we show that there are automorphisms of l/c0 which cannot be lifted to operators on l and assuming OCA+MA we show that every automorphism of l/c0 with no fountains or with no funnels is locally, i.e., for some infinite A,B?N as above, induced by a bijection from B to A. This additional set-theoretic assumption is necessary as we show that the continuum hypothesis implies the existence of counterexamples of diverse flavours. However, many basic problems, some of which are listed in the last section, remain open.

Accepted to Fundamenta Mathematicae

Leandro Candido, Piotr Koszmider; On complemented copies of c01) in C(Kn) spaces
Given a compact Hausdorff space K we consider the Banach space of real continuous functions C(Kn) or equivalently the n-fold injective tensor product of the C(K)s or the Banach space of vector valued continuous functions C(K,C(K,C(K...,C(K)...). We address the question of the existence of complemented copies of c01) in C(Kn) under the hypothesis that C(K) contains an isomorphic copy of c01). This is related to the results of E. Saab and P. Saab that the injective tensor product of X and Y contains a complemented copy of c0, if one of the infinite dimensional Banach spaces X or Y contains a copy of c0 and of E. M. Galego and J. Hagler that it follows from Martin's Maximum that if C(K) has density ω1 and contains a copy of c01), then C(K×K) contains a complemented copy c01).
The main result is that under the assumption of the club principle for every n in N there is a compact Hausdorff space Kn of weight ω1 such that C(Kn) is Lindelof in the weak topology, C(Kn) contains a copy of c01), C(Knn) does not contain a complemented copy of c01) while C(Knn+1) does contain a complemented copy of c01). This shows that additional set-theoretic assumptions in Galego and Hagler's nonseparable version of Cembrano and Freniche's theorem are necessary as well as clarifies in the negative direction the matter unsettled in a paper of Dow, Junnila and Pelant whether half-pcc Banach spaces must be weakly pcc.

Piotr Koszmider; On constructions with 2-cardinals
We propose developing the theory of consequences of morasses relevant in mathematical applications in the language alternative to the usual one, replacing commonly used structures by families of sets originating with Velleman's neat simplified morasses called 2-cardinals. The theory of related trees, gaps, colorings of pairs and forcing notions is reformulated and sketched from a unifying point of view with the focus on the applicability to constructions of mathematical structures like Boolean algebras, Banach spaces or compact spaces. A new result which we obtain as a side product is the consistency of the existence of a function with the appropriate version Δ-property for arbitrarily big cardinals.

Accepted to a special issue of Archive for Mathematical Logic

"Unfortunately, it is also difficult to reach a level of understanding where one can appreciate the essentailly combinatorial nature of the underlying problem. Such a situation is tailor-made for cross-cultural collaboration... such efforts cannot fail to enrich both mathematical cultures"

    -- T. Gowers --    The two cultures of mathematics