[論文レビュー] Brill's equations as a GL(V)-module

Yonghui Guan|arXiv (Cornell University)|Aug 10, 2015

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

ひとこと要約

この論文は、線形形式の積に分解可能な次数$d$の多項式のチャウ多様体のブリルの集合論的方程式を、$GL(V)$-加群として計算する。ブリルの多項式写像の極化と表現論的技法を用いて、この写像の像に現れる既約$GL(V)$-加群を同定し、$\dim V \geq 3$および$d \geq 2$のとき、$d=3$では$S_{(7,3,2)}V^*$に、それ以外では$\bigoplus_{j=2}^{d} S_{(d^2-j,d,j)}V^*$に一致することを示す。

ABSTRACT

The Chow variety of polynomials that decompose as a product of linear forms has been studied for more than 100 years. Brill, Gordon and others obtained set-theoretical equations for the Chow variety. In this article, I compute Brill's equations as a GL(V)-module.

研究の動機と目的

• 次数$d$の多項式のチャウ多様体のブリルの集合論的方程式が$GL(V)$-加群としてどのように構造化されているかを特定すること。
• チャウ多様体を定義する方程式の空間が$GL(V)$の作用の下での表現論的分解を理解すること。
• チャウ多様体のイデアルの次数$d+1$成分に現れる既約$GL(V)$-加群を特定するという未解決問題を解消すること。
• コドメインと加群次元を比較することで、チャウ多様体が完全交差でないことを立証すること。
• 最高重量ベクトルと内積技法を用いて、モジュール論的記述を明示的に提供すること。

提案手法

• ブリルの多項式写像$\mathfrak{B}$の極化$\bar{\mathfrak{B}}$を構成し、$S^{d+1}(S^dV)$から$S_{(d,d)}V \otimes S^{d^2 - d}V$への$GL(V)$-加群写像に変換する。
• ピエリの法則を用いて、ターゲット空間を既約$GL(V)$-加群の直和$\bigoplus_{j=0}^d S_{(d^2 - j, d, j)}V$に分解する。
• 最高重量ベクトルを定義し、上昇作用素を用いて$S^{d+1}(S^dV)$内の重みベクトル$v_j$を構成する。
• $\bar{\mathfrak{B}}$における$v_j$の像を計算し、ヘルミート内積を用いて各既約成分$S_{(d^2 - j, d, j)}V$への射影を実行する。
• 同型成分の直交性と明示的な内積計算を用いて、射影が非ゼロとなる条件を特定する。
• 命題3.15および補題3.16を適用し、$\langle \bar{\mathfrak{B}}(v_j), \tilde{v}_j \rangle \neq 0$が成り立つのは$j \geq 2$または$j=3$かつ$d=3$のときに限ることを示し、最終的な加群分解を得る。

実験結果

リサーチクエスチョン

• RQ1 チャウ多様体$Ch_d(V)$のイデアルの次数$d+1$成分に現れる既約$GL(V)$-加群はどれか？
• RQ2 ブリルの古典的集合論的方程式は、$GL(V)$-加群としての表現論的観点からどのように再解釈できるか？
• RQ3 次数$d$に分解可能な多項式のチャウ多様体を定義する方程式の空間の正確な$GL(V)$-加群構造は何か？
• RQ4 なぜチャウ多様体は完全交差でなく、これは方程式の加群次元とどのように関係するか？
• RQ5 与えられた既約$GL(V)$-加群$S_{(d^2 - j, d, j)}V$がブリル写像の像に含まれる条件は何か？

主な発見

• $d = 3$のとき、チャウ多様体$Ch_3(V)$の次数4の方程式は$GL(V)$-加群として$S_{(7,3,2)}V^*$に同型である。
• $d \neq 3$のとき、次数$d+1$の方程式は$GL(V)$-加群として$\bigoplus_{j=2}^{d} S_{(d^2 - j, d, j)}V^*$の直和に一致する。
• $S_{(7,3,2)}\mathbb{C}^{*3}$の次元は$35$であり、$Ch_3(\mathbb{C}^3)$のコドメインは$3$であるため、多様体は完全交差から大きく離れていることが示される。
• 方程式の次元の主要項は$\frac{d^7}{2}$である一方、$Ch_d(\mathbb{C}^3)$のコドメインは$\frac{d^2}{2}$のオーダーで増加するため、完全交差ではないことが確認される。
• $S_{(d^2, d)}V$および$S_{(d^2 - 1, d, 1)}V$はブリル写像の像に属さず、それぞれ$j=0$および$j=1$に対応する。
• $\bar{\mathfrak{B}}(v_j)$の$S_{(d^2 - j, d, j)}V$への射影が非ゼロとなるのは$j \geq 2$または$j=3$かつ$d=3$のときに限る。この条件が、完全な加群分解を決定する。