M-theory moduli spaces and torsion-free structures

Motivated by the description of N=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=1 $$\end{document} M-theory compactifications to four-dimensions given by Exceptional Generalized Geometry, we propose a way to geometrize the M-theory fluxes by appropriately relating the compactification space to a higher-dimensional manifold equipped with a torsion-free structure. As a non-trivial example of this proposal, we construct a bijection from the set of Spin(7)-structures on an eight-dimensional S1-bundle to the set of G2-structures on the base space, fully characterizing the G2-torsion clases when the total space is equipped with a torsion-free Spin(7)-structure. Finally, we elaborate on how the higher-dimensional manifold and its moduli space of torsion-free structures can be used to obtain information about the moduli space of M-theory compactifications.