Tensor categorical foundations of algebraic geometry

Abstract

Tannaka duality and its extensions by Lurie, Schäppi et al. reveal 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. For this we first have to develop basic commutative algebra in an arbitrary cocomplete tensor category. We then discuss tensor categorical globalizations of 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 the universal properties of several moduli spaces or stacks translate to the corresponding tensor categories.

arXiv commentPhD thesis; 247 pages

Cited by in corpus (20)

• Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability
• An embedding theorem for tangent categories
• Using the internal language of toposes in algebraic geometry
• Categorification of algebraic quantum field theories
• Tropical time series, iterated-sums signatures and quasisymmetric functions
• Sheafification of linear functors
• General facts on the Scott Adjunction
• A topos-theoretic view of difference algebra
• Bicategorical colimits of tensor categories
• Localizations of tensor categories and fiber products of schemes
• Operations on categories of modules are given by Schur functors
• Signatures and models for syntax and operational semantics in the presence of variable binding
• Presentable signatures and initial semantics
• Exponentiable Grothendieck categories in flat Algebraic Geometry
• A unified implementation of automata and expression structures, and of the associated algorithms using enriched categories
• Large limit sketches and topological space objects
• On the Relative Projective Space
• An algebraic approach to the ellipticity of linear differential operators
• Lifting Coalgebra Modalities and $\mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories
• Stacks of fiber functors and Tannaka's reconstruction