Separations and collapses in computational social choice and complexity theory