Harold pregunta qué condiciones en $f:M\to L$ y $g:N\to L$, ambos mapas suaves de colectores lisos, garantizan la existencia del producto de fibra $M \times_L N$.
Respuesta
¿Demasiados anuncios?
Chad Cooper
Puntos
131
El más popular es que ambos sean sumersiones (mapas cuyos diferenciales son surjetivos en cada punto). De manera más general, podría haber sumersiones en un submanifold que se cruce de forma limpia.
Se dice que dos submúltiples se intersecan limpiamente si su intersección es localmente isomórfica a dos subespacios vectoriales de intersección en cada punto de intersección. Esta es una generalización de la transversalidad.
