let be a finite field of size n, and let P be the set of all planes in (meaning affine subspaces of dimension 2).
. also A is a function that assigns to each s in S a degree d polynomial over s, such that if s, s' are two non parallel planes in S then on the intersection .
I need to show that there is a polynomial Q of degree 2d on such that for each
what I tried to do is take d parallel planes in S (which I can find using the pigeonhole principle) and use interpolation over them to find Q. now, for each plane s the isn't parallel to them, it intersect them in d*n points. if then I could use the Shwartz Zippel theorem to show that , but all I know is that the degree is at most 2d, and not d.
another idea, is to find 2d parallel plane, and to interpolate over d of them, and somehow show that the polynomial agrees on the other planes as well, but I don't know how to do that. the Q polynomial from above is d degree over all plane parallel to the planes that were in the interpolation, so maybe this could help