[論文レビュー] Complex Curves in Almost-Complex Manifolds and Meromorphic Hulls

Sergei Ivashkovich, Vsevolod Shevchishin|ArXiv.org|Dec 6, 1999

Geometric and Algebraic Topology参考文献 44被引用数 18

ひとこと要約

この論文は、ほぼ複素多様体における擬全純曲線に関する基礎的結果を確立し、C²における厳密に擬強凸領域に付随する全純ディスクの剛性を証明する。グロモフのコンパクト性とフレドホルム理論に加え、セイバーグ・ウィッテン不変量とブローモンプ技術を用いて、領域内部の滑らかなディスクが外部から付随する解析的ディスクと同じ境界を有することは不可能であることを示し、ヴィトゥシュキンの予想を証明する。主な貢献は、ブローモンプ後の自己交叉数とチャーン類不変量による位相的障害の同定である。

ABSTRACT

This are the notes of a course, given by the first author for the Graduiertenkollegs (=graduate students) at the Ruhr-University Bochum, in December 1997. These lectures pursued two main tasks: FIRST - to give a systematic and self-contained introduction to the Gromov theory of pseudoholomorphic curves. This is done in Chapters I,II,III. SECOND - to explain our join results on envelopes of meromorphy of real surfaces in complex two-dimensional manifolds. We do this in Chapter IV.

研究の動機と目的

• 複素2次元多様体における実2次元球面のメロモルフィー包の構成というグローバル問題に取り組む。
• C²における厳密に擬強凸領域に属する滑らかなディスクが、外部から付随する解析的ディスクと同じ境界を有することは不可能であることを確立し、ヴィトゥシュキンの予想を解決する。
• グロモフの擬全純曲線理論とセイバーグ・ウィッテン不変量を用いたフレームワークを構築し、メロモルフィー包と全純ディスクの付随性を分析する。
• ブローモンプ後の自己交叉数およびチャーン類不変量の分析を通じて、厳密に擬強凸領域への解析的ディスクの付随に対する位相的障害を提供する。
• 非ステイン性を解消するための対数凸性とブローモンプを用いたステイン近傍の一般化を実現する。

提案手法

• ほぼ複素多様体における擬全純曲線の挙動を制御するため、グロモフのコンパクト性定理と事前推定を適用する。
• ∂J作用素のフレドホルム理論とモジュライ空間解析を用いて、J-曲線の変形性と横断性を研究する。
• 原点をブローモンプし、対数座標を用いて対数凸性を達成することで、厳密に擬強凸領域に付随する全純ディスクのステイン近傍を構成する。
• セイバーグ・ウィッテン不変量と genus 評価を用いて位相的障害を導出する：具体的には、ブローモンプ後の球の正規化像の自己交叉数は |c₁·S̃| ≥ S̃² を満たす必要がある。
• タケウチの基準を適用して、結果として得られるブローモンプ領域がステインであることを結論づけ、全純凸性を保証する。
• 反転と微分同相写像を用いて一般ケースを標準的モデルに還元し、境界を共有する滑らかなディスクの非存在性を証明する。

実験結果

リサーチクエスチョン

• RQ1 C²における厳密に擬強凸領域に外部から付随する解析的ディスクが、その領域内部の滑らかな埋め込みディスクによって同じ境界を有することは可能か？
• RQ2 このような滑らかな境界ディスクが存在しない理由となる位相的または幾何的障害は何か？
• RQ3 セイバーグ・ウィッテン不変量とチャーン類の計算は、ステイン多様体における全純ディスクの存在にどのような制限を課えるか？
• RQ4 元の領域がステインでない場合でも、厳密に擬強凸領域に付随する全純ディスクのステイン近傍を構成することは可能か？
• RQ5 ディスクの原点におけるブローモンプ処理により、全純凸性が回復するか？その場合、正規化像の自己交叉数および第一チャーン類にどのような影響を与えるか？

主な発見

• H²(X,ℝ) = 0 を満たすステイン多様体 X における、厳密に擬強凸領域に付随する全純ディスクの境界は、その領域内部の任意の滑らかな埋め込みディスクによっては境界とならない。
• ディスク上の点で n 回のブローモンプを行った後、ディスクと境界を共有するディスクの和集合によって形成される球の正規化像の自己交叉数は ˜S² = −n であり、|c₁(˜X)·˜S| = n である。これは、セイバーグ・ウィッテン理論による genus 評価と矛盾する。
• C²における原点のブローモンプにより、全純ディスクの近傍は対数凸性を満たし、結果としてステイン領域となる。これにより、ブローモンプを用いたステイン近傍の構成が可能になる。
• 対数座標とブローモンプを用いたステイン近傍の構成により、ディスクとそのコラールの和集合における非ステイン性の問題が解決され、領域は全純凸となる。
• ヴィトゥシュキンの予想が証明された：C²において球体に微分同相な厳密に擬強凸領域に外部から解析的ディスクを付随させることは不可能であり、そのようなディスクはブローモンプ後の位相的不変量において矛盾を引き起こす。
• 微分同相写像と反転を用いて一般ケースを標準的モデルに還元した。その結果、境界を共有する滑らかなディスクの存在は、チャーン類および自己交叉数不変量において矛盾を意味することが示された。