[論文レビュー] Complex algebraic curves. Annuli

Maciej Borodzik, Henryk Żołądek|ArXiv.org|Aug 13, 2007

Algebraic Geometry and Number Theory参考文献 9被引用数 3

ひとこと要約

本稿は、特異点および無限遠点におけるPuiseux展開の正則性条件を課したもとで、ℂ²内の複素代数曲線がℂ*（穴あき複素平面）に位相的に同相であるものについて分類する。Poincaré–Hopfの指数理論とベクトル場の不変量推定を用いて、多項式微分同相とパrameter再パラメトライゼーションに関して、19家族と4例の例外ケースの完全なリストを提示し、明示的なパラメータ表示と特異点型を特定している。

ABSTRACT

We provide the full classification of algebraic embeddings of $\mathbb{C}^*$ into $\mathbb{C}^2$ satisfying certain regularity condition, which conjecturally holds for all algebraic maps from $\mathbb{C}^*$ into $\mathbb{C}^2$. The resulting list comprises 1 smooth family, 18 discrete families and 4 special cases. Any embedding known to us can be reduced to one of this list by a de Jonquière transform and a suitable change of variables. The classification uses in general tools from previous work "Complex algebraic curves via Poincare--Hopf formula. I. Parametric lines." (Pacific. J. Math. 229 (2007) No. 2, 307--338): we carefully estimate Milnor numbers of singularities that may appear in the embedding of $\mathbb{C}^*$. We use the regularity condition to bound the sum of so--called codimensions of singular points. The detailed discussion of this condition can be found in http://www.mimuw.edu.pl/~mcboro/pliki/artykuly/curv4.pdf

研究の動機と目的

• ℂ²内のアフィン代数的曲線を、自然な正則性条件の下で、ℂ*（つまり埋め込まれたアニュラス）と位相的に同値なものとして分類すること。
• パrameterの多項式微分同相と再パラメトライゼーションによる同値関係の下で、このような曲線をすべて同定すること。
• Puiseux展開と不変量の数え上げを用いて、これらの曲線の特異点（有限および無限遠点）と漸近的挙動を特徴付けること。
• 指数論的および代数的手法を用いて、正則性条件を満たす非同値な曲線の完全なリストを構築すること。

提案手法

• 曲線上に適切に選んだベクトル場にPoincaré–Hopfの公式を適用し、特異点および無限遠点における隠れた二重点不変量の和を計算する。
• Puiseux展開とその正則性条件を用いて、特異点および無限遠点に「隠された」二重点の数を推定する。
• Jung–van der Kulkの定理を用いて、同値性を線形写像と基本変換（x+P(y), y）、（x, y+Q(x））の合成に帰着させる。
• 再帰的ローレン卜多項式構成法（例：R_{k,m}、S_k、T_kなど）を用いて、漸近的挙動および特異点挙動を制御した曲線族を生成する。
• 不変量が適切に振る舞い、分類が完全になるように、Puiseux係数に正則性条件を課す。
• 次数および重みパラメータ（p, q, r, s, m, n）に基づくケース解析を用いて、実現不可能な構成を除外し、分類の厳密性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ℂ²内のどの代数的曲線が、特異点および無限遠点におけるPuiseux係数の正則性条件を満たし、ℂ*と位相的に同値であるか？
• RQ2 このような曲線は、多項式微分同相とパrameter再パラメトライゼーションに関して、どのように完全に分類できるか？
• RQ3 正則性条件を満たす非同値な代数的アニュラスの正確なパラメータ表示は何か？
• RQ4 特異点および無限遠点に「隠された」二重点の不変量が、Poincaré–Hopfの公式を満たすようにどのように組み合わされるか？
• RQ5 正則性条件の下で、実現可能な特異点構造（例：A_n型）および漸近的挙動の構成はどのようなものか？

主な発見

• 正則性条件を満たすすべての代数的アニュラスは、メイン定理にリストされた19家族または4例の例外ケースのいずれかに多項式微分同相およびパrameter再パラメトライゼーションに関して同値である。
• 分類は完全であり、多項式微分同相およびパrameter再パラメトライゼーションの下で、すべてのペアが非同値である。
• 家族（a）の曲線は滑らかであり、n ≤ m のとき無限遠点が2つ、それ以外の場合は1つである。これらは単項式の主要項をもつ有理曲線である。
• 家族（b）〜（f）は、有限点（例：t=1/2 や t=1 付近）にA_{2m}特異点を示すが、他の点では滑らかであり、無限遠点で非自明な漸近的挙動を示す。
• 例外ケース（k）〜（w）には、A_6や複数のA_2点を含む高次の特異点を持つ曲線が含まれ、特定のパrameter制約と対称性によって特徴づけられる。
• 証明により、特定のパrameter値（例：ケース（w）におけるα=2、β=1/2）のときのみ埋め込みアニュラスが得られ、他の構成は特異点構造の不整合により除外される。