Una de las metas fue desarrollar el formalismo necesario para resolver problemas profundos en geometría algebraica, como las conjeturas de Weil (la última de las cuales fue demostrada por Pierre Deligne).