Please use this identifier to cite or link to this item: https://nbn-resolving.org/urn:nbn:de:hbz:467-11798
DC FieldValueLanguage
dc.contributor.authorPosur, Sebastian
dc.date.accessioned2019-09-02T10:04:15Z-
dc.date.available2017-07-10T12:12:12Z
dc.date.available2019-09-02T10:04:15Z-
dc.date.issued2017
dc.description.abstractIn 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.en
dc.description.abstractIn 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.de
dc.identifier.urihttps://dspace.ub.uni-siegen.de/handle/ubsi/1179-
dc.identifier.urnurn:nbn:de:hbz:467-11798
dc.identifier.urnurn:nbn:de:hbz:467-11798-
dc.language.isoenen
dc.rights.urihttps://dspace.ub.uni-siegen.de/static/license.txtde
dc.subject.ddc510 Mathematikde
dc.subject.otherCohomology computationsen
dc.subject.otherHomological algebraen
dc.subject.otherAlgebraic geometryen
dc.subject.swbKohomologiede
dc.subject.swbComputeralgebrade
dc.subject.swbHomologische Algebrade
dc.subject.swbAlgebraische Geometriede
dc.subject.swbKategorientheoriede
dc.titleConstructive category theory and applications to equivariant sheavesen
dc.typeDoctoral Thesisde
item.fulltextWith Fulltext-
ubsi.date.accepted2017-06-21
ubsi.publication.affiliationFakultät IV Naturwissenschaftlich-Technische Fakultätde
ubsi.subject.ghbsTBU
ubsi.subject.ghbsTEB
ubsi.subject.ghbsTHB
ubsi.subject.ghbsTXU
ubsi.type.versionpublishedVersionde
Appears in Collections:Hochschulschriften
Files in This Item:
File Description SizeFormat
Dissertation_Sebastian_Posur.pdf1,44 MBAdobe PDFThumbnail
View/Open

This item is protected by original copyright

Show simple item record

Page view(s)

349
checked on Nov 28, 2020

Download(s)

129
checked on Nov 28, 2020

Google ScholarTM

Check


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