亏格2黎曼曲面上存在零点集不相交的全纯1-形式的证明思路验证

你的这个证明思路完全正确！我帮你把每一步的逻辑梳理得更清晰，方便你确认每个环节的合理性：

首先，先回顾几个关键已知结论：

• 亏格g=2的紧连通黎曼曲面X，其全纯1-形式空间$H^0(X,\Omega1_X)$的维数是2；
• 题目假设每个全纯1-形式恰好有2个零点（计重数）；
• 若两个全纯1-形式的零点集完全相同，那么它们必成比例（因为它们的商是紧黎曼曲面上处处非零的全纯函数，而紧黎曼曲面上的全纯函数只能是常数）。

第一步：排除所有全纯1-形式零点集完全重合的可能 #

如果所有全纯1-形式的零点集都完全重合，那么根据上面的结论，它们两两之间都成比例，这意味着$H^0(X,\Omega1_X)$的维数只能是1，这和已知的维数2矛盾。因此必然存在两个全纯1-形式$\omega_1, \omega_2$，它们的零点集不完全重合。

第二步：排除“恰好有一个公共零点”的情况 #

因为每个全纯1-形式只有2个零点（计重数），所以零点集不完全重合的情况只有两种：要么零点集完全不相交，要么恰好有一个公共零点。

假设$\omega_1$和$\omega_2$恰好有一个公共零点$p$，那么它们的商$f=\omega_1/\omega_2$是X上的亚纯函数。计算$f$的零点和极点：

• $\omega_1$的零点是$p$和$q$（$q \neq p$），所以$f$在$q$处有一个零点；
• $\omega_2$的零点是$p$和$r$（$r \neq p$），所以$f$在$r$处有一个极点；
• 其他地方$f$全纯且非零。

也就是说，$f$是一个仅含1个零点和1个极点的亚纯函数。而紧黎曼曲面上如果存在这样的亚纯函数，那么这个曲面必然同构于黎曼球面$\mathbb{P}^{1$（因为这样的亚纯函数给出了从X到$\mathbb{P}}1$的次数为1的满射，也就是同构）。但$\mathbb{P}^1$的亏格是0，和X的亏格2矛盾，所以这种情况不可能发生。

结论 #

既然“所有形式零点集重合”和“恰好有一个公共零点”都不可能，那么唯一的可能就是存在$\omega_1, \omega_2$，它们的零点集完全不相交。

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