[論文レビュー] Projective classification of jets of surfaces in 3-space

Hiroaki Sano, Yutaro Kabata+2 more|arXiv (Cornell University)|Apr 24, 2015

Geometric Analysis and Curvature Flows参考文献 4被引用数 5

ひとこと要約

本稿は、中心射影の特異性型を不変量として用い、3次元射影空間内の滑らかな曲面のジェットの射影的分類を、余次元4まで行った。特異なモンジュ形式の退化形について、放物型、双曲型、楕円型の各場合に正規形を提供し、モジュライパラメータを特定し、射影的同値性と特異性理論を用いて放物型曲線およびフラクノイド曲線の分岐を分類した。

ABSTRACT

We present a local classification of smooth projective surfaces in 3-space via projective transformations in accordance with singularity types of central projections up to codimension 4. We also discuss relations between our classification of Monge forms and bifurcations of parabolic curves and flecnodal curves.

研究の動機と目的

• 中心射影の特異性型を用いて、P³内の滑らかな曲面のジェットを射影的変換の下で分類すること。
• 退化モンジュ形式に特異性理論を組み込むことで、古典的射影微分幾何学を拡張すること。
• モンジュ形式のジェット空間における余次元≤4のストラトムに対して、モジュライパラメータおよび正規形を特定すること。
• 射影的不変量と特異性型を用いて、放物型曲線およびフラクノイド曲線の分岐を分析すること。
• 高さ関数や漸近曲線では区別できないが、射影特異性によって区別可能なクラスの違いを明確にすること。

提案手法

• 著者らは、原点およびxy平面を保つ射影的変換を用い、f(0)=0かつdf(0)=0を満たすモンジュ形式z = f(x,y)のジェット空間に作用する。
• 漸近線に沿った中心射影の特異性型に基づき、ジェット空間をストラトムに分割し、各ストラトムに射影的型（例：I₂, III₂, IV₁）を割り当てる。
• 同次多項式項φₖ（次数k）とモジュライパラメータα, β, などに基づき、余次元4まで正規形を導出する。
• 分類は、特異性型の射影的不変量に基づくストラトムの不変分割に依拠し、標準的な幾何的特徴では区別できないクラスを区別する。
• 分岐は、λ=0, ηλ=0, ηηλ=0で定義される、射影φ: (x,y) ↦ (x−uy, f(x,y)−vy) における特異点の集合として計算される。ここでλはヤコビアン行列式、ηは核を張る。
• 特異性理論および2変数微分方程式（BDE）の結果を応用し、フラクノイド曲線におけるモース特異性およびタクノード分岐を検出する。

実験結果

リサーチクエスチョン

• RQ1 P³における曲面ジェットの射影的正規形は、余次元4までどのように分類され、中心射影の特異性型とどのように関係するか？
• RQ2 放物型曲線およびフラクノイド曲線の分岐は、射影的分類においてどのように現れ、何がそれらを区別する不変量か？
• RQ3 なぜΠᵖᵥ,₁やΠᶜ,₂のような特定のクラスは、高さ関数や漸近曲線では検出できないが、射影特異性によってのみ検出可能なのか？
• RQ4 モジュライパラメータα, β, などは正規形において果たす役割は何か？また、それらは曲面ジェットの幾何にどのように影響を与えるか？
• RQ5 特定の分岐、例えばモース型、バタフライ型、タクノード型は、ジェット空間内でどのように生じ、正規形におけるパラメータの特定の値に対応するのか？

主な発見

• 本稿は、P³における曲面ジェットの完全な射影的分類を提供し、表1〜3に13の異なるクラスをリストアップした。各クラスは一意な正規形と射影型を持つ。
• クラスΠᵖᵥ,₁では、放物型曲線の分岐がモース遷移によって生じるが、フラクノイド曲線の分岐はBDE分類のみでは検出できない。しかし、本稿の新しい射影的手法により解消される。
• クラスΠᶜ,₂は、折りたたまれたサドルノード分岐に対応し、2つの折りたたまれたサドル点が相殺する現象を示す。これは標準的な幾何的不変量では捉えられない。
• 双曲型の場合、α=0のクラスΠʰ₃,₅では、フラクノイド曲線にモース分岐が現れ、「リップス」と「ベーサベー」特異性として応用幾何学で知られる。
• クラスΠʰ₄,₄では、αβ=16のとき、タクノード分岐が生じ、フラクノイド曲線の2つの成分が接する。これは直接的な射影方程式の計算により確認された。
• クラスΠᶜ,₄では、放物型曲線とフラクノイド曲線がガウスの尖点で接しており、バタフライ点が出現し、曲面の局所構造における高次元の退化を示している。