关于ℙ¹上秩2向量丛可分解为两线丛直和的证明的疑问与思路澄清

嘿，我来帮你拆解这个经典代数几何引理的证明思路，把每一步的逻辑掰碎了说清楚~

首先看核心引理：

引理：ℙ¹上的每个秩2向量丛都同构于两个线丛的直和。

咱们一步步捋证明里的关键逻辑：

• 为什么要先“必要时张量积一个线丛”？
  这是代数几何里常用的归约技巧——通过给E张量积一个合适的线丛$\mathcal{O}(n)$，可以调整向量丛E的次数，把问题简化到$\deg E = 0$或者$\deg E = -1$的情况，这样后续用Riemann-Roch定理的时候计算更直接，能快速锁定全局截面的存在性。
• 用Riemann-Roch定理推出$H^0(E) \ne 0$的细节：
  对ℙ¹上的秩2向量丛E，Riemann-Roch公式是$\chi(E) = \deg E + 2(1 - g(\mathbb{P}^1))$。而ℙ¹的亏格$g=0$，代入后得到$\chi(E) = \deg E + 2$。当$\deg E$是0时，$\chi(E)=2$；当$\deg E=-1$时，$\chi(E)=1$——这两个情况里$\chi(E)$都是正数。又因为$\chi(E) = h^0(E) - h^{1(E)$，所以$h}0(E)$必然大于0，也就是说E有非零全局截面，这就意味着$\mathcal{O}_{\mathbb{P}^1}$可以作为E的子层嵌入进去。
• 为什么要“饱和成线子丛$M \subset E$”？
  刚得到的$\mathcal{O}_{\mathbb{P}^{1}$只是E的一个子层，可能不是局部自由的（通俗说就是局部可能有“挠”）。**饱和操作**就是把这个子层扩展成局部自由的子层，也就是线子丛M——因为M是秩1的局部自由层，所以是线丛，而且同构于$\mathcal{O}_{\mathbb{P}}1}(D)$，其中D是有效除子（$D \ge 0$），自然$\deg M = \deg D \ge 0$。

原证明的后续未完成片段：

In particular, $\deg M \ge 0$, and denoting by...

到这里，我们已经找到了E的一个非负次数的线子丛，接下来的逻辑通常是考虑商丛$E/M$——因为E是秩2向量丛，M是秩1线子丛，所以商丛也是秩1的线丛。再结合次数关系$\deg E = \deg M + \deg(E/M)$，就能推出商丛的次数，进而证明这个短正合列是分裂的，最终得到E同构于$M \oplus (E/M)$，也就是两个线丛的直和。

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