No label defined (Q3849064)

Das Ziel dieses Buches ist es, eine ausführliche Begründung der Resultate zu geben, die von den Verff. und von A. Weil auf dem internationalen Symposium für algebraische Zahlentheorie angegeben wurden [\textit{G. Shimura}, Proc. Int. Symp. Algebraic Number Theory, Tokyo \& Nikko, Sept. 1955, 23--30 (1956; Zbl 0074.26602); textit{Y. Taniyama}, ibid., 31--45 (1956; Zbl 0074.26801); \textit{A. Weil}, ibid., 9--22 (1956; Zbl 0074.26801)]. Der größte Teil des Buches wurde bereits im Jahre 1957 in japanischer Sprache unter dem Titel \glqq Kindaiteki Seisûron\grqq{} veröffentlicht [Moderne Zahlentheorie. Kyôritu-series on modern mathematics. Kyôritu Syuppan (1957; Zbl 0083.25804)]. Gegenstand der Untersuchung ist die Arithmetik auf einer abelschen Mannigfaltigkeit \(A\) der Dimension \(n\), deren Endomorphismenring isomorph ist zu einer Ordnung in einem algebraischen Zahlkörper \(K\) vom Grade \(2n\). Die erste Aufgabe dabei ist es, zu zeigen, daß der Körper der Moduln von \(A\), dessen Definition mit Hilfe des Begriffes einer Polarisation von \(A\) gegeben wird, Klassenkörper über einem gewissen algebraischen Zahlkörper \(K^*\) ist; er gehört zu einer Idealklassengruppe, die durch die arithmetische Struktur von \(A\) bestimmt ist. Dasselbe gilt für die Koordinatenkörper der Punkte endlicher Ordnung auf \(A\). Der Zahlkörper \(K\) kann nicht beliebig vorgegeben werden: er ist notwendig eine total imaginäre quadratische Erweiterung eines total-reellen Körpers. \(K^*\) ist derjenige algebraische Zahlkörper, der durch \(K\) und die Darstellung von \(K\) in dem linearen Raum der invarianten Differentialformen auf \(A\) bestimmt wird. Wenn \(n=1\), so gilt stets \(K^*=K\), jedoch kann im Falle \(n>1\) sowohl \(K=K^*\) als auch \(K \ne K^*\) sein. Die durch \(A\) bestimmten Klassenkörper über \(K^*\) erschöpfen nicht alle abelschen Erweiterungen von \(K^*\), außer im Falle \(n=1\). Jedoch sind die klassischen Resultate von Hecke [Math. Ann. 74, 465--510 (1913; JFM 44.0245.03)] in den Ergebnissen der Verff. enthalten, sowie natürlich auch die klassische Theorie der komplexen Multiplikation im elliptischen. Falle \((n=1)\) [\textit{H. Hasse} [J. Reine Angew. Math. 157, 115--139 (1926; JFM 52.0377.01); ibid. 165, 64--88 (1931; Zbl 0002.12002)]. Es sei \(\mathfrak{p}\) ein Primdivisor des Definitionskörpers \(k\) von \(A\), der regulär für \(A\) ist, und es bedeute \(A(\mathfrak{p})\) die Reduktion von \(A\) modulo \(\mathfrak{p}\). Die Untersuchung des zu \(A(\mathfrak{p})\) gehörigen Frobeniusendomorphismus \( \pi_{\mathfrak{p}} \), und insbesondere die Primzerlegung seiner \(N(\mathfrak{p})\)-ten Potenz (aufgefaßt als Element des Endomorphismenringes von \(A)\) spielt in der Theorie der Verff. eine fundamentale Rolle. Es ergeben sich enge Zusammenhänge mit der Theorie der Zetafunktion der abelschen Mannigfaltigkeit \(A\). Eine genauere Untersuchung zeigt, daß die Korrespondenz \(\mathfrak{p} \rightarrow \pi_{\mathfrak{p}}\) einen Größencharakter von \(k\) im Sinne von Hecke bestimmt. Das führt zu einer Darstellung der Zetafunktion von \(A\) als ein Produkt von Heckeschen \(L\)-Reihen zu Größencharakteren; dies ist eine Verallgemeinerung der Resultate von \textit{A. Weil} [Trans. Am. Math. Soc. 73, 487--495 (1952; Zbl 0048.27001)] und \textit{M. Deuring} [Nachr. Akad. Wiss. Göttingen, Math.-Phys. Kl., Math.-Phys.-Chem. Abt. 1953, 85--94 (1953; Zbl 0064.27401); ibid. 1955, 13--42 (1955; Zbl 0064.27402); ibid. 1956, 37--76 (1956; Zbl 0074.03301)]; ibid. 1957, 55--80 (1957; Zbl 0105.03004)] im elliptischen Falle. Die in diesem Buch enthaltenen Resultate der Verff. stellen den ersten entscheidenden Fortschritt seit den Arbeiten von Hecke in Richtung auf das 12. Hilbertsche Problem dar.