- #1
- 14,981
- 26
(Hrm. There doesn't seem to be a good category for Algebraic Geometry; maybe Linear/Abstract Algebra?)
Ok, I'm in the process of teaching myself Algebraic Geometry, and I'm reading ahead a bit to see where things are going.
In particular, just now I'm reading about presheaves on a topological space, and have come across the definition of a stalk. As quoted from Hartshorne:
Definition. If [itex]\mathcal{F}[/itex] is a presheaf on X, and if P is a point of X, we define the stalk [itex]\mathcal{F}_p[/itex] of [itex]\mathcal{F}[/itex] at P to be the direct limit of the groups [itex]\mathcal{F}[/itex](U) for all open sets U containing P, via the restriction maps [itex]\rho[/itex].
(Here, Hartshorne is speaking in particular about presheaves of abelian groups)
I realize that to understand the most general case of this definition that I really will have to understand direct limits, but I imagine that special cases (such as abelian groups) would be much easier to understand.
So, I guess at what it should be. Mainly I'm hoping if someone can tell me if this is an equivalent definition:
Without losing generality, I can start with some open set U of X containing P.
The restriction maps [itex]\rho_{UV}[/itex] yield isomorphisms of the groups [itex]\mathcal{F}(U) / \ker \rho_{UV} \leftrightarrow \mathcal{F}(V)[/itex].
If W and V are open sets such that [itex]P \in W \subseteq V \subseteq U[/itex] we have [itex]\ker \rho_{UV} \subseteq \ker \rho_{UW}[/itex], so the natural choice of such a limit would be to take the ideal I generated by all of the [itex]\ker \rho_{UV}[/itex] with [itex]P \in V \subseteq U[/itex] (V open), and then set
[itex]\mathcal{F}_P \cong \mathcal{F}(U) / I[/itex]
Is this reasonable?
Ok, I'm in the process of teaching myself Algebraic Geometry, and I'm reading ahead a bit to see where things are going.
In particular, just now I'm reading about presheaves on a topological space, and have come across the definition of a stalk. As quoted from Hartshorne:
Definition. If [itex]\mathcal{F}[/itex] is a presheaf on X, and if P is a point of X, we define the stalk [itex]\mathcal{F}_p[/itex] of [itex]\mathcal{F}[/itex] at P to be the direct limit of the groups [itex]\mathcal{F}[/itex](U) for all open sets U containing P, via the restriction maps [itex]\rho[/itex].
(Here, Hartshorne is speaking in particular about presheaves of abelian groups)
I realize that to understand the most general case of this definition that I really will have to understand direct limits, but I imagine that special cases (such as abelian groups) would be much easier to understand.
So, I guess at what it should be. Mainly I'm hoping if someone can tell me if this is an equivalent definition:
Without losing generality, I can start with some open set U of X containing P.
The restriction maps [itex]\rho_{UV}[/itex] yield isomorphisms of the groups [itex]\mathcal{F}(U) / \ker \rho_{UV} \leftrightarrow \mathcal{F}(V)[/itex].
If W and V are open sets such that [itex]P \in W \subseteq V \subseteq U[/itex] we have [itex]\ker \rho_{UV} \subseteq \ker \rho_{UW}[/itex], so the natural choice of such a limit would be to take the ideal I generated by all of the [itex]\ker \rho_{UV}[/itex] with [itex]P \in V \subseteq U[/itex] (V open), and then set
[itex]\mathcal{F}_P \cong \mathcal{F}(U) / I[/itex]
Is this reasonable?