On potential density of integral points on the complement of some subvarieties in the projective space

Motoya Teranishi
2024-04-26
Abstract:We study some density results for integral points on the complement of a closed subvariety in the $n$-dimensional projective space over a number field. For instance, we consider a subvariety whose components consist of $n-1$ hyperplanes plus one smooth quadric hypersurface in general position, or four hyperplanes in general position plus a finite number of concurrent straight lines. In these cases, under some conditions on intersection, we show that the integral points on the complements are potentially dense. Our results are generalizations of Corvaja-Zucconi's results for complements of subvarieties in the two or three dimensional projective space.
Number Theory,Algebraic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the potential density problem of integral points on the complements of certain sub - varieties in projective space. Specifically, the author studies the distribution of integral points on the complements of specific sub - varieties in the \(n\)-dimensional projective space over the number field \(K\). The main goal of the paper is to explore whether these integral points can become Zariski - dense after appropriately extending the base field and the set of places \(S\). ### Core Problems of the Paper 1. **Potential Density of Integral Points**: The paper focuses on finding sufficient conditions for the integral points on the complements of certain sub - varieties in projective space to become Zariski - dense after a finite extension. In particular, for the cases of divisors of the form \(D = H_1+\cdots+H_{n - 1}+Q\) (where \(H_i\) are hyperplanes and \(Q\) is a smooth quadratic hypersurface), and the closed sub - varieties of the form \(D = H_1 + H_2+ H_3+ H_4+L_1+\cdots+L_r\) (where \(H_i\) are hyperplanes in general position and \(L_i\) are concurrent lines). 2. **Two Conjectures**: - **Conjecture 1.1**: Let \((X, D)\) be a pair, where \(X\) is a smooth projective variety and \(D\) is an anti - canonical divisor with at most normal crossing singularities. Are the integral points on \(X\setminus D\) potentially dense? - **The Puncturing Conjecture (Conjecture 1.2)**: Let \(X\) be a smooth quasi - projective variety over the number field \(K\), and \(Z\) be a sub - variety of \(X\) with codimension at least 2. Assume that the rational points on \(X\) are potentially dense. Are the integral points on \(X\setminus Z\) potentially dense? ### Main Results - **Theorem 1.3**: Let \(n\geq2\), and \(D = H_1+\cdots+H_{n - 1}+Q\), where \(H_1,\ldots,H_{n - 1}\subset\mathbb{P}^n_K\) are hyperplanes in general position and \(Q\) is a smooth quadratic hypersurface. Assume that the line \(L := H_1\cap\cdots\cap H_{n - 1}\) and \(Q\) intersect at two \(K\)-rational points. Then the integral points on \(\mathbb{P}^n_K\setminus D\) are potentially dense. - **Theorem 1.4**: Let \(D\subset\mathbb{P}^3_K\) be a closed sub - variety of the form \(D = H_1 + H_2+ H_3+ H_4+L_1+\cdots+L_r\), where \(H_1,\ldots,H_4\) are hyperplanes in general position and \(L_1,\ldots,L_r\) are concurrent lines passing through a common \(K\)-rational point \(p\). Assume that each \(L_i\) does not intersect \(\bigcup_{1\leq i < j\leq4}H_i\cap H_j\). Then the integral points on \(\mathbb{P}^3_K\setminus D\) are potentially dense. ### Solution Methods The author constructs enough lines that intersect \(D\) at two relatively prime points and applies Beukers' lemma to prove that there are infinitely many integral points lying on these lines. This method not only verifies the above theorems but also provides ideas for solving a wider range of similar problems. ### Summary This paper presents new theoretical results and generalizes existing conclusions by studying the distribution of integral points on the complements of specific sub - varieties in projective space. This provides an important progress in understanding the problem of integral point density in Diophantine geometry.