Showing 1–39 of 39 results for author: Causey, R M

Equivalence of block sequences in Schreier spaces and their duals

Authors: R. M. Causey, A. Pelczar-Barwacz

Abstract: 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… ▽ More 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. △ Less

Submitted 15 November, 2023; v1 submitted 1 November, 2023; originally announced November 2023.

Comments: Corrected citation

MSC Class: 46B20; 46B06; 46B25

A short calculation of the Szlenk index of spaces of continuous functions

Authors: R. M. Causey

Abstract: We provide a short calculation of the Szlenk index of $C(K)$ spaces using the Grasberg norm. We provide a short calculation of the Szlenk index of $C(K)$ spaces using the Grasberg norm. △ Less

Submitted 14 May, 2023; originally announced May 2023.

Asymptotic smoothness and universality in Banach spaces

Authors: Ryan M. Causey, Gilles Lancien

Abstract: For $1<p\leqslant \infty$, we study the complexity and the existence of universal spaces for two classes of separable Banach spaces, denoted $\textsf{A}_p$ and $\textsf{N}_p$, and related to asymptotic smoothness in Banach spaces. We show that each of these classes is Borel in the class of separable Banach spaces. Then we build small families of Banach spaces that are both injectively and surjecti… ▽ More For $1<p\leqslant \infty$, we study the complexity and the existence of universal spaces for two classes of separable Banach spaces, denoted $\textsf{A}_p$ and $\textsf{N}_p$, and related to asymptotic smoothness in Banach spaces. We show that each of these classes is Borel in the class of separable Banach spaces. Then we build small families of Banach spaces that are both injectively and surjectively universal for these classes. Finally, we prove the optimality of this universality result, by proving in particular that none of these classes admits a universal space. △ Less

Submitted 6 July, 2022; originally announced July 2022.

Comments: 38 pages

MSC Class: Primary: 46B20. Secondary: 46B03; 46B06

Universality, complexity and asymptotically uniformly smooth Banach spaces

Authors: Ryan M. Causey, Gilles Lancien

Abstract: For $1<p\le \infty$, we show the existence of a Banach space which is both injectively and surjectively universal for the class of all separable Banach spaces with an equivalent $p$-asymptotically uniformly smooth norm. We prove that this class is analytic complete in the class of separable Banach spaces. These results extend previous works by Kalton, Werner and Kurka in the case $p=\infty$. For $1<p\le \infty$, we show the existence of a Banach space which is both injectively and surjectively universal for the class of all separable Banach spaces with an equivalent $p$-asymptotically uniformly smooth norm. We prove that this class is analytic complete in the class of separable Banach spaces. These results extend previous works by Kalton, Werner and Kurka in the case $p=\infty$. △ Less

Submitted 26 August, 2022; v1 submitted 24 March, 2022; originally announced March 2022.

Comments: 15 pages

Isomorphic classification of projective tensor products of spaces of continuous functions

Authors: R. M. Causey, E. Galego, C. Samuel

Abstract: 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 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$. △ Less

Submitted 13 March, 2025; v1 submitted 20 January, 2022; originally announced January 2022.

Asymptotic smoothness in Banach spaces, three space properties and applications

Authors: R. M. Causey, A. Fovelle, G. Lancien

Abstract: 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 w… ▽ More 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. △ Less

Submitted 26 August, 2022; v1 submitted 13 October, 2021; originally announced October 2021.

Comments: 39 pages

MSC Class: Primary: 46B20; 46B80; Secondary: 46B03; 46B10; 46B26

Subprojectivity of projective tensor products of Banach spaces of continuous functions

Authors: R. M. Causey

Abstract: 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 t… ▽ More 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. △ Less

Submitted 24 December, 2020; originally announced December 2020.

Szlenk index of $C(K)\widehat{\otimes}_πC(L)$

Authors: R. M. Causey, E. Galego, C. Samuel

Abstract: 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… ▽ More 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$. △ Less

Submitted 18 January, 2022; v1 submitted 24 December, 2020; originally announced December 2020.

On injective tensor powers of $\ell_1$

Authors: R. M. Causey, E. Galego, C. Samuel

Abstract: 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… ▽ More 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)$. △ Less

Submitted 24 December, 2020; originally announced December 2020.

Higher projective tensor products of $c_0$

Authors: R. M. Causey, Stephen J. Dilworth

Abstract: 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 qu… ▽ More 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$. △ Less

Submitted 24 December, 2020; originally announced December 2020.

Uniform upper estimates and the repeated averages hierarchy

Authors: R. M. Causey

Abstract: 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. 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. △ Less

Submitted 24 March, 2020; originally announced March 2020.

$c_{0} \widehat{\otimes}_πc_{0}\widehat{\otimes}_πc_{0}$ is not isomorphic to a subspace of $c_{0} \widehat{\otimes}_πc_{0}$

Authors: R. M. Causey, E. Galego, C. Samuel

Abstract: 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… ▽ More 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. △ Less

Submitted 22 March, 2020; originally announced March 2020.

Uniform subsequential estimates on weakly null sequences

Authors: M. Brixey, R. M. Causey, P. Frankart

Abstract: 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 seque… ▽ More 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. △ Less

Submitted 31 December, 2019; originally announced December 2019.

Journal ref: Involve 14 (2021) 743-774

$Sz(\cdot)\leqslant ω^ξ$ is rarely a three space property

Authors: R. M. Causey

Abstract: 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 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. △ Less

Submitted 31 December, 2019; originally announced December 2019.

A $ξ$-weak Grothendieck compactness principle

Authors: Kevin Beanland, R. M. Causey

Abstract: 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 p… ▽ More 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. △ Less

Submitted 29 May, 2019; originally announced May 2019.

The complexity of some ordinal determined classes of operators

Authors: R. M. Causey

Abstract: 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 Jo… ▽ More 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. △ Less

Submitted 25 May, 2019; originally announced May 2019.

Lipschitz subtype

Authors: R. M. Causey

Abstract: 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. 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. △ Less

Submitted 12 October, 2018; originally announced October 2018.

The $ξ,ζ$-Dunford Pettis property

Authors: R. M. Causey

Abstract: 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 ope… ▽ More 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. △ Less

Submitted 11 October, 2018; originally announced October 2018.

A Ramsey theorem for pairs in trees

Authors: R. M. Causey, C. Doebele

Abstract: We prove a sharp structural result concerning finite colorings of pairs in well-founded trees. We prove a sharp structural result concerning finite colorings of pairs in well-founded trees. △ Less

Submitted 15 May, 2019; v1 submitted 7 May, 2018; originally announced May 2018.

Three and a half asymptotic properties

Authors: R. M. Causey

Abstract: We define and discuss transfinite asymptotic notions of smoothability, type, and equal norm type. We prove distinctness of these notions for a proper class of ordinals and that each class is an ideal. We also extend some results of Godefroy, Kalton, and Lancien to operators and ordinals greater than zero regarding the equivalence of equal norm asymptotic type and uniform renormings with power type… ▽ More We define and discuss transfinite asymptotic notions of smoothability, type, and equal norm type. We prove distinctness of these notions for a proper class of ordinals and that each class is an ideal. We also extend some results of Godefroy, Kalton, and Lancien to operators and ordinals greater than zero regarding the equivalence of equal norm asymptotic type and uniform renormings with power type smoothness. Finally, we discuss an extension of a non-linear result for quasi-reflexive, asymptotically $p$-smoothable Banach spaces to quasi-reflexive Banach spaces with asymptotic equal norm type $p$. △ Less

Submitted 7 May, 2018; originally announced May 2018.

Factorization of Asplund operators

Authors: R. M. Causey, K. Navoyan

Abstract: 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 Szlen… ▽ More 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}_ξ$. △ Less

Submitted 7 May, 2018; originally announced May 2018.

$ξ$-completely continuous operators and $ξ$-Schur Banach spaces

Authors: R. M. Causey, K. Navoyan

Abstract: For each ordinal $0\leqslant ξ\leqslant ω_1$, we introduce the notion of a $ξ$-completely continuous operator and prove that for each ordinal $0< ξ< ω_1$, the class $\mathfrak{V}_ξ$ of $ξ$-completely continuous operators is a closed, injective operator ideal which is not surjective, symmetric, or idempotent. We prove that for distinct $0\leqslant ξ, ζ\leqslant ω_1$, the classes of $ξ$-completely c… ▽ More For each ordinal $0\leqslant ξ\leqslant ω_1$, we introduce the notion of a $ξ$-completely continuous operator and prove that for each ordinal $0< ξ< ω_1$, the class $\mathfrak{V}_ξ$ of $ξ$-completely continuous operators is a closed, injective operator ideal which is not surjective, symmetric, or idempotent. We prove that for distinct $0\leqslant ξ, ζ\leqslant ω_1$, the classes of $ξ$-completely continuous operators and $ζ$-completely continuous operators are distinct. We also introduce an ordinal rank $\textsf{v}$ for operators such that $\textsf{v}(A)=ω_1$ if and only if $A$ is completely continuous, and otherwise $\textsf{v}(A)$ is the minimum countable ordinal such that $A$ fails to be $ξ$-completely continuous. We show that there exists an operator $A$ such that $\textsf{v}(A)=ξ$ if and only if $1\leqslant ξ\leqslant ω_1$, and there exists a Banach space $X$ such that $\textsf{v}(I_X)=ξ$ if and only if there exists an ordinal $γ\leqslant ω_1$ such that $ξ=ω^γ$. Finally, prove that for every $0<ξ<ω_1$, the class $\{A\in \mathcal{L}: \textsf{v}(A) \geqslant ξ\}$ is $Π_1^1$-complete in $\mathcal{L}$, the coding of all operators between separable Banach spaces. This is in contrast to the class $\mathfrak{V}\cap \mathcal{L}$, which is $Π_2^1$-complete in $\mathcal{L}$. △ Less

Submitted 25 March, 2018; originally announced March 2018.

Concerning $q$-summable Szlenk index

Authors: Ryan M. Causey

Abstract: For each ordinal $ξ$ and each $1\leqslant q<\infty$, we define the notion of $ξ$-$q$-summable Szlenk index. When $ξ=0$ and $q=1$, this recovers the usual notion of summable Szlenk index. We define for an arbitrary weak$^*$-compact set a transfinite, asymptotic analogue $α_{ξ,p}$ of the martingale type norm of an operator. We prove that this quantity is determined by norming sets and determines… ▽ More For each ordinal $ξ$ and each $1\leqslant q<\infty$, we define the notion of $ξ$-$q$-summable Szlenk index. When $ξ=0$ and $q=1$, this recovers the usual notion of summable Szlenk index. We define for an arbitrary weak$^*$-compact set a transfinite, asymptotic analogue $α_{ξ,p}$ of the martingale type norm of an operator. We prove that this quantity is determined by norming sets and determines $ξ$-Szlenk power type and $ξ$-$q$-summability of Szlenk index. This fact allows us to prove that the behavior of operators under the $α_{ξ,p}$ seminorms passes in the strongest way to injective tensor products of Banach spaces. Furthermore, we combine this fact with a result of Schlumprecht to prove that a separable Banach space with good behavior with respect to the $α_{ξ,p}$ seminorm can be embedded into a Banach space with a shrinking basis and the same behavior under $α_{ξ,p}$, and in particular it can be embedded into a Banach space with a shrinking basis and the same $ξ$-Szlenk power type. Finally, we completely elucidate the behavior of the $α_{ξ,p}$ seminorms under $\ell_r$ direct sums. This allows us to give an alternative proof of a result of Brooker regarding Szlenk indices of $\ell_p$ and $c_0$ direct sums of operators. △ Less

Submitted 29 December, 2017; originally announced January 2018.

Operator ideals and three-space properties of asymptotic ideal seminorms

Authors: Ryan M. Causey, Szymon Draga, Tomasz Kochanek

Abstract: We introduce asymptotic analogues of the Rademacher and martingale type and cotype of Banach spaces and operators acting on them. Some classical local theory results related, for example, to the `automatic-type' phenomenon, the type-cotype duality, or the Maurey-Pisier theorem, are extended to the asymptotic setting. We also investigate operator ideals corresponding to the asymptotic subtype/subco… ▽ More We introduce asymptotic analogues of the Rademacher and martingale type and cotype of Banach spaces and operators acting on them. Some classical local theory results related, for example, to the `automatic-type' phenomenon, the type-cotype duality, or the Maurey-Pisier theorem, are extended to the asymptotic setting. We also investigate operator ideals corresponding to the asymptotic subtype/subcotype. As an application of this theory, we provide a sharp version of a result of Brooker and Lancien by showing that any twisted sum of Banach spaces with Szlenk power types $p$ and $q$ has Szlenk power type $\max\{p,q\}$. △ Less

Submitted 18 November, 2018; v1 submitted 12 December, 2017; originally announced December 2017.

Comments: To appear in Trans. Amer. Math. Soc., 45 pp

MSC Class: 46B06; 46B20; 46B28 (Primary); 46B09 (Secondary)

Genericity and Universality for Operator Ideals

Authors: Kevin Beanland, Ryan M. Causey

Abstract: A bounded linear operator $U$ between Banach spaces is universal for the complement of some operator ideal $\mathfrak{J}$ if it is a member of the complement and it factors through every element of the complement of $\mathfrak{J}$. In the first part of this paper, we produce new universal operators for the complements of several ideals and give examples of ideals whose complements do not admit suc… ▽ More A bounded linear operator $U$ between Banach spaces is universal for the complement of some operator ideal $\mathfrak{J}$ if it is a member of the complement and it factors through every element of the complement of $\mathfrak{J}$. In the first part of this paper, we produce new universal operators for the complements of several ideals and give examples of ideals whose complements do not admit such operators. In the second part of the paper, we use Descriptive Set Theory to study operator ideals. After restricting attention to operators between separable Banach spaces, we call an operator ideal $\mathfrak{J}$ generic if anytime an operator $A$ has the property that every operator in $\mathfrak{J}$ factors through a restriction of $A$, then every operator between separable Banach spaces factors through a restriction of $A$. We prove that many of classical operator ideals are generic (i.e. strictly singular, weakly compact, Banach-Saks) and give a sufficient condition, based on the complexity of the ideal, for when the complement does not admit a universal operator. Another result is a new proof of a theorem of M. Girardi and W.B. Johnson which states that there is no universal operator for the complement of the ideal of completely continuous operators. △ Less

Submitted 25 November, 2017; originally announced November 2017.

MSC Class: 49B28 (Primary) 03E15 (Secondary)

Prescribed Szlenk index of separable Banch spaces

Authors: Ryan M. Causey, Gilles Lancien

Abstract: In a previous work, the first named author described the set $\cal P$ of all values of the Szlenk indices of separable Banach spaces. We complete this result by showing that for any integer $n$ and any ordinal $α$ in $\cal P$, there exists a separable Banach space $X$ such that the Szlenk of the dual of order $k$ of $X$ is equal to the first infinite ordinal $ω$ for all $k$ in $\{0,..,n-1\}$ and e… ▽ More In a previous work, the first named author described the set $\cal P$ of all values of the Szlenk indices of separable Banach spaces. We complete this result by showing that for any integer $n$ and any ordinal $α$ in $\cal P$, there exists a separable Banach space $X$ such that the Szlenk of the dual of order $k$ of $X$ is equal to the first infinite ordinal $ω$ for all $k$ in $\{0,..,n-1\}$ and equal to $α$ for $k=n$. One of the ingredients is to show that the Lindenstrauss space and its dual both have a Szlenk index equal to $ω$. We also show that any element of $\cal P$ can be realized as a Szlenk index of a reflexive Banach space with an unconditional basis. △ Less

Submitted 13 September, 2018; v1 submitted 4 October, 2017; originally announced October 2017.

Comments: 17 pages. It is a revised version of the previous preprint "Prescribed Szlenk index of iterated duals": arXiv:1710.01638. The paper has been reorganized and the title has been changed. To appear in Studia Math

MSC Class: 46B20

Power type $ξ$-Asymptotically uniformly smooth and $ξ$-asymptotically uniformly flat norms

Authors: R. M. Causey

Abstract: For each ordinal $ξ$ and each $1<p<\infty$, we offer a natural, ismorphic characterization of those spaces and operators which admit an equivalent $ξ$-$p$-asymptotically uniformly smooth norm. We also introduce the notion of $ξ$-asymptotically uniformly flat norms and provide an isomorphic characterization of those spaces and operators which admit an equivalent $ξ$-asymptotically uniformly flat no… ▽ More For each ordinal $ξ$ and each $1<p<\infty$, we offer a natural, ismorphic characterization of those spaces and operators which admit an equivalent $ξ$-$p$-asymptotically uniformly smooth norm. We also introduce the notion of $ξ$-asymptotically uniformly flat norms and provide an isomorphic characterization of those spaces and operators which admit an equivalent $ξ$-asymptotically uniformly flat norm. Given a compact, Hausdorff space $K$, we prove an optimal renormong theorem regarding the $ξ$-asymptotic smoothness of $C(K)$ in terms of the Cantor-Bendixson index of $K$. We also prove that for all ordinals, both the isomorphic properties and isometric properties we study pass from Banach spaces to their injective tensor products. We study the classes of $ξ$-$p$-asymptotically uniformly smooth, $ξ$-$p$-asymptotically uniformly smoothable, $ξ$-asymptotically uniformly flat, and $ξ$-asymptotically uniformly flattenable operators. We show that these classes are either a Banach ideal or a right Banach ideal when assigned an appropriate ideal norm. △ Less

Submitted 5 June, 2017; v1 submitted 27 May, 2017; originally announced May 2017.

Power type asymptotically uniformly smooth and asymptotically uniformly flat norms

Authors: Ryan M Causey

Abstract: We provide a short characterization of $p$-asymptotic uniform smoothability and asymptotic uniform flatenability of operators and of Banach spaces. We use these characterizations to show that many asymptotic uniform smoothness properties pass to injective tensor products of operators and of Banach spaces. In particular, we prove that the injective tensor product of two asymptotically uniformly smo… ▽ More We provide a short characterization of $p$-asymptotic uniform smoothability and asymptotic uniform flatenability of operators and of Banach spaces. We use these characterizations to show that many asymptotic uniform smoothness properties pass to injective tensor products of operators and of Banach spaces. In particular, we prove that the injective tensor product of two asymptotically uniformly smooth Banach spaces is asymptotically uniformly smooth. We prove that for $1<p<\infty$, the class of $p$-asymptotically uniformly smoothable operators can be endowed with an ideal norm making this class a Banach ideal. We also prove that the class of asymptotically uniformly flattenable operators can be endowed with an ideal norm making this class a Banach ideal. △ Less

Submitted 15 May, 2017; originally announced May 2017.

The Szlenk index of $L_p(X)$ and $A_p$

Authors: Ryan M. Causey

Abstract: Given a Banach space $X$, a $w^*$-compact subset of $X^*$, and $1<p<\infty$, we provide an optimal relationship between the Szlenk index of $K$ and the Szlenk index of an associated subset of $L_p(X)^*$. As an application, given a Banach space $X$, we prove an optimal estimate of the Szlenk index of $L_p(X)$ in terms of the Szlenk index of $X$. This extends a result of Hájek and Schlumprecht to un… ▽ More Given a Banach space $X$, a $w^*$-compact subset of $X^*$, and $1<p<\infty$, we provide an optimal relationship between the Szlenk index of $K$ and the Szlenk index of an associated subset of $L_p(X)^*$. As an application, given a Banach space $X$, we prove an optimal estimate of the Szlenk index of $L_p(X)$ in terms of the Szlenk index of $X$. This extends a result of Hájek and Schlumprecht to uncountable ordinals. More generally, given an operator $A:X\to Y$, we provide an estimate of the Szlenk index of the "pointwise $A$" operator $A_p:L_p(X)\to L_p(Y)$ in terms of the Szlenk index of $A$. △ Less

Submitted 22 January, 2017; originally announced January 2017.

A note on the relationship between the Szlenk and $w^*$-dentability indices of arbitrary $w^*$-compact sets

Authors: Ryan M Causey

Abstract: We prove the optimal estimate between the Szlenk and $w^*$-dentability indices of an arbitrary $w^*$-compact subset of the dual of a Banach space. For a given $w^*$-compact, convex subset $K$ of the dual of a Banach space, we introduce a two player game the winning strategies of which determine the Szlenk index of $K$. We give applications to the $w^*$-dentability index of a Banach space and of an… ▽ More We prove the optimal estimate between the Szlenk and $w^*$-dentability indices of an arbitrary $w^*$-compact subset of the dual of a Banach space. For a given $w^*$-compact, convex subset $K$ of the dual of a Banach space, we introduce a two player game the winning strategies of which determine the Szlenk index of $K$. We give applications to the $w^*$-dentability index of a Banach space and of an operator. △ Less

Submitted 11 August, 2016; originally announced August 2016.

Power type $ξ$-asymptotically uniformly smooth norms

Authors: Ryan M Causey

Abstract: We extend a precise renorming result of Godefroy, Kalton, and Lancien regarding asymptotically uniformly smooth norms of separable Banach spaces with Szlenk index $ω$. For every ordinal $ξ$, we characterize the operators, and therefore the Banach spaces, which admit a $ξ$-asymptotically uniformly smooth norm with power type modulus and compute for those operators the best possible exponent in term… ▽ More We extend a precise renorming result of Godefroy, Kalton, and Lancien regarding asymptotically uniformly smooth norms of separable Banach spaces with Szlenk index $ω$. For every ordinal $ξ$, we characterize the operators, and therefore the Banach spaces, which admit a $ξ$-asymptotically uniformly smooth norm with power type modulus and compute for those operators the best possible exponent in terms of the values of $Sz_ξ(\cdot, \varepsilon)$. We also introduce the $ξ$-Szlenk power type and investigate ideal and factorization properties of classes associated with the $ξ$-Szlenk power type. △ Less

Submitted 19 June, 2017; v1 submitted 11 August, 2016; originally announced August 2016.

Quantitative Factorization of weakly compact, Rosenthal, and $ξ$-Banach-Saks operators

Authors: Kevin Beanland, Ryan M Causey

Abstract: We prove quantitative factorization results for several classes of operators, including weakly compact, Rosenthal, and $ξ$-Banach-Saks operators. We prove quantitative factorization results for several classes of operators, including weakly compact, Rosenthal, and $ξ$-Banach-Saks operators. △ Less

Submitted 25 July, 2016; originally announced July 2016.

$ξ$-asymptotically uniformly smooth, $ξ$-asymptotically uniformly convex, and $(β)$ operators

Authors: Ryan M. Causey, Stephen J. Dilworth

Abstract: For each ordinal $ξ$, we define the notions of $ξ$-asymptotically uniformly smooth and $w^*$-$ξ$-asymptotically uniformly convex operators. When $ξ=0$, these extend the notions of asymptotically uniformly smooth and $w^*$-asymptotically uniformly convex Banach spaces. We give a complete description of renorming results for these properties in terms of the Szlenk index of the operator, as well as a… ▽ More For each ordinal $ξ$, we define the notions of $ξ$-asymptotically uniformly smooth and $w^*$-$ξ$-asymptotically uniformly convex operators. When $ξ=0$, these extend the notions of asymptotically uniformly smooth and $w^*$-asymptotically uniformly convex Banach spaces. We give a complete description of renorming results for these properties in terms of the Szlenk index of the operator, as well as a complete description of the duality between these two properties. We also define the notion of an operator with property $(β)$ of Rolewicz which extends the notion of property $(β)$ for a Banach space. We characterize those operators the domain and range of which can be renormed so that the operator has property $(β)$ in terms of the Szlenk index of the operator and its adjoint. △ Less

Submitted 5 July, 2016; originally announced July 2016.

Szlenk and $w^*$-dentability indices of $C(K)$

Authors: Ryan M Causey

Abstract: Given any compact, Hausdorff space $K$ and $1<p<\infty$, we compute the Szlenk and $w^*$-dentability indices of the spaces $C(K)$ and $L_p(C(K))$. We show that if $K$ is compact, Hausdorff, scattered, $CB(K)$ is the Cantor-Bendixson index of $K$, and $ξ$ is the minimum ordinal such that $CB(K)\leqslant ω^ξ$, then $Sz(C(K))=ω^ξ$ and $Dz(C(K))=Sz(L_p(C(K)))= ω^{1+ξ}.$ Given any compact, Hausdorff space $K$ and $1<p<\infty$, we compute the Szlenk and $w^*$-dentability indices of the spaces $C(K)$ and $L_p(C(K))$. We show that if $K$ is compact, Hausdorff, scattered, $CB(K)$ is the Cantor-Bendixson index of $K$, and $ξ$ is the minimum ordinal such that $CB(K)\leqslant ω^ξ$, then $Sz(C(K))=ω^ξ$ and $Dz(C(K))=Sz(L_p(C(K)))= ω^{1+ξ}.$ △ Less

Submitted 6 May, 2016; originally announced May 2016.

The Szlenk index of injective tensor products and convex hulls

Authors: Ryan M Causey

Abstract: Given any Banach space $X$ and any weak*-compact subset $K$ of $X^*$, we compute the Szlenk index of the weak*-closed, convex hull of $K$ as a function of the Szlenk index of $K$. Also as an application, we compute the Szlenk index of any injective tensor product of two operators. In particular, we compute the Szlenk index of an injective tensor product $\tens$ in terms of $Sz(X)$ and $Sz(Y)$. As… ▽ More Given any Banach space $X$ and any weak*-compact subset $K$ of $X^*$, we compute the Szlenk index of the weak*-closed, convex hull of $K$ as a function of the Szlenk index of $K$. Also as an application, we compute the Szlenk index of any injective tensor product of two operators. In particular, we compute the Szlenk index of an injective tensor product $\tens$ in terms of $Sz(X)$ and $Sz(Y)$. As another application, we give a complete characterization of those ordinals which occur as the Szlenk index of a Banach space, as well as those ordinals which occur as the Bourgain $\ell_1$ or $c_0$ index of a Banach space. △ Less

Submitted 5 June, 2017; v1 submitted 26 April, 2016; originally announced April 2016.

Metrical Characterizations of super weakly compact operators

Authors: Ryan M. Causey, Stephen J. Dilworth

Abstract: We characterize super weakly compact operators as those through which binary tree and diamond and Laakso graphs may not be factored with uniform distortion. We characterize super weakly compact operators as those through which binary tree and diamond and Laakso graphs may not be factored with uniform distortion. △ Less

Submitted 6 April, 2016; originally announced April 2016.

Almost isometric constants for partial unconditionality

Authors: Ryan M. Causey, Stephen J. Dilworth

Abstract: We discuss optimal constants of certain projections on subsequences of weakly null sequences. Positive results yield constants arbitrarily close to $1$ for Schreier type projections, and arbitrarily close to $1$ for Elton type projections under the assumption that the weakly null sequence admits no subsequence generating a $c_0$ spreading model. As an application, we prove that a weakly null seque… ▽ More We discuss optimal constants of certain projections on subsequences of weakly null sequences. Positive results yield constants arbitrarily close to $1$ for Schreier type projections, and arbitrarily close to $1$ for Elton type projections under the assumption that the weakly null sequence admits no subsequence generating a $c_0$ spreading model. As an application, we prove that a weakly null sequence admitting a spreading model not equivalent to the $c_0$ basis has a quasi-greedy subsequence with quasi-greedy constant arbitrarily close to $1$. △ Less

Submitted 12 September, 2015; originally announced September 2015.

An ordinal index characterizing weak compactness of operators

Authors: Ryan M. Causey

Abstract: We introduce an ordinal index which characterizes weak compactness of operators between Banach spaces. We study when classes consisting of operators having bounded index form a closed ideal, the distinctness of the classes, and the descriptive set theoretic properties of this index. We introduce an ordinal index which characterizes weak compactness of operators between Banach spaces. We study when classes consisting of operators having bounded index form a closed ideal, the distinctness of the classes, and the descriptive set theoretic properties of this index. △ Less

Submitted 23 August, 2015; v1 submitted 9 August, 2015; originally announced August 2015.

Comments: Theorem numbering has been corrected

An alternate description of the Szlenk index with applications

Authors: Ryan M. Causey

Abstract: We discuss an alternate method for computing the Szlenk index of an arbitrary $w^*$ compact subset of the dual of a Banach space. We discuss consequences of this method as well as offer simple, alternative proofs of a number of results already found in the literature. We discuss an alternate method for computing the Szlenk index of an arbitrary $w^*$ compact subset of the dual of a Banach space. We discuss consequences of this method as well as offer simple, alternative proofs of a number of results already found in the literature. △ Less

Submitted 7 July, 2015; originally announced July 2015.