[論文レビュー] C^\infty-logarithmic transformations and generalized complex structures

Ryushi Goto, Kenta Hayano|arXiv (Cornell University)|May 17, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用数 3

ひとこと要約

本稿では、自明な正規束を備えたシンプレクティック2-トーラスに沿った$C^\infty$-対数的変換を用いて、4次元多様体上のねじれ一般化複素構造の新規構成を提示する。連続的に多重度0の対数的変換を適用することにより、$(2m-1)\mathbb{C}P^2\#l\overline{\mathbb{C}P}^2$、$(2m-1)S^2\times S^2$、$S^1\times S^3$ といった多様体が、型変化locusに任意の数$n$の連結成分をもつ一般化複素構造をもつことを示している。これは、かつてそのような構造が存在しなかった場合でも同様に成り立つ。

ABSTRACT

Applying logarithmic transformations along 2-tori, we construct a generalized complex structure J_n with n type changing luci for every $n\geq 0$ on genus 1-Lefschetz fibrations with a cusp neighborhood, which include elliptic surfaces with non-zero euler characteristic. Applying a technique of broken Lefschetz fibrations, we further obtain twisted generalized complex structures with arbitrary large numbers of connected components of type changing loci on the manifold which is obtained from a symplectic manifold by logarithmic transformations of multiplicity 0 on a symplectic 2-torus with trivial normal bundle. The connected sums $(2m+1)S^2 imes S^2$ for $m\geq 0$, $(2n-1)\C P^2# (10n-1)\ol{\C P^2}$ and $S^1 imes S^3$ admit twisted generalized complex structures J_n with n type changing luci for arbitrary large n.

研究の動機と目的

• 既存の一般化複素構造の構成法を、特に多重度0および多重度1の対数的変換にまで拡張すること。
• 特に自明な正規束を備えたシンプレクティック2-トーラスに適用された場合に、対数的変換が4次元多様体の微分同相型を保存することを示すこと。
• 既知の4次元多様体上に、型変化locusに任意に大きな数の連結成分をもつ一般化複素構造を構成すること。
• 一般化ケーラー構造においては自然な上限が2つであるのに対し、型変化locusの数をその上限を超えて増加させられることを示し、その挙動の顕著な対比を強調すること。

提案手法

• 著者たちは、自明な正規束を備えた一般化複素4次元多様体に埋め込まれたシンプレクティック2-トーラスに、$C^\infty$-対数的変換（特に多重度0および多重度1）を適用する。
• これらの変換が及える位相的効果を解析するため、壊れたルーファン・フィブレーションの技術を用い、変換後も元の多様体の微分同相型が保たれることを示す。
• 鍵となる技術的道具は、補題4.4であり、これは、cusp近傍をもつ genus-1 ルーファン・フィブレーションにおける2-トーラス上の多重度1対数的変換が、微分同相型を保存することを証明している。
• 変換の周囲のモノドロミーが、$\pi_1(\mathrm{Diff}^+(S^2)) \cong \mathbb{Z}/2\mathbb{Z}$ において自明な要素を誘導するという事実に依拠しており、これにより、全近傍上への微分同相写像の拡張が可能になる。
• この方法は、CavalcantiとGualtieriおよびTorresによる先行研究を一般化し、反復的変換によって任意の$n$への拡張を可能にしている。
• 著者たちは、一般化ケーラー構造と双ヒルベルト構造の同値性を用いて、彼らの結果と、そのような設定において型変化成分が最大2つであるという既知の上限との対比を示している。

実験結果

リサーチクエスチョン

• RQ1 複素構造やシンプレクティック構造をもたない4次元多様体に対し、任意の数の型変化locusをもつ一般化複素構造を構成できるか？
• RQ2 自明な正規束を備えたシンプレクティック2-トーラスに多重度0の対数的変換を適用しても、周囲の4次元多様体の微分同相型は保存されるか？
• RQ3 一般化ケーラー構造において見られる自然な上限2を超えて、型変化locusの連結成分数を増加させられるか？
• RQ4 $S^1\times S^3$ や $S^2\times S^2$ の連結和のような多様体に対して、任意の$n$について$n$個の型変化locusをもつ一般化複素構造を体系的に生成する方法はあるか？
• RQ5 2-球面ファイバー上のグルックのねじれは、関連する2-トーラスにおける多重度1の対数的変換として実現可能か？

主な発見

• $(2m-1)\mathbb{C}P^2\#l\overline{\mathbb{C}P}^2$ は、任意の$n \geq 0$に対して、型変化locusに$n$個の連結成分をもつねじれ一般化複素構造$\mathcal{J}_n$ をもつ。$m \neq 1$ であっても、複素構造やシンプレクティック構造が存在しない場合でも同様に成り立つ。
• 連結和$(2m-1)S^2\times S^2$ は、任意の$n \geq 0$に対して、連続的な多重度0対数的変換により、$n$個の型変化成分をもつねじれ一般化複素構造$\mathcal{J}_n$ をもつ。
• $S^1\times S^3$ は、任意の$n \geq 1$に対して、$\{\ast\}\times T^2 \subset S^2\times T^2$ における多重度0対数的変換により、$n$個の型変化成分をもつねじれ一般化複素構造$\mathcal{J}_n$ をもつ。
• この構成により、自明な正規束を備えたシンプレクティック2-トーラス上の多重度1対数的変換が、4次元多様体の微分同相型を保存することが示された（補題4.4による）。
• 反復的な多重度0対数的変換により、型変化locusの成分数を、かつては1つまたは2つのみをもつ多様体であっても、無限に増加させられる。
• この結果は、一般化ケーラー構造において型変化成分数が2が上限であるという事実と対照的であり、顕著な対比を示している。