Lecture 1: Introduction Some arithmetic groups

advertisement
Some arithmetic groups
that do not act on the circle
Question
¿ ∃ (faithful) action of Γ on X ?
University of Lethbridge, Alberta, Canada
http://people.uleth.ca/~dave.morris
Dave.Morris@uleth.ca
Question
¿ ∃ (faithful) action of Γ on R ?
Example
SL(2, Z) does not act on R.
Proof.
�
1 / 16
−1 0 2
= I. So SL(2, Z) has elt’s of finite order.
0 −1
Example
Γ � SL(2, Z) finite-index subgrp can be a free group.
Has many actions on R.
Park City, July 2012
4 / 16
� left-inv’t order on Γ � SL(3, Z).

1 1 0

1 0,
1

y=


1 0 0

1 1,
1
Dave Witte Morris (Univ. of Lethbridge) Arithmetic grps do not act on S 1 (1/4)
Conjecture
Large arithmetic groups
or Homeo+ (S )?
Park City, July 2012

z=

[“lexicographic order"])
7 / 16
�
�
irreducible,
R-rank > 1
Dave Witte Morris (Univ. of Lethbridge) Arithmetic grps do not act on S 1 (1/4)
Wolog x, y, z � e.

1 0 1

1 0
1
Park City, July 2012
(because Γ̇

1

0
0
Z
1
0
2 / 16
� Z)
(⊂ SO(1, n)?)
cannot act on R
Park City, July 2012
Γ acts on S 1 − (fixed pt)
≈ R.
Dave Witte Morris (Univ. of Lethbridge) Arithmetic grps do not act on S 1 (1/4)
Park City, July 2012
Algebraic translation of conjecture
Definition
Assume Γ acts (faithfully) on R.
a≺b
⇐⇒
a(0) < b(0) or . . .
Note: a, b � e �⇒ ab � a � e and e � a−1 .
Exercise (assume Γ countable)
Γ acts faithfully on R ⇐⇒ ∃ left-inv’t order on Γ .
Conjecture
5 / 16
� left-inv’t order for Γ = large arith grp � SL(3, Z), etc.
Dave Witte Morris (Univ. of Lethbridge) Arithmetic grps do not act on S 1 (1/4)
Park City, July 2012
∗


Spse ∃ left-inv’t order on SL(3, Z) = �
4
�
�
�
5
�
1 ,�
2 ,�
3 = Heisenberg group.
i.e., zn ≺ s, ∀n ∈ Z.
6 / 16

�
1 �
2

∗ �
3 
.
�
6
∗
There are actually 6 Heisenberg groups in Γ :
�
1 ,�
2 ,�
3 ,
�
2 ,�
3 ,�
4 ,
�
3 ,�
4 ,�
5
�
4 ,�
5 ,�
6 ,
�
5 ,�
6 ,�
1 ,
�
6 ,�
1 ,�
2 .
�
�
Replace x, y, z with inverse.)
−1
Interchange x and y: [y, x] = z .
Park City, July 2012
(break ties)
Exercise
≺ is a total order on Γ that is left-invariant.
(a ≺ b �⇒ ca ≺ cb) Hint: orient-pres: s x < y �⇒ c(x) < c(y).

z = x −1 y −1 xy
⇒ xy = yxz
2
⇒ x n y n = y n x n zn
(Recall z ∈ Z(H))
2
n n −n −n
⇒x y x y
= z−n .
(quadratic)
Suppose zp � x and zq � y.
Therefore e ≺ x −1 zp , y −1 zq , x, y
⇒ e ≺ x n y n (x −1 zp )n (y −1 zq )n
= x n y n x −n y −n zpn+qn
2
= z−n z(p+q)n = znegative . →←
3 / 16
Hint: (Γ , ≺) � (Q, <) �⇒ Dedekind completion of Γ is R.

Z

Z
1
Dave Witte Morris (Univ. of Lethbridge) Arithmetic grps do not act on S 1 (1/4)
(if Γ �⊂ SL(2, R))
Proof of Fact (⇐).
�
�
Γ � SL(3, Z) or Γ � SL 2, Z[α] or . . .
α = real, irrat alg’ic integer.
Γ � SO(1, n), SU(1, n), Sp(1, n), F4,1 .
Proof.
H has left-inv’t order.
(N, G/N left ord’ble ⇒ G left ord’ble
Γ ⊂ SO(1, 3) �⇒ Γ̇ acts on R
∃s ∈ {x ±1 , y ±1 }, z � s,
Exercise
z = [x, y] = x −1 y −1 xy ∈ Z(H).
(optional)
Dave Witte Morris (Univ. of Lethbridge) Arithmetic grps do not act on S 1 (1/4)
∀ left-ordering of H =
Notation
x=

homo φ : Γ → Homeo+ (R) ?
Lemma
Proposition (Witte, 1994)

Γ acts on S 1 �⇒ ∃ finite orbit
�⇒ Γ̇ has a fixed point.
1
Arith grps known to act on R are “small.”
But Homeo+ (R) has no elt’s of finite order:
ϕ(0) > 0 �⇒ ϕ2 (0) > ϕ(0) > 0 �⇒ ϕ3 (0) > 0
�⇒ . . . �⇒ ϕn (0) > 0.
(if Γ �⊂ SL(2, R))
Theorem (Ghys, Burger-Monod, Bader-Furman)
� SL(n, Z) or . . .
Example (Agol, Boyer-Rolfsen-Wiest)
�


1 Z Z


H = Heisenberg grp =  1 Z.
1
(faithful)
( Γ = arith grp � SL(n, Z) )
Γ acts on one-pt compactification of R ≈ S 1 .
Example
Γ � SL(2, Z) finite-index subgrp can be a free group.
Has many actions on R.
( Γ = arith grp )
Dave Witte Morris (Univ. of Lethbridge) Arithmetic grps do not act on S 1 (1/4)
Proof (⇒).
X = simplest possible space
= connected manifold of dim’n 1
= circle or line
¿∃
action of Γ on R or S 1 ?
Γ̇ acts on R ⇐⇒ Γ̈ acts on S 1
(faithful: no kernel)
Γ = arithmetic group
almost
(faithful)
Fact
In these lectures:
Abstract. The group SL(3, Z) cannot act (nontrivially) on the
circle (by homeomorphisms). We will see that many other
arithmetic groups also cannot act on the circle. The
discussion will involve several important topics in group
theory, such as amenability, Kazhdan’s property (T ), ordered
groups, bounded generation, and bounded cohomology.
Park City, July 2012
¿∃
In Geometric Group Theory (and elsewhere):
Study group Γ by looking at spaces it can act on.
X = Hn , CAT(0) cube cplx, Euclidean bldg, etc.
Dave Witte Morris
Dave Witte Morris (Univ. of Lethbridge) Arithmetic grps do not act on S 1 (1/4)
Question
Lecture 1: Introduction
8 / 16
�
1 ,�
2 ,�
3 = Heis grp ⇒ �
2 ��
1 or �
2 ��
3 .
Wolog �
2 ��
3 .
�
2 ,�
3 ,�
4 = Heis grp ⇒ �
3 ��
2 or �
3 ��
4 .
Must have �
3 ��
4 .
etc.
�
2 ��
3 ��
4 ��
5 ��
6 ��
1 ��
2
⇒�
2 ��
2 .
Dave Witte Morris (Univ. of Lethbridge) Arithmetic grps do not act on S 1 (1/4)
Park City, July 2012
9 / 16
Conjecture
Γ does not act on R if Γ = large arithmetic group.
Conjecture
Γ does not act on R (or S 1 ) if Γ = large arith group.
Proposition (Witte, 1994)
Γ does not act on R if Γ � SL(3, Z) or Sp(4, Z)
or contains either.
I.e., rankQ (Γ ) ≥ 2.
Remark
Large arithmetic groups usually have
Kazhdan’s Property (T ).
Remark
�
�
Proposition does not apply to SL 2, Z[α] .
Open problem
¿ Groups with Kazhdan’s Property (T ) have
˙ actions on R or S 1 ?
no
Open problem
Find arith group Γ , such that G/Γ is compact, and
finite-index subgroups of Γ does not act on R.
Theorem (Navas)
Groups with Kazhdan’s Property (T ) have
˙ C 2 actions on S 1 .
no
G/Γ compact �⇒ proposition never applies.
Dave Witte Morris (Univ. of Lethbridge) Arithmetic grps do not act on S 1 (1/4)
Park City, July 2012
10 / 16
Exercises
(faithfully) on R iff Γ is left-orderable.
(For ⇒, need to show that ties can be broken in a consistent way.)
2) In the Heisenberg group H, show:
a) z = [x, y] ∈ Z(H).
b) x k y � = y � x k z k� for k, � ∈ Z.
used in proof of Ghys
3) The proof that Γ = SL(3, Z) is not left-orderable:
�
� �
�
a) Verify: �
1 ,�
2 ,�
3 , �
2 ,�
3 ,�
4 , etc
are all isomorphic to the Heisenberg grp H.
b) Generalize proof to finite-index subgroups.
free group has a
faithful
Dave Witte Morris (Univ. of Lethbridge) Arithmetic grps do not act on S 1 (1/4)
action on R.
Park City, July 2012
13 / 16
Further reading
V. M. Kopytov and N. Ya. Medvedev:
Right-Ordered Groups. Consultants Bureau, New
York, 1996.
É. Ghys: Groups acting on the circle.
L’Enseignement Mathématique 47 (2001)
329–407. http://retro.seals.ch/cntmng;
?type=pdf&rid=ensmat-001:2001:47::210
A. Navas: Groups of Circle Diffeomorphisms,
Univ. of Chicago Press, 2011.
http://arxiv.org/abs/math/0607481
D. Morris: Introduction to Arithmetic Groups
(preprint). http://people.uleth.ca/~dave.
morris/books/IntroArithGroups.html
Dave Witte Morris (Univ. of Lethbridge) Arithmetic grps do not act on S 1 (1/4)
Park City, July 2012
16 / 16
(quasimorphisms)
(∃ finite orbit)
All lectures are essentially independent.
11 / 16
Dave Witte Morris (Univ. of Lethbridge) Arithmetic grps do not act on S 1 (1/4)
Park City, July 2012
12 / 16
Related reading
6) Torsion-free, nilpotent groups are left-ord’ble.
Some torsion-free, solvable groups are
not left-orderable!
(harder)
(Assumption: every finitely generated subgrp of Γ is left-ord’ble.)
9) Residually left-ord’ble �⇒ left-ord’ble.
(Assumption: ∀g ∈ Γ , ∃ homo ϕ : Γ → H, such that ϕ(g) ≠ e and
H is left-orderable.)
10) Locally indicable �⇒ left-orderable.
(Assumption: the abelianization of every nontrivial, finitely
generated subgroup is infinite.)
�
�
11) SL(3, Z) not isomorphic to subgrp of SL 2, Z[α]
Dave Witte Morris (Univ. of Lethbridge) Arithmetic grps do not act on S 1 (1/4)
(∃ finite orbit)
used in proof of Burger-Monod
5) Torsion-free, abelian groups are left-orderable.
7)
Coming up:
Fri: Intro to bounded cohomology
8) Locally left-orderable �⇒ left-orderable.
c) H is left-orderable.
fin gen
Park City, July 2012
Γ does not act on R (or S 1 ) if Γ = large arith group.
�
�
Tues: proof for SL 2, Z[α]
(and others)
bounded generation
Thurs: What is an amenable group?
Optional exercises
1) Show Γ acts
4) Every
Dave Witte Morris (Univ. of Lethbridge) Arithmetic grps do not act on S 1 (1/4)
Conjecture
Park City, July 2012
14 / 16
D. W. Morris: Can lattices in SL(n, R) act on the
circle?, in Geometry, Rigidity, and Group Actions,
University of Chicago Press, Chicago, 2011.
http://arxiv.org/abs/0811.0051
D. Witte: Arithmetic groups of higher Q-rank
cannot act on 1-manifolds, Proc. Amer. Math.
Soc. 122 (1994) 333–340.
http://www.jstor.org/stable/2161021
S. Boyer, D. Rolfsen, and B. Wiest: Orderable
3-manifold groups, Ann. Inst. Fourier (Grenoble)
55 (2005), no. 1, 243–288.
http://dx.doi.org/10.5802/aif.2098
Dave Witte Morris (Univ. of Lethbridge) Arithmetic grps do not act on S 1 (1/4)
Park City, July 2012
15 / 16
Download