I looked at Cohen and Lensta's paper and some followup papers (i.e. Williams and te Riele), but I'm afraid they require much more algebra than I know. I'm clueless about character groups, Dedekind domains and whatnot.
I think a vague argument that the analysis is about right could be made supposing that the rho(alpha) function is "linear enough" for small variation of alpha that a weighted sum can be pulled inside the argument. I'll look at this idea more closely sometime later.
Thanks for your reply,
Alex
Last fiddled with by akruppa on 20050412 at 15:21
