[论文解读] Five Lectures on Projective Invariants

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

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

一句话总结

本文使用表示理论对射影不变量进行了全面介绍，重点研究射影空间中形式与点构型的不变量。通过引入图形代数、表函数和莫利恩级数等计算工具，计算了不变量环的希尔伯特级数与生成元，关键成果包括六点在 $\mathbb{P}^2$ 上关于 $\mathrm{Alt}(6)$ 与 $\Sigma_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$ 上六个无序点的不变量环的显式希尔伯特级数与生成元集，包括生成元之间的关系。
• 阐明关键不变量（如阿龙霍尔德不变量与莫利立方）在卢罗思四次曲线与三次曲面背景下的几何意义。
• 证明凯姆佩引理由在高维点构型中不成立，表明除线性不变量外还需额外生成元。

提出的方法

• 利用舒尔-外尔对偶性与 $GL(n+1)$、$SL(n+1)$ 及 $\Sigma_d$ 的表示理论，分析形式与点集的不变量。
• 应用杨图与对称化子计算不变子空间的维数，并构造表函数。
• 使用莫利恩公式计算不变量环的希尔伯特级数，特别针对六点在 $\mathrm{Alt}(6)$ 与 $\Sigma_6$ 作用下的情形。
• 引入 $\mathbb{P}^1$ 上 $d$ 个点的不变量的图形代数，通过凯姆佩引理实现不变量的组合计算。
• 使用符号表示与不变量的两个基本定理，从基本构建块构造所有不变量。
• 应用雷诺尔斯算子与普莱西兹技术，将对称张量的对称幂分解为不可约表示。

实验结果

研究问题

• RQ1 如何利用图形代数描述 $\mathbb{P}^1$ 上 $d$ 个无序点的不变量环结构？
• RQ2 $\mathrm{Alt}(6)$ 与 $\Sigma_6$ 作用下 $\mathbb{P}^2$ 上六点的不变量环的希尔伯特级数有何不同？其生成元与关系揭示了三次曲面的何种几何特性？
• RQ3 在卢罗思四次曲线与三次曲面上六点构型的背景下，阿龙霍尔德不变量与莫利立方的几何意义是什么？
• RQ4 为何凯姆佩引理由在 $\mathbb{P}^2$ 上的点中不成立？需要引入哪些新生成元以完整描述不变量环？
• RQ5 如何从 $\mathbb{P}^2$ 上六点的不变量推导出克雷莫纳六面体方程？它们揭示了三次曲面的何种几何性质？

主要发现

• 六点在 $\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$ 表示为其余生成元的多项式。
• $\mathbb{P}^2$ 上六点关于 $\Sigma_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$ 给出的莫利立方是一个三次协变量，用于检测七点处的六次曲线的分支四次曲线是否为卢罗思四次曲线。
• 克雷莫纳六面体方程——$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$ 上六点的不变量 $d_2$ 无法表示为线性不变量 $\overline{a},\ldots,\overline{f}$ 的多项式，表明凯姆佩引理由在此情形下不成立，因此必须将 $d_2$ 视为一个独立的二次生成元。