A) Given a non-constant polynomial $q\in\mathbb{Z}[\alpha\_1,\alpha\_2,\ldots,\alpha\_n],$ if we pick random $\omega\_i\in\mathbb{F}$ (a finite field) uniformly and independently across $1\leq i\leq n,$ then, we know that $q(\omega\_1,\omega\_2,\ldots,\omega\_n)\neq 0$ with high probability (i.e. the probability goes to 1 as $|\mathbb{F}|\rightarrow\infty$). 


B) Given another polynomial $r\in\mathbb{Z}[\alpha\_1,\alpha\_2,\ldots,\alpha\_n],$ I am interested in determining if there exists a field $\mathbb{F}$ and a choice of $\omega\_i\in\mathbb{F}$ which simultaneously satisfy $q(\omega\_1,\omega\_2,\ldots,\omega\_n)\neq 0$ and $r(\omega\_1,\omega\_2,\ldots,\omega\_n)= 0.$ Is there a theorem that gives necessary or sufficient conditions for this to happen? Is it true that if it happens over some field, then it happens over all sufficiently large finite fields?


Is it true that if there is a point which satisfies $r=0$ and $q\neq 0,$ then "most" of the points satisfying $r=0$ also satisfy $q\neq 0,$ in similar spirit to the result A which is the case of $r$ being the zero polynomial?


I am interested only in solutions over finite fields and not over their algebraic closures.


Thanks a lot.



Polynomials over Z evaluated with finite field arguments
This should work out for you, with a bit more geometry and perhaps a little trickery. You are asking for points over finite fields avoiding a given hypersurface, in affine space. It is conceptually a little easier to think of points in a projective space avoiding both a hypersurface and the hyperplane at infinity, because the typical estimates refer immediately to projective varieties. Your (A) works because the points on the hypersurface have main term which is the size of the finite field (often written q but your notation clashes) to the power of its dimension, which is n - 1. The error term is smaller, naturally, in its power, with implied constant that comes from Betti numbers that are fixed by the choice of q (your polynomial). The points on the hyperplane at infinity are easy to count.


For your (B) there will have to be some conditions at least as strong as r not dividing q. One trick that can be useful is to introduce a further variable y for which one requires yq(x) - 1 = 0: then that's a second equation to add to r(x) = 0 (rather than the inequation on q). The general theory applied to the simultaneous equations should then produce adequate numbers of solutions of the kind you want, over all large finite fields. Some care is needed to discuss the possibility that the simultaneous equations produce a singular variety over *Z*. When q and r are in "general position" this should go through easily. The old Lang-Weil paper on counting points might have enough to deal with it.


