3
$\begingroup$

Let $A$ be a non-selfinjective algebra with dominant dimension at least one and $Af$ a minimal faithful projective-injective left $A$-module (but we use right modules in the following). The Nakayama conjecture states that $Ext_A^i(A/AfA,A) \neq 0$ for some $i \geq 1$ (this is equivalent to finite dominant dimension), while the first Tachikawa conjecture states that $Ext_A^i(D(A),A) \neq 0$ for some $i \geq 1$. It is well known that the Nakayama conjecture implies the first Tachikawa conjecture. The other direct seems to be not known.

Now I noted the relation $\tau(A/AfA)=\Omega^1(D(A))$. We thus have two exact sequences that show that $A/AfA$ and $D(A)$ are closely connected.

The almost split sequence for $A/AfA$: $$0 \rightarrow \tau(A/AfA)=\Omega^1(D(A)) \rightarrow X \rightarrow A/AfA \rightarrow 0$$

The beginning of a minimal projective resoution of $D(A)$: $$0 \rightarrow \Omega^1(D(A)) \rightarrow P \rightarrow D(A) \rightarrow 0.$$

Can this somehow (or some other trick) be used to show that $Ext_A^i(D(A),A) \neq 0$ for some $i \geq 1$ implies $Ext_A^j(A/AfA,A) \neq 0$ for some $j \geq 1$?

$\endgroup$
  • $\begingroup$ If it helps one might also assume that $e=f$ in case $eA$ is the minimal faithful projective-injective right module. Proving it in this special case would also prove something new, namely that the first Tachikawa conjecture implies the second one. $\endgroup$ – Mare Jun 19 '18 at 14:49

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.