A new proof of non-Cohen-Macaulayness of Bertin's example

Abstract

Bertin's example is famous as the first known Noetherian UFD that is not Cohen-Macaulay. In the example, she employed a ring of invariants and proved that the ring is not Cohen-Macaulay by calculating a homogeneous system of parameter and generators of it. In this paper, we give a new proof by arguments on ring theoretic properties.