Definition 33.12.1. Let $k$ be a field. Let $X$ be a locally Noetherian scheme over $k$.
Let $x \in X$. We say $X$ is geometrically regular at $x$ over $k$ if for every finitely generated field extension $k'/k$ and any $x' \in X_{k'}$ lying over $x$ the local ring $\mathcal{O}_{X_{k'}, x'}$ is regular.
We say $X$ is geometrically regular over $k$ if $X$ is geometrically regular at all of its points.
Comments (0)