Prove an effective theorem translating small Mars-Simon tensor into existence of approximate Killing spinors.

Summary

Prove an effective theorem translating small Mars-Simon tensor into existence of approximate Killing spinors.

Why this matters

Bridges invariant smallness to hidden symmetmetries.

Exact scope

Background / setting

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

Equation type

PDE level: full-einstein.

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

Theorem status follows literature as summarized in known results and references (not upgraded without verified solution pointers).

Problem statement

Prove an effective theorem translating small Mars-Simon tensor into existence of approximate Killing spinors.

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: Context: Bridges invariant smallness to hidden symmetmetries.

What remains open

Prove an effective theorem translating small Mars-Simon tensor into existence of approximate Killing spinors.

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: low

Global PDE or phenomenological target; lemma-level formalization may be possible after scoping.

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-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.

Editorial / maintainer notes

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