A p-adic measure attached to the zeta functions associated with two elliptic modular forms. I (Q1063057): Difference between revisions

Nach Resultaten von Shimura ist die Algebraizität spezieller Werte des Rankin-Produktes zweier Modulformen f und g bekannt. Der Autor konstruiert nun ein zugehöriges p-adisches Maß, mit der Absicht, diese speziellen Werte p-adisch interpolieren zu können. Dies ist motiviert durch den vermuteten Zusammenhang mit der Iwasawatheorie für elliptische Kurven (oder allgemeinere Situationen). Man geht aus von zwei Modulformen f und g mit unterschiedlichem Gewicht \(k>\ell\), und nimmt an, daß f eine Neuform ist. Darüberhinaus wird g in der Regel als \(\theta\)-Reihe angesetzt (in {\S} 8 wird der allgemeine Fall skizziert). Die gesuchten Maße werden zunächst mit Werten im Raum der p-adischen Modulformen (siehe {\S} 4), konstruiert. Dies geschieht in {\S} 6, indem man sog. ''Eisenstein-Maße'', ein ''theta-Maß'' sowie deren ''Konvolution'' konstruiert. Das so gewonnene Maß \(\Phi\) wird auf den ordinären Teil des Raums der p-adischen Modulformen projiziert und ergibt das Maß \(\Phi^ 0\). Dieses hat Werte in einem endlich-dimensionalen Vektorraum. Ist nun f außerdem ordinär für p, so kann man eine geeignete Linearform \(\ell_ f\) auf den p-adischen Modulformen konstruieren (im wesentlichen ist \(\ell_ f\) die Bildung des ersten q- Entwicklungskoeffizienten), deren Werte in einem endlich-algebraischen Zahlkörper liegen. Das gewünschte Maß erhält man nun durch Verkettung der Linearform \(\ell_ f\) mit dem Maß \(\Phi^ 0\).