We study nonlinear income taxation in a Roy model in which agents' productivity is sectorspecific. We show that when income taxes can be sector-specific, the Diamond-Mirrlees theorem (according to which the second-best displays production efficiency) fails: social welfare (be it Rawlsian or...

This paper studies the design of couples' income taxation. Consumption and labor supply decisions within the couple are made by maximizing a weighted sum of the spouses’ utilities; bargaining weights are given but specific to each couple. The information structure and labor supply decisions...