Alphabeta Math
Open problemQuestion: Literature-sourcedProof: Not applicablePipeline-generated‡ sources checked 2026-11-05
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.

Electric weak-gravity conjecture in four dimensions

Physical scope

Open four-dimensional asymptotically flat electric particle WGC for ultraviolet-complete quantum gravity in the displayed Einstein-Maxwell normalization. The qualifying elementary or bound charged excitation is distinct from the classical extremal black-hole reference; lattice, sublattice, tower, magnetic and black-hole-spectrum versions remain separate.

Open problem

Use natural units ℏ=c=1. On a smooth four-dimensional Lorentzian spacetime with smooth metric of signature (−,+,+,+), reduced Planck mass MP−2=8πGN, and a smooth compact U(1) connection with local real potential one-forms A and curvature F=dA, take the Einstein–Maxwell action to be S=∫Md4x −det⁡(gμν)(MP22R−14g2FμνFμν). Here R is the Ricci scalar for Rρσμν=∂μΓνσρ−∂νΓμσρ+ΓμλρΓνσλ−ΓνλρΓμσλ, indices are raised with gμν, g>0 is the gauge coupling, and the matter covariant derivative is Dμ=∇μ−iqAμ. Fix the global form and normalization of compact U(1) so its character lattice is Z with unit weight 1 and q∈Z; this fixes allowed charges without assuming a unit-charge particle exists; equivalently, normalize electric flux by q=g−2∫S∞2∗F with a fixed sphere orientation. A Reissner–Nordström solution here is a static, spherically symmetric, asymptotically flat electrically charged vacuum solution of this action with no cosmological term; it is extremal when its inner and outer horizon radii coincide. Its mass at charge q is Mext(q)=2g∣q∣MP. The weak electric particle version of the weak-gravity conjecture asks whether every ultraviolet-complete quantum-gravity theory admitting this asymptotically flat Einstein–Maxwell regime contains at least one charged particle with q≠0 and m≤Mext(q)=2g∣q∣MP. Here a counted particle is a dynamical elementary or bound excitation represented by a propagating charged field in a local effective description valid at its mass scale, rather than a macroscopic horizon geometry. Its rest mass m is the stable mass-shell value, or the lower rest-energy threshold with the required soft-photon dressing; the state and infrared mass prescription must be specified. Classical Reissner–Nordström black-hole solutions, including extremal ones, are comparison configurations and do not count as the required particle. Tower, lattice, sublattice and magnetic-cutoff versions are distinct conjectures.

The acronym WGC denotes the weak gravity conjecture. The displayed inequality is non-strict; sharpened versions may require strict inequality. In these conventions [m]=[MP]=1 and g,q are dimensionless. A rescaling of A, the minimal charge, or the Planck convention changes the displayed factors and must be translated before comparison. This fixes the particle version; versions counting quantum-corrected black-hole states need their own spectral and extremality prescription. The claim is about at least one particle in a specified charge sector; it does not assert that every allowed lattice charge is realized or that a superextremal particle occurs at every charge.

Status

Status review dated 2025-09-05: the bounded record is Arkani-Hamed–Motl–Nicolis–Vafa, PDF pp. 1–4; Palti, PDF pp. 28–31; and Lehnert, §II.S, PDF pp. 94–96. Lehnert states that its reviewed literature was published before 2025 (PDF p. 2, note 8). These sources present inequivalent WGC versions and evidence for special classes, but do not prove the universal electric bound as stated here. The reported counterexamples apply to particular formulations/settings and are not silently transferred to this fixed charge/action normalization. This item makes no status claim about literature after that cutoff and does not claim an exhaustive search.

Depends on

Dependency tree · 2 levels

Sources