Algebraic uniqueness of quadratic symmetry operators commuting with $\Box_g$ on exact Kerr ($\mathcal{D}_{\le 2}$ class)

Summary

On **exact** subextremal Kerr, Carter’s fourth constant arises from a quadratic-in-momenta conserved quantity for geodesic flow (equivalently, a second-order symmetry operator for the massless scalar wave operator). The **core** problem pinned here is variant **(a)**: within an explicitly named class of smooth differential operators on $T^*M$—polynomial of degree $\le 2$ in momenta with coefficients depending only on position—classify operators that Poisson-commute with the geodesic Hamiltonian (or commute with $\Box_g$ on test functions) up to the trivial symmetries generated by energy and angular momentum. Variants (b) (modulo functions of commuting integrals) and (c) (approximate operators on perturbed metrics) are **out of scope for this ID** and should be tracked as separate entries if promoted.

Why this matters

Separability on Kerr is not accidental; pinning an operator-level uniqueness theorem clarifies what survives under perturbation (cf. K-306, K-508).

Exact scope

Background / setting

Exact subextremal Kerr exterior; geodesic Hamiltonian and the scalar wave operator $\Box_g$ on scalars.

Equation type

Hamiltonian/Wave-operator commutator algebra; finite-order differential operators on the phase space / spacetime.

Linearity

Exact algebraic commutator/Poisson identities on fixed Kerr; no approximate commutation in the primary statement.

Regularity

Smooth coefficients on the relevant bundles unless a weaker class is explicitly fixed.

Parameter regime

Fixed subextremal Kerr parameters $|a|<M$; uniqueness is on the exact metric, not a neighborhood.

Asymptotics

Local / algebraic on Kerr; global issues only if explicitly posed.

Gauge / formulation

Operator classes must be specified (order, locality, polynomial momentum dependence) to avoid trivial reformulations.

Status explanation

**Open (exact Kerr, algebraic):** variant (a) is now pinned; variants (b–c) are explicitly deferred. The literature often uses separability without a standalone uniqueness theorem matching $\mathcal{D}_{\le 2}$—this entry records that precise target.

Problem statement

Let $(M,g)$ be the exterior of subextremal Kerr in Boyer–Lindquist-type coordinates. Let $\mathcal{D}_{\le 2}$ denote the real vector space of smooth differential operators on scalars induced by real-valued functions on $T^*M$ that are polynomials of degree at most $2$ in fiber variables at each point. Determine whether every $D \in \mathcal{D}_{\le 2}$ with $[D,\Box_g]=0$ (on compactly supported smooth functions) is a polynomial in $\{\partial_t,\partial_\varphi,\Box_g\}$ with **constant** coefficients—or, if not, classify the finite-dimensional family of additional solutions. State and prove the analogous Hamiltonian/Poisson-commutator formulation for geodesic flow. (This is the sharp algebraic uniqueness question behind “hidden symmetry” on exact Kerr, before any perturbative extension.)

What is already known

• Carter constructs an additional quadratic conserved quantity for geodesic motion on Kerr and the associated second-order symmetry operator commuting with $\Box_g$ (separability package).
  Regime: Exact Kerr exterior; geodesic and scalar wave operators.
  Existence of a nontrivial commuting operator beyond manifest symmetries; baseline for any uniqueness claim.
• Complete integrability of geodesic flow on Kerr is classical; finite-dimensional spaces of conserved polynomials of bounded degree are the natural setting for a uniqueness theorem.
  Regime: Exact stationary axisymmetric vacuum.
  Reduces the question to finite-dimensional linear algebra once the operator class is fixed.
• Perturbative “hidden symmetry” and approximate commutators (variant (c)) are addressed elsewhere (e.g. K-306) and are not assumed here.
  Regime: Near-Kerr / approximate operators (context only).
  Prevents conflating exact algebraic classification with stability-scale PDE questions.

Progress summary: Carter’s operator is classical; a database-grade uniqueness theorem in the pinned $\mathcal{D}_{\le 2}$ class is still the target.

What remains open

A published-quality proof or counterexample in the stated $\mathcal{D}_{\le 2}$ class (or a corrected sharp class if this one is ill-posed), including the Hamiltonian formulation.

Mathematical prerequisites

Symplectic geometry; Killing tensors; Carter’s theory; spectral theory on stationary backgrounds; separation of variables for wave operators.

Scope / taxonomy note

Completion criteria

A complete proof or counterexample in the pinned $\mathcal{D}_{\le 2}$ class, including equivalence between the Hamiltonian and $\Box_g$ formulations if both are claimed.

Implications if solved

Algebraic backbone for Kerr scattering and QNM separability programs if a sharp theorem is obtained.

Formal verification suitability

FV: high

Separation constants and commuting operators admit algebraic characterizations in Kerr; suitable for formalizing operator identities and representations on eigenspaces.

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 construction of the fourth constant / operator-level structure on Kerr.
• survey Black Uniqueness Theorems — Mazur (2001)
  Broader black-hole uniqueness context; helps place operator questions relative to metric rigidity.

Related problems

Related by shared tags

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

• K-501 — Quantitative Mars–Simon tensor gap for near-Kerr stationary vacuum data
• K-502 — Horizon-data rigidity and effective reconstruction of Kerr parameters
• K-510 — Ernst equation on stationary axisymmetric vacuum exteriors — sharp uniqueness class for asymptotically flat Kerr (boundary-value formulation)
• K-504 — Quantitative stability of the photon region and spherical null geodesics under near-Kerr perturbations