Reflexivity and dualizability in categorified linear algebra

MaRDI QIDQ5261934zbMATH OpenFDO

Authors Martin Brandenburg, Alexandru Chirvasitu, Theo Johnson-Freyd

Publication date 8 July 2015

Full work available at URL https://arxiv.org/abs/1409.5934, http://www.emis.de/journals/TAC/volumes/30/23/30-23abs.html

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

zbMATH Keywords

cocompletecocontinuousdualizablelocally presentable

Mathematics Subject Classification ID

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

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.

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

Cited in

(20)

• Categories of (co)isotropic linear relations
• Invertible braided tensor categories
• Heisenberg-picture quantum field theory
• Exponentiable Grothendieck categories in flat algebraic geometry
• Non-exactness of direct products of quasi-coherent sheaves
• Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category
• Higher dualizability and singly-generated Grothendieck categories
• The finiteness conjecture for skein modules
• Linear Koszul duality. II: Coherent sheaves on perfect sheaves.
• scientific article; zbMATH DE number 5595235 (Why is no real title available?)
• A categorical approach to quantum moment maps
• A categorical approach to dynamical quantum groups
• Eilenberg-Watts calculus for finite categories and a bimodule Radford \(S^4\) theorem
• On dualizability of braided tensor categories
• Centers of categorified endomorphism rings
• Unit inclusion in a (nonsemisimple) braided tensor category and (noncompact) relative TQFTs
• Presentations for small reflection equation algebras of type A
• Yangians, mirabolic subalgebras, and Whittaker vectors
• Skein categories in non-semisimple settings
• Categorification of algebraic quantum field theories

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)