[论文解读] Coisotropic Hypersurfaces in the Grassmannian

Kathlén Kohn|arXiv (Cornell University)|Jul 20, 2016

Polynomial and algebraic computation被引用 4

一句话总结

本文通过切空间上的秩一条件，给出了格拉斯曼流形中共变超曲面特征的简化证明，建立了其在射影对偶下的不变性，并表明它们由塞格雷簇的极化次数和超行列式定义。本文还引入了一个Macaulay2工具包，用于计算代数几何中代数簇与其共变超曲面之间的转换关系。

ABSTRACT

To every projective variety $X$, we associate a family of hypersurfaces in different Grassmannians, called the coisotropic hypersurfaces of $X$. These include the Chow form and the Hurwitz form of $X$. Gel'fand, Kapranov and Zelevinsky characterized coisotropic hypersurfaces by a rank one condition on tangent spaces. We present a new and simplified proof of that result. We show that the coisotropic hypersurfaces of $X$ equal those of its projectively dual variety $X^\vee$, and that their degrees are the polar degrees of $X$. Coisotropic hypersurfaces of Segre varieties are defined by hyperdeterminants, and all hyperdeterminants arise in that manner. We derive new equations for the Cayley variety which parametrizes all coisotropic hypersurfaces of given degree in a fixed Grassmannian. We provide a Macaulay2 package for transitioning between $X$ and its coisotropic hypersurfaces.

研究动机与目标

• 通过切空间上的秩一条件，为格拉斯曼流形中共变超曲面的特征提供一种新的、简化的证明。
• 证明射影簇 $X$ 的共变超曲面与其射影对偶簇 $X^\vee$ 的共变超曲面一致。
• 证明共变超曲面的次数等于 $X$ 的极化次数，从而将其与经典不变量联系起来。
• 证明塞格雷簇的共变超曲面由超行列式定义，且所有超行列式均可通过这种方式获得。
• 推导出参数化固定格拉斯曼流形中固定次数共变超曲面的凯莱簇的定义方程。

提出的方法

• 采用格里夫兰、卡普兰诺夫和泽列夫林斯基提出的方法，以切空间上的秩一条件作为共变超曲面的定义准则。
• 应用代数几何中的对偶理论，通过共变超曲面建立 $X$ 与 $X^\vee$ 之间的关系。
• 利用代数几何中的已知公式，将共变超曲面的次数计算为极化次数。
• 通过多维行列式的已知结果，构建塞格雷簇的共变超曲面，其定义基于超行列式。
• 利用固定次数超曲面的代数与几何约束，推导出凯莱簇的定义方程。
• 实现一个Macaulay2工具包，用于计算射影簇 $X$ 与其关联的共变超曲面之间的对应关系，支持算法化实验。

实验结果

研究问题

• RQ1 如何以更简单的方式重新证明通过切空间上的秩一条件对共变超曲面进行特征刻画？
• RQ2 一个代数簇 $X$ 的共变超曲面与其射影对偶簇 $X^\vee$ 的共变超曲面之间存在何种关系？
• RQ3 共变超曲面的次数与 $X$ 的极化次数之间有何关联？
• RQ4 哪些超曲面可作为塞格雷簇的共变超曲面？是否所有超行列式均可通过这种方式获得？
• RQ5 参数化固定格拉斯曼流形中固定次数共变超曲面的凯莱簇的定义方程是什么？

主要发现

• 射影簇 $X$ 的共变超曲面与它的射影对偶簇 $X^\vee$ 的共变超曲面完全相同，确立了对偶不变性性质。
• 射影簇 $X$ 的共变超曲面的次数恰好等于 $X$ 的极化次数，从而将其与经典代数不变量联系起来。
• 塞格雷簇的共变超曲面由超行列式定义，且每一个超行列式均可作为此类超曲面出现。
• 参数化固定格拉斯曼流形中固定次数共变超曲面的凯莱簇，其定义方程可通过几何约束显式导出。
• 已实现一个Macaulay2工具包，用于计算射影簇 $X$ 与其关联共变超曲面之间的转换关系，支持算法化探索。