Searcharxiv⌕ Search

arXiv subjects

Pavlos Motakis

Publications and source records attributed to Pavlos Motakis.

45 records · Page 3Linked to original sources

A dual method of constructing hereditarily indecomposable Banach spaces

A new method of defining hereditarily indecomposable Banach spaces is presented. This method provides a unified approach for constructing reflexive HI spaces and also HI spaces with no reflexive subspace. All the spaces presented here satisfy the property that the composition of any two strictly singular operators is a compact one. This yields the first known example of a Banach space with no reflexive subspace such that every operator has a non-trivial closed invariant subspace.

math.FA↗

A hierarchy of Banach spaces with $C(K)$ Calkin Algebras

For every well founded tree $\mathcal{T}$ having a unique root such that every non-maximal node of it has countable infinitely many immediate successors, we construct a $\mathcal{L}_\infty$-space $X_{\mathcal{T}}$. We prove that for each such tree $\mathcal{T}$, the Calkin algebra of $X_{\mathcal{T}}$ is homomorphic to $C(\mathcal{T})$, the algebra of continuous functions defined on $\mathcal{T}$, equipped with the usual topology. We use this fact to conclude that for every countable compact metric space $K$ there exists a $\mathcal{L}_\infty$-space whose Calkin algebra is isomorphic, as a Banach algebra, to $C(K)$.

math.FA↗

A hereditarily indecomposable Banach space with rich spreading model structure

We present a reflexive Banach space $\mathfrak{X}_{_{^\text{usm}}}$ which is Hereditarily Indecomposable and satisfies the following properties. In every subspace $Y$ of $\mathfrak{X}_{_{^\text{usm}}}$ there exists a weakly null normalized sequence $\{y_n\}_n$, such that every subsymmetric sequence $\{z_n\}_n$ is isomorphically generated as a spreading model of a subsequence of $\{y_n\}_n$. Also, in every block subspace $Y$ of $\mathfrak{X}_{_{^\text{usm}}}$ there exists a seminormalized block sequence $\{z_n\}$ and $T:\mathfrak{X}_{_{^\text{usm}}}\rightarrow\mathfrak{X}_{_{^\text{usm}}}$ an isomorphism such that for every $n\in\mathbb{N}$ $T(z_{2n-1}) = z_{2n}$. Thus the space is an example of an HI space which is not tight by range in a strong sense.

math.FA↗

$α$-Large Families and Applications to Banach Space Theory

The notion of $α$-large families of finite subsets of an infinite set is defined for every countable ordinal number $α$, extending the known notion of large families. The definition of the $α$-large families is based on the transfinite hierarchy of the Schreier families $\mathcal{S}_α, α<ω_1$. We prove the existence of such families on the cardinal number $2^{\aleph_0}$ and we study their properties. As an application, based on those families we construct a reflexive space $\mathfrak{X}_{2^{\aleph_0}}^α$, $α<ω_1$ with density the continuum, such that every bounded non norm convergent sequence $\{x_k\}_k$ has a subsequence generating $\ell_1^α$ as a spreading model.

math.FA↗

Arbitrarily distortable Banach spaces of higher order

We study an ordinal rank on the class of Banach spaces with bases that quantifies the distortion of the norm of a given Banach space. The rank $AD(\cdot)$, introduced by P. Dodos, uses the transfinite Schreier familes and has the property that $AD(X) < ω_1$ if and only if $X$ is arbitrarily distortable. We prove several properties of this rank as well as some new results concerning higher order $\ell_1$ spreading models. We also compute this rank for for several Banach spaces. In particular, it is shown that class of Banach spaces $\mathfrak{X}^{ω^ξ}_{0,1}$ , which each admit $\ell_1$ and $c_0$ spreading models hereditarily, and were introduced by S.A. Argyros, the first and third author, satisfy $AD(\mathfrak{X}^{ω^ξ}_{0,1}) = ω^ξ+ 1$. This answers some questions of Dodos.

math.FA↗

The stabilized set of $p$'s in Krivine's theorem can be disconnected

For any closed subset $F$ of $[1,\infty]$ which is either finite or consists of the elements of an increasing sequence and its limit, a reflexive Banach space $X$ with a 1-unconditional basis is constructed so that in each block subspace $Y$ of $X$, $\ell_p$ is finitely block represented in $Y$ if and only if $p \in F$. In particular, this solves the question as to whether the stabilized Krivine set for a Banach space had to be connected. We also prove that for every infinite dimensional subspace $Y$ of $X$ there is a dense subset $G$ of $F$ such that the spreading models admitted by $Y$ are exactly the $\ell_p$ for $p\in G$.

math.FA↗

Strictly singular operators in Tsirelson like spaces

For each $n \in \mathbb{N}$ a Banach space $\mathfrak{X}_{0,1}^n$ is constructed is having the property that every normalized weakly null sequence generates either a $c_0$ or $\ell_1$ spreading models and every infinite dimensional subspace has weakly null sequences generating both $c_0$ and $\ell_1$ spreading models. The space $\mathfrak{X}_{0,1}^n$ is also quasiminimal and for every infinite dimensional closed subspace $Y$ of $\mathfrak{X}_{0,1}^n$, for every $S_1,S_2,\ldots,S_{n+1}$ strictly singular operators on $Y$, the operator $S_1S_2\cdots S_{n+1}$ is compact. Moreover, for every subspace $Y$ as above, there exist $S_1,S_2,\ldots,S_n$ strictly singular operators on $Y$, such that the operator $S_1S_2\cdots S_n$ is non-compact.

math.FA↗

A reflexive HI space with the hereditary Invariant Subspace Property

A reflexive hereditarily indecomposable Banach space $\mathfrak{X}_{_{^\text{ISP}}}$ is presented, such that for every $Y$ infinite dimensional closed subspace of $\mathfrak{X}_{_{^\text{ISP}}}$ and every bounded linear operator $T:Y\rightarrow Y$, the operator $T$ admits a non-trivial closed invariant subspace.

math.FA↗

Examples of k-iterated spreading models

It is shown that for every $k\in\mathbb{N}$ and every spreading sequence $\{e_n\}_{n\in\mathbb{N}}$ that generates a uniformly convex Banach space $E$, there exists a uniformly convex Banach space $X_{k+1}$ admitting $\{e_n\}_{n\in\mathbb{N}}$ as a $k+1$-iterated spreading model, but not as a $k$-iterated one.

math.FA↗