Spectral space
提供: Mathpedia
位相空間 $X$ とその部分集合 $Y$ について、$Y$ の $X$ における閉包を $\mathrm{Cl}_X(Y)$ と表記する。mathpedia においては原則としてコンパクト性にHausdorff性を要請しないが、この記事においては準コンパクトという用語によってコンパクト性を指すものとする。これは代数幾何学における一般的な語法である。
定義
位相空間 $X$ がspectral spaceであるとは、以下の条件を満たすことを言う。
- 既約な閉集合 $Z\subset X$ について、ただひとつの点 $z \in Z$ が存在して、$Z=\mathrm{Cl}_X(\{z\})$ が成り立つ
- 準コンパクトである
- 準コンパクトな開集合 $U$, $V$ について、$U\cap V$ は準コンパクトである
- 準コンパクトな開集合からなる開基が存在する
spectral space $X$, $Y$ について、位相空間の射 $f\colon X\to Y$ がspectralであるとは、任意の $Y$ の準コンパクトな開集合 $V$ について $f^{-1}(V)$ が準コンパクトであることを指していう。
Hochsterの結果
Hochsterは、可換環のスペクトラム($\mathrm{Spec}$)として現れる位相空間のクラスが、ちょうどspectral spaceのクラスと一致することを示した。
information
関連項目
参考文献
- [DST1] "Spectral spaces", Max Dickmann; Niels Schwartz; Marcus Tressl, 2019