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)$.
8

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 Bruyn Apr 4 '17 at 2:51

$\begingroup$ Added a bit more information. Let me know more is required. $\endgroup$ – Watson Ladd Apr 7 '17 at 1:10