Det finnes en kanoisk måte å embedde TS (M) inn i L_n (Z) = End (Z^n), siden multiplikasjon med tannakian symbol er en lineær funksjon på Z^n. Dette betyr også at L_n, og enda viktigere GL_n har en preimage i TS ( M ), så lenge #M = n
Altså er en representasjon av en gruppe en funksjon inn i TS (W_n)
Når er det samsvar mellom dette og det globale bildet?
Si G = Gal (Qbar/Q)
Da kan vi ta ut funksjonen Frob_p, kjøre den gjennom representasjonen, og se på hva det er gitt av i TS (Gal (Qbar/Q))
Vi kan bruke TS (f => f (sqrt (p))) elns for å få et element i TS (Qbar). Tror du dette er i det hele tatt relatert til pointcounting? Jeg klarer ikke si hvorfor, men det føles ut som en veldig naturlig ting å gjøre...
Det finnes en kanoisk måte å embedde TS (M) inn i L_n (Z) = End (Z^n), siden multiplikasjon med tannakian symbol er en lineær funksjon på Z^n. Dette betyr også at L_n, og enda viktigere GL_n har en preimage i TS ( M ), så lenge #M = n
Altså er en representasjon av en gruppe en funksjon inn i TS (W_n)
Når er det samsvar mellom dette og det globale bildet?
Si G = Gal (Qbar/Q)
Da kan vi ta ut funksjonen Frob_p, kjøre den gjennom representasjonen, og se på hva det er gitt av i TS (Gal (Qbar/Q))
Vi kan bruke TS (f => f (sqrt (p))) elns for å få et element i TS (Qbar). Tror du dette er i det hele tatt relatert til pointcounting? Jeg klarer ikke si hvorfor, men det føles ut som en veldig naturlig ting å gjøre...