Banach spaces in various positions

We formulate a general theory of positions for subspaces of a Banach space: we define equivalent and isomorphic positions, study the automorphy index a(Y,X) that measures how many non-equivalent positions Y admits in X, and obtain estimates of a(Y,X) for X a classical Banach space such as ?p,Lp,L₁,C(ωω) or C[0,1]. Then, we study different aspects of the automorphic space problem posed by Lindenstrauss and Rosenthal; namely, does there exist a separable automorphic space different from c₀ or ?₂? Recall that a Banach space X is said to be automorphic if every subspace Y admits only one position in X; i.e., a(Y,X)=1 for every subspace Y of X. We study the notion of extensible space and uniformly finitely extensible space (UFO), which are relevant since every automorphic space is extensible and every extensible space is UFO. We obtain a dichotomy theorem: Every UFO must be either an L_∞-space or a weak type 2 near-Hilbert space with the Maurey projection property. We show that a Banach space all of whose subspaces are UFO (called hereditarily UFO spaces) must be asymptotically Hilbertian; while a Banach space for which both X and X^∗ are UFO must be weak Hilbert. We then refine the dichotomy theorem for Banach spaces with some additional structure. In particular, we show that an UFO with unconditional basis must be either c₀ or a superreflexive weak type 2 space; that a hereditarily UFO Köthe function space must be Hilbert; and that a rearrangement invariant space UFO must be either L_∞ or a superreflexive type 2 Banach lattice.     

Complementably universal Banach spaces, II

The two main results are:

A.

If a Banach space X is complementably universal for all subspaces of c₀ which have the bounded approximation property, then X^∗ is non-separable (and hence X does not embed into c₀).

B.

There is no separable Banach space X such that every compact operator (between Banach spaces) factors through X.

Theorem B solves a problem that dates from the 1970s.     

Ergodic Banach spaces

We show that any Banach space contains a continuum of non-isomorphic subspaces or a minimal subspace. We define an ergodic Banach space X as a space such that E₀ Borel reduces to isomorphism on the set of subspaces of X, and show that every Banach space is either ergodic or contains a subspace with an unconditional basis which is complementably universal for the family of its block-subspaces. We also use our methods to get uniformity results. We show that an unconditional basis of a Banach space, of which every block-subspace is complemented, must be asymptotically c₀ or ?_p, and we deduce some new characterisations of the classical spaces c₀ and ?_p.     

The asymptotically commuting bounded approximation property of Banach spaces

We introduce and study the asymptotically commuting bounded approximation property of Banach spaces. This property is, e.g., enjoyed by any dual space with the bounded approximation property. The principal result is the following: if a Banach space X has the asymptotically λ-commuting bounded approximation property, then X is saturated with locally λ-complemented separable subspaces enjoying the λ-commuting bounded approximation property.     

Zero subspaces of polynomials on

We provide two examples of complex homogeneous quadratic polynomials P on Banach spaces of the form ℓ₁(Γ). The first polynomial P has both separable and nonseparable maximal zero subspaces. The second polynomial P has the property that while the index-set Γ is not countable, all zero subspaces of P are separable.     

On a new geometric property for Banach spaces

In this paper we study a geometric property for Banach spaces called condition (*), introduced by de Reynaet al in [3], A Banach space has this property if for any weakly null sequencex _n of unit vectors inX, ifx _* ⁿ is any sequence of unit vectors inX ^* that attain their norm at x_n’s, then . We show that a Banach space satisfies condition (*) for all equivalent norms iff the space has the Schur property. We also study two related geometric conditions, one of which is useful in calculating the essential norm of an operator.     

Isometric embeddings of compact spaces into Banach spaces

We show the existence of a compact metric space K such that whenever K embeds isometrically into a Banach space Y, then any separable Banach space is linearly isometric to a subspace of Y. We also address the following related question: if a Banach space Y contains an isometric copy of the unit ball or of some special compact subset of a separable Banach space X, does it necessarily contain a subspace isometric to X? We answer positively this question when X is a polyhedral finite-dimensional space, c₀ or ?₁.     

Banach spaces of universal disposition

In this paper we present a method to obtain Banach spaces of universal and almost-universal disposition with respect to a given class M of normed spaces. The method produces, among others, the only separable Banach space of almost-universal disposition with respect to the class F of finite-dimensional spaces (Gurari? space G); or the only, under CH, Banach space with density character the continuum which is of universal disposition with respect to the class S of separable spaces (Kubis space K). We moreover show that K is isomorphic to an ultrapower of the Gurari? space and that it is not isomorphic to a complemented subspace of any C(K)-space. Other properties of spaces of universal disposition are also studied: separable injectivity, partially automorphic character and uniqueness.     

On Uniformly Finitely Extensible Banach spaces

We continue the study of Uniformly Finitely Extensible Banach spaces (in short, UFO) initiated in Moreno and Plichko (2009) [39] and Castillo and Plichko (2010) [18]. We show that they have the Uniform Approximation Property of Pe?czyński and Rosenthal and are compactly extensible. We will also consider their connection with the automorphic space problem of Lindenstrauss and Rosenthal – do there exist automorphic spaces other than _c0(I)$c_0(I)$ and _?2(I)${?}_2(I)$? – showing that a space all whose subspaces are UFO must be automorphic when it is Hereditarily Indecomposable (HI), and a Hilbert space when it is either locally minimal or isomorphic to its square. We will finally show that most HI – among them, the super-reflexive HI space constructed by Ferenczi – and asymptotically _?2${?}_2$ spaces in the literature cannot be automorphic.     

Frame expansions in separable Banach spaces

Banach frames are defined by straightforward generalization of (Hilbert space) frames. We characterize Banach frames (and Xd-frames) in separable Banach spaces, and relate them to series expansions in Banach spaces. In particular, our results show that we can not expect Banach frames to share all the nice properties of frames in Hilbert spaces.     

The finite-dimensional decomposition property in non-Archimedean Banach spaces

A non-Archimedean Banach space has the orthogonal finite-dimensional decomposition property（OFDDP） if it is the orthogonal direct sum of a sequence of finite-dimensional subspaces.This property has an influence in the non-Archimedean Grothendieck＇s approximation theory,where an open problem is the following： Let E be a non-Archimedean Banach space of countable type with the OFDDP and let D be a closed subspace of E.Does D have the OFDDP？ In this paper we give a negative answer to this question; we construct a Banach space of countable type with the OFDDP having a one-codimensional subspace without the OFDDP.Next we prove that,however,for certain classes of Banach spaces of countable type,the OFDDP is preserved by taking finite-codimensional subspaces.     

Boundary conditions for linear manifolds. III. Infinite dimensional adjoints via solution spaces

A formula is given for the orthogonal complement of any vector subspace of l₂. Countably infinite adjoint subspaces in a Banach space are characterized via solution spaces. In particular, infinite dimensional self-adjoint subspaces in a reflexive Banach space are characterized via solution spaces, generalizing a result in Dunford and Schwartz [“Linear Operators, II,” Interscience, New York, 1963]. Applications are made to closed linear manifolds in l₂ ⊕ l₂ as well as infinite dimensional, generalized ordinary differential subspaces in a Hilbert space with the boundary conditions imposed on real sequences. The results are also expressed via solution spaces.     

On the classes of hereditarily ℓp Banach spaces

Let X denote a specific space of the class of X _α,p Banach sequence spaces which were constructed by Hagler and the first named author as classes of hereditarily ℓ_p Banach spaces. We show that for p > 1 the Banach space X contains asymptotically isometric copies of ℓ_p. It is known that any member of the class is a dual space. We show that the predual of X contains isometric copies of ℓ_p where 1/p + 1/q = 1. For p = 1 it is known that the predual of the Banach space X contains asymptotically isometric copies of c ₀. Here we give a direct proof of the known result that X contains asymptotically isometric copies of ℓ₁.     

Even infinite-dimensional real Banach spaces

This article is a continuation of a paper of the first author [V. Ferenczi, Uniqueness of complex structure and real hereditarily indecomposable Banach spaces, Adv. Math. 213 (1) (2007) 462–488] about complex structures on real Banach spaces. We define a notion of even infinite-dimensional real Banach space, and prove that there exist even spaces, including HI or unconditional examples from [V. Ferenczi, Uniqueness of complex structure and real hereditarily indecomposable Banach spaces, Adv. Math. 213 (1) (2007) 462–488] and C(K) examples due to Plebanek [G. Plebanek, A construction of a Banach space C(K) with few operators, Topology Appl. 143 (2004) 217–239]. We extend results of [V. Ferenczi, Uniqueness of complex structure and real hereditarily indecomposable Banach spaces, Adv. Math. 213 (1) (2007) 462–488] relating the set of complex structures up to isomorphism on a real space to a group associated to inessential operators on that space, and give characterizations of even spaces in terms of this group. We also generalize results of [V. Ferenczi, Uniqueness of complex structure and real hereditarily indecomposable Banach spaces, Adv. Math. 213 (1) (2007) 462–488] about totally incomparable complex structures to essentially incomparable complex structures, while showing that the complex version of a space defined by S. Argyros and A. Manoussakis [S. Argyros, A. Manoussakis, An indecomposable and unconditionally saturated Banach space, Studia Math. 159 (1) (2003) 1–32] provides examples of essentially incomparable complex structures which are not totally incomparable.     

Exterior algebra of a Banach space

As far as we know, the exterior product with any norm has not been studied for Banach spaces. Especially, no studies have been done on Grassmann manifolds in Banach spaces. We think it is important to study these because simple m-vectors can be thought of as m-dimensional subspaces scaled in some way according to our work. We hope Banach space norms of simple m-vectors will yield metric information about their associated subspaces. In fact, this is the case with m-uniform convexity and m-uniform rotundity which are associated with area (in Banach spaces).     

An Extension of the Notion of Orthogonality to Banach Spaces

We extend the usual notion of orthogonality to Banach spaces. We show that the extension is quite rich in structure by establishing some of its main properties and consequences. Geometric characterizations and comparison results with other extensions are established. Also, we establish a characterization of compact operators on Banach spaces that admit orthonormal Schauder bases. Finally, we characterize orthogonality in the spaces l₂^p(C).     

Coefficient quantization for frames in Banach spaces

Let (ei) be a fundamental system of a Banach space. We consider the problem of approximating linear combinations of elements of this system by linear combinations using quantized coefficients. We will concentrate on systems which are possibly redundant. Our model for this situation will be frames in Banach spaces.     

Lushness, numerical index one and duality

We construct an example of a Banach space which is not lush, but whose dual space is lush. This example shows that lushness is not equivalent to numerical index one. A characterization of lushness for some quotient spaces of L₁(μ) spaces and new results on C-rich subspaces of (scalar- or vector-valued) C(K) spaces are also presented.     

On Banach Spaces Whose Unit Sphere Determines Polynomials

In this paper we study the problem of characterizing the real Banach spaces whose unit sphere determines polynomials, i.e., if two polynomials coincide in the unit sphere, is this sufficient to guarantee that they are identical？ We show that, in the frame of spaces with unconditional basis, non- reflexivity is a sufficient, although not necessary, condition for the above question to have an affirmative answer. We prove that the only lp^n spaces having this property are those with p irrational, while the only lp spaces which do not enjoy it are those with p an even integer. We also introduce a class of polynomial determining sets in any real Banach space.     

Some remarks on James-Schreier spaces

The James-Schreier spaces Vp, where 1?p<∞, were recently introduced by Bird and Laustsen (in press) [5] as an amalgamation of James' quasi-reflexive Banach space on the one hand and Schreier's Banach space giving a counterexample to the Banach-Saks property on the other. The purpose of this note is to answer some questions left open in Bird and Laustsen (in press) [5]. Specifically, we prove that (i) the standard Schauder basis for the first James-Schreier space V₁ is shrinking, and (ii) any two Schreier or James-Schreier spaces with distinct indices are non-isomorphic. The former of these results implies that V₁ does not have Pe?czyński's property (u) and hence does not embed in any Banach space with an unconditional Schauder basis.