locally Noetherian scheme whose local rings at each point is a Gorenstein local ring (i.e. a local ring with finite injective dimension as a module over itself)