lightlightsup said:
TL;DR Summary: I understand how relativistic length contraction leads to electrostatic forces on a moving charge next to a current-carrying wire. But, shouldn't this lead to forces on a static charge too?
If I understand this correctly, then, well, shouldn't all current-carrying wires exhibit a small amount of positive charge?
It depends. Typically, a current carrying wire is set up to be uncharged (electrically neutral) in the lab frame. There are an equal number of positive and negative charges overall, and the charge density of positive and negative charges is uniform, so any small piece of wire will be uncharged.
In a frame moving near a charged wire, though, this needs to be modified. It's best to consider a current loop, because charge needs to flow in a closed loop. While the total number of charges will be constant, independent of the frame of reference, the same is not true for the distribution of the charges and the charge density.
So - while total charge of a system is frame- invariant, the density of charge, the amount of charge contained in a unit volume, is not frame-invariant.
If you have a pair of wires carrying current in opposite directions in a current loop, for instance, a current loop that is presumed to be electrically neutral in the lab frame, one side of the loop will have a higher density of positive charges in the moving frame, so a small volume of the wire will have a positive charge density in that frame, while the other side of the loop will have a higher density of negative charges, in the moving frame. The total charge remains constant as you change frames, it is just distributed differently.
This can be regarded a a consequence of the relativity of simultaneity in Special Relativity. This causes much confusion, unfortunately, but it's internally self-consistent. It's just a bit weird.
This general treatment is usually attributed to Purcell, and there are various people who have various things they don't like about Purcell's original treatment, including the fact that Purcell treats an idealized wire which doesn't get into the precise details of how the charges in an actual wire are distributed, so Purcell's treatment is over-simplified.
Mathematical treatments of the problem can vary, but they usually point out that charge density and current density, usualy symbolized by ##\rho## and j form a mathematical entity which is known as a 4-vector. Then there is an idenity that ##c^2 \rho^2 - j^2## is an invariant, much like ##c^2 dt^2 - dx^2##. This may not be helpful if one is not already familiar with 4-vectors, however, which are usually introduced in the concept of space-time intervals, though they can also be applied to electromagnetics.