pith. sign in

arxiv: 1410.1716 · v1 · pith:QFI3HWFQnew · submitted 2014-10-07 · 🧮 math.AG · math.CT

Tensor categorical foundations of algebraic geometry

classification 🧮 math.AG math.CT
keywords tensoralgebraiccategoriesmorphismsstackscategoricalcocompleteconstructions
0
0 comments X
read the original abstract

Tannaka duality and its extensions by Lurie, Sch\"appi 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\"ucker, 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Canonical differential calculi via functorial geometrization

    math.CT 2025-12 unverdicted novelty 8.0

    Categories with faithful isofibrations to monoids in a monoidal additive category admit canonical functors to differential calculi, unifying de Rham, Kähler, and universal calculi under a functorial framework.

  2. Tropical time series, iterated-sums signatures and quasisymmetric functions

    math.RA 2020-09 unverdicted novelty 7.0

    Defines iterated-sums signatures over commutative semirings (tropical case emphasized) for time-series feature extraction and links them to quasisymmetric functions over semirings.