bahamagreen said:
Rather than disappear, don't they get squashed closer?
Not in any invariant sense, no. See below.
bahamagreen said:
If that is what "geometrically" means, does it mean that what we might locally believe are spherical (protons, neutrons, s-orbitals, equal potential radius from point charge, etc...) are thought to be existentially flattened in the direction of travel for length contracted objects?
No, because the geometry in question is spacetime geometry, not spatial geometry. When we call an object "spherical" we mean that a spacelike slice of it in our rest frame is spherical; but that's obviously frame-dependent, i.e., it depends on how you take a spacelike slice of the object.
The *spacetime* geometry of the object, OTOH, is invariant, and there are invariant ways of determining whether or not the individual atoms in the object are being "squashed closer". The general method is called the "kinematic decomposition", and is described on Wikipedia here:
http://en.wikipedia.org/wiki/Congru...atical_decomposition_of_a_timelike_congruence
The expansion scalar is the particular piece of the kinematic decomposition that tells whether the object is being "squashed" in an invariant sense; in the case we have been discussing (a rigid rod moving inertially), the expansion scalar is zero, indicating that the rod is not being squashed or stretched at all.
bahamagreen said:
If so, how is this understood with respect to the physical laws holding good in all IRFs?
Physical laws must always be expressible in terms of invariants, like the expansion scalar, not frame-dependent quantities like the spatial geometry of an object. That's why they hold good in all IRFs.
bahamagreen said:
If the shape of the s-orbital, for example, is observed to be a serverly contracted to an oblate spheroid, yet the observed c is constant in all directions from the center of that spheroid, doesn't that envoke a change to the laws describing the shape of the orbital
Atomic orbitals are a bad choice of example here, because the theory that is used to derive their shapes is non-relativistic; AFAIK there is no relativistic version of it.
But I think what you're really focusing on doesn't depend on any particular feature of atomic orbitals, so let's use a simpler example: a light source and a "spherical" detector, where "spherical" means "in a frame in which the light source and the detector are both at rest, the detector is perfectly spherical, and the light source is at its exact center". See further development of this example below.
bahamagreen said:
if c got "contracted" as well it might all work out fine in proportion, but with c invarient, don't the laws have to be changed when the local spherical things are observed at speed to be contracted along one axis?
No. If we look at an invariant description of the light source and detector in my example above, what we will have is a set of worldlines describing a certain geometric object in spacetime (not space!). What invariant properties do these worldlines have?
Well, we know one property at the outset: light rays emitted at some instant by the light source in all directions will strike the detector simultaneously in the frame in which the source and the detector are all at rest (call this frame O). As I've just stated the property, it doesn't sound invariant, but we can remedy that easily: we simply pick out the events at which the light rays strike each individual piece of the detector, and call that set of events set D. Set D is then a geometric object in spacetime, most easily described as the intersection of two other geometric objects: the future light cone of the emission event at the light source (call this event E), and a particular spacelike slice which is orthogonal to the light source's worldline (and all the detector worldlines too, of course). And if we look at the spatial geometry of set D (i.e., its geometry as seen in the spacelike slice that picks it out), it will be spherical.
Now, suppose we are moving relative to the light source and detector. What does the detector "look like" in our rest frame? Well, first of all, we realize that that question requires the use of a *different* spacelike slice, one that's orthogonal to our worldline, not the light source/detector worldlines. And the intersection of this slice with the family of worldlines describing the detector will give us a *different* set of points in spacetime, set D'. And the spatial geometry of *this* set of points, in the spacelike slice we are using now, will *not* be spherical; it will be an ellipsoid with its shorter axis in the direction of motion.
But also, notice that set D' does *not* describe a set of events at which light rays from the source strike the detector! It can't, because that set of events is set D, *not* set D'. In other words, in the moving frame, the detector is ellipsoidal, not spherical, but also light rays from the source do not all strike the detector at the same time. *That* is how c can be the same in the moving frame even though the detector is length contracted.
This is a good illustration of the fact that length contraction is not a fundamental concept in relativity; i.e., you can't use length contraction, by itself, to analyze a scenario, or you will make mistakes. Whenever there is length contraction present, you also have to take into account relativity of simultaneity (and possibly time dilation as well) in order to do a correct analysis. This is a big reason why I prefer the spacetime approach: the correct analysis is just geometry, but *spacetime* geometry, not spatial geometry.