Abstract
We give a survey of Adrian Ioana's cocycle superrigidity theorem for profinite actions of Property (T) groups and its applications to ergodic theory and set theory in this expository paper. In addition to a statement and proof of Ioana's theorem, this paper features the following: (i) an introduction to rigidity, including a crash course in Borel cocycles and a summary of some of the best-known superrigidity theorems; (ii) some easy applications of superrigidity, both to ergodic theory (orbit equivalence) and set theory (Borel reducibility); and (iii) a streamlined proof of Simon Thomas's theorem that the classification of torsion-free abelian groups of finite rank is intractable.
1. Introduction
In the past fifteen years superrigidity theory has had a boom in the number and variety of new applications. Moreover, this has been coupled with a significant advancement in techniques and results. In this paper, we survey one such new result, namely, Ioana’s theorem on profinite actions of Property (T) groups and some of its applications in ergodic theory and in set theory. In the concluding section, we highlight an application to the classification problem for torsion-free abelian groups of finite rank. The narrative is strictly expository, with most of the material being adapted from the work of Adrian Ioana, mine, and Simon Thomas.
Although Ioana’s theorem is relatively recent, it will be of interest to readers who are new to rigidity because the proof is natural and there are many immediate applications. Therefore, we were keen to keep the nonexpert in mind. We do assume that the reader is familiar with the notion of ergodicity of a measure-preserving action and with unitary representations of countable groups. We will not go into great detail on Property (T), since for our purposes it is enough to know that satisfies Property (T) when . Rather, we will introduce it just when it is needed, and hopefully its key appearance in the proof of Ioana’s theorem will provide some insight into its meaning.
The concept of superrigidity was introduced by Mostow and Margulis in the context of studying the structure of lattices in Lie groups. Here, is said to be a lattice in the (real) Lie group if it is discrete and admits an invariant probability measure. Very roughly speaking, Margulis showed that if is a lattice in a simple (higher-rank) real Lie group , then any homomorphism from into an algebraic group lifts to an algebraic map from to . This implies Mostow’s theorem, which states that any isomorphic lattices in a simple (higher-rank) Lie group must be conjugate inside .
We will leave this first form of rigidity on the back burner and primarily consider instead a second form, initially considered by Zimmer, which is concerned with group actions. (The connection between the two forms of rigidity is that both can be cast in terms of measurable cocycles, which will be introduced in the next section. For the connection between cocycles and lifting homomorphisms, see [1, Example 4.2.12].) The basic notions are as follows. Two probability measure-preserving actions and are said to be orbit equivalent if there exists a measure-preserving almost bijection such that if . They are said to be isomorphic if additionally there exists an isomorphism such that . Essentially, Zimmer showed that any (irreducible) ergodic action of a lattice in a (higher rank) simple Lie group is superrigid in the sense that it cannot be orbit equivalent to another action of an algebraic group without being isomorphic to it. (For elementary reasons it is necessary to assume that acts freely on .) See [1, Theorem 5.2.1] for a weak statement of this result and [2, Section 1] for further discussion.
It is natural to ask whether there exists an analog of Zimmer’s theorem in the context of general measure-preserving actions, that is, with the algebraic hypothesis on removed. Many rigidity results have been established along these lines (for instance, see [2–4]). One of the landmark results in this direction was obtained recently by Popa [5], who found a large class of measure-preserving actions which are superrigid in the general sense that cannot be orbit equivalent to another (free) action without being isomorphic to it. In particular his theorem states that if is a Property (T) group, then the free part of its left-shift action on (the so-called Bernoulli action) is an example of a superrigid action. Following on Popa’s work, Ioana’s theorem gives a second class of examples of superrigid actions, namely, the profinite actions of Property (T) groups.
This paper is organized as follows. The second section gives some background on Borel cocycles, a key tool in rigidity theory. A slightly weakened version of Ioana’s theorem is stated in the third section. The proof itself is split between Section 4, which contains a general purpose lemma, and Section 5, which contains the heart of the argument. Although these are largely unchanged from Ioana’s own account, I have inserted many additional remarks to smooth the experience for the newcomer.
In Section 6, we give a couple of the easier applications of the main theorem. First, we show how to obtain many orbit inequivalent profinite actions of . We also explore applications to logic and set theory by considering Borel reducibility. In particular, we point out some of the extra challenges one faces when working in the purely set-theoretic (i.e., Borel) context, as opposed to the more familiar measure context.
Finally, in the last section, we use Ioana’s theorem to give a self-contained and slightly streamlined proof of Thomas’s theorem that the complexity of the isomorphism problem for torsion-free abelian groups of finite rank increases strictly with the rank.
2. Rigidity via Cocycles
We begin by introducing a slightly more expansive notion of orbit equivalence rigidity. If and are arbitrary Borel actions of countable groups, then a function is said to be a homomorphism of orbits if implies . It is said to be a homomorphism of actions if additionally there exists a homomorphism such that . (Note that these terms are not exactly standard.) Informally, we will say that is superrigid if whenever is a free action and is a homomorphism of orbits, then in fact arises from a homomorphism of actions (i.e., is equivalent to a homomorphism of actions in a sense defined below).
Following Margulis and Zimmer, we will require the language of Borel cocycles to describe and prove superrigidity results. A cocycle is an object which is associated with a given homomorphism of orbits as follows. Observe that for every , there exists a such that . Moreover, acts freely on if and only if this is always uniquely determined by the data , , and . In other words, in this case, determines a function which satisfies This map is called the cocycle corresponding to , and it is easy to see that it is Borel whenever is. Moreover, the cocycle satisfies the composition law ; this is called the cocycle condition. See Figure 1 for a visual depiction of the cocycle condition.
When is actually action-preserving, that is, for some homomorphism , then we have , so that is independent of the second coordinate. Conversely, if is independent of the second coordinate, then one can define and the composition law implies that is a homomorphism. In this situation, the cocycle is said to be trivial.
In practice, when establishing rigidity, one typically shows that an arbitrary cocycle (arising from a homomorphism of orbits) is equivalent to a trivial cocycle (which therefore arises from a homomorphism of actions). Here, we say that homomorphisms of orbits are called equivalent if there exists a Borel function such that , a.e. (i.e., they lift the same function on the quotient spaces ). In this case, the corresponding cocycles are said to be cohomologous. It is easy to check that are equivalent via if and only if the corresponding cocycles satisfy the relation a.e.; this is called the cohomology relation. The easiest way to see that this is the case is to glance at Figure 2.
We close this section by remarking that not all cocycles arise from orbit-preserving maps. An abstract cocycle is any Borel function satisfying the cocycle condition a.e., and two cocycles are said to be cohomologous if there exists a Borel function satisfying the cohomology relation a.e. The most powerful superrigidity results often have the conclusion that “every cocycle is cohomologous to a trivial cocycle.” However, for most applications there is no need for the extra strength gained by using the abstract cocycle formulation.
3. Ioana’s Theorem
Cocycle superrigidity results were first established by Margulis and Zimmer for cocycles where is a lattice in a higher rank Lie group acting ergodically on . These results carried the additional hypothesis that is contained in an algebraic group. The first example of the most general form of cocycle superrigidity, with the target arbitrary, was Popa’s result concerning Bernoulli actions. In this section, we will discuss Ioana’s theorem, which establishes similar conclusions for profinite actions.
Here, is said to be profinite if as a -set, is the inverse limit of a family of finite -sets . In particular, there exist equivariant projections and each element can be identified with the thread . We are interested in the ergodic case; here, each is equipped with the uniform probability measure and is transitive.
Theorem 1 (Ioana). Let be an ergodic, measure-preserving, profinite action, with invariant factor maps . Assume that has Property (T). Then for any cocycle , there exists and such that the restriction of to the action is cohomologous to a trivial cocycle.
In other words, the conclusion is that is “virtually superrigid” in the sense that any orbit preserving map, after it is restricted to a finite index component of the left-hand side, comes from an action preserving map. Ioana’s theorem is interesting when contrasted with Popa’s theorem; while Bernoulli actions are strongly mixing, profinite actions are highly nonmixing. Indeed, for each , just permutes the blocks , for , and it follows that is a -invariant subset of .
We remark that although our variant of Ioana’s theorem is sufficient for most applications, it is weaker than the state of the art in several ways. First, Ioana requires only that have the relative Property (T) over some infinite normal subgroups such that is finitely generated. Second, Ioana also shows that is equivalent to a cocycle defined on all of . Last, Furman has generalized the statement by replacing profinite actions with the more general class of compact actions. ( is said to be compact if when regarded as a subset of it is precompact in a suitable topology.)
4. Cocycle Untwisting
We begin with the following preliminary result, which roughly speaking says that if is a cocycle and if for each it has a “very likely” value, then is cohomologous to the map which always takes on this likely value. In particular, in this case, is cohomologous to a trivial cocycle.
Theorem 2. Let be ergodic and measure-preserving, and let be a cocycle. Suppose that for all there exists such that Then the map is a homomorphism and is cohomologous to it.
It is easy to see that must be a homomorphism: indeed, the hypothesis guarantees that there is a nonnull set of for which . Hence it remains only to establish the following result.
Lemma 3. Let be ergodic and measure-preserving, and let be cocycles. Suppose that for all Then is cohomologous to .
We understand this result to say that if and are close in an sense, then they are cohomologous. It follows upon similar results of Popa and Furman, which draws the same conclusion in the case that and are close in an appropriate sense (for instance, see [6, Theorem 4.2]). Ioana’s proof, given below, may be safely skipped until reading the next section.
Proof of Lemma 3. Let be the action given by
(this is an action thanks to the cocycle condition), and consider the corresponding left-regular representation. The reason for using this representation is that is close to if and only if a particular vector is close to being invariant. Namely, let
(read: the characteristic function of ) and notice that
Using this together with the law of cosines, the hypothesis now translates to say that for all . It is not difficult to see that this implies that there is an invariant vector such that . (Indeed, letting denote the convex hull of , it is easily seen that there exists a unique vector of minimal norm; this is necessarily invariant.)
The idea for the conclusion of the proof is as follows. If we had for some function , then we would be done. Indeed, in this case, the invariance of would mean that if and only if , so that . In other words, would witness the fact that is cohomologous to . The fact that implies that this is close to being the case.
We actually define the such that , if it exists and is unique. The above computation shows that when are both defined, the cohomology relation holds. Moreover, the set where is defined is invariant, so by the ergodicity of , it suffices to show that this set is nonnull. In fact, since and are close, must take value on a nonnull set:
This shows that is non-null, as desired. A similar computation is used to show that, with probability , is the unique such element of .
5. Ioana’s Proof
What We Want. We wish to find some and such that for all , where denotes the normalized restriction of to . This would imply, by a straightforward computation, that for each there exists a such that and this would complete the proof thanks to Theorem 2.
What We Have. Unfortunately, it is only immediately possible to obtain that the quantities in (8) tend to on average, at a rate depending on . That is, for each , we have To see this, first note that it is equivalent to Now, we generally have that for any subset , This is because the family is dense in , and while the right-hand side is the norm-squared of , the left-hand side is the norm-squared of projected onto the span of . Finally, just apply (12) to each set and use the dominated convergence theorem to pass the limit through the sum over all .
Proof. The gap between what he has (the asymptotic information) and what we want (the uniform information) is bridged by Property (T). Once again the first step is to consider an appropriate representation; this time one which compares the values of as varies. That is, let by
and consider the left-regular unitary representation corresponding to this action. The idea, very roughly, is that the degree to which is independent of will be measured by how close a particular vector is to being -invariant.
More precisely, for each define an orthonormal family of vectors for by
and consider their normalized average
Then a simple calculation shows that
So now, “what we have” and “what we want” can be translated as follows: we have the form a family of almost invariant vectors and we want a single and such that is nearly invariant, uniformly for all .
The remainder of the argument is straightforward. Since the forms a family of almost invariant vectors, Property (T) implies that there exist and an invariant vector such that . Let be the restriction of to the set ). Since this set is invariant, we have the fact that that is invariant as well. Since is supported on this set, we retain the property that .
Now, we simply express as a normalized average of orthogonal -invariant vectors. More specifically, write
where is the appropriately rescaled restriction of to the set . Then by the law of averages, we must have some such that . Moreover, is -invariant, so that for all we have . It follows that by an appropriate choice of , we can make for all .
6. Easy Applications
In this section, we use Ioana’s theorem for one of its intended purposes: to find many highly inequivalent actions. The results mentioned here are just meant to give the flavor of applications of superrigidity; they by no means demonstrate the full power of the theorem. In the next section we will discuss the slightly more interesting and difficult application to torsion-free abelian groups. For further applications, see for instance [7–10].
In searching for inequivalent actions, one might of course consider a variety of inequivalence notions. Here, we focus on just two of them: orbit inequivalence and Borel incomparability. Recall from the introduction that and are said to be orbit equivalent if there exists a measure-preserving and orbit-preserving almost bijection from to . Notice that this notion depends only on the orbit equivalence relation arising from the two actions and not on the actions themselves. When this is the case, we will often conflate the two, saying alternately that certain actions are orbit equivalent or that certain equivalence relations are “orbit equivalent.”
Borel bireducibility is a purely set-theoretic notion with its origins in logic. The connection is that if is an equivalence relation on a standard Borel space , then we can think of representing a classification problem. For instance, if happens to be a set of codes for a family of structures, then studying the classification of those structures amounts to studying the isomorphism equivalence relation on . We refer the reader to [11] for a complete introduction to the subject.
If and are equivalent relations on and , then is said to be Borel reducible to if there exists a Borel function satisfying if and only if . We think of this saying that the classification problem for elements of up to is no more complex than the classification problem for elements of up to . Thus, if and are Borel bireducible (i.e., there is a reduction both ways), then they represent classification problems of the same complexity.
It is elementary to see that neither orbit equivalence or Borel bireducibility implies the other. For instance, given any -space one can form a disjoint union , where is a -space of very high complexity which is declared to be of measure . Conversely, if is an ergodic and hyperfinite -space, then it is known that it is bireducible with , but the two cannot be orbit equivalent. It is even possible, without much more difficulty, to find two ergodic actions which are bireducible but not orbit equivalent.
We are now ready to begin with the following direct consequence of Ioana’s theorem. It was first established by Simon Thomas in connection working on classification problem for torsion-free abelian groups of finite rank. His proof used Zimmer’s superrigidity theorem and some additional cocycle manipulation techniques; with Ioana’s theorem in hand, the proof will be much simpler.
Corollary 4. If is fixed and are primes such that , then the actions of on and are orbit inequivalent and Borel incomparable.
Here, denotes the ring of -adic integers. It is easy to see that is a profinite action, being the inverse limit of the actions together with their natural system of projections.
Proof. Let and suppose that is either an orbit equivalence or a Borel reduction from to . We now apply Ioana’s theorem together with the understanding of cocycles gained in the previous section. The conclusion is that we can suppose without loss of generality that there exists a finite index subgroup , a -coset , and a homomorphism which makes into an action-preserving map from into .
Now, in the measure-preserving case, it is not difficult to conclude that is a “virtual isomorphism” between the two actions. We claim that this can be achieved even in the case that is just a Borel reduction. First, we can assume that is an embedding. Indeed, by Margulis’s theorem on normal subgroups [1, Theorem 8.1.2], either or is finite. If is finite, then we can replace by a finite index subgroup (and by a coset of the new ) to suppose that is injective. On the other hand, if is finite, then we can replace by a finite index subgroup to suppose that is trivial. But this would mean that is -invariant, and so by ergodicity of , would send a conull set to a single point, contradicting that is countable-to-one.
Second, must be a finite index subgroup of . Indeed, by Margulis’s superrigidity theorem, can be lifted to an isomorphism of , and it follows that is a lattice of . But then it is easy to see that any lattice which is contained in must be commensurable with .
Third, by the ergodicity of , we can assume that is contained in a single coset . And now because preserves a unique measure on (the Haar measure) and because preserves , we actually conclude that is measure-preserving. In summary, we have shown that is a measure and action-preserving isomorphism between and , which establishes the claim.
Finally, a short computation confirms the intuitive, algebraic fact that the existence of such a map is ruled out by the mismatch in primes between the left-and right-hand sides. We give just a quick sketch; for a few more details see [12, Section 6]. Now, it is well-known that there are constants such that for any of finite index, the index of in divides for some . It follows that if , then breaks up into some number of ergodic -sets with . Since is a measure and action-preserving isomorphism, we also have that breaks up into ergodic sets, and hence also. But it is not difficult to choose small enough to ensure that is large enough for this to be a contradiction.
This argument can be easily generalized to give uncountably many incomparable actions of . Given an infinite set of primes with increasing enumeration , we can construct a profinite -set It is not much more difficult to show (as Ioana does) that when , the actions and are orbit inequivalent. In fact, this shows that there are “ many” orbit inequivalent profinite actions of . Of course, it is known from different arguments (exposited in [13, Theorem 17.1]) that the relation of orbit equivalence on the ergodic actions of is very complex (for instance not Borel). But the methods used here give us more detailed information: we have an explicit family of inequivalent actions, the actions are special (they are classical and profinite), and what is more they are Borel incomparable.
So far, we have considered only free actions of . But if one just wants to use Ioana’s theorem to find orbit inequivalent actions, it is enough to consider actions which are just free almost everywhere. Here, a measure-preserving action is said to be free almost everywhere if the set is conull (i.e., the set where acts freely is conull).
Unfortunately, in the purely Borel context it is not sufficient to work with actions which are free almost everywhere, since in this case we are not allowed to just delete a null set on the right-hand side. The next result shows how to get around this difficulty. Once again, it was originally obtained by Simon Thomas using Zimmer’s superrigidity theorem.
Corollary 5. If is fixed and are primes with , then the actions of on and are orbit inequivalent and Borel incomparable.
Here, denotes projective space of lines through . Since is a transitive -space, this result is quite similar to the last one. We note also that while does not act freely on , it does act freely on a conull subset [12, Lemma 6.2].
Proof. First suppose that is a measure-preserving and orbit-preserving map. Then we can simply restrict the domain of to assume that it takes values in the part of where acts freely. Afterwards, we can obtain a contradiction using essentially the same combinatorial argument as in the proof of Corollary 4.
The proof in the case of Borel reducibility requires an extra step. Namely, we cannot be sure that sends a conull set into the part of where acts freely. However, if it does not, then by the ergodicity of we can assume that sends a conull set into the part of where acts nonfreely. Our aim will be to show that this assumption leads to a contradiction.
First, let us assume that there exists a conull subset such that, for all , there exists such that . Then for all , lies inside a nontrivial eigenspace of some element of . Hence, if we let denote the minimal subspace of which is defined over such that , then is necessarily nontrivial.
Note that since is countable, there are only countably many possibilities for . Hence, there exists a non-null subset of and a fixed subspace of such that for all , we have . By the ergodicity of , the set is conull, and it follows that we can adjust to assume that for all we have . (More precisely, replace by , where is the first element of such that .)
Now, let denote the group of projective linear transformations induced on by . It is an easy exercise, using the minimality of , to check that acts freely on and that is a homomorphism of orbits from into . Admitting this, we can finally apply Ioana’s theorem to suppose that there exists a finite index subgroup and a nontrivial homomorphism . As in the proof of Corollary 4, we can suppose that is an embedding. We thus get a contradiction from the next result, below.
Theorem 6. If is a subgroup of finite index and is an algebraic -group with , then does not embed .
The idea of the proof is to apply Margulis’s superrigidity theorem. That is, one wishes to conclude that such an embedding lifts to some kind of rational map , a clear dimension contradiction. However, a little extra work is needed to handle the case of a -group on the right-hand side (see [10, Theorem 4.4]).
7. Torsion-Free Abelian Groups of Finite Rank
The torsion-free abelian groups of rank 1 were classified by Baer in 1937. The next year, Kurosh and Malcev expanded on his methods to give classifications for the torsion-free abelian groups of ranks 2 and higher. Their solution, however, was considered inadequate because the invariants they provided were no easier to distinguish than the groups themselves.
In 1998, Hjorth proved, using methods from the study of Borel equivalence relations, that the classification problem for rank 2 torsion-free abelian groups is strictly harder than that for rank 1 (see [14]). However, his work did not answer the question of whether the classification problem for rank 2 groups is as complex as for all finite ranks or whether there is more complexity that is to be found by looking at ranks 3 and higher.
Let denote the space of torsion-free abelian groups of rank exactly , that is, the set of full-rank subgroups of . Let denote the isomorphism relation on . In this section we will give a concise and essentially self-contained proof of Thomas’s theorem:
Theorem 7 (Thomas [15]). For , one has that lies properly below in the Borel reducibility order.
Thomas’s original argument used Zimmer’s superrigidity theorem. In this presentation, we have essentially copied his argument verbatim, with a few simplifications stemming from the use of Ioana’s theorem instead of Zimmer’s theorem.
The first connection between this result and the results of the last section is that for , we have if and only if there exists such that . Hence, the isomorphism relation is given by a natural action of the linear group . Unfortunately, even restricting to just the action of , the space is nothing like a profinite space.
The Kurosh-Malcev Invariants. Although I have said that the Kurosh-Malcev invariants do not adequately classify the torsion-free abelian groups of finite rank, we will get around our difficulties by working with the Kurosh-Malcev invariants rather than with the original space . The following is the key result concerning the invariants; see [16, Chapter 93] for a full account.
Theorem 8 (Kurosh, Malcev). The map is a -preserving bijection between the (full rank) -local subgroups of and the (full rank) -submodules of . The inverse map is given by .
Here, a subgroup of is said to be -local if it is infinitely -divisible for each prime . Kurosh and Malcev proved that a subgroup is determined by the sequence ; this sequence is said to be the Kurosh-Malcev invariant corresponding to . It follows of course that is determined up to isomorphism by the orbit of under the coordinatewise action of . (It is now easy to see why these invariants serve as a poor classification: such orbits can be quite complex.) All that we will need from this classification is the following corollary.
Proposition 9. There exists a Borel reduction from to .
Since is closely related to a profinite action, Proposition 9 will eventually enable us to apply Ioana’s theorem in the proof of Theorem 7.
Sketch of Proof. Given a linear subspace , let denote its orthogonal complement. Then there exists a vector such that is a full-rank submodule of . By Theorem 8, this module corresponds to an element . This is how the Kurosh-Malcev construction is used.
To verify that it works, one uses the fact that the Kurosh-Malcev construction is -preserving, together with the technical fact: if and are full-rank modules, then for some actually implies that for some .
The Problem of Freeness. Suppose now that and that there exists a Borel reduction from to . By Proposition 9, there exists a profinite, ergodic -space (namely ) and a countable-to-one homomorphism of orbits from to . We can almost apply Ioana’s theorem, except that unfortunately is not induced by a free action of any group. The following simple observation gives us an approach for getting around this difficulty.
Proposition 10. Let be a homomorphism of orbits from into . Suppose that there exists a fixed such that for all , . Then acts freely on , and is a homomorphism of orbits from into .
Proof. By definition, we have that acts on by . The action is free because implies that . To see that is still a homomorphism of orbits, just note that if then since stabstab, it follows that normalizes .
One can now formulate a strategy for proving Thomas’s theorem along the following lines:
Claim 1. By passing to a conull subset of , we can assume without loss of generality that for all we have some fixed .
Claim 2. There cannot exist a nontrivial homomorphism from (a finite index subgroup of) into .
This would yield a contradiction, since by Proposition 9 and Claim 1, Ioana’s theorem would provide the nontrivial homomorphism ruled out in Claim 2. Unfortunately, this approach does not turn out to be a good one. The reason is that Claim 1 seems to be as difficult to be proved as Theorem 7 itself. Moreover, Claim 2 is not known to be true in this generality. (In fact, Claim 1 has recently been established by Thomas in [10], but his proof actually requires all of the arguments below and more).
Use Quasi-Isomorphism Instead. To reduce the number of possibilities for , we change categories from isomorphism to quasi-isomorphism. We say that groups are quasi-isomorphic, written as , if and only if is commensurable with an isomorphic copy of . Of course, is a courser relation than , but it is easy to check that it is still a countable Borel equivalence relation (indeed, the commensurability relation is a countable relation in this case, see [15, Lemma 3.2]). Hence, the map from above is again a countable-to-one Borel homomorphism from to .
Now, rather than attempting to fix the automorphism group of , we will fix the quasiendomorphism ring of . Here, if then is said to be a quasiendomorphism of if is commensurable with a subgroup of . (Equivalently, for some .) Then unlike , it is clear that is a -subalgebra of . It follows that there are just countably many possibilities for , since an algebra is determined by any -vector space basis for it. Hence, there exists such that for a nonnull set of . Arguing as in the proof of Corollary 5, we may replace by a conull subset and adjust to assume that for all , we have .
Thus, we have successfully obtained our analog of Claim 1 for quasi-isomorphism. Indeed, copying the arguments in the proof of Proposition 10, we see that is a homomorphism and that acts freely on . We may therefore apply Ioana’s theorem to suppose that there exists a finite index subgroup , a positive measure , and a homomorphism such that for and , we have Note that must be nontrivial; since if , then this says that is -invariant. But then, by ergodicity of , would send a conull set to one point, contradicting that is countable-to-one.
A Dimension Contradiction. The set theory is now over; we have only to establish the algebraic fact that the analog of Claim 2 holds: there does not exist a nontrivial homomorphism from into . Again by Margulis’s theorem on normal subgroups, we can suppose that is an embedding. Then using Margulis’s superrigidity theorem, it suffices to show that is contained in an algebraic group of dimension strictly smaller than .
To see this, first note that since the subalgebra of is definable from a vector space basis, we have that , where is an algebraic -group inside . Basic facts from algebraic group theory imply that and , where again are algebraic -groups inside . Finally, is exactly , which is contained in the algebraic -group . Since the dimension of an algebraic group decreases when passing to subgroups and quotients, we have as desired. This completes the proof.