[論文レビュー] On the Splitting Type of an Equivariant Vector Bundle over a Toric Manifold

Chien‐Hao Liu, Shing‐Tung Yau|ArXiv.org|Feb 4, 2000

Algebraic Geometry and Number Theory参考文献 21被引用数 3

ひとこと要約

本稿では、トーリック多様体上の等変ベクトル束の分割型と、Kaneyamaの分類データとの明確な対応関係を確立し、非分解型の束についても明示的な分割型の計算を可能にする。著者らは、このような束が線分束に分解する条件を特定する手法を導出し、複素射影平面 ℂP² 上のランク2束およびトーリック曲面の接束／余接束に適用した。計算は、最大9点のブ low-up までを扱う Mathematica パッケージを用いて実行された。

ABSTRACT

From the work of Lian, Liu, and Yau on "Mirror Principle", in the explicit computation of the Euler data $Q=\{Q_0, Q_1, ... \}$ for an equivariant concavex bundle ${\cal E}$ over a toric manifold, there are two places the structure of the bundle comes into play: (1) the multiplicative characteric class $Q_0$ of $V$ one starts with, and (2) the splitting type of ${\cal E}$. Equivariant bundles over a toric manifold has been classified by Kaneyama, using data related to the linearization of the toric action on the base toric manifold. In this article, we relate the splitting type of ${\cal E}$ to the classifying data of Kaneyama. From these relations, we compute the splitting type of a couple of nonsplittable equivariant vector bundles over toric manifolds that may be of interest to string theory and mirror symmetry. A code in Mathematica that carries out the computation of some of these examples is attached.

研究の動機と目的

• トーリック多様体上の等変ベクトル束の分割型を、トーラス作用の線形化に関するKaneyamaの分類データに関連付けること。
• 非分解型の等変ベクトル束、特に複素射影平面 ℂP² 上のランク2束およびトーリック曲面の接束／余接束の分割型を計算すること。
• 最大9点の ℂP² の等変ブロー・アップまでをカバーする、トーリック曲面の接束の分割型を特定するための計算フレームワークを、Mathematica パッケージを用いて提供すること。
• Eulerデータを用いたトーリックミラー対称性の広範な目的を支援するため、分割型の明示的計算を可能にする。

提案手法

• トーラス作用の線形化に関連するデータを用いて、トーリック多様体上の等変ベクトル束をKaneyamaが分類した手法を用いる。
• ランク2束の分割型を、線分束を含む完全系列における写像 η を介して拡張類を分析することで、ℂP² 上に適用する。
• 重み付き円形グラフ表現を用い、重みがブロー・アップのデータを符号化しており、等変ブロー・アップにおける束の分割挙動を追跡可能にする。
• 束のデータから得られる行列方程式を用いて、整数環上での線形代数的手法により分割数を解く。
• 連続する等変ブロー・アップから生成されるすべての可能な重み付き円形グラフを生成し、分割型系の可解性をチェックする Mathematica パッケージを実装する。
• 線形方程式系を用いて、分割型が存在するかを判定し、対応する分割数を計算する。

実験結果

リサーチクエスチョン

• RQ1 ℂP² 上の非分解型等変ランク2束のうち、どのものが分割型をもつのか。また、それらの分割型は何か。
• RQ2 どの条件下で、トーリック曲面の接束または余接束が線分束への分割型をもつのか。
• RQ3 ℂP² や ℱₐ の連続する等変ブロー・アップによって得られるトーリック曲面の接束の分割型は、どのように変化するか。
• RQ4 重み付き円形グラフ表現から、トーリック曲面の接束の分割型をアルゴリズム的に決定できるか。
• RQ5 最大9点の ℂP² の等変ブロー・アップから得られるトーリック曲面のうち、接束が分割型をもつものはどれか。

主な発見

• ℂP² 上のランク2等変束の分割型は、拡張類 η によって決定され、関連する方程式系が整数解を持つときかつそのときに限り、分割型が存在する。
• ℂP² において、分割型をもつ唯一の非分解型等変ランク2束は接束であり、これは 𝒪(1) ⊕ 𝒪(1) に分解する。
• ℂP² の最大9点の等変ブロー・アップから得られるトーリック曲面のうち、接束が分割型をもつのは有限個であり、アルゴリズムにより完全に分類されている。
• トーリック曲面の接束が分割型をもつのは、重み付き円形グラフから導かれる線形方程式系が非負整数解を持つときかつそのときに限り、成り立つ。
• Mathematica パッケージは、最大9ブロー・アップまでのすべてのこのような曲面について、分割型を正しく計算できており、その結果は出力ファイルに保存されている。
• 本手法により、トーリック曲面の接束の分割型を体系的に計算可能となり、ミラー対称性や弦理論への応用に向けた計算ツールを提供する。