density in SU(2,1) - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T01:18:38Z http://mathoverflow.net/feeds/question/95833 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/95833/density-in-su2-1 density in SU(2,1) TOM 2012-05-03T08:33:47Z 2012-05-07T15:23:36Z <p>Let $K=Q(\sqrt{-3})$ , is $SU(2,1)(K)$ dense in $SU(2,1)(C)$ for the complex topology?</p> http://mathoverflow.net/questions/95833/density-in-su2-1/95886#95886 Answer by paul garrett for density in SU(2,1) paul garrett 2012-05-03T16:07:20Z 2012-05-03T20:49:17Z <p>Yes, the density you indicate certainly occurs. For $SU(n,n-1)$ and $SO(n,n-1)$ and many other classical groups, an analogous density holds, by a similar argument, although there are some minor complications (about compact real Lie groups...) for $SU(p,q)$ with $p>q+1$.</p> <p>In the case at hand, first note that whatever the rational form of the hermitian form, there is a non-trivial isotropic vector, by Hasse's principle: the corresponding quadratic form is 6-dimensional, so there are isotropic vectors p-adically everywhere locally. Then at the archimedean place the assumption on signature gives an isotropic vector. Thus, by Hasse-Minkowski, there is a <em>rational</em> isotropic vector.</p> <p>The latter point ensures that we can (rationally) change coordinates to $\pmatrix{0 &amp; 0 &amp; \sqrt{-3}\cr 0 &amp; 1 &amp; 0 \cr -\sqrt{-3} &amp; 0 &amp; 0}$ or other anti-diagonal versions. In these coordinates, we can identify the (rational) parabolic subgroup $P=\pmatrix{a &amp; x &amp; y \cr 0 &amp; \mu &amp; x' \cr 0 &amp; 0 &amp; a^{-1}}$, whose rational points are where $a\in {\mathbb Q}^\times$, $x\in K$, and $y$ and $x'$ are determined by $x$ and $a$, and $|\mu|=1$. The rational points are dense in the real points of $P$. The only slightly tricky part is noting that elements $|\mu|=1$ of $K$ are dense in the unit circle, but this follows from an argument similar to the parametrization of Pythagorean triples. This is the step that becomes less elementary when the corresponding compact part of the minimal rational parabolic is larger.</p> <p>Then verify the Bruhat decomposition, that the rational points of the whole group are the union $P\cup PwP$, where $w$ is the "long Weyl group element" antidiagonal $-1,1,1$. The big cell $PwP$ in this case is readily identifiable as elements of the group (with the antidiagonal form as above) with non-zero lower left entry.</p> <p>For bigger unitary and orthogonal groups, there are more Weyl group elements, and proving the Bruhat decomposition is less trivial, but this density-of-rational-points argument does not need the sharpest form of it.</p> <p>There are also general results (due to A. Borel) that linear reductive groups are "unirational", so density of rational points holds quite generally, for a general reason. Nevertheless, it is also verifiable (via Bruhat, etc., as above) case-by-case.</p> <p>Edit: It is probably worth being more careful in parsing this question, as observed in comments by @mikhail and @yves... First, $SU(p,q)$'s are not "complex" Lie groups, but real, even though the usual model uses complex numbers in the construction: complex conjugation is not complex-linear. Yes, the "strong" topology does arise as the subspace topology from the ambient complex space, in that model. Similarly, $SU(2,1)(K)$ is not really the $K$-rational points, but $\mathbb Q$-rational. For a commutative $\mathbb Q$-algebra $A$, the $A$-points are $SU(2,1)(K\otimes_{\mathbb Q}A)$. Thus, the <em>complex</em> points (in this more intrinsic sense) are isomorphic to $SL(3,\mathbb C)$. </p> <p>Further, indeed, as @mikhail notes, the instantaneous conclusion that rational points are dense in the "strong" ("classical"?) topology does <em>not</em> follow so glibly from the unirationality per se, since all that truly guarantees (in general) is density in the much coarser Zariski topology. The refinement necessary to make this sort of argument work <em>sometimes</em> more generally, as in @yves' remark, perhaps makes it less persuasive as a causal mechanism, but it suggests that we are "close", in any case.</p> http://mathoverflow.net/questions/95833/density-in-su2-1/95901#95901 Answer by Mikhail Borovoi for density in SU(2,1) Mikhail Borovoi 2012-05-03T17:52:56Z 2012-05-03T19:48:04Z <p>(EDITED taking in account the comment of Yves.) The group denoted in the question by $SU(2,1)(K)$ is the group of $\mathbf{Q}$-points $G(\mathbf{Q})$ for a suitable $\mathbf{Q}$-group $G$, and the group denoted by $SU(2,1)(\mathbf{C})$ is $G(\mathbf{R})$. For <em>any</em> connected linear algebraic group $G$ over $\mathbf{Q}$, the group $G(\mathbf{Q})$ is dense in $G(\mathbf{R})$ for the real topology. This is the real approximation theorem for connected linear algebraic groups, see the reference to Sansuc's paper in my comments to <a href="http://mathoverflow.net/questions/87665/a-question-on-algebraic-torus" rel="nofollow">http://mathoverflow.net/questions/87665/a-question-on-algebraic-torus</a>.</p> <p>Note also that if $G$ is a <em>simply connected</em> semisimple group over $\mathbf{Q}$ (as the group in the question), then $G(\mathbf{Q})$ is dense in $G(\mathbf{Q}_p)$ for any prime $p$. This follows from the weak approximation theorem for simply connected groups (due to Kneser, Harder, Platonov). This is not true for semisimple groups that are not simply connected, see example 5.8 in Sansuc's paper, where a certain semisimple $\mathbf{Q}$-group $G$ is constructed for which $G(\mathbf{Q})$ is not dense in $G(\mathbf{Q}_2)$. </p>