Eisenstein-reeks

Uit Wikipedia, de vrije encyclopedie

In de wiskunde is een Eisensteinreeks, genoemd naar de Duitse wiskundige Gotthold Eisenstein, een speciale modulaire vorm met een expliciete oneindige reeksontwikkeling. Hoewel oorspronkelijk gedefinieerd voor de modulaire groep, kan een Eisensteinreeks gegeneraliseerd worden in de theorie van de automorfe vormen.

Eisenstein-reeks voor de modulaire groep[bewerken | brontekst bewerken]

Het reële deel van als een functie van op de eenheidsschijf.
Het imaginaire deel van als een functie van op de eenheidsschijf.

Laat een complex getal zijn met een strikt positief imaginair deel. Definieer de holomorfe Eisensteinreeks met gewicht , waar een geheel getal is, door de volgende reeks:

Deze reeks convergeert absoluut naar een holomorfe functie van in het bovenhalfvlak en zijn Fourieruitbreiding die hieronder wordt gegeven, laat zien dat hij voortgezet kan worden naar een holomorfe functie op . Het is een opmerkelijk feit dat de Eisensteinreeks een modulaire vorm is. Sterker nog, de belangrijkste eigenschap van de Eisensteinreeks is zijn -invariantie.

Expliciet als en dan geldt

en is daarom een modulaire vorm van gewicht . Merk op dat het belangrijk is om te veronderstellen dat , anders zou het niet zijn toegestaan om de sommatievolgorde te veranderen, en zou de -invariantie niet behouden blijven. In feite zijn er geen niet-triviale modulaire vormen met gewicht 2. Niettemin kan een analogon van de holomorfe Eisensteinreeks, zelfs voor , worden gedefinieerd, ook al zou dit slechts een bijna modulaire vorm zijn.