Suppose that for $n \geq 4$ we have $F(x\_1, \cdots, x\_n) \in \mathbb{Z}[x\_1, \cdots, x\_n]$ is a homogeneous polynomial. Consider a large prime $p$, and suppose that we consider points of the variety $F(x\_1, \cdots, x\_n) \equiv 0 \pmod{p}$. If we consider non-singular points, then it is easy to see that the number of non-singular points is at most $O(p^{n-2})$, since this is a $(n-2)$-dimensional variety in $\mathbb{P}^{n-1}$. Then can we say that the number of non-singular points subject to the condition that $1 \leq x\_1, x\_2, \cdots, x\_{n-2} \leq \sqrt{p}$ is say $O(p^{d})$, where the bound $d$ is better than simply the measure of the box $[1, \sqrt{p}] \times \cdots [1, \sqrt{p}] \times [1, p] \times [1, p]$?



Points on a projective variety modulo $p$
If we identify $\mathbf{F}\_p$ with $X\_p=\{0,1,\ldots, (p-1)\}\subset [0,p]$, one can probably show that for many varieties $Y/\mathbf{Z}$ in $\mathbf{A}^n$ (e.g, many hypersurfaces), the intersection $Y\cap [0,B]^n$ has not much more than the expected number $B^{n-1}$ of points, for $B$ slightly larger than $\sqrt{p}$ (e.g., $B$ about $\sqrt{p}\log p$). 


The idea is to use additive characters modulo $p$ to detect the condition that an integer lies in the interval $[0,B]$, and incorporate the corresponding characters in a point-counting formula. For instance, if $Y$ is defined by $F(x\_1,\ldots,x\_n)=0$, you would write
$$N=\frac{1}{p}\sum\_{(a,x\_1,\ldots,x\_n)\in\mathbf{F}\_p^{n+1}}{\exp(2i\pi(aF(x\_1,\ldots,x\_n))/p)}$$
for the total number of points on the variety modulo $p$, and then
$$
N\_B=\frac{1}{p}\sum\_{(a,x\_1,\ldots,x\_n)\in\mathbf{F}\_p^{n+1}}{\chi(x\_1)\cdots\chi(x\_n)\exp(2i\pi(aF(x\_1,\ldots,x\_n))/p)}
$$
for those where each $x\_i$ is between $1$ and $B$, where $\chi(x)$ is the characteristic function of the interval; then write
$$
\chi(x)=\sum\_{0\leq b\leq p-1}{\hat{\chi}(b)\exp(2i\pi bx/p)}
$$
by discrete Fourier analysis, and one is led to exponential sums of the type
$$
\frac{1}{p}\sum\_{(a,x\_1,\ldots,x\_n,b\_1,\ldots,b\_n)\in\mathbf{F}\_p^{2n+1}}{\exp(2i\pi(aF(x\_1,\ldots,x\_n)+b\_1x\_1+\cdots+b\_nx\_n)/p)}
$$
which are parameterized by $(b\_1,\ldots, b\_n)$.


Now if you get most of these sums to be of the right order of magnitude (i.e., squareroot cancellation -- note this will fail in the example of Noam Elkies since $F$ is then linear and will cancel with some of the additively-shifted ones), you should get what I mentioned.


For examples, references and discussion of such results, I recommend the paper "A general stratification theorem for exponential sums and applications", Crelle 540 (2001), 115-166, by E. Fouvry and N. Katz, especially the discussion in Section 10.


