Skip to content

Ricci Decomposition

The metric-dependent orthogonal splitting of a Riemann curvature tensor into scalar-curvature, traceless-Ricci, and totally trace-free Weyl components.

Version
v1 · 2026-09-28 · History
Domain-specific #
11799
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Differential Geometry, Riemannian Geometry → Mathematics
Aliases
Riemann curvature decomposition, Curvature tensor decomposition

Core Idea

The Ricci decomposition separates the Riemann curvature tensor according to what survives successive traces. A scalar multiple of the metric product carries scalar curvature, the Kulkarni–Nomizu product of the traceless Ricci tensor with the metric carries the remaining Ricci data, and the Weyl tensor is the totally trace-free residual.

The splitting is not merely bookkeeping: the summands have curvature symmetries, occupy invariant orthogonal subspaces, and answer different geometric questions. Dimension is essential. The Weyl tensor vanishes identically in dimensions two and three, while standard coefficients involving n−2 require low-dimensional care.

Scope of Application

  • Riemannian geometry. Separates scalar, Ricci, and conformal curvature information.
  • Pseudo-Riemannian geometry. Applies algebraically with the corresponding nondegenerate metric.
  • Conformal geometry. Isolates Weyl curvature as the trace-free conformal component.
  • Geometric field equations. Distinguishes curvature constrained by Ricci data from unconstrained Weyl degrees of freedom.

Clarity

State tensor type, metric signature, dimension, contraction convention, and curvature sign. The equation Rm=S+E+W gains content from the invariant properties and trace conditions of the three terms, not from defining W as a remainder alone. Inclusion test: Begin with an algebraic curvature tensor and metric, form its scalar and traceless Ricci contractions, and identify the remaining totally trace-free Weyl part with the dimension stated. Exclusion test: Exclude a coordinate split, spectral decomposition, arbitrary additive partition, or Ricci-flow evolution. Nearest boundary: The Weyl decomposition is often used as a near-synonym, but Ricci decomposition emphasizes all three curvature contributions rather than only the trace-free remainder. Exit condition: It exits the construction when the input lacks curvature symmetries, the contractions are not metric-derived, or low-dimensional formulas are applied outside their domain.

Manages Complexity

The decomposition replaces a high-rank tensor with three geometrically interpretable channels. It simplifies comparison and vanishing arguments while preserving the warning that low-dimensional identities collapse channels.

Abstract Reasoning

  1. Verify the algebraic Riemann symmetries.
  2. Contract with the inverse metric to obtain Ricci and scalar curvature.
  3. Remove the scalar trace from Ricci.
  4. Lift scalar and traceless-Ricci data back to curvature type using metric products.
  5. Define and test the totally trace-free residual, respecting dimension and signs.

Knowledge Transfer

The design pattern transfers to representation-theoretic decompositions in which traces and symmetries select invariant subspaces. The name should not be exported to unrelated tensor partitions.

Relationships to Other Abstractions

Local relationship map for Ricci DecompositionParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Ricci DecompositionDOMAINPrime abstraction: Decomposition — is a kind ofDecompositionPRIME

Current abstraction Ricci Decomposition Domain-specific

Parents (1) — more general patterns this builds on

  • Ricci Decomposition is a kind of Decomposition Prime

    Ricci Decomposition is Decomposition of the Riemann curvature tensor into scalar, traceless-Ricci, and Weyl components.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Ricci Decomposition sits in a moderately populated region (60th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Algebraic Varieties & Topological Invariants (27 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08