Abstract:We prove necessary and sufficient algebraic conditions to determine whether a D=3 gauged maximal supergravity can be obtained from consistent Kaluza-Klein truncation of ten- or eleven-dimensional supergravity. We describe the procedure to identify the internal geometry and explicitly construct the frame encoding the reduction ansatz. As byproducts, we derive several results on twistings, deformations and global aspects of E$_8$ exceptional geometry and define E$_8$ generalised diffeomorphism for massive IIA supergravity. We devise simple algebraic conditions for imposing compactness of the internal space and derive no-go results for the uplift of compact gaugings and of a large class of gauged maximal supergravities with N=(8,0) AdS$_3$ solutions.
What problem does this paper attempt to address?
This paper aims to solve the problem of how to obtain the three - dimensional maximal supergravity theory from the ten - or eleven - dimensional supergravity theory through a consistent Kaluza - Klein truncation. Specifically, the authors prove the necessary and sufficient algebraic conditions for determining whether a D = 3 gauged maximal supergravity can be obtained from a higher - dimensional supergravity theory through a consistent Kaluza - Klein truncation. They describe a method for identifying the internal geometric structure and explicitly construct a framework encoding the reduction hypothesis. In addition, as a by - product, the authors derive some results regarding the global aspects of twists, deformations and \(E_8^{(8)}\) exceptional geometries, and define the \(E_8^{(8)}\) generalized diffeomorphisms applicable to IIA massive supergravity.
### Main contributions
1. **Algebraic conditions**: The authors prove the necessary and sufficient algebraic conditions for determining whether a D = 3 gauged maximal supergravity can be obtained from the ten - or eleven - dimensional supergravity theory through a consistent Kaluza - Klein truncation.
2. **Internal geometry identification**: A method for identifying the internal geometric structure is described, and a framework encoding the reduction hypothesis is explicitly constructed.
3. **Generalized diffeomorphisms**: The \(E_8^{(8)}\) generalized diffeomorphisms applicable to IIA massive supergravity are defined.
4. **Compactness conditions**: Simple algebraic conditions are proposed to impose the compactness of the internal space, and negative results are obtained regarding the lift of compact gaugings and a large class of gauged maximal supergravities with N=(8,0) AdS_3 solutions.
### Technical details
- **Generalized Scherk - Schwarz reduction**: By introducing an \(E_8^{(8)}\times R^{+}\) element depending on the internal coordinates \(y^{m}\), the internal - coordinate dependence of all fields and gauge parameters is factorized. This factorization hypothesis is encoded in a \(y^{m}\)-dependent \(E_8^{(8)}\times R^{+}\) element, and the covariant ExFT fields are decomposed according to their \(E_8^{(8)}\times R^{+}\) transformation properties.
- **Algebraic constraints**: These conditions include:
- **Section constraint**:
\[
Y^{CD}_{AB}\Theta^A_m\Theta^B_n = 0
\]
- **Flux consistency constraint**:
\[
Y^{CD}_{AB}(\vartheta^A-\Theta^G_mt^A_{G})\Theta^B_n = 0
\]
where \(Y^{CD}_{AB}\) is a constant \(E_8^{(8)}\times R^{+}\) - invariant tensor determined by the exceptional field theory, \(\Theta^A_m\) is the projection of the embedding tensor on the cotangent - space generators, and \(\vartheta^A\) is a component of the embedding tensor, encoding the gauging of the trombone \(R^{+}\) symmetry of D = 3 maximal supergravity.
### Applications
- **Compactness conditions**: A simple method for imposing the compactness of the internal space is proposed, which can be achieved through linear - algebraic constraints on the embedding tensor.
- **Negative results**: For certain types of gaugings, especially gauged maximal supergravities with N=(8,0) AdS_3 solutions, negative results of not being able to be lifted to higher dimensions are obtained.
### Conclusion
The work in this paper provides a systematic method for understanding the geometric lift of D = 3 gauged maximal supergravity, especially in the context of \(E_8^{(8)}\) exceptional field theory. These results not only help to classify the models that can be lifted to higher dimensions, but also provide new tools for studying the physical properties of these models.