Polynomial reflexivity in Banach spaces

We ask when the space ofN-homogeneous analytic polynomials on a Banach space is reflexive. This turns out to be related to whether polynomials are weakly sequentially continuous, and to the geometry of spreading models. For example, if these spaces are reflexive for allN, no quotient of the dual space may have a spreading model with an upperq-estimate, and every bounded holomorphic function on the unit ball has a Taylor series made up of weakly sequentially continuous polynomials (we assume the approximation property). Alencar, Aron and Dineen [AAD] gave the first example of some properties of a polynomially reflexive space (usingT*, the original Tsirelson space); we show that these properties and others are shared by all polynomially reflexive spaces. This paper forms a portion of the Ph. D. dissertation of the author, under the supervision of W. B. Johnson.     

On the polynomial Lindenstrauss theorem

Under certain hypotheses on the Banach space X, we show that the set of N-homogeneous polynomials from X to any dual space, whose Aron–Berner extensions are norm attaining, is dense in the space of all continuous N-homogeneous polynomials. To this end we prove an integral formula for the duality between tensor products and polynomials. We also exhibit examples of Lorentz sequence spaces for which there is no polynomial Bishop–Phelps theorem, but our results apply. Finally we address quantitative versions, in the sense of Bollobás, of these results.     

Characterization and properties of extreme operators intoC(Y)

LetE be a real (or complex) Banach space,Y a compact Hausdorff space, andC(Y) the space of real (or complex) valued continuous functions onY. IfT is an extreme point in the unit ball of bounded linear operators fromE intoC(Y), then it is shown thatT ^* maps (the natural imbedding inC(Y) ^* of)Y into the weak ^*-closure of extS(E ^*), provided thatY is extremally disconnected, orE=C(X), whereX is a dispersed compact Hausdorff space.     

Weakly continuous mappings on Banach spaces

It is shown that every n-homogeneous continuous polynomial on a Banach space E which is weakly continuous on the unit ball of E is weakly uniformly continuous on the unit ball of E. Applications of the result to spaces of polynomials and holomorphic mappings on E are given.     

Exposed 2-homogeneous polynomials on Hilbert spaces

We show that every extreme point of the unit ball of 2-homogene- ous polynomials on a separable real Hilbert space is its exposed point and that the unit ball of 2-homogeneous polynomials on a non-separable real Hilbert space contains no exposed points. We also show that the unit ball of 2-homogeneous polynomials on any infinite dimensional real Hilbert space contains no strongly exposed points.

     

James' Theorem Fails for Starlike Bodies

Starlike bodies are interesting in nonlinear functional analysis because they are strongly related to bump functions and to n-homogeneous polynomials on Banach spaces, and their geometrical properties are thus worth studying. In this paper we deal with the question whether James' theorem on the characterization of reflexivity holds for (smooth) starlike bodies, and we establish that a feeble form of this result is trivially true for starlike bodies in nonreflexive Banach spaces, but a reasonable strong version of James' theorem for starlike bodies is never true, even in the smooth case. We also study the related question as to how large the set of gradients of a bump function can be, and among other results we obtain the following new characterization of smoothness in Banach spaces: a Banach space X has a C¹ Lipschitz bump function if and only if there exists another C¹ smooth Lipschitz bump function whose set of gradients contains the unit ball of the dual space X*. This result might also be relevant to the problem of finding an Asplund space with no smooth bump functions.     

Weakly open sets in the unit ball of some Banach spaces and the centralizer

We show that every Banach space X whose centralizer is infinite-dimensional satisfies that every non-empty weakly open set in BY has diameter 2, where (N-fold symmetric projective tensor product of X, endowed with the symmetric projective norm), for every natural number N. We provide examples where the above conclusion holds that includes some spaces of operators and infinite-dimensional C^∗-algebras. We also prove that every non-empty weak^∗ open set in the unit ball of the space of N-homogeneous and integral polynomials on X has diameter two, for every natural number N, whenever the Cunningham algebra of X is infinite-dimensional. Here we consider the space of N-homogeneous integral polynomials as the dual of the space (N-fold symmetric injective tensor product of X, endowed with the symmetric injective norm). For instance, every infinite-dimensional L₁(μ) satisfies that its Cunningham algebra is infinite-dimensional. We obtain the same result for every non-reflexive L-embedded space, and so for every predual of an infinite-dimensional von Neumann algebra.     

Slices in the unit ball of the symmetric tensor product of $\mathcal{C}(K)$ and L1(μ)

We prove that for the cases (K infinite) and X=L ₁(μ) (μ σ-finite and atomless) it holds that every slice of the unit ball of the N-fold symmetric tensor product of X has diameter two. In fact, we prove more general results for weak neighborhoods relative to the unit ball. As a consequence, we deduce that the spaces of N-homogeneous polynomials on those classical Banach spaces have no points of Fréchet differentiability. Dedicated to Angel Rodríguez Palacios on the occasion of his 60th birthday.     

Metric Projections and Polyhedral Spaces

We prove that if X is a Banach space and Y is a proximinal subspace of finite codimension in X such that the finite dimensional annihilator of Y is polyhedral, then the metric projection from X onto Y is lower Hausdorff semi continuous. In particular this implies that if X and Y are as above, with the unit sphere of the annihilator space of Y contained in the set of quasi-polyhedral points of X ^*, then the metric projection onto Y is Hausdorff metric continuous. Partially supported under project DST/INT/US-NSF/RPO/141/2003.     

Extreme 2-homogeneous polynomials on Hilbert spaces

Let H be a (real or complex) Hilbert space. We characterize the extreme points of the unit ball of the space of 2-homogeneous polynomials on H. We find the exact value of the λ-function for P(² H) and thus we show that its unit ball is the norm closed convex hull of its extreme points. We also describe topological properties of the set of extreme points, making connections between the set of extreme points and Grassmanian manifolds.     

Isometries and almost isometries between spaces of continuous functions

We characterize the isometries fromC(X) intoC(Y) whereX andY are compact metric spaces. We give necessary and sufficient conditions on an isometry from a subset ofC(X) intoC(Y) to have an extension to the whole space. It is also shown that an almost isometry from the unit ball ofC(X) into the unit ball ofC(Y) is near to an isometry.     

Absolutely summing polynomials on Banach spaces with unconditional basis

If X is a Banach space with a normalized unconditional Schauder basis (xn), we define whenever and obtain estimates for μX,(xn) when every continuous m-homogeneous polynomial from X into Y is absolutely (q,1) summing. Our results provide new information on coincidence situations between the space of absolutely summing m-homogeneous polynomials and the whole space of continuous m-homogeneous polynomials. In particular, when m=1, we obtain new contributions to the linear theory of absolutely summing operators.     

On factors ofC([0, 1]) with non-separable dual

LetC denote the Banach space of scalar-valued continuous functions defined on the closed unit interval. It is proved that ifX is a Banach space andT:C→X is a bounded linear operator withT ^* X ^* non-separable, then there is a subspaceY ofC, isometric toC, such thatT|Y is an isomorphism. An immediate consequence of this and a result of A. Pelczynski, is that every complemented subspace ofC with non-separable dual is isomorphic (linearly homeomorphic) toC. The research for this paper was partially supported by NSF-GP-30798X. An erratum to this article is available at .     

Duality and Reflexivity of Spaces of Approximable Polynomials on Locally Convex Spaces

 We develop a duality theory for spaces of approximable n-homogeneous polynomials on locally convex spaces, generalising results previously obtained for Banach spaces. For E a Fréchet space with its dual having the approximation property and with E′ _b locally Asplund we show that the space of n-homogeneous polynomials on (E′ _b )′ _b is the inductive dual of the space of boundedly weakly continuous n-homogeneous polynomials on E. We show that when E is a reflexive Fréchet space, the space of n-homogeneous polynomials on E is reflexive if and only if every n-homogeneous polynomial on E is boundedly weakly continuous. (Received 24 March 1999; in final form 14 February 2000)     

Duality and Reflexivity of Spaces of Approximable Polynomials on Locally Convex Spaces

 We develop a duality theory for spaces of approximable n-homogeneous polynomials on locally convex spaces, generalising results previously obtained for Banach spaces. For E a Fréchet space with its dual having the approximation property and with E′ _b locally Asplund we show that the space of n-homogeneous polynomials on (E′ _b )′ _b is the inductive dual of the space of boundedly weakly continuous n-homogeneous polynomials on E. We show that when E is a reflexive Fréchet space, the space of n-homogeneous polynomials on E is reflexive if and only if every n-homogeneous polynomial on E is boundedly weakly continuous.     

Uniqueness of extensions of homogeneous polynomials on c0-sum of Hilbert spaces

We study the uniqueness of norm-preserving extension of n-homogeneous polynomials on X, where X is a c₀-sum of Hilbert spaces. We show that there exists a unique norm-preserving extension for norm-attaining 2-homogeneous polynomials on X to X″, but this result fails for homogeneous polynomials of degree greater than 2.     

Banach function subspaces of L of a vector measure and related Orlicz spaces

Given a vector measure ν with values in a Banach space X, we consider the space L¹(ν) of real functions which are integrable with respect to ν. We prove that every order continuous Banach function space Y continuously contained in L¹(ν) is generated via a certain positive map related to ν and defined on X* x M, where X* is the dual space of X and M the space of measurable functions. This procedure provides a way of defining Orlicz spaces with respect to the vector measure ν.     

Banach Spaces Whose Algebras of Operators are Unitary: A Holomorphic Approach

An element u of a norm-unital Banach algebra A is said to beunitary if u is invertible in A and satisfies ||u|| = ||u^–1||= 1. The norm-unital Banach algebra A is called unitary if theconvex hull of the set of its unitary elements is norm-densein the closed unit ball of A. If X is a complex Hilbert space,then the algebra BL(X) of all bounded linear operators on Xis unitary by the Russo–Dye theorem. The question of whetherthis property characterizes complex Hilbert spaces among complexBanach spaces seems to be open. Some partial affirmative answersto this question are proved here. In particular, a complex Banachspace X is a Hilbert space if (and only if) BL(X) is unitaryand, for Y equal to X, X* or X** there exists a biholomorphicautomorphism of the open unit ball of Y that cannot be extendedto a surjective linear isometry on Y. 2000 Mathematics SubjectClassification 46B04, 46B10, 46B20.     

The Grothendieck property for injective tensor products of Banach spaces

Let X be a Banach space with the Grothendieck property, Y a reflexive Banach space, and let X ⊗̌_ɛ Y be the injective tensor product of X and Y.

The Choquet integral representation in the affine vector-valued case

LetX be any compact convex subset of a locally convex Hausdorff space andE be a complex Banach space. We denote byA(X, E) the space of all continuous and affineE-valued functions defined onX. In this paper we prove thatX is a Choquet simplex if and only if the dual ofA(X, E) is isometrically isomorphic by a selection map toM _m (X, E*), the space ofE*-valued,w*-regular boundary measures onX. This extends and strengthens a result of G. M. Ustinov. To do this we show that for any compact convex setX, each element of the dual ofA(X, E) can be represented by a measure inM _m (X, E*) with the same norm, and this representation is unique if and only ifX is a Choquet simplex. We also prove that ifX is metrizable andE is separable then there exists a selection map from the unit ball of the dual ofA(X, E) into the unit ball ofM _m (X, E*) which is weak* to weak*-Borel measurable.This work will constitute a portion of the author's Ph.D. Thesis at the University of Illinois.