Let $f\in\mathbb{C}[x_1,\dots,x_n]$, and let $V(f)$ denote the vanishing locus. Is it true that for large enough $N$, there is a homotopy equivalence $$\mathbb{C}^n\setminus V(f)\simeq B(0,N)\setminus V(f),$$ where $B(0,N)=\{|x|<N\}$.
$\begingroup$
$\endgroup$
6
-
4$\begingroup$ This is more generally true for semialgebraic subsets of $\mathbf R^n$ and follows from the fact that they are conical at infinity (see Bochnak, Coste, Roy: Real algebraic geometry, Corollary 9.3.7, p. 225) $\endgroup$– Johannes HuismanCommented Dec 8, 2018 at 20:15
-
$\begingroup$ @JohannesHuisman Thank you for the answer, I will look up the statement in the book. $\endgroup$– user2520938Commented Dec 9, 2018 at 1:33
-
1$\begingroup$ @JohannesHuisman This does indeed answer my question. If you want you write this as an answer and I will accept it. $\endgroup$– user2520938Commented Dec 10, 2018 at 13:10
-
$\begingroup$ OK, thank you. No need to write it as an answer, I think. $\endgroup$– Johannes HuismanCommented Dec 11, 2018 at 8:41
-
1$\begingroup$ @JohannesHuisman It is recommended to convert your comment to an answer in this situation, so that the question does not remain on the "unanswered" list. $\endgroup$– Neil StricklandCommented Dec 11, 2018 at 19:11
|
Show 1 more comment
1 Answer
$\begingroup$
$\endgroup$
This is more generally true for semialgebraic subsets of $\mathbf R^n$ and follows from the fact that they are conical at infinity (see Bochnak, Coste, Roy: Real algebraic geometry, Corollary 9.3.7, p. 225)
