nLab span trace




In the context of integral transforms on sheaves one thinks of a span as a generalized linear map. The span trace is the corresponding generalization of the notion of a trace of a linear map.

This is just the general trace of an endomorphism which is definable in any compact/autonomous symmetric monoidal (2-)category, of which SpanSpan is an example (as described below).

In the context of FQFT a useful aspect of the span trace is that it is manifestly dual to the co-span co-trace, which, as described there, corresponds under the interpretation of spans as cobordisms to gluing of the two ends of a cobordism.


For Spans


R x y X X \array{ && R \\ & {}^x\swarrow && \searrow^{y} \\ X &&&& X }

a span with identical left and right index object XX, the simplest way to define its span trace tr(R)tr(R) is as by regarding it as a map RX×XR\to X\times X, then pulling back along the diagonal morphism XX×XX\to X\times X.

This can be expressed in terms of the bicategory Span in several ways. For instance, we can regard it as the composite of the result

R x×y X×X pt \array{ && R \\ & {}^{x \times y}\swarrow && \searrow \\ X \times X &&&& pt }

of dualizing one leg of the span with the span

X Id×Id pt X×X \array{ && X \\ & {}^{}\swarrow && \searrow^{Id \times Id} \\ pt &&&& X \times X }

i.e. the pullback

trR X R Id×Id x×y pt X×X pt \array{ &&&& \mathrm{tr}R \\ &&& \swarrow && \searrow \\ && X &&&& R \\ & {}^{}\swarrow && \searrow^{Id \times Id} && {}^{x \times y}\swarrow && \searrow \\ pt &&&& X \times X &&&& pt }

regarded as a span from the point to the point

tr(R) pt pt. \array{ && tr(R) \\ & {}^{}\swarrow && \searrow \\ pt &&&& pt } \,.

For multispans

More generally, the trace of a multispan over nn identical of its index objects XX is the composite with the multispan

X Id Id X X X \array{ & X \\ & {}^{Id}\swarrow \downarrow^{Id} & \cdots \\ X & X & \cdots & X & \cdots }


Trace of Set-valued matrices

Let the ambient category be Set, let XX be a finite set and RX×XR \to X \times X an |X|×|X||X| \times |X|-matrix of finite sets, regarded under groupoid cardinality as a groupoidified |X|×|X||X| \times |X|-matrix with entries in \mathbb{N}.

The trace of the span

R x y X X \array{ && R \\ & {}^x\swarrow && \searrow^{y} \\ X &&&& X }

is the pullback

tr(R) R x,y X Id×Id X×X \array{ tr(R) &\to& R \\ \downarrow && \downarrow^{x,y} \\ X &\stackrel{Id \times Id}{\to}& X \times X }

which is the coproduct set tr(R)= xXR x,xtr(R) = \sqcup_{x \in X} R_{x,x}. Under groupoid cardinality this is indeed the trace |tr(R)|= x|R x,x||tr(R)| = \sum_{x} |R_{x,x}| of the matrix |R||R| represented by RR.

Loop objects from homotopy span traces

Let CC be a category of fibrant objects with interval object II. Recall that for every object BB of CC its free loop space object is the part of the path object B I=[I,B]B^I = [I,B] which consists of closed paths, i.e. the pullback.

ΩB [I,B] d 0×d 1 B Id×Id B×B. \array{ \Omega B &\to& [I,B] \\ \downarrow && \downarrow^{d_0 \times d_1} \\ B &\stackrel{Id \times Id}{\to}& B \times B } \,.

This can be understood as the homotopy span trace of the identity span on BB

ΩB=hotr(Id B)=hotr( B Id IdB B), \Omega B = hotr(Id_B) = hotr\left( \array{ && B \\ & {}^{Id}\swarrow && \searrow^{Id} B &&&& B } \right) \,,

where the homotopy span trace is computed like the span trace but with the pullback replaced by a homotopy pullback:

hotr(Id B)=holim(B B Id×Id Id×Id B×B). hotr(Id_B) = holim \left( \array{ B &&&& B \\ & {}_{Id \times Id}\searrow && \swarrow_{Id \times Id} \\ && B \times B } \right) \,.

According to the example described at homotopy limit and using that we assume that we are in a category of fibrant objects we can compute this homotopy limit, up to weak equivalence, as the ordinary limit of the weakly equivalent pullback diagram

F B Id×Id B×B Id×Id B Id Id F [I,B] d 0×d 1 B×B Id×Id B \array{ F &&&& B &\stackrel{Id \times Id}{\to}& B \times B &\stackrel{Id \times Id}{\leftarrow}& B \\ \downarrow^{\simeq} &&&& \downarrow^{\simeq} && \downarrow^{Id} && \downarrow^{Id} \\ F' &&&& [I,B] &\stackrel{d_0 \times d_1}{\to}& B \times B &\stackrel{Id \times Id}{\leftarrow}& B }

where we replace BB by its path object B I=[I,B]B^I = [I,B] using the factorization of BId×IdB×BB \stackrel{Id \times Id}{\to} B \times B as B[I,B]d 0×d 1B×BB \stackrel{\simeq}{\to} [I,B] \stackrel{d_0 \times d_1}{\to} B \times B guaranteed to exist in a category of fibrant objects, where [I,B]d 0×d 1B×B[I, B] \stackrel{d_0 \times d_1}{\to} B \times B is a fibration:

holim DFlim DF. holim_D F \stackrel{\simeq}{\to} lim_D F' \,.

But by the above lim DF=ΩBlim_D F' = \Omega B.

Categorical trace from homotopical span trace

The categorical trace on a 1-endomorphism in a 2-category CC is the homotopy trace on the span given by that endomorphism.

This should be true quite generally, but here are the details just for the special case that connects to the above example:

Let C=C = Grpd with the standard interval object I={ab}I = \{a \stackrel{\simeq}{\to} b\}. This is a category of fibrant objects with respect to the folk model structure.

Notice that natural transformations η:FG\eta : F \to G between two functors F,G:CDF, G : C \to D are in bijection with commuting diagrams

X η [I,Y] Id d 0×d 1 X F×G Y×Y. \array{ X &\stackrel{\eta}{\to}& [I,Y] \\ \downarrow^{Id} && \downarrow^{d_0 \times d_1} \\ X &\stackrel{F \times G}{\to}& Y \times Y } \,.

Now, the homotopy trace on the span corresponding to an ednofunctor F:BBF : B \to B is

hotr(F)=hotr( B Id F B B)=holim(B B Id×Id F×Id B×B). hotr(F) = hotr\left( \array{ && B \\ & {}^{Id}\swarrow && \searrow^{F} \\ B &&&& B } \right) = holim\left( \array{ B &&&& B \\ & {}_{Id \times Id}\searrow && \swarrow{F \times Id} \\ && B \times B } \right) \,.

Since we are in a category of fibrant objects the assumptions of the example discussed at homotopy limit apply and the above homotopy limit is again computed, up to weak equivalence, by the ordinary limit of

lim([I,B] B d 0×d 1 Id×F B×B). \cdots \stackrel{\simeq}{\to} lim \left( \array{ [I,B] &&&& B \\ & {}_{d_0 \times d_1}\searrow && \swarrow{Id \times F} \\ && B \times B } \right) \,.

By the above, every cone over the pullback diagram with a functor h:QBh : Q \to B, on the right defines a natural transformation h *(Id BF)h^*(Id_B \Rightarrow F). By the universal property of the limit, it represents the collection of these transformations.


That the canonical trace on SpanSpan is compatible with the interpretation of spans as linear maps in the context of groupoidification, and that it corresponds under duality (in terms of the co-span co-trace) to the gluing of ends of cobordisms was mentioned in

More discussion is in

Last revised on June 3, 2013 at 10:22:19. See the history of this page for a list of all contributions to it.