This might seems like a bit of philosophical question and so maybe if I keep reading a bit more, I might get my answer. But, I ask nonetheless.

In my attempt to study Shimura varieties, I came across the definition of a locally symmetric space associated to connected reductive group $G/\mathbb{Q}$ as follows:

Let $A_G\subset G$ denote the maximal $\mathbb{Q}$-split torus in the center of $G$ and $A_\infty=A_G(\mathbb{R})$. Let $K_{\infty}\subset G(\mathbb{R})$ denote a maximal compact subgroup. If, for any topological group $\mathfrak{G}$, the connected component of the identity is denoted by $\mathfrak{G}^\circ$, then we define $$X=G(\mathbb{R})/A^\circ_\infty K_\infty^\circ.$$ Now, let $\Gamma\subset G(\mathbb{Q})$ be a subgroup such that $\Gamma\cap G(\mathbb{Q})\cap \operatorname{GL}_n(\mathbb{Z})$ has fintie index in both $\Gamma$ and $G(\mathbb{Q})\cap \operatorname{GL}_n(\mathbb{Z})$ for some faithful representation $G\hookrightarrow \operatorname{GL}_n$. The locally symmetic space is defined as $$ X(\Gamma)=\Gamma\setminus X. $$

My question is basically, why?

Intuitively what is this trying to achieve? As in, why are we quotienting out by $K_\infty^\circ$ and $A_\infty^\circ$ (maybe this is the least we need to do to ensure some kind of compactness-like reuslt, or better cohomology groups)?

I do have some familiarity with moduli spaces of elliptic curves with level structures and I know that we can get examples using this construction (which helps construct Galois representations using certain modular forms), but when I see this construction, it just looks like generalising without any end goal in mind (which is obviously not true and why I said I should probably keep reading rather than ask this question - but I cannot help myself).

I am sure the question sounds vague, but I just don't have an image in mind when I think of these locally symmetric spaces and it would greatly help it someone could help fix that.

This might seems like a bit of philosophical question and so maybe if I keep reading a bit more, I might get my answer. But, I ask nonetheless.

In my attempt to study Shimura varieties, I came across the definition of a locally symmetric space associated to connected reductive group $G/\mathbb{Q}$ as follows:

Let $A_G\subset G$ denote the maximal $\mathbb{Q}$-split torus in the center of $G$ and $A_\infty=A_G(\mathbb{R})$. Let $K_{\infty}\subset G(\mathbb{R})$ denote a maximal compact subgroup. If, for any topological group $\mathfrak{G}$, the connected component of the identity is denoted by $\mathfrak{G}^\circ$, then we define $$X=G(\mathbb{R})/A^\circ_\infty K_\infty^\circ.$$ Now, let $\Gamma\subset G(\mathbb{Q})$ be a subgroup such that $\Gamma\cap G(\mathbb{Q})\cap \operatorname{GL}_n(\mathbb{Z})$ has fintie index in both $\Gamma$ and $G(\mathbb{Q})\cap \operatorname{GL}_n(\mathbb{Z})$ for some faithful representation $G\hookrightarrow \operatorname{GL}_n$. The locally symmetric space is defined as $$ X(\Gamma)=\Gamma\backslash X. $$

My question is basically, why?

Intuitively what is this trying to achieve? As in, why are we quotienting out by $K_\infty^\circ$ and $A_\infty^\circ$ (maybe this is the least we need to do to ensure some kind of compactness-like result, or better cohomology groups)?

I do have some familiarity with moduli spaces of elliptic curves with level structures and I know that we can get examples using this construction (which helps construct Galois representations using certain modular forms), but when I see this construction, it just looks like generalising without any end goal in mind (which is obviously not true and why I said I should probably keep reading rather than ask this question — but I cannot help myself).

I am sure the question sounds vague, but I just don't have an image in mind when I think of these locally symmetric spaces and it would greatly help it someone could help fix that.