(changes only visible within HTML tags; use view source link)

1

This doesn't directly answer your question, but I think that it is relevant. Also, it's ridiculously long, but hopefully that will make for easier reading than a shorter, vaguer version.

Let's think of the center of an algebra $A$ and the space of bimodule maps from $_AA_A$ to itself. Pictorially, we think of this vector space as associated to a circle subdivided into an incoming and outgoing interval and labeled entirely by $A$. (Later we will consider circles labeled by various combinations of $A$, $B$, $M$, and $N$.)

We should (in TQFTish contexts) think of the finite dimensionality of a vector space $V$ as meaning there is another vector space $W$, together with maps $r:k\to V\otimes W$ and $s: V\otimes W \to k$, which satisfy the zig-zag identity. (See the definition of dualizable in AndrĂ©'s original question.)

But now we should smell a rat. If the center of $A$ is associated to an (appropriately decorated) circle, then the maps $r$ and $s$ should be associated to annuli (a circle cross a 1-dimensional cup or cap, like the plumbing under a kitchen sink). The "rat" is nonlocality; we are in danger of violating the dogma that everything should be local. Circles and annuli might seem simple, but intervals and disks are simpler still. We should try to replace the condition that $A$ has finite dimensional center with a local criterion.

This can done as follows. Roughly speaking, we want to construct a fully extended 1+1-dimensional TQFT-like structure. The 0- and 1-dimensional parts can built for any algebra (or linear 1-cateogy) $A$. The existence of the 2-dimensional part, generated by (2-dimensional) cups, caps and saddles which satisfy relations corresponding to Morse cancellations, will imply that $A$ has finite dimensional center.

Now for the details. To a point we associate $A$ (or the category of represenations of $A$, if we prefer).

Our 1-manfolds will be split into "incoming" and "outgoing" parts. The boundary points of the 1-manifolds will be either left-facing or right-facing, and these will correspond to left and right actions of $A$.

• To an "outgoing" interval we associate the bimodule $_AA_A$.

• To an "incoming" interval associate the linear dual bimodule $_A(A^*)_A$.

• To an interval subdivided into incoming and outgoing halves, and with the endpoints facing left, we associate the bimodule $Hom_A(A\to A)$. This is isomorphisc as a bimodule to $_AA_A$ via the correspondence $a \mapsto (x \mapsto ax)$.

• To an interval subdivided into incoming and outgoing halves, and with the endpoints facing right, we associate the bimodule $_AHom(A\to A)$. This is isomorphisc as a bimodule to $_AA_A$ via the correspondence $a \mapsto (x \mapsto xa)$.

• To a disjoint union of an incoming and outgoing interval we associate $Hom_k(A \to A)$, thought of as a quadramodule. (The action of $a\otimes b\otimes c\otimes d$ on the function $x\mapsto f(x)$ is $x\mapsto af(cxd)b$.)

We re allowed to glue intervals together if left-facing joins to right-facing and incoming [outgoing] joins to incoming [outgoing]. Gluing outgoing intervals corresponds to taking tensor product over $A$. Gluing incoming intervals corresponds to taking cotensor product over $A$. It follows that

• To a circle composed of an incoming and an outgoing interval (a "bigon"), we associate the space of bimodule maps from $_AA_A$ to itself. This is just the center of $A$ via the correspondence $z \mapsto (x \mapsto zx = xz)$.

• To a circle that is entirely outgoing we associate the "coinvariants" $A/\langle xy \sim yx\rangle$.

• To a circle that is entirely incoming we associate the space of traces on $A$ -- $f\in A^*$ such that $f(xy) = f(yx)$.

We will only need to consider the first sort of circle above (the bigon).

Now for the 2-dimensional part. Rather than describe the full structure one might want, I'll concentrate on the parts of the 2d structure which are relevant to the question about centers. The generators for the 2d part correspond to Morse critical points (index 0 (cup), index 1 (saddle), index 2 (cap)). These come in various flavors, depending on how the top and bottom 1-manfolds are divided into incoming and outgoing. Since we are only interested in bigon-type circles, we will only consider one flavor of cup and cap. But we will need two flavors of saddle.

• The cup is an element of the center $Z(A)$ of $A$. There is a canonical choice, $1\in Z(A) \subset A$.

• The cap is a function $Z(A) \to k$. This is extra data.

• The "easy" saddle is a quadramodule map from $Hom_A(A\to A) \otimes_k {}_AHom(A\to A)$ to $Hom_k(A\to A)$. There is a canonical choice for the easy saddle which sends $(x\mapsto ax)\otimes(x \mapsto xc)$ to $(x \mapsto axc)$.

• The "hard" saddle goes the other way, from $Hom_k(A\to A)$ to $Hom_A(A\to A) \otimes_k {}_AHom(A\to A)$. I don't think there is a canonical choice for this -- it's extra data.

We require the above 2d data (cup, cap, easy saddle, hard saddle) to satisfy identities corresponding to Morse cancelations.

One identity involves the cup and the easy saddle and is automatically satisfied (assuming we make the canonical choices for cup and easy saddle). More specifically we go from $Hom_A(A\to A)$ via the cup to $Hom_A(A\to A) \otimes_k Hom_{A\times A^{op}}(A\to A)$ and then via the easy saddle back to $Hom_A(A\to A)$, and this composition is the identity. (And similarly for $_AHom(A\to A)$.)

The other identity involves the cap and the hard saddle. We go from $Hom_A(A\to A)$ via the hard saddle to $Hom_A(A\to A) \otimes_k Hom_{A\times A^{op}}(A\to A)$ and then via the cap back to $Hom_A(A\to A)$ (and similarly for $_AHom(A\to A)$). This composition is required to be the identity.

The above identities should be thought of as 2d versions of the zig-zag identity.

Definition. An algebra $A$ has Property X is there exists a cap and hard saddle satisfying the above identities. (Recall that the cup and easy saddle come for free.)

Observation 1. If $A$ has Property X, then $A$ has finite dimensional center. Proof: Define $r:k\to Z(A)\otimes Z(A)$ to be the cup followed by the hard saddle induced map from $Hom_{A\times A^{op}}(A\to A)$ to $Hom_{A\times A^{op}}(A\to A) \otimes Hom_{A\times A^{op}}(A\to A)$. Define $s:Z(A)\otimes Z(A)\to k$ to be the similar map composed of the easy saddle followed by the cap. The 1d zig-zag identity follow from the 2d Morse cancellation identities.

In summary, Property X is our local replacement for "finite dimensional center".

Remark. I (weakly) suspect that algbras with finite dimensional centers which do not satisfy Property X are relatively rare. If it turns out that Property X is very strong (e.g. if it implies that $A$ is finite dimensional semisimple), then I'll be a little bit embarrassed (but only weakly surprised).

Now, finally, we get to the punch line.

Observation 2. If $A$ and $B$ have Property X and $_AM_B$ is dualizable, then $End(M)$ is finite dimensional.

Proof. The idea is to construct a 2d TQFT, similar to the one above, in which manifolds are divided into $A$-colored parts and $B$-colored parts, with the interfaces between $A$ and $B$ labeled by $M$ or $N$ as appropriate. (Recall that $N$ is the dual of $M$.) So 1-manifolds in this TQFT can be independently either incoming or outgoing, either $A$-colored or $B$-colored, and (if they are part of the boundary of a 2d bordism) either top or bottom. We will construct maps $$u: k\to End(M) \otimes End(N)$$ and $$n: End(N) \otimes End(M) \to k$$ which satisfy the zig-zag identity. It will follow that $End(M)$ is finite dimensional.

We will need $M$ to be both right and left dualizable, with the right and left duals both $N$. Let $r_l, s_l, r_r, s_l$ be the left and right 1d cups and caps.

The map $u$ corresponds to a bigon cross a 1d cup, half colored by $A$ and half colored by $B$. More specifically, $u$ is the composition from $k$

• to $Hom_{A\times A^{op}}(A\to A)$ via the cup for $A$

• to $Hom_{A\times A^{op}}(A\to M\otimes_B N)$ via $r_l$

• to $Hom_{A\times A^{op}}(M\otimes_B N\to M\otimes_B N)$ via $s_r$

• to $Hom_{B\times A^{op}}(M\to M) \otimes Hom_{A\times B^{op}}(N\to N)$ via the hard saddle for $B$.

Similarly, $n$ is the composition from $Hom_{A\times B^{op}}(N\to N) \otimes Hom_{B\times A^{op}}(M\to M)$

• to $Hom_{B\times B^{op}}(N\otimes_A M\to N\otimes_A M)$ via the easy saddle for $A$

• to $Hom_{B\times B^{op}}(B \to N\otimes_A M)$ via $r_r$

• to $Hom_{B\times B^{op}}(B \to B)$ via $s_l$

• to $k$ via the cap for $B$.

The zig-zag identity for $u$ and $n$ follows from the right and left zig-zag identities for $M$ and the Morse cancellation identities for $A$ and $B$.

Remark. Unless I've made a mistake, we only need one of $A$ or $B$ to have Property X.

Remark. If we reverse the roles of $A$ and $B$ above, we get different maps $u': k\to End(M) \otimes End(N)$ and $n': End(N) \otimes End(M)$. (The zig-zag for $u$ and $n$ requires that $B$ and Property X, while the zig-zag for $u'$ and $n'$ requires that $A$ have Property X.) If the 2d TQFT structure is more complete, with more flavors of cups, caps and saddles, then one can show that $u=u'$ and $n=n'$.

(This would be all be much easier with pictures. I apologize for the lack of them.)