[論文レビュー] On the joints problem with multiplicities

Márton Hablicsek|arXiv (Cornell University)|Aug 25, 2014

Limits and Structures in Graph Theory参考文献 11被引用数 4

ひとこと要約

この論文は、代数閉体上での $n$ 次元空間における重複度付きジョイント問題に関する予想を証明し、すべてのジョイント $x$ における $N(x)^{1/(n-1)}$ の和が、$L$（直線の本数）に対して $c_n L^{n/(n-1)}$ で有界であることを示している。ここで $c_n$ は $n$ のみに依存する定数である。証明は、ジョイントを形成する $n$ 本の直線が常にジョイントを形成すると仮定したもとで、次数の制御と Bézout 型の議論を用いた多項式法を用いる。

ABSTRACT

In this short note we apply a recent theorem of Kollár about the arithmetic genus of curves to give a bound on the number of joints weighted by the multiplicities. This gives an affirmative answer to a conjecture of Carbery in the generic case.

研究の動機と目的

• Carbery と Iliopoulou が提起した、重複度付きジョイント問題におけるジョイントの重複度の和に関する予想を証明すること。
• 古典的なジョイント問題を、任意の次元 $n \geq 3$ および任意の代数閉体上で、重複度重み $N(x)^{1/(n-1)}$ を含める形に拡張すること。
• すべてのジョイントを通り、$n$ 本の直線がジョイントを形成するという仮定のもとで、鋭い上限 $\sum_{x \in \mathscr{J}} N(x)^{1/(n-1)} \leq c_n L^{n/(n-1)}$ を確立すること。
• この仮定がない場合の不等式の限界を明らかにするために、平面的曲面およびヘイゼンベルク曲面を用いた反例を構成すること。

提案手法

• 指定された重複度でジョイントに消失する、制御された次数の非ゼロ多項式を構成する多項式法の使用。
• 多項式空間における線形代数からの次数の制約を用いて、ジョイントの数に関する制約を導出する。
• Bézout の定理と交線論を用いて、完全交線曲線におけるジョイントを通る直線の数を有界化する。
• 構成された多項式の次数に基づく場合分けを行い、高次および低次の場合の両方で背理法を用いる。
• 完全交線曲線に関する補題 3 を適用し、高次直線重複度を持つ点における $\sum r(x)^{n/(n-1)}$ を有界化する。
• 勾配が消えることを用いて特異点を特定し、さらなる有界化のための新しい超曲面を構成する。

実験結果

リサーチクエスチョン

• RQ1 仮定が成り立つ場合、$k^n$ 内の有限直線集合に対して、予想される不等式 $\sum_{x \in \mathscr{J}} N(x)^{1/(n-1)} \leq c_n L^{n/(n-1)}$ は成り立つか？
• RQ2 多項式法は、標準的な数え上げを超えて、ジョイント問題における重複度重み付き和を扱うように拡張可能か？
• RQ3 すべてのジョイントを通る $n$ 本の直線がジョイントを形成するという仮定が、不等式が成り立つために果たす役割は何か？
• RQ4 この仮定がない場合、自然な幾何的障害が予想の成立を阻害するか、それらを特徴づけられるか？
• RQ5 平面的曲面やヘイゼンベルク曲面を用いた反例は、不等式のより強い形の有効性にどのように影響を与えるか？

主な発見

• すべてのジョイントを通り、$n$ 本の直線がジョイントを形成するという仮定のもとで、予想が証明され、$\sum_{x \in \mathscr{J}} N(x)^{1/(n-1)} \leq c_n L^{n/(n-1)}$ が成り立つ。ここで $c_n$ は $n$ のみに依存する定数である。
• この上限は、古典的な $O_n(L^{n/(n-1)})$ のジョイント数の上限と一致しており、重み付き和に拡張された意味で鋭いものである。
• 多項式の構成における高次および低次の両方のケースで背理法が得られ、次数が $O_n(L^{1/(n-1)})$ を超えることはできないことが示された。
• 平面的曲面およびヘイゼンベルク曲面を用いた反例が $n=3$ において構成され、$\sum r(x)^{n/(n-1)} \leq c_n L^{n/(n-1)}$ のより強い不等式が、ジョイント仮定がないと成立しないことが示された。
• より強い不等式の失敗は、与えられた仮定のもとで、$\sum N(x)^{1/(n-1)}$ が正しい一般化であることを示唆している。
• 結果は体の拡張に対して安定であるため、一般性を失うことなく $k$ が代数閉体であると仮定すれば十分である。