Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedverified 2026-10-22 (gpt-6.1-sol)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Kerr horizon mode and shifted horizon frequency

Physical scope

A local mathematical definition of a scalar mode trace on a regular subextremal Kerr future horizon; it asserts no global wave solution, scattering state, or amplification.

Definition

Assume ACω. Let M>0, 0<∣a∣<M, and use the length coordinates of the subextremal Kerr datum. Use the smooth ingoing extension with its proved compatible time orientation N‾=∂v−(2Mr/Σ)∂r from Kerr horizon angular velocity and the ergoregion. Set H+:={r=r+} and let P⊂H+ be a smooth open patch in the hypersurface topology. Let T and Φ be the stationary and axial Killing fields restricted to P, and let χ:=T+ΩHΦ with ΩH:=a/(r+2+a2) be the future null generator there; the supplier proves g(χ,N‾)=−1 on H+. A smooth complex scalar u∈C∞(P,C) is an (ω,m) horizon mode when ω∈R, m∈Z, and

Tu=−iωu,Φu=imu.

Its shifted horizon frequency is ω~:=ω−mΩH. By linearity of χ, every such mode satisfies χu=−iω~u. The parameter ω has units reciprocal to the Kerr time coordinate, m is dimensionless, and ΩH has the same units as ω. This is a local definition of mode data only; it does not assert that a nonzero mode extends to a global solution of the wave equation.

Depends on

Dependency tree · 2 levels

Sources