[論文レビュー] 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$ 内の4本の直線と交わる直線を数える古典的な数え上げ幾何の算術的精錬を提示する。各解となる直線に対して、その定義体と交点の交叉比不変量を重みとして、グロテンディーク–ウット群 $\mathrm{GW}(k)$ 内の双線形形式を割り当てる。主な結果は、$\mathrm{GW}(k)$ 内での等式である：すべての such 直線 $L$ に対して、$\operatorname{Tr}_{k(L)/k}\langle\lambda_L - \mu_L\rangle$ の和は、$\langle 1\rangle + \langle -1\rangle$ に等しくなる。これは、階数を取ることで古典的な2本の直線の数え上げを回復する。

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$.

研究の動機と目的

• 任意の体 $k$ 上での、$\mathbf{P}^3$ 内の4本の一般な直線と交わる2本の複素直線の古典的数え上げを、算術的・幾何的不変量としての一般化を行う。
• 各解となる直線の定義体、交点の交叉比、包拡平面配置を統合した、精錬された数え上げ不変量を構築する。
• $\mathbf{A}^1$-ホモトピー理論と $\mathrm{GW}(k)$ 内のオイラー類を用いた、このような数え上げ問題の普遍的枠組みを確立する。
• $n$ が奇数の場合、$\mathbf{P}^n$ 内で $2n-2$ 個の codimension-2 の超平面と交わる直線の高次元版に結果を拡張し、$\mathrm{GW}(k)$ 内で同様の不変量を定義する。

提案手法

• $\mathbf{A}^1$-ホモトピー理論を用いて、グロテンディーク–ウット群 $\mathrm{GW}(k)$ 内のオイラー数を定義し、精錬された数え上げのターゲットとする。
• $\mathbf{P}^3$ 内の4本の直線と交わる各直線 $L$ に対して、不変量を定義する：$\lambda_L \in k(L)^*$（$L$ 上の交点の交叉比）および $\mu_L \in k(L)^*$（包拡平面の交叉比）、これらから形式 $\langle \lambda_L - \mu_L \rangle$ を形成する。
• $k(L)$ から $k$ への体のトレース $\operatorname{Tr}_{k(L)/k}$ を適用して、$k(L)$ 内の1次元形式 $\langle \lambda_L - \mu_L \rangle$ を $k$ 上に上げ、$\mathrm{GW}(k)$ 内の要素を得る。
• すべての与えられた4本の直線と交わる直線 $L$ に対して和をとる。トレースを用いることで、合計が基本体 $k$ 上で定義されることを保証し、$\mathrm{GW}(k)$ 内の類を得る。
• $n$ 次元の射影空間に対して、$n$ が奇数の場合の構成を一般化し、$2n-2$ 個の codimension-2 の超平面と交わる直線を数え上げる。$\mathrm{GW}(k)$ 内で同様のトレース付き和を構成する。
• $\mathbf{A}^1$-次数理論におけるヤコビアン行列式とトレース公式を用いて、切断の局所指数を計算し、$\mathrm{GW}(k)$ 内での局所指数の明示的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 特性が2でない任意の体上で、$\mathbf{P}^3$ 内の4本の直線と交わる2本の直線の古典的数え上げを、算術的および幾何的データを統合する形でどのように精錬できるか？
• RQ2 各解となる直線の定義体と交点、包拡平面配置の正確な算術的・幾何的不変量は何か？
• RQ3 $\mathbf{A}^1$-ホモトピー論的オイラー類を用いて、$\mathrm{GW}(k)$ 内の普遍的な数え上げ不変量の精錬を定義できるか？
• RQ4 グロテンディーク–ウット群 $\mathrm{GW}(k)$ の構造が、このような数え上げ問題の解集合をどのように符号化しているか？
• RQ5 この数え上げの高次元版は、どのように一般化できるか？また、体拡張の下で不変量はどのように振る舞うか？

主な発見

• すべての $k$ 上に定義された4本の一般な直線と交わる直線 $L$ に対して、$\operatorname{Tr}_{k(L)/k}\langle\lambda_L - \mu_L\rangle$ で重み付けされた和は、$\mathrm{GW}(k)$ 内で $\langle 1\rangle + \langle -1\rangle$ に等しい。
• この等式は、特性が2でない任意の体 $k$ に対して成り立ち、分離的閉包への基底変換についても安定である。
• 古典的な2本の直線の数え上げは、形式の階数を取ることで回復される：$\operatorname{rank}(\langle 1\rangle + \langle -1\rangle) = 2$。
• 不変量 $\langle \lambda_L - \mu_L \rangle$ は、定義体 $k(L)$ と配置の交叉比データを両方とも符号化しており、トレースにより和が $k$ 上で定義されることを保証する。
• $n$ が奇数の場合、$\mathbf{P}^n$ 内で $2n-2$ 個の codimension-2 の超平面と交わる直線の数え上げにおいても、同様の和が $\mathrm{GW}(k)$ 内に得られ、指数 $i(L)$ は同様の幾何的データを符号化する。
• 付録の局所指数の公式は、各解の寄与を $\operatorname{Tr}_{k(P)/k}\big{(}\langle(\det A)^{-r} \cdot \det J(\sigma)\rangle\big{)}$ として表し、解の算術と定義方程式のヤコビアンの関係を結ぶ。