Abstract:In previous work, we introduced Mysterious Triality, extending the Mysterious Duality of Iqbal, Neitzke, and Vafa between physics and algebraic geometry to include algebraic topology in the form of rational homotopy theory. Starting with the rational Sullivan minimal model of the 4-sphere $S^4$, capturing the dynamics of M-theory via Hypothesis H, this progresses to the dimensional reduction of M-theory on torus $T^k$, $k \ge 1$, with its dynamics described via the iterated cyclic loop space $\mathcal{L}_c^k S^4$ of the 4-sphere. From this, we also extracted data corresponding to the maximal torus/Cartan subalgebra and the Weyl group of the exceptional Lie group/algebra of type $E_k$. In this paper, we discover much richer symmetry by extending the data of the Cartan subalgebra to a maximal parabolic subalgebra $\mathfrak{p}_k^{k(k)}$ of the split real form $\mathfrak{e}_{k(k)}$ of the exceptional Lie algebra of type $E_k$ by exhibiting an action, in rational homotopy category, of $\mathfrak{p}_k^{k(k)}$ on the slightly more symmetric than $\mathcal{L}_c^k S^4$ toroidification $\mathcal{T}^k S^4$. This action universally represents symmetries of the equations of motion of supergravity in the reduction of M-theory to $11-k$ dimensions. Along the way, we identify the minimal model of the toroidification $\mathcal{T}^k S^4$, generalizing the results of Vigué-Poirrier, Sullivan, and Burghelea, and establish an algebraic toroidification/totalization adjunction.

The Triviality of the 61-Stem in the Stable Homotopy Groups of Spheres

On the First, the Second and the Third Stems of the Stable Homotopy Groups of Spheres

Stable Homotopy Groups of Spheres: from Dimension 0 to 90

Formalising and Computing the Fourth Homotopy Group of the $3$-Sphere in Cubical Agda

Mysterious Triality and the Exceptional Symmetry of Loop Spaces

Stabilisation, scanning and handle cancellation

Addendum to: Some exotic nontrivial elements of the rational homotopy groups of $\mathrm{Diff}(S^4)$ (homological interpretation)

On the rationalization of the $K(n)$-local sphere

The Dehn twist on a connected sum of two homology tori

On the extension problems for three 33-stem homotopy groups

Homotopy groups and quantitative Sperner-type lemma

Brieskorn spheres, cyclic group actions and the Milnor conjecture

Bounded cohomology of diffeomorphism groups of higher dimensional spheres

Stability of the symplectomorphism group of rational surfaces

The stable cohomology of self-equivalences of connected sums of products of spheres

Spherical Complexes Attached to Symplectic Lattices

Algebraic homotopy classes

Geometric approach to stable homotopy groups of spheres, III. Abelian, cyclic and quaternionic structure for mappings with singularities

On the Monopole Lefschetz Number of Finite-Order Diffeomorphisms

New infinite families in the stable homotopy groups of spheres

Quasi-elliptic cohomology of 4-spheres