Explicit arithmetic of Brauer groups

ray class fields and index calculus

Dateibereich 10585

861,4 KB in 2 Dateien, zuletzt geändert am 09.04.2004

Dateiliste / Details

DateiDateien geändert amGröße
abstract.pdf23.01.2002 00:00:0040,7 KB
thesis.pdf23.01.2002 00:00:00820,8 KB

Dateibereich 10586

803 KB in 2 Dateien, zuletzt geändert am 09.04.2004

Dateiliste / Details

DateiDateien geändert amGröße
abstract.ps23.01.2002 00:00:0032,6 KB
thesis.ps23.01.2002 00:00:00770,4 KB

Dateibereich 10587

217,6 KB in 20 Dateien, zuletzt geändert am 09.04.2004

Dateiliste / Details

DateiDateien geändert amGröße
abstract.tex23.01.2002 00:00:003,2 KB
bibenglish.bib23.01.2002 00:00:008,9 KB
brauergroups.tex23.01.2002 00:00:0031,3 KB
classfield.tex23.01.2002 00:00:0013 KB
crypto2.tex23.01.2002 00:00:0010,1 KB
crypto.tex23.01.2002 00:00:006,1 KB
dhdp.tex23.01.2002 00:00:0015,4 KB
examples.tex23.01.2002 00:00:0020,2 KB
ffs.tex23.01.2002 00:00:0012,5 KB
introduction.tex23.01.2002 00:00:002,1 KB
invariants.tex23.01.2002 00:00:0015,4 KB
localglobal.tex23.01.2002 00:00:0016,4 KB
moreramified.tex23.01.2002 00:00:007,7 KB
nfs.tex23.01.2002 00:00:0039,2 KB
thanks.tex23.01.2002 00:00:002,1 KB
thesis.bbl23.01.2002 00:00:006,1 KB
thesis.blg23.01.2002 00:00:001,4 KB
thesis.tex23.01.2002 00:00:001,9 KB
thesis.toc23.01.2002 00:00:004 KB
title.tex23.01.2002 00:00:00588 Bytes
In this thesis we examine the arithmetic of Brauer groups of local and global fields. Although Brauer groups are well studied from a theoretical point of view, no one has yet addressed the question of making this theory explicit.

We propose to do exactly this in the case of relative Brauer groups. Let L=K be a local extension of degree l. Then the invariant map induces an isomorphism Br(L=K) ' Z=lZ. The first natural question is to compute this invariant map explicitly for a given element A 2 Br(K=L). In doing this we show that this problem is intimately related to the arithmetic of the underlying finite field.

This motivates the following approach: calculate a local invariant map at a ramified place p via the Hasse{Brauer{Noether local{global principle by relating it to the invariant map at other (unramified) places q 6 = p. We show that { using the concept of smoothness { this leads to algorithms which are known as index calculus methods in order to compute the discrete logarithm in finite fields.

Moreover we show how this approach links the question of solving the discrete logarithm in finite fields to the problem of solving discrete logarithms in the Galois group of certain global extensions.
In order to apply the local global principle, we need to construct or at least prove the existence of global extensions with prescribed ramation and order. Except in the cases of K = Q and K an imaginary quadratic field we provide results about extensions of this kind in the case that K is a CM field.

Using these results we are able to modify a well known algorithm in the case of discrete logarithms in certain subgroups of Fpn. We also give an interpretation of the function field sieve in the setting of Brauer groups. This interpretation explains a notable difference between number field sieve and function field sieve.
Finally we link the discrete logarithm problem on abelian varieties to the arithmetic of Brauer groups using the Tate pairing.
Permalink | Teilen/Speichern
Wissenschaftliche Abschlussarbeiten » Dissertation
Fakultät / Institut:
Fakultät für Mathematik
Zentrale wissenschaftliche Einrichtungen » Institut für Experimentelle Mathematik (IEM) Essen
Dewey Dezimal-Klassifikation:
500 Naturwissenschaften und Mathematik » 510 Mathematik
Brauergruppen, Klassenkörpertheorie, Public Key Kryptosysteme, Diskreter Logarithmus, Tatepaarung
Kollektion / Status:
Dissertationen / Dokument veröffentlicht
Promotionsantrag am:
Dokument erstellt am:
Dateien geändert am:
Datum der Promotion:
Original-Dissertation. Die ergänzte Version vom 18.1.2002 auch als Miless-Dokument u.d.T.: Nguyen, Kim: Explicit arithmetic of Brauer groups