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 agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.