Skip to main content
reformatted for legibility; spelling corrections and minor tweaks to grammar
Source Link
Yemon Choi
  • 25.8k
  • 9
  • 69
  • 156

At the beginning I think that I should warn everybody reading this post: I don't know much about algebraic geometry so most of specialists in this subject may seensee my question as ignorant. To be honest, I made several attempts to get convinced about algebraic geometry but unfortunately, still I'm not convinced. 


As far I understood one on the main themes in algebraic geometry is to pursue as far as it is possible the duality between geometric objects and algebras: most basic result is the Hilbert Nullstellensatz but the theory goes much further-to the definition of general schemes due to Grothendieck. The notion of space has evolved through the history of mathematics but as far as some topological space was around, the minimal requirement (at least for me) was that the space should be Hausdorff. This is quite natural due to the following characterisation: each net has at most one limit. Moreover, when one one is interested in compact or locally compact spaces, the assumpion of being Hausdorff automatically implies better behaviour (normality or complete regularity resp.). 

Finally, there is the theory (which is close to my heart) of $C^*$-algebras: in this theory thea fundamental result is the Gelfand-Najmark theorem which establishes the duality between compact Hausdorff spaces and commutative unital $C^*$-algebras which. This is another algebra-geometry duality. This result alows and allows one to think of the theory of general $C^*$-algebras as the noncommutative topology: but there are plenty of situations when one havehas a "patological""pathological" topological space (with some non Hausdorff topology) which is hard to deal with. Then one switches to the realm of algebras and tries to say something about this space using the associated algebra: in other words one doesn't stick to a geometric picture. 

It seems that algebraic geometry goes the other way around and works very often with topological spaces which are non Hausdorff-Hausdorff. So my (rather vaquevague) question is the following:
  

Question. What is the geometric meaning and the intuition behind non Hausdorff-Hausdorff spaces in the realm of algebriacalgebraic geometry? How to interpret such non Hausdorff topologies in this algebra-geometric context?
Let

Let me give one example, which may clarify about what sort of things I'm asking: when one forms a quotient space one glues some points of the space to the another and in such a way one obtains a new set of points. In particular one can take some subset $A \subset X$ which is not closed and collapse it to the one point: then $X/A$ would be non Hausdorff and the special point in the quotient will be $\pi(a)$ where $a \in A$ is arbitrary and $\pi$ denotes the natural projection. My intuition behind this example is the following: the point $\pi(a) \in X/A$ was obtained from the richer set of data which was the set $A$ and the fact that $A$ was not closed. MoreA more dramatic example would be $X/G$ where for each $g \in G$ its orbit is dense in $X$: then my intuition behind this example is the fact that the points in $X/G$ have some extra internal structure. So the operation of taking quotients very often gives a non Hausdorff-Hausdorff topology. EDIT: I tried to make my vaque question slightly more precise but I'm affriad that it still remains vaque.

At the beginning I think that I should warn everybody reading this post: I don't know much about algebraic geometry so most of specialists in this subject may seen my question as ignorant. To be honest, I made several attempts to get convinced about algebraic geometry but unfortunately, still I'm not convinced. As far I understood one on the main themes in algebraic geometry is to pursue as far as it is possible the duality between geometric objects and algebras: most basic result is the Hilbert Nullstellensatz but the theory goes much further-to the definition of general schemes due to Grothendieck. The notion of space has evolved through the history of mathematics but as far as some topological space was around, the minimal requirement (at least for me) was that the space should be Hausdorff. This is quite natural due to the following characterisation: each net has at most one limit. Moreover, when one one is interested in compact or locally compact spaces, the assumpion of being Hausdorff automatically implies better behaviour (normality or complete regularity resp.). Finally, there is the theory (which is close to my heart) of $C^*$-algebras: in this theory the fundamental result is the Gelfand-Najmark theorem which establishes the duality between compact Hausdorff spaces and commutative unital $C^*$-algebras which is another algebra-geometry duality. This result alows one to think of the theory of general $C^*$-algebras as the noncommutative topology: but there are plenty of situations when one have a "patological" topological space (with some non Hausdorff topology) which is hard to deal with. Then one switches to the realm of algebras and tries to say something about this space using the associated algebra: in other words one doesn't stick to geometric picture. It seems that algebraic geometry goes the other way around and works very often with topological spaces which are non Hausdorff. So my (rather vaque) question is the following:
 Question What is the geometric meaning and the intuition behind non Hausdorff spaces in the realm of algebriac geometry? How to interpret such non Hausdorff topologies in this algebra-geometric context?
Let me give one example, which may clarify about what sort of things I'm asking: when one forms a quotient space one glues some points of the space to the another and in such a way one obtains new set of points. In particular one can take some subset $A \subset X$ which is not closed and collapse it to the one point: then $X/A$ would be non Hausdorff and the special point in the quotient will be $\pi(a)$ where $a \in A$ is arbitrary and $\pi$ denotes the natural projection. My intuition behind this example is the following: point $\pi(a) \in X/A$ was obtained from the richer set of data which was the set $A$ and the fact that $A$ was not closed. More dramatic example would be $X/G$ where for each $g \in G$ its orbit is dense in $X$: then my intuition behind this example is the fact that the points in $X/G$ have some extra internal structure. So the operation of taking quotients very often gives non Hausdorff topology. EDIT: I tried to make my vaque question slightly more precise but I'm affriad that it still remains vaque.

At the beginning I should warn everybody reading this post: I don't know much about algebraic geometry so specialists in this subject may see my question as ignorant. 


As far I understood one on the main themes in algebraic geometry is to pursue as far as it is possible the duality between geometric objects and algebras: most basic result is the Hilbert Nullstellensatz but the theory goes much further-to the definition of general schemes due to Grothendieck. The notion of space has evolved through the history of mathematics but as far as some topological space was around, the minimal requirement (at least for me) was that the space should be Hausdorff. This is quite natural due to the following characterisation: each net has at most one limit. Moreover, when one is interested in compact or locally compact spaces, the assumpion of being Hausdorff automatically implies better behaviour (normality or complete regularity resp.). 

Finally, there is the theory (which is close to my heart) of $C^*$-algebras: in this theory a fundamental result is the Gelfand-Najmark theorem which establishes the duality between compact Hausdorff spaces and commutative unital $C^*$-algebras. This is another algebra-geometry duality and allows one to think of the theory of general $C^*$-algebras as noncommutative topology: but there are plenty of situations when one has a "pathological" topological space (with some non Hausdorff topology) which is hard to deal with. Then one switches to the realm of algebras and tries to say something about this space using the associated algebra: in other words one doesn't stick to a geometric picture. 

It seems that algebraic geometry goes the other way around and works very often with topological spaces which are non-Hausdorff. So my (rather vague) question is the following: 

Question. What is the geometric meaning and the intuition behind non-Hausdorff spaces in the realm of algebraic geometry? How to interpret such non Hausdorff topologies in this algebra-geometric context?

Let me give one example, which may clarify about what sort of things I'm asking: when one forms a quotient space one glues some points of the space to the another and in such a way one obtains a new set of points. In particular one can take some subset $A \subset X$ which is not closed and collapse it to the one point: then $X/A$ would be non Hausdorff and the special point in the quotient will be $\pi(a)$ where $a \in A$ is arbitrary and $\pi$ denotes the natural projection. My intuition behind this example is the following: the point $\pi(a) \in X/A$ was obtained from the richer set of data which was the set $A$ and the fact that $A$ was not closed. A more dramatic example would be $X/G$ where for each $g \in G$ its orbit is dense in $X$: then my intuition behind this example is the fact that the points in $X/G$ have some extra internal structure. So the operation of taking quotients very often gives a non-Hausdorff topology.

Post Closed as "Opinion-based" by Fernando Muro, Daniel Loughran, Dietrich Burde, abx, Stefan Kohl
I tried to make my vaque question slightly more precise but I'm afraid that it still remains vaque...
Source Link
truebaran
  • 9.3k
  • 5
  • 30
  • 88

At the beginning I think that I should warn everybody reading this post: I don't know much about algebraic geometry so most of specialists in this subject may seen my question as ignorant. To be honest, I made several attempts to get convinced about algebraic geometry but unfortunately, still I'm not convinced. As far I understood one on the main themes in algebraic geometry is to pursue as far as it is possible the duality between geometric objects and algebras: most basic result is the Hilbert Nullstellensatz but the theory goes much further-to the definition of general schemes due to Grothendieck. The notion of space has evolved through the history of mathematics but as far as some topological space was around, the minimal requirement (at least for me) was that the space should be Hausdorff. This is quite natural due to the following characterisation: each net has at most one limit. Moreover, when one one is interested in compact or locally compact spaces, the assumpion of being Hausdorff automatically implies better behaviour (normality or complete regularity resp.). Finally, there is the theory (which is close to my heart) of $C^*$-algebras: in this theory the fundamental result is the Gelfand-Najmark theorem which establishes the duality between compact Hausdorff spaces and commutative unital $C^*$-algebras which is another algebra-geometry duality. This result alows one to think of the theory of general $C^*$-algebras as the noncommutative topology: but there are plenty of situations when one have a "patological" topological space (with some non Hausdorff topology) which is hard to deal with. Then one switches to the realm of algebras and tries to say something about this space using the associated algebra: in other words one doesn't stick to geometric picture. It seems that algebraic geometry goes the other way around and works very often with topological spaces which are non Hausdorff. So my (rather vaque) question is the following:
Question What is the geometric meaning and the intuition behind non Hausdorff spaces in the realm of algebriac geometry? How to interpret such non Hausdorff topologies in this algebra-geometric context?
Let me give one example, which may clarify about what sort of things I'm asking: when one forms a quotient space one glues some points of the space to the another and in such a way one obtains new set of points. In particular one can take some subset $A \subset X$ which is not closed and collapse it to the one point: then $X/A$ would be non Hausdorff and the special point in the quotient will be $\pi(a)$ where $a \in A$ is arbitrary and $\pi$ denotes the natural projection. My intuition behind this example is the following: point $\pi(a) \in X/A$ was obtained from the richer set of data which was the set $A$ and the fact that $A$ was not closed. More dramatic example would be $X/G$ where for each $g \in G$ its orbit is dense in $X$: then my intuition behind this example is the fact that the points in $X/G$ have some extra internal structure. So the operation of taking quotients very often gives non Hausdorff topology. EDIT: I tried to make my vaque question slightly more precise but I'm affriad that it still remains vaque.

At the beginning I think that I should warn everybody reading this post: I don't know much about algebraic geometry so most of specialists in this subject may seen my question as ignorant. To be honest, I made several attempts to get convinced about algebraic geometry but unfortunately, still I'm not convinced. As far I understood one on the main themes in algebraic geometry is to pursue as far as it is possible the duality between geometric objects and algebras: most basic result is the Hilbert Nullstellensatz but the theory goes much further-to the definition of general schemes due to Grothendieck. The notion of space has evolved through the history of mathematics but as far as some topological space was around, the minimal requirement (at least for me) was that the space should be Hausdorff. This is quite natural due to the following characterisation: each net has at most one limit. Moreover, when one one is interested in compact or locally compact spaces, the assumpion of being Hausdorff automatically implies better behaviour (normality or complete regularity resp.). Finally, there is the theory (which is close to my heart) of $C^*$-algebras: in this theory the fundamental result is the Gelfand-Najmark theorem which establishes the duality between compact Hausdorff spaces and commutative unital $C^*$-algebras which is another algebra-geometry duality. This result alows one to think of the theory of general $C^*$-algebras as the noncommutative topology: but there are plenty of situations when one have a "patological" topological space (with some non Hausdorff topology) which is hard to deal with. Then one switches to the realm of algebras and tries to say something about this space using the associated algebra: in other words one doesn't stick to geometric picture. It seems that algebraic geometry goes the other way around and works very often with topological spaces which are non Hausdorff. So my (rather vaque) question is the following:
Question What is the meaning and the intuition behind non Hausdorff spaces in the realm of algebriac geometry? How to interpret such non Hausdorff topologies in this algebra-geometric context?

At the beginning I think that I should warn everybody reading this post: I don't know much about algebraic geometry so most of specialists in this subject may seen my question as ignorant. To be honest, I made several attempts to get convinced about algebraic geometry but unfortunately, still I'm not convinced. As far I understood one on the main themes in algebraic geometry is to pursue as far as it is possible the duality between geometric objects and algebras: most basic result is the Hilbert Nullstellensatz but the theory goes much further-to the definition of general schemes due to Grothendieck. The notion of space has evolved through the history of mathematics but as far as some topological space was around, the minimal requirement (at least for me) was that the space should be Hausdorff. This is quite natural due to the following characterisation: each net has at most one limit. Moreover, when one one is interested in compact or locally compact spaces, the assumpion of being Hausdorff automatically implies better behaviour (normality or complete regularity resp.). Finally, there is the theory (which is close to my heart) of $C^*$-algebras: in this theory the fundamental result is the Gelfand-Najmark theorem which establishes the duality between compact Hausdorff spaces and commutative unital $C^*$-algebras which is another algebra-geometry duality. This result alows one to think of the theory of general $C^*$-algebras as the noncommutative topology: but there are plenty of situations when one have a "patological" topological space (with some non Hausdorff topology) which is hard to deal with. Then one switches to the realm of algebras and tries to say something about this space using the associated algebra: in other words one doesn't stick to geometric picture. It seems that algebraic geometry goes the other way around and works very often with topological spaces which are non Hausdorff. So my (rather vaque) question is the following:
Question What is the geometric meaning and the intuition behind non Hausdorff spaces in the realm of algebriac geometry? How to interpret such non Hausdorff topologies in this algebra-geometric context?
Let me give one example, which may clarify about what sort of things I'm asking: when one forms a quotient space one glues some points of the space to the another and in such a way one obtains new set of points. In particular one can take some subset $A \subset X$ which is not closed and collapse it to the one point: then $X/A$ would be non Hausdorff and the special point in the quotient will be $\pi(a)$ where $a \in A$ is arbitrary and $\pi$ denotes the natural projection. My intuition behind this example is the following: point $\pi(a) \in X/A$ was obtained from the richer set of data which was the set $A$ and the fact that $A$ was not closed. More dramatic example would be $X/G$ where for each $g \in G$ its orbit is dense in $X$: then my intuition behind this example is the fact that the points in $X/G$ have some extra internal structure. So the operation of taking quotients very often gives non Hausdorff topology. EDIT: I tried to make my vaque question slightly more precise but I'm affriad that it still remains vaque.

Source Link
truebaran
  • 9.3k
  • 5
  • 30
  • 88

What is the meaning of non-Hausdorff spaces in algebraic geometry

At the beginning I think that I should warn everybody reading this post: I don't know much about algebraic geometry so most of specialists in this subject may seen my question as ignorant. To be honest, I made several attempts to get convinced about algebraic geometry but unfortunately, still I'm not convinced. As far I understood one on the main themes in algebraic geometry is to pursue as far as it is possible the duality between geometric objects and algebras: most basic result is the Hilbert Nullstellensatz but the theory goes much further-to the definition of general schemes due to Grothendieck. The notion of space has evolved through the history of mathematics but as far as some topological space was around, the minimal requirement (at least for me) was that the space should be Hausdorff. This is quite natural due to the following characterisation: each net has at most one limit. Moreover, when one one is interested in compact or locally compact spaces, the assumpion of being Hausdorff automatically implies better behaviour (normality or complete regularity resp.). Finally, there is the theory (which is close to my heart) of $C^*$-algebras: in this theory the fundamental result is the Gelfand-Najmark theorem which establishes the duality between compact Hausdorff spaces and commutative unital $C^*$-algebras which is another algebra-geometry duality. This result alows one to think of the theory of general $C^*$-algebras as the noncommutative topology: but there are plenty of situations when one have a "patological" topological space (with some non Hausdorff topology) which is hard to deal with. Then one switches to the realm of algebras and tries to say something about this space using the associated algebra: in other words one doesn't stick to geometric picture. It seems that algebraic geometry goes the other way around and works very often with topological spaces which are non Hausdorff. So my (rather vaque) question is the following:
Question What is the meaning and the intuition behind non Hausdorff spaces in the realm of algebriac geometry? How to interpret such non Hausdorff topologies in this algebra-geometric context?