PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
stalk (Definition)

Let $F$ be a presheaf over a topological space $X$ with values in an abelian category $\A$ and suppose direct limits exist in $\A$ For any point $p \in X$ the stalk $F_p$ of $F$ at $p$ is defined to be the object in $\A$ which is the direct limit of the objects $F(U)$ over the directed set of all open sets $U \subset X$ containing $p$ with respect to the restriction morphisms of $F$ In other words, $$ F_p := \dlim F(U) $$ If $\A$ is a category consisting of sets, the stalk $F_p$ can be viewed as the set of all germs of sections of $F$ at the point $p$ That is, the set $F_p$ consists of all the equivalence classes of ordered pairs $(U,s)$ where $p \in U$ and $s \in F(U)$ under the equivalence relation $(U,s) \sim (V,t)$ if there exists a neighborhood $W \subset U \cap V$ of $p$ such that $\res_{U,W} s = \res_{V,W} t$

By universal properties of direct limit, a morphism $\phi: F \lra G$ of presheaves over $X$ induces a morphism $\phi_p: F_p \lra G_p$ on each stalk $F_p$ of $F$ Stalks are most useful in the context of sheaves, since they encapsulate all of the local data of the sheaf at the point $p$ (recall that sheaves are basically defined as presheaves which have the property of being completely characterized by their local behavior). Indeed, in many of the standard examples of sheaves that take values in rings (such as the sheaf $\D_X$ of smooth functions, or the sheaf $\O_X$ of regular functions), the ring $F_p$ is a local ring, and much of geometry is devoted to the study of sheaves whose stalks are local rings (so-called ``locally ringed spaces'').

We mention here a few illustrations of how stalks accurately reflect the local behavior of a sheaf; all of these are drawn from [1].

  • A morphism of sheaves $\phi: F \lra G$ over $X$ is an isomorphism if and only if the induced morphism $\phi_p$ is an isomorphism on each stalk.
  • A sequence $F \lra G \lra H$ of morphisms of sheaves over $X$ is an exact sequence at $G$ if and only if the induced morphism $F_p \lra G_p \lra H_p$ is exact at each stalk $G_p$
  • The sheafification $F'$ of a presheaf $F$ has stalk equal to $F_p$ at every point $p$

Bibliography

1
Robin Hartshorne, Algebraic Geometry, Springer-Verlag New York Inc., 1977 (GTM 52).




"stalk" is owned by djao. [ full author list (2) ]
(view preamble | get metadata)

View style:

See Also: sheaf, local ring

Log in to rate this entry.
(view current ratings)

Cross-references: sheafification, exact sequence, sequence, induced, isomorphism, morphism of sheaves, reflect, geometry, local ring, regular functions, smooth functions, rings, property, sheaf, sheaves, induces, presheaves, universal properties, neighborhood, equivalence relation, ordered pairs, equivalence classes, sections, germs, category, morphisms, restriction, open sets, directed set, object, point, direct limits, abelian category, topological space, presheaf
There are 14 references to this entry.

This is version 6 of stalk, born on 2002-04-28, modified 2005-04-03.
Object id is 2881, canonical name is Stalk.
Accessed 5814 times total.

Classification:
AMS MSC18F20 (Category theory; homological algebra :: Categories and geometry :: Presheaves and sheaves)
 14F05 (Algebraic geometry :: homology theory :: Vector bundles, sheaves, related constructions)
 54B40 (General topology :: Basic constructions :: Presheaves and sheaves)

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)