Loading…
In meiner Dissertation greife ich die Theorie der algebraischen Korrespondenzen von M. Deuring vom algorithmischen Standpunkt auf. Ich zeige, dass es mit denen von mir in meiner Dissertation bewiesenen Saetzen und entwickelten Algorithmen moeglich ist, den Endomorphismenring einer irreduziblen Jacobischen einer algebraischen Kurve C/K ueber einem endlichen Koerper K zu berechnen. Das Verfahren funktioniert fuer jedes Geschlecht g(C/K) und auch dann, wenn der Endomorphismenring der Jacobischen nicht kommutativ ist. Ich nutze die bereits bekannte Tatsache aus, dass alle Endomorphismen der Jacobischen durch Korrespondenzen beschrieben werden koennen. Die Korrespondenzen wiederum koennen durch geeignete Ideale dargestellt werden. Die Kernidee meiner Dissertation ist es, die Norm eines solchen Ideales durch Interpolation zu berechnen, falls es denn existiert. Hat man die Norm berechnet, so weiss man, dass solch ein zu jener Korrespondenz gehoeriger Endomorphismus existiert und man kann den Endomorphismus mit Hilfe der Korrespondenz rekonstruieren. Dann kann man mit den von mir entwickelten Algorithmen berechnen, wie die so rekonstruierte Korrespondenz auf der Jacobischen als Endomorphismus wirkt. Das erste Kapitel befasst sich mit den Grundlagen. Das zweite Kapitel fuehrt in die Theorie der Korrespondenzen sowohl vom algebraischen als auch vom geometrischen Standpunkt aus ein. Im dritten Kapitel werden Algorithmen fuer die Arithmetik der Korrespondenzen vorgestellt. Im vierten Kapitel zeige ich, wie es moeglich ist, mit den von mir entwickelten Algorithmen den vollen Endomorphismenringes der Jacobischen zu berechnen. Das fuenfte und letzte Kapitel zeigt anhand von Beispielen fuer das Geschlecht eins, zwei und drei, wie man Endomorphismenringe der Jacobischen von algebraischen Kurven ueber endlichen Koerpern berechnet. Im Fall, dass die Kurve C/K elliptisch oder hyperelliptisch vom Geschlecht zwei ist, wird der Endomorphismenring jeweils fuer ein kommutatives und nicht-kommutatives Beispiel berechnet. Fuer das Geschlecht drei wird jeweils ein kommutatives Beispiel fuer ein hyperelliptisches und nicht-hyperelliptisches Beispiel berechnet.
In my thesis I develop algorithms based on the theory of M. Deuring for the computation of endomorphismsrings of irreducible Jacobians of algebraic curves C/K over a finite field K. These algorithms work in every genus of C/K and also in the case that the endomorphismsring is not commutative. In the first chapter I introduce into the basics we need to understand correspondences. In the second chapter I introduce briefly into the theory of correspondences from the point of view of function fields and geometry. In the third chapter I develop basic algorithms for correspondences. In the fourth chapter I develop algorithms by which I was able to compute commutative and non-commutative exmaples in the last chapter for some genus one and two curves C/K. Lastly I computed a commutative example for a hyperelliptic and non-hyperelliptic curve C/K of genus three.
