Please use this identifier to cite or link to this item: https://nbn-resolving.org/urn:nbn:de:hbz:467-11798
Files in This Item:
File Description SizeFormat
Dissertation_Sebastian_Posur.pdf1,44 MBAdobe PDFThumbnail
View/Open
Dokument Type: Doctoral Thesis
Title: Constructive category theory and applications to equivariant sheaves
Authors: Posur, Sebastian 
Institute: Fakultät IV Naturwissenschaftlich-Technische Fakultät 
Free keywords: Cohomology computations, Homological algebra, Algebraic geometry
Dewey Decimal Classification: 510 Mathematik
GHBS-Clases: TBU
TEB
THB
TXU
Issue Date: 2017
Publish Date: 2017
Abstract: 
In this thesis we create a purely categorical framework for cohomology computations of G-equivariant coherent sheaves on projective space for a finite group G. For this, we develop three different sub-frameworks: First, we construct a skeletal tensor category SRep(G) equivalent to the representation category Rep(G) of G. Second, we design, in the context of an arbitrary abelian category, an algorithm for computing spectral sequences which is suitable for a direct computer implementation, i.e., it only uses categorical constructions
provided by the axioms of an abelian category. Last, we describe how to internalize the exterior algebra E and its modules in a tensor category.
Combining our three sub-frameworks yields an algorithm for computing spectral sequences within the category of E-modules internal to SRep(G). Thanks to an equivariant version of the famous BGG-correspondence, we can use such an algorithm for computing cohomology groups of G-equivariant sheaves on projective space. Furthermore, this algorithm allows us to compute a new invariant called
spectral cohomology table which in this thesis is proven to be stronger than the classical cohomology table.
Since our framework can be described in purely categorical language, a software project in GAP facilitating the implementation of abstract categories and categorical algorithms was born during the writing of this thesis: Cap (Categories, Algorithms, Programming). The categorical framework along with all algorithms presented in this thesis is implemented in Cap.

In dieser Arbeit geben wir der Kohomologieberechnung G-äquivarianter Garben auf dem projektiven Raum für endliche Gruppen G einen konstruktiven kategoriellen Rahmen. Dazu gehen wir in drei Schritten vor: Wir konstruieren zuerst
eine skeletale Tensorkategorie SRep(G), welche äquivalent zur Darstellungskategorie Rep(G) von G ist. Danach entwerfen wir einen ausschließlich auf den Axiomen einer abelschen Kategorie beruhenden Algorithmus zur Berechnung von Spektralsequenzen. Im Anschluss behandeln wir die äußere Algebra E und ihre Moduln intern in einer Tensorkategorie.
Die Kombination dieser drei Schritte ergibt einen Algorithmus zur Berechnung
von Spektralsequenzen innerhalb der Kategorie von E-Moduln intern in SRep(G).
Dank der berühmten BGG-Korrespondenz kann dieser Algorithmus zur Bestimmung
von Kohomologiegruppen G-äquivarianter Garben auf dem projektiven Raum genutzt werden. Darüber hinaus ermöglicht er die Berechnung von Spektral-Kohomologietabellen - eine neue Invariante, welche stärker ist als klassische Kohomologietabellen, wie in dieser Arbeit gezeigt wird.
Durch die konstruktive Anwendung rein kategorieller Konzepte entstand während des Verfassens dieser Arbeit ein Software-Projekt in GAP zur Vereinfachung
der Implementation abstrakter Kategorien und kategorieller Algorithmen: Cap (Categories, Algorithms, Programming). Alle Ergebnisse und Algorithmen dieser Arbeit wurden in Cap realisiert und implementiert.
URN: urn:nbn:de:hbz:467-11798
urn:nbn:de:hbz:467-11798
URI: https://dspace.ub.uni-siegen.de/handle/ubsi/1179
License: https://dspace.ub.uni-siegen.de/static/license.txt
Appears in Collections:Hochschulschriften

This item is protected by original copyright

Show full item record

Page view(s)

320
checked on Oct 24, 2020

Download(s)

117
checked on Oct 24, 2020

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.