[論文レビュー] Aspherical Kähler Manifolds with Solvable Fundamental Group

Oliver Baues, Vicente Cortés|ArXiv.org|Jan 25, 2006

Geometry and complex manifolds参考文献 32被引用数 6

ひとこと要約

この論文は、ほとんど可縮的で、非常に可解な基本群をもつコンpaktoなアーシャペルKähler多様体が、複素等長変換の離散群による$√^n$の商にbiholomorphicであることを証明している。主な結果は、アーリオベーゼ写像を分析することによって得られ、多様体がホモトピー的トーラスであるとき、それがbiholomorphicであることを示す。これにより、Kähler構造下でのこのような多様体の分類は、複素トーラスおよびその離散商によって完全に達成される。

ABSTRACT

We survey recent developments which led to the proof of the Benson-Gordon conjecture on Kähler quotients of solvable Lie groups. In addition we prove that the Albanese morphism of a Kähler manifold which is a homotopy torus is a biholomorphic map. The latter result then implies the classification of compact aspherical Kähler manifolds with (virtually) solvable fundamental group up to biholomorphic equivalence. They are all biholomorphic to complex manifolds which are obtained as a quotient of $\bbC^n$ by a discrete group of complex isometries.

研究の動機と目的

• 可解リー群のKähler商に関するベンソン＝ゴードン予想を解決すること。
• 非常に可解な基本群をもつコンパクトなアーシャペルKähler多様体をbiholomorphic同値関係で分類すること。
• トーラスとホモトピー同値なKähler多様体は、複素トーラスにbiholomorphicであることを確立すること。
• このような多様体におけるアーリオベーゼ写像が双正則写像であることを示し、複素構造および滑らかさの構造を制約すること。

提案手法

• トポロジー的構造と複素幾何的構造を結びつける中心的ツールとしてアーリオベーゼ準同型を用いる。
• 正則写像の次数論の応用：次数1であることは双正則写像を意味することを示す。
• コhomological条件の活用：$H^1(X,\mathbb{Z})$ が $H^{2n}(X,\mathbb{Z})$ を生成するならば、アーリオベーゼ写像の次数は1である。
• 微分形式の積分とストークスの定理を用いて、$[\omega] \in f^*H^2(Y,\mathbb{R})$ を満たすproperな正則写像$f$ が有限であることを証明する。
• リーマンの拡張定理を用いて、解析的特異集合を越えて正則な逆写像を拡張する。
• 多可解Kähler群、べき零基本群、およびニューランダー＝ニレングェルの定理の結果を統合し、構造をアーベル群および複素トーラスのケースに還元する。

実験結果

リサーチクエスチョン

• RQ1 Kähler多様体がトーラスとホモトピー同値であるとき、それが複素トーラスにbiholomorphicである条件は何か？
• RQ2 コンパクトでアーシャペルな多様体に非常に可解な基本群とKähler計量が存在するとき、複素構造が$√^n$の離散複素等長変換群による商に強制されるか？
• RQ3 可解リー群のKähler商に関するベンソン＝ゴードン予想は、複素幾何的技法を用いて解決可能か？
• RQ4 アーリオベーゼ写像は、可解な基本群をもつアーシャペルKähler多様体のbiholomorphic同値関係を検出する上でどのような役割を果たすか？
• RQ5 $H^1$ と $H^{2n}$ におけるコhomological条件は、アーリオベーゼ写像の次数およびファイバー構造をどのように制約するか？

主な発見

• ホモトピー的トーラスであるKähler多様体のアーリオベーゼ準同型は、双正則写像である。
• 非常に可解な基本群とKähler計量をもつコンパクトなアーシャペルKähler多様体は、$√^n$の離散複素等長変換群による商にbiholomorphicである。
• $H^1(X,\mathbb{Z})$ が $H^{2n}(X,\mathbb{Z})$ を生成するとき、アーリオベーゼ写像の次数は1であり、これは単射を意味する。
• Kähler類 $[\omega]$ が $f^*H^2(Y,\mathbb{R})$ に属するとき、アーリオベーゼ写像は有限である。これにより、ファイバーが有限であることが保証される。
• リーマンの拡張定理により、アーリオベーゼ写像の逆写像は特異値を越えて正則に拡張可能であり、双正則性が確認される。
• このような多様体の分類は、複素トーラスおよびその離散商に還元され、ベンソン＝ゴードン予想の解決が完全に達成される。