-
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.
-
Fast ergodicity of rotations on the circle and stability of one-dimensional non-periodic Sturmian ground states
Authors:
Damian Głodkowski,
Jacek Miȩkisz
Abstract:
Rotations on the circle by irrational numbers give rise to uniquely ergodic Sturm dynamical systems. We show that rotations by badly approximable irrationals have the property of fast ergodicity. It was shown recently that any Sturmian ergodic measure is the unique ground state of a non-frustrated Hamiltonian of one-dimensional classical lattice-gas model. We use the fast ergodicity property to sh…
▽ More
Rotations on the circle by irrational numbers give rise to uniquely ergodic Sturm dynamical systems. We show that rotations by badly approximable irrationals have the property of fast ergodicity. It was shown recently that any Sturmian ergodic measure is the unique ground state of a non-frustrated Hamiltonian of one-dimensional classical lattice-gas model. We use the fast ergodicity property to show that for slowly decaying interactions, $1/r^α$ with $1 < α< 3/2$, non-periodic Sturmian ground states are stable with respect to periodic configurations consisting of Sturmian words.
△ Less
Submitted 28 January, 2024;
originally announced January 2024.
-
Epic math battle of history: Grothendieck vs Nikodym
Authors:
Damian Głodkowski,
Agnieszka Widz
Abstract:
We define a $σ$-centered notion of forcing that forces the existence of a Boolean algebra with the Grothendieck property and without the Nikodym property. In particular the existence of such an algebra is consistent with the negation of the continuum hypothesis. The algebra we construct consists of Borel subsets of the Cantor set and has cardinality $ω_1$. We also show how to apply our method to s…
▽ More
We define a $σ$-centered notion of forcing that forces the existence of a Boolean algebra with the Grothendieck property and without the Nikodym property. In particular the existence of such an algebra is consistent with the negation of the continuum hypothesis. The algebra we construct consists of Borel subsets of the Cantor set and has cardinality $ω_1$. We also show how to apply our method to streamline Talagrand's construction of such an algebra under the continuum hypothesis.
△ Less
Submitted 29 November, 2024; v1 submitted 23 January, 2024;
originally announced January 2024.
-
A Banach space $C(K)$ reading the dimension of $K$
Authors:
Damian Głodkowski
Abstract:
Assuming Jensen's diamond principle ($\diamondsuit$) we construct for every natural number $n>0$ a compact Hausdorff space $K$ such that whenever the Banach spaces $C(K)$ and $C(L)$ are isomorphic for some compact Hausdorff $L$, then the covering dimension of $L$ is equal to $n$. The constructed space $K$ is separable and connected, and the Banach space $C(K)$ has few operators i.e. every bounded…
▽ More
Assuming Jensen's diamond principle ($\diamondsuit$) we construct for every natural number $n>0$ a compact Hausdorff space $K$ such that whenever the Banach spaces $C(K)$ and $C(L)$ are isomorphic for some compact Hausdorff $L$, then the covering dimension of $L$ is equal to $n$. The constructed space $K$ is separable and connected, and the Banach space $C(K)$ has few operators i.e. every bounded linear operator $T:C(K)\rightarrow C(K)$ is of the form $T(f)=fg+S(f)$, where $g\in C(K)$ and $S$ is weakly compact.
△ Less
Submitted 26 April, 2023; v1 submitted 30 June, 2022;
originally announced July 2022.
-
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.
-
Decomposition theorems for asymptotic property C and property A
Authors:
G. Bell,
D. Głodkowski,
A. Nagórko
Abstract:
We combine aspects of the notions of finite decomposition complexity and asymptotic property C into a notion that we call finite APC-decomposition complexity. Any space with finite decomposition complexity has finite APC-decomposition complexity and any space with asymptotic property C has finite APC-decomposition complexity. Moreover, finite APC-decomposition complexity implies property A for met…
▽ More
We combine aspects of the notions of finite decomposition complexity and asymptotic property C into a notion that we call finite APC-decomposition complexity. Any space with finite decomposition complexity has finite APC-decomposition complexity and any space with asymptotic property C has finite APC-decomposition complexity. Moreover, finite APC-decomposition complexity implies property A for metric spaces. We also show that finite APC-decomposition complexity is preserved by direct products of groups and spaces, amalgamated products of groups, and group extensions, among other constructions.
△ Less
Submitted 16 February, 2019; v1 submitted 4 September, 2017;
originally announced September 2017.