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.

Minimal pseudo-triangulation of the Hopf map and its uniqueness

Congruence Skein Relations for Colored HOMFLY -PT Invariants

Hopf fibrations are characterized by being fiberwise homogeneous

Non-Compact Hopf Maps and Fuzzy Ultra-Hyperboloids

Generalized Hopfian property, minimal Haken manifold, and J. Simon's conjecture for 3-manifold groups

Homotopy groups and quantitative Sperner-type lemma

On the Hopf problem and a conjecture of Liu–Maxim–Wang

Minimal Surfaces in the Three-Dimensional Sphere with High Symmetry

On the Hopf Problem and a Conjecture of Liu-Maxim-Wang

Mysterious Triality and the Exceptional Symmetry of Loop Spaces

On Lawson-Osserman Constructions

Hopf algebras and homotopy invariants

A non-trivial family of trivial bundles with complex hyperbolic structure

Homotopy type of circle graph complexes motivated by extreme Khovanov homology

Elimination of cusps in dimension 4 and its applications

A remark on the Hopf invariant for spherical 4-braids

ON PROJECTIVE THREEFOLDS OF GENERAL TYPE WITH SMALL POSITIVE GEOMETRIC GENUS

The Character Map in Equivariant Twistorial Cohomotopy

Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants

On harmonic maps from the complex plane to hyperbolic 3-space

Almost-triangular Hopf Algebras