Gorenstein bimodule conjecture

Let AA be a finite-dimensional algebra. Regard AA as an AA-bimodule. A module is Gorenstein-projective if it is reflexive and satisfies the relevant positive Ext-vanishing conditions against the regular module and its dual.

Gorenstein bimodule conjecture. AA is self-injective if and only if AA, regarded as an AA-bimodule, is Gorenstein-projective.

The conjecture is known when AA is Iwanaga–Gorenstein and, more generally, when AA is left weakly Gorenstein. It remains open for arbitrary finite-dimensional algebras.

Sources & referencesView supporting material

Primary source

Tiago Cruz and René Marczinzik, “A new formula for the classical dominant dimension using bimodules”, arXiv:2508.18398 (2025).

Additional references

2 papers in this index state this conjecture (2020–2025). The statement above is taken from the most recent of them; the others are arXiv:2005.08656.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.