Arithmetic theory of arithmetic surfaces (Q1263624)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Arithmetic theory of arithmetic surfaces
scientific article

    Statements

    Arithmetic theory of arithmetic surfaces (English)
    0 references
    0 references
    1989
    0 references
    Sei X eine arithmetische Fläche, d.h. X ein zusammenhängendes reguläres Schema der \(Dimension\quad 2,\) welches flach und eigentlich über \({\mathbb{Z}}\) ist. Sei K der Körper der rationalen Funktionen auf X und Br(K) die Brauergruppe von K. Ein Hauptziel der Arbeit ist die Definition einer Reziprozitätsabbildung \(\Phi_ K:\quad Br(K)\to \lim_{\to}Hom(C_ J(X),{\mathbb{Q}}/{\mathbb{Z}}) \) von Br(K) in die Charaktergruppe der Idealklassengruppe von X; für jedes kohärente Ideal J von \({\mathcal O}_ X\) ist hierbei \(C_ J(X)=H^ 2(X_{Zar},K_ 1({\mathcal O}_ X,J))\) mit der \(K_ 1\)-Zariskigarbe \(K_ 1({\mathcal O}_ X,J)\) zum Paar (\({\mathcal O}_ X,J)\). Grundlegend für die Definition der Reziprozitätsabbildung ist eine mit Hilfe der ``arithmetischen Kohomologie'' von Lichtenberg definierte Paarung \(H^ 2(U,G_ m)\times H^ 2(X,j!G_ m)\to {\mathbb{Q}}/{\mathbb{Z}}\) für offene Teilmengen \(j:\quad U\to X\) und die Beziehung der étalen Kohomologie \(H^ 2(X,j!G_ m)\) zur Zariski-Kohomologie der \(K_ 1\)-Garbe \(K_ 1({\mathcal O}_ X,J).\) Das Hauptergebnis der Arbeit betrifft den Kern und den Cokern der Reziprozitätsabbildung: Der Kern von \(\Phi_ K\) ist gleich der Brauergruppe Br(X) des Schemas X, und für jede Primzahl \(\ell\) ist die \(\ell\)-primäre Komponente des Cokerns von \(\Phi_ K\) kanonisch isomorph zur Charaktergruppe des Tatemoduls \(T_{\ell}Br(X)\).
    0 references
    arithmetic surfaces
    0 references
    Brauer groups
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references