arXiv subjects
Publications and source records attributed to R. M. Causey.
We prove that for infinite, countable, compact, Hausdorff spaces $K,L$, $C(K)\widehat{\otimes}_πC(L)$ is isomorphic to exactly one of the spaces $C(ω^{ω^ξ})\widehat{\otimes}_πC(ω^{ω^ζ})$, $0\leqslant ζ\leqslant ξ<ω_1$. We also prove that $C(K)\widehat{\otimes}_πC(L)$ is not isomorphic to $C(M)$ for any compact, Hausdorff space $M$.
We prove that any normalized block sequence in a Schreier space $X_ξ$, of arbitrary order $ξ<ω_1$, admits a subsequence equivalent to a subsequence of the canonical basis of some Schreier space. The analogous result is proved for dual spaces to Schreier spaces. Basing on these results, we examine the structure of strictly singular operators on Schreier spaces and show that there are $2^\mathfrak{c}$ many closed operator ideals on a Schreier space of any order, its dual and bidual space.
We provide a short calculation of the Szlenk index of $C(K)$ spaces using the Grasberg norm.
We study four asymptotic smoothness properties of Banach spaces, denoted $\textsf{T}_p,\textsf{A}_p, \textsf{N}_p$ and $\textsf{P}_p$. We complete their description by proving the missing renorming theorem for $\textsf{A}_p$. We prove that asymptotic uniform flattenability (property $\textsf{T}_\infty$) and summable Szlenk index (property $\textsf{A}_\infty$) are three space properties. Combined with the positive results of the first named author, Draga, and Kochanek, and with the counterexamples we provide, this completely solves the three space problem for this family of properties. We also derive from our characterizations of $\textsf{A}_p$ and $\textsf{N}_p$ in terms of equivalent renormings, new coarse Lipschitz rigidity results for these classes.
We compute the Szlenk index of an arbitrary projective tensor product $C(K)\widehat{\otimes}_πC(L)$ of spaces $C(K), C(L)$ of continuous functions on scattered, compact, Hausdorff spaces. In particular, we show that it is simply equal to the maximum of the Szlenk indices of the spaces $C(K), C(L)$. We deduce several results regarding non-isomorphism of $C(K)\widehat{\otimes}_πC(L)$ and $C(M)$ or $C(M)\widehat{\otimes}_πC(N)$ for particular choices of $K,L,M,N$.
Let $m,n$ be positive integers with $m<n$. Under certain assumptions on the Banach space $X$, we prove that the $n$-fold projective tensor product of $X$, $\widehat{\otimes}^n_πX$, is not isomorphic to any subspace of any quotient of the $m$-fold projective tensor product, $\widehat{\otimes}_π^m X$. In particular, we prove that $\widehat{\otimes}^n_πc_0$ is not isomorphic to any subspace of any quotient of $\widehat{\otimes}_π^m c_0$.
In this paper we prove that the $3$-fold injective tensor product $\ell_1 \widehat{\otimes}_\varepsilon \ell_1 \widehat{\otimes}_\varepsilon \ell_1 $ is not isomorphic to any subspace of $\ell_1 \widehat{\otimes}_\varepsilon \ell_1$. This result provides a new solution to a problem of Diestel on the projective tensor products of $c_0.$ Moreover, this result implies that for any infinite countable compact space $K,$ the $3$-fold projective tensor product $C(K) \widehat{\otimes}_πC(K)\widehat{\otimes}_πC(K)$ is not isomorphic to any quotient of $C(K) \widehat{\otimes}_πC(K)$.
Galego and Samuel showed that if $K,L$ are metrizable, compact, Hausdorff spaces, then $C(K)\widehat{\otimes}_πC(L)$ is $c_0$-saturated if and only if it is subprojective if and only if $K$ and $L$ are both scattered. We remove the hypothesis of metrizability from their result, and extend it from the case of the two-fold projective tensor product to the general $n$-fold projective tensor product to show that for any $n\in\mathbb{N}$ and compact, Hausdorff spaces $K_1, \ldots, K_n$, $\widehat{\otimes}_{π, i=1}^n C(K_i)$ is $c_0$-saturated if and only if it is subprojective if and only if each $K_i$ is scattered.
We use the repeated averages hierarchy to prove a Ramsey theorem regarding uniform upper estimates of convex block sequences of weakly null sequences. The base case of the theorem recovers a result of Freeman.
In the present paper we prove that the $3$-fold projective tensor product of $c_0$, $c_{0} \widehat{\otimes}_πc_{0}\widehat{\otimes}_πc_{0}$, is not isomorphic to a subspace of $c_{0} \widehat{\otimes}_πc_{0}$. In particular, this settles the long-standing open problem of whether $c_{0} \widehat{\otimes}_πc_{0}$ is isomorphic to $c_{0} \widehat{\otimes}_πc_{0}\widehat{\otimes}_πc_{0}$. The origin of this problem goes back to Joe Diestel who mentioned it in a private communication to the authors of paper "Unexpected subspaces of tensor products" published in 2006.
We prove that for any non-zero, countable ordinal $ξ$ which is not additively indecomposable, the property of having Szlenk index not exceeding $ω^ξ$ is not a three space property. This complements a result of Brooker and Lancien, which states that if $ξ$ is additively indecomposable, then having Szlenk index not exceeding $ω^ξ$ is a three space property.
We provide a generalization of two results of Knaust and Odell from \cite{KO2} and \cite{KO}. We prove that if $X$ is a Banach space and $(g_n)_{n=1}^\infty$ is a right dominant Schauder basis such that every normalized, weakly null sequence in $X$ admits a subsequence dominated by a subsequence of $(g_n)_{n=1}^\infty$, then there exists a constant $C$ such that every normalized, weakly null sequence in $X$ admits a subsequence $C$-dominated by a subsequence of $(g_n)_{n=1}^\infty$. We also prove that if every spreading model generated by a normalized, weakly null sequence in $X$ is dominated by some spreading model generated by a subsequence of $(g_n)_{n=1}^\infty$, then there exists $C$ such that every spreading model generated by a normalized, weakly null sequence in $X$ is $C$-dominated by every spreading model generated by a subsequence of $(g_n)_{n=1}^\infty$. We also prove a single, ordinal-quantified result which unifies and interpolates between these two results.
For $0\leqslant ξ\leqslant ω_1$, we define the notion of $ξ$-weakly precompact and $ξ$-weakly compact sets in Banach spaces and prove that a set is $ξ$-weakly precompact if and only if its weak closure is $ξ$-weakly compact. We prove a quantified version of Grothendieck's compactness principle and the characterization of Schur spaces obtained by Dowling et al. For $0\leqslant ξ\leqslant ω_1$, we prove that a Banach space $X$ has the $ξ$-Schur property if and only if every $ξ$-weakly compact set is contained in the closed, convex hull of a weakly null (equivalently, norm null) sequence.
We compute the complexity of the classes of operators $\mathfrak{G}_{ξ, ζ}\cap \mathcal{L}$ and $\mathfrak{M}_{ξ, ζ}\cap \mathcal{L}$ in the coding of operators between separable Banach spaces. We also prove the non-existence of universal factoring operators for both $\complement \mathfrak{G}_{ξ, ζ}$ and $\complement \mathfrak{M}_{ξ, ζ}$. The latter result is an ordinal extension of a result of Johnson and Girardi.
We prove a sharp structural result concerning finite colorings of pairs in well-founded trees.
We give necessary and sufficient conditions for a Lipschitz map, or more generally a uniformly Lipschitz family of maps, to factor the Hamming cubes. This is an extension to Lipschitz maps of a particular spatial result of Bourgain, Milman, and Wolfson.
Using the hierarchy of weakly null sequences introduced by Argyros, Merkourakis, and Tsarpalias, we introduce two new families of operator classes. The first family simultaneously generalizes the completely continuous operators and the weak Banach-Saks operators. The second family generalizes the class $\mathfrak{DP}$. We study the distinctness of these classes, and prove that each class is an operator ideal. We also investigate the properties possessed by each class, such as injectivity, surjectivity, and identification of the dual class. We produce a number of examples, including the higher ordinal Schreier and Baernstein spaces. We prove ordinal analogues of several known results for Banach spaces with the Dunford-Pettis, hereditary Dunford-Pettis property, and hereditary by quotients Dunford-Pettis property. For example, we prove that for any $0\leqslant ξ, ζ<ω_1$, a Banach space $X$ has the hereditary $ω^ξ, ω^ζ$-Dunford Pettis property if and only if every seminormalized, weakly null sequence either has a subsequence which is an $\ell_1^{ω^ξ}$-spreading model or a $c_0^{ω^ζ}$-spreading model.
We give necessary and sufficient conditions for an operator $A:X\to Y$ on a Banach space having a shrinking FDD to factor through a Banach space $Z$ such that the Szlenk index of $Z$ is equal to the Szlenk index of $A$. We also prove that for every ordinal $ξ\in (0, ω_1)\setminus\{ω^η: η<ω_1\text{\ a limit ordinal}\}$, there exists a Banach space $\mathfrak{G}_ξ$ having a shrinking basis and Szlenk index $ω^ξ$ such that for any separable Banach space $X$ and any operator $A:X\to Y$ having Szlenk index less than $ω^ξ$, $A$ factors through a subspace and through a quotient of $\mathfrak{G}_ξ$, and if $X$ has a shrinking FDD, $A$ factors through $\mathfrak{G}_ξ$.