Construction of algebraic correspondences between hyperelliptic function fields using Deuring`s theory
- In this thesis we show that the theory of algebraic correspondences introduced by Deuring in the 1930s can be applied to construct non-trivial homomorphisms between the Jacobi groups of hyperelliptic function fields. Concretely, we deduce algorithms to add and multiply correspondences which perform in a reasonable time if the degrees of the associated divisors of the double field are small. Moreover, we show how to compute the differential matrices associated to prime divisors of the double field for arbitrary genus. These matrices give a representation for the homomorphisms or endomorphisms in the additive group (ring) of matrices which is even faithful if the ground field has characteristic zero. As first examples for non-trivial correspondences we investigate multiplication by m endomorphisms. Afterwards we use factorisations of certain bivariate polynomials to construct prime divisors of the double field that are not equivalent to 0 in a coarser sense. Applying the theory of Deuring, these divisors yield homomorphisms between the Jacobi groups of special classes of hyperelliptic function fields. Finally, we generalise the Richelot isogeny to higher genus and by this way derive a class of hyperelliptic function fields given in terms of their defining polynomials which admit non-trivial homomorphisms. These include homomorphisms between the Jacobi groups of hyperelliptic curves of different as well as of equal genus. In addition we provide an explicit method to construct genus 2 function fields the endomorphism ring of which contains a sqrt(2) multiplication with the help of the Cholesky decomposition of a certain matrix.
- Konstruktion algebraischer Korrespondenzen zwischen hyperelliptischer Funktionenkörper basierend auf Deurings Theorie
Verfasser*innenangaben: | Georg Kux |
---|---|
URN: | urn:nbn:de:bsz:386-kluedo-17110 |
Betreuer*in: | Andreas Guthmann |
Dokumentart: | Dissertation |
Sprache der Veröffentlichung: | Englisch |
Jahr der Fertigstellung: | 2004 |
Jahr der Erstveröffentlichung: | 2004 |
Veröffentlichende Institution: | Technische Universität Kaiserslautern |
Titel verleihende Institution: | Technische Universität Kaiserslautern |
Datum der Annahme der Abschlussarbeit: | 04.02.2004 |
Datum der Publikation (Server): | 11.02.2004 |
Freies Schlagwort / Tag: | Idealklassengruppe; Jacobigruppe; algebraische Korrespondenzen; hyperelliptische Funktionenkörper algebraic correspondence; hyperelliptic function field; idealclass group |
Fachbereiche / Organisatorische Einheiten: | Kaiserslautern - Fachbereich Mathematik |
DDC-Sachgruppen: | 5 Naturwissenschaften und Mathematik / 510 Mathematik |
Lizenz (Deutsch): | Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011 |