Mysterious Triality and Rational Homotopy Theory

Abstract

Mysterious duality has been discovered by Iqbal, Neitzke, and Vafa [INV02] as a convincing, yet mysterious correspondence between certain symmetry patterns in toroidal compactifications of M-theory and del Pezzo surfaces, both governed by the root system series E k .It turns out that the sequence of del Pezzo surfaces is not the only sequence of objects in mathematics which gives rise to the same E k symmetry pattern. We present a sequence of topological spaces, starting with the four-sphere S 4 , and then forming its iterated cyclic loop spaces L k c S 4 , within which we discover the E k symmetry pattern via rational homotopy theory. For this sequence of spaces, the correspondence between its E k symmetry pattern and that of toroidal compactifications of M-theory is no longer a mystery, as each space L k c S 4 is naturally related to the compactification of M-theory on the k-torus via identification of the equations of motion of (11 − k)-dimensional supergravity as the defining equations of the Sullivan minimal model of L k c S 4 . This gives an explicit duality between algebraic topology and physics.Thereby, we extend Iqbal-Neitzke-Vafa's mysterious duality between algebraic geometry and physics into a triality, also involving algebraic topology. Via this triality, duality between physics and mathematics is demystified, and the mystery is transferred to the mathematical realm as duality between algebraic geometry and algebraic topology. Now the question is: is there an explicit relation between the del Pezzo surfaces B k and iterated cyclic loop spaces of S 4 which would explain the common E k symmetry pattern?

An Invitation to Higher Arity Science

“…dualities in string theory [Alv+94]. Recent research has found ternary analogues of these two notions of duality: a triality of vector spaces, generalizing the notion of dual pairing, in the context of the study of the SO(8) symmetry group [SPK94; Lou01; Sap01; BGR13] and a triality of equivalent theories in physics, algebraic geometry and algebraic topology [SV21].…”