Relation between total orbital angular momentum and symmetry of the wavefunction My question essentially revolves around multi-electron atoms and spectroscopic terms.  I understand the idea that the total wavefunction for Fermions should be antisymmetric.  Consider as an example, the $2p^2$ electrons in a partially filled p shell; that is, the outer shell of Carbon.  The two electrons both have $l=1$, and hence total orbital angular momentum takes the values:
$L = L1+L2, L1+(L2-1),...,|L1-L2| = 0,1,2$
and 
$S = 0,1$
I can sort of intuitively see that $L=2$ must refer to a symmetric spatial wavefunction and hence an antisymmetric spin wavefunction.  I can handwave and say that for $L=2$, we must have $m_{l1}=m_{l2}=\pm1$ and hence they must have opposing spin to satisfy PEP which gives S=0 - but I'm not sure how to express that in terms of an actual wavefunction and it seems to be a bit of a circular argument.  However, I don't see why $L=1$ must have $S=1$ (a triplet) and $L=0$, $S=0$ (another singlet). 
Can anyone shed some light on this?
Thanks!
 A: Dear Josh, the wave functions are only perfectly symmetric and/or perfectly antisymmetric - each of the factors is - in the case of two particles. As Fabian correctly says, for more than 2 particles, the wave function isn't perfectly symmetric and isn't perfectly antisymmetric with respect to particular transpositions of the two particles. The general character of the wave function's behavior is given by a Young diagram.
That's why what you want to be proved can only be proved for two particles. In the text below, I will therefore assume that there are just two electrons. What you want to be proved is that if the total $L=L_1+L_2$ of the two electrons is even, the wave function is even under the exchange of the two electrons, and it's odd if $L$ is odd.
It's not hard to see. By rotational symmetry, the states with a given value of $L$ form a multiplet with $2L+1$ components because $L_z$ may go from $-L$ to $+L$ with the spacing one. Without the loss of generality, you may focus on the wave function with the maximum value of $L_3$, namely $L_z=L$.
To get this maximum value, you need $L_z=L_{z,1}+L_{z,2}$ to be composed of two equally maximal, equally oriented terms. Because $L_{z,1}$ and $L_{z,2}$ also go between $-L_1$ and $+L_1$, or similarly between $-L_2$ and $+L_2$, it's clear that the only way to get $L_z=L$ is to have $L_{z,1}=L_1$ and $L_{z,2}=L_2$: both $z$-components must be maximum, too. But if it is so, then the wave function is simply
$$ \psi_{L_3=L} = \psi_{L_{z,1}=L_1} \otimes \psi_{L_{z,2}=L_2} $$
For $L_1=L_2$, you can easily see that this wave function has to be symmetric under the permutation of $1$ and $2$. After all, it is the tensor product of the two equal pieces. If you antisymmetrized it, you would get zero. And in fact, the total wave function cannot have any complete symmetry or complete antisymmetry under the exchange of the particles $1,2$ if $L_1\neq L_2$. It's because $L_1^2$ acting on the total wave function gives you $L_1(L_1+1)$ times the wave function, while $L_2^2$ acting on the total wave function gives you $L_2(L_2+1)$. Because the two eigenvalues are not equal for $L_1\neq L_2$, the total wave function can't be symmetric under the exchange of $1,2$.
Again, the question about the symmetry of the orbital wave function only has a sharp answer is there are two particles and if they have the same $L_1=L_2$ - and in that case, the function is symmetric under the permutation.
Similarly, one can prove that the exchange of the two particles with the same half-integer spins $S_1=S_2$ produces a minus sign - assuming that $S_1=S_2$ differs from an integer by $1/2$. To do such things, it's useful to imagine that the components of the multiplet with a given $J$ are organized into a symmetric spintensor.
All the $2J+1$ components of the multiplet with the angular momentum $J$ may be expressed as a completely symmetric "tensor" with 2-valued spinor indices,
$$ T_{abc\dots z} $$
Each index is either $0$ or $1$. The number of ones goes from $0$ to the number of indices $N$ - so there are $N+1$ components of this tensor.
Because each index brings $1/2$ to the total angular momentum, it's clear that the number of indices is $N=2J$. Indeed, then we have $N+1=2J+1$ components.
If there were pairs of indices that are antisymmetric with respect to the exchange of the two indices, one could factorize $\epsilon_{ab}$, a totally antisymmetric object. So only the total symmetry is relevant for our simplest case. Now, the spintensor for an angular momentum $J=J_1+J_2$ object may be written as the symmetrization of
$$ T_{abc\dots z} = T^{1}_{(abc\dots m} T^{2}_{nop\dots z)} $$
where the parentheses represent the complete symmetrization - because the multiplet is represented by the totally symmetric tensor, as we said. The tensors $T^1$ and $T^2$ correspond to the $J_1$ and $J_2$ pieces.
However, if the total angular momentum $J$ differs by an odd number from its maximum value $J_1+J_2$, like in the case of the singlet where $J_1=J_2=1/2$ but $J=0$, then we must factorize those epsilons.
$$ T_{abc\dots z, \,\,{\rm missing\,\,}{mn}} = T^{1}_{(abc\dots l} T^{2}_{op\dots z)} \epsilon^{mn} $$
The epsilon was added to the right hand side to reduce the number of indices by two - i.e. the total spin by one. Because the epsilon is antisymmetric, it changes the symmetry of the whole $T$ under the exchange of the two groups of indices. Each time you reduce the total $J$ by one, the symmetry property changes from symmetry to antisymmetry or vice versa. So the sign obtained from the permutation is given, for $J_1=J_2$, by $(-1)^{J-J_1-J_2}$.
It's also useful to know that the orbital wave functions of a single particle that can be expressed as spherical harmonics $Y_{lm}$ pick the factor of $(-1)^{l}$ under parity i.e. the factor of $(-1)^{l+m}$ under $\theta\to\pi-\theta$.
