Tensor categorical foundations of algebraic geometry

Nach den Arbeiten von Saavedra-Rivano, Deligne, Lurie, Schäppi u.a. lassen sich viele Schemata sowie algebraische Stacks mit ihren Tensorkategorien von quasikohärenten Garben identifizieren. In dieser Arbeit studieren wir Konstruktionen mit kovollständigen Tensorkategorien (bzw. kostetigen Tensorfun...

Verfasser: Brandenburg, Martin
Weitere Beteiligte: Deninger, Christopher (Gutachter)
FB/Einrichtung:FB 10: Mathematik und Informatik
Dokumenttypen:Dissertation/Habilitation
Medientypen:Text
Erscheinungsdatum:2014
Publikation in MIAMI:31.07.2014
Datum der letzten Änderung:27.07.2015
Angaben zur Ausgabe:[Electronic ed.]
Schlagwörter:Algebraische Geometrie; Kategorientheorie; Tannaka-Dualität; quasi-kohärente Garben; Tensorkategorie Algebraic geometry; Category theory; Tannaka duality; quasi-coherent sheaves; Tensor category
Fachgebiet (DDC):510: Mathematik
Lizenz:InC 1.0
Sprache:English
Format:PDF-Dokument
URN:urn:nbn:de:hbz:6-22359532742
Permalink:https://nbn-resolving.de/urn:nbn:de:hbz:6-22359532742
Onlinezugriff:diss_brandenburg.pdf

Nach den Arbeiten von Saavedra-Rivano, Deligne, Lurie, Schäppi u.a. lassen sich viele Schemata sowie algebraische Stacks mit ihren Tensorkategorien von quasikohärenten Garben identifizieren. In dieser Arbeit studieren wir Konstruktionen mit kovollständigen Tensorkategorien (bzw. kostetigen Tensorfunktoren), die im Falle von quasikohärenten Garben zu Konstruktionen von Schemata (bzw. ihren Morphismen) korrespondieren. Das bedeutet, die gewöhnliche lokal-globale algebraische Geometrie zu globalisieren. Als Beispiele behandeln wir affine Morphismen, projektive Morphismen, Immersionen, klassische projektive Einbettungen, Aufblasungen, Faserprodukte, klassifizierende Stacks sowie Tangentialbündel. Die universellen Eigenschaften auf der geometrischen Seite finden sich oftmals auch auf der Seite der Tensorkategorien. Bei der Theorie erweist es sich als nützlich, Grundzüge der kommutativen Algebra in einer beliebigen kovollständigen Tensorkategorie zu entwickeln. 

Several results by Saavedra-Rivano, Deligne, Lurie, Schäppi et al. shown that many schemes as well as algebraic stacks may be identified with their tensor categories of quasi-coherent sheaves. In this thesis we study constructions of cocomplete tensor categories (resp. cocontinuous tensor functors) which usually correspond to constructions of schemes (resp. their morphisms) in the case of quasi-coherent sheaves. This means to globalize the usual local-global algebraic geometry and to make a first step towards 2-algebraic geometry. We discuss for example affine morphisms, projective morphisms, immersions, classical projective embeddings (Segre, Plücker, Veronese), blow-ups, fiber products, classifying stacks and finally tangent bundles. It turns out that often the universal properties on the geometric side also appear on the side of tensor categories. For the theory it turns out to be useful to develop basic commutative algebra in an arbitrary cocomplete tensor category.