Definition. Rational diagonal subgroups [fcap-004K]

Let \(Q\) be a nondegenerate quadratic form on a finite-dimensional rational space \(V\), and let \(U\) be a compatible compact-open reference tuple. For \(G=O,SO,\operatorname {Spin}\), write \(G(Q)\) for the rational group, \(g_p\) for the scalar extension of \(g\in G(Q)\) to \(\mathbb Q_p\), and \(g_\infty \) for its extension to \(\mathbb R\). Spin always means the actual vector-generated even reverse-norm-one carrier. The rational diagonal homomorphisms are \[\begin {aligned} \delta _f^G:G(Q)&\longrightarrow G_f(U), &g&\longmapsto (g_p)_p,\\ \delta _{\mathbb A}^G:G(Q)&\longrightarrow G_{\mathbb A}(U), &g&\longmapsto (g_\infty ,(g_p)_p),\\ \delta _R^G:G(Q)&\longrightarrow G_f^R(U), &g&\longmapsto (g_p)_{p\notin R}, \end {aligned}\] where \(R\) is any set of rational primes. The targets are the finite, full and away groups of Definition [fcap-004F], Definition [fcap-004H] and Definition [fcap-004G]. Their images are the corresponding rational diagonal subgroups.

For O and Spin, the tuple axioms put each rational point in its reference subgroup at all but finitely many primes. For SO the same assertion follows from \(U_p^{SO}=i_p^{-1}(U_p^O)\), because determinant commutes with scalar extension. Thus the finite tuples are restricted. Deleting coordinates preserves this property, and the real factor imposes no reference condition. Scalar extension preserves products and identities, proving the homomorphism assertions.

For the hyperbolic form \(Q(x,y)=xy\), use the standard-basis references. The matrix \(g=\operatorname {diag}(2,1/2)\) gives a rational SO diagonal. Its finite components are integral except at \(2\), as computed in Proposition [fcap-004D]. The real component is the same rational matrix viewed over \(\mathbb R\). Deleting the \(2\)-coordinate puts its away image in the product of the remaining reference subgroups.

The finite and full diagonals are injective. The away diagonal is injective whenever at least one prime lies outside \(R\); in particular this holds for finite \(R\). If every prime is removed, its target is the singleton group, so the away map is injective only when \(G(Q)\) is itself trivial.

The diagonals commute with the component maps \(\operatorname {Spin}\to SO\to O\) of Proposition [fcap-004J]. At each place this is the scalar-extension action identity of Theorem [fcap-003N]; for SO to O it is the equality of underlying matrices. The full-to-finite projection and coordinate restriction satisfy \[\pi _f\delta _{\mathbb A}^G=\delta _f^G, \qquad r_R\delta _f^G=\delta _R^G.\] These are equalities of homomorphisms, with no topology assigned to \(G(Q)\). If the rational domain is given the discrete topology, the maps are continuous; injectivity alone does not make a map a topological embedding.

The rational-point diagonal in classical affine full adelic points is discussed in [conrad2011adelic, Example 2.3, p. 3]. Here restricted membership follows directly from the chosen tuple axioms. TauCeti constructs the finite diagonals in TauCeti.QuadraticMap.OrthogonalCompactOpens.finiteAdelicOrthogonalDiagonal, TauCeti.QuadraticMap.OrthogonalCompactOpens.finiteAdelicSpecialOrthogonalDiagonal and TauCeti.QuadraticMap.OrthogonalCompactOpens.finiteAdelicSpinDiagonal. The full orthogonal construction is TauCeti.QuadraticMap.OrthogonalCompactOpens.fullAdelicOrthogonalDiagonal; the away injectivity condition is explicit in TauCeti.QuadraticMap.OrthogonalCompactOpens.awayAdelicSpecialOrthogonalDiagonal_injective. The Spin scalar-extension input is CliffordAlgebra.spinGroupBaseChange_injective, whose faithful, flat scalar-extension hypotheses hold for these fields. The SO and Spin full and away maps use the same construction.