= Solution
The <strong equivalence principle> asserts universality of free fall, including gravitational self-energy, and local independence of nongravitational and gravitational experiments from a freely falling laboratory's location and velocity. In a sufficiently small <local inertial frame>, uniform gravitational acceleration is removed and local physics takes its special-relativistic form. The <Riemann curvature tensor> remains measurable through tidal effects; a finite laboratory is not made exactly flat. Freely falling test bodies follow <geodesics>, clocks measure <proper time>, and minimally coupled light follows <null geodesics> in <geometrical optics>. Local nongravitational laws retain their special-relativistic form even when different laboratories observe <gravitational redshift>.
The <comma-to-semicolon prescription> replaces flat partial derivatives by the <Levi-Civita connection>, and the <Minkowski metric> by the curved <metric tensor>. It implements this local correspondence for minimally coupled matter. However, an identity obtained by commuting partial derivatives need not survive unchanged when they become <covariant derivatives>.
Raising the indices of the field-strength definition in flat spacetime gives $F^{ab}=\partial^aA^b-\partial^bA^a$. Substitution into the sourced <Maxwell equations> yields
$$
\partial_b\partial^aA^b-\partial_b\partial^bA^a=-\mu_0J^a,
$$
so the first potential equation is
$$
\boxed{\Box A^a-\partial_b\partial^aA^b=\mu_0J^a.}
$$
Partial derivatives commute, giving the second form
$$
\boxed{\Box A^a-\partial^a(\partial_bA^b)=\mu_0J^a.}
$$
No <Lorenz gauge> assumption was used.
Apply the <comma-to-semicolon prescription> before commuting derivatives. The two candidate left-hand sides become
$$
\mathcal P_1^a=\nabla_b\nabla^bA^a-\nabla_b\nabla^aA^b,\qquad
\mathcal P_2^a=\nabla_b\nabla^bA^a-\nabla^a(\nabla_bA^b).
$$
Use the cover curvature $C$ from Question 1, with $C_{ab}=C^c{}_{acb}$. The vector commutator is $[\nabla_c,\nabla_d]A^a=-C^a{}_{bcd}A^b$. Hence
$$
\nabla_b\nabla^aA^b-\nabla^a\nabla_bA^b=-C^a{}_bA^b,
\qquad
\boxed{\mathcal P_1^a=\mathcal P_2^a+C^a{}_bA^b.}
$$
This is the <derivative-order ambiguity in covariant Maxwell potential equations>. At a point in <Riemann normal coordinates>, the connection itself vanishes but its derivatives need not; the <strong equivalence principle> does not dispose of this curvature term by a coordinate choice.
Covariantizing the antisymmetric field strength and its <Maxwell equations> directly gives $\mathcal P_1^a=\mu_0J^a$, or
$$
\boxed{\Box A^a-\nabla^a(\nabla_bA^b)+C^a{}_bA^b=\mu_0J^a.}
$$
This formulation has <gauge invariance> under $A_a\mapsto A_a+\nabla_a\chi$, since $F_{ab}$ is unchanged. In contrast, the uncorrected $\mathcal P_2$ acquires $-C^a{}_b\nabla^b\chi$ under that transformation. Thus preserving the original electromagnetic <gauge symmetry> singles out the directly covariantized <Maxwell equations>, rather than treating the two potential equations as interchangeable in matter. The <equivalence principle> alone is not a unique recipe for every possible higher-derivative or curvature coupling.
In a Ricci-flat <vacuum spacetime>, $C_{ab}=0$, so $\mathcal P_1=\mathcal P_2$ and this particular ambiguity disappears even though the full <Riemann curvature tensor> may be nonzero. This uses vacuum with zero <cosmological constant>; an Einstein vacuum with nonzero cosmological constant is not Ricci flat.
For the terrestrial estimate, the relevant effect is Ricci curvature inside matter, not merely the tidal field outside the Earth. If a typical material density is $\rho\sim5\,\mathrm{g\,cm^{-3}}$, the <Einstein field equations> give a characteristic scale
$$
|C^a{}_b|\sim8\pi G\rho\sim9\times10^{-27}\,\mathrm{cm^{-2}}.
$$
For a field varying over scale $L$, the derivative terms are $O(A/L^2)$ whereas the disputed term is $O(CA)$. Their relative size is $O(CL^2)$: about $10^{-22}$ for a metre-scale experiment. Even substituting the Earth's radius gives only
$$
CL^2\big|_{L=R}\sim(9\times10^{-27})(6\times10^8)^2\sim3\times10^{-9}.
$$
A curvature length comparable to $C^{-1/2}\sim10^{13}\,\mathrm{cm}$ would be needed for an order-one effect. \b[In principle non-vacuum measurements could distinguish different curvature couplings, but an ordinary terrestrial laboratory has an exceedingly small signal], overwhelmed by its ordinary electromagnetic response to matter. This is a practical scale estimate, not a theorem that an arbitrarily precise experiment is impossible.
Back to article page
