In number theory, the fundamental lemma of sieve theory is any of several results that systematize the process of applying sieve methods to particular problems. Halberstam & Richert
write:
A curious feature of sieve literature is that while there is frequent use of Brun's method there are only a few attempts to formulate a general Brun theorem (such as Theorem 2.1); as a result there are surprisingly many papers which repeat in considerable detail the steps of Brun's argument. Diamond & Halberstam attribute the terminology Fundamental Lemma to Jonas Kubilius.
Common notation We use these notations:
A {\displaystyle A} is a set of X {\displaystyle X} positive integers, and A d {\displaystyle A_{d}} is its subset of integers divisible by d {\displaystyle d}
w ( d ) {\displaystyle w(d)} and R d {\displaystyle R_{d}} are functions of A {\displaystyle A} and of d {\displaystyle d} that estimate the number of elements of A {\displaystyle A} that are divisible by d {\displaystyle d} , according to the formula
| A d | = w ( d ) d X + R d . {\displaystyle \left\vert A_{d}\right\vert ={\frac {w(d)}{d}}X+R_{d}.}
Thus w ( d ) / d {\displaystyle w(d)/d} represents an approximate density of members divisible by d {\displaystyle d} , and R d {\displaystyle R_{d}} represents an error or remainder term.
P {\displaystyle P} is a set of primes, and P ( z ) {\displaystyle P(z)} is the product of those primes ≤ z {\displaystyle \leq z}
S ( A , P , z ) {\displaystyle S(A,P,z)} is the number of elements of A {\displaystyle A} not divisible by any prime in P {\displaystyle P} that is ≤ z {\displaystyle \leq z}
κ {\displaystyle \kappa } is a constant, called the sifting density, that appears in the assumptions below. It is a weighted average of the number of residue classes sieved out by each prime.
Fundamental lemma of the combinatorial sieve This formulation is from Tenenbaum. Other formulations are in Halberstam & Richert, in Greaves, and in Friedlander & Iwaniec. We make the assumptions:
w ( d ) {\displaystyle w(d)} is a multiplicative function. The sifting density κ {\displaystyle \kappa } satisfies, for some constant C {\displaystyle C} and any real numbers η {\displaystyle \eta } and ξ {\displaystyle \xi } with 2 ≤ η ≤ ξ {\displaystyle 2\leq \eta \leq \xi } :
∏ η ≤ p ≤ ξ ( 1 − w ( p ) p ) − 1 < ( ln ξ ln η ) κ ( 1 + C ln η ) . {\displaystyle \prod _{\eta \leq p\leq \xi }\left(1-{\frac {w(p)}{p}}\right)^{-1}<\left({\frac {\ln \xi }{\ln \eta }}\right)^{\kappa }\left(1+{\frac {C}{\ln \eta }}\right).}
There is a parameter u ≥ 1 {\displaystyle u\geq 1} that is at our disposal. We have uniformly in A {\displaystyle A} , X {\displaystyle X} , z {\displaystyle z} , and u {\displaystyle u} that
… excerpt ends here. Continue reading the full article.
