[論文レビュー] Weighted Projective Spaces from the toric point of view with computational applications

Michele Rossi, Lea Terracini|arXiv (Cornell University)|Dec 7, 2011

Algebraic Geometry and Number Theory参考文献 13被引用数 11

ひとこと要約

本稿は、ヘルメート型標準形と横断的行列演算を用いて、重み付き射影空間（wps）のファイとポリトープを特徴づける、包括的なトーリック幾何学的枠組みを提示する。線形代数的構成法により、ポリトープ内の格子点数え上げを用いたラインバンドルのコホモロジーの計算手順を確立し、ボット＝ツー型の明示的公式を導出し、計算可能である点でドォルガチェフの結果を一般化する。

ABSTRACT

The purpose of the present paper is threefold. First: giving a treatise on weighted projective spaces by the toric point of view. Second: providing characterizations of fans and polytopes giving weighted projective spaces, with particular focus on a kind of \emph{recognition process} of toric data like fans and polytopes. Third: building a mathematical framework for the algorithmic and computational approach to wps's realized in [23,24].

研究の動機と目的

• 非専門家を対象に、重み付き射影空間（wps）に関する自己完結的でトーリック幾何学的論説を提供すること。
• ヘルメート型標準形と横断的行列操作を用いて、wps を定義するファイとポリトープを特徴づけることにより、アルゴリズム的構成を可能にする。
• wps 上のラインバンドルのコホモロジーの計算フレームワークを確立し、数学的ソフトウェアにおける自動処理を支援すること。
• 与えられたトーリックデータが wps に対応するかを検証可能な認識手順を提供すること。
• 凸幾何学を用いてドォルガチェフのコホモロジー結果を一般化し、格子点数え上げを用いた実装可能な公式を提供すること。

提案手法

• 重みベクトル $Q^T$ のヘルメート型標準形（HNF）を用い、$U \cdot Q^T = B = (1,0,\ldots,0)^T$ を満たすファイ行列 $U$ を構成することで、線形代数とトーリックデータを結びつける。
• 重み付き移行プロセスを導入し、選択された重み $q_0$ に対応する列を削除することで、wps ファイから最小極化ポリトープを生成する。
• セール＝グロテンディーク双対性と定理 4.8 を適用し、コホモロジー計算をポリトープ $m\Delta$ と $-m\Delta$ の面内の格子点数え上げに還元する。
• 格子点 $\mathbf{u}$ を含む $m\Delta$ の最小の面の次元を $s(\mathbf{u},m)$ と定義し、この値が二項係数を用いてコホモロジー次元を決定する。
• 還元定理を用いて、$Q'$ が重みベクトルの簡約形であるとき $\mathbb{P}(Q) \cong \mathbb{P}(Q')$ が成り立つことを示し、データ表現の簡略化を可能にする。
• アルゴリズム 2.6 を実装し、数学的ソフトウェアにおける標準的な HNF アルゴリズムを用いて wps ファイを計算することで、手計算可能かつ自動化可能な手順を実現する。

実験結果

リサーチクエスチョン

• RQ1 重みベクトルから線形代数を用いて、重み付き射影空間のファイをどのようにアルゴリズム的に再構成できるか？
• RQ2 極化された重み付き射影空間を定義するポリトープを特徴づける条件は何か？ また、そのファイからどのようにそのポリトープを構成できるか？
• RQ3 凸幾何学と格子点数え上げを用いて、重み付き射影空間上のラインバンドルのコホモロジーをどのように計算できるか？
• RQ4 ドォルガチェフのコホモロジー公式とボット＝ツーの公式の間の正確な関係は何か、トーリック設定下で？
• RQ5 有理的ポリトープ $m\Delta$ が内部に格子点を含まない条件は何か？ そして、これはコホモロジーの消滅とどのように関係するか？

主な発見

• ファイ $\mathbb{P}(Q)$ は、$U \cdot Q^T = (1,0,\ldots,0)^T$ を満たす行列 $U$ によって符号化され、ヘルメート型標準形アルゴリズムによりその存在が保証される。
• 重み付き移行プロセスにより、$\mathbb{P}(Q)$ の最小極化ポリトープを構成可能であり、これはファイ行列を転置し、重みでスケーリングした後、ある列を削除することで等価に得られる。
• $m \geq 0$ のとき、次元 $h^0\Omega^p(m)$ は、$M \cap m\Delta$ 内の格子点 $\mathbf{u}$ 全体にわたる $\binom{s(\mathbf{u},m)}{p}$ の和に等しい。ここで $s(\mathbf{u},m)$ は $\mathbf{u}$ を含む最小の面の次元である。
• $0 < q < n$ のとき、$m \neq 0$ ならば $h^q\Omega^p(m) = 0$ であり、$m = 0$ のとき $h^q\Omega^p = 1$ となるのは $q = p$ の場合に限る。
• $m \leq 0$ のとき、$h^n\Omega^p(m) = \sum_{\mathbf{u} \in M \cap (-m)\Delta} \binom{s(\mathbf{u},-m)}{n-p}$ であり、$h^n\Omega^p = 1$ となるのは $p = n$ かつ $m = 0$ の場合に限る。
• もし $\mathbb{P}(Q)$ がゴレンシュタインであるならば、$m\Delta$ 内の内部格子点数は $(m - |Q|/\delta)\Delta$ 内のそれと等しく、$-|Q|/\delta < m < 0$ のとき $h^n\mathcal{O}(m) = 0$ となる。これは $0 \leq m < |Q|/\delta$ において $m\Delta$ に内部格子点がないことを意味する。