[论文解读] An arithmetic count of the lines meeting four lines in P^3

Padmavathi Srinivasan, Kirsten Wickelgren|arXiv (Cornell University)|Oct 8, 2018

Algebraic Geometry and Number Theory参考文献 27被引用 11

一句话总结

本文通过 $\mathbf{A}^1$-同伦理论，对经典枚举几何问题中在 $\mathbf{P}^3$ 中与四条直线相交的直线计数进行了算术精化，为每条解直线在格罗滕迪克–惠特尼群 $\mathrm{GW}(k)$ 中赋予一个双线性型，该型基于其定义域和交点的交叉比不变量加权。关键结果是在 $\mathrm{GW}(k)$ 中的等式：对所有此类直线求和，其迹限制形式 $\operatorname{Tr}_{k(L)/k}\langle\lambda_L - \mu_L\rangle$ 等于 $\langle 1\rangle + \langle -1\rangle$，在取秩后恢复经典计数结果——两条直线。

ABSTRACT

We enrich the classical count that there are two complex lines meeting four lines in space to an equality of isomorphism classes of bilinear forms. For any field $k$, this enrichment counts the number of lines meeting four lines defined over $k$ in $\mathbb{P}^3_k$, with such lines weighted by their fields of definition together with information about the cross-ratio of the intersection points and spanning planes. We generalize this example to an infinite family of such enrichments, obtained using an Euler number in $\mathbb{A}^1$-homotopy theory. The classical counts are recovered by taking the rank of the bilinear forms. In the appendix, the condition that the four lines each be defined over $k$ is relaxed to the condition that the set of four lines being defined over $k$.

研究动机与目标

• 将 $\mathbf{P}^3$ 中与四条一般直线相交的两条复直线的经典计数推广为任意域上的算术-几何不变量。
• 将定义域、交点的交叉比以及支撑平面构型纳入一个精化的枚举不变量中。
• 利用 $\mathbf{A}^1$-同伦理论与 $\mathrm{GW}(k)$ 中的欧拉类，建立此类枚举问题的通用框架。
• 将结果推广至高维情形：在 $\mathbf{P}^n$ 中，对与 $2n-2$ 个余维数为 2 的超平面相交的直线进行计数，其中 $n$ 为奇数，且在 $\mathrm{GW}(k)$ 中具有类似不变量。

提出的方法

• 使用 $\mathbf{A}^1$-同伦理论在格罗滕迪克–惠特尼群 $\mathrm{GW}(k)$ 中定义一个欧拉数，作为精化计数的目标。
• 对每条与 $\mathbf{P}^3$ 中四条直线相交的直线 $L$，定义不变量：$\lambda_L \in k(L)^*$（$L$ 上交点的交叉比）与 $\mu_L \in k(L)^*$（支撑平面的交叉比），形成形式 $\langle \lambda_L - \mu_L \rangle$。
• 应用域的迹映射 $\operatorname{Tr}_{k(L)/k}$，将 $k(L)$ 上的一维形式 $\langle \lambda_L - \mu_L \rangle$ 提升至 $k$，从而在 $\mathrm{GW}(k)$ 中得到一个元素。
• 对所有与四条给定直线均相交的直线 $L$ 求和，利用迹映射确保总和在基域 $k$ 上有定义，最终得到 $\mathrm{GW}(k)$ 中的一个类。
• 将构造推广至奇数维射影空间 $n$，计数与 $2n-2$ 个余维数为 2 的超平面相交的直线，其在 $\mathrm{GW}(k)$ 中的迹加权和具有类似形式。
• 利用 $\mathbf{A}^1$-度理论中的雅可比行列式与迹公式，计算截面的局部指标，从而导出 $\mathrm{GW}(k)$ 中局部指标的显式公式。

实验结果

研究问题

• RQ1 如何将 $\mathbf{P}^3$ 中与四条直线相交的两条直线的经典计数，精化为在特征不为 2 的任意域上包含算术与几何时数据的计数？
• RQ2 能够捕捉每条解直线的定义域及交点与支撑平面构型的精确算术-几何时不变量是什么？
• RQ3 $\mathbf{A}^1$-同伦理论的欧拉类能否用于在 $\mathrm{GW}(k)$ 中定义枚举不变量的通用精化？
• RQ4 格罗滕迪克–惠特尼群 $\mathrm{GW}(k)$ 的结构如何编码此类枚举问题的解集？
• RQ5 该计数在高维射影空间中的推广是什么？不变量在域扩张下如何行为？

主要发现

• 所有定义在 $k$ 上且与四条一般直线相交的直线 $L$，其加权和 $\operatorname{Tr}_{k(L)/k}\langle\lambda_L - \mu_L\rangle$ 在 $\mathrm{GW}(k)$ 中等于 $\langle 1\rangle + \langle -1\rangle$。
• 该等式对任意特征不为 2 的域 $k$ 成立，且在基域的分离闭包下保持稳定。
• 通过取双线性型的秩可恢复经典计数：$\operatorname{rank}(\langle 1\rangle + \langle -1\rangle) = 2$。
• 不变量 $\langle \lambda_L - \mu_L \rangle$ 同时编码了定义域 $k(L)$ 与构型的交叉比数据，迹映射确保总和在 $k$ 上有定义。
• 当 $n$ 为奇数时，将问题推广至 $\mathbf{P}^n$ 中与 $2n-2$ 个余维数为 2 的超平面相交的直线，其在 $\mathrm{GW}(k)$ 中的和具有类似形式，其中指标 $i(L)$ 编码了类似几何数据。
• 附录中的局部指标公式将每条解的贡献表达为 $\operatorname{Tr}_{k(P)/k}\big{(}\langle(\det A)^{-r} \cdot \det J(\sigma)\rangle\big{)}$，将解的算术性质与定义方程的雅可比行列式联系起来。