Infinitesimale Lie-Ringe: Graduierungen & Obstruktionen

Mathematische Objekte sind oft nicht so kompliziert, wie man denkt. Wenn wir zeigen wollen, dass ein Objekt A einfach oder klein ist, dann approximieren wir es mit einem anderen Objekt B, das wir besser verstehen. In diesem Projekt approximieren wir eine Gruppe G mit einem Ring L(G). Wir studieren den Ring L(G) und hoffen, so zeigen zu können, dass G eigentlich doch nicht so kompliziert ist. Mit dieser Methode wurden schon wichtige Probleme in der Gruppentheorie gelöst, z.B. die Vermutung von Burnside, die co-class-Vermutung von Leedham-Green und Newman und die Vermutung von Frobenius. Wenn wir genau das Umgekehrte machen wollen, d.h., wenn wir zeigen wollen, dass eine Gruppe kompliziert oder groß ist, dann reicht es manchmal, zu beweisen, dass der Ring L(G) selber kompliziert oder groß ist. So wurde die geometrische Vermutung von Milnor widerlegt. In diesem Projekt wollen wir herausfinden, wann genau der Ring L(G) einer Gruppe G gut ist. Und wenn der Ring L(G) nicht gut ist, wollen wir genau wissen, wie kompliziert er sein kann. Mit einer guten Antwort werden wir Gruppen besser verstehen und viele interessante Probleme lösen können.

Die Welt ist voller Symmetrien. Wir finden sie in einem Seestern, in einer Honigwabe oder auch in einem Schachbrett und Zauberwürfel. In der Welt der Mathematik untersuchen wir diese Symmetrien sehr genau. Es stellt sich heraus, dass alle Symmetrien eines bestimmten Objekts eine interessante mathematische Struktur bilden, die als ``Gruppe'' bekannt ist. Und die Eigenschaften dieser Gruppe können uns etwas Wichtiges über das ursprüngliche Objekt (den Seestern oder die Wabe oder das Schachbrett oder den Zauberw\"urfel oder ) verraten. Wir k\"onnen diese Definition einer Gruppe anhand eines einfachen Beispiels erläutern. Wir betrachten einen Kreis und teilen ihn in zw\"olf gleiche Segmente (wie eine Uhr ohne Zahlen). Wenn wir den Kreis zuerst hochheben, dann um 60 Grad drehen und dann wieder hinlegen, dann haben wir am Ende dasselbe Objekt, mit dem wir angefangen haben. Wenn wir den Kreis zuerst hochheben, dann horizontal spiegeln und dann wieder hinlegen, haben wir wieder dasselbe Objekt. Diese beiden Operationen sind Beispiele f\"ur Symmetrien. Aber unser segmentierter Kreis hat noch viel mehr Symmetrien. Zum Beispiel: die ``triviale'' Symmetrie (bei der wir den Kreis aufheben und gleich wieder hinlegen). Aber wir k\"onnen diese Symmetrien auch ``kombinieren''. Wenn wir zuerst die Reflexionssymmetrie und dann die Rotationssymmetrie durchf\"uhren, erhalten wir am Ende eine weitere Symmetrie des Kreises. Die zweite wichtige Eigenschaft von Symmetrien ist, dass sie ``r\"uckgängig'' gemacht werden k\"onnen. Zum Beispiel: Die Symmetrie, die den Kreis horizontal widerspiegelt, l\"ost sich selbst auf. Und die Symmetrie, die den Kreis um 60 Grad dreht, wird durch die Symmetrie aufgehoben, die den Kreis um 60 Grad in die andere Richtung dreht. Diese Kombination von Symmetrien h\"angt von der Reihenfolge ab, in der wir sie ausführen! Beispiel: Wenn wir zuerst die Spiegelsymmetrie und dann die Rotationssymmetrie durchführen, dann erhalten wir eine Symmetrie des Kreises, die sich von der Symmetrie unterscheidet, die man erh\"alt, wenn man zuerst dreht und dann spiegelt. Wir sagen auch dass die Gruppe nicht kommutativ ist. Diese abstrakte Definition von ``Gruppen'' kann uns helfen, Probleme in Physik, Geometrie, Algebra, Topologie, Analysis und so weiter zu studieren. Aber es ist auch m\"oglich, Probleme \"uber Gruppen selbst zu untersuchen, indem man Symmetrien von Gruppen betrachtet! Solche Symmetrien von Gruppen nennt man ``Automorphismen''. In diesem Projekt untersuchen wir diese ``Symmetrien der Symmetrien''. Wir haben einen klassischen Satz (bekannt als positive Lösung der Frobenius-Vermutung) verallgemeinert: wenn eine endliche Gruppe einen fixpunktfreien Automorphismus hat, der eine polynomiale Identität erfüllt, dann ist die Gruppe ``fast kommutativ''.