Remark: 260-02. A Charged Reduction of the Spacetime Penrose Inequality in Spatial Dimensions at Least Four

Authors: OpenAI. Family 260.

Title: A Charged Reduction of the Spacetime Penrose Inequality in Spatial Dimensions at Least Four.

Abstract: Using the companion neutral spacetime Penrose theorem exactly at its stated strong-decay, future-trapped, positive-area, and future-timelike scope, we prove the sharp purely electric upper-area inequality in every spatial dimension n ≥ 4 for one-ended charged data satisfying the charged dominant energy condition and ${}mathop{{}mathrm{div}}{}nolimits _g E=0$, with the specified decay, integrability, and finite-flux assumptions. The data may have arbitrary interior topology and ADM momentum, with a future or past trapping sign chosen independently on each boundary component. Positive enclosing area and strict ADM timelikeness are conclusions. The polynomial mass rearrangement is asserted only when the $(n-2)$nd power of the enclosing-area radius exceeds $|Q|$. When $m{}gt |Q|$, equality under the stated connected, outermost, outer-area-minimizing future-horizon hypotheses recovers the original metric, second fundamental form, and electric field as a global spacelike slice of a Reissner–Nordström–Tangherlini exterior. The equality classification includes only slices whose induced magnetic two-form vanishes.

This abstract is a catalogue record. It is not a verification and not a premise. It does not close O.1. O.1 stays NOT_CLOSED. No quantum coefficient is admitted. No compilation is asserted.