units in distinct division algebras over number fields---are they definitely not isomorphic as abstract groups? - MathOverflow

units in distinct division algebras over number fields---are they definitely not isomorphic as abstract groups?

2010-06-16T10:03:24Z

This is really an irrelevant question in the sense that the answer isn't remotely "logically crucial for the Langlands programme" or whatever---it's just something that occurred to me when writing some lectures on the subject.

Let $F$ be a number field and let $D$ and $D'$ be division algebras over $F$ with centre $F$. Let me put myself in the following simplified situation: assume $D$ and $D'$ both have dimension $p^2$ over $F$ (so are forms of $M_p(F)$) with $p$ an odd prime, and let me also assume that $D$ and $D'$ are both ramified at precisely the same finite places of $F$ (and at no infinite places of $F$) but that $D$ and $D'$ are not isomorphic.

The question: Are $D^\times$ and $(D')^\times$ sometimes non-isomorphic as groups?

Let me put this slightly strange question into context. Experts will already know what is coming: $D^\times$ and $(D')^\times$ are group-theoretically similar in certain ways; this is what I'm about to explain. This group-theoretic similarity would be trivially explained if the groups were isomorphic! But I think the whole point should be that the groups aren't isomorphic, although I don't know an instance where I can prove this.

OK so here are the details. Given $D$ and $D'$ as above, there is a link between automorphic forms on $D^\times$ and $(D')^\times$. When proving this link using the trace formula, one has to check that two complicated formulae for traces, one associated to $D$ and one to $D'$, coincide. The formulae are of the form "sum over conjugacy classes of certain orbital integrals". The strategy I understand to check these sums coincide is first to use general theory of central simple algebras to explicitly list the conjugacy classes in the groups $D^\times$ and $(D')^\times$, and then to write down an explicit natural bijection between them, and then to check that things add up in the sense that each term on the $D$ side is equal to the corresponding term on the $D'$ side, and then to deduce that certain traces are equal, and then you follow your nose to the answer (modulo a technicality that has to be dealt with using a Plancherel measure argument but which isn't relevant here).

Crucial in this strategy is the identification of the conjugacy classes in $D^\times$ with the conjugacy classes in $(D')^\times$. The way this works in this situation is that a conjugacy class in $D^\times$ is either an element of $F^\times$ (the central classes) or contains some $e\not\in F$; in this case $E:=F(e)$ is a field extension of $F$ of degree $p$ which splits $D$, and the fields that split $D$ of this form are precisely the degree $p$ extensions of $F$ which have one prime above $v$ for all $v\in S$ our bad set. The miracle that has occurred here is that this argument (when fleshed out) shows that the conjugacy classes in $D^\times$ are parametrised by a set that depends only on $F$, $p$ and $S$, and in particular this set is the same for $D$ and $D'$, which have the same degree and which ramify at the same primes.

I will present this argument in detail in class today, and my instinct is to stress that a miracle has occurred, because $D^\times$ and $(D')^\times$ are non-isomorphic groups whose conjugacy classes are completely naturally in bijection with one another. Of course if $D$ and $D'$ are isomorphic then then $D^\times$ and $(D')^\times$ will be isomorphic. Moreover, if $D'=D^{opp}$ then again $D^\times$ and $(D')^\times$ will be isomorphic as groups. In both cases it is hardly surprising that I have managed to canonically biject the conjugacy classes of $D^\times$ and $(D')^\times$! But in general I am still convinced that a miracle has occurred. However to really convince the audience of this I want to assert confidently that the groups $D^\times$ and $(D')^\times$ really are not always isomorphic. Is this definitely true??

{\bf EDIT}: Here's an even stronger question, which is even less likely to be true, and given that I'm hoping/guessing that such things aren't true, it seems worth formulating (the stronger it is, the easier it should be to falsify).

OK so same set-up: $D$ and $D'$ division algebras of dimension $p^2$, $p$ prime, and ramified at the same set of finite primes $S$, but $D$ and $D'$ not isomorphic. Let $G$ be the form of $PGL_p$ associated to $D^\times/Z(D^\times)$ and let $G'$ be the form corresponding to $D'$. If $\mathbf{A}^S$ denotes the adeles of $F$ away from $S$ then choosing isomorphisms $D_v=D'_v$ for all $v\not\in S$, sending $O_v$ to $O'_v$ for two chosen maximal orders $O$ and $O'$ in $D$ and $D'$ when $v$ is finite, gives us an induced isomorphism $G(\mathbf{A}^S)=G'(\mathbf{A}^S)$. Call this group $X$. Now $\Gamma:=D^\times/F^\times$ and $\Gamma':=(D')^\times/F^\times$ are two discrete subgroups of $X$ and using the trace formula one can prove that not only do the conjugacy classes of $D^\times$ and $(D')^\times$ match up, but (if my understanding is correct) the covolumes of $\Gamma$ and $\Gamma'$ are the same. This would be explained by the highly unlikely statement that $\Gamma$ and $\Gamma'$ were actually conjugate within $X$! This is perhaps even stronger than just being abstractly isomorphic, in this setting? One might also ask to give an explicit example where this cannot possibly be the case?

I mention this stronger statement because people might find it easier to use high-powered methods to refute it.

Answer by Victor Protsak for units in distinct division algebras over number fields---are they definitely not isomorphic as abstract groups?

2010-06-16T12:54:26Z

This is close to the famous paper of Borel and Tits, Homomorphismes ``abstraits'' de groupes algébriques simples, Ann. of Math. (2) 97 (1973), 499 – 571 MR0316587 (47 #5134). Unfortunately, one cannot appply their strongest result (abstract homomorphism $\implies$ algebraic homomorphism composed with a field embedding, valid for general infinite fields) because $D$ is anisotropic. Nonetheless, in 9.13 (i) they prove that if $G$ is a semisimple algebraic group over a local field $k\ ({char } k=0)$ and $G'$ is a reductive algebraic group over a local field $k'$ and $G'$ has no nontrivial complex factor, then every abstract homomorphism $G(k) \to G'(k')$ is continuous. Consequently, if $D^*_v \simeq D'^*_v$ as abstract groups then $SL_1(D_v) \simeq SL_1(D'_v)$ as topological groups and I thought¹ that this implied that $D_v \simeq D'_v$. If that holds for all $v$ then $D \simeq D'.$²

Footnotes
¹ Wrongly, see Kevin's and BCnrd's examples in the comments.
²True but irrelevant. For Kevin's question, it would be sufficient to find a single pair of $D$ and $D'$ with abstractly non-isomorphic unit groups, and the conclusion is too strong in view of the previous comment.

Answer by Ben Wieland for units in distinct division algebras over number fields---are they definitely not isomorphic as abstract groups?

2010-06-17T20:03:48Z

Second try. Victor points out that my original application of super-rigidity was faulty. This edit is to remove the false claim and leave only the lemma I believe. While I'm at it, I have added some stuff I don't understand.

Let $H$ and $G$ be algebraic groups of units of division algebras over $\mathbb Q$ (because super-rigidity is of limited use over bigger fields). If $f\colon H(\mathbb Q)\to G(\mathbb Q)$ is an isomorphism of abstract groups, then super-rigidity implies that for all $S$, $H(\mathbb Z[S^{-1}])$ and $G(\mathbb Z[S^{-1}])$ contain finite index subgroups identified by $f$. One can't ask for more, since the $S$-integral points of $H$ and $G$ are only well-defined up to finite index. These groups are insensitive to inclusion of the ramified places in $S$.

I don't know how much this buys us.

Perhaps one can use the congruence subgroup property to reconstruct the local points of the group? I believe that the CSP is conjectured but open for these groups (specifically, that there should be a finite congruence kernel, perhaps for large $S$). Worse, I'm not sure what it says, it particular whether it allows reconstruction of the compact factors. (If this does work, then the compact factors would be the profinite completion of the rational points and one would not need the first paragraph. Maybe this should have been a separate answer.)

If we can reconstruct the compact local factors from the ($S$-)integral points, and thus from the rational points, we can reconstruct the local invariants, up to a sign (the local version of this question, addressed by Victor and Boyarsky). This would not be enough to show that the two discrete groups of rational points are isomorphic as algebraic groups, but it would be enough to show that some examples of groups of rational points are not isomorphic. A division algebra with local invariants $\frac15$ and $\frac45$ has non-isomorphic factors to one with $\frac25$ and $\frac35$. But a division algebra with invariants $(\frac 15,\frac 25,\frac 35,\frac 45)$ is not isomorphic or opposed to one with invariants $(\frac 45,\frac 25,\frac 35,\frac 25)$, even though locally it is always isomorphic or opposed. Thus, such a method could not distinguish their unit groups.

Proof of the claim in the first paragraph that isomorphism of rational points must preserve integral points: Super-rigidity says that maps of lattices extend to maps of their ambient locally compact groups. It requires that the $S$-rank of the source is least $2$, where the $S$-rank is the sum over places in $S$ of the local ranks. Under Kevin's assumptions, we already have rank $2$ from the infinite place; in general we would need to use large $S$ to draw conclusions about small $S$. $H(\mathbb Q)$ is not finitely generated, but it is filtered by groups of $S$-integers, which are finitely generated. Thus an isomorphism $f\colon H(\mathbb Q)\cong G(\mathbb Q)$ yields a homomorphism $H(\mathbb Z)\to G(\mathbb Z[S^{-1}])$, for some $S$. By super-rigidity, $H(\mathbb Z)$ contains a finite index subgroup on which this extends to a (continuous) homomorphism $H(\mathbb R)\to G(\mathbb R\times \mathbb Q_p\times\ldots)$, which has to land in $G(\mathbb R)$. And similarly back, so we get an isomorphism $H(\mathbb R)\cong G(\mathbb R)$ which restricts to be $f$ on a finite index subgroup of $H(\mathbb Z)$. That is, $f$ preserves the integral points. Similarly for the $S$-integral points.