Monday, 19 June 2006

ag.algebraic geometry - How to prove that a projective variety is a finite CW complex?

The Lojasiewicz theorem says that every semi-algebraic subset of $mathbf{R}^n$ can be triangulated. Moreover, there is a similar statement for pairs of the form (a semi-algebraic set, a closed subset). See e.g. Hironaka, Triangulations of algebraic sets, Arcata proceedings 1974 and references therein (including the original paper by Lojasiewicz).



The case of an arbitrary (not necessarily quasi-projective) complex algebraic variety follows from Nagata's theorem (every variety can be completed) and Chow's lemma (every complete variety can be blown up to a projective one).

No comments:

Post a Comment