nLab
dualizing object in a closed category

This entry is about dualizing objects in closed (monoidal) categories in the sense of homological algebra and stable homotopy theory (e.g. dualizing modules). For a more general concept see at dualizing object.

Context

Category theory

Concepts

Universal constructions

    • /

    • /

Theorems

Extensions

Applications

Duality

  • abstract duality: ,

  • concrete duality: , , ,

Examples

  • between /

  • , ,

  • for

In QFT and String theory

,

  • ,

    • , ,

Contents

Idea

A dualizing object DD in a closed category π’ž\mathcal{C} is an object such that the internal hom [βˆ’,D]:π’žβ†’π’ž op[-,D] \colon \mathcal{C} \to \mathcal{C}^{op} into it serves as an involutive duality operation on π’ž\mathcal{C}, or at least on a suitable full subcategory π’ž Dβ†ͺπ’ž\mathcal{C}_D \hookrightarrow \mathcal{C}, i.e. it induces an equivalence of categories [βˆ’,D]:π’ž Dβ†’π’ž D op[-,D] \colon \mathcal{C}_D \to \mathcal{C}_D^{op}.

Definition

Let π’ž\mathcal{C} be a closed category, Dβˆˆπ’žD\in \mathcal{C} an object, and π’ž Dβ†ͺπ’ž\mathcal{C}_D \hookrightarrow \mathcal{C} a full subcategory. We say that DD is a dualizing object on π’ž D\mathcal{C}_D if the induced functor

[βˆ’,D]:π’ž Dβ†’π’ž D op [-,D] : \mathcal{C}_D \to \mathcal{C}_D^{op}

is an equivalence of categories. Note that this includes the assumption that [βˆ’,D][-,D] maps π’ž D\mathcal{C}_D into itself, which is not automatic.

Note that we do not in general assume Dβˆˆπ’ž DD\in \mathcal{C}_D. In stable homotopy theory the subcategory in question is typically that of homotopy types with finite homotopy groups (e.g. for Anderson duality). Specifically in homological algebra one speaks also of dualizing modules. (See for instance (Heard-Stojanoska 14, def. 3.1 and Lurie, section 4.2).) Notably in a Grothendieck-Verdier context (f *⊣f *)(f^\ast \dashv f_\ast), (f !⊣f !)(f_! \dashv f^!) of six operations the functor f !f^! typically preserves dualizing objects in this sense, which is a crucial ingredient of Verdier duality.

If π’ž=π’ž D\mathcal{C} = \mathcal{C}_D, we say that DD is a global dualizing object. A biclosed monoidal category π’ž\mathcal{C} with a global dualizing object is one definition of a star-autonomous category.

In closed monoidal categories

If π’ž\mathcal{C} is a closed symmetric monoidal category, then [βˆ’,D][-,D] is adjoint to itself on the right, i.e. we have a natural isomorphism π’ž(A,[B,D])β‰…π’ž(B,[A,D])\mathcal{C}(A,[B,D]) \cong \mathcal{C}(B,[A,D]). Thus, if [βˆ’,D][-,D] maps π’ž D\mathcal{C}_D into itself, then its restriction to π’ž D\mathcal{C}_D is an equivalence of categories if and only if the unit and counit of this adjunction are isomorphisms. But these unit and counit are both the β€œdouble-dualization” map

A→[[A,D],D]A \to [[A,D],D]

(the adjunct of the evaluation map [A,D]βŠ—Aβ†’D[A,D] \otimes A \to D, which in turn is the adjunct of the identity map [A,D]β†’[A,D][A,D] \to [A,D]) for Aβˆˆπ’ž DA\in \mathcal{C}_D; so DD is a dualizing object on π’ž D\mathcal{C}_D if and only if [βˆ’,D][-,D] preserves π’ž D\mathcal{C}_D and these maps are isomorphisms for all Aβˆˆπ’ž DA\in \mathcal{C}_D.

If π’ž\mathcal{C} is a non-symmetric biclosed monoidal category, with two internal-homs (AβŠ—βˆ’)⊣[A,βˆ’](A\otimes -) \dashv [A,-] and (βˆ’βŠ—A)⊣⟨A,βˆ’βŸ©(-\otimes A) \dashv \langle A,-\rangle, then [βˆ’,D][-,D] is adjoint on the right not to itself but to βŸ¨βˆ’,D⟩\langle-,D\rangle. A similar argument then shows that DD is dualizing if and only if [βˆ’,D][-,D] and βŸ¨βˆ’,D⟩\langle-,D\rangle both map π’ž D\mathcal{C}_D to itself, and both double-dualization maps

Aβ†’βŸ¨[A,D],D⟩andAβ†’[⟨A,D⟩,D] A\to \langle [A,D],D\rangle\qquad and \qquad A \to [\langle A,D\rangle,D]

are isomorphisms.

Examples

In a cartesian closed category

A cartesian closed category that with a global dualizing object is necessarily just a preorder. This statement is often known as Joyalβ€˜s lemma, recalled for instance in Abramsky 09. It can be slightly strengthened as follows:

Proposition

A cartesian closed category CC that is self-dual (carries an equivalence N:C op→CN: C^{op} \to C) is necessarily a preorder (whose posetal reflection is then a Heyting algebra). If the self-duality comes from a dualizing object, then the Heyting algebra is a Boolean algebra.

Proof

For the first statement, let 11 be terminal; then N(1)N(1) is an initial object 00, and similarly NN takes finite products to finite coproducts (coproducts are necessary for a Heyting algebra). So it remains to show CC is a preorder. Let x,yx, y be any two objects. The number of morphisms x→yx \to y is the number of morphisms 1→[x,y]1 \to [x, y], which is the number of morphisms N([x,y])→N(1)=0N([x, y]) \to N(1) = 0. But this is at most one since the initial object is strict (if there is any z→0z \to 0, then zz is a retract of 0×z≅00 \times z \cong 0, hence z≅0z \cong 0; thus there is at most one morphism z→0z \to 0).

The second statement is immediate: if dd is the dualizing object, then

d≅[1,d]=N(1)≅0d \cong [1, d] = N(1) \cong 0

so that N(x)=[x,0]N(x) = [x, 0] is the negation and the hypothesis becomes the condition that double negation on the Heyting algebra is the identity, i.e., the Heyting algebra is a Boolean algebra.

In the category of spectra – Anderson duality

In the stable (infinity,1)-category of spectra, the sphere spectrum (which induces Spanier-Whitehead duality on spectra which are dualizable objects with respect to the smash product of spectra) is not a dualizing object. However, the Anderson spectrum I β„€I_{\mathbb{Z}} is a dualizing object on a suitable subcategory of finite spectra (Lurie, Example 4.3.9). The duality operation [βˆ’,I β„€][-,I_{\mathbb{Z}}] that it induces in Anderson duality.

For instance, the Anderson dual of KU is (complex conjugation-equivariantly) the 4-fold suspension spectrum Ξ£ 4KU\Sigma^4 KU (Heard-Stojanoska 14, theorem 8.2); and tmf[1/2][1/2] is Anderson dual to its 21-fold suspension (Stojanoska 12)

In the category of suplattices

In the category Sup of suplattices, the opposite Ω op\Omega^{op} of the poset Ω\Omega of truth values is a global dualizing object (and hence SupSup is star-autonomous). The internal-hom [A,B][A,B] is the suplattice of sup-preserving maps A→BA\to B, hence [A,Ω op][A,\Omega^{op}] is the suplattice of contravariant maps A→Ω opA \to \Omega^{op} that take suprema in AA to infima in Ω\Omega. But by the adjoint functor theorem for posets, any such map is representable by an element of AA; thus [A,Ω op]≅A op[A,\Omega^{op}] \cong A^{op}. The double-dualization is therefore isomorphic to the identity A≅(A op) opA\cong (A^{op})^{op}.

Chu spaces

The Chu construction is a (co)universal way of β€œmaking any object into a dualizing object”.

References

General discussion is in

Reviews of the general concept and then discussion of Anderson duality is in

Discussion in the context of the linear logic/quantum logic of quantum physics is in

  • Samson Abramsky, No-Cloning in categorical quantum mechanics, (2008) in I. Mackie and S. Gay (eds), Semantic Techniques for Quantum Computation , Cambridge University Press (arXiv:0910.2401)

Last revised on October 31, 2017 at 00:37:56. See the history of this page for a list of all contributions to it.