The inverse sieve problem for algebraic varieties over global fields (Q1982550): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2955143436 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1907.02049 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic S-integers of fixed degree and bounded height / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5719099 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The number of integral points on arcs and ovals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Siegel's lemma / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5431589 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Unit Equations in Diophantine Number Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic points of small height missing a union of varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A larger sieve / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3613912 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4486426 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4830109 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sharp estimates for the arithmetic Nullstellensatz / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3309989 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uniformly counting points of bounded height / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4871722 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Note on the Large Sieve / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Varieties Defined by Quadratic Equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ill-distributed sets over global fields and exceptional sets in diophantine geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2776773 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Bombieri–Pila method over function fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992577 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4771357 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3139250 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Siegel's lemma for function fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997777 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The inverse sieve problem in high dimensions / rank | |||
Normal rank |
Latest revision as of 15:27, 26 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The inverse sieve problem for algebraic varieties over global fields |
scientific article |
Statements
The inverse sieve problem for algebraic varieties over global fields (English)
0 references
14 September 2021
0 references
Let \(K\) be a global field of degree \(d_K\) and \(\mathcal O_K\) its ring of integers. Writing \(H\) for the absolute multiplicative height function, let \(S\) be a subset of the finite set \[\left\{ x \in \mathcal O_K : H(x) \leq N \right\}^d,\] where \(N > 0\) and \(d > 0\) are integers. If such a subset \(S\) occupies few residue classes modulo different prime ideals of \(\mathcal O_K\), one can expect that \(S\) is either small or it possesses some strong algebraic structure. The paper under review carries out a detailed quantitative analysis of this observation, which is known as the ``inverse sieve problem''. The authors' first result in this direction asserts the existence of a constant \(C = C(d,k,\varepsilon,\alpha,\eta, K)\) for \(0 \leq k < d\) and \(\varepsilon, \alpha,\eta > 0\) such that if \(S\) occupies less than \(\alpha \left| \mathcal O_K/\mathfrak p \right|^k\) residue classes for every prime \(\mathfrak p\) in \(\mathcal O_K\), then at least one of the following two conditions holds: \begin{itemize} \item[1.] (\(S\) is small) \(|S| \lesssim_{d,k,\varepsilon,\alpha,K} N^{d_K (k-1) + \varepsilon}\), \item[2.] (\(S\) is strongly algebraic) There exists a nonzero polynomial of degree at most \(C\) in \(\mathcal O_K[X_1,\dots,X_d]\) and coefficients of height no bigger than \(N^C\) vanishing at more than \((1-\eta) |S|\) points of \(S\). \end{itemize} Further, the authors produce two additional versions of their result with an allowed restriction to an affine or to a projective variety~\(Z\) over~\(K\): that is, \(S\) is assumed to be a subset of~\(Z\) occupying fewer residue classes modulo primes than \(Z\). Then the size of~\(S\) and the constant~\(C\) in the theorem above also depend on the dimension of~\(Z\). The authors' results extend and generalize previous work of \textit{M. Walsh} [Duke Math. J. 161, No. 10, 2001--2022 (2012; Zbl 1357.11090)], as do their methods of proof.
0 references
inverse problems
0 references
larger sieve over global fields
0 references
heights in global fields
0 references
varieties over global fields
0 references
effective Noether's normalization over global fields
0 references