Hirzebruch surface(Hirzebruch 曲面):代数几何与复几何中的一类有理(rational)代数曲面,通常记作 \(\mathbb{F}_n\)(\(n\ge 0\))。它可以看作是射影直线 \(\mathbb{P}^1\) 上的一个射影化的秩 2 向量丛:\(\mathbb{F}_n \cong \mathbb{P}(\mathcal{O}\oplus \mathcal{O}(n))\)。直观上,它是一种典型的纤维为 \(\mathbb{P}^1\) 的“有理直纹曲面(ruled surface)”。
/ˈhɪrtsəbrʊk ˈsɜːrfɪs/
该术语以德国数学家 Friedrich Hirzebruch(弗里德里希·希策布鲁赫) 命名;“surface” 在数学中常指二维流形或二维代数簇。Hirzebruch 曲面在分类理论、直纹曲面与环面几何/扇形几何(toric geometry)中非常常见。
A Hirzebruch surface \(\mathbb{F}_n\) is a ruled surface over \(\mathbb{P}^1\).
Hirzebruch 曲面 \(\mathbb{F}_n\) 是 \(\mathbb{P}^1\) 上的一类直纹曲面。
In toric geometry, the fan of a Hirzebruch surface encodes its divisor classes and intersection numbers.
在扇形几何(toric geometry)中,Hirzebruch 曲面的扇形(fan)可编码其除子类与交数。