2
$\begingroup$

Recall a locally Noetherian scheme $X$ has Serre's condition $S_k$ if for every $x\in X$ we have $\mathrm{depth}(\mathcal{O}_{x,X})\geq \mathrm{min}(k,\mathrm{dim}(\mathcal{O}_{x,X}))$.

Let $X$ be a variety, $Z\subset X$ be a closed subset of codimension $k+1$. My question is, suppose $X\setminus Z$ has Serre's condition $S_k$, does $X$ also have $S_k$?

$\endgroup$
1
  • 4
    $\begingroup$ No, that is not correct. Consider a union of two linear three-planes intersecting in the origin (in affine six-space). Let $Z$ be the singleton set of the origin. This scheme is not $\text{S}_2$, even though the open complement of $Z$ is $\text{S}_2$. $\endgroup$ Commented Oct 27 at 10:52

1 Answer 1

4
$\begingroup$

I am just posting my comment as one answer. Let $k$ be a field, and let $R$ be the following (unital, commutative) $k$-algebra, $$R = k[s,t,u,x,y,z]/I, \ \ I = \langle sx,sy,sz,tx,ty,tz,ux,uy,uz \rangle.$$ As a closed subscheme of $\mathbb{A}^6_k = \text{Spec}\ k[s,t,u,x,y,z]$, the scheme $\text{Spec}(R)=\text{Zero}(I)$ is a reduced scheme that is a union of two irreducible components, each of which is a linear affine $3$-space, such that the intersection of the two irreducible components equals the singleton set of the origin, $Z=\text{Zero}(\langle s,t,u,x,y,z \rangle)$. Thus, $\text{Spec}(R)\setminus Z$ is a smooth $k$-scheme equal to the disjoint union of two copies of the open complement of the origin in affine $3$-space. In particular, this open subscheme of $\text{Spec}(R)$ is $\text{S}_2$ (in fact, Cohen-Macaulay, and local complete intersection, and Gorenstein, and regular). However, $\text{Spec}(R)$ is not $\text{S}_2$, since $\text{S}_2$-schemes are connected away from codimension $>1$.

$\endgroup$
1
  • $\begingroup$ Thank you so much for you reply! I understand it now. $\endgroup$ Commented Nov 2 at 5:35

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .