Skip to main content
4 of 4
added the syzygies tag
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

Question on syzygies

Given a finite dimensional algebra $A$ over a field $K$ with $\Omega^i(D(A)) \cong \Omega^{i+1}(D(A))$ for some $i \geq 1$, where $D(A)=\operatorname{Hom}_K(A,K)$.

Do we then also have $\Omega^{-i}(A) \cong \Omega^{-(i+1)}(A)$?

In case the answer is yes, do we even have that $\Omega^{-i}(A)$ and $\Omega^i(D(A))$ have the same vector space dimension? (Note that a positive answer would prove the Gorenstein symmetry conjecture)

(One might more generally ask whether $\Omega^i(D(A)) \cong \Omega^{i+k}(D(A))$ for some $k \geq 1$, implies $\Omega^{-i}(A) \cong \Omega^{-(i+k)}(A)$)

Mare
  • 26.5k
  • 6
  • 25
  • 104