Extensions of homogeneous polynomials on c 0(l 2 i )

We show that a 2-homogeneous polynomial on the complex Banach space c ₀ l ₂ ⁱ ) is norm attaining if and only if it is finite (i.e, depends only on finite coordinates). As the consequence, we show that there exists a unique norm-preserving extension for norm-attaining 2-homogeneous polynomials on c ₀(l ₂ ⁱ ). The second author was supported by FAPESP, Brazil, Research Grant 01/04220-8.     

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.     

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)     

A variational approach to norm attainment of some operators and polynomials

If X is an Asplund space, then every uniformly continuous function on Bx＊ which is holomorphic on the open unit ball, can be perturbed by a w＊ continuous and homogeneous polynomial on X＊ to obtain a norm attaining function on the dual unit ball. This is a consequence of a version of Bourgain-Stegall＇s variational principle. We also show that the set of N-homogeneous polynomials between two Banach spaces X and Y whose transposes attain their norms is dense in the corresponding space of N-homogeneous polynomials. In the case when Y is the space of Radon measures on a compact K, this result can be strengthened.     

Zeros of Polynomials on Banach Spaces: The Real Story

Let E be a real Banach space. We show that either E admits a positive definite 2-homogeneous polynomial or every 2-homogeneous polynomial on E has an infinite dimensional subspace on which it is identically zero. Under addition assumptions, we show that such subspaces are non-separable. We examine analogous results for nuclear and absolutely (1,2)-summing 2-homogeneous polynomials and give necessary and sufficient conditions on a compact set K so that C(K) admits a positive definite 2-homogeneous polynomial or a positive definite nuclear 2-homogeneous polynomial.     

Remarks on an inequality of Hardy and Littlewood

An inequality of Hardy and Littlewood for m-homogeneous polynomials on ?_p spaces is valid for p > m. In this note, among other results, we present an optimal version of this inequality for the case p = m and obtain the optimal constant, when restricted to the case of 2-homogeneous polynomials on ?₂(?2). In an Appendix we justify why, curiously, the optimal exponents of some Hardy-Littlewood type inequalities do not behave smoothly.     

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.     

Numerically hypercyclic polynomials

In this paper, we show that every complex Banach space X with dimension at least 2 supports a numerically hypercyclic d-homogeneous polynomial P for every ${d\in \mathbb{N}}$ . Moreover, if X is infinite-dimensional, then one can find hypercyclic non-homogeneous polynomials of arbitrary degree which are at the same time numerically hypercyclic. We prove that weighted shift polynomials cannot be numerically hypercyclic neither on c ₀ nor on ? _p for 1??? p?<???. In contrast, we characterize numerically hypercyclic weighted shift polynomials on ?_??.     

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.     

Every Banach ideal of polynomials is compatible with an operator ideal

We show that for each Banach ideal of homogeneous polynomials, there exists a (necessarily unique) Banach operator ideal compatible with it. Analogously, we prove that any ideal of n-homogeneous polynomials belongs to a coherent sequence of ideals of k-homogeneous polynomials.     

<Emphasis Type="Italic">E′</Emphasis> and its relation with vector-valued functions on<Emphasis Type="Italic">E</Emphasis>

We study the relation between different spaces of vector-valued polynomials and analytic functions over dual-isomorphic Banach spaces. Under conditions of regularity onE andF, we show that the spaces ofX-valuedn-homogeneous polynomials and analytic functions of bounded type onE andF are isomorphic wheneverX is a dual space. Also, we prove that many of the usual subspaces of polynomials and analytic functions onE andF are isomorphic without conditions on the involved spaces.     

Banach Spaces Admitting a Separating Polynomial and L P Spaces

 We prove that in a Banach space admitting a separating polynomial, each weakly null normalized sequence has a subsequence which is equivalent to the usual basis of some , p an even integer. We show that for each even integer p, the Schatten class admits a separating polynomial. For a space with a basis admitting a 4-homogeneous separating polynomial, we relate the unconditionality of the basis with the existence of certain type of polynomials defined in terms of infinite symmetric matrices. We find relations between the properties of the entries of these matrices and the geometrical structure of the space. Finally we study the existence of convex 4-homogeneous separating polynomials.     

On the recognition problem of quasi-homogeneous locally nilpotent derivations in dimension three

We give a criterion to decide if a given w-homogeneous derivation on A?k[X₁,X₂,X₃] is locally nilpotent. We deduce an algorithm which decides if a k-subalgebra of A, which is finitely generated by w-homogeneous elements, is the kernel of some locally nilpotent derivation.     

<Emphasis Type="Italic">A</Emphasis><Subscript>1</Subscript> weights and <Emphasis Type="Italic">d</Emphasis>-homogeneous measures on ahlfors <Emphasis Type="Italic">d</Emphasis>-regular space

Let X be an Ahlfors d-regular space and mad-regular measure on X . We prove that a measure μ on X is d-homogeneous if and only if μ is mutually absolutely continuous with respect to m and the derivative Dmμ(x) is an A1 weight. Also, we show by an example that every Ahlfors d-regular space carries a measure which is d-homogeneous but not d-regular.     

Uniformity over primes of tamely ramified splittings

We fix a prime p and let f(X) vary over all monic integer polynomials of fixed degree n. Given any possible shape of a tamely ramified splitting of p in an extension of degree n, we prove that there exists a rational function φ(X)∈ℚ(X) such that the density of the monic integer polynomials f(X) for which the splitting of p has the given shape in ℚ[X]/f(X) is φ(p) (here reducible polynomials can be neglected). As a corollary, we prove that, for p≥n, the density of irreducible monic polynomials of degree n in ℤ _p [X] is the value at p of a rational function φ _n (X)∈ℚ(X). All rational functions involved are effectively computable. Received: 15 September 1998 / Revised version: 21 October 1999     

Extensions of 2-homogeneous polynomials on <Emphasis Type="Italic">c</Emphasis><Subscript>0</Subscript>

We prove that every 2-homogeneous polynomial on the complex co has a unique normpreserving extension to its bidual l∞.     

Extension of vector-valued integral polynomials

We study the extendibility of integral vector-valued polynomials on Banach spaces. We prove that an X-valued Pietsch-integral polynomial on E extends to an X-valued Pietsch-integral polynomial on any space F containing E, with the same integral norm. This is not the case for Grothendieck-integral polynomials: they do not always extend to X-valued Grothendieck-integral polynomials. However, they are extendible to X-valued polynomials. The Aron-Berner extension of an integral polynomial is also studied. A canonical integral representation is given for domains not containing ?₁.     

Zero-sets of complex homogeneous polynomials

In this paper we study the zero-sets of continuous n-homogeneous polynomials on complex nonseparable Banach spaces. We prove that the zero-set of any complex n-homogeneous polynomial P is a subspace if, and only if, there is a functional ? such that P(x)=? (x)ⁿ for every x. We give sufficient conditions on the Banach space to ensure that every continuous 2-homogeneous polynomial is identically zero on a nonseparable subspace. Also, we prove that, in the 2-homogeneous case, one of the following three properties holds: P ^?1(0) is a subspace; P ^?1(0) is the union of two different subspaces; and P ^?1(0) is the union of infinitely many different subspaces.     

Gale duality and homogeneous toric varieties

A non-degenerate toric variety X is called S-homogeneous if the subgroup of the automorphism group Aut(X) generated by root subgroups acts on X transitively. We prove that maximal S-homogeneous toric varieties are in bijection with pairs (P,𝒜), where P is an abelian group and 𝒜 is a finite collection of elements in P such that 𝒜 generates the group P and for every a∈𝒜 the element a is contained in the semigroup generated by 𝒜?{a}. We show that any non-degenerate homogeneous toric variety is a big open toric subset of a maximal S-homogeneous toric variety. In particular, every homogeneous toric variety is quasiprojective. We conjecture that any non-degenerate homogeneous toric variety is S-homogeneous.     

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.