We refer to [
116
], [
51
], and [
9
] for the theory of symmetric spaces.