MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Harold asks what conditions on $f:M\to L$ and $g:N\to L$, both smooth maps of smooth manifolds, ensures the existence of the fibre product $M \times_L N$.

share|cite|improve this question

It suffices for one of the two maps to be a submersion for the fibre product to exist. In fact, if $f$ and $g$ are maps from $X$ to $Y$, the fibre product is the inverse image of the diagonal in $Y \times Y$ under the map $f \times g : X\times X \to Y \times Y$. So a sufficient condition to have a nice fibre product is that $f \times g$ be transverse to the diagonal.

The next best thing to transverse intersection is clean intersection, as Ben has pointed out. Another definition of clean intersection of $A$ and $B$ in $X$ (more easily checked than the one about the local normal form) is that the intersection of $A$ and $B$ is a submanifold $C$, and that the tangent bundle to $C$ is the intersection of the tangent bundles to $A$ and $B$.

share|cite|improve this answer

The most popular is that both be submersions (maps whose differentials are surjective at each point). More generally, you could be submersions onto cleanly intersecting submanifold.

Two submanifolds are said to intersect cleanly if their intersection is locally isomorphic to two intersecting vector subspaces at each point of intersection. This is a generalization of transverse.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.