arxiv: 2605.08216 · v1 · submitted 2026-05-06 · 🧮 math.DG

Recognition: 2 theorem links

· Lean Theorem

The energy-momentum tensor of the Standard Model with applications to energy conditions

Adam Lindstr\"om, Marko Sobak, Volker Branding

Pith reviewed 2026-05-12 01:25 UTC · model grok-4.3

classification 🧮 math.DG

keywords energy-momentum tensorStandard Modelenergy conditionsglobally hyperbolic manifoldvariational problemgeneral relativity

0 comments

The pith

The Standard Model Lagrangian on globally hyperbolic manifolds produces an energy-momentum tensor whose properties can be checked against the energy conditions of general relativity.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper formulates the complete Standard Model action as a variational problem directly on a spacetime manifold equipped with a Lorentzian metric. From this geometric setup it extracts the energy-momentum tensor in a coordinate-free manner by varying the action with respect to the metric. The resulting tensor is then inserted into the classical energy conditions that appear in general-relativity theorems. A reader would care because these conditions decide whether gravity can form singularities, whether wormholes can be traversed, and whether the universe can accelerate in the way observations suggest.

Core claim

Treating the Standard Model as a geometric variational problem on a globally hyperbolic manifold yields an invariantly defined energy-momentum tensor; when this tensor is evaluated for the known field content of the model, several standard energy conditions of general relativity hold or fail in a manner that can be read off directly from the particle spectrum and couplings.

What carries the argument

The energy-momentum tensor obtained by metric variation of the geometrically promoted Standard Model Lagrangian.

If this is right

The tensor is conserved by construction once the field equations are satisfied.
Energy conditions become statements about the signs of quadratic forms built from the Higgs, gauge, and fermion fields.
The same tensor can be used to source the Einstein equations for any solution whose matter sector is described by the Standard Model.
Violation or saturation of a given energy condition can be traced to the presence of specific particles or interactions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The construction opens the possibility of studying the back-reaction of Standard Model fields on the geometry without choosing a background metric in advance.
It supplies a concrete starting point for asking whether quantum corrections or finite-temperature effects modify the classical energy conditions.
The same variational framework could be applied to extensions of the Standard Model that include new fields or modified gauge groups.

Load-bearing premise

The Standard Model Lagrangian can be lifted to an arbitrary globally hyperbolic manifold while preserving its gauge structure, field content, and renormalization without further restrictions on the metric.

What would settle it

An explicit computation, on a concrete globally hyperbolic manifold such as Minkowski space or a simple FLRW background, showing that the derived tensor violates the null energy condition for a physically realized configuration of Standard Model fields.

read the original abstract

The Standard Model of elementary particle physics is one of the most successful models of contemporary physics, its predictions being in full agreement with experiments. In this manuscript we consider the Lagrangian of the Standard Model as a geometric variational problem on a globally hyperbolic manifold and derive the associated energy-momentum tensor in a geometric invariant way. As an application, we investigate the validity of various energy conditions that arise in general relativity.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper derives the SM energy-momentum tensor invariantly from its Lagrangian on globally hyperbolic manifolds and checks energy conditions, with the derivation looking solid but the checks mostly routine.

read the letter

The main takeaway is a geometric derivation of the energy-momentum tensor directly from the full Standard Model Lagrangian treated as a variational problem on globally hyperbolic manifolds, followed by direct checks on the standard energy conditions from general relativity. They pull the tensor out in an invariant way without coordinates, which extends the usual Hilbert or Noether methods to the complete SM field content including gauge bosons, fermions, and the Higgs sector under minimal coupling. That step is the actual new piece here, since prior work has done similar things for simpler theories but not this specific combination with the energy-condition application. The setup stays classical and focuses on the manifold structure, which keeps the calculation clean and reproducible in principle. The energy-condition part follows straightforwardly once the tensor expression is in hand, so it mainly confirms that the SM fields satisfy or violate the conditions in the expected ways for their kinetic and potential terms. One minor soft spot is that the promotion to curved space relies on the usual covariant derivatives for the gauge groups, and any subtleties with anomalies or renormalization are left aside since the work is at the classical level. No load-bearing gaps appear in the variational steps or the manifold assumptions. This is useful for people working on semiclassical gravity or singularity theorems who need an explicit SM expression rather than effective fluid approximations. It is not a big conceptual leap but supplies a concrete reference that was missing. I would send it to peer review because the derivation is checkable and the link to GR energy conditions is concrete enough to be worth referee time.

Referee Report

0 major / 2 minor

Summary. The manuscript treats the Standard Model Lagrangian as a geometric variational problem on a globally hyperbolic manifold, derives the associated energy-momentum tensor in a geometrically invariant manner, and applies the result to investigate the validity of various energy conditions arising in general relativity.

Significance. If the central derivation is free of gaps, this provides a coordinate-independent EMT for the complete Standard Model (including all gauge fields, fermions, and the Higgs sector) that could serve as a rigorous input for energy-condition analyses in curved spacetimes. The geometric promotion of the Lagrangian is a clear strength when it preserves the SM gauge structure without additional metric assumptions.

minor comments (2)

The abstract refers to 'various energy conditions' without naming them (e.g., weak, strong, dominant, or null); this should be stated explicitly so readers can assess the scope of the application section.
Clarify in the introduction or methods section how gauge fixing and renormalization are handled when promoting the flat-space SM Lagrangian to an arbitrary globally hyperbolic manifold, to confirm that the field content and interactions remain unchanged.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The report contains no specific major comments requiring point-by-point response.

Circularity Check

0 steps flagged

No significant circularity; derivation follows standard variational principles

full rationale

The paper treats the Standard Model Lagrangian as input and applies the standard geometric variational procedure on a globally hyperbolic manifold to obtain the energy-momentum tensor, then checks energy conditions. No quoted step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the derivation is independent of the target results and uses external mathematical facts about variational calculus. This is the expected non-circular outcome for a direct application of known methods.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard axioms of differential geometry and variational calculus plus the assumption that the SM Lagrangian admits a globally hyperbolic background without further specification; no free parameters or invented entities are indicated in the abstract.

axioms (2)

domain assumption The Standard Model Lagrangian can be treated as the integrand of a geometric variational problem on a globally hyperbolic manifold while retaining its full gauge and field content.
Invoked in the first sentence of the abstract as the starting point for the derivation.
standard math Standard results from the calculus of variations on Lorentzian manifolds yield a well-defined, symmetric energy-momentum tensor.
Implicit in the claim of a 'geometric invariant way' derivation.

pith-pipeline@v0.9.0 · 5356 in / 1526 out tokens · 35140 ms · 2026-05-12T01:25:00.991351+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
We consider the Lagrangian of the Standard Model as a geometric variational problem on a globally hyperbolic manifold and derive the associated energy-momentum tensor in a geometric invariant way.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
T_SM = T_YM + T_Dirac + T_Higgs with explicit expressions involving |F_ω|, ∇ωΦ, and spinor bilinears; checks of energy conditions.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

[1]

Stress-energy tensors and the Lichnerowicz Laplacian.J

Paul Baird. Stress-energy tensors and the Lichnerowicz Laplacian.J. Geom. Phys., 58(10):1329–1342, 2008

work page 2008
[2]

Generalized cylinders in semi-Riemannian and Spin geometry.Math

Christian B¨ ar, Paul Gauduchon, and Andrei Moroianu. Generalized cylinders in semi-Riemannian and Spin geometry.Math. Z., 249(3):545–580, 2005

work page 2005
[3]

Scalar fields, energy conditions and traversable wormholes.Classical Quan- tum Gravity, 17(18):3843–3864, 2000

Carlos Barcel´ o and Matt Visser. Scalar fields, energy conditions and traversable wormholes.Classical Quan- tum Gravity, 17(18):3843–3864, 2000

work page 2000
[4]

Helga Baum.Spin-Strukturen und Dirac-Operatoren ¨ uber pseudoriemannschen Mannigfaltigkeiten, volume 41 ofTeubner-Texte zur Mathematik [Teubner Texts in Mathematics]. BSB B. G. Teubner Verlagsgesellschaft, Leipzig, 1981. With English, French and Russian summaries

work page 1981
[5]

Springer Spek- trum Berlin, Heidelberg, 2nd edition, 2014

Helga Baum.Eichfeldtheorie: Eine Einf¨ uhrung in die Differentialgeometrie auf Faserb¨ undeln. Springer Spek- trum Berlin, Heidelberg, 2nd edition, 2014

work page 2014
[6]

Besse.Einstein manifolds

Arthur L. Besse.Einstein manifolds. Classics in Mathematics. Springer-Verlag, Berlin, 2008. Reprint of the 1987 edition

work page 2008
[7]

Blaschke, Fran¸ cois Gieres, M´ eril Reboud, and Manfred Schweda

Daniel N. Blaschke, Fran¸ cois Gieres, M´ eril Reboud, and Manfred Schweda. The energy-momentum tensor(s) in classical gauge theories.Nuclear Phys. B, 912:192–223, 2016

work page 2016
[8]

Spineurs, op´ erateurs de Dirac et variations de m´ etriques

Jean-Pierre Bourguignon and Paul Gauduchon. Spineurs, op´ erateurs de Dirac et variations de m´ etriques. Comm. Math. Phys., 144(3):581–599, 1992

work page 1992
[9]

Nonlinear Dirac equations, monotonicity formulas and Liouville theorems.Comm

Volker Branding. Nonlinear Dirac equations, monotonicity formulas and Liouville theorems.Comm. Math. Phys., 372(3):733–767, 2019

work page 2019
[10]

Global critical points of the standard model on four-dimensional space- times of expanding type.arxiv:2502.03240, 2025

Volker Branding and Marko Sobak. Global critical points of the standard model on four-dimensional space- times of expanding type.arxiv:2502.03240, 2025

work page arXiv 2025
[11]

Callan, Jr., Sidney Coleman, and Roman Jackiw

Curtis G. Callan, Jr., Sidney Coleman, and Roman Jackiw. A new improved energy-momentum tensor.Ann. Physics, 59:42–73, 1970

work page 1970
[12]

Existence of global solutions of the Yang-Mills, Higgs and spinor field equations in 3 + 1 dimensions.Ann

Yvonne Choquet-Bruhat and Demetrios Christodoulou. Existence of global solutions of the Yang-Mills, Higgs and spinor field equations in 3 + 1 dimensions.Ann. Sci. ´Ecole Norm. Sup. (4), 14(4):481–506 (1982), 1981

work page 1982
[13]

Birkh¨ auser/Springer, New York, 2017

Erik Curiel.A primer on energy conditions, volume 13 ofEinstein Studies, pages 43–104. Birkh¨ auser/Springer, New York, 2017

work page 2017
[14]

S. K. Donaldson and P. B. Kronheimer.The geometry of four-manifolds. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, 1990. Oxford Science Publications

work page 1990
[15]

On vanishing theorems for vector bundle valuedp-forms and their applications.Comm

Yuxin Dong and Shihshu Walter Wei. On vanishing theorems for vector bundle valuedp-forms and their applications.Comm. Math. Phys., 304(2):329–368, 2011

work page 2011
[16]

Eardley and Vincent Moncrief

Douglas M. Eardley and Vincent Moncrief. The global existence of Yang-Mills-Higgs fields in 4-dimensional Minkowski space. I. Local existence and smoothness properties.Comm. Math. Phys., 83(2):171–191, 1982

work page 1982
[17]

Eardley and Vincent Moncrief

Douglas M. Eardley and Vincent Moncrief. The global existence of Yang-Mills-Higgs fields in 4-dimensional Minkowski space. II. Completion of proof.Comm. Math. Phys., 83(2):193–212, 1982

work page 1982
[18]

Currents and the energy-momentum tensor in classical field theory: a fresh look at an old problem.Ann

Michael Forger and Hartmann R¨ omer. Currents and the energy-momentum tensor in classical field theory: a fresh look at an old problem.Ann. Physics, 309(2):306–389, 2004

work page 2004
[19]

Cambridge Monographs on Math- ematical Physics

Yasunori Fujii and Kei-ichi Maeda.The scalar-tensor theory of gravitation. Cambridge Monographs on Math- ematical Physics. Cambridge University Press, Cambridge, 2003. 20 VOLKER BRANDING, ADAM LINDSTR ¨OM, AND MARKO SOBAK

work page 2003
[20]

Mark J. D. Hamilton.Mathematical gauge theory. Universitext. Springer, Cham, 2017. With applications to the standard model of particle physics

work page 2017
[21]

S. W. Hawking and G. F. R. Ellis.The large scale structure of space-time. Cambridge Monographs on Mathematical Physics, No. 1. Cambridge University Press, London-New York, 1973

work page 1973
[22]

Energy conditions in general relativity and quantum field theory

Eleni-Alexandra Kontou and Ko Sanders. Energy conditions in general relativity and quantum field theory. Classical Quantum Gravity, 37(19):193001, 63, 2020

work page 2020
[23]

Blaine Lawson, Jr

H. Blaine Lawson, Jr. and Marie-Louise Michelsohn.Spin geometry, volume 38 ofPrinceton Mathematical Series. Princeton University Press, Princeton, NJ, 1989

work page 1989
[24]

Energy conditions in arbitrary dimensions.PTEP

Hideki Maeda and Cristi´ an Mart´ ınez. Energy conditions in arbitrary dimensions.PTEP. Prog. Theor. Exp. Phys., 2020(4):043E02, 35, 2020

work page 2020
[25]

Thomas H. Parker. Gauge theories on four-dimensional Riemannian manifolds.Comm. Math. Phys., 85(4):563–602, 1982

work page 1982
[26]

Rendall.Partial differential equations in general relativity, volume 16 ofOxford Graduate Texts in Mathematics

Alan D. Rendall.Partial differential equations in general relativity, volume 16 ofOxford Graduate Texts in Mathematics. Oxford University Press, Oxford, 2008

work page 2008
[27]

ESI Lectures in Mathematics and Physics

Hans Ringstr¨ om.The Cauchy problem in general relativity. ESI Lectures in Mathematics and Physics. Eu- ropean Mathematical Society (EMS), Z¨ urich, 2009

work page 2009
[28]

H. C. J. Sealey. Some conditions ensuring the vanishing of harmonic differential forms with applications to harmonic maps and Yang-Mills theory.Math. Proc. Cambridge Philos. Soc., 91(3):441–452, 1982

work page 1982
[29]

Large data decay of Yang-Mills-Higgs fields on Minkowski and de Sitter spacetimes

Grigalius Taujanskas. Large data decay of Yang-Mills-Higgs fields on Minkowski and de Sitter spacetimes. J. Math. Phys., 60(12):121504, 17, 2019

work page 2019
[30]

AIP Series in Computational and Applied Mathematical Physics

Matt Visser.Lorentzian wormholes. AIP Series in Computational and Applied Mathematical Physics. Amer- ican Institute of Physics, Woodbury, NY, 1995. From Einstein to Hawking. University of Rostock, Institute of Mathematics, Ulmenstraße 69, 18057 Rostock, Germany, Email address:volker.branding@uni-rostock.de University of Vienna, Faculty of Mathematics, Os...

work page 1995