[논문 리뷰] Improved, sublinear projective Schwartz-Zippel and (sub)quadratic dimension growth bounds in arbitrary codimension

Luca Dehennin|arXiv (Cornell University)|2026. 02. 27.

Geometry and complex manifolds인용 수 0

한 줄 요약

이 논문은 sublinear projective Schwartz-Zippel 경계를 개발하고 projection-Determinant 방법을 사용하여 저차의 프로젝티브 공간에서 차원 증가가 subquadratic이며 임의의 코디멘션에서 제곱 증가를 얻고 바운드를 유계 다양체로 확장합니다.

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.

연구 동기 및 목표

• 유한한 차원에서의 차원 증가 경계들을 도입하고, 분수 차원 바운드의 필요성 및 동기를 제시한다.
• 선형 다양체의 합집합에 대해 sublinear projective Schwartz-Zippel 경 bound가 성립하는지 보인다.
• 프로젝션 논리를 이용해 고차원 국소 차원을 hypersurface 케이스로 환원시키는 determinant-방법을 확장한다.
• P^3, P^4, P^5에서의 subquadratic 차원 증가를 도출하고 일반 코디멘션에서의 제곱 증가를 얻으며 이를 아핀 다양체에 적용한다.

제안 방법

• projective Schwartz-Zippel 경계의 sublinear 버전을 개발하고 특히 선형 다양체의 합집합에서 성립하는 경우를 확인한다.
• 특성적인 프로젝션 논리와 pull-backs를 사용해 고차원 문제를 hypersurface 케이스로 축소한다.
• determinant 방법을 임의의 코디멘션으로 확장하고 프로젝션 및 역투영을 통해 보조 hypersurface를 얻는다.
• d와 차원 k에 따른 X(Q, B)의 경계를 도출하며 d 의 의존성을 지배하는 명시적 지수 e(n,k)를 제시한다.
• 임의의 코디멘션에서 아핀 다양체의 정수점 수를 프로젝션 기법으로 상한한다.
• 결과를 결합하여 선형 다양체 바운드와 프로젝티브 점들을 연결하기 위해 기하학적 수 이론과 Schmidt의 격자점 계산을 활용한다.

실험 결과

연구 질문

• RQ1 프로젝트 차원 증가 바운드에서의 차수 의존성을 일반 코디멘션에 대해 제곱에서 subquadratic로 개선할 수 있는가?
• RQ2 일반적으로 sublinear 바운드가 성립하는가, 특히 선형 다양체의 합집합에 대해 프로젝티브 Schwartz-Zippel 문제에 대해?
• RQ3 프로젝션과 pull-backs를 통해 determinant 방법을 고차원 코디멘션으로 얼마나 일반화할 수 있는가?
• RQ4 새로운 바운드가 아핀 다양체의 정수점과 높이-제한된 유리점에 대해 어떤 결과를 주는가?
• RQ5 다양한 차원과 코디멘션에서 sublinear 또는 subquadratic 의 지수 범위 e(n,k)은 정확히 무엇인가?

주요 결과

• 여러 경우에서 sublinear 프로젝트-Schwartz-Zippel 경계가 성립함을 보였다(선형 다양체의 합집합 포함).
• 저차의 다양체에 대해 P^3, P^4, P^5에서 차원 증가가 subquadratic임을 보였다.
• 임의의 코디멘션에 대해 제곱 차원 증가 바운드를 보였고, 차수에 대한 기존 다항 의존성을 개선했다.
• hypersurface에서 임의의 코디멘션으로 determinant 방법을 확장하는 투영-pull-backs 논리를 도입했다.
• 모든 코디멘션에서 아핀 다양체의 정수점에 대해 Pila 형식의 2차 바운드를 보여주었다.
• 다양한 차원에서 d에 대한 sublinear 또는 subquadratic 의존성을 주는 명시적 지수 e(n,k) 값을 제시했다(텍스트에 나열된 e(n,k) 값).