Skip to main content
1 of 2

A polynomial $f\in K[\underline Y]$ is in the kernel of your map iff $f$ is zero in the quotient $$\frac{k[X,Y]}{\bigl((X_i-X_j)Y_{i,j}-1:1\leq i<j\leq n\bigr)}.$$In other words, your kernel is the intersection of the ideal in the denominator with the ring $k[Y]$, $$\ker\varepsilon=k[Y]\cap\bigl((X_i-X_j)Y_{i,j}-1:1\leq i<j\leq n\bigr).$$This intersection is generated by the elements of a Groebner basis which only contain $Y$s, assuming you are using a monomial order which eliminates the $X$s; this is explained in the book by Cox, Little and O'Shea, for example.

Doing small examples shows that the intersection is generated by all polynomials of the form $$Y_{i,j} Y_{i,k}+ Y_{j,k}Y_{j,i}+Y_{k,i}Y_{k,j}$$ with $i$, $j$ and $k$ distinct. (I am identifying $Y_{i,j}$ with $-Y_{j,i}$ here when $i\neq j$)