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.
Independent equation-based Einstein–Maxwell coupling — Examples
1 · Prerequisites
- Abelian Categories
- Absolute and Conditional Convergence; Rearrangement; Products
- Alternative action formulation
- Arc Length and Rectifiable Curves
- Areas of Elementary Plane Figures
- Banach-Space Differential Calculus and Banach Manifolds
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Linear Operators and Quotient Spaces
- Categories, Functors and Natural Transformations
- Chain Complexes and Homology
- Cm Math Continuum
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Complex Coordinate and Path Transport
- Complex Differentiability and the Cauchy–Riemann Equations
- Complex Norms and Realification
- Complexification, Realification and Real Structures
- Connectedness
- Connections And Free Fall
- Connections Levi Civita and Parallel Transport
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Curvature And Tides
- Density Separability and Convolution in Lᵖ
- Determinants of Matrices over a Commutative Ring
- Distributions Test Functions and Differentiation
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Einstein And Matter
- Einstein–Maxwell primitive quantities and SI conventions
- Em Elementary Mathematical Prerequisites
- Em Expanded Analysis Prerequisites
- Em Minkowski Mathematical Prerequisites
- Em Variational Mathematical Prerequisites
- Euclidean Ordinary Differential Equations with Smooth Dependence
- Exterior Powers, Orientation and Hodge Duality
- Fibrations Fiber Bundles and Homotopy Exact Sequences
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Dimensional Normed Spaces and Riesz Lemma
- Forces and Continuum
- Foundations of the Real Numbers for Analysis
- Framework And Geometry
- Free Modules, Exact Sequences, Projective and Injective Modules
- Fubini and Change of Variables
- Fundamental Trigonometric Identities
- Gauge/diffeomorphism matter identity and field exchange
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Geodesics, the Exponential Map, Completeness, and Hopf–Rinow
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Hereditary and Productive Behaviour of the Separation Axioms
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper Integrals
- Independent equation-based Einstein–Maxwell coupling
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Integration of Forms and the General Stokes Theorem
- Lebesgue Measure on Euclidean Space
- Limits and Colimits
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Line Integrals and the Gradient Theorem
- Linear Algebra Methods in Combinatorics
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Local potentials and smooth circle-bundle connection data
- Lorentz Transformations
- Manifolds with Boundary Collars and Orientations
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Densities and Radon Volume on Manifolds
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Morse Critical Points Hessians and Indices
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Order, Zorn's Lemma, and the Axiom of Choice
- Oriented Lorentzian fields, observers and coordinate conventions
- Outer Measure and the Caratheodory Extension Theorem
- Partitions of Unity and Paracompactness
- pi: the Equivalent Characterizations
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Pointwise Extended-Real Function Products
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Preadditive and Additive Categories and Biproducts
- Primitives and postulates
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Rank Theorems and Embedded Submanifolds
- Regular Surfaces and Surface Integrals
- Relations, Functions, and Quotients
- Riemann Curvature and Riemannian Submanifolds
- Riemannian Metrics Length Distance and Volume
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Schwartz Space and the Plancherel Theorem
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Simplicial Complexes and Simplicial Homology
- Sine, Cosine, and the Definition of Pi
- Singular Chains and Singular Homology
- Singular Cochains Mayer Vietoris and Smooth Singular Comparison
- Singular Cohomology and Coefficient Theorems
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Smooth Vector Bundles and Sections
- Sourced Maxwell sign and current conservation
- Spacetime Primitives
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- Tensor Fields Exterior Algebra and Differential Forms
- Tensor Products of Modules
- Tensors And Observers
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Complex Exponential and Euler's Formula
- The De Rham Complex Homotopy and Mayer Vietoris
- The de Rham Theorem and Degree
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Divergence Theorem and Classical Stokes
- The Exponential Function
- The Exterior Derivative and Cartan Calculus
- The Fundamental Theorems of Calculus
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Maximal Function and Lebesgue Differentiation
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Uniform Spaces: the Three Definitions
- Vector Fields Flows and Lie Derivatives
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Volumes of Elementary Solids and Solids of Revolution
- Weak Derivatives and Sobolev Spaces
- Worldlines And Clocks
2 · Summary
Scope
These examples calculate two limits of the specified smooth coupling. A classical scalar plane wave can solve its matter equation on a prescribed flat background while failing the coupled Einstein equation; with nonzero electromagnetic coupling, the same zero-potential background also fails the sourced Maxwell equation. A separate constant electric field solves the source-free Maxwell equations on Minkowski space but has nonzero Hilbert stress, so the same flat metric fails the coupled Einstein equation. These are exact conditional model calculations, not observations or claims about particle ontology.
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
None yet.
5 · Examples, experiments and counterexamples
Background scalar wave versus coupled source equations
Exact smooth plane-wave calculations in the specified classical scalar model on a flat background. They distinguish a matter equation solution from a solution of the coupled equations and make no empirical or quantum claim.
Example
Take the trivial global-potential branch of the scalar model on with global coordinates , where and , and Minkowski metric . Use the trivial principal bundle with its product connection, so the global physical potential is , and take . Set , where is a classical inverse-length parameter , not a rest mass. Let be dimensionless and let have components in . Define the angular frequency , with unit . The smooth field solves the scalar equation for every allowed value of , because makes . Its current, however, depends on . The two cases below show why a solution of the scalar equation on a prescribed background need not solve the coupled Einstein–Maxwell system.
Facts & Assumptions
Given: The smooth scalar model and its coupled equations from Field equations and balances of the selected scalar coupling, the flat metric and fields in the Example, , , real , and the indexed countable-choice convention [A3].
Field equations and balances of the selected scalar coupling: with , scalar stationarity requires ; the matter current and stress are and ; the coupled Maxwell and Einstein equations use those sources.
, there is no additional matter stress, and the background potential is , so .
The scalar is a smooth global complex field on the trivial bundle; , , , , and is any real number on this branch. In particular, both and are admissible.
The Axiom of Countable Choice (): every sequence of nonempty sets has a choice function. This is the indexed countable-choice convention used by the compact integration suppliers; no full Axiom of Choice is assumed.
Verification
Given: The hypotheses and exact field definitions above.
Since in the trivial branch [A2], . With , by the definition of . Thus the plane wave solves the selected scalar equation on the flat background.
For the admissible case of [A2], the current formula in [F1] gives . On shell, by step 1.1, and , so . The stress formula in [F1] therefore gives . In the Cartesian coordinates of , the metric components are constant; the Levi-Civita formula therefore gives , and the curvature formula then gives . With and , the coupled Einstein equation would require , impossible because .
For the admissible case of [A2] and the same wave, , so . The sourced Maxwell equation would require , because ; this is impossible since . Thus the background scalar wave is not a coupled solution in this branch either.
The exact calculations establish a conditional model example only. is not identified with , and no particle, observation, or quantum field interpretation is asserted.
A flat Maxwell field need not solve the coupled Einstein equations
A smooth exact counterexample showing that a source-free Maxwell solution on a prescribed flat background need not satisfy the coupled action-based Einstein equation. It uses no empirical data or singular field.
Statement refuted
The false claim is: on with global length coordinates , , and Minkowski metric , every smooth source-free Maxwell field on the trivial principal bundle, paired with that same flat metric, is a solution of the coupled action-based Einstein–Maxwell equations with and no additional matter.
Facts & Assumptions
Given: The action-based field equations and SI stress convention of Einstein–Maxwell equations from compact action stationarity, on a flat background with zero cosmological parameter and no additional matter, under the indexed countable-choice convention [A2].
Einstein–Maxwell equations from compact action stationarity: the smooth fixed-sector field system requires , , and , where .
Let with global length coordinates , , and Minkowski metric . Use the trivial principal bundle with product projection and its global trivialization. For a nonzero constant electric-field component with SI unit , defined relative to the observer in the direction, define the global physical potential by its components and for . The normalized local representative is , and the principal connection in this trivialization is for . Its physical curvature is , so and all other independent components vanish.
Choose the zero-matter model with configuration space , no matter-field variations, and differentiable functional . Its matter first variations vanish for every admissible metric and connection variation, hence its current and Hilbert stress are and . Set and .
The Axiom of Countable Choice (): every sequence of nonempty sets has a choice function. This is the indexed countable-choice convention used by the compact integration suppliers; no full Axiom of Choice is assumed.
Counterexample
Given: The fields and parameter values in [A1].
The two-form is constant, so and for every . Hence it satisfies the sourced equation in [F1] with , and is a smooth source-free Maxwell solution on the prescribed Minkowski background.
Its invariant is and . Substitution in the stress formula [F1] gives .
In Cartesian coordinates the components of are constant, so the Levi-Civita formula gives . The curvature formula then gives zero Riemann and Einstein tensors, in particular . With and from [A1], the coupled Einstein equation in [F1] would require , contradicting and step 1.2. This source-free Maxwell solution on a fixed background is not a solution of the coupled equations, refuting the claim.