Sea $M, N$ sean variedades lisas (o topológicas, o algebraicas, etc.) y sea $E \to M$ y $F \to N$ sean dos haces vectoriales lisos. Sea $p : M \times N \to M$ y $q : M \times N \to N$ sean las proyecciones naturales.
¿El haz vectorial $E \boxtimes F \to M \times N$ definido como $p^* E \otimes q^* F$ ¿tiene nombre?
Berline, Getzler y Vergne, por ejemplo, lo introducen en la página 74 de "Heat Kernels and Dirac Operators", pero lo utilizan a lo largo de todo el libro sin darle ningún nombre, así que quizá no lo tenga.
