Return to Revisions

Take a local basis $e_1,e_2$ for $E$, and then get a local basis $E_0=e_1^{2n}, E_1=e_1^{2n-1}e_2, \dots, E_{2n}=e_2^{2n}$ for $S^{2n}E$. If we scale $e_1$ by $a_1$ and $e_2$ by $a_2$, we scale $E_j$ by $a_1^{2n-j}a_2^j$. So we scale $E_0 \wedge \dots \wedge E_{2n}$ by $a_1^p a_2^p$ where $p=0+1+2+\dots+2n=(2n+1)n$. But in $S^{2n}E \otimes \det E^{\otimes -n}$, we replace each $E_j$ by something with an extra $a_1^{-n}a_2^{-n}$, say $E'_j = E_j \otimes (e_1 \wedge e_2)^{-\otimes n}$ scales by $a_1^{n-j} a_2^{j-n}$. So $E_0' \wedge \dots \wedge E_{2n}'$ scales by $a_1^p a_2^p$ where $p=n+(n-1)+\dots+(-n+1)+(-n)=0$. So $S^{2n}E \otimes \det E^{\otimes -n}$ has local section $E_0' \wedge \dots \wedge E_{2n}'$ invariant under these rescalings. It is easy to see that it is also invariant under adding multiples of $e_2$ to $e_1$ and vice versa, because of the wedge products, so that gives us invariance of our section under all linear transformations of $e_1$, $e_2$ with coefficients locally defined holomorphic functions. But then any two such sections must agree on overlaps, since the sections of $E$ will agree up to linear transformations.