[論文レビュー] 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

ひとこと要約

本稿では、トロピカル演算（minおよび加法）を用いて、代数的曲線の値の半群Γを導入し、それが常に有限生成であることを証明している—これは古典的半群Sとは異なり、有限生成でないことがある。平面曲線の場合、Γは個々の分岐の半環とそれらの相互交差多重度から構成され、ザリスキとヴァルディの位相的特徴付け問題に対する直接的な代数的解法を提供する。

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をどのように回復できるか。
• ザリスキとヴァルディによる解析的平面曲線の位相型に関する結果を、直接的な代数的関係で結びつけること。

提案手法

• 非ゼロの正則因子g ∈ 𝒪に対して、v(g) = (v₁(g), ..., vᵣ(g)) を値ベクトルとする。Γを {v(g) | g ∈ 𝒪} ∪ {∞} として定義する。
• Γにトロピカル演算を導入する：α ⊕ β = min(α, β) および α ⊙ β = α + β。
• Γが、一様コンパクト化位相を備えた積空間 (𝐍 ∪ {∞})^r におけるSの位相的閉包であることを示す。
• Γの不可約絶対的点が、各分岐f_iに対応するv(f_i)に一致し、これらがΓを半群として生成することを証明する。
• 2次元射影π_{j,k}(S)を用いて、2次元射影における絶対的点の数が交差多重度I(f_j, f_k)に一致することを関連付ける。
• Γの最小標準基底Gを、値v(f_i)と無限座標を持つ不可約絶対的点を用いて構成する。

実験結果

リサーチクエスチョン

• RQ1 多分岐代数的曲線の値の半群Sは、個々の分岐の半群S_iとそれらの相互交差多重度I(f_j,f_k)から再構成可能か？
• RQ2 有限生成である代数的構造で、有限生成でない半群Sを含む代数的曲線の完全な値情報を捉えるものは存在するか？
• RQ3 値集合上のトロピカル半群構造は、平面曲線の位相型を研究する上で、古典的半群よりも効果的なツールを提供できるか？
• RQ4 値v(f_i)およびそれらの無限座標を持つ点が、半群Γの生成に果たす正確な役割は何か？
• RQ5 ザリスキとヴァルディによる位相的不変量に関する結果は、1つの有限生成半群構造によって統一可能か？

主な発見

• トロピカル演算を用いた値の半群Γは、常に有限生成であるが、古典的半群Sは有限生成でないことがある。
• 平面曲線Q = ∩⟨f_i⟩に対して、Γは集合{v(f_i)} ∪ {v(f_i) で1つの座標が∞であるもの}によって最小生成され、これは個々の分岐の値に対応する。
• Γの座標の一部が∞である不可約絶対的点は、ちょうど{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 = Γ ∩ ℕ²として回復される。