# Doing scheme theory with Hausdorff spaces

Suppose I have an allergy to non-Hausdorff spaces but I really want to do, say, arithmetic geometry. I wonder if there is some perverse way I could develop scheme theory that would accomodate for my needs.

I am not sure what is the best way to formalize this question but here is an attempt. Does there exist a functor from schemes to the category of Hausdorff topological spaces/continuous maps that is one of the following

• full and faithful

P.S. I believe that there is a faithful functor from schemes to sets (take the union of the underlying set and all the stalks and do some power-set acrobatics) and there is a faithful functor from sets to Hausdorff spaces (discrete topology) so at least a faithful functor should exist.

• The constant functor from schemes to Hausdorff spaces that sends everything to the empty space is full and has a right adjoint which is the constant functor that sends everything to Spec $\mathbb{Z}$. Similarly, the constant functor with value the one-point space is full and has as left adjoint the constant functor with value the empty scheme. So I don't think "full + adjoint" is anywhere close to what you want. – Achim Krause Apr 10 at 23:00
• @StepanBanach Probably the condition you want is "conservative" (or possibly even "monadic" depending on how strict you are on what a forgetful functor is). However it is unclear to me why what you are trying to do is a sensible thing. Spectral spaces arise naturally in a vast array of places, and there's really no reason to try to avoid them. – Denis Nardin Apr 11 at 18:27
• @DenisNardin honestly, it was just a stupid argument with a friend (one professor said in an introductory topology course that "normal people don't have a need for non-Hausdorff spaces"). I wanted to figure out if algebraic geometers count as "normal people". – user137767 Apr 11 at 18:33
• Tim Campion's answer reminds me that you may want to check out Stone spaces of complete types. If my memory serves me, there is a situation remotely similar to the following: to a polynomial algebra one can associate a Stone space of complete types X (compact & Hausdorff) and the prime spectrum Y (compact and not Hausdorff), and a natural, continuous map X --> Y which is (almost?) a bijection. Oh, I see that Denis already mentioned and poo-pooed this idea. – Somatic Custard Apr 11 at 21:18
• You should have put the motivation for the question in the question so it was clearer where it came from. That professor's statement about "normal people" is simply ignorant. What would the professor think if a student who is used to metric spaces said "normal people don't have a need for topological spaces"? Or you could tell the professor that the word "normal" is really overused in math and we don't need yet another meaning for it. – KConrad Apr 12 at 6:54

Maybe a more fruitful place to look for a "Hausdorff theory of schemes" is to consider the boolean algebra generated by the Zariski-open sets (as a subalgebra of the boolean algebra of closed points of a scheme $$X$$). This is the boolean algebra of constructible sets, which is a totally disconnected Hausdorff topology. It's often considered in model-theoretic approaches to algebraic geometry, as far as I understand.