[论文解读] The Semiring of Values of an Algebroid Curve

Emilio Carvalho, Marcelo Escudeiro Hernandes|arXiv (Cornell University)|Apr 17, 2017

Commutative Algebra and Its Applications参考文献 7被引用 7

一句话总结

本文通过热带运算（取最小值与加法）引入代数曲线的值的幺半环 Γ，证明其始终是有限生成的——这与可能非有限生成的经典值半群 S 不同。对于平面曲线，Γ 由各分支的幺半环及其相互交点相数构造而成，从而为 Zariski 与 Waldi 的拓扑特征化问题提供了直接的代数解法。

ABSTRACT

We introduce the semiring of values $Γ$ with respect to the tropical operations associated to an algebroid curve. As a set, $Γ$ determines and is determined by the well known semigroup of values $S$ and we prove that $Γ$ is always finitely generated in contrast to $S$. In particular, for a plane curve, we present a straightforward way to obtain $Γ$ in terms of the semiring of each branch of the curve and the mutual intersection multiplicity of its branches. In the analytical case, this allows us to connect directly the results of Zariski and Waldi that characterize the topological type of the curve.

研究动机与目标

• 定义一种新的代数结构——使用热带运算的代数曲线值幺半环 Γ。
• 证明 Γ 始终是有限生成的，而经典值半群 S 可能不是。
• 为平面曲线提供一种基于分支幺半环与相互交点相数计算 Γ 的构造性方法。
• 解决疑问 1：如何从各分支的半群 S_i 及其交点相数 I(f_j,f_k) 恢复值半群 S。
• 在 Zariski 与 Waldi 关于解析平面曲线拓扑类型的结论之间建立直接的代数联系。

提出的方法

• 将幺半环 Γ 定义为集合 {v(g) | g ∈ 𝒪} ∪ {∞}，其中 v(g) = (v₁(g), ..., vᵣ(g)) 是非零因子 g 的值向量。
• 为 Γ 赋予热带运算：α ⊕ β = min(α, β) 与 α ⊙ β = α + β。
• 证明 Γ 是 S 在 (𝐍 ∪ {∞})^r 上带一点紧化拓扑的拓扑闭包。
• 证明 Γ 的不可约绝对点对应于每个分支 f_i 的 v(f_i)，且这些点作为幺半环生成 Γ。
• 利用投影 π_{j,k}(S) 将二维投影中绝对点的数量与交点相数 I(f_j, f_k) 联系起来。
• 使用 v(f_i) 的值与具有无穷坐标之不可约绝对点，构造出 Γ 的最小标准基 G。

实验结果

研究问题

• RQ1 能否从代数曲线各分支的半群 S_i 及其相互交点相数 I(f_j,f_k) 重构多分支代数曲线的值半群 S？
• RQ2 是否存在一个有限生成的代数结构，能够完整捕捉代数曲线的值信息，包括非有限生成的半群 S？
• RQ3 值集上的热带幺半环结构如何比经典半群更有效地用于研究平面曲线的拓扑类型？
• RQ4 v(f_i) 的值及其具有无穷坐标之点在生成幺半环 Γ 中起何种精确作用？
• RQ5 Zariski 与 Waldi 关于拓扑不变量的结果能否通过单一有限生成幺半环结构统一？

主要发现

• 在热带运算下，代数曲线的值幺半环 Γ 始终是有限生成的，而经典半群 S 可能不是。
• 对于平面曲线 Q = ∩⟨f_i⟩，幺半环 Γ 由集合 {v(f_i)} ∪ {v(f_i) 且某坐标为 ∞} 最小生成，这对应于各分支的值。
• 具有某些坐标为 ∞ 的 Γ 的不可约绝对点恰好为 {v(f_i) | i ∈ I}，且这些点生成整个幺半环 Γ。
• 半群 S 恢复为 S = Γ ∩ ℕ^r，因此 S 由 Γ 的有限生成元集与 Γ 的导出数唯一确定。
• 对于曲线 Q = ⟨XY⟩，幺半环 Γ 由 (1,∞) 与 (∞,1) 生成，所有有限元素由 min{β₁(1,∞), β₂(∞,1)} = (β₁, β₂) 给出。
• 对于示例曲线 Q = ⟨Y⁴ - 2X³Y² - 4X⁵Y + X⁶ - X⁷⟩ ∪ ⟨Y² - X³⟩，Γ 由 {(4,2), (6,3), (13,∞), (∞,13)} 最小生成，S 恢复为 S = Γ ∩ ℕ²。