[论文解读] On mixed projective curves

Mutsuo Oka|ArXiv.org|Oct 14, 2009

Algebraic Geometry and Number Theory参考文献 8被引用 5

一句话总结

本文研究了复射影空间中由强极权齐次多项式定义的混合射影曲线的拓扑性质。结果表明，尽管射影次数等于极次数，但亏格不能仅由次数决定——通过构造反例表明，在固定次数下亏格可无界，这挑战了混合情形下经典不变量（如 Thom 不等式）的有效性。

ABSTRACT

Let $f(\bfz,\bar\bfz)$ be a mixed polar homogeneous polynomial of $n$ variables $\bfz=(z_1,..., z_n)$. It defines a projective real algebraic variety $V:=\{[\bfz]\in \BC\BP^{n-1} | f(\bfz,\bar\bfz)=0 \}$ in the projective space $\BC\BP^{n-1}$. The behavior is different from that of the projective hypersurface. The topology is not uniquely determined by the degree of the variety even if $V$ is non-singular. We study a basic property of such a variety.

研究动机与目标

• 理解由强极权齐次多项式定义的混合射影曲线的拓扑不变量。
• 研究此类曲线的亏格相对于其次数的行为。
• 确定亏格是否为次数的不变量，特别是基于 Thom 猜想的考量。
• 构造具有固定次数但任意大亏格的混合曲线的显式例子。

提出的方法

• 利用与混合多项式相关的 Milnor 纤维研究 Milnor 纤维的拓扑及其与射影曲线的关系。
• 应用由极权齐次性诱导的 ${\mathbb{C}}^{*}$-作用，以定义加权射影空间和射影超曲面。
• 通过加权射影空间的轨道丛结构与单值变换作用，计算 Milnor 纤维的欧拉示性数。
• 通过关系式 $ 2 - 2g = 3 - \chi(F)/q $ 分析射影曲线的亏格，该式源于 Milnor 纤维的拓扑。
• 构造特定的单纯型与合并型极权齐次多项式族，以生成具有不同亏格的曲线。
• 通过链组件分析与欧拉示性数分解，计算不同多项式类型的 $ \chi(F) $ 与亏格。

实验结果

研究问题

• RQ1 在加权射影设定下，混合射影曲线的亏格是否仅取决于其次数？
• RQ2 在固定次数下，混合曲线的亏格是否可任意大？
• RQ3 Milnor 纤维的欧拉示性数 $ \chi(F) $ 如何与射影曲线的亏格相关？
• RQ4 经典不变量（如 Thom 不等式）在混合射影曲线中在多大程度上仍然成立？
• RQ5 是否存在具有指定亏格与次数的混合曲线的显式构造？

主要发现

• 混合曲线的射影次数等于其极次数 $ d_p $，建立了代数不变量与拓扑不变量之间的直接联系。
• 对于固定的极次数 $ q $，混合曲线的亏格可无界，通过构造具有亏格 $ \frac{(q-1)(q-2+2(r-j))}{2} $ 的族实现，其中 $ r $ 任意。
• Milnor 纤维的欧拉示性数 $ \chi(F) $ 并非次数 $ q $ 的不变量，其值在不同多项式类型下可从 $ q^3 - 3q^2 + 3q $ 变化至 $ q(q^2 + 3q + 3) $。
• 示例表明，当 $ q=2 $ 时，可实现任意亏格 $ g \geq 1 $，这意味着每个亏格 $ g $ 的光滑曲面均可嵌入 $ \mathbb{C}\mathbb{P}^2 $ 且次数为 2。
• 与单纯型多项式 $ f_{s_i} $ 相关的曲线 $ C_{s_i} $ 的亏格与经典代数曲线的次数 $ q $ 一致，但其他类型（如 $ f_{s_4}, f_{s_5} $）产生更高的亏格。
• 合并型曲线 $ h_j $ 的亏格可取值 $ \frac{(q-1)(q-2)}{2}, \frac{(q-1)q}{2}, \dots, \frac{(q-1)(q+2r-2)}{2} $，证明了在固定 $ q $ 时亏格的无界性。