Return to Question

Let $A$ be a finite dimensional ring-indecomposable $K$-algebra that is not selfinjective for $K$ a field and let $I(A)$ denote the injective envelope of the regular module $A_A$. Define the stable $A$-module $\underline{A}$ as the cokernel of the trace of $I(A)$ in $A$. Recall here that the trace of a module $N$ in a module $M$ is the maximal submodule of $M$ generated by $N$, see for example https://www.math.uni-bielefeld.de/~ringel/opus/good-d-r.pdf at the end of page 2.

I have the guess that for a general $A$-module $M$ we have the formula $$pdim M= sup \{ i \geq 0 \mid Ext_A^i(M,\underline{A}) \neq 0 \}.$$

Question: Is this true?

This would have some nice homological applications. I can show a similar formula for the dominant dimension, so I would expect this formula to be true for the projective dimension but I have not found a proof.

Let $A$ be a finite dimensional ring-indecomposable $K$-algebra that is not selfinjective for $K$ a field and let $I(A)$ denote the injective envelope of the regular module $A_A$. Define the stable $A$-module $\underline{A}$ as the cokernel of the trace of $I(A)$ in $A$. Recall here that the trace of a module $N$ in a module $M$ is the maximal submodule of $M$ generated by $N$, see for example https://www.math.uni-bielefeld.de/~ringel/opus/good-d-r.pdf at the end of page 2.

I have the guess that for a general $A$-module $M$ we have the formula $$pdim M= sup \{ i \geq 0 \mid Ext_A^i(M,\underline{A}) \neq 0 \}.$$

Question: Is this true?

This would have some nice homological applications. I can show a similar formula for the dominant dimension, so I would expect this formula to be true for the projective dimension but I have not found a proof. Also several computer experiments suggest that this question has a positive answer although the class of examples tested with the computer were rather random and not too complicated.

Let $A$ be a finite dimensional $K$-algebra for $K$ a field and let $I(A)$ denote the injective envelope of the regular module $A_A$. Define the stable $A$-module $\underline{A}$ as the cokernel of the trace of $I(A)$ in $A$. Recall here that the trace of a module $N$ in a module $M$ is the maximal submodule of $M$ generated by $N$, see for example https://www.math.uni-bielefeld.de/~ringel/opus/good-d-r.pdf at the end of page 2.

I have the guess that for a general $A$-module $M$ we have the formula $$pdim M= sup \{ i \geq 0 \mid Ext_A^i(M,\underline{A}) \neq 0 \}.$$

Question: Is this true?

This would have some nice homological applications. I can show a similar formula for the dominant dimension, so I would expect this formula to be true for the projective dimension but I have not found a proof.

Let $A$ be a finite dimensional ring-indecomposable $K$-algebra that is not selfinjective for $K$ a field and let $I(A)$ denote the injective envelope of the regular module $A_A$. Define the stable $A$-module $\underline{A}$ as the cokernel of the trace of $I(A)$ in $A$. Recall here that the trace of a module $N$ in a module $M$ is the maximal submodule of $M$ generated by $N$, see for example https://www.math.uni-bielefeld.de/~ringel/opus/good-d-r.pdf at the end of page 2.

I have the guess that for a general $A$-module $M$ we have the formula $$pdim M= sup \{ i \geq 0 \mid Ext_A^i(M,\underline{A}) \neq 0 \}.$$

Question: Is this true?

This would have some nice homological applications. I can show a similar formula for the dominant dimension, so I would expect this formula to be true for the projective dimension but I have not found a proof.

Let $A$ be a finite dimensional $K$-algebra for $K$ a field and let $I(A)$ denote the injective envelope of the regular module $A_A$. Define the stable $A$-module $\underline{A}$ as the cokernel of the trace of $I(A)$ in $A$. Recall here that the trace of a module $N$ in a module $M$ is the maximal submodule of $M$ generated by $N$, see for example https://www.math.uni-bielefeld.de/~ringel/opus/good-d-r.pdf at the end of page 2.

I have the guess that for a general $A$-module $M$ we have the formula $$pdim M= sup \{ i \geq 0 \mid Ext_A^i(M,\underline{A}) \neq 0 \}.$$

Question: Is this true?

This would have some nice homological applications.

Let $A$ be a finite dimensional $K$-algebra for $K$ a field and let $I(A)$ denote the injective envelope of the regular module $A_A$. Define the stable $A$-module $\underline{A}$ as the cokernel of the trace of $I(A)$ in $A$. Recall here that the trace of a module $N$ in a module $M$ is the maximal submodule of $M$ generated by $N$, see for example https://www.math.uni-bielefeld.de/~ringel/opus/good-d-r.pdf at the end of page 2.

I have the guess that for a general $A$-module $M$ we have the formula $$pdim M= sup \{ i \geq 0 \mid Ext_A^i(M,\underline{A}) \neq 0 \}.$$

Question: Is this true?

This would have some nice homological applications. I can show a similar formula for the dominant dimension, so I would expect this formula to be true for the projective dimension but I have not found a proof.