Residue Constraints in the Rank-Three Lifting Problem for Projective-Plane Incidence Matrices

技术摘要：射影平面关联矩阵秩三提升问题中的残差约束

问题陈述与动机
本文研究了有限射影平面关联矩阵的 Kapranov 秩的渐近行为，回应了 Guterman 和 Shitov 强调的一个核心问题。核心难点在于热带秩（tropical rank）与 Kapranov 秩之间的区别。虽然热带秩仅取决于估值（热带行列式）的组合最小化，但 Kapranov 秩取决于在赋值域上是否存在提升，使得行列式的首项在残差域中相互抵消。本文并未解决 Kapranov 秩是否随射影平面的阶 $q$ 增长的完整渐近问题。相反，它隔离了一个特定的“残差级障碍包”，任何假设的秩三提升都必须满足该障碍包，从而将剩余的困难推向一个全局相容性问题。

方法论与框架
分析是在具有残差域 $k$ 的非阿基米德赋值域 $(K, \text{val})$ 的框架内进行的。该方法依赖于对关联矩阵 $I(\Pi)$ 的 $4 \times 4$ 子式的局部分析，具体关注两种类型的模式：

1. 单位模式子式（Identity-pattern minors）： 对角线元素估值为 1，非对角线元素估值为 0 的子矩阵。
2. 零模式子式（Zero-pattern minors）： 对应于非关联关系（估值为 0）的子矩阵。

作者采用了一种“对抵消敏感”的形式主义，不仅追踪行列式的估值，还追踪首项的具体残差系数。关键工具包括：

• 首项展开： 分析提升 $F = U + tV + O(t^2)$，其中 $U$ 是残差矩阵，$V$ 是一阶修正项。
• 错排方程： 对于单位模式子式，行列式消失的条件要求非对角线残差的带符号乘积的特定 9 项和为零。
• 全纯与交比： 本文利用“矩形图册”和“图册全纯”引入了残差约束的几何解释。一个 $2 \times 2$ 零矩形如果是“平坦的”（秩为 1），则其交比 $\rho = 1$。非平坦性（$\rho \neq 1$）表明存在对纯规范（秩为 1）残差模型的局部障碍。
• 重叠消除： 通过分析重叠子式（特别是共享“菱形”结构的子式），本文导出了二项式关系和传输律，将局部约束传播到整个关联图上。

主要贡献与结果

1. 首项错排方程：
   对于秩三提升中的任意 $4 \times 4$ 单位模式子式，首项残差项必须满足一个 9 项错排方程 $\Theta_4(U) = 0$。本文证明，如果非对角线残差数据分解为秩一乘积（$u_{ij} = \alpha_i \beta_j$），则在残差特征 $\neq 3$ 的情况下，该方程无法满足。这迫使任何秩三提升在这些块上具有非分解的残差行为。

2. 交比缺陷与计数：
   本文确立了每一个消失的单位模式子式都迫使至少存在一个具有非平凡交比（$\rho \neq 1$）的“可容许”$2 \times 2$ 零矩形。通过计算阶为 $q$ 的射影平面中此类单位模式子式的丰富程度，作者推导出了不同缺陷矩形数量的下界。

   • 结果： 对于 $q \ge 3$，$I(\Pi_q)$ 的任何秩三提升必须包含 $\Omega(q^8)$ 个具有非平凡交比的不同可容许 $2 \times 2$ 零矩形（在残差特征 $\neq 3$ 的情况下）。

3. 单项式提升的不可能性：
   本文证明，对于 $q \ge 6$，不存在“单项式”秩三提升。单项式提升是指估值为 0 的条目上的一阶修正项为零的提升（即提升形式纯粹为 $U + tA$，其中$A$ 仅由关联位置支撑）。

   • 结果： 任何 $q \ge 6$ 的假设秩三提升必须涉及估值为 0（非关联）条目上的非平凡一阶修正。具体而言，一个标准的 $(q+1) \times (q+1)$ 块强制要求二次方数量的此类修正。

4. 一阶变形瓶颈：
   分析扩展到了 $V$ 一阶层。本文表明，秩三提升的存在性要求在残差矩阵 $U$ 的秩三变形空间中，存在一个在所有关联位置上非零的切向方向 $V$。导出的方程将关联系数与非关联一阶修正耦合在一起，形成了一个难以在全局范围内满足的约束系统。

5. 退化与斜向构型：
   本文区分了“退化”菱形（共点位于支撑线上）和“斜向”构型。结果表明，退化构型通常导致“深度对齐”律（要求抵消深度 $\Lambda$），而非简单的残差方程；而斜向构型（与严格的 $B^*$ 见证相关）则迫使交比之间产生仿射关系（例如 $\rho + \sigma = 1$）。

意义与范围
本文的主要意义在于隔离了无条件的局部和计数障碍。它表明，确定 Kapranov 秩渐近增长的问题不仅仅是估值级组合学的问题，而是深深植根于残差级抵消约束的相容性之中。

• 局部与全局： 本文明确指出，它并未证明 Kapranov 秩随 $q$ 增长。结果确立了：如果存在秩三提升，则它必须满足庞大的局部残差约束系统（具体而言，$\Omega(q^8)$ 个交比缺陷和非平凡的一阶支撑）。
• 剩余缺口： 未解决的问题被表述为一个全局相容性问题：单个秩三残差模型 $U$ 和单个可容许的一阶方向 $V$ 能否同时满足第 3 至 5 节中导出的整个重叠局部约束系统？
• 适度的主张： 作者谨慎地将这些结果框架为“障碍包”和“必要条件”。本文提供了检测秩三提升局部失效的机制，但将最终的全球化步骤（证明这些局部失效无法在全局范围内修补）留作未决问题。

总之，本文将 Guterman–Shitov 问题的焦点从提升的存在性转移到了满足此类提升所需的复杂残差级抵消方程网络的结构性不可能性上，特别是对于大的 $q$ 而言。