[论文解读] Images of Rational Maps of Projective Spaces

Binglin Li|arXiv (Cornell University)|Oct 31, 2013

Advanced Combinatorial Mathematics参考文献 6被引用 7

一句话总结

本文研究从射影空间到射影空间乘积的有理映射的闭包，该映射由向量空间关于子空间的商上的线性投影诱导。通过模函子与初等退化，计算了多度，证明了像概形是科恩-麦克aul伊，且其希尔伯特多项式由子空间交集维数的组合数据表示。

ABSTRACT

Consider a rational map from a projective space to a product of projective spaces, induced by a collection of linear projections. Motivated by the the theory of limit linear series and Abel-Jacobi maps, we study the basic properties of the closure of the image of the rational map using a combination of techniques of moduli functors and initial degenerations. We first give a formula of multi-degree in terms of the dimensions of intersections of linear subspaces and then prove that it is Cohen-Macaulay. Finally, we compute its Hilbert polynomials.

研究动机与目标

• 系统研究由线性投影诱导的从射影空间到射影空间乘积的有理映射闭包的几何性质。
• 通过放宽子空间交集的限制（仅允许平凡总交集），推广先前关于极限线性系列与穆斯塔芬退化的研究。
• 在完全一般的情形下，计算多度、希尔伯特多项式，并确立像概形的科恩-麦克aul伊性质。
• 为理解代数几何、计算机视觉与代数统计中这些概形的统一框架提供支持。

提出的方法

• 使用模函子来建立满足所需交集条件的线性子空间构型的存在性与形变性质。
• 在指定项序下应用初等退化技术，分析像概形的首项理想。
• 通过涉及子空间交集维数 $d_I = \dim(\bigcap_{i\in I} V_i)$ 的组合公式推导多度。
• 不通过单项式计数，而是直接计算初等退化（其为射影空间乘积的并）的希尔伯特多项式。
• 通过一次齐次单项理想及其交集的容斥原理，计算各分量并的希尔伯特多项式。
• 证明三个概形 $\mathcal{Z}_1$、$\mathcal{Z}_2$ 与 $X(V_1,\dots,V_n)$ 之间的同构，确立其方案层等式与科恩-麦克aul伊性质。

实验结果

研究问题

• RQ1 由线性投影诱导的从 $\mathbb{P}(V)$ 到 $\prod_{i=1}^n \mathbb{P}(V/V_i)$ 的有理映射的闭包的多度是什么？
• RQ2 在何种条件下，像概形 $X(V_1,\dots,V_n)$ 是科恩-麦克aul伊的？
• RQ3 如何用子空间交集的组合结构来计算 $X(V_1,\dots,V_n)$ 的希尔伯特多项式？
• RQ4 初等退化 $X(V_1,\dots,V_n)$ 的结构是什么？它与多度有何关联？
• RQ5 概形 $X(V_1,\dots,V_n)$ 的几何性质如何统一极限线性系列、计算机视觉与穆斯塔芬退化的构造？

主要发现

• 概形 $X(V_1,\dots,V_n)$ 的维数为 $p = \max\{h : M(h) \neq \emptyset\}$，其中 $M(p)$ 是由交集维数约束定义的整数向量集。
• 概形 $X(V_1,\dots,V_n)$ 的多度函数在 $M(p)$ 中的整数向量上取值为 1，其余情况为 0。
• 概形 $X(V_1,\dots,V_n)$ 的希尔伯特多项式为 $\sum_{S\subset M(p)}(-1)^{|S|-1}\prod_{i=1}^n \binom{u_i + \ell_{S,i}}{\ell_{S,i}}$，其中 $\ell_{S,i}$ 是 $S$ 中最小的第 $i$ 个分量。
• 概形 $X(V_1,\dots,V_n)$ 是科恩-麦克aul伊的，其证明基于 $\mathcal{Z}_1$、$\mathcal{Z}_2$ 与 $X(V_1,\dots,V_n)$ 之间的方案层同构，并通过约化到无重数初等退化实现。
• 概形 $X(V_1,\dots,V_n)$ 的初等退化是射影空间乘积 $\prod_{i=1}^n \mathbb{P}^{m_i}$ 的并，其指标为 $M(p)$，且交集亦为射影空间的乘积。
• 希尔伯特多项式在平坦退化下保持不变，计算通过在初等退化分量上应用容斥原理实现，利用了一次齐次单项理想的相关性质。