关于光滑射影簇扭曲法丛整体生成性及相关上同调消失的疑问

你好！你的困惑其实是一开始就钻进了上同调序列的$H^1$消失思路，但实际上我们完全不需要依赖上同调消失来证明这个结论——整体生成丛的满射商丛（作为丛同态的余核），若原丛是整体生成的，那么商丛也必然是整体生成的，这个结论在任意特征下都成立，只需要从整体生成的定义出发验证即可，完全不用Kodaira消失这类仅适用于特征0的工具。

关键思路：绕过上同调，直接用整体生成的点上判别法 #

先明确几个核心前提：

1. $T_{\mathbf{P}^N}(-1)$是整体生成的
   对射影空间$\mathbf{P}^N$，我们有标准的Euler正合列：
   $$0 \to \mathcal{O}{\mathbf{P}^N} \to \mathcal{O}(1)^{N+1} \to T{\mathbf{P}^N} \to 0$$
   两边张量积$\mathcal{O}(-1)$后得到：
   $$0 \to \mathcal{O}(-1) \to \mathcal{O}^{N+1} \to T_{\mathbf{P}^N}(-1) \to 0$$
   显然$\mathcal{O}^{N+1}$是整体生成的（其整体截面就是常数函数组，能生成任意点的纤维），而整体生成丛的商丛必然也是整体生成的——因为纤维上的满射性和截面的生成性会被商结构传递。

2. $T_{\mathbf{P}^N}|_X(-1)$在X上仍是整体生成的
   若一个丛在 ambient 空间$\mathbf{P}^N$上整体生成，那么它限制到闭子概型$X$上后，在$X$上依然是整体生成的：对任意$x \in X$，原丛在$\mathbf{P}^N$上的评价映射$ev_x: H^0(\mathbf{P}N, T_{\mathbf{P}^N}(-1)) \to (T_{\mathbf{P}^{N}(-1))_x$是满射，而$H}0(X, T_{\mathbf{P}^{N}|_X(-1))$包含$H}0(\mathbf{P}^N, T_{\mathbf{P}^{N}(-1))$的限制像，因此$X$上的评价映射$ev_x}X: H^0(X, T_{\mathbf{P}^N}|X(-1)) \to (T{\mathbf{P}^N}|_X(-1))_x$也必然是满射。

3. 直接验证$N_{X/\mathbf{P}^N}(-1)$的整体生成性
   我们有丛的满射（来自切丛的限制正合列）：
   $$\phi: T_{\mathbf{P}^N}|X(-1) \twoheadrightarrow N{X/\mathbf{P}^N}(-1)$$
   整体生成的定义是：对任意$x \in X$，评价映射$ev_x^\mathcal{Q}: H^0(X, N_{X/\mathbf{P}^N}(-1)) \to (N_{X/\mathbf{P}^N}(-1))_x$是满射。

   考虑复合映射：
   $$H^0(X, T_{\mathbf{P}^N}|X(-1)) \xrightarrow{H^0(\phi)} H^0(X, N{X/\mathbf{P}^N}(-1)) \xrightarrow{ev_x^\mathcal{Q}} (N_{X/\mathbf{P}^N}(-1))x$$
   这个复合等价于：
   $$H^0(X, T{\mathbf{P}^N}|X(-1)) \xrightarrow{ev_x^\mathcal{E}} (T{\mathbf{P}^N}|_X(-1))x \xrightarrow{\phi_x} (N{X/\mathbf{P}^N}(-1))x$$
   其中$\mathcal{E}=T{\mathbf{P}^N}|_X(-1)$。

   由于$\mathcal{E}$是整体生成的，$ev_x^\mathcal{E}$是满射（像为整个纤维$\mathcal{E}_x$）；同时$\phi_x$是丛满射在$x$处的纤维映射，因此$\phi_x(\mathcal{E}_x) = \mathcal{Q}x$（$\mathcal{Q}=N{X/\mathbf{P}^{N}(-1)$）。这就意味着复合映射的像就是$\mathcal{Q}_x$，自然$ev_x}\mathcal{Q}$的像覆盖$\mathcal{Q}_x$，即$ev_x^\mathcal{Q}$是满射。

为什么你之前的上同调思路绕远路了？ #

你一开始想到的是通过$H^0(\mathcal{E}) \to H^{0(\mathcal{Q})$的满射来推导整体生成，但实际上**整体生成并不要求$H}0(\mathcal{E}) \to H^{0(\mathcal{Q})$是满射**——它只要求$H}0(\mathcal{Q})$的元素能生成每个纤维，而我们已经通过原丛的整体生成性和丛满射的点上性质，直接保证了这一点，完全不需要涉及上同调群的消失。

补充：如果一定要用上同调思路验证$H^1(X, T_X(-1))=0$ #

当然，如果你还是想走这条路径，在任意特征下可以用Serre对偶结合极丰沛丛的上同调性质：
根据Serre对偶，对n维光滑射影簇X：
$$H^1(X, T_X(-1)) \cong H^{n-1}(X, \Omega_X^1 \otimes O_X(1) \otimes K_X)^*$$
注意到$O_X(1)=B$是极丰沛的，结合Serre定理的推广（任意特征下，极丰沛丛的高次张量积会消灭上同调），我们可以通过扭曲丛的上同调消失反向推导，但这个路径完全没必要——前面的直接方法已经更简洁且适用于任意特征。

总结一下，Lazarsfeld的证明里跳过上同调细节，正是因为他直接用了“整体生成丛的满射商丛仍整体生成”这个基本性质，这个结论不依赖任何特征依赖的定理，非常简洁。

备注：内容来源于stack exchange，提问作者Daniel