Canonical Quantization of the Biquaternion Graviton Field

Introduction

The graviton is the quantum of the metric's deviation from flatness: the massless spin-two field of the linearized Einstein theory. As a classical field equation the linearized Einstein equation belongs to the companion subcategory on the relativistic theory of higher spins; the present article takes that equation as given and develops the canonical quantization of the field in the biquaternion framework: the gauge symmetry and the constraint structure, the count of physical polarizations, the transverse-traceless mode expansion, the commutators, the Fock space, and the propagator.

The framework's account of the graviton is the cleanest illustration of how it builds a higher-spin field. The graviton's carrier is the symmetric trace-free square of the material vector, and its decomposition is the framework's own:

$$ \left(V\odot V\right)_{\text{sym}} = 0\oplus 2 , \qquad 6 = 1+5 , $$

so that the symmetric square of the material triplet contains a scalar (the trace) and a spin-two piece, and the trace removal leaves the spin-two carrier of dimension five. This is the same construction that produced the spin-one field (the material vector $V$ itself, dimension three) and the spin-$\tfrac32$ field (the material vector tensored with the spinor, with the $\gamma$-trace removed); the graviton is the case in which the material vector is tensored with itself, symmetrized, and made traceless. The three articles together are the framework's uniform account of the spin content of this subcategory.

The article is organized as follows. The linearized field and its gauge symmetry are stated, and the gauge-invariant content is identified. The degrees of freedom are counted: ten components of a symmetric tensor, four removed by the gauge, four more by the constraints, leaving the two transverse-traceless polarizations; the transverse-traceless projector is constructed, its idempotency, its trace and its action on the gauge and trace modes are verified, and the rank count confirms the dimension two. The canonical quantization is then carried out: the mode expansion, the commutators, the Fock space, and the bosonic statistics. The propagator, the gauge fixing with its vector ghosts, and the coupled theory are recorded, the biquaternion reading of the symmetric square is developed, and the article closes with the accounting of what the algebra supplies and what is imported.

Companion article Canonical Quantization of the Biquaternion Maxwell Field, for the massless gauge field and the subsidiary condition that the graviton's covariant quantization parallels.
Companion article The Gauge Principle in Biquaternionic Form, for the gauge transformation and the covariant derivative.
Companion article The Spin–Statistics Theorem in Biquaternionic Form, for the bosonic statistics of integer-spin fields.
Companion article The Dirac Equation in Biquaternionic Form, for the Clifford metric $g$ and the spinor carrier used in the spin-$\tfrac32$ comparison.

Conventions. The algebra is $\mathbb{B}=\mathbb{C}\otimes_\mathbb{R}\mathbb{H}$ with basis $e_0=1,e_1,e_2,e_3$, $e_k^2=-e_0$, $e_je_k=-\delta_{jk}e_0+\varepsilon_{jkl}e_l$, central $i$, material sector $\mathbb{M}_-$ and informational sector $\mathbb{M}_+$. The vector part of the material sector is $V=\mathrm{span}_\mathbb{R}\{e_1,e_2,e_3\}$, carrying the spin-one adjoint action; $\odot$ denotes the symmetric product, and the trace is taken with the algebra's bilinear form $\langle\cdot,\cdot\rangle=\mathrm{Sc}(\cdot\,{}^{\natural})$. The graviton field is the small perturbation of the metric, $g_{\mu\nu}=\eta_{\mu\nu}+h_{\mu\nu}$ with $|h_{\mu\nu}|\ll1$, and the coupling that multiplies its source is $\kappa^2=16\pi G$; the coordinate metric is the $ict$ metric $\eta=\mathrm{diag}(-1,+1,+1,+1)$, and the Clifford metric of the companion Dirac article is $g=\mathrm{diag}(+1,-1,-1,-1)$, its negative; the index algebra of the linearized theory follows $\eta$ throughout. The d'Alembertian is $\Box=\tilde{\nabla}\tilde{\nabla}^{\natural}=\partial_{ict}^2+\Delta$, natural units are used, and $T_{\mu\nu}$ denotes the matter energy–momentum tensor.

The Linearized Field and Its Gauge Symmetry

The Field and the Quadratic Action

The linearized theory is the expansion of the Einstein–Hilbert action to second order in the perturbation. With $g_{\mu\nu}=\eta_{\mu\nu}+h_{\mu\nu}$, the action is

$$ S = \frac12\int d^4x\left(\partial_\mu h_{\nu\rho}\partial^\mu h^{\nu\rho} -2\partial_\mu h^{\mu\nu}\partial^\rho h_{\nu\rho} +2\partial_\mu h^{\mu\nu}\partial_\nu h -\partial_\mu h\partial^\mu h\right), $$

with $h=\eta^{\mu\nu}h_{\mu\nu}$ the trace, and the field equation is the linearized Einstein equation

$$ \Box h_{\mu\nu}-2\partial_{(\mu}\partial^\rho h_{\nu)\rho}+\partial_\mu\partial_\nu h -\eta_{\mu\nu}\left(\Box h-\partial^\rho\partial^\sigma h_{\rho\sigma}\right) = -\kappa^2\,T_{\mu\nu} . $$

The equation is the linearization of the Einstein equation about flat space, and its solutions are the gravitational waves.

The Gauge Symmetry

The linearized theory is invariant under the gauge transformation

$$ h_{\mu\nu}\;\longmapsto\;h_{\mu\nu}+\partial_\mu\xi_\nu+\partial_\nu\xi_\mu , $$

with $\xi_\mu$ an arbitrary vector field. The transformation is the linearization of a diffeomorphism, and it is the spin-two analogue of the abelian gauge transformation: the parameter is a vector rather than a scalar, and the field shifts by its symmetric gradient. The gauge-invariant content of the linearized field is the linearized Riemann tensor

$$ R_{\mu\nu\rho\sigma} = \tfrac12\left(\partial_\nu\partial_\rho h_{\mu\sigma}+\partial_\mu\partial_\sigma h_{\nu\rho} -\partial_\nu\partial_\sigma h_{\mu\rho}-\partial_\mu\partial_\rho h_{\nu\sigma}\right), $$

which is invariant under the shift because the shift is a gradient, and which is the field strength of the graviton. The trace-reversed field $\bar{h}_{\mu\nu}=h_{\mu\nu}-\tfrac12\eta_{\mu\nu}h$ simplifies the equation, and the de Donder (harmonic) gauge $\partial^\mu\bar{h}_{\mu\nu}=0$ reduces it to the wave equation $\Box\bar{h}_{\mu\nu}=-\kappa^2 T_{\mu\nu}$, exactly as the Lorentz gauge reduces the Maxwell equation.

The Gauge Symmetry as Coordinate Freedom

The graviton's gauge symmetry has a reading that the vector case does not share. The parameter $\xi_\mu$ is the infinitesimal displacement of a coordinate transformation, $x^\mu\mapsto x^\mu+\xi^\mu$, so that the transformation of $h_{\mu\nu}$ is not a symmetry of a physical field but a relabeling of the coordinates: two tensor fields related by the shift describe the same geometry. The gauge redundancy is therefore the statement that the metric's components overcount the geometry by the freedom to choose coordinates, and the equivalence principle — the statement that the gravitational field can be transformed away locally — is the physical content of the redundancy.

The framework's reading is that the gauge parameter is a material vector: the coordinate displacement lies in the same representation as the field's indices, and the transformation is the symmetric gradient of that vector. This is the structural difference from the vector field's gauge symmetry, whose parameter is a scalar function, and from the non-abelian case, whose parameter is a Lie-algebra element; for the graviton the parameter and the field live in the same material representation, which is why the gauge structure is the one of diffeomorphisms rather than of an internal group. What the framework does not supply is the interpretation: that the redundancy is coordinate freedom, and that it is the equivalence principle, are imported statements about gravity, not algebraic consequences.

The Residual Gauge and the Physical Content

The de Donder gauge does not exhaust the gauge freedom: transformations with $\Box\xi_\mu=0$ preserve it, and the residual gauge can be used to remove further components. The physical content is what survives both the gauge and the constraints, and it is identified most cleanly in the transverse-traceless decomposition, to which the next section turns.

The Count of Degrees of Freedom

The Component Count

A symmetric tensor $h_{\mu\nu}$ has ten independent components. The gauge transformation $h_{\mu\nu}\mapsto h_{\mu\nu}+\partial_\mu\xi_\nu+\partial_\nu\xi_\mu$ removes four, the four components of $\xi_\mu$, leaving six. The field equation is second order and the gauge conditions are the constraints that remove four more on shell — the four components of the de Donder condition, one of which is the Hamiltonian constraint and three of which are the momentum constraints — leaving

$$ 10-4-4 = 2 $$

physical polarizations. These two are the transverse-traceless modes: transverse to the propagation direction and traceless, the two helicities $\pm2$ of the graviton.

The Transverse-Traceless Projector

The projection is performed by the transverse-traceless projector. For a wave vector $\mathbf{k}$ with transverse metric $\theta_{ij}=\delta_{ij}-\hat{k}_i\hat{k}_j$, the projector on symmetric spatial tensors is

$$ P_{ij,kl} = \tfrac12\left(\theta_{ik}\theta_{jl}+\theta_{il}\theta_{jk}\right)-\tfrac12\,\theta_{ij}\theta_{kl} , $$

and it has the defining properties

$$ P^2 = P , \qquad \mathrm{tr}\,P = 2 , \qquad P_{ij,kl}\left(k_k\xi_l+k_l\xi_k\right) = 0 , \qquad P_{ij,kl}\,\delta_{kl} = 0 , $$

idempotent, of trace two, and annihilating both the pure-gauge modes $k_i\xi_j+k_j\xi_i$ and the trace mode $\delta_{ij}$. All four properties were verified on the six-dimensional space of symmetric $3\times3$ tensors, with the wave vector along the third axis, to machine precision. The rank of the space spanned by the pure-gauge modes and the trace was computed to be four, so that the transverse-traceless complement has dimension

$$ 6-4 = 2 , $$

in agreement with the component count. The two explicit polarizations, $\varepsilon^{+}_{ij}=\hat{x}_i\hat{x}_j-\hat{y}_i\hat{y}_j$ and $\varepsilon^{\times}_{ij}=\hat{x}_i\hat{y}_j+\hat{y}_i\hat{x}_j$, were verified to be fixed points of the projector — transverse, traceless, and spanning the two-dimensional space.

The Biquaternion Form of the Count

In the framework the carrier is the symmetric square of the material triplet, $V\odot V$, of dimension six, and the trace with the bilinear form removes the spin-zero singlet:

$$ V\odot V = 0\oplus 2 , \qquad 6 = 1+5 . $$

The spin-two piece has dimension five, which is $2s+1$ at $s=2$; it is the carrier of the massive graviton of the Fierz–Pauli theory. The gauge symmetry of the massless theory then removes the three components of helicity $\pm1$ and $0$ that the five-dimensional carrier contains, leaving the two helicities $\pm2$. The framework's count is therefore: symmetric square six, trace removal one, leaving five; gauge removal three, leaving two. The first step is algebraic — it is the trace removal with the algebra's bilinear form — and the second is the gauge structure, exactly as in the vector and Rarita–Schwinger cases. The component count of the preceding paragraph, $10-4-4=2$, is the same statement written in spacetime indices; the framework's version organizes it by the decomposition of the tensor product rather than by the labels of the components.

Helicity and the Massless Little Group

The masslessness of the graviton is what fixes the number two, and the reason is the representation theory of the little group. A massless particle's momentum is left invariant by the Euclidean group of the plane transverse to it, $\mathrm{ISO}(2)$, and the unitary representations of that group are labelled by a single number, the helicity $h$, together with a continuous label that a physical, local field must set to zero. For a field of a given Lorentz type the allowed helicities are finite in number, and for a field that is single-valued — one that returns to itself after a rotation by $2\pi$ — the helicity is an integer.

The material vector $V$ is a three-dimensional representation of the rotation group, and under the massless little group it decomposes into the helicities $+1$, $-1$ and $0$, the third being the longitudinal component. The graviton's carrier, the symmetric square $V\odot V$, decomposes correspondingly into

$$ V\odot V \;\to\; h=+2,\;+1,\;0,\;-1,\;-2 , $$

with the $\pm1$ and $0$ components being the lower helicities that the tensor product contains. The gauge symmetry of the massless theory removes the $\pm1$ and $0$ states, leaving the $\pm2$ of the graviton; the trace removal of the framework's decomposition has already removed the spin-zero singlet, and the gauge removes the rest. The same logic gives the photon's two helicities $\pm1$ from the material triplet, with the $0$ removed, and the Rarita–Schwinger field's $\pm\tfrac32$ from the tensor product with the spinor, with the $\pm\tfrac12$ removed. The framework's decomposition of the carrier is therefore the representation-theoretic statement of the helicity content, and the gauge symmetry is what reduces it to the two extreme helicities.

The helicity argument also shows why the massless count is two and not more, and why it is two for every spin: a massless field of helicity $s$ has the two states $\pm s$, and any field of higher tensor rank that contains $s$ necessarily contains lower helicities as well, which the gauge must remove. The graviton is the case $s=2$, and its two polarizations are the two helicities of the massless spin-two representation. For the massive field the little group is the full rotation group, the states are the $2s+1$ of the spin-$s$ representation, and there is no gauge symmetry to remove anything; this is the representation-theoretic origin of the counts of the vector and Rarita–Schwinger cases, and it is what the framework's decompositions reproduce.

Canonical Quantization

The Transverse-Traceless Mode Expansion

In the transverse-traceless gauge the field carries only the two physical modes, and its expansion is

$$ h_{ij}^{\mathrm{TT}}(x) = \int\frac{d^3p}{(2\pi)^3}\frac{1}{\sqrt{2E_p}} \sum_{r=+,\times}\left[ a_r(\mathbf{p})\,\varepsilon^{r}_{ij}(\hat{\mathbf{p}})\,e^{-ip\cdot x} + a_r^\dagger(\mathbf{p})\,\varepsilon^{r*}_{ij}(\hat{\mathbf{p}})\,e^{+ip\cdot x} \right] , $$

with $E_p=|\mathbf{p}|$ for the massless field, $\varepsilon^{r}_{ij}$ the two transverse-traceless polarization tensors normalized by $\varepsilon^{r}_{ij}\varepsilon^{s*}_{ij}=\delta^{rs}$, and the polarizations orthogonal to the momentum and traceless. The two polarizations are the two helicities $\pm2$, related by a rotation of $45^\circ$, and the sum over $r$ is the sum over them.

Commutators and the Fock Space

The graviton is a boson, and the field is quantized with commutators:

$$ \left[a_r(\mathbf{p}),\,a_s^\dagger(\mathbf{q})\right] = (2\pi)^3\,\delta_{rs}\,\delta^{(3)}(\mathbf{p}-\mathbf{q}) , \qquad \left[a_r(\mathbf{p}),\,a_s(\mathbf{q})\right] = 0 . $$

The Fock space is built by acting on the vacuum with $a_r^\dagger$, and each application adds a graviton of momentum $\mathbf{p}$ and helicity $r$. The statistics is bosonic because the spin is integer: the framework's account of the spin–statistics relation is the subject of the companion article on the theorem, and it applies here with $s=2$, so the commutators are the ones above and not anticommutators. The equal-time commutator of the field operators is the transverse-traceless projection of the naive one, in the same way that the Rarita–Schwinger anticommutator was the projected one.

The Non-Transverse States and the Gauge Fixing

Covariant quantization cannot use the transverse-traceless gauge, because that gauge is not manifestly Lorentz covariant. In a covariant gauge the field has ten components, and the non-transverse and trace modes are removed by the gauge structure: the de Donder condition $\partial^\mu\bar{h}_{\mu\nu}=0$ and the trace condition are imposed as constraints, and the indefinite-metric states that the covariant expansion introduces are removed by the subsidiary condition, as in the vector case. The gauge fixing requires Faddeev–Popov vector ghosts — one anticommuting vector field, in the vector representation of the gauge algebra, in contrast to the abelian vector case where the determinant is a constant and there are no ghosts. The BRST structure is the standard one, with the gauge parameter a vector; the ghost and antighost are vector fields, and the physical states are the ghost-number-zero cohomology.

The Constraints and the Canonical Structure

In the canonical formulation the linearized theory is a constrained system, and the constraints are the field equations with no time derivatives — the Hamiltonian and momentum constraints of the linearized Arnowitt–Deser–Misner analysis. They are first class, and they generate the gauge transformations: the momentum constraint generates the spatial diffeomorphisms and the Hamiltonian constraint generates the time reparametrizations. Their first-class character is the canonical statement of the gauge symmetry, and it is the graviton's counterpart of the first-class constraint structure of the massless vector and the massless Rarita–Schwinger field.

The quantization therefore proceeds as for any first-class system. One introduces a gauge-fixing condition — the de Donder condition or a transverse-traceless condition — and the Faddeev–Popov determinant, or one imposes the constraints on the states as subsidiary conditions, $\hat{H}|\mathrm{phys}\rangle=\hat{H}_i|\mathrm{phys}\rangle=0$, in the manner of the Gupta–Bleuler treatment of the vector field. Either route removes the non-physical states and leaves the two transverse-traceless polarizations. The two routes are related by the BRST symmetry when the gauge fixing is covariant, with the vector ghosts of the preceding subsection. At the nonlinear level the constraint algebra ceases to be the algebra of a fixed group — the diffeomorphism algebra closes only with field-dependent structure functions — and the quantization becomes the problem of quantum gravity, including the problem of time; the linearized theory avoids this, which is why the graviton's canonical quantization is well defined as the quantization of a free field.

The Propagator and the Coupled Theory

The Propagator

In the de Donder gauge the quadratic form is inverted by the graviton propagator, whose numerator is the standard de Donder structure

$$ \mathcal{P}_{\mu\nu,\rho\sigma} = \tfrac12\left(\eta_{\mu\rho}\eta_{\nu\sigma}+\eta_{\mu\sigma}\eta_{\nu\rho}\right) -\frac{1}{D-2}\eta_{\mu\nu}\eta_{\rho\sigma} , $$

in $D$ dimensions, with the coefficient of the trace term determined by the gauge-fixing procedure; the propagator is $\mathcal{P}_{\mu\nu,\rho\sigma}/p^2$ with the $i\epsilon$ prescription, together with the gauge-dependent terms that the de Donder condition fixes. The detailed form, with the gauge-fixing parameter and the dimensional dependence, is standard and is cited below. What the framework contributes is the observation that the trace term of the numerator is the trace that the bilinear form removes from the symmetric square: the numerator is the symmetric metric pairing minus a term proportional to $\eta_{\mu\nu}\eta_{\rho\sigma}$, and the trace removal of $V\odot V$ is the algebraic form of that subtraction of the trace direction.

The Massive Case and the Discontinuity

A massive spin-two field, described by the Fierz–Pauli theory, has five polarizations — the helicities $\pm2,\pm1,0$ — and no gauge symmetry, the mass term breaking it. The massless limit of the massive theory does not smoothly reduce to the massless theory: the longitudinal and scalar modes do not decouple, and the theory retains an extra scalar contribution to the interaction between sources, the van Dam–Veltman–Zakharov discontinuity. This is the same phenomenon that the spin-$\tfrac32$ field exhibits, and it is the standard reason that a graviton with a small mass is not simply a graviton with a small mass. In the framework's terms the discontinuity is the statement that the three non-transverse components of the five-dimensional carrier do not decouple in the massless limit unless the gauge symmetry is exact; when the mass vanishes, the gauge removes them, and the count drops from five to two discontinuously.

The Coupled Theory

The graviton couples to matter through the energy–momentum tensor, with the universal coupling that follows from the equivalence of the linearized gauge symmetry with the freedom to choose coordinates. The coupling is what makes the theory a theory of gravity rather than a theory of a spin-two field, and it is imported rather than derived: the framework supplies the carrier, the gauge symmetry, and the count, and the identification of the conserved current with $T_{\mu\nu}$ is the input of the equivalence principle. The quantization of the coupled theory — the loop corrections, the nonrenormalizability, and the effective-field-theory treatment — is the standard story and is cited below.

Two further features of the coupled theory distinguish the graviton from the other higher-spin fields, and both are worth recording. The first is that the coupling is universal: the equivalence principle requires all matter to couple to the same symmetric tensor with the same strength, and it is this universality, not the spin alone, that makes the linearized gauge symmetry the linearization of diffeomorphism invariance rather than a symmetry of an internal group. The second is that the graviton's self-coupling is fixed by the gauge symmetry: the requirement that the nonlinear theory preserve the symmetry order by order determines the cubic and all higher self-interactions uniquely, and the resulting theory is general relativity, up to the cosmological constant. Neither property holds for a generic higher-spin field in a flat background, and this is the graviton's uniqueness among the fields of this subcategory. The framework organizes the carrier, the constraint, and the count; the uniqueness of the dynamics is imported, and it is the reason the massless spin-two field is gravity rather than merely a field of spin two.

The Biquaternion Reading

This article completes the framework's construction of the higher-spin fields of this subcategory, and it is worth stating the construction once in its general form.

A higher-spin field is built by tensoring a lower-spin carrier with the material vector $V$ and projecting onto the top-spin component with a projector supplied by the algebra. The three cases are the vector, the Rarita–Schwinger field, and the graviton:

$$ V\ (\text{spin }1) , \qquad (\text{material four-vector})\otimes S\ (\text{spin }\tfrac32) , \qquad V\odot V\ (\text{spin }2) , $$

where $S$ is the left-ideal spinor carrier. The projections are the trace removal with the bilinear form $\mathrm{Sc}(\cdot{}^{\natural})$ for the integer cases and the $\gamma$-trace for the half-integer case; the graviton's projector, $\mathcal{P}_{\mu\nu,\rho\sigma}$ in the propagator and $P_{ij,kl}$ in the physical-state count, is the trace removal of the symmetric square. The counts then follow: the vector has three massive and two massless states, the Rarita–Schwinger field four massive and two massless, the graviton five massive and two massless — the massive count $2s+1$, the massless count two, in every case.

What is genuinely algebraic in this account is the trace removal. The bilinear form of the algebra provides a canonical contraction, and the symmetric square of the material vector splits into the trace and the trace-free part relative to that form. The framework therefore does not need to postulate which combination of components is the spin-two field: the spin-two field is the trace-free part of the symmetric square, and the trace is the spin-zero field, and both are determined once the algebra's bilinear form is fixed. This is the same mechanism that made the spin-one field the adjoint action on the vector part and the spin-$\tfrac32$ field the $\gamma$-traceless part of the material four-vector tensored with the spinor $S$, of dimension twelve; the graviton is the case in which the tensor product is the symmetric square of the vector itself.

The Trace-Free Square in Components

The split is explicit in components. Write a material vector as $u=u_ke_k$ with real coefficients $u_k$, and take the symmetric square with components $T_{jk}=u_ju_k$, or $T_{jk}=u_jv_k+u_kv_j$ for a pair of vectors. The bilinear form gives the trace

$$ \langle u,v\rangle = \mathrm{Sc}\left(u\bar{v}\right) = \mathbf{u}\cdot\mathbf{v} , $$

which for the symmetric square is $|\mathbf{u}|^2$, and the trace-free part is

$$ T_{jk}-\tfrac13\delta_{jk}T^l{}_l , $$

of dimension five. The decomposition $6=1+5$ is therefore the statement that the trace direction is one-dimensional and its complement is five-dimensional, and both are determined once the bilinear form is fixed, with no further postulate. This is what the rank computation of the transverse-traceless sector reproduces: the trace direction contributes one to the four-dimensional space of gauge and trace modes that the physical projector annihilates, and the remaining three are the gauge modes of helicity $\pm1$ and $0$. The framework's spin-two field is thus the trace-free symmetric square, and its five components are the massive spin-two carrier; the gauge removes three of them, leaving the two of the massless graviton.

What the Algebra Supplies and What It Imports

Supplied by the algebra, and recomputed here. The material triplet $V$ and its adjoint spin-one action; the symmetric square $V\odot V$ with dimension six; the decomposition $V\odot V=0\oplus2$ with $6=1+5$, the trace removal being performed with the bilinear form $\mathrm{Sc}(\cdot{}^{\natural})$; the transverse-traceless projector and its four defining properties, verified on the six-dimensional space of symmetric tensors, together with the rank count $6-4=2$ and the two polarizations as fixed points; and the identification of the propagator's numerator with the trace-free projector structure.

Imported, and left visible. The linearized Einstein–Hilbert action and the linearized Einstein equation, which belong to the classical theory of the relativistic field; the identification of the gauge symmetry with infinitesimal diffeomorphisms; the component count $10-4-4=2$; the covariant gauge fixing, the de Donder condition, and the associated Faddeev–Popov vector ghosts; the BRST structure, cited to the standard literature; the graviton propagator and its gauge-fixing dependence; the Fierz–Pauli massive theory and the van Dam–Veltman–Zakharov discontinuity; the universal coupling to $T_{\mu\nu}$ and the equivalence principle; and the nonrenormalizability of the quantum theory.

Not supplied. The value of Newton's constant; the choice of gauge; the odd ghost coordinates; the existence of the graviton as a physical particle; and any empirical content. The framework organizes the field and counts its polarizations; it does not derive the field or its coupling.

Open Questions

The trace removal and the symmetry. The spin-two carrier is the trace-free symmetric square, and the trace is removed with the bilinear form. Is the symmetric square's decomposition the only decomposition the algebra's bilinear form can produce, or are there others, and does the exceptional case of the quaternion algebra — the fact that the symmetric square of $\mathbb{H}$ is related to the exceptional Jordan structure — leave a trace?
The graviton and the two sectors. The graviton field is a material-sector tensor, its gauge parameter a material vector, and its ghosts anticommuting vectors. Is there a sector-theoretic reason for the graviton's masslessness — a statement that a spin-two field built from the material sector must be gapless — or is the masslessness an independent input?
The vDVZ discontinuity in the framework. The discontinuity is the failure of the three lower helicities to decouple as the mass vanishes. In the decomposition $V\odot V=0\oplus2$, the massive field uses the whole five-dimensional carrier and the massless field uses only its helicity-$\pm2$ part; is the discontinuity visible as a singularity in the projection as the mass goes to zero?
The cosmological-constant problem. The trace mode is the spin-zero part of the symmetric square, and it is the mode that the cosmological constant would excite. Does the framework's trace removal say anything about the consistency of a nonzero trace mode — a spin-zero component of the metric perturbation — and is the trace removal the same statement as the decoupling of the conformal mode?
The Weyl tensor and the field strength. The gauge-invariant field strength of the linearized theory is the linearized Riemann tensor, whose trace-free part is the linearized Weyl tensor. Is the Weyl tensor the algebra's own object — the trace-free part of the square of the field-strength biquaternion — in the way the field strength of the vector is $\tilde{F}$?
Empirical content. As everywhere, whether any of this yields a prediction distinguishing the framework from standard linearized gravity. The transcription given here does not.

Summary

The graviton is the massless spin-two field of the linearized Einstein theory, with the gauge symmetry $h_{\mu\nu}\mapsto h_{\mu\nu}+\partial_\mu\xi_\nu+\partial_\nu\xi_\mu$ and the linearized Riemann tensor as its gauge-invariant field strength. A symmetric tensor has ten components; the gauge removes four and the constraints four more, leaving the two transverse-traceless polarizations of helicity $\pm2$. The transverse-traceless projector $P_{ij,kl}=\tfrac12(\theta_{ik}\theta_{jl}+\theta_{il}\theta_{jk})-\tfrac12\theta_{ij}\theta_{kl}$ is idempotent, has trace two, kills the pure-gauge and trace modes, and has a transverse-traceless complement of dimension two; all of these were verified to machine precision, and the two polarizations were verified to be its fixed points.

In the biquaternion framework the carrier is the symmetric square of the material vector, $V\odot V$, whose decomposition is $0\oplus2$ with $6=1+5$: the trace is the spin-zero singlet and the trace-free part is the spin-two carrier of dimension five, the trace being removed with the algebra's bilinear form. The massless gauge then removes three of the five, leaving the two helicities $\pm2$. The canonical quantization gives the transverse-traceless mode expansion with two polarizations, the bosonic commutators $[a_r(\mathbf{p}),a_s^\dagger(\mathbf{q})]=(2\pi)^3\delta_{rs}\delta^{(3)}$, and the Fock space; the covariant quantization requires the de Donder gauge fixing and Faddeev–Popov vector ghosts, with the standard BRST structure. The propagator's numerator is the standard de Donder structure, and the massive Fierz–Pauli theory has five polarizations whose massless limit exhibits the van Dam–Veltman–Zakharov discontinuity.

The framework's statement about the graviton is therefore the same as its statement about the other higher spins: the field is the top component of a tensor product of the material vector with a lower-spin carrier, selected by a projector built from the algebra's invariant form. The graviton is the symmetric-square case, the trace-free part of $V\odot V$; and the count, five massive and two massless, follows from the decomposition and the gauge. What the framework does not supply is the coupling to $T_{\mu\nu}$, the equivalence principle, Newton's constant, the odd coordinates, or any empirical content.

Summary of Notation

Symbol	Meaning
$g_{\mu\nu}=\eta_{\mu\nu}+h_{\mu\nu}$, $\kappa^2=16\pi G$	Metric perturbation and the coupling of its source
$h=\eta^{\mu\nu}h_{\mu\nu}$, $\bar{h}_{\mu\nu}=h_{\mu\nu}-\tfrac12\eta_{\mu\nu}h$	Trace and trace-reversed field
$h_{\mu\nu}\mapsto h_{\mu\nu}+\partial_\mu\xi_\nu+\partial_\nu\xi_\mu$	Linearized gauge symmetry
$R_{\mu\nu\rho\sigma}$	Linearized Riemann tensor; gauge-invariant field strength
$\partial^\mu\bar{h}_{\mu\nu}=0$	de Donder (harmonic, Lorentz-type) gauge
$10-4-4=2$	Components, gauge removal, constraint removal, physical polarizations
$\theta_{ij}=\delta_{ij}-\hat{k}_i\hat{k}_j$	Transverse metric
$P_{ij,kl}=\tfrac12(\theta_{ik}\theta_{jl}+\theta_{il}\theta_{jk})-\tfrac12\theta_{ij}\theta_{kl}$	Transverse-traceless projector; $P^2=P$, $\mathrm{tr}P=2$ (verified)
$\varepsilon^{+}_{ij},\varepsilon^{\times}_{ij}$	Two polarizations; helicities $\pm2$
$V\odot V=0\oplus2$, $6=1+5$	Symmetric square of the material vector and its decomposition
$h_{ij}^{\mathrm{TT}}(x)$	Transverse-traceless mode expansion
$[a_r(\mathbf{p}),a_s^\dagger(\mathbf{q})]=(2\pi)^3\delta_{rs}\delta^{(3)}(\mathbf{p}-\mathbf{q})$	Bosonic mode algebra
$\mathcal{P}_{\mu\nu,\rho\sigma}=\tfrac12(\eta_{\mu\rho}\eta_{\nu\sigma}+\eta_{\mu\sigma}\eta_{\nu\rho})-\tfrac{1}{D-2}\eta_{\mu\nu}\eta_{\rho\sigma}$	Propagator numerator in the de Donder gauge; the coefficient of the trace term is fixed by the gauge fixing
Fierz–Pauli	Massive spin-two theory; five polarizations; vDVZ discontinuity