Relativistic superfluid models for rotating neutron stars

This article starts by providing an introductory overview of the theoretical mechanics of rotating neutron stars as developped to account for the frequency variations, and particularly the discontinuous glitches, observed in pulsars. The theory suggests, and the observations seem to confirm, that an essential role is played by the interaction between the solid crust and inner layers whose superfluid nature allows them to rotate independently. However many significant details remain to be clarified, even in much studied cases such as the Crab and Vela. The second part of this article is more technical, concentrating on just one of the many physical aspects that needs further development, namely the provision of a satisfactorily relativistic (local but not microscopic) treatment of the effects of the neutron superfluidity that is involved.