We show that ara
$V\ge N2$
by means of the following criterion, which is based on étale cohomology and is cited from [
6]
, Lemma 3
${}^{\prime}$
.
Lemma 1
Let
$W\subset \stackrel{~}{W}$
be affine varieties. Let
$d=dim\stackrel{~}{W}\backslash W$
. If there are
$s$
equations
${F}_{1},...,{F}_{s}$
such that
$W=\stackrel{~}{W}\cap V({F}_{1},...,{F}_{s})$
, then
$${H}^{d+i}et(\stackrel{~}{W}\backslash W,\mathit{Z}\mathit{Z}/r\mathit{Z}\mathit{Z})=0\text{for all}i\ge s$$
and for all
$r\in \mathit{Z}\mathit{Z}$
which are prime to char
$K$
.
Hence our claim will follow once we have shown
Proposition 2
If char
$K\ne p$
, then
$${H}^{2N3}et({K}^{N}\backslash V,\mathit{Z}\mathit{Z}/p\mathit{Z}\mathit{Z})\ne 0.$$
If char
$K\ne q$
, then
$${H}^{2N3}et({K}^{N}\backslash V,\mathit{Z}\mathit{Z}/q\mathit{Z}\mathit{Z})\ne 0.$$
Proof .Let
$r\in \{p,q\}$
, and suppose that char
$K\ne r$
. In the sequel
$Het$
and
$Hc$
will denote étale cohomology and étale cohomology with compact support with respect to the coefficient group
$\mathit{Z}\mathit{Z}/r\mathit{Z}\mathit{Z}$
: we shall omit the latter for the sake of simplicity. By Poincaré Duality (s. [
8]
, Cor. 11.2, p. 276) we have
$$\begin{array}{c}{H}^{2N3}et({K}^{N}\backslash V)\simeq {H}^{3}c({K}^{N}\backslash V)\end{array}$$ 
(7)

Moreover, we have a long exact sequence of cohomology with compact support
$$\cdots \to {H}^{2}c\left({K}^{N}\right)\to {H}^{2}c\left(V\right)\to {H}^{3}c({K}^{N}\backslash V)\to {H}^{3}c\left({K}^{N}\right)\to \cdots ,$$
where
${H}^{2}c\left({K}^{N}\right)={H}^{3}c\left({K}^{N}\right)=0$
, since
$N\ge 3$
. Hence
$$\begin{array}{c}{H}^{3}c({K}^{N}\backslash V)\simeq {H}^{2}c\left(V\right)\end{array}$$ 
(8)

By ( 7 ) and ( 8 ) it thus suffices to show that
$$\begin{array}{c}{H}^{2}c\left(V\right)\ne 0\end{array}$$ 
(9)

On
${K}^{n}$
fix the coordinates
${u}_{1},...,{u}_{n}$
and let
$X$
be the subvariety of
${K}^{n}$
defined by
${u}_{1}={u}_{2}=\cdots ={u}_{n1}=0$
. Then
$X$
is a 1dimensional affine space over
$K$
, on which we fix the coordinate
${u}_{n}$
. Consider the surjective map
$$\phi :{K}^{n}\to V$$
$$({u}_{1},...,{u}_{n})\mapsto ({u}_{1},...,{u}_{n1},{u}_{n}^{d},{u}_{1}^{{a}_{1}}{u}_{n},...,{u}_{n1}^{{a}_{n1}}{u}_{n})$$
and the restriction map
$$\stackrel{~}{\phi}:{K}^{n}\backslash X\to V\backslash \phi \left(X\right),$$
which is a bijective morphism of affine schemes. For all
$i=1,...,n1$
let
${V}_{i}=\left\{\right({\overline{x}}_{1},...,{\overline{x}}_{n1},{\overline{x}}_{n},{\overline{y}}_{1},...,{\overline{y}}_{n1})\in V{\overline{x}}_{i}\ne 0\}$
. These sets form an open cover of
$V\backslash \phi \left(X\right)$
, and
${U}_{i}={\phi}^{1}\left({V}_{i}\right)=\left\{\right({u}_{1},...,{u}_{n})\in {K}^{n}{u}_{i}\ne 0\}$
. Moreover, for all
$i=1...,n1$
, the morphism
$${\psi}_{i}:{V}_{i}\to {U}_{i}$$
$$({\overline{x}}_{1},...,{\overline{x}}_{n1},{\overline{x}}_{n},{\overline{y}}_{1},...,{\overline{y}}_{n1})\mapsto ({\overline{x}}_{1},...,{\overline{x}}_{n1},\frac{{\overline{y}}_{i}}{{\overline{x}}_{i}^{{a}_{i}}})$$
is the inverse map of the restriction of
$\stackrel{~}{\phi}$
to
${U}_{i}$
. Hence
$\stackrel{~}{\phi}$
is an isomorphism of affine schemes, so that it induces an isomorphism of groups
$${\stackrel{~}{\phi}}_{i}^{*}:{H}^{i}c(V\backslash \phi (X\left)\right)\simeq {H}^{i}c({K}^{n}\backslash X)$$
for all indices
$i$
. The restriction of
$\phi $
to
$X$
$$\overline{\phi}:X\to \phi \left(X\right)$$
maps
${u}_{n}$
to
$(0,...,0,{u}_{n}^{d},...,0)$
. Hence
$\phi \left(X\right)$
is a 1dimensional affine space and
$\overline{\phi}$
induces multiplication by
$d$
in cohomology with compact support. Now, as it is wellknown,
$${H}^{i}c\left(\phi \right(X\left)\right)\simeq {H}^{i}c\left(X\right)\simeq \{\begin{array}{cc}\mathit{Z}\mathit{Z}/r\mathit{Z}\mathit{Z}& \text{for}i=2\\ 0& \text{else}\end{array}$$
Since
$r$
divides
$d$
, it follows that the induced maps
$${\overline{\phi}}_{i}^{*}:{H}^{i}c\left(\phi \right(X\left)\right)\u27f6{H}^{i}c\left(X\right)$$
are all equal to the zero map. Thus
$\phi $
gives rise to the following morphism of acyclic complexes:
$$\begin{array}{cccccc}& & \mathit{Z}\mathit{Z}/r\mathit{Z}\mathit{Z}& & & \end{array}$$  
$$\begin{array}{cccccc}& & \wr & f& & \end{array}$$  
$$\begin{array}{ccccc}{H}^{2}c\left(V\right)& \to & {H}^{2}c\left(\phi \right(X\left)\right)& \to & {H}^{3}c(V\backslash \phi (X\left)\right)\end{array}$$  
$$\begin{array}{cccccc}& & & & & \end{array}$$  
$$\begin{array}{ccccc}\downarrow & & {\overline{\phi}}_{2}^{*}\downarrow 0& & \wr \downarrow {\stackrel{~}{\phi}}_{3}^{*}\end{array}$$  
$$\begin{array}{cccccc}& & & & & \end{array}$$  
$$\begin{array}{ccccc}{H}^{2}c\left({K}^{n}\right)& \to & {H}^{2}c\left(X\right)& \to & {H}^{3}c({K}^{n}\backslash X)\end{array}$$  
$$\begin{array}{cccccc}& & \wr & g& & \end{array}$$  
$$\begin{array}{cccccc}& & \mathit{Z}\mathit{Z}/r\mathit{Z}\mathit{Z}& & & \end{array}$$  
Note that
${\stackrel{~}{\phi}}_{3}^{*}f=g0=0$
is the zero map, so that
${\stackrel{~}{\phi}}_{3}^{*}f$
is not injective. Since
${\stackrel{~}{\phi}}_{3}^{*}$
is an isomorphism, it follows that
$f$
is not injective. This implies ( 9 ) and completes the proof. References

M. Barile, Almost settheoretic complete intersections in characteristic zero. Preprint (2005). arXiv:math.AG/0504052

M. Barile, A note on Veronese varieties. Preprint (2005). arXiv:math.AG/0504055

M. Barile, G. Lyubeznik, Settheoretic complete intersections in characteristic
$p$
. Preprint (2004). To appear in: Proceedings of the American Mathematical Society.

M. Barile, M. Morales, A. Thoma, On Simplicial Toric Varieties Which Are SetTheoretic Complete Intersections, J. Algebra 226 (2000), 880–892.

M. Barile, M. Morales, A. Thoma, SetTheoretic Complete Intersections on Binomials, Proc. AMS 130 (2002), 1893–1903.

W. Bruns, R. Schwänzl, The number of equations defining a determinantal variety, Bull. London Math. Soc. 22 (1990), 439–445.

D. Eisenbud, E.G. Evans, jr. Every Algebraic Set in
$n$
Space is the Intersection of
$n$
Hypersurfaces, Inv. Math. 19 (1973), 107–112.

J.S. Milne, “Étale cohomology”, Princeton University Press, Princeton, 1980.