Suponiendo las conjeturas estándar (y lo que sea necesario además), ¿Hay una buena prueba de las conjeturas de Weil escritas completamente en el lenguaje de los motivos?
Respuesta
¿Demasiados anuncios?Véase Theorem 5.6 en el artículo de Kleiman "The Standard Conjectures", en el volumen Motives (PSPM 55.1). No estoy muy seguro de lo que quieres decir con "escrito completamente en el lenguaje de los motivos", por lo que podría no ser exactamente lo que estás buscando.
Inicialmente publiqué esto como un comentario, pero realmente debería ser una respuesta, así que lo estoy re-publicando como uno solo.