MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $S\cong \varprojlim S_i$, where $S$ and all $S_i$ are separated regular excellent of finite Krull dimension. Let $Z$ be a closed regular subscheme of $S$. As Theorem 8.8.2 of EGA4 shows, $Z$ comes from a closed subscheme $Z_i$ of one of $S_i$. My question is: can we also assume that $Z_i$ is regular? Are there any extra restrictions needed so that the fact will be true? I am actually only interested in equicharacteristic schemes, and the connecting morphisms are affine and dominant.

share|cite|improve this question
Here's a comment when $S$ and $S_i$ are local with rings $(A,m)$ and $(A_i,m_i)$ and all transition maps are local. In particular, $m/m^2 = \lim m_i/m_i^2$ (colimit). Then $Z$ is cut out by a regular sequence $\underline{f} = (f_1,...,f_r)$ that spans an $r$-dimensional subspace of $m/m^2$. Then $\underline{f}$ comes from a fixed $m_j$ and spans an $r$-dimensional subspace in $m_k/m_k^2$ for all $k \geq j$. The corresponding subschemes $Z_k = Z(\underline{f}) \subset S_k$ are then regular, and induce $Z$. Maybe the non-local case follows using the openness of regular locus (under qcqs hyp.) ? – anon Mar 11 '13 at 15:11
Thank you!! It seems that I know how to reduce the general case to the local one. – Mikhail Bondarko Mar 16 '13 at 2:57
I am glad it helped! – anon Mar 17 '13 at 18:06

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.