[論文レビュー] A hypersurface in \C^2 whose stability group is not determined by 2-jets

R. Travis Kowalski|ArXiv.org|Jul 24, 2001

Holomorphic and Operator Theory参考文献 7被引用数 5

ひとこと要約

この論文は、原点において無限型の非平坦な超曲面を ℂ² に構成し、その安定性群が 3-ジェットによって決定されるが 2-ジェットでは決定されない、このような現象の最初の既知の例を提供する。著者らは、ε、r、α、s でパラメータ化された正則写像の族を用いて形式的安定性群を明示的に計算し、2 階で一致する写像であっても 3 階で異なることがあることを示している。

ABSTRACT

We give an example of a hypersurface in \C^2 through 0 whose stability group at 0 is determined by 3-jets, but not by jets of any lesser order. We also examine some of the properties which the stability group of this infinite type hypersurface shares with the 3-sphere in \C^2.

研究の動機と目的

• ℂ² における原点で無限型の非平坦な超曲面を構成し、その安定性群が 2-ジェットによって決定されないことを示し、ℂ² における超曲面の既知のジェット決定性結果における空白を埋める。
• 非平坦な超曲面に対しても、安定性群のジェット決定性が 3-ジェット（特に 3-ジェット）を必要とすることがあることを示す。
• 構成された超曲面の形式的安定性群の明示的パラメータ表示を提供し、すべての形式的自己同型が収束することを示す。
• この超曲面の安定性群を 3-球面および平坦な超曲面のそれと対比させ、特徴的な構造的性質を強調する。

提案手法

• |z| < 1 および Re w と |z|⁴ に依存する非線形実部を含む、特定の定義方程式を用いて、実解析的超曲面 M ⊂ ℂ² を定義する。
• 平方根関数の主値を用いた、パrameter ε、r、α、s を持つ正則写像 H^ε,r_α,s(z,w) の族を導入し、安定性群をパラメータ化する。
• 写像の形式的べき級数展開およびその合成を用いて、3 階までのジェット同値条件を分析する。
• 合成の連鎖法則と定義関数 ρ を保存する条件を用いて、f_n(z) および g_n(z) のべき級数展開の係数に関する再帰的関係を導出する。
• n ≥ 3 に対して係数行列 A_n が正則であることを示し、これにより 3-ジェット以降の係数が一意に決定されることを確立する。
• 形式的自己同型が実際に局所正則同型写像に収束することを証明し、形式的安定性群が実際の安定性群と一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 原点で無限型の非平坦な超曲面が存在し、その安定性群が 3-ジェットによって決定されるが 2-ジェットによっては決定されないものがあるか？
• RQ2 ℂ² における超曲面の安定性群が、2-ジェットによって決定されないまま、有限階のジェットによって決定可能であることはあり得るか？
• RQ3 非平坦で無限型の超曲面の安定性群は、3-球面のそれとどのような構造的性質を共有するか？
• RQ4 超曲面が Levi-非退化でも平坦でもないとき、自己同型のジェット条件はどのように振る舞うか？
• RQ5 このような高階のジェット決定性を持つ超曲面の安定性群の明示的形は何か？

主な発見

• Im w = (Re w)(1 - √(1 - |z|⁴))/|z|² で定義される超曲面 M の安定性群は 3-ジェットによって決定されるが 2-ジェットによっては決定されない。
• 形式的安定性群 H^ε,r_α,s(z,w) = ((ε(z + αw))/θ_α,s(z,w), (r w)/θ_α,s(z,w)) は収束するべき級数であるため、Aut(M,0) = ˆAut(M,0) が成り立つ。
• 2 階で恒等写像と一致するが 3 階で異なる、相異なる自己同型の 1 パrameter 家族 H^{1,1}_{0,s}(z,w) = (z/(1 - s w²)^{1/2}, w/(1 - s w²)^{1/2}) が存在する。
• n ≥ 3 のとき、ジェット係数に関する方程式系における係数行列 A_n は正則であるため、3-ジェット以降の係数が低次のデータから一意に決定されることを保証する。
• 写像 H^{1,1}_{0,s} により、2-ジェットでは自己同型を区別できないことが示され、s が自由に変化してもすべての 2-ジェット係数が 0 のまま保たれる。
• 明示的パラメータ表示により、安定性群が 4 次元の族（ε ∈ S¹、r ∈ ℝ∖{0}、α ∈ ℂ、s ∈ ℝ）であることが確認され、群構造が無限型超曲面の正則対称性と整合的である。