[論文レビュー] Symplectic Harmonic theory and the Federer-Fleming deformation theorem

Yi Lin|arXiv (Cornell University)|Dec 12, 2011

Algebraic Geometry and Number Theory参考文献 23被引用数 5

ひとこと要約

この論文は、閉じたシンプレクティック多様体上で、正の次数の原始的コホモロジー類が、全多様体にわたって支持されないシンプレクティック調和代表元をもつことを示している。これは、Federer-Flemingの変形定理と正規コホモロジーの理論を用いて証明され、Guilleminの、可縮部分多様体の調和トーム形式の支持に関する未解決問題を解決する。

ABSTRACT

In this article, we initiate a geometric measure theoretic approach to symplectic Hodge theory. In particular, we apply one of the central results in geometric measure theory, the Federer-Fleming deformation theorem, together with the cohomology theory of normal cur- rents on a differential manifold, to establish a fundamental property on symplectic Harmonic forms. We show that on a closed symplectic manifold, every real primitive cohomology class of positive degrees admits a symplectic Harmonic representative not supported on the entire mani- fold. As an application, we use it to investigate the support of symplectic Harmonic representatives of Thom classes, and give a complete solution to an open question asked by Guillemin.

研究の動機と目的

• シンプレクティック調和代表元の支持性質、特に可縮およびコイソトロピック部分多様体のトーム類に関して調べること。
• ヴィクター・ギレムが提起した、可縮部分多様体のトーム類に対して非全支持の調和代表元が存在するかという未解決問題を解くこと。
• Federer-Flemingの変形定理を用いて、シンプレクティックホッジ理論に幾何的測度論的基盤を確立すること。
• すべての正の次数の原始的コホモロジー類が、全多様体にわたって支持されない閉じた原始的デラームカレントによって表されることを示すこと。
• カレント理論的アプローチを通じて、シンプレクティック調和理論とコイソトロピックサイクル、原始的コホモロジーを結びつけること。

提案手法

• Federer-Flemingの変形定理を用いて、閉じた正規カレントを、同じコホモロジー類と原始的性質を保ちながら、滑らかな閉形式に変形する。
• 微分多様体上の正規カレントのコホモロジー理論を用いて、原始的コホモロジー類を表す閉じたカレントの構造を分析する。
• Bahramgiriのシンプレクティック滑らか化作用素を用いて、閉じた原始的カレントから滑らかな閉じた原始的微分形式を構成する。
• Hard Lefschetz仮定の下で、Merkulovとギレムによって確立されたシンプレクティック $dd^\Lambda$-補題に依拠し、コホモロジー的性質と調和的性質を関連付ける。
• Lefschetz分解と原始的成分の一意性を用いて、原始的形式が $d$-完全であることと、原始的ポテンシャルをもつ $dd^\Lambda$-完全であることの同値性を示す。
• 変形定理による支持の制御を活用し、問題を「すべての原始的コホモロジー類が、全多様体にわたって支持されない閉じた原始的カレントに引き上げられること」に還元する。

実験結果

リサーチクエスチョン

• RQ1 閉じたシンプレクティック多様体上での正の次数の原始的コホモロジー類は、全多様体にわたって支持されないシンプレクティック調和代表元をもつか？
• RQ2 可縮部分多様体のトーム類は、非全支持のシンプレクティック調和形式によって表されるか？
• RQ3 弱い意味で、すべての原始的コホモロジー類はコイソトロピックサイクルによって表されるか？
• RQ4 Federer-Flemingの変形定理は、シンプレクティックホッジ理論において非全支持調和代表元の構成をどのように支援するか？
• RQ5 Hard Lefschetz性質が成り立たない状況下で、原始的コホモロジーと非全支持調和形式の存在との関係は何か？

主な発見

• 閉じたシンプレクティック多様体上では、すべての正の次数の原始的コホモロジー類が、全多様体にわたって支持されないシンプレクティック調和代表元をもつ。
• この結果は、Federer-Flemingの変形定理を閉じた原始的カレントに適用することで得られ、同じコホモロジー類に属する滑らかな閉じた原始的形式が得られる。
• この構成により、すべての原始的コホモロジー類が、全多様体にわたって支持されない閉じた原始的デラームカレントによって表されることを示した。
• これはギレムの未解決問題を解決し、コンパクトで向き付け可能なコイソトロピック部分多様体のトーム類が、非全支持調和代表元をもつことを確認する。
• Hard Lefschetz条件の下で、原始的デラームコホモロジー $PH^r_d(M)$ と標準的原始的コホモロジー $PH^r(M)$ の間に同型が存在することが示された。
• 証明は、シンプレクティック $dd^\Lambda$-補題とLefschetz分解の一意性に依拠し、$d$-完全な原始的形式が、原始的ポテンシャルをもつ $dd^\Lambda$-完全であることを示している。