Periods and L-values of modular forms - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T17:56:27Z http://mathoverflow.net/feeds/question/68149 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/68149/periods-and-l-values-of-modular-forms Periods and L-values of modular forms David Loeffler 2011-06-18T15:07:45Z 2011-08-24T05:23:40Z <p>Suppose $f$ is a modular form of weight $k \ge 2$.</p> <p>It's "well-known" that there are "periods" $\Omega_-$ and $\Omega_+ \in \mathbb{C}$, such that the $L$-values $L(f, \chi, j)$, for $\chi$ a Dirichlet character and $1 \le j \le k-1$, are $(2\pi i)^j$ times an algebraic multiple of one of $\Omega_{\pm}$.</p> <p>What is the correct statement of this "well known" result? Colmez claims in his Bourbaki seminar on $p$-adic BSD (<a href="http://www.math.jussieu.fr/~colmez/asterisque919.pdf" rel="nofollow">here</a>, Section 3.1.3) that </p> <p><code>$$L(f, \chi, j) \in \begin{cases} \overline{\mathbb{Q}} \cdot (2\pi i)^j \Omega_+ &amp; \text{if \chi(-1) = (-1)^j} \\ \overline{\mathbb{Q}} \cdot (2 \pi i)^j\Omega_- &amp; \text{if \chi(-1) =-(-1)^{j}.}\end{cases}$$</code></p> <p>On the other hand, Vatsal claims in Theorem 0.1 of <a href="http://www.math.ubc.ca/~vatsal/research/bah.PDF" rel="nofollow">this paper</a> (in which he defines canonical choices for the periods $\Omega_{\pm}$ up to $p$-adic units for a given prime $p$) that the conditions should be</p> <p><code>$$L(f, \chi, j) \in \begin{cases} \overline{\mathbb{Q}} \cdot (2\pi i)^j \Omega_+ &amp; \text{if \chi(-1) = 1} \\ \overline{\mathbb{Q}} \cdot (2 \pi i)^j\Omega_- &amp; \text{if \chi(-1) =-1.}\end{cases}$$</code></p> <p>Vatsal's statement is repeated verbatim in the MathSciNet review of the paper (<a href="http://www.ams.org/mathscinet-getitem?mr=1695203" rel="nofollow">here</a> if you have an institutional subscription). </p> <p>These can't both be right, surely? If $k = 2$ then the only possibility for $j$ is $1$, so the two claims can be reconciled by simply switching the labelling of the two periods; but for $k \ge 3$ then the only way they can both hold is if $\Omega_+ / \Omega_-$ is algebraic, which I gather isn't expected to be the case unless $f$ is CM.</p> <p>Colmez doesn't give a reference, while Vatsal cites a 1976 paper of Shimura, which I haven't been able to get hold of to check the exact statement.</p> <p>Which of these two statements are correct? Or are they both correct but I've misunderstood them?</p> http://mathoverflow.net/questions/68149/periods-and-l-values-of-modular-forms/68155#68155 Answer by monodromy for Periods and L-values of modular forms monodromy 2011-06-18T16:11:18Z 2011-06-18T16:11:18Z <p>Vatsal actually would write $(-2\pi i)^j$, so both his and Colmez's are the same correct statement.</p> http://mathoverflow.net/questions/68149/periods-and-l-values-of-modular-forms/68159#68159 Answer by Rob Harron for Periods and L-values of modular forms Rob Harron 2011-06-18T17:14:26Z 2011-08-24T05:23:40Z <p>Check out Manin's paper <a href="http://iopscience.iop.org/0025-5734/21/3/A02" rel="nofollow"><em>Periods of parabolic forms and $p$-adic Hecke series</em></a>. He only deals with level 1 and even weight, but this is enough to know that Vatsal's statement is not the right one (though not enough to fully confirm Colmez's statement, though it's true as given in Theorem 1 of Shimura's paper you can't get your hands on; you should also be able to dig it out of Mazur–Tate–Teitelbaum or Emerton–Pollack–Weston, which generalizes Vatsal). In particular, see section 1.2: The Periods Theorem of Manin's paper.</p> <p><strong>Update:</strong> In fact, the statement in the form you're looking for is written down in Theorem 1(ii) of Shimura's <em><a href="http://www.digizeitschriften.de/dms/img/?PPN=GDZPPN002314584" rel="nofollow">On the periods of modular forms</a></em> (doi:10.1007/BF01391466), where he even tells you what you can take as $\Omega_\pm$ (and the result in the weight 2 case in Shimura's aforementioned 1976 paper was still conditional on a result proved in this 1977 paper).</p>