Skip to content

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

Einstein–æther gravity couples the metric to a dynamical unit timelike vector. The vector selects a local rest frame without sacrificing spacetime diffeomorphism invariance, and its derivative couplings mix metric and æther perturbations into spin-2, spin-1, and spin-0 sectors. The central calculation is therefore not merely to count a vector field: it is to derive the characteristic speeds and kinetic signs of the coupled, constrained system and to identify which gravitational constant a laboratory actually measures.

Required background. Frames, Tetrads, and Spinors supplies orthonormal frames and local Lorentz decompositions used to define the æther rest frame.

Helpful background. Einstein Equations supplies the metric field equation; Gravitational Actions and Boundary Terms supplies the gravitational variational problem; Formulations of General Relativity separates constraints from evolution; and Gravity Beyond General Relativity locates this theory among alternative gravitational actions.

We use the site convention (−,+,+,+)(-,+,+,+), c=ℏ=kB=1c=\hbar=k_B=1, and explicit GaeG_{\mathrm{ae}}. The æther satisfies uaua=−1u^a u_a=-1, matter couples minimally to gabg_{ab}, and the two-derivative action is

S=116πGae∫d4x −g[R−Kabmn∇aum∇bun+λ(uaua+1)]+Sm[g,ψ],S=\frac{1}{16\pi G_{\mathrm{ae}}}\int d^4x\,\sqrt{-g}\left[ R-K^{ab}{}_{mn}\nabla_a u^m\nabla_b u^n +\lambda(u^a u_a+1)\right]+S_m[g,\psi],

with

Kabmn=c1gabgmn+c2δmaδnb+c3δnaδmb−c4uaubgmn.K^{ab}{}_{mn}=c_1g^{ab}g_{mn}+c_2\delta^a_m\delta^b_n +c_3\delta^a_n\delta^b_m-c_4u^a u^b g_{mn}.

The four cic_i are dimensionless. The multiplier equation enforces the unit constraint, while variation of uau^a and gabg_{ab} gives coupled second-order equations. Jacobson writes the review action with signature (+,−,−,−)(+,-,-,-) and u2=+1u^2=+1; the expressions above translate the whole package—Einstein–Hilbert sign, unit constraint, c4c_4 term, and index contractions—rather than changing u2u^2 alone. Compare Jacobson 2008, §1, Eqs. (1.1)–(1.2), PDF.

The combinations that recur are

c13=c1+c3,c14=c1+c4,c123=c1+c2+c3.c_{13}=c_1+c_3,\qquad c_{14}=c_1+c_4,\qquad c_{123}=c_1+c_2+c_3.

No direct æther–matter coupling is included. That assumption fixes the metric light cone as the matter cone and makes comparisons of mode speeds meaningful; changing the matter metric changes the physical interpretation even if a field redefinition simplifies the vacuum action.

Linearize about the asymptotically flat æther-rest branch,

gab=ηab+hab,ua=(1,0,0,0)+va,g_{ab}=\eta_{ab}+h_{ab},\qquad u^a=(1,0,0,0)+v^a,

and use Fourier modes ei(k⋅x−ωt)e^{i(\mathbf{k}\cdot\mathbf{x}-\omega t)}. The norm condition gives −2v0+h00=0-2v^0+h_{00}=0, hence v0=h00/2v^0=h_{00}/2; it is not an independent wave amplitude. Diffeomorphism constraints remove gauge data. Five physical polarizations remain: two spin-2, two spin-1, and one spin-0. Solving the coupled principal equations gives

s22=11−c13,s12=2c1−c12+c322c14(1−c13),s02=c123(2−c14)c14(1−c13)(2+c13+3c2).\begin{aligned} s_2^2&=\frac{1}{1-c_{13}},\\ s_1^2&=\frac{2c_1-c_1^2+c_3^2}{2c_{14}(1-c_{13})},\\ s_0^2&=\frac{c_{123}(2-c_{14})} {c_{14}(1-c_{13})(2+c_{13}+3c_2)}. \end{aligned}

These are speeds relative to the æther rest frame, not relative to an arbitrary coordinate grid. They reproduce Jacobson 2008, §4, Eqs. (4.1)–(4.3), PDF and the direct plane-wave calculation in Jacobson and Mattingly 2004, §§II–III and Table I, PDF. A sector with speed sIs_I has characteristic covectors satisfying

[gab+(1−sI−2)uaub]kakb=0.\left[g^{ab}+(1-s_I^{-2})u^a u^b\right]k_a k_b=0.

In the rest frame this becomes −ω2/sI2+k2=0-\omega^2/s_I^2+\mathbf{k}^2=0, an immediate sign check on the effective inverse metric. Each sector therefore has its own cone. A positive sI2s_I^2 rules out a short-wavelength exponential instability on this background, but it does not by itself establish positive energy, nonlinear stability, or well-posedness on another branch.

The quadratic energies supply a separate test. In this convention their signs agree with the invariant statements in Jacobson 2008, §4, immediately after Eqs. (4.4)–(4.6), PDF: the spin-2 energy is positive after choosing the usual gravitational sign; the spin-1 sign follows (2c1−c12+c32)/(1−c13)(2c_1-c_1^2+c_3^2)/(1-c_{13}); and the spin-0 sign follows c14(2−c14)c_{14}(2-c_{14}). Denominators that vanish do not describe ordinary propagating modes and require a fresh constraint analysis.

The mode count can be seen without trusting a field-component tally. Decompose habh_{ab} and vav^a into irreducible representations of spatial rotations about the constant æther. In the tensor sector, the transverse-traceless spatial metric supplies two amplitudes. In the vector sector, the transverse æther perturbation mixes with the transverse metric shift; the shift equation is a constraint, leaving two amplitudes. In the scalar sector, the norm condition first fixes v0v^0, while the lapse, longitudinal shift, and nondynamical scalar combinations impose the remaining constraints; one scalar amplitude survives. Thus the physical count is 2+2+1=52+2+1=5. The polarizations and the constraint relation are displayed explicitly in Jacobson and Mattingly 2004, §III, Eqs. (38)–(45), PDF.

This derivation assumes nonzero denominators and a flat, constant-æther background. Its exceptional hypersurfaces are physically informative. At c14=0c_{14}=0, generic æther speeds diverge because the relevant æther time derivatives disappear from the linear equations. At c123=0c_{123}=0, the scalar loses its ordinary spatial propagation. At c13=1c_{13}=1, the spin-2 kinetic coefficient vanishes. These are changes in constraint or principal-symbol rank, not harmless endpoints obtained by substituting into a formula derived away from them. Jacobson and Mattingly 2004, end of §III, PDF discusses the c14=0c_{14}=0 and other special cases.

The boundary and approximation regime also matter. The calculation uses vacuum plane waves on all of Minkowski space with physical wave numbers below the cutoff of the two-derivative effective action. A curved or time-dependent æther background makes the kinetic matrices position dependent, and higher-spatial-derivative operators can dominate at sufficiently large wave number. The three constants above are therefore infrared characteristic speeds of this branch, not universal ultraviolet front velocities.

The spin-2 result can be checked without solving the scalar and vector constraints. Keep only hijTTh_{ij}^{\mathrm{TT}}, with ∂ihijTT=hiiTT=0\partial_i h_{ij}^{\mathrm{TT}}=h_{ii}^{\mathrm{TT}}=0, and set h0μ=vμ=0h_{0\mu}=v^\mu=0. Then ∇iuj=h˙ijTT/2\nabla_i u_j=\dot h_{ij}^{\mathrm{TT}}/2 at first order. The c1c_1 and c3c_3 terms therefore change the time-derivative coefficient, while the expansion and acceleration terms vanish. Up to boundary terms,

S2(2)=164πGae∫d4x[(1−c13)h˙ijTTh˙ijTT−∂khijTT∂khijTT].S_2^{(2)}=\frac{1}{64\pi G_{\mathrm{ae}}} \int d^4x\left[ (1-c_{13})\dot h_{ij}^{\mathrm{TT}}\dot h_{ij}^{\mathrm{TT}} -\partial_kh_{ij}^{\mathrm{TT}}\partial_kh_{ij}^{\mathrm{TT}} \right].

Its equation is (1−c13)h¨ijTT−∇2hijTT=0(1-c_{13})\ddot h_{ij}^{\mathrm{TT}}-\nabla^2h_{ij}^{\mathrm{TT}}=0, giving the quoted s22s_2^2. For Gae>0G_{\mathrm{ae}}\gt0, 1−c13>01-c_{13}\gt0 also makes the tensor kinetic term positive. This illustrates why a wave speed is a ratio of gradient and kinetic coefficients, not a coupling read directly from the action.

The Newton constant and two limiting checks

Section titled “The Newton constant and two limiting checks”

The constant multiplying the action is not the Cavendish constant. On the weak-field, static, asymptotically flat branch, the modified Poisson equation may be written

(1−c142)∇2Φ=4πGaeρ,\left(1-\frac{c_{14}}{2}\right)\nabla^2\Phi=4\pi G_{\mathrm{ae}}\rho,

so

GN=Gae1−c14/2.G_N=\frac{G_{\mathrm{ae}}}{1-c_{14}/2}.

This is Jacobson 2008, §2, Eq. (2.1), PDF. Dimensions check: GNG_N and GaeG_{\mathrm{ae}} both have mass dimension −2-2, while the correction is dimensionless. With Gae>0G_{\mathrm{ae}}\gt0, attractive finite Newtonian gravity on this branch requires c14<2c_{14}\lt2.

Two limits diagnose the calculation. First, setting the couplings to zero gives GN→GaeG_N\to G_{\mathrm{ae}} and s2→1s_2\to1, recovering the GR tensor sector. The vector and scalar formulas become path-dependent ratios such as c123/c14c_{123}/c_{14}: the extra modes do not generically approach free, canonically normalized particles when every kinetic coefficient vanishes. Thus “ci→0c_i\to0” is a controlled GR limit for metric observables only after sources, normalization, and strong-coupling scales are specified.

Second, the field redefinition gab′=gab+(1−ζ)uaubg'_{ab}=g_{ab}+(1-\zeta)u_a u_b rescales all vacuum mode cones together. It cannot erase a speed difference relative to matter if matter remains minimally coupled to the original gabg_{ab}. This distinguishes a change of variables from a change of physical matter coupling.

Reading GaeG_{\mathrm{ae}} as the measured Newton constant. The æther contributes already in the static constraint. Use GN=Gae/(1−c14/2)G_N=G_{\mathrm{ae}}/(1-c_{14}/2) before comparing with a gravitational observable.

Treating real speeds as complete viability. Real sIs_I test only a specified linearized branch. Energy signs, constraint degeneracies, Cherenkov kinematics, strong coupling, and nonlinear evolution remain independent questions.

Changing only the norm sign. Translating a (+,−,−,−)(+,-,-,-) source by writing u2=−1u^2=-1 while retaining its remaining action signs changes the theory. Translate the complete sign package and rederive one rest-frame dispersion relation.

For c1=0.10c_1=0.10, c2=0.04c_2=0.04, c3=−0.02c_3=-0.02, and c4=0.03c_4=0.03, compute the three squared speeds and GN/GaeG_N/G_{\mathrm{ae}}. What can and cannot be concluded from the result?

Solution

The useful combinations are c13=0.08c_{13}=0.08, c14=0.13c_{14}=0.13, and c123=0.12c_{123}=0.12. Hence

s22=10.92≃1.087,s_2^2=\frac1{0.92}\simeq1.087, s12=0.20−0.010+0.00042(0.13)(0.92)≃0.796,s_1^2=\frac{0.20-0.010+0.0004}{2(0.13)(0.92)} \simeq0.796,

and

s02=(0.12)(1.87)(0.13)(0.92)(2.20)≃0.853.s_0^2=\frac{(0.12)(1.87)}{(0.13)(0.92)(2.20)} \simeq0.853.

Also GN/Gae=1/(1−0.065)≃1.070G_N/G_{\mathrm{ae}}=1/(1-0.065)\simeq1.070. All three squared speeds are positive, so the frozen-coefficient modes have real frequencies on this Minkowski branch. The spin-1 and spin-0 modes are subluminal relative to minimally coupled matter, which activates the Cherenkov question studied later. These numbers alone do not prove positive energy, nonlinear stability, or acceptable empirical bounds.

  • Jacobson, T. “Einstein-æther gravity: a status report.” Proceedings of Science QG-PH (2007) 020. DOI. Open PDF.
  • Jacobson, T., and D. Mattingly. “Einstein-Aether Waves.” Physical Review D 70 (2004) 024003. DOI. Open PDF.