2
$\begingroup$

Can finite dimensional algebras (over a field $K$) A with $D(A) \otimes_A D(A) \cong A$ as $A$-bimodules be somehow classified? I think taking for A a selfinjective algebra with nakayama permutation of order at most two should work. Are there nonselfinjective examples? Here $D(A)=Hom_K(A,K)$ is the dual of the regular module. Here a little motivation:

Symmetric algebras are characterised by $D(A) \cong A$ as bimodules.

More generally define the cyclic monoid generated by $D(A)$ with multiplication $\otimes_A$, when is this a group? That is, which algebras satisfy $A \cong D(A)^{\otimes i}$ for some $i \geq 1$? Are there non-selfinjective examples? It might also be interesting to look just at one-sided isomorphisms instead of bimodule isomorphisms, where this notion might generalise frobenius algebras.

Improve this question
$\endgroup$
2
  • 6
    $\begingroup$ This may be obvious for specialists, but for the sake of others, what is $D(A)$? The derived category? And what kind oh isomorphism is allowed?Thanks. $\endgroup$
    – Joël
    Jun 24, 2017 at 0:09
  • $\begingroup$ @Joël sorry, I edited the question. $\endgroup$
    – Mare
    Jun 24, 2017 at 8:22

1 Answer 1

Reset to default
5
$\begingroup$

If $A\cong D(A)^{\otimes i}$as $A$-bimodules, for some $i\geq1$, then $-\otimes_AD(A)$ is a self-equivalence of the module category, and so takes projectives to projectives. But it takes $A$ to $A\otimes_AD(A)\cong D(A)$, so $A$ must be self-injective.

Improve this answer
$\endgroup$
1
  • $\begingroup$ You mean for some i instead for any $i \geq 1$ or? Well this looks embarrassingly easy. So the answer is all Frobenius algebras with nakayama autormorphism $\psi$ such that $D(A) \cong A_{\psi}$ and $\psi$ with $\psi^i=id$ are exactly those with $D(A)^{\otimes i}=A? $\endgroup$
    – Mare
    Jun 24, 2017 at 12:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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