Skip to main content
edited title
Link
Qfwfq
  • 23.4k
  • 14
  • 122
  • 225

Differential geometry of without the Hausdorff condition or the second axiom of countability

Source Link
Bilateral
  • 2.8k
  • 22
  • 45

Differential geometry of without the Hausdorff condition or the second axiom of countability

I would like to know how the standard differential geometry of manifolds would change if we didn't assume the Hausdorff condition and/or the second axiom of countability. There are some simple things that can be said at a first glance:

  • Manifolds would not necessarily admit partitions of unity, so not every Manifold would admit a Riemannian metric.

  • A Haussdorf manifold admitting a connection would be automatically second-countable.

  • A Haussdorf manifold admitting a Lorentzian metric would be automatically paracompact.

  • Manifolds without these two assumptions wouldn't necessarily have the homotopy type of a CW-complex.

Since the question is maybe too broad, we can focus for example on the following especific issue:

How Berger's classification of manifolds of special holonomy would change without these two assumptions?

One motivation to ask this question is that manifolds describing space-times needn't to be Haussdorf, or at least physicists have studied non-Haussdorf solutions to General Relativity, see for example "The large scale structure of spacetime" of Hawking and Ellis.

Thanks.