Completeness and compactness for varieties over a local field (Q882542)

Let \(K\) be a local field (i.e. topological field that is locally compact) and \(k\) be any subfield of \(K\). In this paper the author gives the characterization of completeness of arbitrary variety \(X\) defined over \(k\). This characterization is given in terms of strong compactness (i.e. compactness in the strong topology) of \(X(K')\), where \(K'\) goes over all finite field extensions of \(K\) and \(X(K')\) means the set of \(K'\)-rational points of \(X\). Namely, the author shows that \(X\) is complete if and only if \(X(K)\) is strongly compact for every finite extension \(K'|K\) of fields. As the author mentioned this result was know for the specialists, but in the literature there was a gap concerning the proof of the result. The main tools of the proof are: Chow's Lemma, Implicit Function Theorem and the result of Nagata about embedding of variety in a complete one.