ExampleConstruction: AI-adaptedVerification: AI-generatedPipeline-generatedprecheck passverified 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.

A compact interior change preserves the ADM limit but changes scalar curvature

Physical scope

A smooth Riemannian metric example on a fixed asymptotic end; no Einstein constraint, completeness, or physical-solution claim is made.

Example

Fix a length $R_{0} > 0$ , set $E = {x \in R^{3} : ∣ x ∣ > R_{0}}$ , and let $x_{*} = (3 R_{0}, 0, 0)$ . Define $ϕ (x) = {\begin{cases} \exp ⁣ (- \frac{1}{1 - ∣ x - x_{*} ∣^{2} / R_{0}^{2}}), & ∣ x - x_{*} ∣ < R_{0}, \\ 0, & ∣ x - x_{*} ∣ \geq R_{0} . \end{cases}$ For $0 < ε < 1$ , set $u_{0} = 1$ , $u_{ε} = 1 + ε ϕ$ , $h_{0} = u_{0}^{4} δ$ , $h_{ε} = u_{ε}^{4} δ$ , and $K_{0} = K_{ε} = 0$ on $E$ . Both data sets have the same fixed-chart ADM energy, $0$ , but their scalar curvatures differ at $x_{*}$ .

Example references

A specified asymptotically Euclidean ADM end

ADM energy of a conformally flat end

Compact interior changes leave a fixed ADM integral unchanged

Scalar curvature of a conformally Euclidean three-metric

Facts & Assumptions

Given: The Euclidean end $E$ , the smooth bump candidate $ϕ$ , $0 < ε < 1$ , and the conformal metrics and tensors in the Example.

[F1]

The fixed-chart ADM energy depends only on $h$ and equals the prescribed limit of its Cartesian surface integrand; $K = 0$ satisfies the required decay (A specified asymptotically Euclidean ADM end).

[F2]

For a positive smooth conformal factor $u$ , $S_{u^{4} δ} = - 8 u^{- 5} Δ_{δ} u$ (Scalar curvature of a conformally Euclidean three-metric).

[F3]

A positive conformal factor $u = 1 + m / (2 r) + O_{2} (r^{- 2})$ has $E_{A D M} = c^{4} m / G_{N}$ (ADM energy of a conformally flat end).

[F4]

If two metrics agree outside a compact subset of the same fixed end chart and both limits exist, their ADM energies are equal (Compact interior changes leave a fixed ADM integral unchanged).

[A1]

$R_{0} > 0$ , $x_{*} = (3 R_{0}, 0, 0)$ , and $0 < ε < 1$ ; all coordinates are Euclidean length coordinates.

Verification

Given: [F1]–[F4] and [A1].

1.1A1constructalgebra

Put $y = x - x_{*}$ and $q = 1 - ∣ y ∣^{2} / R_{0}^{2}$ . For $q > 0$ , each derivative of $e^{- 1 / q}$ is a polynomial in $q^{- 1}$ times $e^{- 1 / q}$ , and $q^{- N} e^{- 1 / q} \to 0$ as $q ↓ 0$ for every integer $N \geq 0$ . Therefore extension by zero at $q \leq 0$ is $C^{\infty}$ , so $ϕ$ is a smooth bump supported in $\overline{B_{R_{0}} (x_{*})}$ . Since $∣ x_{*} ∣ = 3 R_{0}$ , this compact support lies in ${∣ x ∣ \geq 2 R_{0}} \subset E$ . Also $0 \leq ϕ \leq e^{- 1}$ , hence both $u_{0}$ and $u_{ε}$ are positive.

2.1F1F3F4step 1.1algebra

The metrics $h_{0}$ and $h_{ε}$ agree outside the compact support of $ϕ$ , and both have $K = 0$ . The conformal end result [F3] with $m = 0$ gives existence of the ADM limit for $h_{0}$ and $E_{A D M} (h_{0}) = 0$ . For $r > 4 R_{0}$ , $ϕ = 0$ on an open neighborhood, so $h_{ε} = h_{0} = δ$ there and their first Cartesian derivatives agree. Thus their surface integrals in [F1] agree for every $R > 4 R_{0}$ , which proves existence of the $h_{ε}$ limit. Both metrics satisfy the end decay because they equal $δ$ there. Now [F4] applies and gives $E_{A D M} (h_{ε}) = E_{A D M} (h_{0}) = 0$ .

3.1F2step 1.1algebra∎

At $x_{*}$ , $q = 1$ , $ϕ (x_{*}) = e^{- 1}$ , $\partial_{i} q = 0$ , and $\partial_{i} \partial_{j} q = - 2 δ_{i j} / R_{0}^{2}$ . Differentiating $ϕ = e^{- 1 / q}$ at this point gives $\partial_{i} ϕ (x_{*}) = 0$ and $\partial_{i} \partial_{j} ϕ (x_{*}) = - 2 e^{- 1} δ_{i j} / R_{0}^{2}$ , so $Δ_{δ} ϕ (x_{*}) = - 6 e^{- 1} / R_{0}^{2}$ . The flat metric $h_{0} = δ$ has scalar curvature $0$ , while [F2] gives $S_{h_{ε}} (x_{*}) = - 8 (1 + ε e^{- 1})^{- 5} ε Δ_{δ} ϕ (x_{*}) = \frac{48 ε e^{- 1}}{R_{0}^{2} (1 + ε e^{- 1})^{5}} > 0.$ Thus the scalar curvatures differ at $x_{*}$ although the ADM limits agree.

Remarks

The example changes a metric on an exterior manifold with an inner boundary and does not impose the Einstein constraint equations or completeness. It is not a counterexample to a positive-mass theorem with its own hypotheses.

A compact interior change preserves the ADM limit but changes scalar curvature

Example

Example references

Facts & Assumptions

Verification

Remarks

Depends on

Dependency tree · 2 levels

Sources