The Zariski closure of semialgebraic subsets of complex varieties (Q582344)

If R is a real closed field, \(C=R(\sqrt{-1})\) its algebraic closure then the set X(C) of C-rational points of a C-variety X is a semialgebraic space [in the sense of \textit{H. Delfs} and \textit{M. Knebusch}, ``Locally semialgebraic spaces'', Lect. Notes Math. 1173 (1985; Zbl 0582.14006)]. This is based on the identification \(C=R^{2n}\). If \(S\subset X(C)\) is a semialgebraic subset then \(\bar S^ Z\) denotes the Zariski closure of S in X. The paper is concerned with relations between the semialgebraic dimension of S and the Krull dimension of \(\bar S^ Z\). In general the inequalities \(1/2 \cdot \dim (S\leq \dim (\bar S^ Z)\leq \dim (S)\) hold. If S is a Nash submanifold of \(X(C)\) then \(\dim(\bar S^ Z)\) is expressed in terms of the tangent bundles of S and of X.