3
$\begingroup$

Let $I$ be a small filtered category. Let $F\colon I \rightarrow CRng$ be a functor, where $CRng$ is the category of commutative rings. We write $A_i = F(i)$ for $i \in I$, $A =$ colim $A_i$. Let $X$ be a scheme of finite presentation over $A$. Then there exist an element $0 \in I$ and a scheme $X_0$ of finite presentation over $A_0$ such that $X = X_0\times_{A_0} A$?

  • 0
    @QiL "As the answer to your question is already in EGA with full details, I don't see why to present a proof here." Perhaps I would agree if it was written in English. Anyway, a sketch of the proof is welcome.2012-12-29

0 Answers 0