[论文解读] Geometry of syzygies via Poncelet varieties

Giovanna Ilardi, Paola Supino+1 more|ArXiv.org|Jun 30, 2008

Mathematics and Applications参考文献 2被引用 5

一句话总结

本文通过syzygies与Poncelet簇研究$\mathbb{P}^1$上线性系统的几何性质，计算了具有$r$个次数为$d$的独立syzygy的线性系统簇$\mathfrak{X}_{k,r,d}$的余维数为$(dk + k - n + r)r$，并证明线性syzygy会迫使相关Poncelet簇产生奇点，从而在syzygetic代数与有理曲线的射影几何之间建立起深刻联系。

ABSTRACT

We consider the Grassmannian $\mathbb{G}r(k,n)$ of $(k+1)$-dimensional linear subspaces of $V_n=H^0({¶^1},Ø_{¶^1}(n))$. We define $\frak{X}_{k,r,d}$ as the classifying space of the $k$-dimensional linear systems of degree $n$ on $¶^1$ whose basis realize a fixed number of polynomial relations of fixed degree, say a fixed number of syzygies of a certain degree. The first result of this paper is the computation of the dimension of $\frak{X}_{k,r,d}$. In the second part we make a link between $\frak{X}_{k,r,d}$ and the Poncelet varieties. In particular, we prove that the existence of linear syzygies implies the existence of singularities on the Poncelet varieties.

研究动机与目标

• 计算参数化$\mathbb{P}^1$上次数为$n$、维数为$k$的线性系统中至少具有$r$个次数为$d$的独立syzygy的簇$\mathfrak{X}_{k,r,d}$的维数。
• 建立线性syzygy的存在性与相关Poncelet簇上奇点之间的几何联系。
• 通过格拉斯曼ian$\mathbb{G}r(k,n)$上的行列式簇技巧，将先前仅知于$k=1$情形的syzygy簇结果推广至一般$k$的情形。
• 通过Trautmann引入但此后研究甚少的Poncelet簇视角，为syzygy簇$\mathfrak{X}_{k,r,d}$提供几何解释。

提出的方法

• 作者将$\mathfrak{X}_{k,r,d}$定义为格拉斯曼ian$\mathbb{G}r(k,n)$的子簇，参数化具有$r$个独立次数为$d$的syzygy的线性系统。
• 他们利用正合列$0 \to E_\Lambda \to \Lambda \otimes \mathcal{O}_{\mathbb{P}^1} \to \mathcal{O}_{\mathbb{P}^1}(n) \to 0$将syzygy与$E_\Lambda(d)$的全局截面联系起来，因此$h^0(E_\Lambda(d)) = r$刻画了$\mathfrak{X}_{k,r,d}$。
• 通过行列式簇理论计算$\mathfrak{X}_{k,r,d}$的维数，利用格拉斯曼ian$\mathbb{G}r(k,n)$上的通用子丛$\mathcal{U}$及到$V_n \otimes \mathcal{O}_{\mathbb{G}r(k,n)}$的评估映射。
• 通过分析当$\Lambda$具有基点时，映射$\Lambda$通过$\mathcal{O}_{\mathbb{P}^1}(n-d)$的因式分解，建立与Poncelet簇的联系，从而导出涉及支持在Poncelet簇上的层的交换图表。
• 通过构造涉及挠切超平面与基点的因式分解，并分析所得层的支集，证明Poncelet簇的奇点源于线性syzygy。

实验结果

研究问题

• RQ1 在格拉斯曼ian$\mathbb{G}r(k,n)$中，具有$r$个次数为$d$的syzygy的线性系统的簇$\mathfrak{X}_{k,r,d}$的余维数是多少？
• RQ2 线性syzygy（次数$d=1$）如何影响相关Poncelet簇的几何结构？
• RQ3 当线性系统具有线性syzygy时，其相关的Poncelet簇是否可能为奇异的？
• RQ4 当线性系统具有基点时，Poncelet簇的结构如何？这与syzygy结构有何关联？

主要发现

• 在$\mathbb{G}r(k,n)$中，$\mathfrak{X}_{k,r,d}$的余维数恰好为$(dk + k - n + r)r$，该结果推广了此前仅知于$k=1$情形的结果。
• $\mathfrak{X}_{k,r,d}$是Cohen-Macaulay簇，其奇异点集为$\mathfrak{X}_{k+1,r,d}$，表明其基于syzygy数量具有分层结构。
• 线性syzygy（次数$d=1$）意味着相关Poncelet簇是奇异的，奇点出现在由$\binom{n-1}{k}$条直线构成的配置的顶点处。
• 对于$\mathfrak{X}_{k,1,1}$的一般元素，Poncelet簇包含$\binom{n-1}{k}$条直线，且具有$\binom{n-1}{k+1}$个奇点，这些奇点对应于$k+1$条直线的交点。
• 与具有线性syzygy的线性系统相关的Poncelet簇是可约的，其包含一个与syzygy的固定基点对偶的直线配置，奇点位于这些直线的公共交点处。