In the 1950s and 1960s, a fruitful collaboration between Serre and the two-years-younger
Alexander Grothendieck led to important foundational work, much of it motivated by the
Weil conjectures. Two major foundational papers by Serre were
Faisceaux Algébriques Cohérents (FAC), on
coherent cohomology) and
Géometrie Algébrique et Géométrie Analytique (
GAGA).
Even at an early stage in his work Serre had perceived a need to construct more general and refined
cohomology theories to tackle the Weil conjectures. The problem was that the cohomology of a
coherent sheaf over a
finite field couldn't capture as much topology as
singular cohomology with integer coefficients. Amongst Serre's early candidate theories of 1954–55 was one based on
Witt vector coefficients.
Around
1958 Serre suggested that isotrivial principal bundles on algebraic varieties — those that become trivial after pullback by a finite
étale map — are important. This acted as one important source of inspiration for Grothendieck to develop
étale topology and the corresponding theory of
étale cohomology. These tools, developed in full by Grothendieck and collaborators in
Séminaire de géométrie algébrique (SGA) 4 and SGA 5, provided the tools for the eventual proof of the Weil conjectures.
In later years Serre was sometimes a source of counterexamples to over-optimistic extrapolations. He also had a close working relationship with
Pierre Deligne, who eventually finished the proof of the Weil conjectures.