ABSTRACT
We study the action of the derived Hecke algebra on the space of weight one forms. By analogy with the topological case, we formulate a conjecture relating this to a certain Stark unit. We verify the truth of the conjecture numerically, for the weight one forms of level 23 and 31, and many derived Hecke operators at primes less than 200. Our computation depends in an essential way on Merel’s evaluation of the pairing between the Shimura and cuspidal subgroups of J0(q).
KEYWORDS:
Notes
1 We apologize for the perhaps pedantic distinction between Ad*ρ and Ad0ρ. Since we will shortly be localizing at a prime larger than 2, one could identify them by means of the pairing trace(AB). However, when working in a general setting, one really needs to use Ad*, and following this convention makes it easier to compare with [CitationVenkatesh nd].
2 It seems likely that the two sides are actually equal in but we do not prove this.
3 Recently, Lecouturier has proposed a very interesting generalization of the conjectural equality (Equation5–10(5--12)
(5--12) ) to the case when ϖMerel is zero modulo p and has verified it numerically in some cases.
4 To be absolutely clear, we write out the meaning of this statement. We understand
as elements of
; and the statement above means that if we reduce
to
, then
, in the sense of (Equation3–4
(3--4)
(3--4) ).
5 The primes q for which ρ(Frobq) is a 3-cycle also are Taylor–Wiles primes, but it is then easy to see that Tq, zg = 0 for such q. To verify this, one can use the fact—notation as in (Equation5–3(5--5)
(5--5) —that the Atkin–Lehner involution at q for X01(qN) acts by − 1 on
, but it acts by χ(q) on G, where χ is the quadratic Nebentypus character for g.
6 with an apology to 21st century readers, see below...