[論文レビュー] Improved, sublinear projective Schwartz-Zippel and (sub)quadratic dimension growth bounds in arbitrary codimension

Luca Dehennin|arXiv (Cornell University)|Feb 27, 2026

Geometry and complex manifolds被引用数 0

ひとこと要約

この論文はサブリニアな射影シュワルツ-ジッペル境界を開発し、射影Determinant法を用いて低次元の射影空間でサブ二次的な次元成長を得、任意の共次元では二次的成長を得て、アフィ Varieties への境界を拡張する。

ABSTRACT

We work towards a question raised by Cluckers and Glazer in [CG25], to bring the dimension growth upper bounds and lower bounds for the worst case closer together. To this end, we introduce a sublinear sharpened version of the projective Schwartz-Zippel bound. We prove several cases, including the case of configurations of linear varieties. This leads to subquadratic dimension growth bounds in some low dimensions, improving on the quadratic dependence obtained by Binyamini, Cluckers and Kato in [BCK25]. We introduce a natural projection argument with pull-backs and use this to address a second question by Cluckers and Glazer by extending the quadratic dimension growth bounds from [BCK25] to arbitrary codimension.

研究の動機と目的

• 射影多様体の有理点の次元成長境界を次数と共次元の観点から引き締める動機付け。
• サブリニアな射影シュワルツ-ジッペル境界を導入し、線形多様体の集合に対しても成立することを示す。
• 高次共次元問題を超平面ケースへ射影議論で縮約することで、判定法に基づく次元成長境界を拡張する。
• P^3, P^4, P^5でのサブ二次的次元成長と一般共次元での二次的成長を導出し、アフィン多様体へ適用する。

提案手法

• 射影シュワルツ-ジッペル境界のサブリニア版を開発し、成り立つ場合（特に線形多様体の和集合）を特定する。
• 固有の射影議論と引戻しにより、高共次元問題を超平面ケースへ帰着させる。
• 射影と引戻しを通じて判定法を一般共次元へ拡張し、付随する超平面を得る。
• 次数dと次元kに関するX(Q, B)の境界を導出し、dの依存を支配する指標e(n,k)を明示する。
• 任意の共次元でアフィン多様体上の整数点を射影技法で境界づけする。
• 線形多様体の境界と射影点の関係を結ぶ平方根系の数え上げ（ゼロ点の幾何学）とシュミットの格点計数の結果を活用する。

実験結果

リサーチクエスチョン

• RQ1 任意の共次元に対する次元成長境界の次数依存性を二次関数からサブ二次へ改善できるか？
• RQ2 一般にサブリニアな境界は射影シュワルツ-ジッペル問題に成立するか、特に線形多様体の和集合の場合はどうか？
• RQ3 射影と引戻しを介して判定法を高次の共次元へどこまで一般化できるか？
• RQ4 新境界がアフィン多様体の整数点や高さ制限された有理点に与える影響は？
• RQ5 サブリニアまたはサブ二次の次数依存性の正確な指数範囲e(n,k)は次元と共次元ごとにどうなるか？

主な発見

• いくつかのケースでサブリニアな射影シュワルツ-ジッペル境界を確立しており、線形多様体の和集合を含む。
• 低次元多様体の射影空間P^3, P^4, P^5においてサブ二次的次元成長境界を示した。
• 任意の共次元に対して二次的次元成長境界を示し、次数依存性の多項的な依存を改良した。
• 判定法を超平面から任意の共次元へ拡張する射影議論と引戻しを導入した。
• 全共次元でアフィン多様体上の整数点に対して二次的Pila型境界を示した。
• 次元n, 共次元kに対して、次数に対するサブリニアまたはサブ二次依存性を与える明示的な指数e(n,k)を提示（本文に列挙されたe(n,k)の値） 。