# Separated prevarieties and schemes

As it is shown in "Goertz,Whedorn - Algebraic geometry I" there is an equivalence of categories between the category of prevarieties over $k$ (field algebraically closed) and the category of integral schemes of finite type over $k$. Now the fibered product of schemes, coincides with the classical product of prevarieties, so I ask if the following proposition is true:

A prevariety $X$ over $k$ is a variety in the classical setting (i.e. the diagonal is closed in $X\times X$) if and only if $X$ is separated as scheme over $k$.

Moreover I ask if there is an equivalence of categories between:

1. varieties over $k$ as separated prevarieties in the "classical setting" (closedness of the diagonal in $X\times X$)
2. separated,integral schemes of finite type over $k$

Let $k$ be an algebraically closed field and let $X,Y$ be two integral schemes of finite type over $k$. Let $f : X \to Y$ be a morphism over $k$. Then $f$ is a closed embedding if and only if $f(k) : X(k) \to Y(k)$ is a closed embedding, where we endow $X(k)$ (and also $Y(k)$) with the structure of a classical variety.
The usual arguments show that we may assume that $X$ and $Y$ are affine. If $f$ is a closed immersion, then $f$ induces $X \cong V(I)$ for some ideal $I \subseteq k[Y]$. It is prime, since $X$ is a variety. But then also $X(k) \cong V(I)(k) \stackrel{!}{=} V(k)(I)$, where $V(k)$ denotes the "classical" zero set in $Y(k)$. Hence, $f(k)$ is a closed embedding. Conversely, assume that $f(k) : X(k) \to Y(k)$ is a closed embedding. Then there is an ideal $I \subseteq k[Y]$ such that $X(k) \cong V(k)(I) = V(I)(k)$. Since $X$ is a variety, $I$ is prime, hence $V(I)$ is an integral scheme. Since $X \mapsto X(k)$ is an equivalence of categories, the isomorphism lifts to a unique isomorphism of schemes $X \cong V(I)$. It commutes with the maps to $Y$, since this is the case after applying the equivalence. Hence, $f$ is a closed embedding.
{"ft_lang_label":"__label__en","ft_lang_prob":0.8815868,"math_prob":0.9999347,"size":766,"snap":"2020-24-2020-29","text_gpt3_token_len":191,"char_repetition_ratio":0.14173229,"word_repetition_ratio":0.048780486,"special_character_ratio":0.2232376,"punctuation_ratio":0.07194245,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000075,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-07-11T05:53:29Z\",\"WARC-Record-ID\":\"<urn:uuid:e3d517df-fc08-4648-8b4f-391dba202c7e>\",\"Content-Length\":\"148695\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:059dba98-5195-43ce-8792-e5f3e5e0c91c>\",\"WARC-Concurrent-To\":\"<urn:uuid:094448dd-871b-4f9b-b16c-f5a4350bf77a>\",\"WARC-IP-Address\":\"151.101.65.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/614164/separated-prevarieties-and-schemes\",\"WARC-Payload-Digest\":\"sha1:BG5ZZEYYYG4JJTM6PEUOTBIU2B4KABFT\",\"WARC-Block-Digest\":\"sha1:5YARJL3MRNOHYTJEYOAFLDBTVCMJWOQG\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-29/CC-MAIN-2020-29_segments_1593655921988.66_warc_CC-MAIN-20200711032932-20200711062932-00306.warc.gz\"}"}