[論文レビュー] On Lipschitz Normally Embedded complex surface germs

André Belotto da Silva, Lorenzo Fantini+1 more|arXiv (Cornell University)|Jun 2, 2020

Mathematical Dynamics and Fractals参考文献 3被引用数 1

ひとこと要約

本稿では、Lipschitz通常埋め込み（LNE）な正則複素曲面芽の位相型が、その最小解消の組合せ論的構造——双対グラフ、一般平面射影の極曲線および判別曲線を含む——を決定することを確立している。これは、Spivakovsky や Bondil が最小特異点に対して得た古典的結果を、最小特異点を超えて拡張するものである。さらに、$x^5 + y^5 + z^5 + xyz = 0$ で定義される新しい LNE カスプ特異点を提示しており、これは最小特異点でも超孤立特異点でもない。これにより、既知の LNE 曲面特異点のクラスが拡張された。

ABSTRACT

We undertake a systematic study of Lipschitz Normally Embedded normal complex surface germs. We prove in particular that the topological type of such a germ determines the combinatorics of its minimal resolution which factors through the blowup of its maximal ideal and through its Nash transform, as well as the polar curve and the discriminant curve of a generic plane projection, thus generalizing results of Spivakovsky and Bondil that were known for minimal surface singularities. In an appendix, we give a new example of a Lipschitz Normally Embedded surface singularity.

研究の動機と目的

• 最小特異点に対して既に確立された解消データの位相的不変性を、すべての Lipschitz 通常埋め込み（LNE）な正則複素曲面芽に拡張すること。
• LNE 曲面芽において、最小解消の双対グラフ、極曲線、および一般平面射影の判別曲線が位相的不変量であることを示すこと。
• 最小特異点でも超孤立特異点でもない新たな LNE 正則曲面特異点の構成と検証を行い、既知の LNE 特異点のクラスを拡張すること。
• LNE 芽において、内部レートおよびナッシュ変換の構造が位相的に決定されることを示し、最小特異点の場合の結果を一般化すること。

提案手法

• 複素曲面芽における内部距離と外部距離を用いた LNE 条件の定式化：内部距離と外部距離の双リプシッツ同値性。
• 新しい例の LNE 性を検証するため、[NPP20a] の「テスト曲線基準」を応用し、一般極曲線の厳密変換に基点がないことを利用。
• 解消グラフ上でのガウス写像 $\lambda: X_\pi \to \text{Gr}(2, \mathbb{C}^3)$ の挙動を分析し、極曲線および判別曲線を研究。
• 最大イデアルおよび特異点のブ lowup を用いた最小解消の双対グラフの計算により、L ノードおよび P ノードを同定。
• ベルティーニの定理を用いて、一般極曲線が解消における特異除集合と横断的交わることを保証。
• 最大イデアル除集合 $Z_{\text{max}}(X,0)$ と基本サイクル $Z_{\text{min}}$ がグラフを通じて関係しており、LNE 場合における内部レートが位相的不変量であることを利用。

実験結果

リサーチクエスチョン

• RQ1 Lipschitz 通常埋め込みな正則複素曲面芽の位相型は、双対グラフ（一般平面切断のための矢印を含む）および極曲線を含むその最小解消の組合せ論的構造を決定するか？
• RQ2 LNE 曲面芽の一般平面射影の判別曲線は、その位相型から単独で回復可能か？
• RQ3 LNE 曲面芽において、各特異除集合成分の内部レート $q_v$ は、解析構造に依存しない位相的不変量か？
• RQ4 最小特異点でも超孤立特異点でもない新たな LNE 特異点を構成可能か？ また、その LNE 性はどのように検証可能か？
• RQ5 ナッシュ変換および最大イデアルのブローモーが、LNE 芽において最小解消を介して因数分解される程度はいかほどか？

主な発見

• LNE 正則複素曲面芽の位相型は、その最小解消の双対グラフを決定する。L ノード（一般平面切断のため）および P ノード（極曲線のため）の位置を含み、最小特異点を超えて Spivakovsky の結果を一般化する。
• LNE 曲面芽の一般平面射影の判別曲線は位相的不変量である。これは、Bondil の結果を LNE 特異点のより広いクラスに拡張するものである。
• 各特異除集合成分 $E_v$ の内部レート $q_v$ は、LNE 芽において位相的不変量である。これは特異点の内部距離構造を反映している。
• $x^5 + y^5 + z^5 + xyz = 0$ で定義される新しい特異点は LNE である。これはテスト曲線基準および一般極曲線の厳密変換に基点がないことにより確認された。
• この特異点は、解消グラフにループを含むため最小特異点ではなく、最大イデアルのブローモーがそれを解消しないため超孤立特異点でもない。これにより、LNE 特異点の新たなクラスが確立された。
• ガウス写像 $\lambda$ は、P ノードを除いた解消グラフの連結成分上で定数であり、その像は射影化された接錐を決定する。これは LNE 条件の検証に不可欠である。