geometrically regular local ring