[論文レビュー] Calculation of Thom polynomials for group actions

L Fehér, Richárd Rimányi|ArXiv.org|Sep 8, 2000

Algebraic Geometry and Number Theory参考文献 22被引用数 4

ひとこと要約

本稿では、群作用のトム多項式を計算する体系的な手法を提示する。この手法は制限方程式を用い、等変トポロジーおよび代数幾何学における特異点のコhomological障害を効率的に計算する。主な貢献は、特異点論および退化局所多様体の公式における既知の結果を回復・拡張する統一的な枠組みを提供することであり、GL(n)の表現および軌道の層化のためのカザリアンスペクトル系列への応用を含む。

ABSTRACT

In this paper we propose a systematic study of Thom polynomials for group actions defined by M. Kazarian. On one hand we show that Thom polynomials are first obstructions for the existence of a section and are connected to several problems of topology, global geometry and enumerative algebraic geometry. On the other hand we describe a way to calculate Thom polynomials: the method of restriction equations. It turned out that though the idea is quite simple the method is very powerful. We reproduced and improved earlier result in several directions (singularities, Schubert calculus, quivers). However a proper introduction to the basic theorems was missing. In this paper we try to pay this debt as well as we present the connections with obstruction theory and equivariant cohomology. We give some new results and outline possible generalizations and problems.

研究の動機と目的

• ファイバー束におけるセクションの存在のためのコhomological障害を表すトム多項式を、群作用について体系的に計算する手法の開発。
• トム多項式、障害理論、および等変コhomologyの関係を明らかにすること、特にカザリアンスペクトル系列を通じての視点。
• 従来、滑らかな写像の特異点に用いられていた制限方程式の手法を、任意の群作用および表現へ一般化すること。
• GL(n)、GL(2)、および随伴表現などの古典的群の代表的表現について、明示的なトム多項式の計算を提供し、新規の結果を得ること。
• カザリアンスペクトル系列が、表現の軌道の層化において、軌道の型の数をどのように予測できるかを示すこと。

提案手法

• 群が軌道閉包の正規バンドルに作用するもとで、得られる線形方程式系を解くことにより、制限方程式の手法を用いてトム多項式を計算する。
• 等変ポアンカーレ双対性を活用し、全空間を一点に収縮させることで誘導される写像の核として障害イデアルを特定する。
• 軌道型による表現空間の層化を整理するためにカザリアンスペクトル系列を用い、エッジ準同型がトム多項式を与える。
• 多くの複素表現において、スペクトル系列がE1で退化することが示され、計算が簡略化され、コhomologyランクに対する組合せ論的技法の適用が可能になる。
• 線形群作用の射影化に関する公式を導出し、退化局所多様体の次数を直接計算可能にする。
• 古典的結果（ギアムベリ＝トム＝ポルトゥースの公式など）を再現し、それらを新たな設定へ拡張することで、手法の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな写像の古典的状況を超えて、群作用のためのトム多項式をどのように体系的に計算できるか。
• RQ2 カザリアンスペクトル系列は、軌道の層化をどのように整理し、障害類を計算するか。
• RQ3 制限方程式の手法を再結合的群の任意の表現へ一般化できるか。
• RQ4 スペクトル系列を用いて、低余次元のデータのみから、表現における軌道型の数を予測できるか。
• RQ5 代数幾何学におけるトム多項式と退化局所多様体の公式の関係は何か。

主な発見

• 制限方程式の手法は、GL(n)の表現（随伴表現やGL(2)を含む）について、トム多項式を効果的に計算でき、新規の明示的公式を導出する。
• GL(n) × GL(n+k)の表現において、カザリアンスペクトル系列がE1で退化し、組合せ論的恒等式を用いてコhomologyランクを計算可能になる。
• スペクトル系列を余次元3まで解析することで、GL(n)作用における余次元4の層の数が2であると予測され、既知の分類と一致する。
• 射影化された群作用における退化局所多様体の次数について、簡潔な公式が導出され、ポルトゥース、ハリスとトゥ、フライトンの結果を一般化する。
• スペクトル系列のアプローチにより、整数分割に関連する組合せ論的恒等式が明らかになり、BU(∞)のコhomology群のランクが確認される。
• 等変コhomologyにおける障害イデアルが、セクションが存在するための必要十分条件として、かつてゼロであることが示され、セクション存在のコhomological基準が得られる。