[論文レビュー] Five Lectures on Projective Invariants

Giorgio Ottaviani|arXiv (Cornell University)|May 13, 2013

Advanced Topics in Algebra参考文献 47被引用数 3

ひとこと要約

本稿は表現論を用いて射影的不変量の包括的導入を提示し、射影空間内の点の形および配置の不変量に焦点を当てる。ヒルベルト系列と不変環の生成子を計算するための計算ツールとして、グラフィカル代数、テーブル関数、モリエン級数を用いる。主な結果として、$√(6)$-および$Σ_6$-不変環の、$ℕ\sp{2}$上に配置された6個の無順序点に対するヒルベルト系列が得られ、アロンホルト不変量がパフリアンとして特定され、モーリーの立方体が幾何的コベリアントとして同定される。

ABSTRACT

We introduce invariant rings for forms (homogeneous polynomials) and for d points on the projective space, from the point of view of representation theory. We discuss several examples, addressing some computational issues. We introduce the graphical algebra for the invariants of d points on the line. This is an expanded version of the notes for the School on Invariant Theory and Projective Geometry, Trento, September 17-22, 2012.

研究の動機と目的

• 古典的な形および点配置の射影的不変量を理解するための現代的で表現論的な枠組みを提供すること。
• グラフィカル代数およびテーブルに基づく手法を導入することで、不変量理論における計算的課題に取り組むこと。
• $\mathbb{P}^1$および$\mathbb{P}^2$上に配置された6個の無順序点の不変環の明示的ヒルベルト系列と生成子集合を導出すること、ならびに生成子間の関係を示すこと。
• ルーロス四次曲線および立方曲面の文脈において、アロンホルト不変量およびモーリーの立方体といった主要な不変量の幾何的意義を明確にすること。
• 高次元点配置におけるケンプの補題の不成立を示し、線形不変量を超える追加の生成子の必要性を示すこと。

提案手法

• Schur-Weyl双対性および$GL(n+1)$、$SL(n+1)$、$\Sigma_d$の表現論を用いて、形および点集合の不変量を分析する。
• ヤング図式および対称化子を用いて不変部分空間の次元を計算し、テーブル関数を構成する。
• モリエンの公式を用いて不変環のヒルベルト系列を計算し、特に$√(6)$および$Σ_6$作用の下での6点に対するものに特化する。
• $\mathbb{P}^1$上に配置された$d$点の不変量のためのグラフィカル代数を導入し、ケンプの補題を用いて組合せ論的不変量を計算可能にする。
• 記号的表現および不変量の2つの基本定理を用いて、基本的構成要素からすべての不変量を構成する。
• レインズ作用およびプレティズム技法を用いて、対称テンソルの対称冪を既約表現に分解する。

実験結果

リサーチクエスチョン

• RQ1 無順序で$d$個の点が$\mathbb{P}^1$上に配置されたときの不変環の構造は何か？ そして、グラフィカル代数を用いてどのように記述できるか？
• RQ2 $\mathrm{Alt}(6)$-および$\Sigma_6$-不変環の、$\mathbb{P}^2$上に配置された6点に対するヒルベルト系列はどのように異なり、その生成子と関係式は立方曲面の幾何に何を明らかにするか？
• RQ3 ルーロス四次曲線および立方曲面上の6点配置の文脈において、アロンホルト不変量およびモーリーの立方体の幾何的意味は何か？
• RQ4 なぜケンプの補題は$\mathbb{P}^2$上での点に対して不成立となるのか？ そして、完全な不変環を記述するためにどのような新しい生成子が必要か？
• RQ5 クリーモナの六面体方程式は、$\mathbb{P}^2$上に配置された6点の不変量からどのように導出可能か？ そして、それらは立方曲面の幾何に何を明らかにするか？

主な発見

• 無順序で6個の点が$\mathbb{P}^2$上に配置されたときの$\mathrm{Alt}(6)$-不変環のヒルベルト系列は$\frac{1+t^{15}}{(1-t^2)^2(1-t^3)(1-t^5)(1-t^6)}$であり、生成子は$a_2, d_2, a_3, a_5, a_6, \Delta$で、$\Delta^2$が他の生成子の多項式として表される関係がある。
• $\Sigma_6$-不変環の、$\mathbb{P}^2$上に配置された6個の無順序点のヒルベルト系列は$\frac{1+t^{17}}{(1-t^2)(1-t^3)(1-t^4)(1-t^5)(1-t^6)}$であり、生成子は$a_2, a_3, a_4, a_5, a_6, d_2\Delta$で、$(d_2\Delta)^2$が他の生成子の多項式として表される。
• 平面四次曲線のアロンホルト不変量は歪対称行列のパフリアンとして実現され、この基本的不変量の幾何的構成が可能になる。
• モーリーの立方体$\sum \overline{a}^2 a$は、7点を通る六次曲線の分岐四次曲線がルーロス四次曲線であるかどうかを検出する立方コベリアントである。
• クリーモナの六面体方程式—$a+b+c+d+e+f=0$, $\sum \overline{a}a=0$, $\sum a^3=0$—は、セグレ立方体プリマルの超平面切断として立方曲面を定義し、$a+b=c+d=e+f=0$の形の15本の直線は立方曲面上の15本の直線に対応する。
• $\mathbb{P}^2$上に配置された6点の不変量$d_2$は、線形不変量$\overline{a},\ldots,\overline{f}$の多項式として表現できないため、ケンプの補題がこの文脈で不成立であることが示され、$d_2$は2次の独立生成子として必要となる。