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.