\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

Lemma 10.160.5. Let $k$ be a field. Let $A$ be an algebra over $k$. Let $k = \mathop{\mathrm{colim}}\nolimits k_ i$ be a directed colimit of subfields. If $A$ is geometrically regular over each $k_ i$, then $A$ is geometrically regular over $k$.

Proof. Let $k \subset k'$ be a finite purely inseparable field extension. We can get $k'$ by adjoining finitely many variables to $k$ and imposing finitely many polynomial relations. Hence we see that there exists an $i$ and a finite purely inseparable field extension $k_ i \subset k_ i'$ such that $k_ i = k \otimes _{k_ i} k_ i'$. Thus $A \otimes _ k k' = A \otimes _{k_ i} k_ i'$ and the lemma is clear. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
{"ft_lang_label":"__label__en","ft_lang_prob":0.75657547,"math_prob":0.9966309,"size":1031,"snap":"2019-13-2019-22","text_gpt3_token_len":289,"char_repetition_ratio":0.09639727,"word_repetition_ratio":0.022099448,"special_character_ratio":0.27934045,"punctuation_ratio":0.08737864,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9995994,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-03-23T18:23:14Z\",\"WARC-Record-ID\":\"<urn:uuid:b5d13536-9b12-486c-bbfa-95e6131e024a>\",\"Content-Length\":\"15448\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:b7824434-c0a3-4dbd-9a8d-93fda2385a46>\",\"WARC-Concurrent-To\":\"<urn:uuid:930cd0a2-1a8c-4baf-80b9-9748796aa5b3>\",\"WARC-IP-Address\":\"128.59.222.85\",\"WARC-Target-URI\":\"https://stacks.math.columbia.edu/tag/07QG\",\"WARC-Payload-Digest\":\"sha1:OXGG62HEMM74VKXLTTO3PAJJQCKRRCOU\",\"WARC-Block-Digest\":\"sha1:LO75XDSMV5YAIGE2VIJG3ARYDDWMTJPM\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-13/CC-MAIN-2019-13_segments_1552912202924.93_warc_CC-MAIN-20190323181713-20190323203713-00420.warc.gz\"}"}