Formularios bilineales con funciones de rastreo sobre conjuntos arbitrarios y aplicaciones a Sato-Tate