Summability and estimates for polynomials and multilinear mappings

In this paper we extend and generalize several known estimates for homogeneous polynomials and multilinear mappings on Banach spaces. Applying the theory of absolutely summing nonlinear mappings, we prove that estimates which are known for mappings on ?_p spaces in fact hold true for mappings on arbitrary Banach spaces.     

Bad normed spaces, convexity properties, separated sets

Some years ago, a parameter-denoted by A₁(X)-was defined in real Banach spaces. In the same setting, several years before, a notion called Q-convexity had been defined. Studying these two notions seems to be rather awkward and up until now this has not been done in deep.Here we indicate some properties and connections between these two parameters and some other related ones, in infinite-dimensional Banach spaces. We also consider another notion, a natural extension of Q-convexity, and we discuss the case when A₁(X) attains its maximum value. The spaces where this happens can be considered as ”bad” since they cannot have several properties which are usually considered as nice (like uniform non-squareness or P-convexity).     

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).     

Isometries between spaces of homogeneous polynomials

We derive Banach-Stone theorems for spaces of homogeneous polynomials. We show that every isometric isomorphism between the spaces of homogeneous approximable polynomials on real Banach spaces E and F is induced by an isometric isomorphism of E^′ onto F^′. With an additional geometric condition we obtain the analogous result in the complex case. Isometries between spaces of homogeneous integral polynomials and between the spaces of all n-homogeneous polynomials are also investigated.     

Polynomial numerical indices of Banach spaces with absolute norm

We study when a Banach space with absolute norm may have polynomial numerical indices equal to one. In the real case, we show that a Banach space X with absolute norm, which has the Radon-Nikodým property or is Asplund, satisfies n⁽²⁾(X)<1 unless it is one-dimensional. In the complex case, we show that the only Banach spaces X with absolute norm and the Radon-Nikodým property which satisfy n⁽²⁾(X)=1 are the spaces . Also, the only Asplund complex space X with absolute norm which satisfies n⁽²⁾(X)=1 is c₀(Λ).     

Average locally uniform rotundity and a class of nonlinear maps

We consider some topological characterizations of dual Banach spaces that admit an equivalent dual average locally uniformly rotund norm and provide a criterion for such renorming which involves the class of σ-slicely continuous maps.     

On interpolation of bilinear operators

In this paper we study interpolation of bilinear operators between products of Banach spaces generated by abstract methods of interpolation in the sense of Aronszajn and Gagliardo. A variant of bilinear interpolation theorem is proved for bilinear operators from corresponding weighted c₀ spaces into Banach spaces of non-trivial the periodic Fourier cotype. This result is then extended to the spaces generated by the well-known minimal and maximal methods of interpolation determined by quasi-concave functions. In the case when a maximal construction is generated by Hilbert spaces, we obtain a general variant of bilinear interpolation theorem. Combining this result with the abstract Grothendieck theorem of Pisier yields further results. The results are applied in deriving a bilinear interpolation theorem for Calderón-Lozanovsky, for Orlicz spaces and an embedding interpolation formula for (E,p)-summing operators.     

Lindelöf type of generalization of separability in Banach spaces

We will introduce the countable separation property (CSP) of Banach spaces X, which is defined as follows: X has CSP if each family E of closed linear subspaces of X whose intersection is the zero space contains a countable subfamily E₀ with the same intersection. All separable Banach spaces have CSP and plenty of examples of non-separable CSP spaces are provided. Connections of CSP with Marku?evi?-bases, Corson property and related geometric issues are discussed.     

Vector-valued multiparameter singular integrals and pseudodifferential operators

We consider multiparameter singular integrals and pseudodifferential operators acting on mixed-norm Bochner spaces Lp₁,…,pN(Rn₁×?×RnN;X) where X is a UMD Banach space satisfying Pisier's property (α). These geometric conditions are shown to be necessary. We obtain a vector-valued version of a result by R. Fefferman and Stein, also providing a new, inductive proof of the original scalar-valued theorem. Then we extend a result of Bourgain on singular integrals in UMD spaces with an unconditional basis to a multiparameter situation. Finally we carry over a result of Yamazaki on pseudodifferential operators to the Bochner space setting, improving the known vector-valued results even in the one-parameter case.     

A Boolean algebra and a Banach space obtained by push-out iteration

Under the assumption that c is a regular cardinal, we prove the existence and uniqueness of a Boolean algebra B of size c defined by sharing the main structural properties that P(ω)/fin has under CH and in the ℵ₂-Cohen model. We prove a similar result in the category of Banach spaces.     

Multiplication operators on vector measure Orlicz spaces

Let m be a countably additive vector measure with values in a real Banach space X, and let L¹(m) and L_w(m) be the spaces of functions which are, correspondingly, integrable and weakly integrable with respect to m. Given a Young's function Φ, we consider the vector measure Orlicz spaces L^Φ(m) and L^Φ_w(m) and establish that the Banach space of multiplication operators going from W = L^Φ(m) into Y = L¹ (m) is M = L^Ψ_w (m) with an equivalent norm; here Ψ is the conjugated Young's function for Φ. We also prove that when W = L^Φ_w(m), Y = L¹(m) we have M = L^Ψ_w (m), and when W = L^Φ_w(m), Y = L¹(m) we have M = L^Ψ (m).     

Norm Hilbert spaces over Krull valued fields

Norm Hilbert spaces (NHS) are defined as Banach spaces over valued fields (see 1.4) for which each closed subspace has a norm-orthogonal complement. For fields with a rank 1 valuation, these spaces were characterized already in [10, 5.13, 5.16], where it was proved that infinite-dimensional NHS exist only if the valuation of K is discrete. The first discussion of the case of (Krall) valued fields appeared in [1] and [3]. In this paper we continue and expand this work focussing on the most interesting cases, not covered before. If K is not metrizable then each NHS is finite-dimensional (Corollary 3.2.2), but otherwise there do exist infinite-dimensional NHS; they are completely described in 3.2.5. Our main result is Theorem 3.2.1, where various characterizations of NHS of different nature are presented. Typical results are that NHS are of countable type, that they have orthogonal bases, and that no subspace is linearly homeomorphic to c₀.     

Characterizations of new Cohen summing bilinear operators

We prove two characterizations of new Cohen summing bilinear operators. The first one is: Let X, Y and Z be Banach spaces, 1 < p < ∞, V : X × Y → Z a bounded linear operator and n ≥ 2 a natural number. Then V is new Cohen p-summing if and only if for all Banach spaces X₁,?…?, X_n and all p-summing operators U : X₁ × · · · × X_n → X, the operator V ? (U, I_Y) : X₁ × · · · × X_n × Y → Z is -summing. The second result is: Let H be a Hilbert space,, Y, Z Banach spaces and V : H × Y → Z a bounded bilinear operator and 1 < p < ∞. Then V is new Cohen p-summing if and only if for all Banach spaces E and all p-summing operators U : E → H, the operator V ? (U, I_Y) is (p, p*)-dominated.     

Uniqueness of complex structure and real hereditarily indecomposable Banach spaces

There exists a real hereditarily indecomposable Banach space X=X(C) (respectively X=X(H)) such that the algebra L(X)/S(X) is isomorphic to C (respectively to the quaternionic division algebra H).Up to isomorphism, X(C) has exactly two complex structures, which are conjugate, totally incomparable, and both hereditarily indecomposable. So there exist two Banach spaces which are isometric as real spaces but totally incomparable as complex spaces. This extends results of J. Bourgain and S. Szarek [J. Bourgain, Real isomorphic complex Banach spaces need not be complex isomorphic, Proc. Amer. Math. Soc. 96 (2) (1986) 221-226; S. Szarek, On the existence and uniqueness of complex structure and spaces with “few” operators, Trans. Amer. Math. Soc. 293 (1) (1986) 339-353; S. Szarek, A superreflexive Banach space which does not admit complex structure, Proc. Amer. Math. Soc. 97 (3) (1986) 437-444], and proves that a theorem of G. Godefroy and N.J. Kalton [G. Godefroy, N.J. Kalton, Lipschitz-free Banach spaces, Studia Math. 159 (1) (2003) 121-141] about isometric embeddings of separable real Banach spaces does not extend to the complex case.The quaternionic example X(H), on the other hand, has unique complex structure up to isomorphism; other examples with a unique complex structure are produced, including a space with an unconditional basis and non-isomorphic to l₂. This answers a question of S. Szarek in [S. Szarek, A superreflexive Banach space which does not admit complex structure, Proc. Amer. Math. Soc. 97 (3) (1986) 437-444].     

Genericity and amalgamation of classes of Banach spaces

We study universality problems in Banach space theory. We show that if A is an analytic class, in the Effros-Borel structure of subspaces of C([0,1]), of non-universal separable Banach spaces, then there exists a non-universal separable Banach space Y, with a Schauder basis, that contains isomorphs of each member of A with the bounded approximation property. The proof is based on the amalgamation technique of a class C of separable Banach spaces, introduced in the paper. We show, among others, that there exists a separable Banach space R not containing L¹(0,1) such that the indices β and rND are unbounded on the set of Baire-1 elements of the ball of the double dual R∗∗ of R. This answers two questions of H.P. Rosenthal.We also introduce the concept of a strongly bounded class of separable Banach spaces. A class C of separable Banach spaces is strongly bounded if for every analytic subset A of C there exists Y∈C that contains all members of A up to isomorphism. We show that several natural classes of separable Banach spaces are strongly bounded, among them the class of non-universal spaces with a Schauder basis, the class of reflexive spaces with a Schauder basis, the class of spaces with a shrinking Schauder basis and the class of spaces with Schauder basis not containing a minimal Banach space X.     

Computability of finite-dimensional linear subspaces and best approximation

We discuss computability properties of the set P_G(x) of elements of best approximation of some point x∈X by elements of G⊆X in computable Banach spaces X. It turns out that for a general closed set G, given by its distance function, we can only obtain negative information about P_G(x) as a closed set. In the case that G is finite-dimensional, one can compute negative information on P_G(x) as a compact set. This implies that one can compute the point in P_G(x) whenever it is uniquely determined. This is also possible for a wider class of subsets G, given that one imposes additionally convexity properties on the space. If the Banach space X is computably uniformly convex and G is convex, then one can compute the uniquely determined point in P_G(x). We also discuss representations of finite-dimensional subspaces of Banach spaces and we show that a basis representation contains the same information as the representation via distance functions enriched by the dimension. Finally, we study computability properties of the dimension and the codimension map and we show that for finite-dimensional spaces X the dimension is computable, given the distance function of the subspace.     

The lattice of closed ideals in the Banach algebra of operators on certain Banach spaces

Very few Banach spaces E are known for which the lattice of closed ideals in the Banach algebra of all (bounded, linear) operators on E is fully understood. Indeed, up to now the only such Banach spaces are, up to isomorphism, Hilbert spaces and the sequence spaces c₀ and ?_p for 1?p<∞. We add a new member to this family by showing that there are exactly four closed ideals in for the Banach space E?(⊕?₂ⁿ)_c0, that is, E is the c₀-direct sum of the finite-dimensional Hilbert spaces ?₂¹,?₂²,…,?₂ⁿ,… .     

Characterization of reflexivity by equivalent renorming

A new rotundity property of Day's norm on c₀(Γ) is introduced. This property provides in particular a renorming characterization of the class of all reflexive Banach spaces.     

Spaces of p-integrable Functions with Respect to a Vector Measure

We study several properties of the Banach lattices L^p (m) and L^p_w (m) of p-integrable scalar functions and weakly p-integrable scalar functions with respect to a countably additive vector measure m. The relation between these two spaces plays a fundamental role in our analysis. This research has been partially supported by La Consejería de Educatión y Ciencia de la Junta de Andalucía.