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

Takuma Seno

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-Mac…