Some problems about arrow's theorem and social choice
Unanimity and transitivity do no imply IIA.

For example, consider the Borda-count voting mechanism. There is an example of the violation of IIA here.