光滑平面三次曲线典范丛平凡化截面的庞加莱留数计算求助（良定性问题）

嘿，我太懂你这种卡在良定性问题上的纠结了——毕竟庞加莱留数的定义看起来总是有点绕，尤其是要在整个射影曲线上保证全局良定，咱们一步一步把这个问题掰明白！

首先，先明确咱们的目标：给光滑平面三次曲线$C: z_0^3+z_13+z_2^3=0$的典范丛$\Omega_C$构造一个全局非零截面，用你提到的庞加莱留数表达式，核心要解决的就是：这个留数定义的截面为什么在$C$上每一点都良定，而且在不同仿射开集的重叠区域不会出现矛盾？

第一步：先看仿射开集上的局部化简 #

咱们先拿射影空间的标准仿射开集$U_0: z_0≠0$来举例，令$x=z_1/z_0$，$y=z_2/z_0$，这时候$C$在$U_0$上的方程变成$1+x^3+y3=0$，是光滑的平面曲线。

把分子里的$dz_1$、$dz_2$用$x$、$y$、$z_0$展开：$dz_1=z_0dx + xdz_0$，$dz_2=z_0dy + ydz_0$，代入你给的分子$\eta=z_0dz_1∧dz_2 - z_1dz_0∧dz_2 + z_2dz_0∧dz_1$，展开后你会发现所有包含$dz_0$的项都会因为$C$的方程（$z_1=xz_0$，$z_2=yz_0$）而完全抵消，最后只剩下$z_0^3dx∧dy$。

分母$F=z_0^3(1+x3+y^{3)$，所以整个分式$\eta/F$就化简成了$\frac{dx∧dy}{1+x}3+y^3}$——是不是清爽多了！

第二步：庞加莱留数的局部良定性 #

对于平面光滑曲线$F(x,y)=0$，庞加莱留数$\text{Res}(\omega)$（$\omega$是形如$\frac{Gdx∧dy}{F}$的2-形式）的定义是：$C$上的1-形式，满足$dF ∧ \text{Res}(\omega) = Gdx∧dy$ 在$C$上的限制。

在$U_0$的情况，$G=1$，$F=1+x^3+y3$，$dF=3x^2dx+3y2dy$。因为$C$光滑，所以每一点上$\partial F/\partial x=3x^2$和$\partial F/\partial y=3y^2$不同时为0：

• 如果$\partial F/\partial y≠0$（即$y≠0$），我们可以取$x$作为$C$的局部坐标，此时$dy= - \frac{x^2}{y2}dx$，代入留数的定义，能得到$\text{Res}(\omega)= -\frac{dx}{3y^2}$（符号是因为外积的反交换性，别担心，只要一致就行）；
• 如果$\partial F/\partial x≠0$（即$x≠0$），取$y$作为局部坐标，同理能得到$\text{Res}(\omega)= \frac{dy}{3x^{2}$，这两个表达式在重叠区域是一致的（因为在$C$上$3x}2dx+3y^2dy=0$，所以$dx= - \frac{y^2}{x2}dy$，代入第一个表达式就能得到第二个）。

所以在$U_0$上，这个留数是良定的1-形式，而且处处非零（因为$x$或$y$总有一个非零，分母不会为0）。

第三步：全局良定性——不同开集的一致性 #

现在换另一个仿射开集$U_1: z_1≠0$，令$u=z_0/z_1$，$v=z_2/z_1$，$C$的方程变成$u^3+1+v3=0$。同样代入$\eta$展开，你会发现所有包含$dz_1$的项都会抵消，最后只剩下$-z_1^{3du∧dv$，分式$\eta/F$化简成$-\frac{du∧dv}{u}3+1+v^3}$。

现在看$U_0∩U_1$的重叠区域，这里$u=1/x$，$v=y/x$，$C$的方程是等价的。计算$U_1$上的留数，再通过$C$的方程$dF=0$转换，你会发现：
$U_1$上的留数表达式，转换到$U_0$的局部坐标下，和$U_0$上的留数表达式完全一致！

比如在$U_1$上，留数是$-\frac{dv}{3u^2}$，用$u=1/x$，$v=y/x$，$dv=\frac{xdy - ydx}{x^2}$，代入后结合$C$上的$dx= - \frac{y^2}{x2}dy$，最后会得到和$U_0$上一样的$\frac{dy}{3x^2}$。

这就证明了：在不同仿射开集的重叠区域，留数定义的1-形式是同一个，所以整个截面在$C$上是全局良定的！

最后验证：这确实是平凡化截面 #

刚才我们已经看到，这个截面在$C$上每一点都非零（因为每一点至少在一个仿射开集里，分母$3t^2≠0$，$t$是局部参数），而$\Omega_C$是秩1的局部自由层，非零全局截面就给出了它的平凡化——完美符合我们的目标！

这样一来，你纠结的良定性问题就解决了：核心是利用分子的齐次性，在每个仿射开集里消去多余的射影坐标微分，再通过曲线的光滑性（$dF≠0$）保证局部定义的一致性，最终得到全局良定的非零截面。

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