Riemannsche Fläche/Normiertes Polynom/Glattes Nullstellengebilde/Definition

Glattes Nullstellengebilde

Es sei ${}X$ eine riemannsche Fläche, seien ${}a_{0},a_{1},\ldots ,a_{n-1}$ holomorphe Funktionen auf ${}X$ und sei ${}V\subseteq X\times {\mathbb {C} }$ das Nullstellengebilde zu ${}P=T^{n}+a_{n-1}T^{n-1}+\cdots +a_{1}T+a_{0}$. Es sei ${}p\colon V\rightarrow X$ die Projektion auf ${}X$. Dann nennt man

${}W={\left\{(x,t)\in V\mid {\frac {\partial P}{\partial T}}(x,t)\neq 0{\text{ oder }}{\frac {\partial a_{n-1}}{\partial z}}t^{n-1}+\cdots +{\frac {\partial a_{1}}{\partial z}}t+{\frac {\partial a_{0}}{\partial z}}\neq 0\right\}}\subseteq V\,$

das glatte Nullstellengebilde zu ${}P$. Hierbei bezeichnet ${}z$ einen lokalen Parameter in einer offenen Umgebung von ${}x$.