Darstellungen von \(\mathrm{SL}(2, \mathbb Z/p^\lambda \mathbb Z)\) und Thetafunktionen. I (Q2264797)

Durch Thetareihen der Stufe \(mp^\lambda\), \(m\) teilerfremd zu \(p\), werden Vektorräume erzeugt, die invariant sind unter der Hauptkongruenzuntergruppe \(\Gamma(m)\) von \(\mathrm{SL}(2, \mathbb Z)\), wenn diese auf den Thetareihen so operiert, wie es bei elliptischen Modulformen üblich ist. Man erhält damit Darstellungen von \(\mathrm{SL}(2, \mathbb Z/p^\lambda \mathbb Z)\), da diese Gruppe isomorph zur Faktorgruppe \(\Gamma(m)/\Gamma(mp^\lambda)\) ist. Die Koeffizienten dieser Darstellungen lassen sich explizit angeben. Aufgrund von Identitäten zwischen Thetareihen zu verschiedenen quadratischen Formen werden gewisse Reduktionsmethoden für die so gewonnenen Darstellungen angegeben. Bereits aus den Thetareihen zu binären quadratischen Formen kann man alle irreduziblen Darstellungen der Gruppen \(\mathrm{SL}(2, \mathbb Z/p^\lambda \mathbb Z)\) für ungerade Primzahlpotenzen \(p^\lambda\) gewinnen.