Double Dual of Riemann Tensor

• Double dual of the Riemann tensor is defined by applying two sequential Hodge duals, producing a symmetric (D–2, D–2) tensor essential for gravitational and geometric analysis.
• It generates a hierarchy of divergence-free double forms that interpolate between classic curvature contractions, such as the Einstein and Lovelock tensors, with rigorous algebraic properties.
• The formalism bridges linearized gravity and higher-spin gauge fields by offering a locally invertible gauge relation that uncovers deeper topological invariants without adding new propagating degrees of freedom.

The double dual of the Riemann tensor encapsulates both an algebraic and geometric framework fundamental to modern research in gravitational theories, higher-spin gauge fields, and Riemannian geometry. Taking a Hodge dual on each skew-symmetric index block of the (2,2)-curvature tensor yields a tensor residing in the irreducible (D–2, D–2) Young tableau in D dimensions. This construction provides a canonical route to a hierarchy of divergence-free, symmetric $(p,p)$ double forms—generalizing familiar curvature contractions like the Ricci tensor and Einstein tensor, and connecting to advanced formulations such as higher Lovelock tensors. Notably, in both linearized gravity and Riemannian geometry, the double dual reveals structural and topological properties of the underlying manifold, while its gauge and variational properties distinguish it from the single dual and the original field potential (Henneaux et al., 2019, Labbi, 6 Jan 2026).

1. Algebraic Definition and Construction

Let $R_{\mu\nu|\rho\sigma}$ denote the linearized Riemann tensor arising from a symmetric metric perturbation $h_{\mu\nu}$. In a flat D-dimensional background, $R_{\mu\nu|\rho\sigma}$ is antisymmetric in the $\mu\nu$ and $\rho\sigma$ pairs, and satisfies the standard first Bianchi and Young symmetries. The single Hodge dual is constructed on one block: $$S_{\alpha_1 \dots \alpha_{D-2}|\mu\nu} = \frac12 \epsilon_{\alpha_1\dots \alpha_{D-2}\rho\sigma} R^{\rho\sigma}{}_{|\mu\nu}$$ with $S$ a (D–2,2)-type tensor, related to the dual graviton field of Curtright type.

To define the double dual, apply a second Hodge dual on the remaining skew indices: $$T_{\alpha_1 \dots \alpha_{D-2}|\beta_1 \dots \beta_{D-2}} = \frac12 \epsilon_{\beta_1\dots \beta_{D-2}\mu\nu} S_{\alpha_1 \dots \alpha_{D-2}|\mu\nu}$$ The resulting $T$ transforms in the irreducible (D–2, D–2) Young tableau, symmetric under exchange of the two blocks, and subject to algebraic and cyclic identities that uniquely characterize double forms (Henneaux et al., 2019, Labbi, 6 Jan 2026).

In Riemannian geometry, the double dual is defined analogously: for $n$-dimensional $(M,g)$,

$$(*R*)_{i_1 \dots i_{n-2} ,\, j_1 \dots j_{n-2}} = \frac{1}{(n-2)!} \epsilon_{i_1 \dots i_{n-2} ab} R^{ab}{}_{cd} \epsilon^{cd}{}_{j_1 \dots j_{n-2}}$$

with the Hodge $*$ applied independently to each antisymmetric factor (Labbi, 6 Jan 2026).

2. Hierarchy of Divergence-Free Double Forms

The double dual operation enables the construction of a canonical hierarchy of symmetric, divergence-free $(p,p)$ double forms $E^{(p)}$ interpolating between the double dual, Einstein, and scalar curvature tensors. Explicitly,

$E^{(p)} = \frac{1}{(n-p-2)!} {^{n-p-2}}(*R*)$

where subsequent Ricci contractions reduce the degree; $E^{(1)}$ recovers the Einstein tensor, $E^{(2)}$ is the double dual $*R*$, and $E^{(0)}$ the scalar curvature.

Each $E^{(p)}$ satisfies the first Bianchi identity, is divergence-free, and:

$\operatorname{tr}_g (E^{(p)}) = (n-p-1) E^{(p-1)}$

This hereditary contraction structure links the entire hierarchy in an unbroken sequence (Labbi, 6 Jan 2026).

3. Gauge, Variational, and Degree of Freedom Properties

In the context of linearized gravity, the double dual curvature $T$ can be expressed as the curl of a gauge field $B$ of (D–3, D–3) Young symmetry. However, in contrast to the non-local relation of the single dual field $A$ to $h_{\mu\nu}$, the potential $B$ is algebraically and locally related to $h_{\mu\nu}$ up to (D–2,D–2) diffeomorphisms and Weyl shifts. Equivalently, the associated Cotton tensor for $B$ vanishes on shell ($R_{\mu\nu}=0$), ensuring that the map between $h$ and $B$ is invertible up to gauge, with no new propagating degrees of freedom introduced. The double dual thus fails to produce novel locally propagating content beyond the Pauli–Fierz description, distinguishing it sharply from the single dual (Henneaux et al., 2019).

The action functional for free linearized gravity can be rewritten as a parent action using $B$ and an auxiliary (2,1) field $\chi$. Gauge-fixing through shift symmetries reduces this formulation back to the original Pauli–Fierz action, with all field equations preserved under the algebraic change of variables (Henneaux et al., 2019).

4. Reconstruction of Curvature and Topological Implications

The hierarchy constructed from double duals encodes the full Riemann curvature structure. In particular, knowledge of the sectional 2-curvature (induced from $E^{(2)} = *R*$) along all 2-planes determines the complete Riemann tensor. Furthermore, the double dual and its hierarchy have implications in spin geometry: on a compact spin manifold, nonnegative sectional 2-curvature forces the vanishing of the $\hat A$-genus, an obstruction not enforced by Ricci or scalar curvature alone. Thus, the double dual formalism not only organizes curvature information but also reveals refined geometric and topological features (Labbi, 6 Jan 2026).

5. Extension to Gauss–Kronecker and Lovelock Theories

The double dual framework generalizes to higher-order curvature invariants, particularly in the construction of Gauss–Kronecker forms and Lovelock tensors. For the $q$-fold wedge product $R^q$ of the Riemann double form, one defines $E^{(p,q)}$ as the divergence-free parent tensor for the $2q$-index Lovelock tensor $T_{2q}$. In the special case $q=2$, the second Lovelock tensor $T_4$ admits a genuine four-index parent comprising the composition of $*R*$ with itself under the double form product. This approach preserves both algebraic symmetries and divergence-free properties, and provides a natural extension of the double dual’s role in curvature hierarchies (Labbi, 6 Jan 2026).

6. Role in Higher-Spin and Dual Formulations

The dualization procedures used for the Riemann tensor extend beyond gravity to higher-spin gauge fields with mixed Young symmetry. While the single dual yields new fields with nonlocal relations to the physical gauge potential and inequivalent local dynamics, the double dual for such fields consistently produces objects algebraically related to the original potential, imposing no new on-shell degrees of freedom. This distinction underpins the limitations of “double dual gravity” as a mechanism for generating distinct physical content in free theories (Henneaux et al., 2019).

7. Summary and Current Relevance

The double dual of the Riemann tensor serves as a foundational construction in both local field-theoretic formulations of gravity and in global geometric analysis. Its algebraic properties enable systematic hierarchies of divergence-free tensors that interpolate between Einstein and Lovelock contractions, and its invertibility at the level of potential spaces distinguishes it sharply from the single dual, both in gravity and higher-spin settings. Recent work demonstrates the utility of these hierarchies for encoding curvature and geometric invariants, influencing theoretical developments in gauge gravity duality, spin geometry, and higher curvature gravity theories (Henneaux et al., 2019, Labbi, 6 Jan 2026).