




Piotr Koszmider, Saharon Shelah, Michał Świętek, There is no bound on sizes of indecomposable Banach spaces 










Assuming the generalized continuum hypothesis we construct arbitrarily big indecomposable Banach spaces,
i.e., such that whenever they are decomposed as X⊕Y, then one of the closed subspaces X or Y must be finite dimensional.
It requires alternative techniques compared to those which were initiated by Gowers and Maurey
or Argyros with the coauthors. This is because hereditarily indecomposable Banach spaces
always embed into l _{∞} and so their density and cardinality is bounded by the continuum and
because dual Banach spaces of densities bigger than continuum are decomposable by a result
due to Heinrich and Mankiewicz.
The obtained Banach spaces are of the form C(K) for some compact connected Hausdorff
space and have few operators in the sense that every linear bounded operator T on
C(K) for every f in C(K) satisfies T(f)=gf+S(f) where g is in C(K) and S is weakly compact
or equivalently strictly singular. In particular, the spaces carry the structure of
a Banach algebra and in the complex case even the structure of a C*algebra.
 














Tristan Bice, Piotr Koszmider, A note on the AkemannDoner and FarahWofsey constructions 










We remove the assumption of the continuum hypothesis from the AkemannDoner construction of a nonseparable C*algebra
A with only separable commutative C*subalgebras.
We also extend a result of Farah and Wofsey's, constructing ℵ _{1}
commuting projections in the Calkin algebra with no commutative lifting.
This removes the assumption of the continuum hypothesis from a version of a result of Anderson.
Both results are based on Luzin's almost disjoint family construction.
Accepted to Proceedings of the AMS
 














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 settheoretic
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 antiRamsey 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.
 














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.
Accepted to a special issue of Topology and Applications
 














Piotr Koszmider, Cristóbal RodriguezPorras,
On automorphisms of the Banach space l_{∞}/c_{0} 










We investigate Banach space automorphisms of l _{∞}/c _{0} focusing on the possibility of representing their fragments of the form
T_{B,A}:l_{∞}(A)/c_{0}(A) → l_{∞}(B)/c_{0}(B)
for A,B infinite subsets of N by means of linear operators from l _{∞}(A) into l _{∞}(B),
infinite A×Bmatrices, continuous maps from B ^{*} into A ^{*}, or bijections from B to A.
This leads to the analysis of general linear operators on l _{∞}/c _{0}.
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 _{∞}/c _{0} which cannot be lifted to
operators on l _{∞} and assuming OCA+MA we show that every automorphism of l _{∞}/c _{0} 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 settheoretic 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 c_{0}(ω_{1}) in C(K^{n}) spaces 










Given a compact Hausdorff space K we consider the Banach space of real continuous functions C(K ^{n})
or equivalently the nfold 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 c _{0}(ω _{1}) in C(K ^{n}) under the hypothesis that C(K)
contains an isomorphic copy of c _{0}(ω _{1}).
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 c _{0}, if one of the infinite dimensional Banach spaces X or Y
contains a copy of c _{0} 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 c _{0}(ω _{1}), then C(K×K) contains
a complemented copy c _{0}(ω _{1}).
The main result is that under the assumption of the club principle for every n in N there is a compact Hausdorff
space K _{n} of weight ω _{1} such that C(K _{n}) is Lindelof in the weak topology,
C(K ^{n}) contains a copy of c _{0}(ω _{1}), C(K _{n}^{n}) does
not contain a complemented copy of c _{0}(ω _{1}) while C(K _{n}^{n+1})
does contain a complemented copy of c _{0}(ω _{1}). This shows that
additional settheoretic 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 halfpcc Banach
spaces must be weakly pcc.
 














Piotr Koszmider; On constructions with 2cardinals











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 2cardinals. 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 tailormade for
crosscultural collaboration...
such efforts cannot fail to enrich both mathematical cultures"
 T. Gowers 
The two cultures of mathematics
