Mathematics doesn't always translate directly to physics.
That statement might sound odd to a mathematician, but consider this: even if you believe that physics is nothing but mathematics, that makes physics a subset of mathematics ... which means that there'll be other mathematics that lies outside that subset, that doesn't correspond cleanly to real-world physical theory. The key (for a physicist) is to know which is which.
That's not to say that "beauty equals truth" isn't a good working assumption in mathematical physics – it is – the problem is that the aesthetics of the two subjects are different, and mathematical beauty doesn't necessarily correspond well to physical truth. The physicist's concept of beauty is often different to that of the mathematician.
The "beauty equals truth" idea is often used as an argument for special relativity. SR uses the Lorentz relationships, and to a mathematician, it can sometimes seem that these are such beautiful equations that a system of physics that incorporates them has to be correct.
But the Lorentz relationships can also appear in bad theories, as a consequence of rotten initial starting assumptions:
Our Moon is tidally locked to the rotation of the Earth, so that it always shows the same face to us, and we always see the same circular image, with the same mappable features. Now suppose that a 1600's mathematician has a funny turn and decides that it's so outrageously statistically improbable that the moon would just coincidentally just happen to have an orbit that results in it presenting the same face to us at all times, that something else is going on. Our hypothetical "crazy mathematician" might decide that since we always see the same disc-image of the Moon, that perhaps, (mis)applying Occam's Razor, it really IS a flat disc.
Our mathematician could start examining the features on the Moon's surface, and discover a trend whereby circular craters appear progressively more squashed towards the disc's perimeter. We'd say that this shows that we're looking at one half of a sphere, but our mathematician could analyse the shapes and come up with another explanation. It turns out that, in "disc-world" the distortion corresponds to an apparent radial coordinate-system contraction within the disc surface. For any feature placed at a distance r from the disc centre, where R is the disc radius, this radial contraction comes out as a ratio of 1 : SQRT[1 - rr/RR ] .
In other words, by treating the Moon as a flat disc, we'd have derived the equivalent of the Lorentz factor as a ruler-contraction effect! :)
Our crazy mathematician could then go on and use that Lorentz relationship as the basis of a slew of good results in group theory and so on. They could argue that local physics works the same way at all points on the disc surface, because the disc's inhabitants can't "see" their own contraction, because their own local reference-rulers are contracted, too. Our mathematician could arguably have advanced faster and made better progress by starting with a bad theory! So "bad physics" sometimes generates "good" math, and sometimes the worse the physics is, the prettier the results.
The reason for this is that, sometimes, real physics is a bit ... boring. If we screw physics up, the dancing pattern of recursive error corrections sometimes generates more fascinating structures than the more mundane results that we'd have gotten if we simply got the physics right in the first place.
Sometimes these errors are self-correcting and sometimes they aren't.
If we considered the Earth as flat, then, because it's possible to map a flat surface onto a sphere (the Riemann projection), it'd still be theoretically possible to come up with a complete description of physics that worked correctly in the context of an infinite rescaled Flat Earth. We'd lose the inverse square law for gravity, but we'd gain some truly beautiful results, that would allow, say, a lightbeam aimed parallel to one part of the surface to appear to veer away. We'd end up with a more subtle, more sophisticated concept of gravitation than we'd tend to get using more "sane" approaches, and all of those new insights would have to be correct. In fact, studying flat-Earth gravity might be a good idea! We'd eventually end up deriving a mathematical description that was functionally identical to the physics that we'd get by assuming a sphericial(ish) Earth ... it'd just take us longer. Once our description was sufficiently advanced, the decision whether to treat the Earth as "really" flat or "really" spherical would simply be a matter of convenience.
But with the "moon-disc" exercise, we don't have a 1:1 relationship between the physics and the dataset that we're working with, and as a result, although the moon-disc description gets a number of things exactly right, the model fails when we try to extend it, and we have to start applying additional layers of externally-derived theory to bring things back on track.
For instance, the "disc" description breaks down at (and towards) the Moon's apparent horizon. For the disc, the surface stops at a distance R from the centre, and there's a causal cutoff. Events beyond R can't affect the physics of the disk, because there's no more space for those events to happen in. The horizon represents an apparent causal limit to surface physics. But in real life, if the Moon was a busier place, we'd see things happening in the visible region that were the result of events beyond the horizon, and observers wandering about near our horizon would see things that occur outside our map. So if we were to use statistical mechanics to model Moon activity, and were to say that the event-density and event-pressure have to be uniform (after normalisation) at all parts of the surface, then statistical mechanics would force us to put back the missing trans-horizon signals by giving us "virtual" events whose density increased towards the horizon, and whose mathematical purpose was to restore the original event-density equilibrium. In disc-world, we'd have to say that the near-edge observer sees events in all directions, not because information was passing through (or around) the horizon, but because of the disc-world equivalent of Hawking radiation.
So in the disc description, the telltale sign that we're dealing with a bad model is that it generates over-idealised horizon behaviour that can't describe trans-horizon effects, and which needs an additional layer of statistical theory to make things right again. In the "moon-disc" model, we don't have a default agreement with statistical mechanics, and we have to assume that SM is correct, divide physics artificially into "classical" and "quantum" systems, and retrofit the difference between the two predictions back onto the bad classical model – as a separate QM effect, as the result of particle pair-production somewhere in front of the horizon limit – to explain how information seems to appear "from nowhere" just inside the visible edge of the disc.
Clearly, in the Moon-disc exercise this extreme level of retrofitting ought to tell our hypothetical crazy mathematician that things have gone too far, and suggest that the starting assumption of a flat surface was simply bad ...
... but in our physics, based on the early assumption of flat spacetime, and generating the same basic mathematical patterns, we ran into a version of exactly the same problem: Special relativity avoided the subject of signal transfer across velocity-horizons by arguing that the amount of velocity-space within the horizon was effectively infinite (you could never reach v=c), but when we added gravitational and cosmological layers to the theory, the "incompleteness problem" with SR-based physics showed up again. GR1915 horizons were too sharp and clean, and didn't allow outward flow of information, so to force the physics to obey more general rules, we had to reinvent an observable counterpart to old-fashioned transhorizon radiation as a separate quantum-mechanical effect.
So the result of this sanity-check exercise is a little humbling. We can demonstrate to our hypothetical 1600's "crazy mathematician" that the Moon is NOT flat, no matter how much pretty Lorentz math that generates, and we can use the horizon exercise to show them that their approach is incomplete. By assuming that their model is wrong, we correctly anticipate the corrections that they'd have to make from other theories in order to fix things up. That ability to predict where a theory fails and needs outside help is the mark of a superior system, and shows that the "Flat-Moon" exercise isn't just incomplete, it generates results that are physically wrong, and that don't self-correct. It's faulty physics.
But the same characteristic failure-pattern also shows up in our own system, based on special relativity. So have we made a similar mistake?
