Skip to main content
added 560 characters in body
Source Link
David Loeffler
  • 37k
  • 3
  • 89
  • 194

The definition of $f^c$ that I give in my Canad Math Bulletin paper is only well-defined when $f$ is a p-stabilised newform (i.e. f has level $Np^r$ for some $r \ge 1$ and $p \nmid N$, and either f is new of level $Np^r$, or $r = 1$ and f is the p-stabilisation of a newform of level N). If f is not locally new at the primes dividing N, then I didn't attempt to define $f^c$, and I suspect there is no good way of doing so.

In the "crystalline" case, when f is a p-stabilisation of a level N newform $f^\circ$, then $f^c$ and $f^*$ are both well-defined, and they are both p-stabilised newforms, but they are not generally the same. The relation between the two is the following. There is a level N newform $(f^\circ)^*$, and it has two p-stabilisations at level Np; one of these is $f^*$ and the other one is $f^c$. One computes that $a_p(f^c) = \chi(p)^{-1} a_p(f)$, but $a_p(f^*) = p^{k-1} / a_p(f)$. Hence the observation in my Remark 2.5 that if f is ordinary, then so is $f^c$, but $f^*$ is not ordinary unless k = 1.

(You can see immediately from those two formulae that $a_p(f^*)$ does not interpolate as f varies over specialisations of a Coleman family F, because $p^{k-1}$ is not a p-adically continuous function of k in weight space. I'm not 100% sure what Darmon and Rotger mean by $F^*$ when F is a Hida family, but I suspect they mean what I'm calling $F^c$.)

EDIT. You asked how $F^c$ is constructed. A Coleman family of tame level N has a "tame nebentype" $\chi$, which is a Dirichlet character mod $N$. If you twist $F$ by $\chi^{-1}$, you get another Coleman family whose tame nebentype is $\chi^{-1}$. A priori this family might have tame level larger than $N$, maybe up to $N^2$; but you know that it has many classical specialisations of tame level $N$ (in fact it suffices for it to have a single non-critical-slope specialisation of tame level $N$), so in fact this family has tame level $N$ and you are done.

The definition of $f^c$ that I give in my Canad Math Bulletin paper is only well-defined when $f$ is a p-stabilised newform (i.e. f has level $Np^r$ for some $r \ge 1$ and $p \nmid N$, and either f is new of level $Np^r$, or $r = 1$ and f is the p-stabilisation of a newform of level N). If f is not locally new at the primes dividing N, then I didn't attempt to define $f^c$, and I suspect there is no good way of doing so.

In the "crystalline" case, when f is a p-stabilisation of a level N newform $f^\circ$, then $f^c$ and $f^*$ are both well-defined, and they are both p-stabilised newforms, but they are not generally the same. The relation between the two is the following. There is a level N newform $(f^\circ)^*$, and it has two p-stabilisations at level Np; one of these is $f^*$ and the other one is $f^c$. One computes that $a_p(f^c) = \chi(p)^{-1} a_p(f)$, but $a_p(f^*) = p^{k-1} / a_p(f)$. Hence the observation in my Remark 2.5 that if f is ordinary, then so is $f^c$, but $f^*$ is not ordinary unless k = 1.

(You can see immediately from those two formulae that $a_p(f^*)$ does not interpolate as f varies over specialisations of a Coleman family F, because $p^{k-1}$ is not a p-adically continuous function of k in weight space. I'm not 100% sure what Darmon and Rotger mean by $F^*$ when F is a Hida family, but I suspect they mean what I'm calling $F^c$.)

The definition of $f^c$ that I give in my Canad Math Bulletin paper is only well-defined when $f$ is a p-stabilised newform (i.e. f has level $Np^r$ for some $r \ge 1$ and $p \nmid N$, and either f is new of level $Np^r$, or $r = 1$ and f is the p-stabilisation of a newform of level N). If f is not locally new at the primes dividing N, then I didn't attempt to define $f^c$, and I suspect there is no good way of doing so.

In the "crystalline" case, when f is a p-stabilisation of a level N newform $f^\circ$, then $f^c$ and $f^*$ are both well-defined, and they are both p-stabilised newforms, but they are not generally the same. The relation between the two is the following. There is a level N newform $(f^\circ)^*$, and it has two p-stabilisations at level Np; one of these is $f^*$ and the other one is $f^c$. One computes that $a_p(f^c) = \chi(p)^{-1} a_p(f)$, but $a_p(f^*) = p^{k-1} / a_p(f)$. Hence the observation in my Remark 2.5 that if f is ordinary, then so is $f^c$, but $f^*$ is not ordinary unless k = 1.

(You can see immediately from those two formulae that $a_p(f^*)$ does not interpolate as f varies over specialisations of a Coleman family F, because $p^{k-1}$ is not a p-adically continuous function of k in weight space. I'm not 100% sure what Darmon and Rotger mean by $F^*$ when F is a Hida family, but I suspect they mean what I'm calling $F^c$.)

EDIT. You asked how $F^c$ is constructed. A Coleman family of tame level N has a "tame nebentype" $\chi$, which is a Dirichlet character mod $N$. If you twist $F$ by $\chi^{-1}$, you get another Coleman family whose tame nebentype is $\chi^{-1}$. A priori this family might have tame level larger than $N$, maybe up to $N^2$; but you know that it has many classical specialisations of tame level $N$ (in fact it suffices for it to have a single non-critical-slope specialisation of tame level $N$), so in fact this family has tame level $N$ and you are done.

Source Link
David Loeffler
  • 37k
  • 3
  • 89
  • 194

The definition of $f^c$ that I give in my Canad Math Bulletin paper is only well-defined when $f$ is a p-stabilised newform (i.e. f has level $Np^r$ for some $r \ge 1$ and $p \nmid N$, and either f is new of level $Np^r$, or $r = 1$ and f is the p-stabilisation of a newform of level N). If f is not locally new at the primes dividing N, then I didn't attempt to define $f^c$, and I suspect there is no good way of doing so.

In the "crystalline" case, when f is a p-stabilisation of a level N newform $f^\circ$, then $f^c$ and $f^*$ are both well-defined, and they are both p-stabilised newforms, but they are not generally the same. The relation between the two is the following. There is a level N newform $(f^\circ)^*$, and it has two p-stabilisations at level Np; one of these is $f^*$ and the other one is $f^c$. One computes that $a_p(f^c) = \chi(p)^{-1} a_p(f)$, but $a_p(f^*) = p^{k-1} / a_p(f)$. Hence the observation in my Remark 2.5 that if f is ordinary, then so is $f^c$, but $f^*$ is not ordinary unless k = 1.

(You can see immediately from those two formulae that $a_p(f^*)$ does not interpolate as f varies over specialisations of a Coleman family F, because $p^{k-1}$ is not a p-adically continuous function of k in weight space. I'm not 100% sure what Darmon and Rotger mean by $F^*$ when F is a Hida family, but I suspect they mean what I'm calling $F^c$.)