Duals of Abelian Categories - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T23:15:20Z http://mathoverflow.net/feeds/question/39714 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/39714/duals-of-abelian-categories Duals of Abelian Categories Harold Williams 2010-09-23T08:13:56Z 2010-09-23T16:13:19Z <p>The dual of an abelian category is again abelian, since the axioms are all preserved by the reversing of arrows. For example, the category of finite-dimensional vector spaces over a field is easily seen to be dual to itself, since we can just take linear duals of vector spaces. However, this is the only example where I know a 'concrete' description of both an abelian category and its dual, where by concrete I mean describing the category as a variant of, say, modules over a ring or sheaves on some space.</p> <p>What are other examples of dual pairs of abelian categories which can both be described 'nicely'? For example, is there a concrete description of the dual of the category of abelian groups?</p> http://mathoverflow.net/questions/39714/duals-of-abelian-categories/39718#39718 Answer by Martin Brandenburg for Duals of Abelian Categories Martin Brandenburg 2010-09-23T09:17:16Z 2010-09-23T09:23:22Z <p>See my answer to the question about <a href="http://mathoverflow.net/questions/23361/construction-of-opposite-category-as-a-structure/23379" rel="nofollow">construction of opposite categories</a>. There I descripe the dual category of $R \text{-Mod}$ geometrically. But to be honest, I don't think that this description is useful at all. Note that $(R \text{-Mod})^{op}$ is never equivalent to some $S \text{-Mod}$, since in $R \text{-Mod}$ we have $\cup_i (F_i \cap G) = (\cup_i F_i) \cap G$ for a filtered system $F_i$, but we do not have the dual statement $\cap_i (F_i + G) = (\cap F_i) + G$.</p> <p>Here is another example: Let $R$ be a PID, which is not a field. Then $Hom(-,Q(R)/R)$ yields an equivalence between the abelian category of finitely generated $R$-modules and its dual. Perhaps this also works for hausdorff locally compact abelian groups (Pontryagin duality); but perhaps this category is not abelian: Kernels and Cokernels exist by abstract nonsense, but I don't think that every epimorphism is a cokernel.</p> http://mathoverflow.net/questions/39714/duals-of-abelian-categories/39722#39722 Answer by Angelo for Duals of Abelian Categories Angelo 2010-09-23T09:29:25Z 2010-09-23T09:29:25Z <p>The dual of the category of abelian group is the category of compact topological abelian groups, by Pontryagin duality.</p> http://mathoverflow.net/questions/39714/duals-of-abelian-categories/39729#39729 Answer by Tim Porter for Duals of Abelian Categories Tim Porter 2010-09-23T11:40:07Z 2010-09-23T11:40:07Z <p>The majority of the results that I have seen relate to various generalisations of linearly compact modules and some indication of the theory can be gleaned from the paper by U. Oberst </p> <p>Duality theory for Grothendieck categories, Bull. Amer. Math. Soc. Volume 75, Number 6 (1969), 1401-1407. </p> <p>Note that if one has a category of modules, as direct limits are exact there, inverse limits will be exact in the dual category and that sort of phenomenon is typical of categories of 'compact' modules over some compact ring. The meaning of compact will usually be 'algebraic' in character but vary according to what extra properties the input abelian category has. In the Oberst case these include being a Grothendieck category, being Noetherian and so on.</p> <p>A lot of this is well treated in N. Popescu, Abelian Categories with Applications to Rings and Modules, Academic Press, 1973. MR 0340375 (49:5130)</p> <p>That is thorough and quite long so I won't attempt to describe it more fully here.</p> http://mathoverflow.net/questions/39714/duals-of-abelian-categories/39770#39770 Answer by Theo Johnson-Freyd for Duals of Abelian Categories Theo Johnson-Freyd 2010-09-23T16:11:56Z 2010-09-23T16:11:56Z <p>An $\epsilon$ generalization of your example: if $A$ is a $k$-algebra for a field $k$, then opping the category of <em>finite-dimensional</em> $A$-modules gives the category of $A^{\rm op}$ modules (the same algebra with the opposite multiplication). I think you know already that this patently fails when you move to infinite dimensional things: the canonical map $\coprod^\infty M \to \prod^\infty M$ is a mono that is not an epi in $A$-mod, whereas it is an epi that is not a mono in $(A$-mod$)^{\rm op}$.</p> <p>Letting $A = \mathbb Z$ and $k = \mathbb F_1$ (yeah, that sounds right), I think the analogy is that <em>finite</em> abelian groups are closed under Pontrjagin duality. Hm, now I wonder what other "$\mathbb F_1$ algebras" have interesting finite representation theory.</p> http://mathoverflow.net/questions/39714/duals-of-abelian-categories/39771#39771 Answer by t3suji for Duals of Abelian Categories t3suji 2010-09-23T16:13:19Z 2010-09-23T16:13:19Z <p>A few (mostly trivial) examples (may be related to references in Tim Porter's answer?):</p> <p>First of all, the self-duality of the category of vector spaces can be enriched to other self-dualities:</p> <ul> <li><p>The category of finite-dimensional representations of a group is self-dual.</p></li> <li><p>The category of finite-dimensional representations of a Lie algebra is self-dual.</p></li> </ul> <p>(Of course, now we can generalize this to Hopf algebras.)</p> <p>Another simple class of examples comes from taking the dual of some object, and asking what additional structure is necessary to reconstruct the original object. For instance:</p> <ul> <li>Let $V$ be a vector space. Consider $V^*$. It has a natural topology, in which open subspaces are orthogonal complements of finite-dimensional subspaces of $V$. (This is essentially weak topology if $V$ is viewed as a discrete space.) This gives a duality between vector spaces and certain class of topological vector spaces that can be easily described explicitly. (A fancier way to view this: vector spaces are 'ind-finite-dimensional', so their dual are 'pro-finite-dimensional'.)</li> </ul> <p>This can be modified to duality on Tate vector spaces, if you happen to like this sort of things.</p> <p>There are also some examples in (algebraic) geometry (that are probably not as straightforward as the others).</p> <ul> <li><p>Category of perverse sheaves is self-dual.</p></li> <li><p>Category of holonomic $D$-modules is self-dual (this is related to the previous comment by the Riemann-Hilbert).</p></li> </ul> <p>Finally, there is a (somewhat cheap) trick to start with a duality on the derived category, then take the abelian category sitting inside it, and realize that it is dual to its image. For instance:</p> <ul> <li><p>Look at the derived category of constructible sheaves (say, on a scheme); it has Verdier's duality. Then the abelian subcategories corresponding to dual perversities are dual to each other. For instance, the category of constructible sheaves is dual to perverse sheaves for a certain perversity.</p></li> <li><p>Look at the derived category of coherent sheaves on a scheme; it has Serre's duality. Then the abelian subcategories corresponding to dual perversities are dual to each other. For instance, the category of coherent sheaves is dual to perverse sheaves for a certain perversity.</p></li> </ul>