[論文レビュー] The combinatorics of plane curve singularities. How Newton polygons blossom into lotuses

Evelia R. García Barroso, Pedro D. González Pérez+1 more|arXiv (Cornell University)|Sep 16, 2019

Polynomial and algebraic computation参考文献 123被引用数 5

ひとこと要約

本論文は、トーリック幾何およびトロピカル幾何を用いてニュートン多角形から構成される幾何的対象「ルス（lotus）」を導入することで、平面曲線特異点の3つの古典的組合せ的不変量—エッジャース・ウォールの木、エヌリクス図、重み付き双対グラフ—を統一する。ルスは、連続するトーリック変形から得られる2次元単体的複体として構成され、これらの木の数値的不変量を符号化・関連付ける共通の枠組みを提供し、それらの相互構造を明らかにする。

ABSTRACT

This survey may be seen as an introduction to the use of toric and tropical geometry in the analysis of plane curve singularities, which are germs $(C,o)$ of complex analytic curves contained in a smooth complex analytic surface $S$. The embedded topological type of such a pair $(S, C)$ is usually defined to be that of the oriented link obtained by intersecting $C$ with a sufficiently small oriented Euclidean sphere centered at the point $o$, defined once a system of local coordinates $(x,y)$ was chosen on the germ $(S,o)$. If one works more generally over an arbitrary algebraically closed field of characteristic zero, one speaks instead of the combinatorial type of $(S, C)$. One may define it by looking either at the Newton-Puiseux series associated to $C$ relative to a generic local coordinate system $(x,y)$, or at the set of infinitely near points which have to be blown up in order to get the minimal embedded resolution of the germ $(C,o)$ or, thirdly, at the preimage of this germ by the resolution. Each point of view leads to a different encoding of the combinatorial type by a decorated tree: an Eggers-Wall tree, an Enriques diagram, or a weighted dual graph. The three trees contain the same information, which in the complex setting is equivalent to the knowledge of the embedded topological type. There are known algorithms for transforming one tree into another. In this paper we explain how a special type of two-dimensional simplicial complex called a lotus allows to think geometrically about the relations between the three types of trees. Namely, all of them embed in a natural lotus, their numerical decorations appearing as invariants of it. This lotus is constructed from the finite set of Newton polygons created during any process of resolution of $(C,o)$ by successive toric modifications.

研究の動機と目的

• 平面曲線特異点の3つの古典的組合せ的不変量—エッジャース・ウォールの木、エヌリクス図、重み付き双対グラフ—を統一すること。
• ニュートン多角形から構成される新しい対象「ルス」を用いて、これらの不変量を関連付ける幾何的枠組みを確立すること。
• トーリック幾何およびトロピカル幾何が、埋め込み解消の組合せ的構造を符号化する自然な言語を提供することを示すこと。
• ルスの構成が局所座標系および局所環の完備化の選択にどのように依存するかを明確にすること。
• 代数的不変量（ニュートン＝プイゼュー級数）と幾何的不変量（解消木）との間の概念的ブリッジを、ルス構成によって提供すること。

提案手法

• 曲線特異点のニュートン多角形を座標軸に関して用いてニュートンファンを構成する。
• 特異点を解消するための連続的なトーリック変形を適用し、解消過程を追跡するファンツリーを生成する。
• ニュートンファンに関連付けられた2次元単体的複体としてルスを定義し、すべての数値的不変量を符号化する。
• 累乗級数およびニュートン＝プイゼュー級数のトロピカル化を用いて、ルスとエッジャース・ウォールの木との間を連分数を介して関連付ける。
• 局所的挙動の解析および座標系の変更に対する安定性を調べるため、切り詰めたルスを導入する。
• 数値的装飾を用いて、ルスと3種類の解消木（エッジャース・ウォール木、エヌリクス図、双対グラフ）との間の双対写像を確立する。

実験結果

リサーチクエスチョン

• RQ1 平面曲線特異点の3つの古典的不変量（エッジャース・ウォールの木、エヌリクス図、重み付き双対グラフ）を、1つの幾何的対象によって統一することは可能か？
• RQ2 ニュートン多角形およびそのトロピカル化は、解消不変量の共通の組合せ的枠組みを構築するために果たす役割は何か？
• RQ3 ルスの構成は、局所座標系および局所環の完備化の選択にどのように依存するか？
• RQ4 連分数および勾配関数は、ルスとエッジャース・ウォールの木とをどのように関連付けるか？
• RQ5 ルスを用いて、異なる解消不変量の間をアルゴリズム的に変換することは可能か？

主な発見

• ルスは、曲線特異点のニュートンファンから得られる2次元単体的複体であり、解消過程のすべての数値的不変量を符号化する。
• ルスはエッジャース・ウォールの木の幾何的実現を提供し、木の重みおよび近接関係がルスの組合せ的特徴として埋め込まれている。
• ルスの構成は、同型の意味で座標系の選択に依存しないが、局所環の完備化の具体的な実現には依存する。
• 切り詰めたルスは局所的不変量を捉え、異なる座標系間での解消データの安定的比較を可能にする。
• ルスの構成により、トーリック的擬解消からのファンツリーとエッジャース・ウォールの木との間に自然な対応関係が確立され、勾配関数およびニュートン＝プイゼュー情報がその根拠となる。
• ルスは3つの解消不変量—重み付き双対グラフ、エヌリクス図、エッジャース・ウォールの木—を統一し、それらすべてがルスに埋め込まれ、数値的装飾が不変のまま保存される。