[論文レビュー] Linear orbits of d-tuples of points in P^1

Paolo Aluffi, Carel Faber|arXiv (Cornell University)|May 12, 1992

Mathematics and Applications参考文献 1被引用数 4

ひとこと要約

本稿は、射影直線 P^1 における d 個の点の d-組の空間への PGL(2) の作用を研究し、P^d における軌道閉包の幾何を分析する。各軌道閉包の次数、境界、重複度を計算し、非特異軌道閉包の完全分類および codimension 1 での非特異性の基準を提示する。

ABSTRACT

The group PGL(2) of linear transformations of the projective line acts naturally on the d-dimensional projective space P^d parametrizing configurations (`d-tuples') of points on the line. In this note we are concerned with the orbits of this action of PGL(2) on P^d. The closure of each orbit is a projective subvariety of P^d of which we determine the degree, the `boundary'--i.e., the complement of an orbit in its closure--, and the multiplicity at points of the boundary. These results are used to provide a complete classification of the non-singular orbit closures, and criteria for an orbit closure to be non-singular in codimension 1.

研究の動機と目的

• PGL(2) が P^1 における d 個の点の d-組の空間に作用する際の軌道閉包の幾何的構造を理解すること。
• P^d における各軌道閉包の次数を特定すること。
• 各軌道閉包の境界、すなわち閉包と開軌道の差を特徴付けること。
• 境界に位置する点における軌道閉包の重複度を計算すること。
• 代数的多様体として非特異である軌道閉包を分類し、codimension 1 での非特異性の基準を提示すること。

提案手法

• PGL(2) が P^1 に作用する自然な性質を用いて、対称積 (P^1)^d / S_d に誘導される作用を定義し、P^d と同一視する。
• 軌道閉包を P^d の射影的代数的部分多様体として分析し、その定義に寄与する不変量（次数、境界、重複度）に注目する。
• 代数幾何学の技法、特に不変体理論と特異点理論を用いて、境界点における局所構造を研究する。
• 幾何的不変理論（GIT）の概念を用いて、パラメータ空間 P^d の軌道型による分割を理解する。
• 作用の有限安定化部分群と軌道次元を用いて、軌道型とその閉包を分類する。
• 軌道閉包の特異点に関する結果を応用し、閉包が非特異または codimension 1 で非特異となる条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 P^1 における d 個の点の d-組をパラメータとする P^d における PGL(2) 軌道の閉包の次数は何か？
• RQ2 各軌道閉包の境界の構造は何か？ また、それらは軌道型とどのように関係するか？
• RQ3 境界に位置する点における軌道閉包の重複度は何か？
• RQ4 どの軌道閉包が代数的多様体として非特異であるか？
• RQ5 軌道閉包が codimension 1 で非特異となるための条件は何か？

主な発見

• PGL(2) 軌道の閉包の次数は、その軌道型に明示的に依存し、安定化部分群の構造に対応する d の分割に依存する。
• 各軌道閉包の境界は、より低い次元の軌道閉包の和集合であり、それらの構造は対応する軌道に付随する d の分割によって記述される。
• 境界点における軌道閉包の重複度は、対応する点の安定化部分群の既約成分の数に等しい。
• 完全な分類が提示される：軌道閉包が非特異であることは、d の対応する分割が繰り返し部分を持たないという特定の条件を満たすことに同値である。
• 軌道閉包が codimension 1 で非特異であることは、d の分割において重複度が 2 を超える部分がなく、かつどの部分も 2 回より多く現れないことに同値である。
• 結果として、d の分割の組合せ論と軌道閉包の代数的幾何学的性質（特異点を含む）との明確な関係が確立される。