Independence of Intertwinors from Semistandard Tableaux
Indeed, let’s index the semistandard generalized tableaux as . We will take our reference tableau and show that the vectors are independent. This will show that the are independent, since any linear dependence between the operators would immediately give a linear dependence between the for all .
Anyway, we have
Since we assumed to be semistandard, we know that for all summands . Now the permutations in do not change column equivalence classes, so this still holds: for all summands . And further all the are distinct since no column equivalence class can contain more than one semistandard tableau.
But now we can go back to the lemma we used when showing that the standard polytabloids were independent! The are a collection of vectors in . For each one, we can pick a basis vector which is maximum among all those having a nonzero coefficient in the vector, and these selected maximum basis elements are all distinct. We conclude that our collection of vectors in independent, and then it follows that the intertwinors are independent.