Compactness of automorphic quotient - quaternion group and $\mathrm{GL}_{2}$ Let $\mathbb{A} = \mathbb{A}_{\mathbb{Q}}$ be an adele ring over $\mathbb{Q}$ and $G_{1} = \mathrm{GL}_{2}$, $G_{2} = \mathrm{Res}_{D/\mathbb{Q}}\mathrm{GL}_{1}$ be two groups over $\mathbb{Q}$, where $D$ is a quaternion algebra over $\mathbb{Q}$.
It is well-known that the automorphic quotient, $Z(\mathbb{A})G(\mathbb{Q})\backslash G(\mathbb{A})$, is not compact for $G = G_{1}$, but compact for $G = G_{2}$. However, it is hard to understand this (at least for me) since two groups $G_{1}(\mathbb{A})$ and $G_{2}(\mathbb{A})$ are almost same in the sense that they match up for all but finitely many places (i.e. $G_{1}(\mathbb{Q})_{p} \simeq G_{2}(\mathbb{Q}_{p}) \simeq \mathrm{GL}_{2}(\mathbb{Q}_{p})$ for all but finitely many $p$). What makes such differences in compactness? It would be great if someone provides a good reference for the proofs for non-compactness and compactness. Thanks in advance.

Edit: Is compactness still holds when $D$ splits at archimedean place, i.e. when $D(\mathbb{R}) \simeq \mathrm{GL}_{2}(\mathbb{R})$?
 A: Yes, even though (because a division algebra splits locally almost everywhere) the two groups are locally-almost-everywhere the same, one global quotient is non-compact, and the other is compact.
Yes, even if the division algebra is split at all archimedean places, if it is non-split at any place, then the (global) quotient is compact.
This applies to the $GL_n$ situation, and central division algebras of dimension $n^2$ over global fields. This is proven by "Fujisaki's Lemma" (as it is called in Weil's "Adeles and algebraic groups", which is just a slight non-abelian generalization of the argument that $\mathbb J^1/k^\times$ is compact (e.g., http://www.math.umn.edu/~garrett/m/v/fujisaki.pdf for the abelian case).
For other classical groups, such as orthogonal groups, again the quotient is compact if and only if the form is globally anisotropic. (I have some notes on this, based on part of Godement's Bourbaki notes on reduction theory: http://www.math.umn.edu/~garrett/m/v/cptness_aniso_quots.pdf)
By Hasse-Minkowski (and more elementary properties of $p$-adic quadratic forms), for quadratic spaces of dimension five or more, anisotropy is possible if and only if the form is anisotropic at at least one archimedean place (since $p$-adic quadratic forms in dimensions five or higher are demonstrably isotropic).
So, yes, for other classical groups, compactness at (at least one) archimedean place/s is necessary for compactness of the quotient. But over number fields with several archimedean places, many local groups can be non-compact... all it takes is a single compact factor.
And, as @AlexYoucis commented, Platonov and Rapinchuk is probably the best, most authoritative, and most encyclopedic source for this kind of thing.
