[论文解读] Complexity of intersections of real quadrics and topology of symmetric determinantal varieties

Antonio Lerario|arXiv (Cornell University)|Nov 7, 2012

Polynomial and algebraic computation参考文献 10被引用 6

一句话总结

本文通过谱序列和对称行列式代数簇的拓扑性质，建立了一个关于 $\mathbb{R}\mathrm{P}^n$ 中 $k$ 个二次曲面实交的总贝蒂数的新型拓扑界。该文证明了 $b(X) \leq O(n)^{k-1}$，显著优于先前的界（如 Basu 的 $O(n)^{2k+2}$），方法是通过扰动和对偶性原理分析退化点集 $\Sigma_W^{(r)}$ 的同调复杂度。

ABSTRACT

Let X be the base locus of a linear system W of k quadrics. Let also S be the intersection of W with the discriminant hypersurface in the space of all homogeneous polynomials of degree two. We prove a formula relating the topology of X with the one of S and its (iterated) singular points. As a corollary we prove the sharp bound b(X)\leq O(n)^{k-1}.

研究动机与目标

• 为 $\mathbb{R}\mathrm{P}^n$ 中 $k$ 个二次曲面的实交 $X$ 的总贝蒂数 $b(X)$ 建立上界。
• 理解对称行列式代数簇 $\Sigma_W^{(r)}$ 的拓扑复杂度，其定义为 $k$ 维线性系统 $W$ 中退化二次型的集合。
• 建立二次曲面数量 $k$ 与维度 $n$ 之间的对偶关系，推广 Barvinok 在实代数几何中的对偶性原理。
• 提供一个紧致且内在的 $b(X)$ 上界，优于现有的半代数复杂度估计，特别是 Basu 的 $O(n)^{2k+2}$ 界。
• 通过引入负定二次型对线性系统 $W$ 进行扰动，将该界推广至非一般情形。

提出的方法

• 利用 A. A. Agrachev 开发并由作者扩展的谱序列，将 $X$ 的拓扑与退化点集 $\Sigma_W^{(r)}$ 的拓扑联系起来。
• 通过沿小的负定二次型 $-\epsilon q$ 方向平移线性系统 $W$，实现对 $W$ 的扰动，得到 $W_\epsilon = W - \epsilon q$。
• 分析 $\Sigma_\epsilon^{(r)}$ 的拓扑结构，即 $W_\epsilon$ 与二次型空间中球面的交集，其中 $\dim \ker(q) \geq r$。
• 应用不等式 $b(X) \leq b(\mathbb{R}\mathrm{P}^n) + \frac{1}{2} \sum_{r \geq 1} b(\Sigma_\epsilon^{(r)})$，该式对一般与非一般 $W$ 均成立。
• 利用余维数论证表明，当 $\binom{r+1}{2} \geq k$ 时 $\Sigma_W^{(r)}$ 为空集，从而将求和项数限制在 $O(k)^{1/2}$ 项以内。
• 采用复代数几何技术，如将实行列式代数簇扰动为复完全交，通过复贝蒂数来界定 $b(\Sigma_\epsilon^{(r)})$。

实验结果

研究问题

• RQ1 在 $\mathbb{R}\mathrm{P}^n$ 中，$k$ 个实二次曲面的实交的拓扑复杂度（以总贝蒂数衡量）的最优界是什么？
• RQ2 对称行列式代数簇 $\Sigma_W^{(r)}$（即线性系统中退化型的集合）的拓扑如何控制基点集 $X$ 的拓扑？
• RQ3 能否利用 $k$ 与 $n$ 之间的对偶性，获得优于先前半代数复杂度估计的更紧致界？
• RQ4 线性系统 $W$ 的非一般性对 $X$ 的拓扑复杂度有何影响？如何通过扰动进行校正？
• RQ5 在实设置下，能否通过代数与几何技术，特别是对 $\Sigma_W^{(r)}$ 的同调复杂度进行有效界定？

主要发现

• 本文建立了 $\mathbb{R}\mathrm{P}^n$ 中 $k$ 个实二次曲面交 $X$ 的总贝蒂数的上界 $b(X) \leq O(n)^{k-1}$，显著优于 Basu 的 $O(n)^{2k+2}$ 界。
• 对于一般 $W$，公式 $b(X) \leq b(\mathbb{R}\mathrm{P}^n) + \frac{1}{2} \sum_{r \geq 1} b(\Sigma_W^{(r)})$ 成立，且由于余维数约束，求和项数最多为 $O(k)^{1/2}$ 项。
• 在非一般情形下，通过引入小的负定二次型对 $W$ 进行扰动后，该界依然成立，得到 $b(X) \leq b(\mathbb{R}\mathrm{P}^n) + \frac{1}{2} \sum_{r \geq 1} b(\Sigma_\epsilon^{(r)})$。
• $\Sigma_W^{(r)}$ 在 $\binom{r+1}{2} \geq k$ 时被证明为空集，从而限制了求和项数并确保其有限性。
• 当 $k=3$ 时，界 $b(X) \leq n^2 + O(n)$ 是紧致的，与三元实完全交已知的最大复杂度一致。
• 当 $k=4$ 时，导出界 $b(X) \leq 16n^3 + O(n)$，但其形式被认为次优，相较于复情形的界 $\frac{2}{3}n^3 + O(n)$，提示可通过更精细的奇点集分析实现改进。