BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Piotr Koszmider

Piotr Koszmider appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.FAmath.GNmath.LOmath.OAmath.KT

Catalog footprint

What is connected

26works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

26 published item(s)

preprint2023arXiv

Equilateral and separated sets in some Hilbert generated Banach spaces

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A non-diagonalizable pure state

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

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Large irredundant sets in operator algebras

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

Given a Boolean algebra $A$, we construct another Boolean algebra $B$ with no uncountable well-ordered chains such that the Banach space of real valued continuous functions $C(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).

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

The paper is concerned with the problem whether a nonseparable Banach space must contain an uncountable set of vectors such that the distances between every two distinct vectors of the set are the same. Such sets are called equilateral. We show that Martin's axiom and the negation of the continuum hypothesis imply that every nonseparable Banach space of the form $C(K)$ has an uncountable equilateral set. We also show that one cannot obtain such a result without an additional set-theoretic assumption since we construct an example of nonseparable Banach space of the form $C(K)$ which has no uncountable equilateral set (or equivalently no uncountable $(1+\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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A weak*-topological dichotomy with applications in operator theory

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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.

0 citations0 reviewsNo code linkedOpen access