MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Let $X$ be some space, I have basically 2 questions:

1 - Are sheaves on paracompact but not Hausdorff spaces acyclic? I've been doing some reading and some authors say that soft sheaves on paracompact spaces are acyclic, but a lot of people require for paracompact spaces to be Hausdorff too, so I don't know if this works on non-Hausdorff paracompact spaces, and...

2 - In case soft sheaves are acyclic on non-Hausdorff paracompact spaces. Why don't I define the trivial topology on $X$? (Spaces with the trivial topology are paracompact) That way aren't all the sections in the sheaf trivially global sections? I know it's kind of dumb but wouldn't that automatically make the sheaves soft?

share|cite|improve this question
Richard -- what is a paracompact but non-Hausdorff space? – algori Feb 5 '12 at 2:47
Well I was doing some reading and a space with the trivial topology is not Hausdorff, but is paracompact, hence the question, I read that some people require that paracompact spaces be Hausdorff, but some don't, so what gives? @algori – Richard Jennings Feb 5 '12 at 2:57
Richard -- the Hausdorff condition is usually part of the definition of a paracompact space. If you want to use a different version, that's fine, but then could you please specify the definition you are using. – algori Feb 5 '12 at 3:11
Here's a shot at question 2, assuming by "trivial topology" you mean the indiscrete topology. In that case, you only have one (non-empty) open set, so you're right that all sections are global sections. But that means that a sheaf is no different from a group (which you assign to the non-empty open set). In this way, the sheaf theory is just the same as the sheaf theory over a point. And then indeed every sheaf is soft and acyclic. But I don't see how this would relate back to every other non-Hausdorff paracompact space, whatever we all decide they should be. – Greg Friedman Feb 5 '12 at 3:32
@Greg Friedman Can you elaborate more on what you're saying? I'm studying up on this and still learning, thanks – Richard Jennings Mar 2 '12 at 20:18

Your Answer


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

Browse other questions tagged or ask your own question.