The study of geometric structures on manifolds finds its inspiration in Klein’s Erlangen Program from 1872, and has seen spectacular
developments and applications in geometric topology since the work of Thurston at the end of the 20th century. Geometric structures
lie at the crossroads of several disciplines, such as differential and algebraic geometry, low-dimensional topology, representation theory,
number theory, real and complex analysis, which makes the subject extremely rich and fascinating. In the context of geometric structures
of pseudo-Riemannian type, the study of submanifolds with special curvature conditions has been very effective and led to some
fundamental questions, such as the open conjectures of Andrews and Thurston from the 2000s, and the recently settled Labourie’s
Conjecture. This project aims to obtain important results in this direction, towards four interconnected goals: 1. the study of quasi-
Fuchsian hyperbolic manifolds, in particular leading to the proof of a strong statement that would imply the solution of the conjectures
of Andrews and Thurston; 2. the achievement of curvature estimates of L^2-type on surfaces in Anti-de Sitter space; 3. the construction
of metrics of (para)-hyperKähler type on deformation spaces of (G,X)-structures, and the investigation of their properties; 4. the study
of existence and uniqueness of special submanifolds of dimension greater than 2 in pseudo-Riemannian symmetric spaces. The project
adopts an innovative approach integrating geometric and analytic techniques, and the results will have remarkable applications for
Teichmüller theory and Anosov representations. In the long term, the proposed methodology and the expected results will lead to further
developments in various related directions, for instance: the study of pseudo-Riemannian manifolds of variable negative curvature, of
higher dimensional pseudo-hyperbolic manifolds, and the deformation spaces of other types of (G,X)-structures.