Searcharxiv⌕ Search

arXiv subjects

Piotr Koszmider

Publications and source records attributed to Piotr Koszmider.

51 records · Page 3Linked to original sources
arXiv2012

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

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$.

math.FA↗
arXiv2012

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

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.

math.FA↗
arXiv2012

Some topological invariants and biorthogonal systems in Banach spaces

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.

math.FA↗
arXiv2012

Independent families in Boolean algebras with some separation properties

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.

math.LO↗
arXiv2012

Almost disjoint families of countable sets and separable complementation properties

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.

math.FA↗
arXiv2012

On large indecomposable Banach spaces

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).

math.FA↗
arXiv2011

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

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.

math.FA↗
arXiv2011

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

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.

math.FA↗
arXiv2010

On universal Banach spaces of density continuum

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$.

math.FA↗
arXiv2010

On biorthogonal systems whose functionals are finitely supported

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$.

math.FA↗
arXiv2010

Thin-very tall compact scattered spaces which are hereditarily separable

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.

math.FA↗
arXiv2010

Isometries on extremely non-complex Banach spaces

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.

math.FA↗
arXiv2008

Extremely non-complex C(K) spaces

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$.

math.FA↗