Mysterious Triality and the Exceptional Symmetry of Loop Spaces

Hisham Sati,Alexander A. Voronov

2024-08-24

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.

Algebraic Topology,High Energy Physics - Theory,Quantum Algebra

What problem does this paper attempt to address?

The problem that this paper attempts to solve is in theoretical physics, especially in supergravity theory and M - theory. By expanding the concept of Mysterious Triality, it reveals the symmetries of the equations of motion in supergravity after the M - theory is reduced to an (11 - k)-dimensional spacetime. Specifically, the authors explore these symmetries by introducing the action of the maximal parabolic subalgebra \(p_k^{(k)}\) acting on the toroidification of the 4 - sphere. This not only provides a deeper understanding of the global symmetries in supergravity theory but also lays the foundation for further research on the U - duality covariance in M - theory.

### Background and Motivation

1. **Previous Work**: The authors' previous work [SV21][SV22] introduced "Mysterious Triality", which extends the Mysterious Duality between physics and algebraic geometry by incorporating algebraic topology (especially rational homotopy theory).
2. **Rational Sullivan Minimal Model of the 4 - Sphere**: By assuming H, the rational Sullivan minimal model of the 4 - sphere \(S^4\) captures the dynamics of the fields in M - theory.
3. **Dimensional Reduction and Toroidification**: The dimensional reduction of M - theory on \(T^k\) leads to a dynamical description as the iterated toroidification space \(L_c^kS^4\) of the 4 - sphere.
4. **Exceptional Lie Groups/Algebras**: Data corresponding to the maximal torus/Cartan subalgebra and Weyl group are extracted from these toroidification spaces.

### Main Contributions of This Paper

1. **Richer Symmetries**: This paper discovers richer symmetries by extending the data of the Cartan subalgebra to the maximal parabolic subalgebra \(p_k^{(k)}\) of the split real form \(e_k^{(k)}\).
2. **Establishment of the Action**: In the rational homotopy category, the action of \(p_k^{(k)}\) on the toroidification space \(T^kS^4\) of the 4 - sphere is established. This action generally represents the symmetries of the supergravity equations after the M - theory is reduced to an (11 - k)-dimensional spacetime.
3. **Determination of the Minimal Model**: The minimal model of the toroidification space \(T^kS^4\) is identified, generalizing the results of Vigué - Poirrier, Sullivan and Burghelea, and establishing the algebraic toroidification/globalization adjoint relationship.

### Methods and Results

1. **Rational Sullivan Minimal Model of the Toroidification Space**:
- By induction, it is proved that for a path - connected and nilpotent space \(X\), its \(k\)-toroidification space \(T^kX\) is also path - connected and nilpotent.
- The rational Sullivan minimal model of \(T^kX\) is determined. It is a graded commutative algebra freely generated by the graded vector space \(U_k^>0\oplus Rw_1\oplus\cdots\oplus Rw_k\).

2. **Action of the Maximal Parabolic Subalgebra**:
- A linear action of the maximal parabolic subalgebra \(p_k^{(k)}\) on the toroidification space \(T^kS^4\) of the 4 - sphere is established. This action is given explicitly through Chevalley generators.
- For small \(k\), it is further extended to the full action of the exceptional Lie algebra \(g_k\).

### Physical Significance

1. **Symmetries in Supergravity Theory**: As a direct consequence of the above results, this paper establishes the action of the exceptional Lie algebra (of the maximal parabolic subalgebra) on the corresponding field space and its dynamics. These actions are generally captured by the toroidification space.
2. **U - Duality Covariance**: This is a significant step in establishing U - duality covariance in this setting.

### Summary

This paper deeply explores the symmetries after the dimensional reduction of M - theory by expanding the concept of Mysterious Triality, especially its application in supergravity theory. By establishing the action of the maximal parabolic subalgebra on the toroidification space, it provides new perspectives and tools for understanding the U - duality covariance in M - theory.