Minimally-coupled Quasilinear Symmetric Hyperbolic Systems, Naturally (March & Weatherall, arXiv:2610.39107)

philosophy-of-physicsgeneral-relativitysymmetric-hyperbolic-systemsnatural-bundlesminimal-couplingcategory-theoryarxivoutside

Capture note: the untrusted listing text gave the correct title verbatim; confirmed against the arXiv abstract page and the paper's own header. Authors are Eleanor March and James Owen Weatherall, both of the Department of Logic and Philosophy of Science, UC Irvine (Weatherall also holds an appointment in UCI's Department of Mathematics). Submitted 29 Oct 2026, 19 pages, math-ph with cross-lists to math.AP, math.CT, math.DG, and physics.hist-ph. No safety signals fired on either the abstract page or the PDF body — both read as ordinary technical prose throughout.

PDF fetched via extract_pdf (sha256: 7bae5cfc79f10050d5653f1fb46a9e4b24bd1771c44f3112e77054e24eadf3a4, tls: verified, pdftotext, 19 pages). Abstract page archived via archive_page (sha256 above). Both quoted below are grounded against these cached copies (quote_check passed on all four quotes used in the claim blocks).

The paper is a technical result in the mathematical physics / philosophy-of-physics literature on symmetric hyperbolic systems (the standard framework for well-posed initial-value problems in field theories, including general relativity) and natural equations (equations that transform functorially under diffeomorphisms — the technical content behind "general covariance"). Its central project: natural equations can never have a standard well-posed initial-value problem (this is cited from a companion paper, see Further leads), yet many physically important natural equations (Einstein's equation, naturalized Maxwell's equations) are "almost" symmetric hyperbolic. The paper works out exactly how close they come, in the special case where the equation is minimally coupled — depends on a Lorentzian metric to at most first order.

Claim: Minimal coupling, precisely defined, yields a unique construction up to isomorphism

Weatherall and March give a precise, category-theoretic definition of "minimal coupling" (a natural equation on X = B × G depending on the Lorentzian-metric quotient G to at most first order) and prove that, contrary to a claim found elsewhere in the literature — that a given special-relativistic theory may admit many inequivalent minimal couplings — a minimal coupling in their precise sense is unique up to a natural notion of isomorphism, when one exists (Theorem 2, "Uniqueness of minimal coupling").

"We will now show that that is not true for minimal couplings in the present sense: that is, if a system of equations admits a minimal coupling, then it is unique, up to a natural notion of isomorphism."

This is a specific technical-mechanism claim (how minimal coupling behaves mathematically), sourced to the paper itself — the primary document on arXiv, Tier 1, which clears the floor for technical-mechanism claims. The proof leans on an earlier theorem by Fletcher and Weatherall (2023) (see Further leads) — the uniqueness result is new to this paper, but its load-bearing lemma is not.

• source_url: https://arxiv.org/abs/2610.39107 | source_sha: 7bae5cfc79f10050d5653f1fb46a9e4b24bd1771c44f3112e77054e24eadf3a4 (PDF)
• source_author: Eleanor March; James Owen Weatherall | source_date: 2026-10-29
• source_title: "Minimally-coupled Quasilinear Symmetric Hyperbolic Systems, Naturally" | source_venue: arXiv:2610.39107 [math-ph]
• source_tier: 1

Claim: Naturally symmetric hyperbolic minimally-coupled equations have causal cones that must coincide with the metric lightcones

The paper shows that for a first-order, quasilinear, minimally-coupled natural equation that is "naturally symmetric hyperbolic" (admits a natural hyperbolization in their technical sense), the causal structure is forced: every null covector must be characteristic, and the causal cones of any maximal natural hyperbolization must be exactly the future- or past-directed timelike covectors relative to the background metric — i.e., the equation's own causal cones cannot be wider or narrower than the metric's light cones (Theorem 8, Lemma 6, Corollary 1 jointly establish this; the abstract states the conclusion directly).

"the causal cones associated with a (first order, quasilinear, minimally coupled) naturally symmetric hyperbolic natural equation must always coincide with the metric lightcones"

Specific technical-mechanism claim; primary arXiv source, Tier 1, clears the floor.

• source_url: https://arxiv.org/abs/2610.39107 | source_sha: 6f3b31e88366ff15edc6f7e3994f828a7256bb688d859c1434a0cdec2acfd11b (abstract page)
• source_author: Eleanor March; James Owen Weatherall | source_date: 2026-10-29
• source_title: "Minimally-coupled Quasilinear Symmetric Hyperbolic Systems, Naturally" | source_venue: arXiv:2610.39107 [math-ph]
• source_tier: 1

Claim: Natural maximal hyperbolizations automatically satisfy the dominant energy condition

The paper proves (Theorem 10) that any maximal natural hyperbolization of a minimally-coupled naturally symmetric hyperbolic equation — a rank-2 tensor field built naturally from the metric — must satisfy the dominant energy condition (or its sign-reversed counterpart). This matters because, as the authors note, the Hilbert stress-energy tensor is in many physical cases exactly such a hyperbolization, so any matter theory whose stress-energy tensor secures symmetric hyperbolicity automatically inherits the dominant energy condition as a side effect of naturality plus minimal coupling, rather than as an independently imposed physical postulate.

"we show that natural maximal hyperbolizations satisfy the dominant energy and conservation conditions. This provides a link between natural hyperbolizations and nice properties of stress–energy tensors in general relativity."

Specific technical-mechanism claim; primary arXiv source, Tier 1, clears the floor.

• source_url: https://arxiv.org/abs/2610.39107 | source_sha: 7bae5cfc79f10050d5653f1fb46a9e4b24bd1771c44f3112e77054e24eadf3a4 (PDF)
• source_author: Eleanor March; James Owen Weatherall | source_date: 2026-10-29
• source_title: "Minimally-coupled Quasilinear Symmetric Hyperbolic Systems, Naturally" | source_venue: arXiv:2610.39107 [math-ph]
• source_tier: 1

Claim: The rank-2 hyperbolization tensor must be divergence-free relative to the Levi-Civita connection, as a consequence of naturality alone

The paper proves (Theorem 11) that the divergence of a natural hyperbolization tensor, taken relative to the Levi-Civita derivative operator determined by the background metric, is forced to vanish — not because of any dynamical equation of motion, but because the only first-order natural operator from the metric bundle G to the relevant tensor bundle (T ⊗ S²V*Y) is the zero operator (citing Kolář–Michor–Slovák's classification of natural operators). This gives a conservation-type condition (full covariant conservation holds only when a further term involving the derivative of the field itself vanishes — Corollary 2).

"a certain rank-2 tensor, associates with a natural hyperbolization, must always be divergence free relative to the associated Levi-Civita derivative operator"

(The word "associates" appears exactly so in the original abstract text — reproduced verbatim, not a transcription error introduced here.)

Specific technical-mechanism claim; primary arXiv source, Tier 1, clears the floor.

• source_url: https://arxiv.org/abs/2610.39107 | source_sha: 6f3b31e88366ff15edc6f7e3994f828a7256bb688d859c1434a0cdec2acfd11b (abstract page)
• source_author: Eleanor March; James Owen Weatherall | source_date: 2026-10-29
• source_title: "Minimally-coupled Quasilinear Symmetric Hyperbolic Systems, Naturally" | source_venue: arXiv:2610.39107 [math-ph]
• source_tier: 1

Further leads

• Theorem 7 in this paper — "No sufficiently rich natural theory admits a well-posed initial value problem" — is credited to a forthcoming companion paper: J. O. Weatherall and E. March, "Natural theories" (2025), arXiv:2504.05703 [physics.hist-ph]. Worth its own capture; also relevant to the vault's single-source-concentration cap since it is the same author pair as this paper.
• The uniqueness proof here (Theorem 2) rests on "Theorem 5" of S. C. Fletcher and J. O. Weatherall, "The local validity of special relativity, part 1: Geometry," Philosophy of Physics 1, 7 (2023) — an independently citable load-bearing prior result, not reproduced here.
• The historical motivation for "naturalization" is explicitly traced to the Kretschmann objection: E. Kretschmann, "Über den physikalischen Sinn der Relativitätspostulate...", Annalen der Physik 53 (1917) — the classical 1917 argument that general covariance alone is not a substantive physical constraint on a theory.
• The paper's framework (natural bundles, hyperbolizations, constraints, integrability) explicitly and repeatedly follows R. Geroch, "Partial differential equations of physics," in General Relativity: Proceedings of the Forty-Sixth Scottish Universities Summer School in Physics (SUSSP Publications, 1996), pp. 19–60 — described by the authors as the source of their index conventions and much of their technical apparatus; the authors also flag that "the gap described by Geroch, §A remains open" regarding a full existence proof (citing R. Geroch, "Gauge, diffeomorphisms, initial-value formulation, etc." in The Einstein Equations and the Large Scale Behavior of Gravitational Fields, Birkhäuser, 2004, pp. 441–477) — an explicitly unresolved mathematical gap, not claimed to be closed by this paper.
• The classical existence/uniqueness theorem for symmetric hyperbolic systems that this whole apparatus generalizes is K. O. Friedrichs, "Symmetric hyperbolic linear differential equations," Communications in Pure and Applied Mathematics 7, 345–392 (1954).
• Footnote 6 compares the paper's "unique up to unique isomorphism" standard of determinism to H. Halvorson, J. B. Manchak, and J. O. Weatherall, "Deterministic theories," Philosophy and Phenomenological Research 113, 134–152 (2026) — a separate, apparently very recent Weatherall co-authored paper on determinism for mathematically formulated theories.
• A separate companion piece: E. March and J. O. Weatherall, "A puzzle about general covariance and gauge," (2024), arXiv:2405.03906 [physics.hist-ph].
• The paper explicitly states that Einstein's equation itself is not minimally coupled under their precise definition (it depends on the metric to second order, not first) — a definitional nuance worth flagging if this literature is captured further.

Entity candidates

• Robert Geroch — person — the older foundational figure this paper's whole technical apparatus (natural equations, hyperbolizations, constraints, index conventions) is built on and measured against; his 1996 lecture-notes treatment of "Partial Differential Equations of Physics" is cited more than any other single source, and the paper flags an unresolved gap in his existence argument rather than claiming to close it.
• Kurt Otto Friedrichs — person — author of the 1954 paper that originated the classical theory of symmetric hyperbolic systems, which this paper generalizes to the "natural equation" context.
• Erich Kretschmann — person — 1917 paper behind the "Kretschmann objection," the historical-philosophical argument about general covariance that motivates the paper's "naturalization" project.
• James Owen Weatherall — person — co-author; Chancellor's Professor, Logic & Philosophy of Science and Mathematics, UC Irvine; philosopher of physics with prior books (The Physics of Wall Street, Void) and a substantial co-authored technical literature on general covariance, minimal coupling, and determinism.
• Eleanor March — person — co-author, Department of Logic and Philosophy of Science, UC Irvine; limited independent web footprint found — appears primarily in co-authorship with Weatherall (this paper, "Natural theories" 2025, "A puzzle about general covariance and gauge" 2024).
• Samuel C. Fletcher — person — co-author (with Weatherall) of the 2023 paper whose Theorem 5 is the load-bearing lemma behind this paper's uniqueness result.
• minimal coupling — concept — the "comma goes to semicolon" prescription for building general-relativistic equations from special-relativistic ones; this paper gives it a precise category-theoretic definition and proves it is unique where it applies.
• natural equation / natural bundle — concept — equations/bundles that transform functorially under diffeomorphisms of the base manifold; the technical content behind "general covariance" in this literature.
• symmetric hyperbolic system — concept — the standard PDE framework (Friedrichs 1954) guaranteeing well-posed initial-value problems, central to this paper's analysis.
• dominant energy condition — concept — standard energy condition in general relativity, shown here to follow automatically from naturality + minimal coupling for hyperbolizing tensors.
• hole argument — concept — Einstein's argument referenced as the reason natural equations can only have solutions unique "up to diffeomorphism," not literally unique.