3
$\begingroup$

Consider a real algebraic set $A\subseteq\mathbb{R}^n$. The case I am interested in is a homogeneous cone (i.e., if $x\in A$ then also $\lambda x\in A$ for each scalar $\lambda>0$) where each stratum is contained in the closure of the higher-dimensional one, as in the case of the determinantal variety. Let $U\subseteq\mathbb{R}^n$ be a connected component of the complement $\mathbb{R}^n\setminus A$ such that $A$ is contained in the closure of $U$. Consider a path $\alpha$ in $A$ of finite length; say, a length-minimizing path for the induced metric. Can one always push $\alpha$ slightly into $U$ without increasing its length by more than $\epsilon$?

The relevant hypothesis here seems to be the local path-connectedness of the subset $A\subseteq\mathbb{R}^n$. I would appreciate a reference if possible particularly in the case of the real determinantal variety.

$\endgroup$
9
  • $\begingroup$ Can I ask for a clarification of "push $\alpha$ slightly into $U$"? I guess this means you also want the distance between $\alpha$ and the pushed curve $\alpha'$ to be less than some other given bound. (Otherwise one could just translate $\alpha$ into $U$ without changing its length.) $\endgroup$ Apr 19, 2016 at 10:31
  • $\begingroup$ How would you do that? @potentially $\endgroup$ Apr 19, 2016 at 10:33
  • $\begingroup$ I am just talking about the case when $A$ is a cone. Then $U$ is also a cone, i.e preserved under multiplication by positive reals. In particular $U$ contains open balls of arbitrary radius, e.g. twice the diameter of $\alpha$. Translate $\alpha$ to a curve $\alpha'$ that passes through the centre of such a ball; then $\alpha$ is contained in $U$, and has the same length as $\alpha$. Am I understanding the question correctly? $\endgroup$ Apr 19, 2016 at 10:38
  • $\begingroup$ No, here "homogeneous cone" means that if $x\in A$ then also $\lambda x\in A$ for each scalar $\lambda>0$. @potentially $\endgroup$ Apr 19, 2016 at 11:10
  • 1
    $\begingroup$ Actually there are counterexamples for arbitrary algebraic sets. Take the union of the $z$-axis with the $xy$-plane. A segment $[-1,1]$ on the $z$-axis cannot be pushed out at all. One can easily mimick this to produce examples where it can be pushed out but the length is not controlled. @ACL $\endgroup$ Apr 19, 2016 at 16:57

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.