Geometrically regular local ring