Suppose $k,k'$ are fields such that $k\subset k'$ and $x_1,x_2,...,x_n,t$ are indeterminates over $k'$. Suppose we have a homomorphism of rings given by $f:k[x_1,x_2,...,x_n]\to k[t]$, where $$x_1\to f_1(t)$$ $$x_2\to f_2(t)$$ $$\vdots$$ $$x_n\to f_n(t)$$ Let the kernel of this map be $I$.
What can be said about the kernel $I'$ of the map $f':k'[x_1,x_2,...,x_n]\to k'[t]$, where restriction of $f'$ to $k[x_1,...,x_n]$ is $f$ (note this completely determines $f'$ since it determines its action on the indeterminates).
The ideal $I$ represents the "ideal of relations" for the polynomials $f_1,...,f_n$. So it seems there may be a compact description for $I'$ in terms of the generators of $I$.
In particular what can we say when $k=\mathbb{Q}$ and $k'=\mathbb{C}$. This case is important because Macaulay2 can compute kernels of such maps when the field of coefficients is $\mathbb{Q}$. So we can use those results to compute the kernels of such maps when the field is $\mathbb{C}$. (For the same reasons what can be said when $k$ is a finite field?)