Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Note: by fixed points, I always mean homotopy fixed points.

As explained in Jacob Lurie's paper on the cobordism hypothesis, we have an action of O(2) on the $\infty $-groupoid $X$ given by considering fully dualizable objects and invertable morphisms in some symmetric monoidal $(\infty ,2)$ category $\mathcal C$. I am interested in the case when $\mathcal C$ is the category where objects are algebras, 1-cells are bimodules, 2-cells maps of bimodules etc... By an algebra, I want to include algebra objects in some $\infty$-category (e.g. chain complexes), so that $\mathcal C$ really has non-trivial 3-cells, 4-cells and so on.

Now, I know (from remark 4.2.7) that the fixed points for the induced action of SO(2) on this space correspond to cyclic Frobenius algebras, i.e. smooth, proper algebras $A$, with a non-degenerate and $SO(2)$-equivariant trace

$A \otimes _{A^e} A \to k$.

Here, non-degenerate means that the pairing $A\otimes A \to A\otimes _{A^e} A \to k$ is nondegenerate. Recall also that the Hochschild homology $A \otimes _{A^e} A$ carries and $SO(2)$ action, so it makes sense to talk about $SO(2)$-equivariant map above.

The data of SO(2) equivariance should be equivalent to descending the trace to cyclic homology.

However, the reason why the fixed points are as above is that both can be identified with 2-d oriented TFTs, after theorem 3.1.8 which describes how to extend from a (n-1)-dimensional TFT to an n-dimensional one.

Question: Can we calculate this action and identify the fixed point space directly?

Part of this is not too hard to see (I think): naively, the SO(2) action on $X$ gives a canonical (Morita) automorphism of each (f.d.) algebra $A$. This automorphism is given by the bimodule dual $A^!$ (or the other one $A^\vee$...), so being a fixed point means to give an isomorphism $A^! \to A$, which is the same as a non-degenerate map $A\otimes _{A^e} A \to k$. If the base category where our algebra lives has no higher structure, then I think this is enough, but this does not explain the $SO(2)$ equivariance.

In particular, where does the SO(2)-equivariance data come from?

To see this, I tried to go a little deeper (with help from Takuo Matsuoka): the action is given by a map $B\mathbb Z =SO(2) \to Aut(X)$, which we transformed into a map $\mathbb Z \to \Omega Aut(X)$. The data described above corresponds to picking an algebra $A$ and composing to get a map $\mathbb Z \to \Omega X$ = Invertable $A-A$-bimodules. However, we haven't used that the original map from SO(2) is a group homomorphism - this should correspond to the map $\mathbb Z \to \Omega Aut(X)$ being an $E_2$-map. So we get braiding data attached to each of the $A^!$, which should be trivialized (because the E_2 -structure on $\mathbb Z$ is trivial (?)). Then to give a fixed point we must take into account all this data...

This has only given me a headache so far, but maybe there is an easier way to think about this? I tried (failed?) to be brief, so let me know if anything here is unclear!

share|improve this question
add comment

2 Answers

up vote 8 down vote accepted

I might be confused about your question. Are you asking...

  1. How is trivializing the $O(n)$-action the same as giving an $O(n)$-equivariant non-degenerate trace? (as per Lurie's theorem 3.1.8).
  2. How can we identify the $SO(2)$-action with the usual $SO(2)$-action on Hochschild homology?

For the first one, I think this is pretty well described in Jacob's paper. The key is understanding what the condition "non-degenerate" means in that setting. This is the condition that allows you to turn the equivariant trace into the trivialization of an action.

If it is the second thing you are asking, here is one way to see this, though there may be an easier way. Let's first discuss the more direct approach which is giving you a headache. Instead of thinking about $E_2$-structures or (homtopical) group homomorphisms, I prefer to think of the map of delooings:

$$ \alpha: BSO(2) = K(\mathbb{Z}, 2) = \mathbb{CP}^\infty \to BAut(X)$$

This is equivalent to understanding the $E_2$-structure you mentioned, but for me it is easier to comprehend. A (homotopical) $ SO(2)$-action on $X$ is the same as the map $\alpha$. I find this easier probably because of my background. Now $BSO(2) = \mathbb{CP}^\infty$ has a well known cell structure which goes:

$$ S^2 \cup e_4 \cup e_6 \cup \dots $$

So part of the $SO(2)$-action is an element in $\pi_2 BAut(X)$ which gives the invertible $A-A$-bimodule you identified up above. This is also called the Serre bimodule in this context. The element in $\pi_2$ actually contains more information: it is a natural transformation (from the identity functor to itself).

From this point of view, to understand the rest of the $SO(2)$-action, you need to extend this map all the way through the entire CW-structure. You can start doing this explicitly. For example the fact that the Serre is a natural transformation allows you to construct an element in $\pi_3 BAut(X)$ which is essentially the "self braiding" of the Serre with itself. Trivializing this element allows you to extend the map to the 4-skeleton $\mathbb{CP}^2 = S^2 \cup e_4$. This then gives rise to a higher "self braiding" which you then have to trivialize, etc.

This quickly becomes a huge headache, as each of thee trivializations is supposed to be describable in terms of the basic fully-dualizable structure. While possible, it is not entirely obvious how to procede at each step. Also, even if we succeed this doesn't yet do what you want; we still haven't identified this SO(2)-action with the usual one on Hochschild homology.

A different approach is to realize that $$BSO(2) \simeq |N \Lambda^{op}|$$ where $\Lambda$ is the cyclic category. This allows us to get a different "filtration" of $K(\mathbb{Z}, 2)$. If we view the map $\alpha$ as classifying an $X$-bundle over $BSO(2)$, then we can use this description, plus the material of Dwyer-Hopkins-Kan "The homotopy theory of cyclic sets" to realize that this is equivalent to the data of a certain cyclic set.

I think that in the universal case we get a cyclic set which essentially comes from the various ways to decompose a circle cyclicly, and in the specific case at hand we recover the Hochschild homology complex. This would identify the two circle actions. I hope this helps.

share|improve this answer
    
Thanks, this is very helpful! You are right - delooping the group homomorphism does seem easier to handle than looping it, but an "explicit" description of the action in terms of the standard cell structure on $\mathbb CP^\infty$ appears to be just as hairy. Maybe the cyclic category approach would be better, I'll have to try it out. –  Sam Gunningham Aug 29 '11 at 18:21
    
However, I think I am still a little confused about both 1 and 2. One thing in particular that is bothering me is in Remark 3.1.9, when Jacob writes $Z_0(S^{n-1})$, there is no $G_0$ structure specified on $S^{n-1}$. There is a $G$ structure, coming from the $n$-framing, but generally this does not admit a reduction to a $G_0$ structure (and certainly not canonically). So I am not sure what is meant by $Z_0(S^{n-1})$ and consequently the action of $G$ upon it, unless we already give ourselves the data of an extension to a functor $Z$. –  Sam Gunningham Aug 29 '11 at 18:21
    
This is muddled (at least in my mind!) in the case of $SO(2)$ by the fact that $SO(2)$ does act on the 1-framed circle, preserving the framing. But the 1-framing does not come give rise to the 2-framing of the circle in which it is the boundary of a disc... –  Sam Gunningham Aug 29 '11 at 18:22
1  
Ah, I think I see what's going on... In the case $G$ being trivial (which I had in mind), $G_0$ is not itself trivial, so theorem 3.1.8 does not say anything about inducting from $Bord _{n-1} ^{fr}$ to $Bord _n ^{fr}$. In the case $G=SO(2)$ $G_0 = SO(1) =1$, so the action makes sense. You should probably ignore the above comments! –  Sam Gunningham Aug 29 '11 at 19:12
add comment

I'm not comfortable enough with the $\infty$ setting to give a full answer, but for ordinary algebras the condition you're looking for here should be that of a symmetric Frobenius algebra (i.e. the Frobenius bilinear form is symmetric). So you're just looking for the $\infty$ analogue of the symmetric condition on Frobenius algebras.

There's a lot of great information about oriented 2d extended TFTs in Chris Schommer-Pries's thesis.

share|improve this answer
    
Thanks for the response! The symmetric condition was already built in to my definition above: the inner product came from a trace which factors through hochschild homology, which for ordinary (semisimple) algebras is the abelianization. The condition I want (I think) is that the trace is cyclic - factors through cyclic homology. the difference can't be seen for ss ordinary algebras. –  Sam Gunningham Aug 29 '11 at 14:00
    
I want to see how the cyclic condition arises from the data of being a (homotopy) fixed point. –  Sam Gunningham Aug 29 '11 at 14:04
    
Ah ok. That makes sense. –  Noah Snyder Aug 29 '11 at 14:07
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.