English

Reflexivity and dualizability in categorified linear algebra

Category Theory 2020-01-31 v1 Algebraic Geometry Rings and Algebras

Abstract

The "linear dual" of a cocomplete linear category C\mathcal C is the category of all cocontinuous linear functors CVect\mathcal C \to \mathrm{Vect}. We study the questions of when a cocomplete linear category is reflexive (equivalent to its double dual) or dualizable (the pairing with its dual comes with a corresponding copairing). Our main results are that the category of comodules for a countable-dimensional coassociative coalgebra is always reflexive, but (without any dimension hypothesis) dualizable if and only if it has enough projectives, which rarely happens. Along the way, we prove that the category Qcoh(X)\mathrm{Qcoh}(X) of quasi-coherent sheaves on a stack XX is not dualizable if XX is the classifying stack of a semisimple algebraic group in positive characteristic or if XX is a scheme containing a closed projective subscheme of positive dimension, but is dualizable if XX is the quotient of an affine scheme by a virtually linearly reductive group. Finally we prove tensoriality (a type of Tannakian duality) for affine ind-schemes with countable indexing poset.

Keywords

Cite

@article{arxiv.1409.5934,
  title  = {Reflexivity and dualizability in categorified linear algebra},
  author = {Martin Brandenburg and Alexandru Chirvasitu and Theo Johnson-Freyd},
  journal= {arXiv preprint arXiv:1409.5934},
  year   = {2020}
}

Comments

18 pages

R2 v1 2026-06-22T06:01:39.235Z