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

I found it very hard to find literature about smooth manifolds that are not required to be Hausdorff. In particular I'm interested in their local properties:

1.) Are the $r$-th order jet bundles $J^r(M,N)$ well defined for non Hausdorff manifolds? (Recall that this question includes the tangent bundle as it is $J^1(\mathbb{R},M)$ at least for Hausdorff ones.)

2.) What are the basic consequences on the 'usual' structures on smooth manifolds, if we drop the Hausdorff assertion? (Like no partition of the unity ...)

3.) Is there a book or some other comprehensive work on non Hausdorff SMOOTH manifolds?

share|cite|improve this question
Not that it would be necessary for it to be a good question, but I think it would be interesting for the readers if you provided some info about why / in which context you feel the need of relaxing the Hausdorff hypothesis in smooth manifold theory. – Qfwfq Aug 24 '11 at 21:54
I think the example with the most practical relevance is the leaf space of a foliation. Especially the 'arrows' space of a monodromy Lie-groupoid is a non Hausdorff manifold in many cases. – Mirco Aug 24 '11 at 23:36
(1) All the standard induced bundles make perfectly good sense for non-Hausdorff manifolds. I don't know what you mean by your question (2), but it sounds too non-specific for this forum. (3) Have you tried a search? – Ryan Budney Aug 24 '11 at 23:51
Re: 2) - I think it is too unfocussed a question, rather than too specialised. Regarding 1), it might be profitable to consider what happens in algebraic geometry, where Hausdorffness is not available: they deal with tangent bundles etc using maps from $k[x]/(x^2)$ (if you are working over a field $k$). Synthetic differential geometry might also be of use to you. In fact, I think SDG would the best way to approach this problem. – David Roberts Aug 25 '11 at 0:20
There's a standard construction of tangent bundles. The idea is that you can reconstruct your manifold as an adjunction of open subsets of Euclidean space (this works even for non-Hausdorff manifolds). So you can define the tangent bundle and any bundle construction provided you build the fibres in a functorial way from the tangent fibers. See for example Conlon's textbook. – Ryan Budney Aug 25 '11 at 17:34
up vote 1 down vote accepted

It doesn't contain any proofs, but Bourbaki's Variétés différentiables - Fascicule de résultats defines jet bundles (Section 12) without assuming that the underlying varieties are Hausdorff.

share|cite|improve this answer
Ok this a reference. Unfortunately it stays not in the realm of finite dimensional smooth manifolds. – Mirco Aug 25 '11 at 12:12

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.