超曲面粗糙模空间为何是范畴商？如何证明Y_{d,n}为参数空间？

嘿，咱们来逐个搞定这两个代数几何问题：

问题1：为何任意超曲面的粗糙模空间是范畴商？ #

首先得明确两个核心概念：粗糙模空间和范畴商。

粗糙模空间的本质是：它是一个代数簇（或概形），能把我们要分类的对象（这里是超曲面）的等价类“打包”起来，而且满足一个泛性质——任何其他能给这些等价类做参数化的代数簇，都能通过这个粗糙模空间来分解（也就是存在唯一的态射从那个参数空间到粗糙模空间，保持对应关系）。

而范畴商呢，针对的是一个代数簇上的群作用（这里是$k^*$，也就是非零标量乘法，作用在多项式空间上：$\lambda \cdot F = \lambda F$），它的定义就是满足这样的泛性质：存在一个态射从原空间到商空间，把群作用下等价的点映射到同一点，并且任何其他满足这个条件的态射都能唯一通过这个商态射分解。

那回到超曲面的情况：超曲面的等价关系正好是“定义多项式差一个非零标量倍数”——因为$\lambda F$和$F$定义的是同一个超曲面。我们的粗糙模空间就是要把这些等价的多项式对应的超曲面捏成一个点，而范畴商正好就是为这种群作用下的等价类构造的、满足泛性质的空间。

说白了，粗糙模空间要求的“参数化等价类+泛性质”，和范畴商针对$k^{*$作用的构造完全匹配，所以超曲面的粗糙模空间自然就是这个多项式空间在$k}*$作用下的范畴商。

问题2：证明$Y_{d,n} = \mathbb{P}\big(k[x_0,\dots,x_n]_d\big)$是$\mathbb{P}^n$中d次超曲面的参数空间 #

要证明这个，咱们得从“参数空间”的核心要求入手：它要和d次超曲面的等价类（这里等价就是指同一个超曲面）之间建立起自然的、代数意义下的对应关系，还要满足基本的泛性质。

第一步：建立点与超曲面的对应 #

首先，先明确几个对象：

• $\mathbb{P}^n$中的d次超曲面，就是某个非零d次齐次多项式$F \in k[x_0,\dots,x_n]_d$的零点集$V(F) = { [x_0:\dots:x_n] \in \mathbb{P}^n \mid F(x_0,\dots,x_n) = 0 }$。
• $k[x_0,\dots,x_n]d$是所有d次齐次多项式构成的k-向量空间，维度是$\binom{n+d}{d}$；它的射影化$Y{d,n}$就是这个空间去掉原点后，按“非零标量倍数等价”做商：$F \sim \lambda F$，其中$\lambda \in k^*$，每个等价类就是$Y_{d,n}$里的一个点$[F]$。

现在看对应关系：

1. 从$Y_{d,n}$的点到超曲面：任取$[F] \in Y_{d,n}$，它对应的超曲面是$V(F)$。因为对任何$\lambda \in k^*$，$\lambda F$和$F$的零点集完全相同，所以这个对应是良定义的——同一个等价类里的多项式对应同一个超曲面。
2. 从超曲面到$Y_{d,n}$的点：任取一个d次超曲面$S \subset \mathbb{P}^n$，它的定义理想$I(S) \subset k[x_0,\dots,x_n]$是一个高度为1的齐次素理想（因为超曲面是余维1的闭子簇）。根据希尔伯特零点定理，$I(S)$由一个不可约齐次多项式$F$生成，而且如果$F'$也生成$I(S)$，那么$F' = \lambda F$，其中$\lambda \in k^*$。所以$S$对应$Y_{d,n}$里的点$[F]$，这个对应也是良定义的。

这就说明$Y_{d,n}$的点和$\mathbb{P}^n$中d次超曲面的集合之间是一一对应的。

第二步：验证代数意义下的相容性（泛性质） #

参数空间不能只是集合上的一一对应，还要满足代数簇层面的泛性质：如果有一个代数簇$T$，上面有一个d次超曲面族（也就是闭子簇$X \subset T \times \mathbb{P}^n$，对每个$t \in T$，$X_t = X \cap ({t} \times \mathbb{P}^n)$是d次超曲面），那么这个族对应一个态射$T \to Y_{d,n}$，把每个$t$映射到对应$X_t$的多项式类$[F_t]$。

这个态射的构造是自然的：超曲面族$X$对应的定义理想是$I(X) \subset k[T][x_0,\dots,x_n]$，其中$k[T]$是$T$的坐标环。因为每个$X_t$是d次超曲面，$I(X)$里存在一个d次齐次多项式$F_t(x_0,\dots,x_n)$，系数是$k[T]$中的元素，这个多项式就定义了整个族，它在射影化后就给出了态射$T \to Y_{d,n}$。

反过来，任何态射$T \to Y_{d,n}$也能对应一个$T$上的d次超曲面族——把态射拉回$Y_{d,n}$上的“普遍族”（也就是$Y_{d,n} \times \mathbb{P}^n$中由普遍多项式定义的闭子簇）。

这就说明$Y_{d,n}$满足参数空间的泛性质，确实是$\mathbb{P}^n$中d次超曲面的参数空间。

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