[論文レビュー] Some examples in toric geometry

Yusuf Civan|ArXiv.org|Jun 2, 2003

Advanced Combinatorial Mathematics参考文献 12被引用数 5

ひとこと要約

本稿は、特徴的行列における頂点行列式の符号を用いて、クォズィトーリック多様体およびユニタリトーリック多様体にほぼ複素構造が存在するための組合せ的条件を確立する。7頂点以上の巡回的4次元多面体の双対体を底面とするほぼ複素クォズィトーリック多様体の非存在を証明し、多ファン構造とオイラー乗数条件を用いて、これらの結果をユニタリトーリック多様体へと拡張する。

ABSTRACT

We present two examples in toric geometry concerning the relationship between toric and quasitoric manifolds, and provide the sufficient conditions on the base polytope and characteristic map so that the resulting quasitoric manifold is almost complex.

研究の動機と目的

• 滑らかなトーリック多様体とクォズィトーリック多様体の違いを明確にし、すべてのクォズィトーリック多様体が滑らかなトーリック多様体から生じるわけではないことを示す。
• デイヴィスとヤヌシュケアヴィッチが提起した、クォズィトーリック多様体におけるほぼ複素構造の存在に関する問題を、組合せ的基準を提示することによって解決する。
• ほぼ複素構造の理論を、クォズィトーリック多様体およびトーリック多様体を含むより広いクラスであるユニタリトーリック多様体へと拡張する。
• クォズィトーリックでもなくトーリックでもない、明示的なユニタリトーリック多様体の例を構成し、これらのクラスの厳密な包含関係を示す。

提案手法

• 単純多面体 Pⁿ の各顔 F に原始的ベクトルを割り当てる特徴的写像 λ: F → ℤⁿ を用い、λ_i が isotropy 円 T(F_i) を生成することを定義する。
• 各列が特徴的ベクトル λ_i^t である n×m 行列 Λ を定義し、各頂点 v における最大小行列式 Λ_v を計算する。
• 頂点符号 σ(v) = det(Λ_v) を導入し、すべての頂点 v に対して σ(v) = 1 であることが、Tⁿ-不変なほぼ複素構造の存在に必要な十分条件であることを示す。
• ポントリャーギン＝トム構成を用い、オムニオリエンテーションを τ(M) ⊕ ℝ²⁽ᵐ⁻ⁿ⁾ ≅ ⨁ρ_i を通じて安定複素構造と関連付ける。
• 安定複素構造のオイラー乗数が M²ⁿ のそれと等しいのは、すべての v に対して σ(v) = 1 のときに限ることを用い、ほぼ複素構造の存在を可能にする。
• 単体複体と λ: V(Δ) → ℤⁿ の写像からなる多ファンを定義することで、ユニタリトーリック多様体へと枠組みを拡張し、各単体 σ に対して σ(p) = det(Λ_σ) を定義する。

実験結果

リサーチクエスチョン

• RQ1 ベースとなる多面体および特徴的写像にどのような組合せ的条件が課されると、クォズィトーリック多様体が Tⁿ-不変なほぼ複素構造をもつのか？
• RQ2 n ≥ 7 頂点を持つ巡回的4次元多面体の双対体をベースとする、ほぼ複素クォズィトーリック多様体を構成できるか？
• RQ3 クォズィトーリックでもなくトーリックでもないユニタリトーリック多様体が存在するか？ そして、このような多様体はどのように構成できるか？
• RQ4 多ファンおよび特徴的写像にどのような条件が課されると、ユニタリトーリック多様体にほぼ複素構造が存在するのか？
• RQ5 ほぼ複素構造の文脈において、多様体のオイラー乗数は、その背後に潜む多ファンの h ベクトルとどのように関係するか？

主な発見

• クォズィトーリック多様体 M²ⁿ に Tⁿ-不変なほぼ複素構造が存在することは、ベースとなる多面体 Pⁿ のすべての頂点 v に対して σ(v) = 1 であることと同値である。
• D₄(7) の双対体をベースとするほぼ複素クォズィトーリック多様体は存在しない。なぜなら、すべての頂点で σ(v) = 1 を満たす特徴的写像が存在しないからである。
• n ≥ 7 のとき、D₄(n) をベースとするほぼ複素クォズィトーリック多様体は、同じ頂点符号条件の障害により存在しない。
• バーネットの球体 𝒮³（f ベクトル (8,27,38,19)，h ベクトル (1,4,9,4,1)）から、λ: V(𝒮) → ℤ⁴ を用いた写像を用いて、明示的なユニタリトーリック多様体を構成した。各3単体 σ に対して det(Λ_σ) = ±1 である。
• このユニタリトーリック多様体は、その背後に潜む単体的球体が非多面体的であり、滑らかなファンを支持しないことから、クォズィトーリックでもトーリックでもない。
• ある正の性質および方向性条件を満たすユニタリトーリック多様体において、すべての固定点 p ∈ M^T に対して σ(p) = 1 であることは、ほぼ複素構造が存在するための必要十分条件である。