[論文レビュー] Complex dimensions of real manifolds, attached analytic discs and parametric argument principle

Mark Agranovsky|ArXiv.org|Apr 23, 2007

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

ひとこと要約

本稿は、一般化されたパラメトリック偏角原理を用いて、複素空間内の実多様体のCR次元と付随する正則円板族の幾何学的性質との間の関係を確立する。この手法により、CR次元の下界が導かれる。主な貢献は、正則円板族の写像のホモロジー的非自明性に基づく、実多様体がCR正則または複素であるかどうかを判定するための新規基準を提示したことである。これにより、長年の未解決問題であるGlobevnik-Stout予想やストリップ問題が、実解析的カテゴリーにおいて解決される。

ABSTRACT

Let $Ω$ be a smooth real analytic submanifold of a complex manifold $X$. We establish and study the link between the following 3 subjects: 1) topological properties of smooth families of attached analytic discs, the manifold $Ω$ admits, 2) lower bounds for dimensions of complex tangent spaces of $Ω$, 3) a generalization of the argument principle for smooth families of holomorphic mappings from the standard complex disc to $X$. In particular, we obtain characterization of complex manifolds and their boundaries in terms of attached analytic discs. The special case when $Ω$ is the graph, leads to new characterizations of holomorphic and $CR$ functions, and in particular, to solutions of some open problems about such functions.

研究の動機と目的

• 曲線からの正則拡張による正則関数およびCR関数の特徴付けを、高次元の実多様体へ一般化すること。
• 付随する正則円板族を用いた、複素多様体内の実部分多様体のCR次元を推定する手法を確立すること。
• 滑らかな正則写像族のパラメトリック偏角原理を発展・応用し、多様体にかかる幾何学的・解析的制約を導くための道具を提供すること。
• 関数論的問題を正則円板を含む幾何学的問題に翻訳することで、実解析的カテゴリーにおけるストリップ問題とGlobevnik-Stout予想を解決すること。

提案手法

• 関数論的問題を関数のグラフに持ち上げることで、正則性に関する問いを実部分多様体の複素構造またはCR構造に関する問いに変換する。
• 付随する正則円板族を、単位円板からC^nへの正則写像族としてモデル化し、パrameterとして実多様体を用いる。
• 部分的に正則な写像に対する一般化された偏角原理をコア技術として用い、境界像のホモロジー的非自明性とヤコビアン行列式の消滅の有無を関連付ける。
• de Rham双対性とパラメータ族の境界上での微分形式の積分を用いて、ヤコビアンが消えるとホモロジー的非自明性と矛盾することを示す。
• 写像の次数理論と流れの構造を用いて、ある特定の形式の境界上での積分が、仮定のもとで消えることを示し、ヤコビアンが恒等的に消えると矛盾が生じることを導く。
• この方法は、矛盾による帰納的証明に帰着する：ヤコビアンが恒等的に0でないと仮定すると、積分が消えるが、これは像の非自明なホモロジー類と矛盾する。

実験結果

リサーチクエスチョン

• RQ1 付随する正則円板族を用いて、C^n内の実部分多様体のCR次元を下から評価できる条件は何か？
• RQ2 パラメトリック偏角原理を用いて、正則円板族のホモロジー的挙動を介して、実多様体に非自明なCR構造があることを検出できるか？
• RQ3 単位円板とパrameter多様体の積から写像されるヤコビアンが消えないことは、像に非自明なCR幾何が存在することを意味するか？
• RQ4 この枠組みを用いて、ストリップ問題とGlobevnik-Stout予想を実解析的カテゴリーを超えて一般化できる範囲はどの程度か？
• RQ5 CR写像およびCR多様体に対して、複素的寄与と実的寄与を統合した、強い定量的偏角原理を定式化できるか？

主な発見

• 本稿は、滑らかな正則円板族が実多様体に付随し、関連写像が境界上でホモロジー的に非自明である場合、写像のヤコビアンは恒等的に0にはならないことを証明しており、これは非自明なCR構造を示唆する。
• 写像が非退化的かつホモロジー的に非自明であるとき、多様体のCR次元はパrameter多様体の次元によって下から抑えられる。
• ストリップ問題の解が確立された：C内の1パrameter族のジョルダン曲線に沿った関数が、対応する正則円板に解析接続可能であるならば、その関数は正則である。
• Globevnik-Stout予想は実解析的カテゴリーで解決された：CR多様体上の関数が、その多様体に付随する正則円板族から正則に拡張可能であるならば、その関数はCR関数である。
• パラメトリック偏角原理が一般化された：非自明なCR多様体の境界はホモロジカルに自明にはなり得ず、写像の次数が境界上でのある積分の非消滅を決定づける。