Let $X$ be a projective variety of dimension $r$ in $\mathbb P^n_k$ , where $n>r+1$ and $k$ is an algebraically closed field. Then, can we always find a projective variety $Y$ (depending on $X$ of course) of dimension $n-r-1$ in $\mathbb P^n_k$ such that $X$ and $Y$ has empty intersection ?
Since it is known that for projective varieties $X,Y$ in $\mathbb P^n_k$ , we always have $\dim X\cap Y\ge \dim X +\dim Y-n$ and $X\cap Y$ is nonempty if this quantity is non-negative, so my question asks if this bound is sharp ...
Yes, this is true, and you may find a suitable linear $\Bbb P^{n-r-1}$ by repeatedly projecting.
Ingredients:
Recipe:
Project $X$ from $p$ to $\Bbb P^{n-1}$. If the image of $X$ under this projection is $\Bbb P^{n-1}$, then $X$ was of dimension $n-1$ and the point $p$ suffices. If not, we can find another point $p_1$ in $\Bbb P^{n-1}$ not in the projection of $X$ and a $\Bbb P^{n-2}\subset \Bbb P^{n-1}$ not containing $p_1$, and project from $p$ to $\Bbb P^{n-2}$.
If the image of $X$ under this projection is $\Bbb P^{n-2}$, then $X$ was of dimension $n-2$ and the preimage of $p_1$ under the projection to $\Bbb P^{n-1}$ is a line in $\Bbb P^n$ not intersecting $X$, which works. If not, we can find another point $p_2$ in $\Bbb P^{n-2}$ not in the projection of $X$, and repeat the process.
Eventually, when we're projecting on to a linear subspace of dimension $\dim X$ we'll find that we get that the image of $X$ under this composite projection is all of the $\Bbb P^{\dim X}$ and the preimage in $\Bbb P^n$ of the last point we projected from is a linear subspace of dimension $n-r-1$ which doesn't intersect $X$.