Classify all second-order symmetry operators commuting with the scalar wave operator on Kerr.

Summary

Classify all second-order symmetry operators commuting with the scalar wave operator on Kerr.

Why this matters

Useful for formal verification track; needs precise references.

Exact scope

Background / setting

asymptotically flat general relativity context; see family and coupling tags for matter model.

Equation type

PDE level: scalar-wave.

Linearity

linearized

Regularity

Smooth / Sobolev hypotheses must be stated precisely in any final theorem; this provisional entry does not fix minimal regularity.

Parameter regime

Subextremal Kerr moduli $|a|<M$ (or stated KN/KdS extension); smallness measured in the stability topology on Cauchy data.

Asymptotics

asymptotically flat

Gauge / formulation

State gauge/fixing class compatible with cited stability or interior programs (e.g. generalized harmonic, double-null interior charts).

Status explanation

**Open (algebra/PDE):** Carter-type commuting operators on exact Kerr are classical; a **complete classification** of second-order symmetry operators for $\Box_g$ in a sharply stated algebra (order, locality, hermiticity) remains a formalization-friendly direction—`needs_review` flags that the literature match for this exact formulation has not been audited on-site.

Problem statement

Classify all second-order symmetry operators commuting with the scalar wave operator on Kerr.

What is already known

• Analytic stationary uniqueness theorems identify Kerr in the asymptotically flat vacuum class (Carter–Robinson–Mazur line).
  Regime: Real-analytic stationary vacuum.
  Classical baseline; smooth non-analytic uniqueness remains the sharp open gap for many formulations.
• Near-Kerr perturbative rigidity and Carter-type structures are studied in separability and hidden-symmetry programs.
  Regime: Perturbations of Kerr; operator commutators.
  Context for approximate operators and photon-region stability questions.
• Ernst reduction and harmonic-map formulations package stationary axisymmetric vacuum equations; sharp global uniqueness domains are formulation-dependent.
  Regime: 2D elliptic reductions.
  Explains why Ernst-domain questions must pin boundary data and function classes.

Progress summary: Held for curation: Carter-type commuting operators are classical, but this exact classification statement still needs pinned operator hypotheses and references.

What remains open

Classify all second-order symmetry operators commuting with the scalar wave operator on Kerr.

Parent problem

This entry is tracked as an alias, subproblem, or expansion item under the canonical problem below.

• K-503 — Uniqueness questions for Carter-type symmetry operators on Kerr

Mathematical prerequisites

Carter separability; scalar wave operator on exact Kerr; finite-order differential operators; commutator algebras and principal-symbol calculations.

Completion criteria

State the exact algebra of allowed second-order operators and either prove classification or identify the primary source that already proves it.

Implications if solved

Would clarify the formalization boundary for Kerr hidden-symmetry operator algebra and should feed into K-503.

Formal verification suitability

FV: high

Formalization targets map naturally to proof-assistant-sized subtasks once scoped.

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)
  Fourth constant / separability structure on exact Kerr; operator-algebra backdrop for rigidity questions.
• survey Black Uniqueness Theorems — Mazur (2001)
  Survey of stationary uniqueness and reduction routes (including Ernst-type formulations).

Related problems

Related by shared tags

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

• K-306 — Hidden symmetries and approximate Carter-type operators under metric perturbation
• K-307 — Persistence of normally hyperbolic trapping for dynamical near-Kerr spacetimes
• K-508 — Stability or obstruction for approximate Killing–Yano tensors near Kerr
• 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-619 — Prove uniqueness of stationary black holes with small deviations in asymptotic charges (effective inverse problems).
• K-626 — Prove a Kerr inverse problem: determine (M,a) from finitely many resonances with stability estimates.

Editorial / maintainer notes

Held from the main index until the operator class and supporting references are pinned. The intended canonical formalization target is K-503.

Source manifest: N-034 (expansion_from_manifest.tsv). Numeric footnotes from the original table are not reproduced in this repository.