Tensor products of measurable Banach bundles

Abstract

We study injective and projective tensor products of measurable Banach bundles. More precisely, given two separable measurable Banach bundles ${\bf E}$, ${\bf F}$ defined over a probability space $({\rm X},Σ,\mathfrak m)$, we construct two measurable Banach bundles ${\bf E}\hat\otimes_\varepsilon{\bf F}$ and ${\bf E}\hat\otimes_π{\bf F}$ over $({\rm X},Σ,\mathfrak m)$ such that $Γ({\bf E}\hat\otimes_\varepsilon{\bf F})\congΓ({\bf E})\hat\otimes_\varepsilonΓ({\bf F})$ and $Γ({\bf E}\hat\otimes_π{\bf F})\congΓ({\bf E})\hat\otimes_πΓ({\bf F})$, where ${\bf G}\mapstoΓ({\bf G})$ is the map assigning to a measurable Banach bundle ${\bf G}$ its space of $L^\infty(\mathfrak m)$-sections, while $Γ({\bf E})\hat\otimes_\varepsilonΓ({\bf F})$ and $Γ({\bf E})\hat\otimes_πΓ({\bf F})$ denote the injective and projective tensor products, respectively, of $Γ({\bf E})$ and $Γ({\bf F})$ in the sense of $L^\infty(\mathfrak m)$-Banach $L^\infty(\mathfrak m)$-modules. In combination with previous results, this provides a fiberwise representation of the injective tensor product $\mathscr M\hat\otimes_\varepsilon\mathscr N$ and the projective tensor product $\mathscr M\hat\otimes_π\mathscr N$ of two countably-generated $L^\infty(\mathfrak m)$-Banach $L^\infty(\mathfrak m)$-modules $\mathscr M$, $\mathscr N$.