Reflexivity and dualizability in categorified linear algebra

zbMATH Open1374.18003arXiv1409.5934MaRDI QIDQ5261934FDOQ5261934

Alexandru Chirvasitu, Theo Johnson-Freyd, Martin Brandenburg

Publication date: 8 July 2015

Abstract: The "linear dual" of a cocomplete linear category $mathcalC$ is the category of all cocontinuous linear functors $mathcalComathrmVect$. 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 $mathrmQcoh(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.

Full work available at URL: https://arxiv.org/abs/1409.5934

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• Morita Duality for Grothendieck Categories with Applications to Coalgebras
• scientific article; zbMATH DE number 1217552
• Dualizable tensor categories
• Higher dualizability and singly-generated Grothendieck categories
• Reflexivity in derived categories

zbMATH Keywords

dualizablecocompletelocally presentablecocontinuous

Mathematics Subject Classification ID

Group actions on affine varieties (14R20) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Schemes and morphisms (14A15) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Cited In (16)

• Invertible braided tensor categories
• Title not available (Why is that?)
• Eilenberg-Watts calculus for finite categories and a bimodule Radford 𝑆⁴ theorem
• Categories of (co)isotropic linear relations
• The finiteness conjecture for skein modules
• Non-exactness of direct products of quasi-coherent sheaves
• On dualizability of braided tensor categories
• Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category
• Exponentiable Grothendieck categories in flat algebraic geometry
• Centers of categorified endomorphism rings
• Higher dualizability and singly-generated Grothendieck categories
• Categorification of algebraic quantum field theories
• Linear Koszul duality. II: Coherent sheaves on perfect sheaves.
• A categorical approach to dynamical quantum groups
• A categorical approach to quantum moment maps
• Heisenberg-picture quantum field theory

This page was built for publication: Reflexivity and dualizability in categorified linear algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261934)