[論文レビュー] A Macaulay2 package for characteristic classes and the topological Euler characteristic of complex projective schemes

Christine Jost|arXiv (Cornell University)|Jan 17, 2013

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

ひとこと要約

本稿では、複素射影的スキームのトポロジカルなオイラー特性、チャーン類、シグレ類を記号的および数値的手法を用いて計算する Macaulay2 パッケージ CharacteristicClasses を提示する。残留計算を活用し、数値代数幾何のための Bertini と統合することで、射影空間内の滑らかでない多様体を含む特徴的不変量の効率的計算を可能にする。

ABSTRACT

The Macaulay2 package CharacteristicClasses provides commands for the computation of the topological Euler characteristic, the degrees of the Chern classes and the degrees of the Segre classes of a closed subscheme of complex projective space. The computations can be done both symbolically and numerically, the latter using an interface to Bertini. We provide some background of the implementation and show how to use the package with the help of examples.

研究の動機と目的

• 複素射影的スキームの特徴的類およびトポロジカルなオイラー特性を計算するためのツールを提供すること。
• 滑らかでないだけでなく特異な射影的多様体に対しても特徴的不変量を計算する課題に対処すること。
• 代数幾何における堅牢で効率的な計算を実現するため、記号的および数値的アルゴリズムを実装すること。
• Bertini と統合して数値的解法を提供し、高次元または複雑なスキームにおける性能を向上させること。
• イデアルおよび射影的多様体の入力を両方サポートすることで、代数幾何の応用分野における使いやすさを向上させること。

提案手法

• スキームを含む超曲面の交差における残留分解を用いて、チャーン類およびシグレ類の次数を計算する。
• 理想の飽和を用いた残留計算の記号的処理にグレブナー基底技法を適用する。
• 記号的手法が非効率な場合に、Bertini とのインターフェースを通じて数値代数幾何を用いて多項式系を解く。
• 開部分多様体がイデアルによって定義される場合に、包含除算の原理を適用してトポロジカルなオイラー特性を計算する。
• ℙⁿ へのプッシュフォワードと次数計算の等価性を活用して、特徴的類を表現する。
• Macaulay2 で特徴的不変量に直接アクセスできるコマンド chernClass、segreClass、eulerChar を実装する。

実験結果

リサーチクエスチョン

• RQ1 滑らかでない多様体を含め、複素射影的スキームの特徴的類およびトポロジカルなオイラー特性を効率的に計算する方法は何か？
• RQ2 残留成分が、特徴的類の計算をより単純な交差問題に還元する役割を果たす仕組みは何か？
• RQ3 記号的および数値的手法の組み合わせが、特徴的類の計算におけるスケーラビリティと頑健性をどのように向上させるか？
• RQ4 Macaulay2 の Aluffi の CSM パッケージなどの既存ツールと比べて、このパッケージはどのように補完的か？
• RQ5 統計的モデルの最大尤度次数とは何か？そして、開部分多様体のトポロジカルなオイラー特性を用いてどのように計算できるか？

主な発見

• パッケージは、ランダム・センシング・モデルのトポロジカルなオイラー特性を 3 として正しく計算し、代数統計における最大尤度次数を確認した。
• ホワイトニーの傘の特異点集合は直線（次数 1）として計算され、最初のシグレ類の次数は 0 であり、2 つのピンチ・ポイントの存在と整合的である。
• ねじれ立方曲線のチャーン類は、 Chow 環 ℤ[H]/(H⁴) 内で 2H² + 3H³ として計算され、それぞれ次数 3 と 2 である。
• Bertini を用いた数値的計算は、記号的計算と同一の結果をもたらし、インターフェースの信頼性を裏付けた。
• ランダム・センシング・モデルの開部分多様体のトポロジカルなオイラー特性は、定義イデアルに対する包含除算の適用により 5 − 2 = 3 として計算された。
• このパッケージは、代数幾何および統計学における重要な不変量であるトポロジカルなオイラー特性のサポートを追加することで、先行実装を拡張した。