>>577
関連
https://ja.wikipedia.org/wiki/%E8%8C%8E_(%E6%95%B0%E5%AD%A6)
(抜粋)
層の茎(けい,くき,英: stalk, ストーク)は,与えられた点のまわりでの層の振る舞いを捉える数学的構成である.

x を含む任意の開集合 U に対して自然な射 F(U) → Fx が存在する:それは F(U) における切断 s をその芽 (germ), すなわち直極限におけるその同値類に送る.


芽はある層に対して他の層よりも有用である.

定数層
ある集合あるいは群など S に付随した定数層 _Sは各点において茎として同じ集合あるいは群を持つ:任意の点 x に対して,開連結近傍を選ぶ.連結開上の _S の切断は S に等しく,制限写像は恒等写像である.したがって直極限はつぶれて茎として S を生み出す.

解析関数の層
例えば,解析的多様体(英語版)上の解析関数の層において,点における関数の芽は点の小さい近傍において関数を決定する.その理由は,芽は関数の冪級数展開を記録し,すべての解析関数は定義によりその冪級数に等しいからである.
解析接続を用いて,点における芽が関数がいたるところ定義できるような任意の連結開集合上関数を決定することが分かる.(これはこの層のすべての制限写像が単射であることを意味しない!)

つづく