Hi!


I am looking for notions of general position that are stronger than linear general position.


To illustrate, 3 points in linear general position don't lie on a line. I want a notion that would claim that 6 points in general position don't lie on a quadric.


To be more specific: Assume I have an ideal $I$ in $\mathbb{C}[x\_1,\dots,x\_n]$ with a set of generators $p\_1,\dots,p\_k$. Assume the degrees of the generators are $d\_1,\dots,d\_k$ respectively, I would like to claim that no $f(n,d\_1,\dots,d\_k)$ points in general position are the common roots of $I$.


Restrictions $I$ can be made (for example it comes for a parametrized family etc.).


Is anyone familiar with a "general position" notion that captures this intuition? Can anyone refer me to a discussion on notions of "general position" that are close or related to such a notion?



Strong notions of general position
The defining equation of a degree $d$ hypersurface in $\mathbb P^n$ has $n+d\choose d$ coefficients and hence these hypersurfaces may be parametrized by a projective space of dimension ${n+d\choose d} -1$. Picking a point to be contained by the hypersurface is a linear equation on the coefficients of these defining equations so any set of ${n+d\choose d} -1$ points is contained in at least one such hypersurface, but a set of $n+d\choose d$ points in general position is not. 


If you take $n=2$ and $d=1$ you get that $3$ points in general position do not lie on a line, if you take $d=2$, then you get that $6$ points in general position do not lie on a quadric, etc.


As far as the definition of "in general position" goes, in this situation, one could say that a set of points is in general position if they impose independent conditions on the coefficients of the defining equations.


More generally, you can consider any parameter space of any type of subobjects of any fixed variety/scheme/space. Containing a point of this fixed space will impose a condition on the parameter space. You can define points being in general position with respect to the type of subobjects you're considering by requiring that the conditions they impose on the parameter space are independent.


