Aquí formula_6 es un esquema separado de tipo finito sobre el cuerpo finito "F" con formula_7 elementos, y Frob es el endomorfismo de Frobenius sobre la cohomología de étale formula_8-ádica con soporte compacto de formula_9, la ruta de formula_6 a la clausura algebraica del cuerpo "F".