Suppose I have a motive $M$ over $\mathbb{Q}$, and can compute the Euler factor of the associated $L$function for any good prime $p$. How can I compute the Zariski closure of the image of the Galois group? In particular I am interested in the case where $M$ is a hypergeometric motive as implemented in Magma. I only have access to the characteristic polynomial of the Frobenius operator for any prime $p$, so ideally any characterization would need only this information. SatoTate data indicates it is $\mathrm{USp}(4)$.
2

3$\begingroup$ Could you explain a little bit more about your setup? Over what field do you work, and what type of motive do you consider (as far as I know, this word has many not necessarily equivalent meanings)? $\endgroup$– R. van Dobben de BruynApr 4, 2017 at 2:51

$\begingroup$ Added a bit more information. Let me know more is required. $\endgroup$– Watson LaddApr 7, 2017 at 1:10
Add a comment
