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: Manifest rationale: Useful for formal verification track; needs precise references.
What remains open
Classify all second-order symmetry operators commuting with the scalar wave operator on Kerr.
Mathematical prerequisites
Match hypotheses to primary sources cited on this page; state minimal regularity, gauge class, and parameter windows in any claimed theorem.
Completion criteria
Prove a theorem or give a rigorous counterexample that matches the scoped statement under explicitly listed hypotheses.
Implications if solved
Impact depends on the solved formulation; sharpen once the statement is pinned to a literature-compatible theorem.
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
- 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
Source manifest: N-034 (expansion_from_manifest.tsv). Numeric footnotes from the original table are not reproduced in this repository.