Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicable
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.

The ADM-source mass and angular-momentum parameters

Definition

In the preceding end expansion, M0>0 is the coefficient called ADM mass in the Radu source, S=(S1,S2,S3) is its ADM angular momentum vector, and J=∣S∣=∑i(Si)2 is the nonnegative magnitude, not a signed component and not the Kerr parameter a. These are the source's fixed charge and orientation conventions, as specified by its asymptotic chart and the leading g0i coefficient. No equality with a newly introduced alternative surface-integral convention is asserted or needed here.

The subextremal parameter condition for the quantitative theorem is J<M02. In the mass-one normalization used by that theorem, the normalized mass is exactly 1 and its angular magnitude is the dimensionless J/M02, thereafter denoted J by the source. The quantitative theorem must be applied to the rescaled mass-one data and their actual geometric constant; numerical smallness of an unnormalized dimensionful angular momentum is not its condition.

Facts & Assumptions

[F1]

Radu small-ADM global and bifurcation package provides the source end and its coefficients. Differentiated asymptotic bounds and parameter uniformity fixes their differentiated remainder convention.

Justification

The finite vector S determines its Euclidean norm uniquely, and positivity of M0 makes J/M02 defined. Dimensional rescaling of the stationary end uses t′=t/M0, x′=x/M0 and g′=M0−2g expressed in these coordinates, with normalized stationary field T′=M0T=∂t′. The leading temporal coefficient becomes −1+2/r′ and the leading mixed coefficient has vector S/M02, by substituting x=M0x′. Thus the stated mass-one labels match the source normalization. This checks the parameter bookkeeping only; bounds for a geometric constant must still be checked on those rescaled data, not transported without calculation.

Depends on

Used by · 3

Dependency tree · 2 levels

Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text. The view shows up to two dependency steps; open a prerequisite to continue.

External dependencies

Alexandru F. Radu, Rigidity of stationary black holes with small ADM angular momentum · §1.1 GR (1.1), definition of J=|S|, mass-one paragraph before (1.2), and Theorem 1.1

Equation (1.1) labels M>0 as ADM mass and S as ADM angular momentum, with J=|S| and epsilon_123=1. The source rescales to M=1; Theorem 1.1 fixes A before choosing j_*(A)>0 and uses the normalized angular magnitude and the effective constant of (1.3). This citation imports the parameter conventions and application conditions, not the rigidity conclusion.

Hypotheses: The charge labels refer to GR's stationary asymptotic chart. Theorem 1.1 assumes GR, SBS, maximality of Sigma_1 and J<M^2, with M=1, Abar<=A and J<j_*(A), in the source's connected oriented time-oriented smooth vacuum four-spacetime with smooth Killing field T. Its geometric bound applies to the actual mass-one chart package. The source mass M is denoted M_0 locally.

Reading limits: Retrieved and read arXiv HTML v1, section 1.1, from the opening setup through GR, (1.1), the charge/decay conventions, SBS, maximality, the mass-one paragraph, (1.2)-(1.3), and Theorem 1.1. Imported only the parameter conventions and quantitative application conditions; the rescaling bookkeeping is checked locally. No rigidity proof, ADM surface-integral identification, or supplier proof review was performed.

Sources