Groups of Dualities

DOI10.2307/2154383MaRDI QIDQ4039354zbMATH OpenOpenAlexFDO

Publication date 25 September 1994

Full work available at URL https://doi.org/10.2307/2154383

natural adjunction Pontryagin duality schizophrenic objects

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Duality theorems for locally compact groups (22D35) Categorical methods in general topology (54B30) Topological representations of algebraic systems (54H10)

Review text

This paper is a continuation and completion of the paper of the authors [A characterization of representable dualities, Proc. Int. Conf. Categorical Topology (Prague 1988), 336-357, World Scientific, Singapore 1989]. After introducing the (possibly set theoretically illegitimate) group of isomorphism classes of dualities \({\mathcal {DUAL}}({\mathcal A},{\mathcal B})\) for two abstract categories \({\mathcal A}\) and \({\mathcal B}\), the authors consider only set-based categories \(U\colon {\mathcal A}\to {\mathfrak {Set}}\), \(V\colon {\mathcal B}\to {\mathfrak {Set}}\). A contravariant adjunction \((S,T)\colon {\mathcal A}\to {\mathcal B}\) is called strictly \((\widetilde{A}, \widetilde{B})\)-represented, \(\widetilde{A}\in {\mathcal A}\), \(\widetilde {B}\in {\mathcal B}\), if \(V\circ T={\mathcal A}(\square, \widetilde{A})\), \(U\circ S= {\mathcal B}(\square, \widetilde{B})\) holds. Such an adjunction is called natural, if the family \(U(\varepsilon_ A)(x)\), \(x\in U(A)\), is \(V\)- initial and the family \(V(\eta_ B)(y)\), \(y\in V(B)\), is \(U\)-initial where \(\varepsilon_ A\) are the counits and \(\eta_ B\) the units of the adjunction. This and the notion of a schizophrenic object, i.e., a triple \((A,\tau,B)\), \(A\in {\mathcal A}\), \(B\in {\mathcal B}\), and \(\tau\colon U(A)\to V(B)\) a bijection, are the central notions. Several interesting results about equivalences between subcategories of the category \({\mathcal {ADJ}} ({\mathcal A},{\mathcal B})\) of contravariant adjunctions, subcategories of the category \({\mathfrak {Sch}} ({\mathcal A},{\mathcal B})\) of schizophrenic objects and subcategories of \({\mathcal {DUAL}}({\mathcal A},{\mathcal B})\) are shown. After proving the very strong result of lemma 3.2 on the schizophrenic object induced by the composition of two strictly represented contravariant adjunctions, the main theorem 3.4, representing the isomorphism classes of dualities between \({\mathcal A}\) and \({\mathcal B}\) by isomorphism classes of schizophrenic objects, is deduced. The paper closes with a section containing the effective computation of the group of isomorphism classes of all dualities \({\mathcal {DUAL}}({\mathcal C},{\mathcal C})\), where \({\mathcal C}\) is the category of all discrete and of all compact abelian groups and \(U={\mathcal C}(\mathbb{Z}, \square):{\mathcal C}\to {\mathfrak {Set}}\), a really beautiful result. This paper opens new aspects in the investigation of dualities in all areas of mathematics.

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Groups of Dualities

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