Reflexivity and dualizability in categorified linear algebra

Martin Brandenburg, Alexandru Chirvasitu, Theodore Paul Johnson-Freyd

Research output: Contribution to journalArticlepeer-review

14 Scopus citations

Abstract

The “linear dual” of a cocomplete linear category C is the category of all cocontinuous linear functors C → Vect. We study the questions of when a cocomplete linear category is re exive (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 re exive, 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) of quasi-coherent sheaves on a stack X is not dualizable if X is the classifying stack of a semisimple algebraic group in positive characteristic or if X is a scheme containing a closed projective subscheme of positive dimension, but is dualizable if X 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.

Original languageEnglish (US)
Pages (from-to)808-835
Number of pages28
JournalTheory and Applications of Categories
Volume30
StatePublished - Jun 22 2015

Keywords

  • Cocomplete
  • Cocontinuous
  • Dualizable
  • Locally presentable

ASJC Scopus subject areas

  • Mathematics (miscellaneous)

Fingerprint

Dive into the research topics of 'Reflexivity and dualizability in categorified linear algebra'. Together they form a unique fingerprint.

Cite this