MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## Fibred manifolds with boundary

A fibred manifold is a triple $(E,\pi,M)$ where $E$ and $M$ are manifolds and $\pi : E \rightarrow M$ is a surjective submersion. (Saunders, The Geometry of Jet bundles)

A special case of this is the fibre bundle which is a fibred manifold, where for each relatively open subset $U \subset M$ the space $\pi^{-1}(M)$ looks like (i.e. is diffeomorphic to) a product $U \times F$ for some smooth manifold $F$.

Even more special are linear bundles and, of course, the tangential bundle of a smooth manifold.

I do not know a generalization of these constructions to manifolds with boundary. For example, it seems intuitive that at a boundary point of a smooth manifold with boundary, we do not have a tangential space, but rather a tangential cone. Similarly one would adapt the more general classes of fibre bundles.

Unfortunately, this seems to be non-standard in differential geometry and differential topology, and while it seems natural to me to work with cones in that case, reinventing the wheel might be a waste of time. Do you know a good reference that settles the basic constructions and possible pitfalls for "fibred manifolds with boundary"?

-
 Usually you just demand that $\pi_{|\partial E}$ is a map from $\partial E$ to $M$ of which is a fibering of the boundary. At least, that's the typical usage one sees in most of topology. – Ryan Budney Dec 9 2011 at 0:02 So this is the "fibers are transverse to the boundary" case. – Ryan Budney Dec 9 2011 at 0:19 One can take doubling of $M$ and ask that the induced structure in the doubling is a fibred manifold. But in any case the def should depend on the application you have in mind. – Anton Petrunin Dec 9 2011 at 2:13