Extending polynomials in maximal and minimal ideals

Given an homogeneous polynomial on a Banach space $E$ belonging to some maximal or minimal polynomial ideal, we consider its iterated extension to an ultrapower of $E$ and prove that this extension remains in the ideal and has the same ideal norm. As a consequence, we show that the Aron-Berner extension is a well defined isometry for any maximal or minimal ideal of homogeneous polynomials. This allow us to obtain symmetric versions of some basic results of the metric theory of tensor products.
Comment: 13 pages