A closed subspace $S$ of $\ell_\infty$ is said to be a \emph{$\ell_\infty$-Grothendieck subspace} if $c_0\subset S$ (hence $\ell_\infty\subset S^{**}$) and every $σ(S^*,S)$-convergent sequence in $S^*$ is $σ(S^*,\ell_\infty)$-convergent. Here we give examples of closed subspaces of $\ell_\infty$ containing $c_0$ which are or fail to be $\ell_\infty$-Grothendieck.
The modulus of an order bounded functional on a Riesz space is the sum of a pair of Riesz homomorphisms if and only if the kernel of this functional is a Grothendieck subspace of the ambient Riesz space. An operator version of this fact is given.
In 1955, A. Grothendieck has shown that if the linear operator $T$ in a Banach subspace of an $L_\infty$-space is 2/3-nuclear then the trace of $T$ is well defined and is equal to the sum of all eigenvalues $\{μ_k(T)\}$ of $T.$ V.B. Lidski\vı, in 1959, proved his famous theorem on the coincidence of the trace of the $S_1$-operator in $L_2(ν)$ with its spectral trace $\sum_{k=1}^\infty μ_k(T).$ We show that for $p\in[1,\infty]$ and $s\in (0,1]$ with $1/s=1+|1/2-1/p|,$ and for every $s$-nuclear operator $T$ in every subspace of any $L_p(ν)$-space the trace of $T$ is well defined and equals the s…
Grothendieck's theorem asserts that every continuous linear operator from $\ell_{1}$ to $\ell_{2}$ is absolutely $\left( 1;1\right) $-summing. In this note we prove that the optimal constant $g_{m}$ so that every continuous $m$-linear operator from $\ell_{1}\times\cdots\times\ell_{1}$ to $\ell_{2}$ is absolutely $\left( g_{m};1\right) $-summing is $\frac{2}{m+1}$. We also show that if $g_{m}<\frac{2}{m+1}$ there is $\mathfrak{c}$ dimensional linear space composed by continuous non absolutely $\left( g_{m};1\right) $-summing $m$-linear operators from $\ell_{1}\times\cdots\times\ell_{1}$ to $\el…
Let $X$ be a Banach space and $Y \subseteq X$ be a closed subspace. We prove that if the quotient $X/Y$ is weakly Lindelöf determined or weak Asplund, then for every $w^*$-convergent sequence $(y_n^*)_{n\in \mathbb N}$ in $Y^*$ there exist a subsequence $(y_{n_k}^*)_{k\in \mathbb N}$ and a $w^*$-convergent sequence $(x_k^*)_{k\in \mathbb N}$ in $X^*$ such that $x_k^*|_Y=y_{n_k}^*$ for all $k\in \mathbb N$. As an application we obtain that $Y$ is Grothendieck whenever $X$ is Grothendieck and $X/Y$ is reflexive, which answers a question raised by González and Kania.
A famous result due to Grothendieck asserts that every continuous linear operator from $\ell_{1}$ to $\ell_{2}$ is absolutely $(1,1)$-summing. If $n\geq2,$ however, it is very simple to prove that every continuous $n$-linear operator from $\ell_{1}\times...\times\ell_{1}$ to $\ell_{2}$ is absolutely $(1;1,...,1) $-summing, and even absolutely $(\frac{2}% {n};1,...,1) $-summing$.$ In this note we deal with the following problem: Given a positive integer $n\geq2$, what is the best constant $g_{n}>0$ so that every $n$-linear operator from $\ell_{1}\times...\times\ell_{1}$ to $\ell_{2}$ is absolut…
Kwapień's theorem asserts that every continuous linear operator from $\ell_{1}$ to $\ell_{p}$ is absolutely $\left( r,1\right) $-summing for $1/r=1-\left\vert 1/p-1/2\right\vert .$ When $p=2$ it recovers the famous Grothendieck's theorem. In this paper investigate multilinear variants of these theorems and related issues. Among other results we present a unified version of Kwapień's and Grothendieck's results that encompasses the cases of multiple summing and absolutely summing multilinear operators.
We prove the operator space Grothendieck inequality for bilinear forms on subspaces of noncommutative $L_p$-spaces with $2<p<\infty$. One of our results states that given a map $u: E\to F^*$, where $E, F\subset L_p(M)$ ($2<p<\infty$, $M$ being a von Neumann algebra), $u$ is completely bounded iff $u$ factors through a direct sum of a $p$-column space and a $p$-row space. We also obtain several operator space versions of the classical little Grothendieck inequality for maps defined on a subspace of a noncommutative $L_p$-space ($2<p<\infty$) with values in a $q$-column space for every $q\in [p'…
A Banach space is said to be Grothendieck if weak and weak$^*$ convergent sequences in the dual space coincide. This notion has been quantificated by H. Bendová. She has proved that $\ell_\infty$ has the quantitative Grothendieck property, namely, it is 1-Grothendieck. Our aim is to show that Banach spaces from a certain wider class are 1-Grothendieck, precisely, $C(K)$ is 1-Grothendieck provided $K$ is a totally disconnected compact space such that its algebra of clopen subsets has the so called Subsequential completeness property.
A Banach space $X$ is Grothendieck if the weak and the weak$^*$ convergence of sequences in the dual space $X^*$ coincide. The space $\ell^\infty$ is a classical example of a Grothendieck space due to Grothendieck. We introduce a quantitative version of the Grothendieck property, we prove a quantitative version of the above-mentioned Grothendieck's result and we construct a Grothendieck space which is not quantitatively Grothendieck. We also establish the quantitative Grothendieck property of $L^\infty(μ)$ for a $σ$-finite measure $μ$.
By a result of Johnson, the Banach space $F=(\bigoplus_{n=1}^\infty \ell_1^n)_{\ell_\infty}$ contains a complemented copy of $\ell_1$. We identify $F$ with a complemented subspace of the space of (bounded, linear) operators on the reflexive space $(\bigoplus_{n=1}^\infty \ell_1^n)_{\ell_p}$ ($p\in (1,\infty))$, thus giving a negative answer to the problem posed in the monograph of Diestel and Uhl which asks whether the space of operators on a reflexive Banach space is Grothendieck.
Extreme points, positive Grothendieck constants and tensor product norms
Gupta School of Mathematics and Computer Science, Indian Institute of Technology Goa(印度理工学院果阿分校);The Institute of Mathematical Sciences(数学科学研究所);Homi Bhabha National Institute(霍米·巴巴国立学院);Dhirubhai Ambani University(迪鲁巴伊·安巴尼大学);Indian Statistical Institute, Bangalore(印度统计学院班加罗尔分部);Indian Institute of Technology, Gandhinagar(印度理工学院甘地纳加尔分校)
We investigate different possiblities of subspaces of the space $\ell_{\infty}$ in terms of whether the subspaces are polyhedral or not. We further study finite-dimensional subspaces of $\ell_{\infty}$ which are of the form $\ell_\infty^n$ form some $ n \geq 2.$ As an application of the results we compute the number of extreme contractions for a class of the space of bounded linear operators. In particular we find the number of extreme contractions of $\mathbb{L}(\mathbb{X}, \ell_{\infty}^n),$ where $\mathbb{X}$ is a finite-dimensional polyhedral space.
We show that a subspace of of $\ell_\infty^N$ of dimension $n>(\log N\log \log N)^2$ contains $2$-isomorphic copies of $\ell_\infty^k$ where $k$ tends to infinity with $n/(\log N\log \log N)^2$. More precisely, for every $η>0$, we show that any subspace of $\ell_\infty^N$ of dimension $n$ contains a subspace of dimension $m=c(η)\sqrt{n}/(\log N\log \log N)$ of distance at most $1+η$ from $\ell_\infty^m$.
It is proved that every operator from a weak$^*$-closed subspace of $\ell_1$ into a space $C(K)$ of continuous functions on a compact Hausdorff space $K$ can be extended to an operator from $\ell_1$ to $C(K)$.
An isomorphic (\ell_1)-predual space (X) is constructed such that neither (X) is isomorphic to a subspace of (c_0), nor (C(ω^ω)) is isomorphic to a subspace of (X). It follows that (X) is not isomorphic to a complemented subspace of a (C(K)) space.
Using a recent result of Batson, Spielman and Srivastava, We obtain a tight estimate on the dimension of $\ell_p^n$, $p$ an even integer, needed to almost isometrically contain all $k$-dimensional subspaces of $L_p$.
We investigate the existence of higher order \ell^1-spreading models in subspaces of mixed Tsirelson spaces. For instance, we show that the following conditions are equivalent for the mixed Tsirelson space X=T[(θ_n,S_n)_{n=1}^{\infty}] (1)Every block subspace of $X$ contains an \ell^1-S_ω-spreading model, (2)The Bourgain \ell^1-index I_b(Y) = I(Y) > ω^ω for any block subspace Y of X, (3)\lim_m\limsup_nθ_{m+n}/θ_n > 0 and every block subspace Y of X contains a block sequence equivalent to a subsequence of the unit vector basis of X. Moreover, if one (and hence all) of these conditions holds, th…
We calculate ordinal $L_p$ index defined in "An ordinal L_p index for Banach spaces with an application to complemented subspaces of L_p" authored by J. Bourgain, H. P. Rosenthal and G. Schechtman, for Rosenthal's space $X_p$, $\ell_p$ and $\ell_2$. We show a subspace of $L_p$ $(2 < p < \infty)$ non isomorphic to $\ell_2$ embeds in $\ell_p$ if and only if its ordinal index is minimum possible. We also give a sufficient condition for a $\mathcal{L}_p$ subspace of $\ell_p\oplus\ell_2$ to be isomorphic to $X_p$.
Johnson and Zippin recently showed that if $X$ is a weak^*-closed subspace of $\ell_1$ and T:X-> C(K) is any bounded operator then T can extended to a bounded operator $\tilde T:\ell_1\to C(K).$ We give a converse result: if X is a subspace of $\ell_1$ so that $\ell_1/X$ has a (UFDD) and every operator T:X -> C(K) can be extended to $\ell_1$ then there is an automorphism $τ$ of $\ell_1$ so that $τ(X)$ is weak^*-closed. This result is proved by studying subspaces of c_0 and several different characterizations of such subspaces are given.
In this note we study Banach spaces of traces of real polynomials on $\mathbb R^n$ to compact subsets equipped with supremum norms from the point of view of Geometric Functional Analysis.
We prove that if $X$ is a subspace of $L_p$ $(2<p<\infty)$, then either $X$ embeds isomorphically into $\ell_p \oplus \ell_2$ or $X$ contains a subspace $Y,$ which is isomorphic to $\ell_p(\ell_2)$. We also give an intrinsic characterization of when $X$ embeds into $\ell_p \oplus \ell_2$ in terms of weakly null trees in $X$ or, equivalently, in terms of the "infinite asymptotic game" played in $X$. This solves problems concerning small subspaces of $L_p$ originating in the 1970's. The techniques used were developed over several decades, the most recent being that of weakly null trees developed…
We construct for each $0<p\le 1$ an infinite collection of subspaces of $\ell_p$ that extend the example from [J. Lindenstrauss, On a certain subspace of $\ell_{1}$, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 12 (1964), 539-542] of a subspace of $\ell_{1}$ with no unconditional basis. The structure of this new class of $p$-Banach spaces is analyzed and some applications to the general theory of $\mathcal{L}_{p}$-spaces for $0<p<1$ are provided. The introduction of these spaces serves the purpose to develop the theory of conditional quasi-greedy bases in $p$-Banach spaces for $p<1$…
The relation between different notions measuring proximity to $\ell_1$ and distortability of a Banach space is studied. The main result states that a Banach space, whose all subspaces have Bourgain $\ell_1$ index greater than $ω^α$, $α<ω_1$, contains either an arbitrary distortable subspace or an $\ell_1^α$-asymptotic subspace.
Given a Polish topology $τ$ on ${\mathcal{B}_{1}(X)}$, the set of all contraction operators on $X=\ell_p$, $1\le p<\infty$ or $X=c_0$, we prove several results related to the following question: does a typical $T\in {\mathcal{B}_{1}(X)}$ in the Baire Category sense has a non-trivial invariant subspace? In other words, is there a dense $G_δ$ set $\mathcal G\subseteq ({\mathcal{B}_{1}(X)},τ)$ such that every $T\in\mathcal G$ has a non-trivial invariant subspace? We mostly focus on the Strong Operator Topology and the Strong$^*$ Operator Topology.
We show that the space $\text{Lip}_0(\mathbb R^n)$ is the dual space of $L^{1}({\mathbb R}^{n}; {\mathbb R}^{n})/N$ where $N$ is the subspace of $L^{1}({\mathbb R}^{n}; {\mathbb R}^{n})$ consisting of vector fields whose divergence vanishes. We prove that although the quotient space $L^{1}({\mathbb R}^{n}; {\mathbb R}^{n})/N$ is weakly sequentially complete, the subspace $N$ is not nicely placed - in other words, its unit ball is not closed for the topology $τ_m$ of local convergence in measure. We prove that if $Ω$ is a bounded open star-shaped subset of $\mathbb {R}^n$ and $X$ is a closed su…
This paper studies the bounded approximation property (BAP) in quasi Banach spaces. In the first part of the paper we show that the kernel of any surjective operator $\ell_p\to X$ has the BAP when $X$ has it and $0<p\leq 1$, which is an analogue of the corresponding result of Lusky for Banach spaces. We then obtain and study nonlocally convex versions of the Kadec-Pełczyński-Wojtaszczyk complementably universal spaces for Banach spaces with the BAP.
In the first part of our paper, we show that $\ell_\infty$ has a dense linear subspace which admits an equivalent real analytic norm. As a corollary, every separable Banach space, as well as $\ell_1(\mathfrak{c})$, also has a dense linear subspace which admits an analytic renorming. By contrast, no dense subspace of $c_0(ω_1)$ admits an analytic norm. In the second part, we prove (solving in particular an open problem of Guirao, Montesinos, and Zizler) that every Banach space with a long unconditional Schauder basis contains a dense subspace that admits a $C^{\infty}$-smooth norm. Finally, we …
In this paper we prove some results related to the problem of isomorphically classifying the complemented subspaces of $X_{p}$. We characterize the complemented subspaces of $X_{p}$ which are isomorphic to $X_{p}$ by showing that such a space must contain a canonical complemented subspace isomorphic to $X_{p}.$ We also give some characterizations of complemented subspaces of $X_{p}$ isomorphic to $\ell_{p}\oplus \ell_{2}.$
Let $λ$ be an infinite cardinal number and let $\ell_\infty^c(λ)$ denote the subspace of $\ell_\infty(λ)$ consisting of all functions that assume at most countably many non-zero values. We classify all infinite dimensional complemented subspaces of $\ell_\infty^c(λ)$, proving that they are isomorphic to $\ell_\infty^c(κ)$ for some cardinal number $κ$. Then we show that the Banach algebra of all bounded linear operators on $\ell_\infty^c(λ)$ or $\ell_\infty(λ)$ has the unique maximal ideal consisting of operators through which the identity operator does not factor. Using similar techniques, we …
Grothendieck's theorem asserts that every continuous linear operator from $\ell_1$ to $\ell_2$ is absolutely $(1,1)$-summing. This kind of result is commonly called coincidence result. In this paper we investigate coincidence results in the multilinear setting, showing how the cotype of the spaces involved affect such results. The special role played by $\ell_1$ spaces is also investigated with relation to interpolation of tensor products. In particular, an open problem on the interpolation of $m$ injective tensor products is solved.
We study the relationship between the point-wise symmetry of Birkhoff-James orthogonality and the geometry of the space of operators $\mathbb{B}(\ell_\infty^n,\ell_1^m)$. We show that any non-zero left-symmetric point in this space is a smooth point. We also show that for $n\geq4$, any unit norm right-symmetric point of this space is an extreme point of the closed unit ball. This marks the first step towards characterizing the extreme points of these unit balls and finding the Grothendieck constants $G(m,n)$ using Birkhoff-James orthogonality techniques.
We prove that if $X$ is a complex strictly monotone sequence space with $1$-unconditional basis, $Y \subseteq X$ has no bands isometric to $\ell_2^2$ and $Y$ is the range of norm-one projection from $X$, then $Y$ is a closed linear span a family of mutually disjoint vectors in $X$. We completely characterize $1$-complemented subspaces and norm-one projections in complex spaces $\ell_p(\ell_q)$ for $1 \leq p, q < \infty$. Finally we give a full description of the subspaces that are spanned by a family of disjointly supported vectors and which are $1$-complemented in (real or complex) Orlicz or …
We present a general method for constructing operators without non-trivial invariant closed subsets on a large class of non-reflexive Banach spaces. In particular, our approach unifies and generalizes several constructions due to Read of operators without non-trivial invariant subspaces on the spaces $\ell_{1}$, $c_{0}$ or $\oplus_{\ell_{2}}J$, and without non-trivial invariant subsets on $\ell_{1}$. We also investigate how far our methods can be extended to the Hilbertian setting, and construct an operator on a quasireflexive dual Banach space which has no non-trivial $w^{*}$-closed invariant…
Enflo and Rosenthal proved that $\ell_p(\aleph_1)$, $1 < p < 2$, does not (isomorphically) embed into $L_p(μ)$ with $μ$ a finite measure. We prove that if $X$ is a subspace of an $L_p$ space, $1< p < 2$, and $\ell_p(\aleph_1)$ does not embed into $X$, then $X$ embeds into $L_p(μ)$ for some finite measure $μ$.
We investigate the geometry of $C(K,X)$ and $\ell_{\infty}(X)$ spaces through complemented subspaces of the form $\left(\bigoplus_{i\in \varGamma}X_i\right)_{c_0}$. Concerning the geometry of $C(K,X)$ spaces we extend some results of D. Alspach and E. M. Galego from \cite{AlspachGalego}. On $\ell_{\infty}$-sums of Banach spaces we prove that if $\ell_{\infty}(X)$ has a complemented subspace isomorphic to $c_0(Y)$, then, for some $n \in \mathbb{N}$, $X^n$ has a subspace isomorphic to $c_0(Y)$. We further prove the following: (1) If $C(K)\sim c_0(C(K))$ and $C(L)\sim c_0(C(L))$ and $\ell_{\infty…
In this paper, we prove the coarse geometric $\ell^p$-Novikov Conjecture for metric spaces with bounded geometry which admit a coarse embedding into a simply connected complete Riemannian manifold of nonpositive sectional curvature.
We study some structural aspects of the subspaces of the non-commutative (Haagerup) L_p-spaces associated with a general (non necessarily semi-finite) von Neumann algebra A. If a subspace X of L_p(A) contains uniformly the spaces \ell_p^n, n>= 1, it contains an almost isometric, almost 1-complemented copy of \ell_p. If X contains uniformly the finite dimensional Schatten classes S_p^n, it contains their \ell_p-direct sum too. We obtain a version of the classical Kadec-Pel czynski dichotomy theorem for L_p-spaces, p>= 2. We also give operator space versions of these results. The proofs are base…
Motivated by the Invariant Subspace Problem, we describe explicitly the closed subspace $H^2$ generated by the limit points in the $H^2$ norm of the orbit of a thin Blaschke product $B$ under composition operators $C_ϕ$ induced by non-elliptic automorphisms. This description exhibits a surprising connection to model spaces. Finally, we give a constructive characterization of the $C_ϕ$-eigenfunctions in $H^p$ for $1\le p\le \infty$.
Universidade Federal da Paraíba(帕拉伊巴联邦大学);Universidade Estadual da Paraíba(帕拉伊巴州立大学);Universidad de Sevilla(塞维利亚大学);Universidad Complutense de Madrid(马德里康普顿斯大学)
The spaces $W_α$ are the Banach spaces whose duals are isometric to $\ell_1$ and such that the standard basis of $\ell_1$ is $w^*$-convergent to $α\in \ell_1$. The core result of our paper proves that an $\ell_1$-predual $X$ contains isometric copies of all $W_α$, where the norm of $α$ is controlled by the supremum of the norms of the $w^*$-cluster points of the extreme points of the closed unit ball in $\ell_1$. More precisely, for every $\ell_1$-predual $X$ we have $$ r^*(X)=\sup\left\lbrace \left\|g^*\right\|: g^*\in \left(\mathrm{ext}\, B_{\ell_1}\right)'\right\rbrace =\sup \left\lbrace \l…
Let $(e_i)_i$ denote the unit vector basis of $\ell_p$, $1\leq p< \infty$, or $c_0$. We construct a reflexive Banach space with an unconditional basis that admits $(e_i)_i$ as a uniformly unique spreading model while it has no subspace with a unique asymptotic model, and hence it has no asymptotic-$\ell_p$ or $c_0$ subspace. This solves a problem of E. Odell. We also construct a space with a unique $\ell_1$ spreading model and no subspace with a uniformly unique $\ell_1$ spreading model. These results are achieved with the utilization of a new version of the method of saturation under constrai…
We show that every Lorentz sequence space $d(\textbf{w},p)$ admits a 1-complemented subspace $Y$ distinct from $\ell_p$ and containing no isomorph of $d(\textbf{w},p)$. In the general case, this is only the second nontrivial complemented subspace in $d(\textbf{w},p)$ yet known. We also give an explicit representation of $Y$ in the special case $\textbf{w}=(n^{-θ})_{n=1}^\infty$ ($0<θ<1$) as the $\ell_p$-sum of finite-dimensional copies of $d(\textbf{w},p)$. As an application, we find a sixth distinct element in the lattice of closed ideals of $\mathcal{L}(d(\textbf{w},p))$, of which only five …
We prove that the subspace $c_0$ of sequences that converge to zero is not complemented in the space $ac_0$ of sequences that almost converge to zero. We proceed with applying the same approach to inclusion chain $c_0\subset A_0 \subset \ell_\infty$.
We consider 1-complemented subspaces (ranges of contractive projections) of vector-valued spaces $\ell_p(X)$, where $X$ is a Banach space with a 1-unconditional basis and $p \in (1,2)\cup (2,\infty)$. If the norm of $X$ is twice continuously differentiable and satisfies certain conditions connecting the norm and the notion of disjointness with respect to the basis, then we prove that every 1-complemented subspace of $\ell_p(X)$ admits a basis of mutually disjoint elements. Moreover, we show that every contractive projection is then an averaging operator. We apply our results to the space $\ell…
We give an explicit (in particular, deterministic polynomial time) construction of subspaces X of R^N of dimension (1-o(1))N such that for every element x in X, |x|_1 and N^{1/2} |x|_2 are equivalent up to a factor of (log N)^{log log log N}. If we are allowed to use N^{o(1)} random bits, this factor can be improved to poly(log N). Our construction makes use of unbalanced bipartite graphs to impose local linear constraints on vectors in the subspace, and our analysis relies on expansion properties of the graph. This is inspired by similar constructions of error-correcting codes.