Neue Forschung deckt die versteckte Geometrie wichtiger mathematischer Kategorien auf
Fast alle Zweige der modernen Mathematik lassen sich in Form von mathematischen Kategorien beschreiben. Bei der Untersuchung dieser Kategorien blickt man aus der Vogelperspektive auf die Mathematik. Man erlangt so zwar keine direkten Informationen über bestimmte Eigenschaften, es ist allerdings möglich, Beziehungen (Morphismen) zwischen ihren Objekten auszumachen, die aus geringerem Abstand kaum sichtbar wären. Als Abstraktionen anderer mathematischer Konzepte offenbaren Kategorien oft tiefgreifende Einblicke in und Ähnlichkeiten zwischen scheinbar völlig verschiedenen Bereichen wie der Algebra, der algebraischen Geometrie, der Homotopietheorie und der Darstellungstheorie.
Eine Betrachtung von Kategorien durch ein anderes Prisma
Kategorien werden oft mit zusätzlichen Verknüpfungen „ausgerüstet“, die es möglich machen, neue Objekte aus den gegebenen zu konstruieren. Man könnte diese als chromatische Kategorien beschreiben. Wenn man einen Schritt weiter geht, kann man auch neue chromatische Kategorien aus bestehenden konstruieren. „Der Ausgangspunkt des EU-finanzierten Projekts ChromoCats ist die Beobachtung, dass Kategorien selbst auch geometrische Objekte sind; allerdings muss deren geometrische Struktur noch ergründet werden“, erklärt Tobias Barthel, der Koordinator von ChromoCats. Chromatische Kategorien zerfallen, analog zu einem Prisma, das weißes Licht in seine einzelnen Spektralfarben bricht, über einem Raum – dem sogenannten Balmer-Spektrum – in lokale oder monochromatische Kategorien. Diese Analogie trägt auch zu weiteren Einblicken in ihre geometrische Struktur bei. Die Geometrie chromatischer Kategorien dient als mächtiges Instrument zur Untersuchung der Objekte selbst und ihrer Relationen und macht es auch möglich, theoretische Einblicke in einem Bereich der Mathematik auf andere Bereiche zu übertragen. „Sie erlaubt uns, unsere geometrische Intuition anzuwenden, um neue Muster in bedeutenden chromatischen Kategorien zu erkennen, zum Beispiel durch die Verallgemeinerung lokaler Eigenschaften aufs Globale – wie solche Kategorien aus ihren lokalen Eigenschaften aufgebaut werden können. Wenn wir auf die Prisma-Analogie zurückkommen, ist es uns dadurch möglich, zu untersuchen, wie weißes Licht aus seinen Spektralfarben zusammengesetzt werden kann oder was mit dem ultravioletten oder infraroten Teil des Spektrums geschieht“, fügt Barthel hinzu.
Ein mächtiges neues mathematisches Rahmenwerk
Die Forschungsgruppe entwickelte ein innovatives Rahmenwerk, das eine chromatische Kategorie – genauer gesagt, eine symmetrische monoidale Unendlichkeitskategorie – in ein Bündel lokaler Kategorien über ihre Balmer-Spektren zerfallen lässt. Die theoretische Methode beleuchtet drei zentrale Aspekte der Geometrie einer chromatischen Kategorie: ihre lokale Struktur, Prinzipien, die vom Lokalen aufs Globale verallgemeinert werden können, sowie Kompaktifizierungen. „Unsere Theorie erfordert nur wenige fundamentale Konzepte als Eingaben und geht dann in ähnlicher Weise wie die moderne algebraische Geometrie vor; mit anderen Worten, sie ist durch und durch geometrischer Natur. Wir können so geometrische Argumente auf Fragen anwenden, die keine offensichtliche geometrische Struktur aufweisen, was unter anderem zu leistungsstarken neuen computergestützten Instrumenten führt“, gibt Barthel an. Ein universelles Beispiel einer chromatischen Kategorie sind endliche Spektren. Barthel und seine Mitwirkenden bauten auf der bemerkenswerten Arbeit von Devinatz, Hopkins und Smith auf und vertieften das Verständnis einer komplizierteren Variante dieser Kategorie mit zusätzlichen Symmetrien. Insbesondere bestimmten sie das Balmer-Spektrum der G-äquivarianten stabilen Homotopiekategorie für eine beliebige abelsche Gruppe G, und allgemeiner für alle kompakten Lie-Gruppen. Schließlich konstruierte die Forschungsgruppe Kompaktifizierungen chromatischer Kategorien durch eine Kategorisierung von Ultraprodukten aus der mathematischen Logik. Dies löst das Algebraisierungsproblem der chromatischen Homotopie. Insgesamt stellt das Rahmenwerk von ChromoCats, das mithilfe der Unterstützung durch die Marie Skłodowska-Curie-Maßnahmen ermöglicht wurde, eine systematische Beschreibung der Geometrie chromatischer Kategorien bereit, was zu erheblichen Fortschritten bei ungeklärten Annahmen in der Algebra und Topologie führt.
Schlüsselbegriffe
ChromoCats, chromatische Kategorien, Geometrie, Algebra, Balmer-Spektrum, Topologie, vom Lokalen aufs Globale verallgemeinerbare Prinzipien, Kompaktifizierung