I think there must be a standard answer to this, for people in the know.


Let $X\subseteq\mathbb{A}^{n}$ be an affine (closed) variety of dimension $\geq d$, and fix some set $\{f\_{i}\}\_{i}$ of polynomials defining $X$. Let $\mathcal{G}=\mathrm{Gr}(n-d,\mathbb{A}^{n})$ be the Grassmannian of $(n-d)$-dimensional linear subspaces in $\mathbb{A}^{n}$. Since a generic $L\in\mathcal{G}$ is supposed to have non-empty intersection with $X$, my question is: is there a way to describe the closure of
\begin{equation\*}
W=\{L\in\mathcal{G}|L\cap X=\emptyset\}
\end{equation\*}
as a subvariety of $\mathcal{G}$ solely in terms of the $f\_{i}$?


I would even settle for a description of any (closed) subvariety $W'\supseteq W$ inside $\mathcal{G}$, rather than $\overline{W}$ itself, as long as $\dim(W')<\dim(\mathcal{G})$.



Variety of subspaces not intersecting $X$
$L \cap X = \emptyset$ is the same as saying that $\{f\_i\} \cup \{\ell\_j\}$ has no solution, where the $\ell\_j$ are the linear functions defining $L$. By the Nullstellensatz, that's the same as saying there exist polynomials $h\_i,g\_j$ such that $\sum\_i h\_i f\_i + \sum\_j g\_j \ell\_j = 1$. By an Effective Nullstellensatz there is a bound (doubly-exponential, but still finite) on the degrees of the $h\_i,g\_j$ that can possibly be needed here. So you can treat the coefficients of the $h\_i,g\_j$ as variables, and then the preceding equation is a (really big) linear equation $Ax = b$, where the $x$ vector consists of the coefficients of $h\_i,g\_j$, there is one equation for each monomial up to the relevant degree bound, and the $b$ vector is $e\_1$ (because of the 1 on the RHS of the above equation). The values appearing in $A$ are the coefficients of the $f\_i,\ell\_j$.


So $L \cap X = \emptyset$ precisely when this big linear equation has solutions, which is to say when $e\_1$ is in the column span of $A$. The latter can be written in terms of various minors vanishing, where those minors depend only on the coefficients of the $f\_i, \ell\_j$. (1)


Now, if you treat the $\ell\_j$ themselves as variables, each such minor gives you an equation in the $\ell\_j$.


Next, one has to convert back from the description of $L$ via its equations $\ell\_j$ to a point on the Grassmannian. Local coordinates on the Grassmannian $G(k,n)$ are essentially given by the entries of a $k \times n$ matrix (with each chart determined by requiring that a fixed $k \times k$ submatrix is full rank), where the corresponding subspace is the rowspan of this matrix. Let $\mathcal{L}$ be the matrix with columns being the $\ell\_j$; then the matrix $M$ corresponding to the space $L$ is just the left kernel of $\mathcal{L}$. So we get the equations $M \mathcal{L} = 0$. (2)


Finally, since we want the $\ell\_j$ themselves to be variables, we have the equations (1) and (2) with the $\ell\_j$ as variable, and then project onto the coordinates of $M$, and this should be the variety you want. Note that the only part here that requires anything like Gröbner bases is this projection step - the rest is pretty straightforward from the coefficients of the $f\_i$.


