The Auslander-Gorenstein property for Z-algebras

We provide a framework for part of the homological theory of -algebras and their generalisations, directed towards analogues of the Auslander–Gorenstein condition and the associated double Ext spectral sequence that are useful for enveloping algebras of Lie algebras and related rings. As an application, we prove the equidimensionality of the characteristic variety of an irreducible representation of the -algebra, and for related representations over quantum symplectic resolutions. In the special case of Cherednik algebras of type A, this answers a question raised by the authors.