Hidden symmetries and approximate Carter-type operators under metric perturbation

Summary

Decide whether near-Kerr metrics admit controlled approximate symmetry operators usable like Carter’s constants—not the same question as photon-region spectral geometry (K-504) or Killing–Yano stability (K-508).

Why this matters

Kerr’s integrable structure underpins many analytic tools; the open issue is whether a useful remnant survives under perturbation of the metric itself.

Exact scope

Background / setting

Near-Kerr vacuum spacetimes (not fixed Kerr linearization only).

Equation type

Full vacuum Einstein constraints coupled with operator estimates on the perturbed geometry.

Linearity

Question is about operators on the perturbed spacetime; linearized modes on fixed Kerr are only motivational.

Regularity

Smooth or high Sobolev metrics in a neighborhood of Kerr.

Parameter regime

Smallness of Kerr distance in a stated topology.

Asymptotics

Asymptotically flat near-Kerr context as in stability/rigidity discussions.

Gauge / formulation

Operator definitions must be gauge-coherent or gauge-fixed.

Status explanation

Distinct from K-504 (focus: photon shell / null geodesic locus under perturbation) and K-508 (focus: approximate Killing–Yano 2-forms). This entry targets Carter-type operator algebras for PDEs.

Problem statement

Determine whether vacuum spacetimes sufficiently close to Kerr admit tensors or differential operators that (i) approximately commute with the wave operator or geodesic Hamiltonian in a quantitative sense, and (ii) reproduce enough of the Carter commutator algebra to sharpen PDE estimates—either construct them with explicit error bounds or prove a no-go theorem.

What is already known

• On **exact** Kerr, Carter-type quadratic conserved operators and separability for $\Box_g$ are classical; this is the algebraic benchmark any perturbative remnant must be compared against.
  Regime: Exact Kerr; geodesic and scalar wave operators.
  Establishes what “hidden symmetry” means at the integrable level before discussing near-Kerr remnants.
• Killing tensor / hidden-symmetry structures are rigid in highly symmetric settings; the near-Kerr question is whether **approximate** commutators with controlled errors exist in open sets of metrics.
  Regime: Rigidity of tensors on symmetric backgrounds; perturbation theory context.
  Explains why the problem is genuinely about **stability of integrability**, not a restatement of Carter.
• Photon-region spectral geometry (K-504) and approximate Killing–Yano stability (K-508) are sibling questions but target different geometric objects than general Carter-type operator algebras.
  Regime: Near-Kerr geometry; separate entry scopes.
  Prevents duplicating those problems while keeping operator-algebra focus here.

Progress summary: Exact Carter symmetry is classical on Kerr; controlled approximate analogues on perturbed metrics are not established at theorem level here.

What remains open

Construct approximate operators with uniform estimates or obstruct them with a sharp theorem.

Mathematical prerequisites

Killing tensors; Killing–Yano structures; perturbation of integrable systems; commutator estimates for PDEs.

Completion criteria

Either quantitative construction with error control or a rigorous no-go under explicit hypotheses.

Implications if solved

Determines whether Kerr’s separability is a stable analytic feature beyond exact symmetry.

Formal verification suitability

FV: medium

Some subquestions may formalize before the full statement.

See Formal verification for how this database uses these labels.

References

• primary Hamilton–Jacobi and Schrödinger separability and integrability of the Kerr metric — Carter (1968)
  Foundational separability / fourth constant for geodesics—baseline exact symmetry this entry seeks to perturb.
• survey Brief introduction to the nonlinear stability of Kerr — Klainerman, Szeftel (2022)
  Explains reliance on Kerr’s special structure in nonlinear estimates—motivation for approximate symmetry questions.

Related problems

Related by shared tags

Heuristic matches on family, cluster, equation level, asymptotics, and relevance.

• K-617 — Prove a quantitative distance-to-Kerr estimate from a small invariant (Mars-Simon-type) with computable constants.
• K-618 — Prove global Kerr uniqueness without analyticity under minimal smoothness/decay hypotheses.
• K-633 — Prove that near-Kerr spacetimes admit approximate Carter operators with controlled commutators (usable in PDE estimates).
• K-646 — Prove global uniqueness/rigidity for Kerr with minimal assumptions on horizon regularity and connectedness.
• K-647 — Prove a minimal-data theorem: finite set of horizon multipoles determines Kerr parameters with stability bounds.