Definition. Finite restricted products [fcap-004F]
Definition. Finite restricted products [fcap-004F]
Let \(G_p\) be a Hausdorff locally compact topological group at each rational prime, and choose a compact open subgroup \(U_p\leq G_p\). The restricted product relative to \(U=(U_p)\) is \[G_f(U)=\prod _p'(G_p,U_p).\] It consists of the tuples \((g_p)\in \prod _pG_p\) for which \(g_p\in U_p\) at all but finitely many primes. For a finite set \(S\) of primes its principal stage is \[G_S(U)=\prod _{p\in S}G_p\times \prod _{p\notin S}U_p,\] regarded as a subset of \(G_f(U)\) and given the product topology. The restricted-product topology declares \(A\subseteq G_f(U)\) open exactly when \(A\cap G_S(U)\) is open in every principal stage. Multiplication and inversion are coordinatewise. The product reference subgroup is \[K(U)=\prod _pU_p=G_{\varnothing }(U).\]
For example, take the hyperbolic plane \(Q(x,y)=xy\) and the references from its standard rational basis in Proposition [fcap-004D]. The tuple whose \(2\)-component is \(\operatorname {diag}(2,1/2)\) and whose other components are identities belongs to \(G_{\{2\}}(U)\) for \(G_p=O_p\), but not to \(K(U)\). The finite exceptional set permits a nonintegral component without discarding the restrictions at all other primes.
With this topology, \(G_f(U)\) is a Hausdorff locally compact topological group, each \(G_S(U)\) is an open subspace with precisely its product topology, and \(K(U)\) is compact and open. Every coordinate evaluation \((g_q)\mapsto g_p\) is continuous.
For a compatible compact-open reference tuple, apply this construction to the three local families to define the finite adelic orthogonal, special orthogonal and Spin groups: \[\begin {gathered} O_f(U)=\prod _p'(O_p,U_p^O),\\ SO_f(U)=\prod _p'(SO_p,U_p^{SO}),\\ \operatorname {Spin}_f(U)=\prod _p'(\operatorname {Spin}_p,U_p^{\operatorname {Spin}}). \end {gathered}\] The local topological groups are supplied by Lemma [fcap-0045]. The construction applies to the derived SO references as well as to the chosen O and Spin references. In dimension zero all three restricted products are singleton groups. Here the notation retains the chosen tuple; an arbitrary compatible tuple has not been identified with the integral points of an affine scheme.
Finite changes of references leave the ambient group and its topology unchanged. More precisely, suppose \(U'_p=U_p\) outside a finite set \(F\). A tuple restricted for one family is restricted for the other after adjoining \(F\) to its exceptions. The identity in every coordinate is thus a group isomorphism \(G_f(U)\to G_f(U')\). On a stage it factors as \[G_S(U)\longrightarrow G_{S\cup F}(U')\longrightarrow G_f(U').\] The first map is continuous: outside \(S\cup F\) the reference factors coincide, and at the finitely many remaining factors it is either the identity on \(G_p\) or the inclusion \(U_p\hookrightarrow G_p\). Stagewise continuity gives continuity on the union. Interchanging \(U\) and \(U'\) proves continuity of the inverse. Consequently the changes in Proposition [fcap-004E] identify the finite adelic topological groups by the coordinate identity.
This identity need not send \(K(U)\) onto \(K(U')\). If, for example, \(U'_{p_0}\) is a proper subgroup of \(U_{p_0}\), choose \(u\in U_{p_0}\setminus U'_{p_0}\). The tuple with component \(u\) at \(p_0\) and identities elsewhere belongs to \(K(U)\) but not to \(K(U')\). Thus the ambient topology and the chosen compact open subgroup are separate data. Continuity of all coordinate evaluations also shows that the restricted-product topology is at least as fine as the topology inherited from \(\prod _pG_p\).
The classical affine adelic construction uses finite stages and
open transition maps in [conrad2011adelic, Theorem 3.6, pp. 6-8];
compactness of integral points and the resulting locally compact
topology occur in [conrad2011adelic, Corollary 3.7 and Section 4 opening, p. 9].
The argument above proves the construction directly for the chosen
compact-open group references. Mathlib's
RestrictedProduct.isOpenEmbedding_inclusion_principal
and RestrictedProduct.locallyCompactSpace_of_group
support the stage and local compactness assertions. TauCeti's
TauCeti.QuadraticMap.OrthogonalCompactOpens.finiteAdelicOrthogonal,
TauCeti.QuadraticMap.OrthogonalCompactOpens.finiteAdelicSpecialOrthogonal
and TauCeti.QuadraticMap.OrthogonalCompactOpens.finiteAdelicSpin
define the three specializations. The coordinate identity and its
continuity are
TauCeti.restrictedProductCongr and
TauCeti.continuous_restrictedProductCongr.