[论文解读] Brill's equations as a GL(V)-module

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

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

一句话总结

本文计算了关于可分解为线性形式乘积的次数为 $d$ 的多项式之 Chow 变换的 Brill 集合论方程，将其视为 $GL(V)$-模。通过 Brill 多项式映射的极化及表示论技巧，确定了该映射像中不可约 $GL(V)$-模的结构，表明当 $\dim V \geq 3$ 且 $d \geq 2$ 时，方程对应于 $S_{(7,3,2)}V^*$（当 $d=3$ 时），其余情况则对应于 $\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.

研究动机与目标

• 确定 Chow 变换的 Brill 集合论方程在 $GL(V)$-模结构下的形式。
• 理解在 $GL(V)$ 作用下，定义 Chow 变换的方程空间的表示论分解。
• 解决一个开放问题：识别 Chow 变换理想中次数 $d+1$ 分量内出现的不可约 $GL(V)$-模。
• 通过比较余维数与模的维数，证明 Chow 变换不是完备交。
• 使用最高权向量与内积技巧，提供 Brill 方程的显式模论描述。

提出的方法

• 构造 Brill 多项式映射 $\mathfrak{B}$ 的极化 $\bar{\mathfrak{B}}$，使其成为从 $S^{d+1}(S^dV)$ 到 $S_{(d,d)}V \otimes S^{d^2 - d}V$ 的 $GL(V)$-模映射。
• 利用 Pieri 法则将目标空间分解为不可约 $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$ 上的像，并利用 Hermitian 内积将其投影到每个不可约分量 $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 哪些不可约 $GL(V)$-模出现在 Chow 变换 $Ch_d(V)$ 的理想中次数 $d+1$ 分量内？
• RQ2 Brill 的经典集合论方程如何通过表示论重新解释为 $GL(V)$-模？
• RQ3 定义次数为 $d$ 的可分解多项式 Chow 变换的方程空间的精确 $GL(V)$-模结构是什么？
• RQ4 为何 Chow 变换不是完备交？其与方程模维数的关系为何？
• RQ5 何种条件决定给定的不可约 $GL(V)$-模 $S_{(d^2 - j, d, j)}V$ 属于 Brill 映射的像？

主要发现

• 当 $d = 3$ 时，Chow 变换 $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$ 不在 Brill 映射的像中，分别对应于 $j=0$ 与 $j=1$。
• $\bar{\mathfrak{B}}(v_j)$ 投影到 $S_{(d^2 - j, d, j)}V$ 上非零，当且仅当 $j \geq 2$ 或 $j=3$ 且 $d=3$，此条件决定了完整的模分解。