Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

May 30, 2006

2-Spectral Theory, Part II

Posted by Urs Schreiber

Continuing my ponderings from last time () I here talk about a necessary condition for a 2-linear map to have a basis of 2-eigenvectors in some sense.

I would like Hecke eigensheaves () to be realizations of this, but for the time being I restrict attention to a setup which is probably not quite general enough to accomodate 2-vectors that are complexes of coherent sheaves.

This entry has been typeset using the new math environments provided by Jacques Distler ().

All I really do in the following is to take some elementary linear algebra reasoning and use it within the context of 2-vector spaces with 2-scalar product that I discussed in part I (). Might be slightly boring, but deserves to be said.

So, to recapitulate, we have a braided tensor category C with duals, we call (right) C-module categories 2-vector spaces and tend to restrict attention to C-modules that are C-internal left A-module categories V=ModA .

We assume we have an internal Hom functor on these 2-vector spaces IHom:V op×VC which we regard as the 2-scalar product on V.

Moreover, for the time being I restrict attention to those situations (which are relevant for 2D TQFT and RCFT) where the internal Hom is given by v,w:=IHom(V,W)=v Aw, where v,wObj(V) and where (.) is the operation on bimodules (v is to be regarded as an A-1 -bimodule) induced by the duality operation in C.

A-A bimodules B act as 2-linear maps (functors of C-module categories) on V. Their funcorial adjoint coincides with their adjoint with respect to ,, and is given by B :=B .

We are interested in understanding when a 2-endomorphism B:VV admits something like a basis of eigen-2-vectors.

So the first thing to clarify is what we want to understand under

an eigen-2-vector,

a basis of 2-vectors.

There is probably some room for being very sophisticated at this point. Not the least because there is some reason to suspect that all this can yield anything really interesting only when our 2-vector spaces are categories that are triangulated (), like derived categories are. That’s because the triangulation property can be understood as a being realization of 2-subtraction. (Recall () that in 2D QFT 2-vectors correspond to D-branes, and triangles encode brane/anti-brane annihilation processes () - subtraction of branes).

But I won’t be quite that sophisticated just yet. I want to get some basic things straight in a simpler context, to see how to properly generalize from there on.

With this disclaimer out of the way, I’ll state the notion of eigen-2-vector and of basis of eigen-2-vectors that I shall consider here.

Definition 1) Given a C-linear 2-endomorphisms B:VV we say that a 2-vector vObj(V) is a 2-eigenvector of B iff there is EObj(C) such that B AvvE. More precisely, we should give a more diagrammatic definition. A 2-eigenvector of B with eigen-2-value EObj(C) is a morphism CvV of internal right 1 -modules (1 is the tensor unit in C), such that C v V v B A V E V.

Definition 2) An orthonormal 2-basis of V is a collection (e i) i of 2-vectors such that every object of V is isomorphic to ie ic i for some c iC, and such that e i,e j is isomorphic to the tensor unit in C if i=j and isomorphic to the 0-object in C otherwise.

There is clearly room for improvement in these definitions, but right now all I care about is that this way we can state the following obvious

Definition 3) An orthonormal 2-basis (e i) i is called a eigen-2-basis of B:VV iff B ie iE ie i for some E iObj(C).

The fact that all our fancy 2-linear algebra here follows - up to some isomorphisms - the logic of ordinary linear algebra makes the following observation a triviality - but a possibly interesting one:

Observation. If B admits a basis of eigenvectors then B AB B AB.

Proof. We have B AB =def3 ( ie iE ie i ) A( ie iE i *e i ) def. 2( ie iE iE i *e i ) as well as B AB =def3 ( ie iE i *e i ) A( ie iE ie i ) def. 2( ie iE iE i *e i ). The isomorphism follows because we assume C to be braided.

This is essentially the condition I talked about last time.

All right, nothing overly exciting has happened here. Somebody should try to figure out

what happens when we weaken the above condition to Tr(B AB )Tr(B AB), where Tr is the Kaparanov-Ganter 2-trace;

how this condition relates to the somewhat reminiscent condition on duality defects in RCFT (see the discussion in the previous entry).

Posted at May 30, 2006 8:19 PM UTC

TrackBack URL for this Entry:

0 Comments & 1 Trackback

Read the post Google
Excerpt: Google news and reviews
Tracked: May 31, 2006 11:18 AM

Post a New Comment