Showing 1–46 of 46 results for author: Koszmider, P

Products of C*-algebras that do not embed into the Calkin algebra

Authors: Damian Głodkowski, Piotr Koszmider

Abstract: We consider the Calkin algebra $\mathcal{Q}(\ell_2)$, i.e., the quotient of the algebra $\mathcal B(\ell_2)$ of all bounded linear operators on the separable Hilbert space $\ell_2$ divided by the ideal $\mathcal K(\ell_2)$ of all compact operators on $\ell_2$. We show that in the Cohen model of set theory ZFC there is no embedding of the product $(c_0(2^ω))^{\mathbb{N}}$ of infinitely many copies… ▽ More We consider the Calkin algebra $\mathcal{Q}(\ell_2)$, i.e., the quotient of the algebra $\mathcal B(\ell_2)$ of all bounded linear operators on the separable Hilbert space $\ell_2$ divided by the ideal $\mathcal K(\ell_2)$ of all compact operators on $\ell_2$. We show that in the Cohen model of set theory ZFC there is no embedding of the product $(c_0(2^ω))^{\mathbb{N}}$ of infinitely many copies of the abelian C*-algebra $c_0(2^ω)$ into $\mathcal{Q}(\ell_2)$ (while $c_0(2^ω)$ always embeds into $\mathcal{Q}(\ell_2)$). This enlarges the collection of the known examples due to Vaccaro and to McKenney and Vignati of abelian algebras, asymptotic sequence algebras, reduced products and coronas of stabilizations which consistently do not embed into the Calkin algebra. As in the Cohen model the rigidity of quotient structures fails in general, our methods do not rely on these rigidity phenomena as is the case of most examples mentioned above. The results should be considered in the context of the result of Farah, Hirshberg and Vignati which says that consistently all C*-algebras of density up to $2^ω$ do embed into $\mathcal{Q}(\ell_2)$. In particular, the algebra $(c_0(2^ω))^{\mathbb{N}}$ consistently embeds into the Calkin algebra as well. △ Less

Submitted 15 December, 2024; originally announced December 2024.

On Subspaces of Indecomposable Banach Spaces

Authors: Piotr Koszmider, Zdeněk Silber

Abstract: We address the following question: what is the class of Banach spaces isomorphic to subspaces of indecomposable Banach spaces? We show that this class includes all Banach spaces of density not bigger than the continuum which do not admit $\ell_\infty$ as a quotient (equivalently do not admit a subspace isomorphic to $\ell_1(\cc)$). This includes all Asplund spaces and all weakly Lindelöf determine… ▽ More We address the following question: what is the class of Banach spaces isomorphic to subspaces of indecomposable Banach spaces? We show that this class includes all Banach spaces of density not bigger than the continuum which do not admit $\ell_\infty$ as a quotient (equivalently do not admit a subspace isomorphic to $\ell_1(\cc)$). This includes all Asplund spaces and all weakly Lindelöf determined Banach spaces of density not bigger than the continuum. However, we also show that this class includes some Banach spaces admitting $\ell_\infty$ as a quotient. This sheds some light on the question asked in [S. Argyros, R. Haydon, \emph{Bourgain-Delbaen $L^\infty$-spaces, the scalar-plus-compact property and related problems}, Proceedings of the International Congress of Mathematicians (ICM 2018), Vol. III, 1477--1510. Page 1502] whether all Banach spaces not containing $\ell_\infty$ embed in some indecomposable Banach spaces. Our method of constructing indecomposable Banach spaces above a given Banach space is a considerable modification of the method of constructing Banach spaces of continuous functions with few$^*$ operators developed before by the first-named author. △ Less

Submitted 8 April, 2025; v1 submitted 22 August, 2024; originally announced August 2024.

MSC Class: 46B03; 46B26; 54D40; 54G05; 54D05

Countably tight dual ball with a nonseparable measure

Authors: Piotr Koszmider, Zdeněk Silber

Abstract: We construct a compact Hausdorff space $K$ such that the space $P(K)$ of Radon probabiblity measures on $K$ considered with the weak$^*$ topology (induced from the space of continuous functions $C(K)$) is countably tight which is a generalization of sequentiality (i.e., if a measure $μ$ is in the closure of a set $M$, there is a countable $M'\subseteq M$ such that $μ$ is in the closure of $M'$) bu… ▽ More We construct a compact Hausdorff space $K$ such that the space $P(K)$ of Radon probabiblity measures on $K$ considered with the weak$^*$ topology (induced from the space of continuous functions $C(K)$) is countably tight which is a generalization of sequentiality (i.e., if a measure $μ$ is in the closure of a set $M$, there is a countable $M'\subseteq M$ such that $μ$ is in the closure of $M'$) but $K$ carries a Radon probability measure which has uncountable Maharam type (i.e., $L_1(μ)$ is nonseparable). The construction uses (necessarily) an additional set-theoretic assumption (the $\diamondsuit$ principle) as it was already known, by a result of Fremlin, that it is consistent that such spaces do not exist. This should be compared with the result of Plebanek and Sobota who showed that countable tightness of $P(K\times K)$ implies that all Radon measures on $K$ have countable type. So, our example shows that the tightness of $P(K\times K)$ and of $P(K)\times P(K)$ can be different as well as $P(K)$ may have Corson property (C) while $P(K\times K)$ fails to have it answering a question of Pol. Our construction is also a relevant example in the general context of injective tensor products of Banach spaces complementing recent results of Avilés, Martínez-Cervantes, Rodríguez and Rueda Zoca. △ Less

Submitted 5 December, 2023; originally announced December 2023.

MSC Class: 46B25 (Primary) 03E35; 28A33; 28A35; 28A60; 46B26; 54D80 (Secondary)

On Ramsey-type properties of the distance in nonseparable spheres

Authors: Piotr Koszmider

Abstract: Given an uncountable subset $\mathcal Y$ of a nonseparable Banach space, is there an uncountable $\mathcal Z\subseteq \mathcal Y$ such that the distances between any two distinct points of $\mathcal Z$ are more or less the same? If an uncountable subset $\mathcal Y$ of a nonseparable Banach space does not admit an uncountable $\mathcal Z\subseteq \mathcal Y$, where any two points are distant by mo… ▽ More Given an uncountable subset $\mathcal Y$ of a nonseparable Banach space, is there an uncountable $\mathcal Z\subseteq \mathcal Y$ such that the distances between any two distinct points of $\mathcal Z$ are more or less the same? If an uncountable subset $\mathcal Y$ of a nonseparable Banach space does not admit an uncountable $\mathcal Z\subseteq \mathcal Y$, where any two points are distant by more than $r>0$, is it because $\mathcal Y$ is the countable union of sets of diameters not bigger than $r$? We investigate connections between the set-theoretic phenomena involved and the geometric properties of uncountable subsets of nonseparable Banach spaces of densities up to $2^ω$ related to uncountable $(1+)$-separated sets, equilateral sets or Auerbach systems. The results include geometric dichotomies for a wide range of classes of Banach spaces, some in ZFC, some under the assumption of OCA+MA and some under a hypothesis on the descriptive complexity of the space as well as constructions (in ZFC or under CH) of Banach spaces where the geometry of the unit sphere displays anti-Ramsey properties. This complements classical theorems for separable spheres and the recent results of Hájek, Kania, Russo for densities above $2^ω$ as well as offers a synthesis of possible phenomena and categorization of examples for uncountable densities up to $2^ω$ obtained previously by the author and Guzmán, Hrušák, Ryduchowski and Wark. It remains open if the dichotomies may consistently hold for all Banach spaces of the first uncountable density or if the strong anti-Ramsey properties of the distance on the unit sphere of a Banach space can be obtained in ZFC. △ Less

Submitted 9 August, 2024; v1 submitted 15 August, 2023; originally announced August 2023.

Comments: Corrected typos and inaccuracies, especially in the proofs of 10, 44, 62, 71, 72

Equilateral and separated sets in some Hilbert generated Banach spaces

Authors: Piotr Koszmider, Kamil Ryduchowski

Abstract: We study Hilbert generated versions of nonseparable Banach spaces $\mathcal X$ considered by Shelah, Steprāns and Wark where the behavior of the norm on nonseparable subsets is so irregular that it does not allow any linear bounded operator on $\mathcal X$ other than a diagonal operator (or a scalar multiple of the identity) plus a separable range operator. We address the questions if these spaces… ▽ More We study Hilbert generated versions of nonseparable Banach spaces $\mathcal X$ considered by Shelah, Steprāns and Wark where the behavior of the norm on nonseparable subsets is so irregular that it does not allow any linear bounded operator on $\mathcal X$ other than a diagonal operator (or a scalar multiple of the identity) plus a separable range operator. We address the questions if these spaces admit uncountable equilateral sets and if their unit spheres admit uncountable $(1+)$-separated or $(1+\varepsilon)$-separated sets. We resolve some of the above questions for two types of these spaces by showing both absolute and undecidability results. The corollaries are that the continuum hypothesis (in fact: the existence of a nonmeager set of reals of the first uncountable cardinality) implies the existence of an equivalent renorming of the nonsepareble Hilbert space $\ell_2(ω_1)$ which does not admit any uncountable equilateral set and it implies the existence of a nonseparable Hilbert generated Banach space containing an isomorphic copy of $\ell_2$ in each nonseparable subspace, whose unit sphere does not admit an uncountable equilateral set and does not admit an uncountable $(1+\varepsilon)$-separated set for any $\varepsilon>0$. This could be compared with a recent result by Hájek, Kania and Russo saying that all nonseparable reflexive Banach spaces admit uncountable $(1+\varepsilon)$-separated sets in their unit spheres. △ Less

Submitted 18 January, 2023; originally announced January 2023.

Almost disjoint families and the geometry of nonseparable spheres

Authors: Osvaldo Guzmán, Michael Hrušák, Piotr Koszmider

Abstract: We consider uncountable almost disjoint families of subsets of $\mathbb N$, the Johnson-Lindenstrauss Banach spaces $(\mathcal X_{\mathcal A}, \|\ \|_\infty)$ induced by them, and their natural equivalent renormings $(\mathcal X_{\mathcal A}, \|\ \|_{\infty, 2})$. We introduce a partial order $\mathbb P_{\mathcal A}$ and characterize some geometric properties of the spheres of… ▽ More We consider uncountable almost disjoint families of subsets of $\mathbb N$, the Johnson-Lindenstrauss Banach spaces $(\mathcal X_{\mathcal A}, \|\ \|_\infty)$ induced by them, and their natural equivalent renormings $(\mathcal X_{\mathcal A}, \|\ \|_{\infty, 2})$. We introduce a partial order $\mathbb P_{\mathcal A}$ and characterize some geometric properties of the spheres of $(\mathcal X_{\mathcal A}, \|\ \|_{\infty})$ and of $(\mathcal X_{\mathcal A}, \|\ \|_{\infty, 2})$ in terms of combinatorial properties of $\mathbb P_{\mathcal A}$. Exploiting the extreme behavior of some known and some new almost disjoint families among others we show the existence of Banach spaces where the unit spheres display surprising geometry: 1) There is a Banach space of density continuum whose unit sphere is the union of countably many sets of diameters strictly less than $1$. 2) It is consistent that for every $ρ>0$ there is a nonseparable Banach space, where for every $δ>0$ there is $\varepsilon>0$ such that every uncountable $(1-\varepsilon)$-separated set of elements of the unit sphere contains two elements distant by less than $1$ and two elements distant at least by $2-ρ-δ$. It should be noted that for every $\varepsilon>0$ every nonseparable Banach space has a plenty of uncountable $(1-\varepsilon)$-separated sets by the Riesz Lemma. We also obtain a consistent dichotomy for the spaces of the form $(\mathcal X_{\mathcal A}, \|\ \|_{\infty, 2})$: The Open Coloring Axiom implies that the unit sphere of every Banach space of the form $(\mathcal X_{\mathcal A}, \|\ \|_{\infty, 2})$ either is the union of countably many sets of diameter strictly less than $1$ or it contains an uncountable $(2-\varepsilon)$-separated set for every $\varepsilon>0$. △ Less

Submitted 11 December, 2022; originally announced December 2022.

Banach spaces in which large subsets of spheres concentrate

Authors: Piotr Koszmider

Abstract: We construct a nonseparable Banach space $\mathcal X$ (actually, of density continuum) such that any uncountable subset $\mathcal Y$ of the unit sphere of $\mathcal X$ contains uncountably many points distant by less than $1$ (in fact, by less then $1-\varepsilon$ for some $\varepsilon>0$). This solves in the negative the central problem of the search for a nonseparable version of Kottman's theore… ▽ More We construct a nonseparable Banach space $\mathcal X$ (actually, of density continuum) such that any uncountable subset $\mathcal Y$ of the unit sphere of $\mathcal X$ contains uncountably many points distant by less than $1$ (in fact, by less then $1-\varepsilon$ for some $\varepsilon>0$). This solves in the negative the central problem of the search for a nonseparable version of Kottman's theorem which so far has produced many deep positive results for special classes of Banach spaces and has related the global properties of the spaces to the distances between points of uncountable subsets of the unit sphere. The property of our space is strong enough to imply that it contains neither an uncountable Auerbach system nor an uncountable equilateral set. The space is a strictly convex renorming of the Johnson-Lindenstrauss space induced by an $\mathbb R$-embeddable almost disjoint family of subsets of $\mathbb N$. We also show that this special feature of the almost disjoint family is essential to obtain the above properties. △ Less

Submitted 8 June, 2021; v1 submitted 12 April, 2021; originally announced April 2021.

Comments: Added final section with open problems

Large Banach spaces with no infinite equilateral sets

Authors: Piotr Koszmider, Hugh Wark

Abstract: A subset of a Banach space is called equilateral if the distances between any two of its distinct elements are the same. It is proved that there exist non-separable Banach spaces (in fact of density continuum) with no infinite equilateral subset. These examples are strictly convex renormings of $\ell_1([0,1])$. A wider class of renormings of $\ell_1([0,1])$ which admit no uncountable equilateral s… ▽ More A subset of a Banach space is called equilateral if the distances between any two of its distinct elements are the same. It is proved that there exist non-separable Banach spaces (in fact of density continuum) with no infinite equilateral subset. These examples are strictly convex renormings of $\ell_1([0,1])$. A wider class of renormings of $\ell_1([0,1])$ which admit no uncountable equilateral sets is also considered. △ Less

Submitted 22 May, 2021; v1 submitted 12 April, 2021; originally announced April 2021.

Comments: A typo corrected and the bibliography updated

On coverings of Banach spaces and their subsets by hyperplanes

Authors: Damian Głodkowski, Piotr Koszmider

Abstract: Given a Banach space we consider the $σ$-ideal of all of its subsets which are covered by countably many hyperplanes and investigate its standard cardinal characteristics as the additivity, the covering number, the uniformity, the cofinality. We determine their values for separable Banach spaces, and approximate them for nonseparable Banach spaces. The remaining questions reduce to deciding if the… ▽ More Given a Banach space we consider the $σ$-ideal of all of its subsets which are covered by countably many hyperplanes and investigate its standard cardinal characteristics as the additivity, the covering number, the uniformity, the cofinality. We determine their values for separable Banach spaces, and approximate them for nonseparable Banach spaces. The remaining questions reduce to deciding if the following can be proved in ZFC for every nonseparable Banach space $X$: (1) $X$ can be covered by $ω_1$-many of its hyperplanes; (2) All subsets of $X$ of cardinalities less than ${\rm cf}([{\rm dens}(X)]^ω)$ can be covered by countably many hyperplanes. We prove (1) and (2) for all Banach spaces in many well-investigated classes and that they are consistent with any possible size of the continuum. (1) is related to the problem whether every compact Hausdorff space which has small diagonal is metrizable and (2) to large cardinals. △ Less

Submitted 25 May, 2021; v1 submitted 8 March, 2021; originally announced March 2021.

Comments: Final version after revision

On the existence of overcomplete sets in some classical nonseparable Banach spaces

Authors: Piotr Koszmider

Abstract: For a Banach space $X$ its subset $Y\subseteq X$ is called overcomplete if $|Y|=dens(X)$ and $Z$ is linearly dense in $X$ for every $Z\subseteq Y$ with $|Z|=|Y|$. In the context of nonseparable Banach spaces this notion was introduced recently by T. Russo and J. Somaglia but overcomplete sets have been considered in separable Banach spaces since the 1950ties. We prove some absolute and consisten… ▽ More For a Banach space $X$ its subset $Y\subseteq X$ is called overcomplete if $|Y|=dens(X)$ and $Z$ is linearly dense in $X$ for every $Z\subseteq Y$ with $|Z|=|Y|$. In the context of nonseparable Banach spaces this notion was introduced recently by T. Russo and J. Somaglia but overcomplete sets have been considered in separable Banach spaces since the 1950ties. We prove some absolute and consistency results concerning the existence and the nonexistence of overcomplete sets in some classical nonseparable Banach spaces. For example: $c_0(ω_1)$, $C([0,ω_1])$, $L_1(\{0,1\}^{ω_1})$, $\ell_p(ω_1)$, $L_p(\{0,1\}^{ω_1})$ for $p\in (1, \infty)$ or in general WLD Banach spaces of density $ω_1$ admit overcomplete sets (in ZFC). The spaces $\ell_\infty$, $\ell_\infty/c_0$, spaces of the form $C(K)$ for $K$ extremally disconnected, superspaces of $\ell_1(ω_1)$ of density $ω_1$ do not admit overcomplete sets (in ZFC). Whether the Johnson-Lindenstrauss space generatedin $\ell_\infty$ by $c_0$ and the characteristic functions of elements of an almost disjoint family of subsets of $\mathbb N$ of cardinality $ω_1$ admits an overcomplete set is undecidable. The same refers to all nonseparable Banach spaces with the dual balls of density $ω_1$ which are separable in the weak$^*$ topology. The results proved refer to wider classes of Banach spaces but several natural open questions remain open. △ Less

Submitted 8 June, 2021; v1 submitted 1 June, 2020; originally announced June 2020.

Comments: Revised following the suggestions of a referee

A Banach space induced by an almost disjoint family, admitting only few operators and decompositions

Authors: Piotr Koszmider, Niels Jakob Laustsen

Abstract: We consider the closed subspace of $\ell_\infty$ generated by $c_0$ and the characteristic functions of elements of an uncountable, almost disjoint family $\mathcal A$ of infinite subsets of $\mathbb N$. This Banach space has the form $C_0(K_{\mathcal A})$ for a locally compact Hausdorff space $K_{\mathcal A}$ that is known under many names, such as $Ψ$-space and Isbell--Mrówka space. We constru… ▽ More We consider the closed subspace of $\ell_\infty$ generated by $c_0$ and the characteristic functions of elements of an uncountable, almost disjoint family $\mathcal A$ of infinite subsets of $\mathbb N$. This Banach space has the form $C_0(K_{\mathcal A})$ for a locally compact Hausdorff space $K_{\mathcal A}$ that is known under many names, such as $Ψ$-space and Isbell--Mrówka space. We construct an uncountable, almost disjoint family ${\mathcal A}$ such that the Banach algebra of all bounded linear operators on $C_0(K_{\mathcal A})$ is as small as possible in the sense that every bounded linear operator on $C_0(K_{\mathcal A})$ is the sum of a scalar multiple of the identity and an operator that factors through $c_0$ (which in this case is equivalent to having separable range). This implies that $C_0(K_{\mathcal A})$ has the fewest possible decompositions: whenever $C_0(K_{\mathcal A})=X\oplus Y$ with $dim({X})=\infty$, $dim({Y})=\infty$, either ${X}$ is isomorphic to $C_0(K_{\mathcal A})$ and ${Y}$ to $c_0$, or vice versa. These results improve previous work of the first named author in which an extra set-theoretic hypothesis was required. We also discuss the consequences of these results for the algebra of all bounded linear operators on our Banach space $C_0(K_{\mathcal A})$ concerning the lattice of closed ideals, characters and automatic continuity of homomorphisms. To exploit the perfect set property for Borel sets as in the classical construction of an almost disjoint family of Mrówka we need to deal with $\mathbb N \times \mathbb N$-matrices rather than with the usual partitioners. This noncommutative setting requires new ideas inspired by the theory of compact and weakly compact operators and the use of an extraction principle due to F. van Engelen, K. Kunen and A. Miller concerning Borel subsets of the square. △ Less

Submitted 1 February, 2021; v1 submitted 8 March, 2020; originally announced March 2020.

Comments: Minor corrections. Accepted for Adv. Math

A non-diagonalizable pure state

Authors: Piotr Koszmider

Abstract: We construct a pure state on the C*-algebra $\mathcal B(\ell_2)$ of all bounded linear operators on $\ell_2$ which is not diagonalizable, i.e., it is not of the form $\lim_u\langle T(e_k), e_k\rangle$ for any orthonormal basis $(e_k)_{k\in \mathbb N}$ of $\ell_2$ and an ultrafilter $u$ on $\mathbb N$. This constitutes a counterexample to Anderson's conjecture without additional hypothesis and impr… ▽ More We construct a pure state on the C*-algebra $\mathcal B(\ell_2)$ of all bounded linear operators on $\ell_2$ which is not diagonalizable, i.e., it is not of the form $\lim_u\langle T(e_k), e_k\rangle$ for any orthonormal basis $(e_k)_{k\in \mathbb N}$ of $\ell_2$ and an ultrafilter $u$ on $\mathbb N$. This constitutes a counterexample to Anderson's conjecture without additional hypothesis and improves results of C. Akemann, N. Weaver, I. Farah and I. Smythe who constructed such states making additional set-theoretic assumptions. It follows from results of J. Anderson and the positive solution to the Kadison-Singer problem due to A. Marcus, D. Spielman, N. Srivastava that the restriction of our pure state to any atomic masa $D((e_k)_{k\in \mathbb N})$ of diagonal operators with respect to an orthonormal basis $(e_k)_{k\in \mathbb N}$ is not multiplicative on $D((e_k)_{k\in \mathbb N})$. △ Less

Submitted 17 March, 2020; v1 submitted 12 February, 2020; originally announced February 2020.

Comments: Some typos corrected and more remarks added at the end

Rosenthal families, pavings and generic cardinal invariants

Authors: Piotr Koszmider, Arturo Martínez-Celis

Abstract: Following D. Sobota we call a family $\mathcal F$ of infinite subsets of $\mathbb N$ a Rosenthal family if it can replace the family of all infinite subsets of $\mathbb N$ in classical Rosenthal's Lemma concerning sequences of measures on pairwise disjoint sets. We resolve two problems on Rosenthal families: every ultrafilter is a Rosenthal family and the minimal size of a Rosenthal family is exac… ▽ More Following D. Sobota we call a family $\mathcal F$ of infinite subsets of $\mathbb N$ a Rosenthal family if it can replace the family of all infinite subsets of $\mathbb N$ in classical Rosenthal's Lemma concerning sequences of measures on pairwise disjoint sets. We resolve two problems on Rosenthal families: every ultrafilter is a Rosenthal family and the minimal size of a Rosenthal family is exactly equal to the reaping cardinal $\mathfrak r$. This is achieved through analyzing nowhere reaping families of subsets of $\mathbb N$ and through applying a paving lemma which is a consequence of a paving lemma concerning linear operators on $\ell_1^n$ due to Bourgain. We use connections of the above results with free set results for functions on $\mathbb N$ and with linear operators on $c_0$ to determine the values of several other derived cardinal invariants. △ Less

Submitted 15 November, 2019; v1 submitted 4 November, 2019; originally announced November 2019.

Comments: Modified title

On $\mathbb R$-embeddability of almost disjoint families and Akemann-Doner C*-algebras

Authors: Osvaldo Guzmán, Michael Hrušák, Piotr Koszmider

Abstract: An almost disjoint family $\mathcal A$ of subsets of $\mathbb N$ is said to be $\mathbb R$-embeddable if there is a function $f:\mathbb N\rightarrow \mathbb R$ such that the sets $f[A]$ are ranges of real sequences converging to distinct reals for distinct $A\in \mathcal A$. It is well known that almost disjoint families which have few separations, such as Luzin families, are not $\mathbb R$-embed… ▽ More An almost disjoint family $\mathcal A$ of subsets of $\mathbb N$ is said to be $\mathbb R$-embeddable if there is a function $f:\mathbb N\rightarrow \mathbb R$ such that the sets $f[A]$ are ranges of real sequences converging to distinct reals for distinct $A\in \mathcal A$. It is well known that almost disjoint families which have few separations, such as Luzin families, are not $\mathbb R$-embeddable. We study extraction principles related to $\mathbb R$-embeddability and separation properties of almost disjoint families of $\mathbb N$ as well as their limitations. An extraction principle whose consistency is our main result is: every almost disjoint family of size continuum contains an $\mathbb R$-embeddable subfamily of size continuum. It is true in the Sacks model. The Cohen model serves to show that the above principle does not follow from the fact that every almost disjoint family of size continuum has two separated subfamilies of size continuum. We also construct in ZFC an almost disjoint family, where no two uncountable subfamilies can be separated but always a countable subfamily can be separated from any disjoint subfamily. Using a refinement of the $\mathbb R$-embeddability property called a controlled $\mathbb R$-embedding property we obtain the following results concerning Akemann-Doner C*-algebras which are induced by uncountable almost disjoint families: a) In ZFC there are Akemann-Doner C*-algebras of density $\mathfrak c$ with no commutative subalgebras of density $\mathfrak c$, b) It is independent from ZFC whether there is an Akemann-Doner algebra of density $\mathfrak c$ with no nonseparable commutative subalgebra. This completes an earlier result that there is in ZFC an Akemann-Doner algebra of density $ω_1$ with no nonseparable commutative subalgebra. △ Less

Submitted 2 January, 2019; originally announced January 2019.

Large irredundant sets in operator algebras

Authors: Clayton Suguio Hida, Piotr Koszmider

Abstract: A subset $\mathcal X$ of a C*-algebra $\mathcal A$ is called irredundant if no $A\in \mathcal X$ belongs to the C*-subalgebra of $\mathcal A$ generated by $\mathcal X\setminus \{A\}$. Separable C*-algebras cannot have uncountable irredundant sets and all members of many classes of nonseparable C*-algebras, e.g., infinite dimensional von Neumann algebras have irredundant sets of cardinality continu… ▽ More A subset $\mathcal X$ of a C*-algebra $\mathcal A$ is called irredundant if no $A\in \mathcal X$ belongs to the C*-subalgebra of $\mathcal A$ generated by $\mathcal X\setminus \{A\}$. Separable C*-algebras cannot have uncountable irredundant sets and all members of many classes of nonseparable C*-algebras, e.g., infinite dimensional von Neumann algebras have irredundant sets of cardinality continuum. There exists a considerable literature showing that the question whether every AF commutative nonseparable C*-algebra has an uncountable irredundant set is sensitive to additional set-theoretic axioms and we investigate here the noncommutative case. Assuming $\diamondsuit$ (an additional axiom stronger than the continuum hypothesis) we prove that there is an AF C*-subalgebra of $\mathcal B(\ell_2)$ of density $2^ω=ω_1$ with no nonseparable commutative C*-subalgebra and with no uncountable irredundant set. On the other hand we also prove that it is consistent that every discrete collection of operators in $\mathcal B(\ell_2)$ of cardinality continuum contains an irredundant subcollection of cardinality continuum. Other partial results and more open problems are presented. △ Less

Submitted 2 September, 2018; v1 submitted 4 August, 2018; originally announced August 2018.

Comments: Corrections of typos

MSC Class: 03E35; 46L05; 46L85; 46J10; 54G12

Journal ref: Can. J. Math.-J. Can. Math. 72 (2020) 988-1023

A non-stable C*-algebra with an elementary essential composition series

Authors: Saeed Ghasemi, Piotr Koszmider

Abstract: A C*-algebra $A$ is said to be stable if it is isomorphic to $A \otimes K(\ell_2)$. Hjelmborg and Rørdam have shown that countable inductive limits of separable stable C*-algebras are stable. We show that this is no longer true in the nonseparable context even for the most natural case of an uncountable inductive limit of an increasing chain of separable stable and AF ideals: we construct a GCR, A… ▽ More A C*-algebra $A$ is said to be stable if it is isomorphic to $A \otimes K(\ell_2)$. Hjelmborg and Rørdam have shown that countable inductive limits of separable stable C*-algebras are stable. We show that this is no longer true in the nonseparable context even for the most natural case of an uncountable inductive limit of an increasing chain of separable stable and AF ideals: we construct a GCR, AF (in fact, scattered) subalgebra $A$ of $B(\ell_2)$, which is the inductive limit of length $ω_1$ of its separable stable ideals $I_α$ ($α<ω_1$) satisfying $I_{α+1}/I_α\cong K(\ell_2)$ for each $α<ω_1$, while $A$ is not stable. The sequence $(I_α)_{α\leqω_1}$ is the GCR composition series of $A$ which in this case coincides with the Cantor-Bendixson composition series as a scattered C*-algebra. $A$ has the property that all of its proper two-sided ideals are listed as $I_α$s for some $α<ω_1$ and therefore the family of stable ideals of $A$ has no maximal element. By taking $A'=A\otimes K(\ell_2)$ we obtain a stable C*-algebra with analogous composition series $(J_α)_{α<ω_1}$ whose ideals $J_α$s are isomorphic to $I_α$s for each $α<ω_1$. In particular, there are nonisomorphic scattered C*-algebras whose GCR composition series $(I_α)_{α\leqω_1}$ satisfy $I_{α+1}/I_α\cong K(\ell_2)$ for all $α<ω_1$, for which the composition series differ first at $α=ω_1$. △ Less

Submitted 6 December, 2017; originally announced December 2017.

C*-Algebras With and Without $\ll$-Increasing Approximate Units

Authors: Tristan Bice, Piotr Koszmider

Abstract: For elements $a, b$ of a C*-algebra we denote $a=ab$ by $a\ll b$. We show that all $ω_1$-unital C*-algebras have $\ll$-increasing approximate units, extending a classical result for $σ$-unital C*-algebras. We also construct (in ZFC) the first examples of C*-algebras with no $\ll$-increasing approximate unit. One of these examples is a C*-subalgebra of $\mathcal B(\ell_2(ω_1))$. These examples ar… ▽ More For elements $a, b$ of a C*-algebra we denote $a=ab$ by $a\ll b$. We show that all $ω_1$-unital C*-algebras have $\ll$-increasing approximate units, extending a classical result for $σ$-unital C*-algebras. We also construct (in ZFC) the first examples of C*-algebras with no $\ll$-increasing approximate unit. One of these examples is a C*-subalgebra of $\mathcal B(\ell_2(ω_1))$. These examples are, by necessity, not approximately finite dimensional (AF), but some of them are still scattered and so locally finite dimensional (LF) in the sense of Farah and Katsura. It follows that there are scattered C*-algebras which are not AF. We further show that the existence of a C*-subalgebra of $\mathcal B(\ell_2)$ with no $\ll$-increasing approximate unit or the existence of an LF but not AF C*-subalgebra of $\mathcal B(\ell_2)$ are independent of ZFC. Our examples also show that an extension of an AF algebra by an AF algebra does not have to be an AF algebra in the nonseparable case. △ Less

Submitted 5 March, 2018; v1 submitted 28 July, 2017; originally announced July 2017.

Comments: Some improvements of the previous version

MSC Class: 46L05; 03E35; 46L85; 54G12

Journal ref: J. Math. Anal. Appl. 477(2) 1396-1418, 2019

Noncommutative Cantor-Bendixson derivatives and scattered $C^*$-algebras

Authors: Saeed Ghasemi, Piotr Koszmider

Abstract: We analyze the sequence obtained by consecutive applications of the Cantor-Bendixson derivative for a noncommutative scattered $C^*$-algebra $\mathcal A$, using the ideal $\mathcal I^{At}(\mathcal A)$ generated by the minimal projections of $\mathcal A$. With its help, we present some fundamental results concerning scattered $C^*$-algebras, in a manner parallel to the commutative case of scattered… ▽ More We analyze the sequence obtained by consecutive applications of the Cantor-Bendixson derivative for a noncommutative scattered $C^*$-algebra $\mathcal A$, using the ideal $\mathcal I^{At}(\mathcal A)$ generated by the minimal projections of $\mathcal A$. With its help, we present some fundamental results concerning scattered $C^*$-algebras, in a manner parallel to the commutative case of scattered compact or locally compact Hausdorff spaces and superatomic Boolean algebras. It also allows us to formulate problems which have motivated the "cardinal sequences" programme in the classical topology, in the noncommutative context. This leads to some new constructions of noncommutative scattered $C^*$-algebras and new open problems. In particular, we construct a type $I$ $C^*$-algebra which is the inductive limit of stable ideals $\mathcal A_α$, along an uncountable limit ordinal $λ$, such that $\mathcal A_{α+1}/\mathcal A_α$ is $*$-isomorphic to the algebra of all compact operators on a separable Hilbert space and $\mathcal A_{α+1}$ is $σ$-unital and stable for each $α<λ$, but $\mathcal A$ is not stable and where all ideals of $\mathcal A$ are of the form $\mathcal A_α$. In particular, $\mathcal A$ is a nonseparable $C^*$-algebra with no ideal which is maximal among the stable ideals. This answers a question of M. R\ordam in the nonseparable case. All the above $C^*$-algebras $A_α$s and $A$ satisfy the following version of the definition of an AF algebra: any finite subset can be approximated from a finite-dimensional subalgebra. Two more complex constructions based on the language developed in this paper are presented in separate papers. △ Less

Submitted 3 April, 2018; v1 submitted 1 November, 2016; originally announced November 2016.

Comments: minor corrections

An extension of compact operators by compact operators with no nontrivial multipliers

Authors: Saeed Ghasemi, Piotr Koszmider

Abstract: We construct an essential extension of $\mathcal K(\ell_2({\mathfrak{c}}))$ by $\mathcal K(\ell_2)$, where ${\mathfrak{c}}$ denotes the cardinality of continuum, i.e., a $C^*$-algebra $\mathcal A\subseteq \mathcal B(\ell_2)$ satisfying the short exact sequence $$0\rightarrow \mathcal K(\ell_2)\xrightarrowι \mathcal A \rightarrow\mathcal K(\ell_2({\mathfrak{c}}))\rightarrow 0,$$ where… ▽ More We construct an essential extension of $\mathcal K(\ell_2({\mathfrak{c}}))$ by $\mathcal K(\ell_2)$, where ${\mathfrak{c}}$ denotes the cardinality of continuum, i.e., a $C^*$-algebra $\mathcal A\subseteq \mathcal B(\ell_2)$ satisfying the short exact sequence $$0\rightarrow \mathcal K(\ell_2)\xrightarrowι \mathcal A \rightarrow\mathcal K(\ell_2({\mathfrak{c}}))\rightarrow 0,$$ where $ι[\mathcal K(\ell_2)]$ is an essential ideal of $\mathcal A$ such that the algebra of multipliers $\mathcal M(\mathcal A)$ of $\mathcal A$ is equal to the unitization of $\mathcal A$. In particular $\mathcal A$ is not stable which sheds light on permanence properties of the stability in the nonseparable setting. Namely, an extension of a nonseparable algebra of compact operators, even by $\mathcal K(\ell_2)$, does not have to be stable. This construction can be considered as a noncommutative version of Mrówka's $Ψ$-space; a space whose one point compactification equals to its Cech-Stone compactification and is induced by a special uncountable family of almost disjoint subsets of ${\mathbb{N}}$. The role of the almost disjoint family is played by an almost orthogonal family of projections in $\mathcal B(\ell_2)$, but the almost matrix units corresponding to the matrix units in $\mathcal K(\ell_2({\mathfrak{c}}))$ must be constructed with extra care. This example may also contribute in the future to our understanding of the semigroups $Ext(\mathcal K(\ell_2(κ)))$ for $ω_1\leq κ\leq\mathfrak{c}$ which are unexplored at the moment. △ Less

Submitted 2 September, 2018; v1 submitted 15 September, 2016; originally announced September 2016.

Comments: Cosmetic and final changes compared to the previous version. Accepted to Journal of Noncommutative Geometry

A 1-separably injective space that does not contain $\ell_\infty$

Authors: Antonio Avilés, Piotr Koszmider

Abstract: We show that the problem whether every $1$-separably injective Banach space contains an isomorphic copy of $\ell_\infty$ is undecidable. Namely, unlike under the continuum hypothesis, assuming Martin's axiom and the negation of the continuum hypothesis, there is an $1$-separably injective Banach space of the form $C(K)$ (which means that $K$ is an $F$-space) without an isomorphic copy of… ▽ More We show that the problem whether every $1$-separably injective Banach space contains an isomorphic copy of $\ell_\infty$ is undecidable. Namely, unlike under the continuum hypothesis, assuming Martin's axiom and the negation of the continuum hypothesis, there is an $1$-separably injective Banach space of the form $C(K)$ (which means that $K$ is an $F$-space) without an isomorphic copy of $\ell_\infty$. This result is a consequence of our study of $ω_2$-subsets of tightly $σ$-filtered Boolean algebras introduced by Koppelberg for which we obtain some general principles useful when transferring properties of Boolean algebras to the level of Banach spaces. △ Less

Submitted 20 March, 2017; v1 submitted 9 September, 2016; originally announced September 2016.

MSC Class: 03E35; 06E05; 46B26; 54G05

There is no bound on sizes of indecomposable Banach spaces

Authors: Piotr Koszmider, Saharon Shelah, Michał Świȩtek

Abstract: Assuming the generalized continuum hypothesis we construct arbitrarily big indecomposable Banach spaces. i.e., such that whenever they are decomposed as $X\oplus 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 indecom… ▽ More Assuming the generalized continuum hypothesis we construct arbitrarily big indecomposable Banach spaces. i.e., such that whenever they are decomposed as $X\oplus 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 $\ell_\infty$ 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\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. △ Less

Submitted 5 March, 2016; originally announced March 2016.

A note on the Akemann-Doner and Farah-Wofsey constructions

Authors: Tristan Bice, Piotr Koszmider

Abstract: We remove the assumption of the continuum hypothesis from the Akemann-Doner construction of a non-separable $C^*$-algebra $A$ with only separable commutative $C^*$-subalgebras. We also extend a result of Farah and Wofsey's, constructing $\aleph_1$ commuting projections in the Calkin algebra with no commutative lifting. This removes the assumption of the continuum hypothesis from a version of a res… ▽ More We remove the assumption of the continuum hypothesis from the Akemann-Doner construction of a non-separable $C^*$-algebra $A$ with only separable commutative $C^*$-subalgebras. We also extend a result of Farah and Wofsey's, constructing $\aleph_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. △ Less

Submitted 7 February, 2016; originally announced February 2016.

Journal ref: Proc. Amer. Math. Soc. 145 (2017), no. 2, 681-687

On the problem of compact totally disconnected reflection of nonmetrizability

Authors: Piotr Koszmider

Abstract: We construct a ZFC example of a nonmetrizable compact space $K$ such that every totally disconnected closed subspace $L\subseteq 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… ▽ More We construct a ZFC example of a nonmetrizable compact space $K$ such that every totally disconnected closed subspace $L\subseteq 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 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. △ Less

Submitted 17 September, 2015; originally announced September 2015.

An isometrically universal Banach space induced by a non-universal Boolean algebra

Authors: Christina Brech, Piotr Koszmider

Abstract: 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(K_A)$ embeds isometrically into $C(K_B)$, where $K_A$ and $K_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 clas… ▽ More 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(K_A)$ embeds isometrically into $C(K_B)$, where $K_A$ and $K_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 $κ$, then there is another such space which is induced by a Boolean algebra which is not universal for Boolean algebras of cardinality $κ$. 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). △ Less

Submitted 18 May, 2015; originally announced May 2015.

Uncountable equilateral sets in Banach spaces of the form $C(K)$

Authors: Piotr Koszmider

Abstract: 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 equilater… ▽ More 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+\varepsilon)$-separated set in the unit sphere for any $\varepsilon>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. △ Less

Submitted 20 April, 2015; v1 submitted 21 March, 2015; originally announced March 2015.

On automorphisms of the Banach space $\ell_\infty/c_0$

Authors: Piotr Koszmider, Cristóbal Rodriguez-Porras

Abstract: We investigate Banach space automorphisms $T:\ell_\infty/c_0\rightarrow\ell_\infty/c_0 $ focusing on the possibility of representing their fragments of the form $$T_{B,A}:\ell_\infty(A)/c_0(A)\rightarrow \ell_\infty(B)/c_0(B)$$ for $A, B\subseteq N$ infinite by means of linear operators from $\ell_\infty(A)$ into $\ell_\infty(B)$, infinite $A\times B$-matrices, continuous maps from… ▽ More We investigate Banach space automorphisms $T:\ell_\infty/c_0\rightarrow\ell_\infty/c_0 $ focusing on the possibility of representing their fragments of the form $$T_{B,A}:\ell_\infty(A)/c_0(A)\rightarrow \ell_\infty(B)/c_0(B)$$ for $A, B\subseteq N$ infinite by means of linear operators from $\ell_\infty(A)$ into $\ell_\infty(B)$, infinite $A\times B$-matrices, continuous maps from $B^*=βB\setminus B$ into $A^*$, or bijections from $B$ to $A$. This leads to the analysis of general linear operators on $\ell_\infty/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 $\ell_\infty/c_0$ which cannot be lifted to operators on $\ell_\infty$ and assuming OCA+MA we show that every automorphism of $\ell_\infty/c_0$ with no fountains or with no funnels is locally, i.e., for some infinite $A, B\subseteq 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. △ Less

Submitted 14 January, 2015; originally announced January 2015.

On complemented copies of $c_0(ω_1)$ in $C(K^n)$ spaces

Authors: Leandro Candido, Piotr Koszmider

Abstract: Given a compact Hausdorff space $K$ we consider the Banach space of real continuous functions $C(K^n)$ or equivalently the $n$-fold injective tensor product $\hat\bigotimes_{\varepsilon}C(K)$ 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 $\hat\bigotimes_{\varepsilon}C(K)$ und… ▽ More Given a compact Hausdorff space $K$ we consider the Banach space of real continuous functions $C(K^n)$ or equivalently the $n$-fold injective tensor product $\hat\bigotimes_{\varepsilon}C(K)$ 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 $\hat\bigotimes_{\varepsilon}C(K)$ 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 $X\hat\otimes_\varepsilon 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\times K)$ contains a complemented copy $c_0(ω_1)$. The main result is that under the assumption of $\clubsuit$ for every $n\in N$ there is a compact Hausdorff space $K_n$ of weight $ω_1$ such that $C(K)$ is Lindelöf 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 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. △ Less

Submitted 15 January, 2015; v1 submitted 8 January, 2015; originally announced January 2015.

On constructions with $2$-cardinals

Authors: Piotr Koszmider

Abstract: 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… ▽ More 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 $f:[λ^{++}]^2\rightarrow[λ^{++}]^{\leqλ}$ with the appropriate $λ^+$-version of property $Δ$ for regular $λ\geqω$ satisfying $λ^{<λ}=λ$. △ Less

Submitted 5 March, 2017; v1 submitted 6 May, 2014; originally announced May 2014.

Comments: Minor corrections

Banach spaces whose algebra of bounded operators has the integers as their $K_0$-group

Authors: Tomasz Kania, Piotr Koszmider, Niels Jakob Laustsen

Abstract: Let $X$ and $Y$ be Banach spaces such that the ideal of operators which factor through $Y$ has codimension one in the Banach algebra $\mathscr{B}(X)$ of all bounded operators on $X$, and suppose that $Y$ contains a complemented subspace which is isomorphic to $Y\oplus Y$ and that $X$ is isomorphic to $X\oplus Z$ for every complemented subspace $Z$ of $Y$. Then the $K_0$-group of $\mathscr{B}(X)$ i… ▽ More Let $X$ and $Y$ be Banach spaces such that the ideal of operators which factor through $Y$ has codimension one in the Banach algebra $\mathscr{B}(X)$ of all bounded operators on $X$, and suppose that $Y$ contains a complemented subspace which is isomorphic to $Y\oplus Y$ and that $X$ is isomorphic to $X\oplus Z$ for every complemented subspace $Z$ of $Y$. Then the $K_0$-group of $\mathscr{B}(X)$ is isomorphic to the additive group $\mathbb{Z}$ of integers. A number of Banach spaces which satisfy the above conditions are identified. Notably, it follows that $K_0(\mathscr{B}(C([0,ω_1])))\cong\mathbb{Z}$, where $C([0,ω_1])$ denotes the Banach space of scalar-valued, continuous functions defined on the compact Hausdorff space of ordinals not exceeding the first uncountable ordinal $ω_1$, endowed with the order topology. △ Less

Submitted 9 February, 2014; v1 submitted 11 March, 2013; originally announced March 2013.

Journal ref: Journal of Mathematical Analysis and Applications, 428, Issue 1, 1 August 2015, 282--294

A weak*-topological dichotomy with applications in operator theory

Authors: Tomasz Kania, Piotr Koszmider, Niels Jakob Laustsen

Abstract: Denote by $[0,ω_1)$ the locally compact Hausdorff space consisting of all countable ordinals, equipped with the order topology, and let $C_0[0,ω_1)$ be the Banach space of scalar-valued, continuous functions which are defined on $[0,ω_1)$ and vanish eventually. We show that a weakly$^*$ compact subset of the dual space of $C_0[0,ω_1)$ is either uniformly Eberlein compact, or it contains a homeomor… ▽ More Denote by $[0,ω_1)$ the locally compact Hausdorff space consisting of all countable ordinals, equipped with the order topology, and let $C_0[0,ω_1)$ be the Banach space of scalar-valued, continuous functions which are defined on $[0,ω_1)$ and vanish eventually. We show that a weakly$^*$ compact subset of the dual space of $C_0[0,ω_1)$ is either uniformly Eberlein compact, or it contains a homeomorphic copy of the ordinal interval $[0,ω_1]$. Using this result, we deduce that a Banach space which is a quotient of $C_0[0,ω_1)$ can either be embedded in a Hilbert-generated Banach space, or it is isomorphic to the direct sum of $C_0[0,ω_1)$ and a subspace of a Hilbert-generated Banach space. Moreover, we obtain a list of eight equivalent conditions describing the Loy-Willis ideal, which is the unique maximal ideal of the Banach algebra of bounded, linear operators on $C_0[0,ω_1)$. As a consequence, we find that this ideal has a bounded left approximate identity, thus resolving a problem left open by Loy and Willis, and we give new proofs, in some cases of stronger versions, of several known results about the Banach space $C_0[0,ω_1)$ and the operators acting on it. △ Less

Submitted 18 February, 2014; v1 submitted 28 February, 2013; originally announced March 2013.

Comments: accepted to Transactions of the London Mathematical Society

Report number: 130618-Laustsen

Journal ref: Trans. London Math. Soc. (2014) 1 (1): 1-28

$\ell_\infty$-sums and the Banach space $\ell_\infty/c_0$

Authors: Christina Brech, Piotr Koszmider

Abstract: This paper is concerned with the isomorphic structure of the Banach space $\ell_\infty/c_0$ and how it depends on combinatorial tools whose existence is consistent but not provable from the usual axioms of ZFC. Our main global result is that it is consistent that $\ell_\infty/c_0$ does not have an orthogonal \break $\ell_\infty$-decomposition that is, it is not of the form $\ell_\infty(X)$ for any… ▽ More This paper is concerned with the isomorphic structure of the Banach space $\ell_\infty/c_0$ and how it depends on combinatorial tools whose existence is consistent but not provable from the usual axioms of ZFC. Our main global result is that it is consistent that $\ell_\infty/c_0$ does not have an orthogonal \break $\ell_\infty$-decomposition that is, it is not of the form $\ell_\infty(X)$ for any Banach space $X$. The main local result is that it is consistent that $\ell_\infty(c_0(\mathfrak{c}))$ does not embed isomorphically into $\ell_\infty/c_0$, where $\mathfrak{c}$ is the cardinality of the continuum, while $\ell_\infty$ and $c_0(\mathfrak{c})$ always do embed quite canonically. This should be compared with the results of Drewnowski and Roberts that under the assumption of the continuum hypothesis $\ell_\infty/c_0$ is isomorphic to its $\ell_\infty$-sum and in particular it contains an isomorphic copy of all Banach spaces of the form $\ell_\infty(X)$ for any subspace $X$ of $\ell_\infty/c_0$. △ Less

Submitted 15 December, 2012; v1 submitted 13 November, 2012; originally announced November 2012.

Some topological invariants and biorthogonal systems in Banach spaces

Authors: Piotr Koszmider

Abstract: We consider topological invariants on compact spaces related to the sizes of discrete subspaces (spread), densities of subspaces, Lindelof degree of subspaces, irredundant families of clopen sets and others and look at the following associations between compact topological spaces and Banach spaces: a compact K induces a Banach space C(K) of real valued continuous functions on K with the supremum n… ▽ More We consider topological invariants on compact spaces related to the sizes of discrete subspaces (spread), densities of subspaces, Lindelof degree of subspaces, irredundant families of clopen sets and others and look at the following associations between compact topological spaces and Banach spaces: a compact K induces a Banach space C(K) of real valued continuous functions on K with the supremum norm; a Banach space X induces a compact space - the dual ball with the weak* topology. We inquire on how topological invariants on K and the dual ball are linked to the sizes of biorthogonal systems and their versions in C(K) and X respectively. We gather folkloric facts and survey recent results like that of Lopez-Abad and Todorcevic that it is consistent that there is a Banach space X without uncountable biorthogonal systems such that the spread of the dual ball is uncountable or that of Brech and Koszmider that it is consistent that there is a compact space where spread of the square of K ic countable but C(K) has uncountable biorthogonal systems. △ Less

Submitted 19 September, 2012; originally announced September 2012.

Journal ref: Extracta Math. 26(2) (2011), 271-294

Universal objects and associations between classes of Banach spaces and classes of compact spaces

Authors: Piotr Koszmider

Abstract: In the context of classical associations between classes of Banach spaces and classes of compact Hausdorff spaces we survey known results and open questions concerning the existence and nonexistence of universal Banach spaces and of universal compact spaces in various classes. This gives quite a complex network of interrelations which quite often depend on additional set-theoretic assumptions. In the context of classical associations between classes of Banach spaces and classes of compact Hausdorff spaces we survey known results and open questions concerning the existence and nonexistence of universal Banach spaces and of universal compact spaces in various classes. This gives quite a complex network of interrelations which quite often depend on additional set-theoretic assumptions. △ Less

Submitted 19 September, 2012; originally announced September 2012.

A Banach space in which every injective operator is surjective

Authors: Antonio Avilés, Piotr Koszmider

Abstract: We construct an infinite dimensional Banach space of continuous functions C(K) such that every one-to-one operator on C(K) is onto. We construct an infinite dimensional Banach space of continuous functions C(K) such that every one-to-one operator on C(K) is onto. △ Less

Submitted 13 September, 2012; originally announced September 2012.

Journal ref: Bull. Lond. Math. Soc. 45 (2013), 1065- 1074

Almost disjoint families of countable sets and separable complementation properties

Authors: Jesús Ferrer, Piotr Koszmider, Wiesław Kubiś

Abstract: We study the separable complementation property (SCP) and its natural variations in Banach spaces of continuous functions over compacta $K_{\mathcal A}$ induced by almost disjoint families ${\mathcal A}$ of countable subsets of uncountable sets. For these spaces, we prove among others that $C(K_{\mathcal A})$ has the controlled variant of the separable complementation property if and only if… ▽ More We study the separable complementation property (SCP) and its natural variations in Banach spaces of continuous functions over compacta $K_{\mathcal A}$ induced by almost disjoint families ${\mathcal A}$ of countable subsets of uncountable sets. For these spaces, we prove among others that $C(K_{\mathcal A})$ has the controlled variant of the separable complementation property if and only if $C(K_{\mathcal A})$ is Lindelöf in the weak topology if and only if $K_{\mathcal A}$ is monolithic. We give an example of ${\mathcal A}$ for which $C(K_{\mathcal A})$ has the SCP, while $K_{\mathcal A}$ is not monolithic and an example of a space $C(K_{\mathcal A})$ with controlled and continuous SCP which has neither a projectional skeleton nor a projectional resolution of the identity. Finally, we describe the structure of almost disjoint families of cardinality $ω_1$ which induce monolithic spaces of the form $K_{\mathcal A}$: They can be obtained from countably many ladder systems and pairwise disjoint families applying simple operations. △ Less

Submitted 2 September, 2012; originally announced September 2012.

Comments: 21 pages

MSC Class: Primary: 46E15; 03E75. Secondary: 46B20; 46B26

Journal ref: Journal of Mathematical Analysis and Applications, 401 (2013), no. 2, 939--949

Independent families in Boolean algebras with some separation properties

Authors: Piotr Koszmider, Saharon Shelah

Abstract: We prove that any Boolean algebra with the subsequential completeness property contains an independent family of size continuum. This improves a result of Argyros from the 80ties which asserted the existence of an uncountable independent family. In fact we prove it for a bigger class of Boolean algebras satisfying much weaker properties. It follows that the Stone spaces of all such Boolean algebra… ▽ More We prove that any Boolean algebra with the subsequential completeness property contains an independent family of size continuum. This improves a result of Argyros from the 80ties which asserted the existence of an uncountable independent family. In fact we prove it for a bigger class of Boolean algebras satisfying much weaker properties. It follows that the Stone spaces of all such Boolean algebras contains a copy of the Cech-Stone compactification of the integers and the Banach space of contnuous functions on them has $l_\infty$ as a quotient. Connections with the Grothendieck property in Banach spaces are discussed. △ Less

Submitted 2 September, 2012; originally announced September 2012.

Maximal left ideals of the Banach algebra of bounded operators on a Banach space

Authors: H. G. Dales, Tomasz Kania, Tomasz Kochanek, Piotr Koszmider, Niels Jakob Laustsen

Abstract: We address the following two questions regarding the maximal left ideals of the Banach algebra $\mathscr{B}(E)$ of bounded operators acting on an infinite-dimensional Banach pace $E$: (Q1) Does $\mathscr{B}(E)$ always contain a maximal left ideal which is not finitely generated? (Q2) Is every finitely-generated, maximal left ideal of $\mathscr{B}(E)$ necessarily of the form \{T\in\mathscr{B}(E):… ▽ More We address the following two questions regarding the maximal left ideals of the Banach algebra $\mathscr{B}(E)$ of bounded operators acting on an infinite-dimensional Banach pace $E$: (Q1) Does $\mathscr{B}(E)$ always contain a maximal left ideal which is not finitely generated? (Q2) Is every finitely-generated, maximal left ideal of $\mathscr{B}(E)$ necessarily of the form \{T\in\mathscr{B}(E): Tx = 0\} (*) for some non-zero $x\in E$? Since the two-sided ideal $\mathscr{F}(E)$ of finite-rank operators is not contained in any of the maximal left ideals given by (*), a positive answer to the second question would imply a positive answer to the first. Our main results are: (i) Question (Q1) has a positive answer for most (possibly all) infinite-dimensional Banach spaces; (ii) Question (Q2) has a positive answer if and only if no finitely-generated, maximal left ideal of $\mathscr{B}(E)$ contains $\mathscr{F}(E)$; (iii) the answer to Question (Q2) is positive for many, but not all, Banach spaces. △ Less

Submitted 11 September, 2013; v1 submitted 23 August, 2012; originally announced August 2012.

Comments: to appear in Studia Mathematica

MSC Class: Primary 47L10; 46H10; Secondary 47L20

Journal ref: Studia Mathematica 218, Issue 3, (2013), 245-286

A continuous image of a Radon-Nikodým compact which is not Radon-Nikodým

Authors: Antonio Avilés, Piotr Koszmider

Abstract: We construct a continuous image of a Radon-Nikodým compact space which is not Radon-Nikodým compact, solving the problem posed in the 80ties by Isaac Namioka. We construct a continuous image of a Radon-Nikodým compact space which is not Radon-Nikodým compact, solving the problem posed in the 80ties by Isaac Namioka. △ Less

Submitted 18 December, 2011; originally announced December 2011.

Journal ref: Duke Math. J. 162, no. 12 (2013), 2285-2299

A C(K) Banach space which does not have the Schroeder-Bernstein property

Authors: Piotr Koszmider

Abstract: We construct a totally disconnected compact Hausdorff space N which has clopen subsets M included in L included in N such that N is homeomorphic to M and hence C(N) is isometric as a Banach space to C(M) but C(N) is not isomorphic to C(L). This gives two nonisomorphic Banach spaces of the form C(K) which are isomorphic to complemented subspaces of each other (even in the above strong isometric sen… ▽ More We construct a totally disconnected compact Hausdorff space N which has clopen subsets M included in L included in N such that N is homeomorphic to M and hence C(N) is isometric as a Banach space to C(M) but C(N) is not isomorphic to C(L). This gives two nonisomorphic Banach spaces of the form C(K) which are isomorphic to complemented subspaces of each other (even in the above strong isometric sense), providing a solution to the Schroeder-Bernstein problem for Banach spaces of the form C(K). N is obtained as a particular compactification of the pairwise disjoint union of a sequence of Ks for which C(K)s have few operators. △ Less

Submitted 15 June, 2011; originally announced June 2011.

On large indecomposable Banach spaces

Authors: Piotr Koszmider

Abstract: Hereditarily indecomposable Banach spaces may have density at most continuum (Plichko-Yost, Argyros-Tolias). In this paper we show that this cannot be proved for indecomposable Banach spaces. We provide the first example of an indecomposable Banach space of density two to continuum. The space exists consistently, is of the form C(K) and it has few operators in the sense that any bounded linear ope… ▽ More Hereditarily indecomposable Banach spaces may have density at most continuum (Plichko-Yost, Argyros-Tolias). In this paper we show that this cannot be proved for indecomposable Banach spaces. We provide the first example of an indecomposable Banach space of density two to continuum. The space exists consistently, is of the form C(K) and it has few operators in the sense that any bounded linear operator T on C(K) satisfies T(f)=gf+S(f) for every f in C(K), where g is in C(K) and S is weakly compact (strictly singular). △ Less

Submitted 17 January, 2012; v1 submitted 15 June, 2011; originally announced June 2011.

On universal spaces for the class of Banach spaces whose dual balls are uniform Eberlein compacts

Authors: Christina Brech, Piotr Koszmider

Abstract: For k being the first uncountable cardinal w_1 or k being the cardinality of the continuum c, we prove that it is consistent that there is no Banach space of density k in which it is possible to isomorphically embed every Banach space of the same density which has a uniformly Gâteaux differentiable renorming or, equivalently, whose dual unit ball with the weak* topology is a subspace of a Hilbert… ▽ More For k being the first uncountable cardinal w_1 or k being the cardinality of the continuum c, we prove that it is consistent that there is no Banach space of density k in which it is possible to isomorphically embed every Banach space of the same density which has a uniformly Gâteaux differentiable renorming or, equivalently, whose dual unit ball with the weak* topology is a subspace of a Hilbert space (a uniform Eberlein compact space). This complements a consequence of results of M. Bell and of M. Fabian, G. Godefroy, V. Zizler that assuming the continuum hypothesis, there is a universal space for all Banach spaces of density k=c=w_1 which have a uniformly Gâteaux differentiable renorming. Our result implies, in particular, that βN-N may not map continuously onto a compact subset of a Hilbert space with the weak topology of density k=w_1 or k=c and that a C(K) space for some uniform Eberlein compact space K may not embed isomorphically into l_\infty/c_0. △ Less

Submitted 22 March, 2011; originally announced March 2011.

MSC Class: Primary 46B26; Secondary 03E35; 46B03

On biorthogonal systems whose functionals are finitely supported

Authors: Christina Brech, Piotr Koszmider

Abstract: We show that for each natural $n>1$ it is consistent that there is a compact Hausdorff space $K_{2n}$ such that in $C(K_{2n})$ there is no uncountable (semi)biorthogonal sequence $(f_ξ,μ_ξ)_{ξ\in ω_1}$ where $μ_ξ$'s are atomic measures with supports consisting of at most $2n-1$ points of $K_{2n}$, but there are biorthogonal systems $(f_ξ,μ_ξ)_{ξ\in ω_1}$ where $μ_ξ$'s are atomic measures with supp… ▽ More We show that for each natural $n>1$ it is consistent that there is a compact Hausdorff space $K_{2n}$ such that in $C(K_{2n})$ there is no uncountable (semi)biorthogonal sequence $(f_ξ,μ_ξ)_{ξ\in ω_1}$ where $μ_ξ$'s are atomic measures with supports consisting of at most $2n-1$ points of $K_{2n}$, but there are biorthogonal systems $(f_ξ,μ_ξ)_{ξ\in ω_1}$ where $μ_ξ$'s are atomic measures with supports consisting of $2n$ points. This complements a result of Todorcevic that it is consistent that each nonseparable Banach space $C(K)$ has an uncountable biorthogonal system where the functionals are measures of the form $δ_{x_ξ}-δ_{y_ξ}$ for $ξ<ω_1$ and $x_ξ,y_ξ\in K$. It also follows that it is consistent that the irredundance of the Boolean algebra $Clop(K)$ or the Banach algebra $C(K)$ for $K$ totally disconnected can be strictly smaller than the sizes of biorthogonal systems in $C(K)$. The compact spaces exhibit an interesting behaviour with respect to known cardinal functions: the hereditary density of the powers $K_{2n}^k$ is countable up to $k=n$ and it is uncountable (even the spread is uncountable) for $k>n$. △ Less

Submitted 19 May, 2010; originally announced May 2010.

On universal Banach spaces of density continuum

Authors: Christina Brech, Piotr Koszmider

Abstract: We consider the question whether there exists a Banach space $X$ of density continuum such that every Banach space of density not bigger than continuum isomorphically embeds into $X$ (called a universal Banach space of density $\cc$). It is well known that $\ell_\infty/c_0$ is such a space if we assume the continuum hypothesis. However, some additional set-theoretic assumption is needed, as we pro… ▽ More We consider the question whether there exists a Banach space $X$ of density continuum such that every Banach space of density not bigger than continuum isomorphically embeds into $X$ (called a universal Banach space of density $\cc$). It is well known that $\ell_\infty/c_0$ is such a space if we assume the continuum hypothesis. However, some additional set-theoretic assumption is needed, as we prove in the main result of this paper that it is consistent with the usual axioms of set-theory that there is no universal Banach space of density $\cc$. Thus, the problem of the existence of a universal Banach space of density $\cc$ is undecidable using the usual axioms of set-theory. We also prove that it is consistent that there are universal Banach spaces of density $\cc$, but $\ell_\infty/c_0$ is not among them. This relies on the proof of the consistency of the nonexistence of an isomorphic embedding of $C([0,\cc])$ into $\ell_\infty/c_0$. △ Less

Submitted 19 May, 2010; originally announced May 2010.

Thin-very tall compact scattered spaces which are hereditarily separable

Authors: Christina Brech, Piotr Koszmider

Abstract: We strengthen the property $Δ$ of a function $f:[ω_2]^2\rightarrow [ω_2]^{\leq ω}$ considered by Baumgartner and Shelah. This allows us to consider new types of amalgamations in the forcing used by Rabus, Juhász and Soukup to construct thin-very tall compact scattered spaces. We consistently obtain spaces $K$ as above where $K^n$ is hereditarily separable for each $n\in\N$. This serves as a counte… ▽ More We strengthen the property $Δ$ of a function $f:[ω_2]^2\rightarrow [ω_2]^{\leq ω}$ considered by Baumgartner and Shelah. This allows us to consider new types of amalgamations in the forcing used by Rabus, Juhász and Soukup to construct thin-very tall compact scattered spaces. We consistently obtain spaces $K$ as above where $K^n$ is hereditarily separable for each $n\in\N$. This serves as a counterexample concerning cardinal functions on compact spaces as well as having some applications in Banach spaces: the Banach space $C(K)$ is an Asplund space of density $\aleph_2$ which has no Fréchet smooth renorming, nor an uncountable biorthogonal system. △ Less

Submitted 19 May, 2010; originally announced May 2010.

Comments: accepted to Trans. Amer. Math. Soc.

Isometries on extremely non-complex Banach spaces

Authors: Piotr Koszmider, Miguel Martin, Javier Meri

Abstract: Given a separable Banach space $E$, we construct an extremely non-complex Banach space (i.e. a space satisfying that $\|Id + T^2\|=1+\|T^2\|$ for every bounded linear operator $T$ on it) whose dual contains $E^*$ as an $L$-summand. We also study surjective isometries on extremely non-complex Banach spaces and construct an example of a real Banach space whose group of surjective isometries reduce… ▽ More Given a separable Banach space $E$, we construct an extremely non-complex Banach space (i.e. a space satisfying that $\|Id + T^2\|=1+\|T^2\|$ for every bounded linear operator $T$ on it) whose dual contains $E^*$ as an $L$-summand. We also study surjective isometries on extremely non-complex Banach spaces and construct an example of a real Banach space whose group of surjective isometries reduces to $\pm Id$, but the group of surjective isometries of its dual contains the group of isometries of a separable infinite-dimensional Hilbert space as a subgroup. △ Less

Submitted 29 January, 2010; v1 submitted 12 January, 2009; originally announced January 2009.

Comments: 18 pages, revised version, to appear in J. Inst. Math. Jussieu

MSC Class: 46B04 (Primary); 46B10 (Secondary); 46B20; 46E15; 47A99

Extremely non-complex C(K) spaces

Authors: Piotr Koszmider, Miguel Martin, Javier Meri

Abstract: We show that there exist infinite-dimensional extremely non-complex Banach spaces, i.e. spaces $X$ such that the norm equality $\|Id + T^2\|=1 + \|T^2\|$ holds for every bounded linear operator $T:X\longrightarrow X$. This answers in the positive Question 4.11 of [Kadets, Martin, Meri, Norm equalities for operators, \emph{Indiana U. Math. J.} \textbf{56} (2007), 2385--2411]. More concretely, we… ▽ More We show that there exist infinite-dimensional extremely non-complex Banach spaces, i.e. spaces $X$ such that the norm equality $\|Id + T^2\|=1 + \|T^2\|$ holds for every bounded linear operator $T:X\longrightarrow X$. This answers in the positive Question 4.11 of [Kadets, Martin, Meri, Norm equalities for operators, \emph{Indiana U. Math. J.} \textbf{56} (2007), 2385--2411]. More concretely, we show that this is the case of some $C(K)$ spaces with few operators constructed in [Koszmider, Banach spaces of continuous functions with few operators, \emph{Math. Ann.} \textbf{330} (2004), 151--183] and [Plebanek, A construction of a Banach space $C(K)$ with few operators, \emph{Topology Appl.} \textbf{143} (2004), 217--239]. We also construct compact spaces $K_1$ and $K_2$ such that $C(K_1)$ and $C(K_2)$ are extremely non-complex, $C(K_1)$ contains a complemented copy of $C(2^ω)$ and $C(K_2)$ contains a (1-complemented) isometric copy of $\ell_\infty$. △ Less

Submitted 4 November, 2008; originally announced November 2008.

Comments: to appear in J. Math. Anal. Appl

MSC Class: 46B20; 47A99

Journal ref: J. Math. Anal. Appl. 350 (2009), 584-598.