What do we mean by the variety to be arithmatically Cohen-Macaulay? Is every such variety is also Gorenstein?