[論文レビュー] Kodaira dimensions of almost complex manifolds II

Haojie Chen, Weiyi Zhang|arXiv (Cornell University)|Apr 27, 2020

Geometry and complex manifolds参考文献 54被引用数 18

ひとこと要約

本稿では、擬全純多様体への正則な多重 canonical 写像を用いて、コンパクトなほぼ複素多様体に対する第二の Kodaira 次元および Iitaka 次元を定義し、トップ次元での Kodaira 次元がほぼ複素構造の可積分性を示すことを証明している。4次元多様体において Kodaira 次元が1である場合の構造的性質を確立し、複素幾何における消去定理を一般化し、確率的組合せ論的アプローチにより、tamed symplectic 4次元多様体において、ほぼ Kodaira 次元がシンプレクティック Kodaira 次元によって上から有界であることを示している。

ABSTRACT

This is the second of a series of papers where we study the plurigenera, the Kodaira dimension and the Iitaka dimension on compact almost complex manifolds. By using the pseudoholomorphic pluricanonical map, we define the second version of Kodaira dimension as well as Iitaka dimension on compact almost complex manifolds. We show the almost complex structures with the top Kodaira dimension are integrable. For compact almost complex 4-manifolds with Kodaira dimension one, we obtain elliptic fibration like structural description. Some vanishing theorems in complex geometry are generalized to the almost complex setting. For tamed symplectic $4$-manifolds, we show that the almost Kodaira dimension is bounded above by the symplectic Kodaira dimension, by using a probabilistic combinatorics style argument. The appendix also contains a few results including answering a question of the second author that there is a unique subvariety in exceptional curve classes for irrational symplectic $4$-manifolds, as well as extending Evans-Smith's constraint on symplectic embeddings of certain rational homology balls by removing the assumption on the intersection form.

研究の動機と目的

• 擬全純多重 canonical 写像の像次元を用いて、コンパクトなほぼ複素多様体上における第二の Kodaira 次元および Iitaka 次元を定義すること。
• 特に4次元において、ほぼ複素設定下での高次元 Kodaira 次元の幾何的・位相的意味を調査すること。
• 複素幾何における消去定理を、ほぼ複素カテゴリに一般化すること。
• ほぼ Kodaira 次元をシンプレクティック不変量、特に tamed symplectic 4次元多様体において関連付けること。
• $\mathbb{C}P^n$, $S^6$, および同次空間 $G/T$ のような特定の空間におけるこれらの不変量の振る舞いを調査すること。

提案手法

• $(J,\mathcal{J})$-擬全純な $\mathcal{K}_X^{\otimes m}$ の切断を用いて、$\Phi_m: X \setminus B \to \mathbb{C}P^N$ を定義する。
• この $\Phi_m$ の像が $\mathbb{C}P^N$ 内の開な解析的部分多様体であることを証明し、Iitaka 次元をその像の最大複素次元として定義可能にする。
• 擬全純写像の構造とホッジ理論を用いて、$\kappa_J(X) = \dim_{\mathbb{C}} X$ ならば $J$ が可積分であることを示す。これは多重 canonical 系の解析を通じて達成される。
• tamed symplectic 4次元多様体において、ほぼ Kodaira 次元 $\kappa_J(X)$ がシンプレクティック Kodaira 次元 $\kappa^s(X,\omega)$ によって上から有界であることを、確率的組合せ論的アプローチにより証明する。
• ラインバンドル上にほぼ複素構造を構成し、$m$-重生成数 $P_m(X,J)$ を $\mathcal{K}_X^{\otimes m}$ の擬全純切断の空間の次元として定義する。
• 同次空間 $G/T$ 上のラインバンドルの Iitaka 次元を、非可積分なほぼ複素構造をもつ非標準的ルート分解 $R = R_1 \sqcup R_2$ で $R_1 = -R_2$ となるように分解することにより研究する。

実験結果

リサーチクエスチョン

• RQ1 多重 canonical 写像の像次元を用いて定義される第二の Kodaira 次元が、最大値に達した場合に、ほぼ複素構造の可積分性を検出できるか？
• RQ2 tamed symplectic 4次元多様体において、ほぼ Kodaira 次元がシンプレクティック Kodaira 次元によって上から有界であるか。また、そのような有界性を達成するための技法は何か？
• RQ3 非可積分なルート分解から得られる非可積分なほぼ複素構造をもつ $G/T$ 上の反 canonical バンドルの Iitaka 次元の振る舞いはいかなるものか？
• RQ4 擬全純な双有理写像に関して、コンパクトなほぼ複素4次元多様体上で Kodaira 次元および Iitaka 次元が双有理不変量であるか？
• RQ5 $M \times S^1$ 上の不変量 $\kappa_J$, $\kappa_{J}$, および $h^{p,0}$ が、3次元多様体上のほぼ接触構造に対して意味のある不変量を誘導するか？

主な発見

• コンパクトなほぼ複素多様体 $(X,J)$ に対して、Kodaira 次元 $\kappa_J(X)$ が $\dim_{\mathbb{C}} X$ に等しいならば、$J$ は可積分である。
• Kodaira 次元が1であるコンパクトなほぼ複素4次元多様体では、多重 canonical 写像が、複素多様体上への擬全純な楕円ファイブレーション構造を誘導する。
• tamed symplectic 4次元多様体において、ほぼ Kodaira 次元 $\kappa_J(X)$ はシンプレクティック Kodaira 次元 $\kappa^s(X,\omega)$ によって上から有界である。この結果は、確率的組合せ論的アプローチにより証明された。
• コンパクトなほぼ複素4次元多様体において、重生成数 $P_m(X,J)$ は双有理不変量である。これは、$\kappa_J(X)$ が4次元においても双有理不変量であることを示唆する。
• 非有理的シンプレクティック4次元多様体では、各例外的曲線類に対して、一意な部分多様体が存在する。これは、第二著者の質問に答えている。
• 非標準的ルート分解から得られる非可積分なほぼ複素構造をもつ $G/T$ 上の反 canonical バンドルの Iitaka 次元は計算可能であり、これは Evans-Smith のシンプレクティック埋め込み制約を一般の交差形式へ拡張する。