Computeralgebra-Tagung 2019

Die achte Computeralgebra-Tagung der Fachgruppe findet vom 16. bis 18. Mai 2019 am Institut für Mathematik der Universität Kassel statt. Die lokale Leitung liegt in den Händen von Prof. Wolfram Koepf. Die Tagung wird am 16. Mai 2019 um 13:00 Uhr eröffnet (Anreisetag) und endet am 18. Mai 2019 gegen 12:30 Uhr (Abreisetag). Am Abreisetag wird ein Preis von 500 € für den besten Vortrag eines Nachwuchswissenschaftlers verliehen.

Die Fachgruppe Computeralgebra kann in begrenztem Umfang Mittel als Reisekostenbeihilfe zur Verfügung stellen. Bewerbungen auf Reisekostenbeihilfe mit einem erklärenden Anschreiben, einer Referenzperson sowie einer Aufstellung der benötigten Mittel bitten wir einzureichen. Jedes Nichtmitglied der Fachgruppe entrichtet vor Ort einen Unkostenbeitrag in Höhe von 20 € für die Kaffeepausen, alternativ kann man vor Ort zum Jahresbeitrag von 9 € Mitglied der Fachgruppe werden.

Anmeldung

Zur Anmeldung bitte folgendes Formular verwenden: pdf doc. Dort finden sich auch Hinweise zu Anreise und Unterbringungsmöglichkeiten. Anmeldungen eines Vortrags sind bis zum 31. März 2019 möglich, die allgemeine Anmeldungsfrist endet am 30. April 2019.

Hauptvorträge

Matthias Junge (Oldenburg):
Asymptotisch schnelle Arithmetik in der Picardgruppe algebraischer Kurven

Wir präsentieren den asymptotisch schnellsten Algorithmus zum Rechnen in der Picardgruppe algebraischer Kurven, welche nicht notwendigerweise glatt sein müssen. Unser Algorithmus vereinigt die Laufzeiten der bisher schnellsten Algorithmen für glatte Kurven konstanter Gonalität (Heß) und glatter Kurven mit Gonalität in der Größenordnung des Geschlechts
(Khuri-Makdisi). Darüber hinaus arbeitet unser Algorithmus mit weitaus allgemeineren Kurven. Im Falle von integralen, projektiven Kurven erzielen wir eine Laufzeit von O~(nω-1 g), wobei g das arithmetische Geschlecht und n die Gonalität der Kurve bezeichnet.

Markus Kirschmer (Aachen):
Quaternäre quadratische Formen

Nach einem klassischen Ergebnis von Gauß entsprechen die quadratischen Formen in zwei Variablen über $\mathbb{Z}$ bekanntlich den Idealen quadratischer Erweiterungen von $\mathbb{Z}$.

Analog dazu korrespondieren auch die quadratischen Formen in vier Variablen über $\mathbb{Z}$ bestimmten Idealen in Quaternionenordnungen. In dem Vortrag möchte ich diese Korrespondenz auf beliebige algebraische Zahlkörper ausdehnen.

Weiter werde ich zeigen, wie die Arithmetik in Quaternionenordnungen ausgenutzt werden kann, um die Isometrieklassen im Geschlecht einer quaternären quadratischen Form effizient zu bestimmen.

Hannah Markwig (Tübingen):
Ebene tropische Kurven und ihre Berechnung

Tropikalisierung bezeichnet einen Degenerationsprozess, unter dem algebraische Varietäten auf sogenannte tropische Varietäten übergehen, das sind bestimmte Polyederkomplexe. Dabei können wesentliche Eigenschaften erhalten bleiben. Dadurch erhalten wir die Möglichkeit, mit Hilfe von Methoden aus der konvexen Geometrie algebraische Varietäten zu studieren. Allerdings hängt die Tropikalisierung von der Einbettung ab. Eine treue Tropikalisierung bezeichnet eine, bei der “möglichst viele” geometrische Eigenschaften erhalten bleiben. In diesem Vortrag werden Algorithmen zur Bestimmung treuer Tropikalisierungen ebener Kurven vorgestellt.

Bernd Sturmfels (Leipzig):
Sixty-four Curves of Degree Six

This lecture is an invitation to real algebraic geometry, along with computational aspects, ranging from bitangents and K3 surfaces to eigenvectors and ranks of tensors. We present an experimental study – with many pictures – of smooth curves of degree six in the real plane. This is joint work with Nidhi Kainhsa, Mario Kummer, Mahsa Sayyari and Daniel Plaumann. The number 64 refers to the Rokhlin-Nikulin classification of sextic curves.

Rebecca Waldecker (Halle):
Kanonische Bilder

(Abstract)

Programm

Das Tagungsprogramm ist demnächst hier erhältlich.