The classical Noether–Lefschetz theorem is the following:
Theorem. Let be a very general smooth surface of degree
. Then the natural map
is an isomorphism.
If is a smooth proper family over some base
(usually of finite type over a field), then a property
holds for a very general
if there exists a countable intersection
of nonempty Zariski opens
such that
holds for
for all
.
In general, Hilbert scheme arguments show that the locus where the Picard rank is ‘bigger than expected’ is a countable union of closed subvarieties of
(the Noether–Lefschetz loci), but it could be the case that this actually happens everywhere (i.e.
). The hard part of the Noether–Lefschetz theorem is that the jumping loci
are strict subvarieties of the full space of degree
hypersurfaces.
If is a family of varieties over an uncountable field
, then there always exists a very general member
with
. But over countable fields, very general elements might not exist, because it is possible that
even when
.
The following interesting phenomenon was brought to my attention by Daniel Bragg (if I recall correctly):
Example. Let (the algebraic closure of the field of
elements, but the bar is not so visible in MathJax), let
(or some scheme covering it if that makes you happier) with universal family
of elliptic curves, and let
be the family of product abelian surfaces
. Then the locus
is exactly the set of -points (so it misses only the generic point).
Indeed, , and every elliptic curve
over
has
. But the generic elliptic curve only has
.
We see that the Noether–Lefschetz loci might cover all -points without covering
, even in very natural situations.