Deje $X$ ser un esquema de finito tipo a través de una discreta valoración anillo de $R$ con fracción de campo $K$, de tal manera que el genérico de fibra de $X_K$ es suave sobre la $K$. Deje $Y$ ser un cerrado subscheme de $X$ que no contiene ningún componente irreducible de $X$.
Es cierto - tal vez en algunos supuestos adicionales en $X$ y/o $R$ la $X(R) \setminus Y(R)$ es denso en $X(R)$ para los naturales de la topología definida por $R$? Si es así, ¿hay una manera fácil de ver esto o se requiere de maquinaria pesada?
Además, existen simples contraejemplos al $X_K$ no es suave sobre la $K$?
