4
$\begingroup$

Let $A$ be an abelian variety over $\mathbb Q$. One could ask

(1) is there a finite extension $K$ of $\mathbb Q$ such that the L-function $L(A/K,s)$ is the L-function of an automorphic form?

or

(2) is there a finite extension $K$ of $\mathbb Q$ such that, for every finite extension $K \subset K'$, the L-function $L(A/{K'},s)$ of $A$ over $K'$ is the L-function of an automorphic form?

Questions: (i) It seems potential automorphic refers to (1). Is that correct?

(ii) Does (1) imply (2) under the assumption of the Artin conjecture?

For elliptic curves over $\mathbb Q$, modularity is equivalent to a non-constant map from the modular curve to the given elliptic curve and hence a cycle on the product of the modular curve and the elliptic curve.

(iii) If an abelian variety is automorphic, then is an appropriate algebraic cycle expected on the product of a Shimura variety and the given abelian variety?

$\endgroup$
8
  • $\begingroup$ Could you tell what results you assume about $\rho : \text{Gal}(\overline{K}/K) \to \text{Aut}(T_{\ell}(A))$ ? $\endgroup$
    – reuns
    Nov 20, 2017 at 4:20
  • $\begingroup$ Why do you think the Artin conjecture is relevant? $\endgroup$
    – Will Sawin
    Nov 20, 2017 at 9:56
  • $\begingroup$ @reuns: No assumptions on $\rho$. $\endgroup$
    – guest
    Nov 20, 2017 at 18:49
  • $\begingroup$ No assumptions but plenty of results have been proven, so please remind us (for those who know Artin L-functions better than abelian varieties) $\endgroup$
    – reuns
    Nov 20, 2017 at 18:59
  • $\begingroup$ @WillSawin: Because the L-function of $A$ over any Galois extension $K'$ of $K$ will be a product of the L-function $L(A \otimes \chi, s)$ where $\chi$ is an irreducible representation of the finite Galois group $\mathrm{Gal}(K'/K)$. So it seemed the Artin conjecture for $\chi$ might be relevant here. $\endgroup$
    – guest
    Nov 21, 2017 at 2:19

2 Answers 2

2
$\begingroup$

(i) is correct.

(ii) has nothing to do with Artin's conjecture I believe. It is known that (1) implies (2) in the case $K'/K$ solvable. This is the so-called solvable base change, solved by Arthur and Clozel in the 1980's, and it really has nothing to do with abelian varieties. The general non-solvable case is wide-open.

$\endgroup$
1
  • $\begingroup$ Thanks for your response. Just to make sure, you are saying that the relation between (1) and (2) is base-change? $\endgroup$
    – guest
    Nov 23, 2017 at 23:10
0
$\begingroup$

If you know that $A$ is automorphic and $\chi$ is automorphic then from the Rankin-Selberg (Jacquet, Piatetski-Shapiro, Shalika) you know that the L-function $L(A \times \chi,s)$ is meromorphic and satisfies the expected functional equation. That gives a weak form of (ii). (I don't know the answer to your other questions.)

$\endgroup$
3
  • $\begingroup$ Do you mean "the L-function associated to $ A $ (resp. $ \chi $ )" instead of $ A $ and $ \chi $ themselves ? $\endgroup$ Nov 23, 2017 at 19:12
  • 1
    $\begingroup$ @SylvainJULIEN, it is obvious that both statements have the same meanings and there is no ambiguity. $\endgroup$ Nov 23, 2017 at 20:57
  • $\begingroup$ @Moreofacomment: Thanks for your response. Could you please point me to a reference for this? $\endgroup$
    – guest
    Nov 23, 2017 at 23:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.