关于带变系数多项式定义的代数簇维数变化的猜想问询

首先先明确你的问题背景：我们有一族多项式 $f_i(c,z):\mathbb{C}^{m\times\mathbb{C}}n\rightarrow\mathbb{C}$，每个 $f_i$ 关于 $z$ 是多项式，系数部分依赖参数向量 $c\in\mathbb{C}^m$，对应每个 $c$ 定义代数簇 $\mathcal{A}_c={z\in\mathbb{C}^n:f_i(c,z)=0\ \forall i}$。你猜想：存在真代数簇 $\mathcal{C}\subset\mathbb{C}^m$（即 $\mathcal{C}\neq\mathbb{C}^m$）和非负整数 $d$，使得当 $c\notin\mathcal{C}$ 时，$\dim(\mathcal{A}_c)=d$。

这个猜想是完全成立的，它本质上是代数几何中一般纤维维数定理（Generic Fiber Dimension Theorem）的直接推论，下面我来拆解清楚推导逻辑：

核心推导过程 #

1. 构造全空间的乘积簇：
   先考虑 $\mathbb{C}^{m\times\mathbb{C}}n$ 中的代数簇 $\mathcal{X}={(c,z)\in\mathbb{C}^{m\times\mathbb{C}}n:f_i(c,z)=0\ \forall i}$，这是由所有给定多项式定义的闭子簇。
2. 定义投影态射：
   取投影映射 $\pi:\mathcal{X}\rightarrow\mathbb{C}^m$，其中 $\pi(c,z)=c$。这个映射是代数簇之间的态射，而你定义的 $\mathcal{A}_c$ 正是映射 $\pi$ 在点 $c$ 处的纤维 $\pi^{-1}(c)$。
3. 应用一般纤维维数定理：
   对于这个态射 $\pi$，存在一个真闭子簇 $\mathcal{C}\subset\mathbb{C}^m$，使得所有 $c\in\mathbb{C}^m\setminus\mathcal{C}$ 对应的纤维 $\pi^{-1}(c)$ 维数为常数 $d$，其中 $d=\dim\mathcal{X}-\dim\pi(\mathcal{X})$。
   • 这里的 $\mathcal{C}$ 是“例外轨迹”，包含了那些纤维维数异于一般情况的参数点——代数簇的纤维维数只会在特殊点处变大，或者出现纤维为空的情况，这些异常点都会被包含在 $\mathcal{C}$ 中。
4. 适配猜想的细节补充：
   如果 $\pi(\mathcal{X})$ 本身是 $\mathbb{C}^m$ 的真子簇，我们可以把 $\mathcal{C}$ 取为 $\mathbb{C}^m\setminus\pi(\mathcal{X})$ 加上定理中的例外簇，这样当 $c\notin\mathcal{C}$ 时，$\mathcal{A}_c$ 必然是维数为 $d\geq0$ 的非空簇，完全符合猜想的条件。

直观例子佐证 #

举个简单的例子：取 $m=1$（参数 $c\in\mathbb{C}$），$n=2$，多项式 $f_1(c,z_1,z_2)=c z_1 - z_2$，$f_2(c,z_1,z_2)=z_1 z_2 - 1$：

• 当 $c\neq0$ 时，联立方程可得 $c z_1^2 -1=0$，$z_2=c z_1$，$\mathcal{A}_c$ 是两个孤立点，维数为0；
• 当 $c=0$ 时，$f_1$ 变为 $z_2=0$，代入 $f_2$ 得 $0-1=0$，矛盾，$\mathcal{A}_0$ 是空集。

此时 $\mathcal{C}={0}\subset\mathbb{C}$，$d=0$，完美符合猜想：当 $c\notin\mathcal{C}$ 时，$\dim(\mathcal{A}_c)=0$。

总结来说，你的猜想是代数几何中非常经典的结论，核心依据就是一般纤维维数定理——它刻画了代数族中“绝大多数”参数对应的纤维具有相同的维数，只有在一个真代数簇的参数点上才会出现异常情况。

内容的提问来源于stack exchange，提问作者Pepe Silvia