Mysterious triality and rational homotopy theory

Homotopy theory and fundamental groups in algebraic geometry (14F35) Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Root systems (17B22) Applications of Lie groups to the sciences; explicit representations (22E70) Pattern formations in context of PDEs (35B36) Loop spaces (55P35) Dimensional compactification in quantum field theory (81T33)

Abstract: Mysterious Duality was discovered by Iqbal, Neitzke, and Vafa in 2001 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 that 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

m a t h c a l L_{c}^{k} 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

m a t h c a l L_{c}^{k} 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

m a t h c a l L_{c}^{k} 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

m a t h b b B_{k}

and iterated cyclic loop spaces of

S^{4}

which would explain the common

E_{k}

symmetry pattern?

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Mysterious triality and rational homotopy theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6155617)