nLab dualizable object (Rev #38, changes)

Showing changes from revision #37 to #38: Added | ~~Removed~~ | ~~Chan~~ged

Context

Monoidal categories

Duality

Idea
In a monoidal category
In a closed category
In a closed monoidal category
In a symmetric monoidal $(\infty,n)$ -category
In a linearly distributive category
Related concepts
References

Idea

A (left/right) dual to an object in a monoidal category $\mathcal{C}$ is a left/right adjoint to the object regarded as a morphism in the delooping 2-category $\mathbf{B}\mathcal{C}$ . If a dual exists, the object is called dualizable.

Being dualizable may often be thought of as a category-theoretic notion of finiteness for objects in a monoidal category. For instance, a vector space is dualizable in Vect with its standard tensor product ~~precisly~~ precisely if it is afinite-dimensional vector space; and a spectrum is dualizable in the stable homotopy category with its smash product precisely if it is a finite spectrum.

A more precise intuition is that an object is dualizable if its “size” is no larger than the “additivity” of the monoidal category. Since Vect and the stable homotopy category are finitely additive, but not infinitely so, dualizability there is a notion of finiteness. This is the case for many monoidal categories in which one considers dualizability. However, in a monoidal category which is not additive at all, such as Set (or any cartesian monoidal category), only the terminal object is dualizable—whereas in an “infinitely additive” monoidal category such as Rel or SupLat, many “infinite” objects are dualizable. (In $Rel$ , all objects are dualizable.)

Remark

Beware that there are other notions of “dual object”, distinct from this one. See for example dual object in a closed category, and also the discussion at category with duals.

In a monoidal category

Definition

An object $A$ in a monoidal category $(\mathcal{C}, \otimes, 1)$ is dualizable if it has an adjoint when regarded as a morphism in the one-object delooping bicategory $\mathbf{B}\mathcal{C}$ corresponding to $\mathcal{C}$ . Its adjoint in $\mathbf{B}\mathcal{C}$ is called its dual in $C$ and often written as $A^*$ .

If $C$ is braided then left and right adjoints in $\mathbf{B}C$ are equivalent; otherwise one speaks of $A$ being left dualizable or right dualizable.

Explicitly this means the following:

A right duality between objects $A, A^\ast \in (\mathcal{C}, \otimes, 1)$

consists of

a morphism of the form

$ev_A\;\colon\;A^\ast \otimes A \longrightarrow 1$

called the counit of the duality, or the evaluation map;
a morphism of the form

$i_A \;\colon\; 1 \longrightarrow A \otimes A^\ast$

called the unit or coevaluation map

such that

(triangle identity) the following diagrams commute

$\array{ A^\ast \otimes (A \otimes A^\ast) &\overset{id_{A^\ast} \otimes i_A}{\longleftarrow}& A^\ast \otimes 1 \\ {}^{\mathllap{\alpha^{-1}_{A^\ast,A, A^\ast}}}_{\mathllap{\simeq}}\downarrow && \downarrow^{\mathrlap{\ell^{-1}_A \circ r_A}}_{\mathrlap{\simeq}} \\ (A^\ast \otimes A) \otimes A^\ast &\underset{ev_A \otimes id_{A^\ast}}{\longrightarrow}& 1 \otimes A^\ast }$

and

$\array{ (A \otimes A^\ast) \otimes A &\overset{i_A \otimes id_A}{\longleftarrow}& 1 \otimes A \\ {}^{\mathllap{\alpha_{A,A^\ast, A}}}_{\mathllap{\simeq}}\downarrow && \downarrow^{\mathrlap{r_A^{-1}\circ \ell_A}}_{\mathrlap{\simeq}} \\ A \otimes (A^\ast \otimes A) &\underset{id_A \otimes ev_A}{\longrightarrow}& A \otimes 1 }$

where $\alpha$ denotes the associator of the monoidal category $\mathcal{C}$ , and $\ell$ and $r$ denote the left and right unitors, respectively.

Remark

Unfortunately, conventions on left and right vary and sometimes contradict their use for adjoints. A common convention is that a right dual of $A$ is an object $A^*$ equipped with a unit (or coevaluation)

i: I \to A \otimes A^*

and counit (or evaluation)

e : A^* \otimes A \to I

satisfying the ‘triangle identities’ familiar from the concept of adjunction. With this convention, if $\otimes$ in $C$ is interpreted as composition in $\mathbf{B} C$ in diagrammatic order, then right duals in $C$ are the same as right adjoints in $\mathbf{B}C$ — whereas if $\otimes$ in $C$ is interpreted as composition in $\mathbf{B} C$ in classical ‘Leibnizian’ order, then right duals in $C$ are the same as left adjoints in $\mathbf{B} C$ .

Of course, in a symmetric monoidal category, there is no difference between left and right duals.

Definition

A dualizable object $A$ , def. 1, for which the structure unit/counit maps between $A \otimes A^\ast$ and the unit object are isomorphisms is called an invertible object.

Definition

If every object of $C$ has a left and right dual, then $C$ is called a rigid monoidal category or an autonomous monoidal category. If moreover it is symmetric, it is called a compact closed category.

See category with duals for more discussion.

Definition

Given a morphism $f \colon X \to Y$ between two dualizable objects in a symmetric monoidal category, the corresponding dual morphism

f^\ast \colon Y^\ast \to X^\ast

is the one obtained by $f$ by composing the duality unit, the counit and the braiding…

Examples

Example

Let $V$ be a finite-dimensional vector space over a field $k$ , and let $V^* = Hom(V,k)$ be its usual dual vector space. We can define $\varepsilon\colon V^* \otimes V \to k$ to be the obvious pairing. If we also choose a finite basis $\{v_i\}$ of $V$ , and let $\{v_i^*\}$ be the dual basis of $V^*$ , then we can define $\eta\colon k \to V\otimes V^*$ by sending $1$ to $\sum_i v_i \otimes v_i^*$ . It is easy to check the triangle identities, so $V^*$ is a dual of $V$ in $Vect_k$ .

Example

Let $M$ be a finite-dimensional manifold, choose an embedding $M\hookrightarrow \mathbb{R}^n$ for some $n$ , and let $Th(N X)$ be the Thom spectrum of the normal bundle of this embedding. Then the Thom collapse map defines an $\eta$ which exhibits $Th(N X)$ as a dual of $\Sigma_+^\infty M$ in the stable homotopy category. This is a version of Spanier-Whitehead duality.

Example

A C*-algebra is a Poincaré duality algebra if it is a dualizable object in the symmetric monoidal category KK with dual its opposite algebra.

See at KK-theory – Poincare duality.

Example

For $E$ an E-∞ ring, then in the (∞,1)-category of (∞,1)-modules $E Mod$ the dualizable objects coincide with the compact objects and the perfect objects.

See at (∞,1)-category of (∞,1)-modules – Compact generation for more.

Properties

Trace

Dualizable objects support a good abstract notion of trace. (…)

Relation to cobordism hypothesis

Dualizable objects in an symmetric monoidal (∞,1)-category are already fully dualizable objects. The cobordism hypothesis implies that there is a canonical $O(1) \simeq \mathbb{Z}/2\mathbb{Z}$ -action on the ∞-groupoid of dualizable objects, and this is just the dualizing operation. See at cobordism hypothesis – Framed version – Implications: Canonical O(n)-action.

In a closed category

In a closed category $(\mathcal{C}, [-,-], 1)$ the dual to an object $X \in \mathcal{C}$ is defined to be the internal hom into the unit object

\mathbb{D}X \coloneqq [X,1] \,.

In a closed monoidal category

In a closed monoidal category $\mathbb{D}X$ is also called the weak dual of $X$ (e.g. Becker-Gottlieb, p. 5), to contrast with the monoidal dual as above, which would then be called the strong dual . If the induced morphism $X \to \mathbb{D}\mathbb{D}X$ is an equivalence this weak dual is called a reflexive weak dual.

If $\mathcal{C}$ is a compact closed category, def. 3, then the weak dual $\mathbb{D}X$ is also the strong dual object $X^\ast$ to $X$ in the above monoidal sense. Here dualization exhibits $\mathcal{C}$ as a star-autonomous category ( $\mathbb{D}(-) = (-)^\ast$ is the star-operation)

In a symmetric monoidal $(\infty,n)$ -category

Definition

An object in a symmetric monoidal (∞,n)-category $C$ is called dualizable if it is so as an object in the ordinary symmetric monoidal homotopy category $Ho(C)$ .

This appears as (Lurie, def. 2.3.5).

Remark

This means that an object in $C$ is dualizable if there exists unit and counit 1-morphism that satisfy the triangle identity up to homotopy. The definition does not demand that this homotopy is coherent (that it satisfies itself higher order relations up to higher order k-morphisms).

If the structure morphisms of the adjunction of a dualizable object have themselves all adjoints, then the object is called a fully dualizable object.

Remark

As before, we may equivalently state this after delooping the monoidal structure and passing to the $(\infty,n+1)$ -category $\mathbf{B}C$ . Then $C$ has duals for objects precisely if $\mathbf{B}C$ has all adjoints.

In a linearly distributive category

In a linearly distributive category, duality is naturally defined by mixing the two tensors $(\otimes,\top)$ and $(\parr,\bot)$ : the unit is $i : \top \to A \parr A^*$ and the counit is $ev:A^* \otimes A \to \bot$ . The triangle identities make sense by inserting the linear distributivities; they assert that the following composites are identities:

A \cong \top \otimes A \xrightarrow{i} (A \parr A^*) \otimes A \xrightarrow{\delta} A \parr (A^* \otimes A) \xrightarrow{ev} A \parr \bot \cong A

A^* \cong A^* \otimes \top \xrightarrow{i} A^* \otimes (A \parr A^*) \xrightarrow{\delta} (A^* \otimes A) \parr A^* \xrightarrow{ev} \bot \parr A^* \cong A^*.

A symmetric linearly distributive category is (symmetric) star-autonomous if and only if all objects have duals in this sense. The same is true in the non-symmetric case if we require both left and right duals.

This notion of duality generalizes to that of linear adjoints in a linear bicategory, and also to dual objects in a polycategory.

Related concepts

finite objects:

geometry	monoidal category theory	category theory
perfect module	(fully-)dualizable object	compact object

References

Duals in a closed/monoidal category are a very classical notion. A history of the basic definitions and applications in stable homotopy theory/higher algebra is in

James Becker, Daniel Gottlieb, from p. 5. in A History of Duality in Algebraic Topology, (pdf),

A large number of further examples can be found in

Kate Ponto and Mike Shulman, Traces in symmetric monoidal categories, (arXiv:1107.6032)

The notion of duals in a symmetric monoidal $(\infty,n)$ -category is due to section 2.3 of

Jacob Lurie, On the Classification of Topological Field Theories

Revision on December 19, 2017 at 08:16:26 by Anonymous See the history of this page for a list of all contributions to it.

nLab dualizable object (Rev #38, changes)

Context

Monoidal categories

Duality

Contents

Idea

Remark

In a monoidal category

Definition

Definition

Remark

Definition

Definition

Definition

Examples

Example

Example

Example

Example

Properties

Trace

Relation to cobordism hypothesis

In a closed category

In a closed monoidal category

In a symmetric monoidal (∞,n)(\infty,n)-category

Definition

Remark

Remark

In a linearly distributive category

Related concepts

References

In a symmetric monoidal $(\infty,n)$ -category