2
$\begingroup$

Suppose the symmetric group $S_2$ of order 2 acts on $k^4=Spec \;k[x_1, x_2, y_1, y_2]$ by the following: for $\sigma\not=e$, $\sigma\circ(x_1, x_2, y_1, y_2)=(x_2,x_1,y_2,y_1).$

That is, the nontrivial element in $S_2$ swaps the indeterminants $x_1$ and $x_2$, and $y_1$ and $y_2$, simultaneously.

Let $k[x_1, x_2,y_1, y_2]^{\epsilon}$ denote the vector subspace of $k[x_1, x_2,y_1, y_2]$ consisting of $S_2$-alternating polynomials, and let $k[x,y]\wedge k[x,y]$ denote the $2^{nd}$ exterior power of the vector space $k[x,y]$ of polynomials in $2$ variables.

Then how is $k[x_1, x_2,y_1, y_2]^{\epsilon}$ identified with $k[x,y]\wedge k[x,y]$?

$\mathbf{Examples}:$ Some examples of polynomials in $k[x_1, x_2,y_1, y_2]^{\epsilon}$ include the following: $g_1 = x_1-x_2,\; g_2= x_1-x_2+y_1-y_2, \;\mbox{ and } \;g_3 = (x_1 + x_2)(x_1-x_2)$

since $g_i(x_2,x_1,y_2,y_1)=-g_i(x_1,x_2,y_1,y_2)$. This basically means when you swap the $x_i$'s and the $y_i$'s, the polynomial only changes by a sign.

At the moment, this identification is not obvious to me.

$ $

1 Answers 1

1

Hints:

  • We have an isomorphism $A:=k[x_1,x_2,y_1,y_2]\cong k[x_1,y_1]\otimes_k k[x_2,y_2]=B$.
  • The action $\tau:A\to A:p\mapsto -\sigma p$ is a vector space homomorphism.
  • The action of $\tau$ on $B$ is generated by $p(x_1,y_1)\otimes q(x_2,y_2)\mapsto -q(x_1,y_1)\otimes p(x_2,y_2)$.
  • If $\varphi\in \mathrm{End}(V)$ is a linear map, $V/\mathrm{Im}(I-\varphi)\cong \mathrm{Ker}(I-\varphi)= V_1$, where $V_1$ is the eigenspace corresponding to the eigenvalue $1$ (i.e. the fixed points of the transformation).

(I'm going on the definition that $\bigwedge^2 V:= V\otimes V/I$, where $I$ is the subspace spanned by those elements of the form $v\otimes w+w\otimes v$ with $v,w\in V$.)

  • 1
    No and no. :) We want $p\mapsto -\sigma p$, because then the fixed points of this action are the $S_2$-alternating polynomials (when speaking on $A$). On $B$, it suffices to check where $\tau$ sends the *pure* tensors $p(x_1,y_1)\otimes q(x_2,y_2)$, which correspond to the separable polynomials $p(x_1,y_1)q(x_2,y_2)$ in $A$ ...2012-06-16