Después de leer la respuesta a mi pregunta anterior: ¿cuáles son las diferentes teorías que la motivic grupo fundamental de los intentos de unificar?
Me decidí a leer sobre Tannakian formalismo.
Dada la categoría numérica motivos, y suponiendo que la Conjetura de C de la norma conjeturas (la referente a la calificación numérica de motivos), se puede construir una categoría que será Tannakian. Esto se hace cambiando el signo de la `canónica" de morfismos $h^iX\otimes h^jX \cong h^jX \otimes h^iX$ para $ij$ impar .
Parece que en los textos acerca de los motivos, que el objetivo final era siempre para lograr un Tannakian categoría. Pero, ¿qué motivación hay para esto? ¿Por qué una categoría que tiene que ver con los motivos sea la categoría de representaciones de un grupo afín esquema? Esto parece una locura para mí. Es este immitative de algunas más fácil, más bien entendida, la teoría en la que tiene sentido relacionar cohomology con representaciones?
También, se conjeturó lo que este misterioso afín esquema de grupo es, en el caso de numérico de motivos con el ajuste por escrito arriba?