Descent of P-property by proper surjective morphisms

Abstract

It is well known that the quasi-exellent property (i.e. G-ring and J-II) ascends by finite type morphisms. On the other hand Greco showed in [2, Proposition 4.1 and Proposition 2.3] that G-property (i.e. formal fibers are geometrically regular) does not descend by finite type morphisms, although J-II property (i.e. any finite type algebra has regular locus open) does.