physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
Inspection of the equations of motion for classical electromagnetism (Maxwell's equations) readily reveals that — either in vacuum, in a dielectric medium or in a background field of gravity — they may equivalently be (re)written (in fact this is close to their original historical form) as
a system of purely “topological”, “cohomological” or “exterior” partial differential equations
on twice the number of physical fields,
a linear “constitutive equation” imposing a “duality” relation on the fields
reducing them to the physical degrees of freedom,
where it is only the second but not the first part that involves the “background” structure, namely the dielectric tensor characterizing the ambient dielectric medium and/or the pseudo-Riemannian metric characterizing the field of gravity.
This fact itself is fairly evident (certainly in modern formulations of Maxwell’s equations, see below), but some authors have highlighted it as possibly being of deeper relevance, starting with Kottler (1922a), (1922b), Cartan (1924) §80, Dantzig (1934) and more recently Hehl & Obukhov (2003), Delphenich (2005a), (2005b) (see the comprehensive account by Delphenich (202x)), the broad idea being that the second step above should be regarded as, indeed, secondary and possibly subject to conceptual re-evaluation (e.g. Delphenich (2015)).
We point out below (see also Freed (2002)) that, while the explicit perspective of “pre-metric electromagnetism” is maybe not widely appreciated under this name, in fact exactly the same idea – just with the electromagnetic field replaced by the (hypothetical) “RR-field” and then often called the “democratic” instead of “premetric” formulation – is secretly at the heart of the the widely recognized conjecture of K-theory classification of D-brane charge as well as of related conjectures, such as Hypothesis H.
The equations of motion of classical electromagnetism (Maxwell's equations) on any spacetime manifold $(X,g)$ read, in modern differential form-formulation:
where
the differential 2-form $F \,\in\, \Omega^2(X)$ is the Faraday tensor,
the differential 3-form $j \,\in\, \Omega^3(X)$ is the electromagnetic current density
$\mathrm{d} \,\colon\,\Omega^p(X) \longrightarrow \Omega^{p+1}(X)$ denotes the de Rham differential,
and last not least
Often this is considered for $X \simeq \mathbb{R}^{3,1}$ being Minkowski spacetime, hence for $g = \eta$ the Minkowski metric, in which case this describes pure “Maxwell theory”, but the exact same formulas apply in the generality that $(X,g)$ is any Lorentzian manifold, in which case they form the sector of the equations of motion of Einstein-Maxwell theory which involve the electromagnetic field and its coupling to background gravity. (The remaining sector are the Einstein equations for the metric field $g$ sourced by the stress-energy tensor of the Maxwell field.)
In order to bring out more manifestly that gravity (the pseudo-Riemannian metric) enters only through the Hodge star operator, we may evidently re-write the above pair of equations (1) equivalently as follows:
In fact, this formulation (2) is closer to the (original) formulation of Maxwell’s equations used in the case that spacetime $X$ is thought of as possibly filled with a dielectric medium where, a priori, one considers two groups of fields:
the electric field $\vec E$ and magnetic flux density $\vec B$
which jointly constitute the Faraday tensor, given (on a local coordinate chart $(t,x^1, x^2, x^3)$) by (see there):
as well as
the actual magnetic field $\vec H$ and the dielectric displacement (or similar) $\vec D$, with
and then imposes constitutive equations relating $(\vec E, \vec B)$ to $(\vec H, \vec D)$ and thereby expressing the dielectric-property of any electromagneric medium that one imagines filling the spacetime $X$.
In general, constitutive equations can be nonlinear (and even multi-valued, reflecting hysteresis effects), but for sufficiently small field strengths they are of the form
for a linear map
much like the Hodge star operator (whence here we use similar notation for both, which is non-standard).
While not traditionally discussed under this terminology in the literature, we may recognize (SS23) higher versions of “premetric” electromagnetism occuring in the supergravity- and string theory-literature as duality-symmetric or “democratic” formulations.
For more on the general picture see at Gauss law – In higher gauge theory.
The theory of type II D=10 supergravity famously contains higher gauge fields called the Ramond-Ramond fields or RR-fields for short, which may be understood as a certain higher-degree generalization of the electromagnetic field:
Where the electromagnetic field strength is a single differential 2-form $F_2 \,\in\, \Omega^2(X)$ (the Faraday tensor), the RR-fields have their field strengths encoded in a tuple of differential forms in every second degree up to half the spacetime dimension:
where $\sigma = 0$ for type IIA supergravity and $\sigma = 1$ for type IIB supergravity.
Moreover, the equations of motion of these RR-fields are of the general form of Maxwell's equations (1), in fact when the Kalb-Ramond field and the spinor fields vanish, then the equations of motion are as before, up to form degree
(In more generality the right-hand sides are non-vanishing combinations with the Kalb-Ramond field – already for the first equation! – and the spinor fields.)
But one may famously understand type II supergravity as the low-energy limit of type II string theory, in which case there are subtle flux quantization laws of the total flux of these RR-fields (in variation of the Dirac charge quantization-law imposed on the Maxwell field when regarding electromagnetism as the background field for quantum electrons).
A widely-considered conjecture (here) says that this flux quantization is realized by
regarding the would-be Hodge duals $\star_g F_{2p + \sigma}$ of the RR-fields as independent fields $F_{10-2p-\sigma}$, so that the “pre-metric RR-field” now has about twice as many components:
and then regarding/constraining such a tuple as the image under the Chern character of a class in (differentia) complex topological K-theory in addition to imposing the pre-metric equations of motion.
afterwards imposing the Hodge-duality constraint, now thought of as a “self-duality” on K-theory and remaining subject to discussion in the literature: see at self-dual higher gauge field the section Examples – RR-Fields.
(Again, this is stated so far for vanishing Kalb-Ramond field, for ease of exposition here. More generally the KR-field does not vanish and the above discussion applies for twisted K-theory.)
Clearly, this just the idea of “pre-metric electromagnetism” but now enacted in a variant situation. The string theory-literature refers to this mostly as the “democratic” formulation of the RR-fields, see Dall’Agata, Lechner & Tonin (1998) or Mkrtchyan & Valach (2023).
Somewhat similarly, the equations of motion of the supergravity C-field in D=11 supergravity are of the form
where now $G_4 \,\in\, \Omega^4(X)$ is a differential 4-form. If we regard these equations in “pre-metric” form as in the above discussion of the RR-fields, by introducing an a priori independent 7-form $G_7 \,\in\, \Omega^7(X)$, then they read
As for the RR-field and its conjectured charge quantization in K-theory, in this “pre-metric” formulation it makes sense to ask which generalized cohomology theory yields the differential equations on the left, as those characterizing the image under its generalized Chern-Dold-like charatcer.
There is no Whitehead-generalized cohomology theory with this property, due to the non-linear quadratic function $G_4 \mapsto \tfrac{1}{2} G_4 \wedge G_4$ appearing in (5), but there is a non-abelian cohomology theory with the correct nonabelian character map: namely 4-Cohomotopy theory. This observation (due to Sati (2013,2018), §2.5) suggests (this is “Hypothesis H”) that the charge quantization of the supergravity C-field in M-theory may be in some form of Cohomotopy theory.
The idea (if not the terminology) of pre-metric electromagnetism is attributed to:
Friedrich Kottler, Newtonsches Gesetz und Metrik, Sitzungsber. Akad. Wiss. Wien, Math.-Naturw. Klasse, Abt. IIa, 131 (1922) 1-14 [Engl. transl. by Delphenich: pdf, pdf]
Friedrich Kottler, Maxwell’sche Gleichungen und Metrik, Sitz. Akad. Wien IIa 131 (1922) 119-146 [Engl. transl. by Delphenich: pdf, pdf]
Élie Cartan, §80 in: Sur les variétés à connexion affine, et la théorie de la relativité généralisée (première partie) (Suite), Annales scientifiques de l’É.N.S. 3e série, tome 41 (1924) 1-25 [numdam:ASENS_1924_3_41__1_0]
David van Dantzig, The fundamental equations of electromagnetism, independent of metrical geometry, Mathematical Proceedings of the Cambridge Philosophical Society 30 4 (1934) 421-427 [doi:10.1017/S0305004100012664]
Early review:
Edmund T. Whittaker: pp. 192-196 of: A History of the Theories of Aether and Electricity – Vol. 2: The Modern Theories 1900-1926 (1953), reprinted by Humanities Press (1973) [pdf, Wikipedia entry]
“[…] This chapter has been concerned, for the most part, with General Relativity, which is essentially a geometrisation of physics. It may be closed with some account of a movement in the opposite direction, seeking to abolish the priviledged position of geometry in physics, and indeed inquiring how far it may be possible to construct a physics independent of geometry. Since the notion of metric is a complicated one, which requires measurements with clocks and scales, generally with rigid bodies, which themselves are systems of great complexity, it seems undesirable to take metric as fundamental, particularly for phenomena which are simpler and actually independent of it.”
“The movement was initiated by Friedrich Kottler of Vienna, who in 1922 published two papers [Kottler (1922a), (1922b)]”
Further amplification of the constitutive map that relates the pre-metrically independent fields:
The terminology “pre-metric electromagnetism” seems to be due to David H. Delphenich, who gives much further discussion:
David H. Delphenich, On the Axioms of Topological Electromagnetism, Annalen Phys. 14 (2005) 347-377 [arXiv:hep-th/0311256, doi:10.1002/andp.20055170601]
David H. Delphenich, Symmetries and pre-metric electromagnetism, Ann. Phys. 14 (2005) 663-704 [arXiv:gr-qc/0508035, doi:10.1002/andp.200510159]
David H. Delphenich, On linear electromagnetic constitutive laws that define almost-complex structures, Annalen Phys. 16 (2007) 207-217 [doi:gr-qc/0610031, doi:10.1002/andp.200610227]
David H. Delphenich, Spinors and Pre-Metric Electromagnetism, Advances in Applied Clifford Algebras 18 (2008) 567–578 [doi:10.1007/s00006-008-0115-6]
David H. Delphenich, Pre-metric electromagnetism as a path to unification, in: Unified Field Mechanics, World Scientific (2015) 215-220 [arXiv:1512.05183, doi:10.1142/9789814719063_0023]
Monographs:
David H. Delphenich, Pre-Metric Electromagnetism [part I:pdf, part II:pdf, full:pdf]
Friedrich W. Hehl, Yuri N. Obukhov, Foundations of Classical Electrodynamics – Charge, Flux, and Metric, Progress in Mathematical Physics 33, Springer (2003) [arXiv:10.1007/978-1-4612-0051-2]
The general principle of the pre-metric formulation, understood as a form of self-dual higher gauge theory, also appears in:
leading over to generalization of the idea such as to RR-fields.
Further discussion:
Friedrich W. Hehl, Yakov Itin, Yuri N. Obukhov, On Kottler’s path: origin and evolution of the premetric program in gravity and in electrodynamics, International Journal of Modern Physics D 25 11 (2016) 1640016 [arXiv:1607.06159, doi:10.1142/S0218271816400162]
Christian Becker, Marco Benini, Alexander Schenkel, Richard Szabo, Rem. 2.3 in: Abelian duality on globally hyperbolic spacetimes, Commun. Math. Phys. 349 (2017) 361-392 [arXiv:1511.00316, doi:10.1007/s00220-016-2669-9]
Yakov Itin, Premetric representation of mechanics, electromagnetism and gravity, International Journal of Geometric Methods in Modern Physics 15 supp01 (2018) [doi:10.1142/S0219887818400029]
Yuri N. Obukhov, Premetric approach in gravity and electrodynamics, in: The Fifteenth Marcel Grossmann Meeting (2022) 654-659 [doi:10.1142/9789811258251_0087, arXiv:1904.00180]
Calin Lazaroiu, Carlos S. Shahbazi, around Def. 1.16 in: The duality covariant geometry and DSZ quantization of abelian gauge theory, Advances in Theoretical and Mathematical Physics 26 (2022) 2213–2312 [arXiv:2101.07236, doi:10.4310/ATMP.2022.v26.n7.a5]
Calin Lazaroiu, Carlos S. Shahbazi, around (3) in: The geometry and DSZ quantization of four-dimensional supergravity, Letters in Mathematical Physics 113 4 (2023) [arXiv:2101.07778, doi:10.1007/s11005-022-01626-y]
(in the generality allowing “U-duality-twists” among several abelian gauge fields, motivated by application to D=4 supergravity)
References which make the “democratic” (“pre-geometric”) formulation (4) of the RR-fields in type II supergravity manifest:
Discussion of (Lagrangian densities for) D=10 type II supergravity with “duality-symmetric”/“democratic”/“pregeometric” for of the RR-fields:
Gianguido Dall'Agata, Kurt Lechner, Mario Tonin, $D=10$, $N=IIB$ Supergravity: Lorentz-invariant actions and duality, JHEP 9807:017 (1998) $[$arXiv:hep-th/9806140, doi:10.1088/1126-6708/1998/07/017$]$
Eugene Cremmer, Bernard Julia, H. Lu, Christopher Pope, Section 3 of: Dualisation of Dualities, II: Twisted self-duality of doubled fields and superdualities, Nucl. Phys. B 535(1998) 242-292 $[$arXiv:hep-th/9806106, doi:10.1016/S0550-3213(98)00552-5$]$
Eric Bergshoeff, Renata Kallosh, Tomas Ortin, Diederik Roest, Antoine Van Proeyen, New Formulations of D=10 Supersymmetry and D8-O8 Domain Walls, Class. Quant. Grav. 18 (2001) 3359-3382 $[$arXiv:hep-th/0103233, doi:10.1088/0264-9381/18/17/303$]$
Igor Bandos, Alexei Nurmagambetov, Dmitri Sorokin, Various Faces of Type IIA Supergravity, Nucl. Phys. B 676 (2004) 189-228 $[$arXiv:hep-th/0307153, doi:10.1016/j.nuclphysb.2003.10.036$]$
Karapet Mkrtchyan, Fridrich Valach, Democratic actions for type II supergravities, Phys. Rev. D 107 6 (2023) 066027 [doi:10.1103/PhysRevD.107.066027, arXiv:2207.00626]
Enhancement of the self-duality constraint on pregeometric RR-fields from (twisted) de Rham cohomology to (twisted) topological K-theory (under the hypothesized K-theory classification of D-brane charge) in terms of a quadratic form on differential K-theory:
Gregory Moore, Edward Witten, Self-Duality, Ramond-Ramond Fields, and K-Theory, JHEP 0005:032 (2000) $[$arXiv:hep-th/9912279$]$
Edward Witten, Duality Relations Among Topological Effects In String Theory, JHEP 0005:031 (2000) $[$arXiv:hep-th/9912086, doi:10.1088/1126-6708/2000/05/032$]$
Daniel Freed, Michael Hopkins, On Ramond-Ramond fields and K-theory, JHEP 0005 (2000) 044 $[$arXiv:hep-th/0002027$]$
Daniel Freed, Dirac charge quantization and generalized differential cohomology, Surveys in Differential Geometry 7, Int. Press (2000) 129-194 $[$arXiv:hep-th/0011220, doi:10.4310/SDG.2002.v7.n1.a6, spire:537392$]$
An indication of a more refined discussion in twisted differential KR-theory:
See at orientifold for more on this.
Expressing the self-duality of pregeometric RR-fields in terms of 11d Chern-Simons theory:
Some review:
Discussion in the context of flux quantization (here: D-brane charge quantization in K-theory):
Formulation of the equations of motion of D=11 supergravity in superspace on fields including a flux density $G_7$ a priori independent of the flux density $G_4$ of the supergravity C-field:
Leonardo Castellani, Riccardo D'Auria, Pietro Fré, ch III.8.3-III.8.5 in vol 2 of: Supergravity and Superstrings - A Geometric Perspective, World Scientific (1991) [doi:10.1142/0224, epdf, ch III.8: pdf]
(Using the D'Auria-Fre formulation of supergravity.)
Antonio Candiello, Kurt Lechner, §6 in: Duality in supergravity theories, Nuclear Physics B 412 3 (1994) 479-501 [doi:10.1016/0550-3213(94)90389-1]
(These authors seem not to be aware of CDF91, III.8 and, contrary to the result there, conclude that it is not possible without introducing non-local relations.)
Discussion of Lagrangian densities for D=11 supergravity with an a priori independent dual C-field field and introduction of the “duality-symmetric” terminology:
Igor Bandos, Nathan Berkovits, Dmitri Sorokin, Duality-Symmetric Eleven-Dimensional Supergravity and its Coupling to M-Branes, Nucl. Phys. B 522 (1998) 214-233 [doi:10.1016/S0550-3213(98)00102-3, arXiv:hep-th/9711055]
Eugene Cremmer, Bernard Julia, H. Lu, Christopher Pope, Section 2 of Dualisation of Dualities, II: Twisted self-duality of doubled fields and superdualities, Nucl.Phys. B 535 (1998) 242-292 [doi:10.1016/S0550-3213(98)00552-5, arXiv:hep-th/9806106]
Igor Bandos, Alexei Nurmagambetov, Dmitri Sorokin, Section 2 of: Various Faces of Type IIA Supergravity, Nucl. Phys. B 676 (2004) 189-228 [doi:10.1016/j.nuclphysb.2003.10.036, arXiv:hep-th/0307153]
Alexei J. Nurmagambetov, The Sigma-Model Representation for the Duality-Symmetric $D=11$ Supergravity, eConf C0306234 (2003) 894-901 [arXiv:hep-th/0312157, inspire:635585]
Discussion in the context of shifted C-field flux quantization:
Last revised on February 2, 2024 at 07:53:15. See the history of this page for a list of all contributions to it.