[論文レビュー] The Euler characteristic as a polynomial in the Chern classes

Cristina Bertone|ArXiv.org|May 6, 2008

Advanced Algebra and Geometry参考文献 4被引用数 6

ひとこと要約

本稿では、スターリング数の第一種とアンブレル計算を用いて、斉次関数のチェーン類を計算可能な多項式に変換することで、一様なベクトル束およびそのねじれ束のオイラー特性の明示的多項式表現を導出する。主な貢献は、チェーン類とねじれパラメータを用いた多項式の計算を高速化する効率的なアルゴリズムの開発であり、従来の方法に比べて計算速度を著しく向上させる。

ABSTRACT

In this paper we obtain some explicit expressions for the Euler characteristic of a rank n coherent sheaf F on P^N and of its twists F(t) as polynomials in the Chern classes c_i(F), also giving algorithms for the computation. The employed methods use techniques of umbral calculus involving symmetric functions and Stirling numbers.

研究の動機と目的

• 射影空間 ℙ^N 上のランク n の一様な層 ℱ のオイラー特性 χ(ℱ) を、そのチェーン類 c_i(ℱ) で表す一般の多項式表現を導出すること。
• この結果をねじれ層 ℱ(t) に拡張し、χ(ℱ(t)) を表す多項式 G(c₁,…,c_N,t) を提供すること。
• 対称関数、スターリング数、アンブレル計算を用いた効率的な計算アルゴリズムを開発し、これらの多項式の実用的評価を可能にすること。
• 単項式から基本対称関数への基底変換における計算ボトル neck を克服するため、最適化された再帰的手続きを用いた高速化手法の開発。

提案手法

• すべての成分が非負の整数である 𝑎_i ≥ 0 を用いた完全に分解可能な層 ⊕𝒪(𝑎_i) を解析することで、分割原理を適用し、χ(ℱ) を 𝑎_i の対称多項式として表現する。
• h⁰(⊕𝒪(𝑎_i)) = Q_N(𝑎₁,…,𝑎_n)/N! を満たす多項式 Q_N(𝑥₁,…,𝑥_n) を定義し、これは 𝑎_i に関して対称である。
• スターリング数の第一種を用いて、多項式 R_N(𝑎) = N! ⋅ h⁰(𝒪(𝑎)) を単項式に展開し、対称関数の母関数と関連付ける。
• アンブレル計算とノイマン＝ギラールの公式を用いて、𝑎_i の対称多項式を基本対称関数（すなわちチェーン類 c_i）の多項式に変換する。
• べき和に関連する行列 M_k の行列式を再帰的に計算するアルゴリズムを導出し、高価な行列構築を高速な再帰的評価に置き換える。
• 二項係数と t の累乗を用いてねじれチェーン類 c_i(ℱ(t)) のバージョンを構築し、主多項式に代入することで G(c₁,…,c_N,t) を得る。

実験結果

リサーチクエスチョン

• RQ1 射影空間 ℙ^N 上の一様な層 ℱ のオイラー特性 χ(ℱ) は、そのチェーン類 c₁(ℱ),…,c_N(ℱ) の普遍的多項式として表現可能か？
• RQ2 対称関数論を用いて、任意のランク n と次元 N に対して、このような多項式を明示的に計算する方法は何か？
• RQ3 これらの多項式を導出する計算複雑度は何か？ そして、再帰的または記号的技法を用いることでこれを低減可能か？
• RQ4 ねじれ層 ℱ(t) のオイラー特性は、ℱ のチェーン類とねじれパラメータ t にどのように依存するか？
• RQ5 直接的な基底変換手法に比べて高速化できる、効率的なアルゴリズムを構築可能か？

主な発見

• 本稿では、任意のランク n の一様な層 ℱ に対して、χ(ℱ) = P(c₁(ℱ),…,c_N(ℱ)) を満たす明示的多項式 P(C₁,…,C_N) ∈ ℚ[C₁,…,C_N] を提供する。
• ℙ^20 に対して、最適化されたアルゴリズム chifast(n,20) はオイラー特性多項式を 7.72 秒で計算可能であり、従来法の 172.14 秒に比べて著しく高速化されている。
• 本手法は、ラインバンドルの h⁰ を単項式に展開するためのスターリング数の第一種を用いており、基本対称関数への変換を可能にする。
• 再帰的行列式アルゴリズムにより、行列構築を置き換え、N=20 の場合に計算時間を 95% 以上削減している。
• ねじれオイラー特性 χ(ℱ(t)) は、主多項式 P にねじれチェーン類 c_i(ℱ(t)) を代入することで得られる多項式 G(C₁,…,C_N,T) を用いて計算される。
• ℙ^6 に対して、χ(ℱ(t)) の多項式が明示的に計算されており、t と c₁,…,c₆ に依存し、t に関して最大次数 6 まで、チェーン類の混合単項式を含む項が存在する。