Humbert surfaces and transcendence properties of automorphic functions (Q1359145): Difference between revisions

Die vorliegende Arbeit hat die bisher am weitesten reichende Verallgemeinerung eines Satzes von \textit{Th. Schneider} zum Inhalt [Math. Ann. 113, 1-13 (1936; Zbl 0014.20402)], daß nämlich die elliptische Modulfunktion \(j\) an algebraischen Stellen \(z\) genau dann algebraische Werte \(j(z)\) annimmt, wenn \(z\) imaginärquadratisch ist, d.h. wenn es sich um einen CM-Punkt handelt. Diese Aussage ist zunächst von \textit{Y. Morita} auf automorphe Funktionen zu Normeinsgruppen gewisser Quaternionenalgebren verallgemeinert worden [J. Math. Soc. Japan 24, 268-274 (1972; Zbl 0232.10025)], von \textit{R.-P. Holzapfel} auf Picardsche Modulfunktionen [Math. Nachr. 161, 7-25 (1993; Zbl 0823.14034)] und von \textit{H. Shiga} und \textit{J. Wolfart} auf automorphe Funktionen zu Modulgruppen für Familien abelscher Varietäten von PEL-Type [J. Reine Angew. Math. 463, 1-25 (1995; Zbl 0827.11043)]; an der letzteren Arbeit war \textit{P. B. Cohen} ebenfalls beteiligt [in: Number theory, Séminaire de théorie des nombres de Paris 1992-93, 81-89, Cambridge University Press, 81-89 (1995; Zbl 0827.11044)]. Die vorliegende Arbeit unterscheidet sich davon in drei Punkten: Die Autorin behandelt sämtliche Familien abelscher Varietäten, die sich über modulare Einbettungen in eine geeignete PEL-Familie einbetten lassen; somit erfaßt sie auch die von Mumford-Tate entdeckten Familien mit vorgegebenem Hodgetyp. Für diese modularen Einbettungen verwendet sie einfachere, von Satake entwickelte Techniken. Schließlich wird für den entscheidenden Transzendenzschluß, wie in allen neueren Arbeiten zum vorliegenden Thema, Wüstholz' ``analytic subgroup theorem'' verwendet, hier aber in einer Version, die bereits \textit{H. Shiga} in einer früheren Arbeit über Siegelsche Modulfunktionen eingesetzt hat [Astérisque 209, 293-305 (1992; Zbl 0862.11046)].