[论文解读] Multigraded Apolarity

Maciej Gałązka|arXiv (Cornell University)|Jan 23, 2016

Algebraic Geometry and Number Theory被引用 3

一句话总结

本文将极性理论推广至 торические 变体，引入多齐次极性框架以计算非常 ample 线丛截面中单项式的秩、边界秩与仙人掌秩。通过去齐次化建立仙人掌秩的新上界，并证明该上界可导出 Segre-Veronese 嵌入的显式公式。主要贡献在于为 P¹×P¹、F₁、P(1,1,4) 及假加权射影平面中的单项式提供系统化的计算方法，揭示了仙人掌秩与边界秩及秩不同的情形。

ABSTRACT

We generalize methods to compute various kinds of rank to the case of a toric variety $X$ embedded into projective space using a very ample line bundle $\mathcal{L}$. We find an upper bound on the cactus rank. We use this to compute rank, border rank, and cactus rank of monomials in $H^0(X,\mathcal{L})^*$ when $X$ is $\mathbb{P}^1 imes \mathbb{P}^1$, the Hirzebruch surface $\mathbb{F}_1$, the weighted projective plane $\mathbb{P}(1,1,4)$, or a fake weighted projective plane.

研究动机与目标

• 将经典极性理论推广至通过非常 ample 线丛嵌入的 торические 变体。
• 为齐次多项式的秩不变量开发多齐次极性框架。
• 为特定 торические 曲面上单项式的仙人掌秩、边界秩与 Waring 秩提供显式上下界。
• 识别仙人掌秩与边界秩及可光滑秩不同的情形，尤其在奇异或加权情形下。

提出的方法

• 通过 Cox 环及其对偶，引入线丛截面与多项式之间的多齐次对偶性。
• 利用 Cox 环变量与对偶坐标之间的 ⌟-积定义多齐次极性作用。
• 建立多齐次极性引理：多项式 F 属于子概形 R 的线性张量，当且仅当 R 的理想包含于 F 的零化子中。
• 通过 apolarity 作用诱导的线性映射 Cβ_F: Sβ → Tα−β 的秩推导秩界。
• 通过相对于最大锥的去齐次化，证明仙人掌秩的上界，并控制商环 S/f⊥ 的维数。
• 将该上界应用于 Segre-Veronese 嵌入，并通过 Hilbert 函数与概形长度分析计算精确秩。

实验结果

研究问题

• RQ1 经典极性理论如何推广至具有多齐次结构的 торические 变体？
• RQ2 在非常 ample 线丛下，toric 变体坐标环中单项式的仙人掌秩为何？
• RQ3 能否通过去齐次化与 Cox 环结构对仙人掌秩进行界定？
• RQ4 在 торические 曲面上，仙人掌秩、边界秩与 Waring 秩在何种情况下不同？
• RQ5 P¹×P¹、Hirzebruch 曲面 F₁、P(1,1,4) 及假加权射影平面中单项式的精确秩为何？

主要发现

• 在 P¹×P¹ 上，单项式的秩上界为 (k₀+1)(l₁+1) + (k₁+1)(l₀+1) − (k₁+1)(l₁+1)，优于先前的界。
• 当 k₀ > k₁ 且 l₀ > l₁ 时，秩至少为 (k₁+2)(l₁+2)−1，且在某些情形下取等，例如当 k₀ = k₁+1 且 l₀ = l₁+1 时。
• 在 Hirzebruch 曲面 F₁ 上，存在边界秩严格小于仙人掌秩的单项式，表明这些不变量之间存在严格分离。
• 在加权射影平面 P(1,1,4) 上，存在仙人掌秩严格小于边界秩的单项式，揭示了奇异 торic 变体中的新现象。
• 在假加权射影平面上，x⁴₀x₁x₂ 的仙人掌秩为 2，而其秩至多为 5，边界秩为 2，表明仙人掌秩可严格小于秩。