[論文レビュー] Cohomologically symplectic solvmanifolds are symplectic

Hisashi Kasuya|arXiv (Cornell University)|May 7, 2010

Geometry and complex manifolds参考文献 5被引用数 3

ひとこと要約

この論文は、捩れのない virtually ポリシックな基本群をもつ、コhomologically 極形式的でアーシャペラな多様体が、極形式的であることを証明している。これは、ニルマンゴルドの既知の結果を、代数的ハウルと不変形式を用いてより広いクラスのソルブマンゴルドへと拡張するものである。主な結果は、このようなソルブマンゴルドに対して、コhomological 極形式的であることから、真の極形式的であることへと導くことである。

ABSTRACT

We consider aspherical manifolds with torsion-free virtually polycyclic fundamental groups, constructed by Baues. We prove that if those manifolds are cohomologically symplectic then they are symplectic. As a corollary we show that cohomologically symplectic solvmanifolds are symplectic.

研究の動機と目的

• コhomologically 極形式的ソルブマンゴルドが真に極形式的であるかどうかを特定すること。これは、ニルマンゴルドにおいて既知の同値性を拡張するものである。
• バウエスの構成を用いて、捩れのない virtually ポリシックな基本群をもつアーシャペラ多様体のコhomological 構造を分析すること。
• 関連するリー群上での不変極形式の存在と、コhomological 極形式的であることの間の関係を確立すること。
• 一般のソルブマンゴルド設定において、コhomological 極形式的であることから極形式的であることへと導くという未解決問題を解決すること。

提案手法

• 捩れのない virtually ポリシックな群 Γ に対して、その実代数的ハウル HΓ を用いて標準的 Γ-多様体 MΓ = α(Γ)\UΓ を構成する。
• HΓ = T ⋉ UΓ の分解を用い、T は最大再帰的部分群で、UΓ は単位的半単純部分群であり、指数写像により UΓ ≅ ℝ^n と同型である。
• 定理 3.6 を適用して、(⋀𝔲*人均)^T ⊂ A*(MΓ) の包含写像がコホモロジーに同型を誘導することを示す。
• H^2(Γ, ℝ) 内の条件 ω^n ≠ 0 を、MΓ 上の点毎に非消滅する条件 (ω^n)Γp ≠ 0 に翻訳する。
• T の作用による ω の不変性と代数的ハウルの構造を用いて、ω が閉じて非退化な 2-形式であることを示す。
• 多様体上での ω^n の非退化性が、ω が MΓ 上の極形式的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 コhomologically 極形式的ソルブマンゴルドは、必然的に極形式的であるか？
• RQ2 コホモロジーにおいて閉じた 2-形式の最高次外積が非消滅するということは、極形式的構造の存在を示唆するのか？
• RQ3 代数的ハウルの構造を用いて、コホモロジー的極形式的条件を真の極形式的 2-形式へと持ち上げることは可能か？
• RQ4 単位的半単純部分群と再帰的部分群は、ソルブマンゴルド上での極形式的を実現するために果たす役割は何か？
• RQ5 リー群上には不変極形式があるが、商多様体上にはないような反例は存在するか？

主な発見

• 捩れのない virtually ポリシックな基本群をもつコhomologically 極形式的でアーシャペラな多様体は、極形式的である。
• バウエスの方法により構成された標準的 Γ-多様体 MΓ は、H^2(Γ, ℝ) に ω^n ≠ 0 を満たすクラス ω が存在する場合、極形式的である。
• H*(MΓ, ℝ) と H*((⋀𝔲*)^T) の同型により、コホモロジー的データが微分形式へと持ち上がる。
• 任意の点 p ∈ MΓ において (ω^n)Γp ≠ 0 であることから、ω が極形式的であることが確認される。
• G/D と Γ = D/D₀ の例は、H^2((⋀𝔲*)^{±1}) が自明であるが、非極形式的であるソルブマンゴルドを示しており、コホモロジー的条件の必要性を裏付ける。
• H/Δ のような極形式的ソルブマンゴルドは、不変極形式をもつ任意の可解リー群によって被覆されない例を示しており、命題 4.1 の逆が成り立たないことを示している。