[論文レビュー] Testing Lipschitz non normally embedded complex spaces

Maciej P. Denkowski, Mihai Tibăr|arXiv (Cornell University)|Mar 20, 2017

Advanced Topology and Set Theory被引用数 5

ひとこと要約

本稿では、複素解析的局所環がリプシッツ正規でない（非NE）かどうかをテストするための断面的基準を導入する。適切な線形部分空間による断面をとることで、非NE性を、断面内に非NE曲線が存在することに帰着させる。主たる貢献は定理1.3であり、任意のこのような断面に非NE曲線が存在するならば、元の局所環も非NEであることを示しており、純次元 >1 の複素空間における非NE特異点を効果的かつ鋭い方法で特定できる。

ABSTRACT

We introduce a sectional criterion for testing if complex analytic germs $(X,0) \subset (\bC^n, 0)$ are Lipschitz non normally embedded.

研究の動機と目的

• 複素解析的局所環におけるリプシッツ正規でない埋め込み（非NE）を検出する効果的で幾何的な基準を開発すること。
• 通常は弧のペアの距離を比較する必要があるため、非NE状態の確認が困難であるという問題に対処すること。
• 特にブリースコーン型超曲面および複数の成分をもつ接空間の特異点に関する既存の結果を一般化すること。
• 線形部分空間による断面によって非NE性が保存されたり検出されたりする鋭い条件を確立すること。
• 高次元複素空間に適用可能な、体系的でアルゴリズム的な非NEのテスト手法を提供すること。

提案手法

• この手法は、局所環 (X,0) に対して一般である線形射影 π: ℂⁿ → ℂᵏ を用い、接空間に横断的となるように保証する。
• ℓ が π|X の特異点集合 Δₚ に含まれないような線分 ℓ ⊂ ℂᵏ に対して、P = π⁻¹(ℓ) として (n−k+1) 次元の適切な平面 P を定義する。
• 中心的なアイデアは、あるような断面 P ∩ X が 0 の近傍で非NE曲線局所環 Γ を含むならば、(X,0) は非NEであるということである。
• 証明は、Γ 内の2つの異なる実曲線のプアセュールパラメトライゼーションに依拠し、それらの外的距離が q > 1 に対して O(t^q) であることを示す。
• 内的距離の下界 d_X(γ₁(t),γ₂(t)) ≥ d(tw, Δₚ) と、ℓ ∉ C₀(Δₚ) のとき d(tw, Δₚ) ≥ rt (十分小さい t に対して) であるという事実を用いる。
• 比 d_X / d 外的距離は t → 0⁺ のとき t^{1−q} → ∞ に発散し、これによりブロー・アップによる双リプシッツ定数の発散を示し、非NE性を証明する。

実験結果

リサーチクエスチョン

• RQ1 複素解析的局所環 (X,0) の非NE性は、線形部分空間との交わりを用いてテスト可能か？
• RQ2 どのような条件下で断面の非NE性が元の局所環の非NE性を示すか？
• RQ3 直接弧に基づく距離比較を避ける鋭い幾何的基準で非NE特異点を検出可能か？
• RQ4 接空間に多重な既約成分が存在する場合、局所環は非NEか？
• RQ5 断面法はファム＝ブリースコーン超曲面における非NE挙動の分類に適用可能か？

主な発見

• 定理1.3は、適切な (n−k+1) 次元平面 P が (X,0) と交わって非NE曲線局所環 Γ を含むならば、(X,0) は 0 の近傍で非NEであることを示している。
• 適切性条件（ℓ ∉ C₀(Δₚ)）は鋭い：例4.2で示されるように、この条件がなければこの手法は失敗する。例として、カスプ x² + y² = z³ が挙げられる。
• 系1.4は、接空間 C₀(X) に多重度 ≥2 の既約成分が存在するならば、(X,0) は非NEであることを証明している。
• Pham-Brieskorn超曲面 X = {∑aᵢxᵢᵏⁱ = 0} で 1 < k₁ < k₂ ≤ … ≤ kₙ を満たす場合、C₀(X) に多重度 k₁ > 1 の既約成分 {x₁=0} が存在するため、(X,0) は 0 の近傍で非NEである。
• この手法は効果的かつ鋭い：明示的な弧パラメトライゼーションを必要とせず、直接的な距離比較の代わりに幾何的代替手段を提供する。
• 結果として、非NE挙動は埋め込みに依存せず、双リプシッツホメオモルフィズムのもとでNE性が保存されることから、本質的であることが確認された。