Due to relativity, does the surface of a pulsar have less area than the layer beneath it?

Let me fully answer just the part which can be done with pen and paper: if we have a family of rigidly rotating observers in flat space-time, will the measured circumference ever be decreasing with respect to the distance from the axis of rotation? As we will see, the answer is yes, at least from the point of the rotating observers.

Because we are dealing with accelerated observers and thus, from the observers' point of view, curved space-time, I will use the tetrad formalism. The tetrads are nothing else than tiny local coordinate frames very much in the spirit of special relativity. The main idea is to have the time axis, which coincides with the observer four-velocity $u^\mu$ and then construct three "infinitesimal coordinate axes" which are 1) space-time orthogonal to the time axis, and 2) orthogonal to each other. The length of these vectors then tells us the physical lengths of lines such as the circumference.


Corotating circumference

Let us get started, flat space-time in cylindrical coordinates looks like this $$ds^2 = -dt^2 + \rho^2 d \phi^2 + d\rho^2 + dz^2$$ The rigidly rotating observers move with a coordinate angular velocity $\Omega = d\phi/dt$ which gives them a four-velocity $u^\mu = N(1,\Omega,0,0)$, where $N$ is a normalization factor equal to $N = 1/\sqrt{1-\Omega^2 \rho^2}$. The point where $\Omega \rho = 1$ is where the rigid rotation forces the observers to move at the speed of light and the rigid rotation must thus necessarily stop. (I use $c=1$ units.) We will be interested in regions below that.

Now let us construct the tetrad. Naturally, two axes are pointing in the $\rho,z$ direction and see no deformation. The one in the phi direction, however, will see a skewing and contraction. It is of the form $e_{(\phi)}^\mu = (e_{(\phi)}^t, e_{(\phi)}^\phi,0,0)$. From the condition of orthogonality to $u^\mu$ we get $$-e_{(\phi)}^t u^t + \rho^2 e_{(\phi)}^\phi u^\phi = 0$$ $$\to e_{(\phi)}^t = \rho^2 e_{(\phi)}^\phi \Omega $$ Now we have one undetermined number which is $e_{(\phi)}^\phi$. We get rid of it by requiring that the coordinate axis is normalized to one: $$e_{(\phi)}^\phi = \rho \sqrt{1 - \rho^2 \Omega^2}$$ Now we have constructed the local infinitesimal axes, but we need to specify the measurement process done by the observers to obtain the circumference.

Let's say that one member among a ring of observers at a fixed $\rho, z$ has a rope, and starts to pass it out to the others in the ring. While the rope is passed around, she measures what has been used up. Once the rope goes around the loop and comes back to her, she postulates the length needed to enclose the loop as the circumference. This circumference will be $$C_{rope} = \int_0^{2\pi} e_{(\phi)}^\phi d\phi = 2 \pi \rho \sqrt{1-\rho^2 \Omega^2}$$ If you were to construct this circumference by a more naive length-contraction special-relativistic argument, you would get the same result. $2 \pi \rho$ is just the usual radius $\rho \Omega$ is the linear velocity in the lab frame, and $\sqrt{1 - \rho^2 \Omega^2}$ is thus simply the length-contraction factor $\sqrt{1 - v^2}$.

We see that for instance at $\Omega \rho = 1$ this circumference is zero, so there is a breaking point, where the larger $\rho$ definitely means smaller circumferences. We can find this point by $dC/d\rho = 0$ as $$\rho \Omega = \frac{\sqrt{2}}{2} \approx 0.71$$ This is an interesting result - the circumferences will stop growing and start shrinking instead when rigid rotation forces you above $71 \%$ of the speed of light!


Corotating surface area

If you want to compute the surface, things get a little bit more arbitrary because you first have to answer the question of how one even defines the surface in a coordinate-independent sense. If we just use a coordinate definition with $R = \sqrt{\rho^2 + z^2}$ constant and change to spherical coordinates, we get a surface area defined similarly to the circumference above as $$S(R) = 2\pi R^2 \int_0^\pi \sin \vartheta\sqrt{1 - \Omega^2 R^2 \sin^2\vartheta} d\vartheta$$ Which, with a little help of Mathematica yields a function which also has a tipping point somewhere at $1>\Omega R > 0.9$. I.e., these surfaces will also stop growing at a certain point. However, one should remember that the part of the surfaces at the axis is rotating with small linear velocity and thus has negligible contraction in this sense; it is mainly the shrinking of the circumference around the equator which causes the halt in the growth of the surface area.

So, strictly in the sense of measurements made by observers corotating with the matter of the pulsar, this kind of "surface-shrinking" geometry is very much possible. On the other hand, if a family of static observers at the same point makes analogous measurements with a rope, they will get simply a circumference and area corresponding to the usual $2 \pi \rho$ and $4 \pi R^2$ formulas.


Astrophysical pulsars

Now for real physics. Millisecond pulsars, the fastest rotating known neutron stars, rotate once per about millisecond and are estimated to have a radius of about $10 km$. This gives us an estimate of the linear velocity at the surface as $\sim 10 000 km/s$. But this gives us $v/c \sim 0.03$ which is an order smaller than the critical "circumference-shrinking" $v/c \sim 0.71$ which we have computed in flat space-time. So, in the pulsars we know this definitely does not happen.

The question is whether pulsars where this happens could be observed in the future. The answer is that probably not. First, the high rotation is quickly relaxed by radiation mediated by the magnetic field of the neutron star (this radiation is the "pulse" in the "pulsar"). Second, even if no magnetic field is present, $v/c \sim 0.7$ at the surface is most probably above the mass-shedding limit of the neutron star, where the gravitational force is unable to work against the centrifugal force and the matter flies away.

On the other hand, at the level of bare principles, there seems to be nothing which stops us from constructing a star which rotates at such a rate that this "corotating geometry" exhibits this exotic behavior.


Some speculation on associated physical effects

The properties of the corotating geometry do not seem to necessarily have any direct effect on the observational properties of the pulsar. This is because observational properties are defined with respect to observers at rest at infinity rather than the corotating ones. For instance, the invariant mass of the pulsar is defined by projecting the stress-energy tensor into the time-like Killing vector, which is simply the time-direction of observers at infinity, and integrating over space. The charge of the pulsar is measured by external observers in a similar way so there is also no connection of the behavior of the observed charge with the special behavior of the corotating geometry.

However, the corotating geometry is important for the local dynamics of the pulsar matter. For instance, the fact that a fluid element (ideally forced to stay in corotation by various physical effects) can slowly travel "up", away from the star, and ends up contracting into a smaller circumference rather than expanding means that our intuitions abut convective stability will be broken. This can ultimately lead to the conclusion that "corotating circumference contraction" is not consistent with a convectively stable star.

Another interesting effect might arise during some "breathing" pulsations of the neutron stars, which are pulsations which contract or expand the radii on which the fluid elements move. A typical effect of a contraction of any star is the growth of magnetic fields due to magnetic-flux conservation and the fact that the magnetic fields are effectively frozen-in into the fluid elements (and thus the corotating geometry is the relevant one for our discussion). However, if we cut out a surface in the equatorial plane between two radii $\rho_1$ and $\rho_2$ above the critical "circumference-shrinking" point, then pressing the fluid elements from $\rho_1,\rho_2$ to smaller $\rho$ will generically increase rather than decrease the surface area enclosed between them. To satisfy flux conservation, the magnetic fields then have to decrease between them! In other words, the circumference-shrinking property should generically lead to counter-intuitive behaviour of magnetic fields

The study of highly rotating neutron stars is impossible analytically, and is also non-trivial numerically. Since we generally observe pulsars at rather small rotations (as compared to relativistic scales), only a handful of research groups currently invests time and effort into the realistic modelling of highly rotating neutron stars. This means that, at least to my knowledge, there are no concrete examples where a connection between these properties of the corotating geometry and associated physical effects would be investigated and documented. (But I think it would be a great topic for a master's thesis or even a part of a dissertation if anyone is interested :))