NOTES ON KLEINER S PROOF OF GROMOV S POLYNOMIAL GROWTH THEOREM
|
|
- Marion Jones
- 6 years ago
- Views:
Transcription
1 NOTES ON KLEINER S PROOF OF GROMOV S POLYNOMIAL GROWTH THEOREM ROMAN SAUER Abstract. We present and explain Kleiner s new proof of Gromov s polynomial growth [Kle07] theorem which avoids the use of Montgomery-Zippin theory. We also stress the connection to Shalom s property H F D. No originality is claimed. These notes have not yet been proofread or polished. 1. Introduction We present Bruce Kleiner s proof [Kle07] of the following famous theorem of Mikhail Gromov. Theorem 1.1. A finitely generated group with weak polynomial growth is virtually nilpotent. A finitely generated group Γ is equipped with the word metric with respect to some finite symmetric set of generators. Let B Γ (r) Γ denote the r-ball around e in Γ. One says that Γ has weak polynomial growth if there is some d > 0 such that lim inf r #B Γ (r) r d <. The crucial ingredient of the proof by Bruce Kleiner is the following theorem which is adapted from a corresponding theorem in the setting of Riemannian manifolds with non-negative Ricci curvature by Tobias Colding and William Minicozzi to that discrete groups. Theorem 1.2. Let Γ be a finitely generated group. Let G = G(Γ, S) be the Cayley graph with respect to a finite, symmetric set S of generators. If Γ has weak polynomial growth then for every d > 0 the vector space H d (G) = { f : G R; f harmonic, C > 0 r > 0 : f(r) < Cr d} is finite dimensional. See the beginning of Section 2 for some remarks on the definition of harmonicity. 2. Poincare inequalities for finitely generated groups Let Γ be a group with finite, symmetric generating set S. Let G = G(Γ, S) the associated Cayley graph. We regard G here as a 1-dimensional metric, simplicial complex as opposed to a combinatorial object. Further, G carries a unique measure that restricts to the Lebesgue measure on each edge e = [0, 1]. Let B(x, r) G denote the ball of radius r around x G. For x Γ let B Γ (x, r) Γ denote the 1
2 2 ROMAN SAUER r-ball around x in Γ. Let V (r) = vol B(e, r). Write B(r) = B(e, r). For a function f : B(R) R let f R = 1 f(x) V (R) x B(R) be its average over B(R). We say a function f on G is smooth if f is smooth on the interior of every edge (in the usual sense). We denote its derivate by f : G R which is defined everywhere except at the vertices. Theorem 2.1. Let R N. For every smooth f : B(3R) R we have f f R 2 8 S 2 R 2 V (2R) f 2. V (R) x B(R) x B(3R) Proof. For s B(R) we obtain from Cauchy-Schwarz that f(s) f R 1 (2.1) 1 f(s) f(x) dx V (R) (2.2) B(R) V (R)1/2 ( (f(s) f(x)) 2 dx ) 1/2. V (R) B(R) Hence f(s) f R 2 B(R) (f(s) f(x))2 /V (R)dx, and thus ( ) 2 1 ( ) 2 f(x) fr f(x) f(y) x B(R) V (R) x,y B(R) 1 ( f(p1 ) f(p 2 ) ) 2 dp1 dp 2. V (R) (x 1,x 2) e 1 e 2 (e 1,e 2) B(R) Here the sum runs over ordered pairs (e 1, e 2 ) of edges contained in B(R). Next we estimate the integrand f(p1 ) f(p 2 ). Let s fix e1, e 2, p 1, p 2 for the following consideration. Let x i e i Γ, i = 1, 2 be vertices such that d(x 1, x 2 ) 2R 2. Let y = x 1 1 x 2 B(2R 2). Choose a shortest (vertex) path γ y : 0,..., d(y, e) Γ from e to y. Let δf : B Γ (3R 1) R, δf(x) = f(w) 2 dw. We obviously have f(p1 ) f(p 2 ) d(y,e) By Cauchy-Schwarz we obtain that d(y,e) i=0 B(x 1γ y(i),1) i=0 B(x,1) B(x 1γ y(i),1) f(w) dw 1 f(w) dw (2R) 1/2(d(y,e) (δf)(x 1 γ y (i)) ) 1/2. Note that the latter expression does not depend on (p 1, p 2 ). Thus we have (2.3) (p 1,p 2) e 1 e 2 f(p 1 ) f(p 2 ) 2 dp 1 dp 2 2R i=0 d(y,e) (δf)(x 1 γ y (i)). i=0
3 NOTES ON KLEINER S PROOF OF GROMOV S POLYNOMIAL GROWTH THEOREM 3 Equations (2.1) and (2.3) and the fact that the map (e 1, e 2 ) (x 1, y) at most S 2 -to-one yield y (2.4) f f R 2 2R S 2 /V (R) (δf)(x 1 γ y (i)). B(R) x 1 B(R 1) y B(2R 2) i=0 If y B Γ (2R 2), then y (δf)(x 1 γ y (i)) 2R x 1 B(R 1) i=0 z B(3R 1) (δf)(z), since the map B(R 1) {0,..., d(y, e)} B(3R 1) defined by (x, i) xγ y (i) is at most 2R-to-one. Thus, by (2.4), f f R 2 4R 2 S 2 /V (R) (δf) 2 (z) B(R) 4R 2 S 2 V (2R)/V (R) 8R 2 S 2 V (2R)/V (R) y B(2R 2) z B(3R 1) y B(2R 2) z B(3R 1) B(3R) f 2. (δf) 2 (z) Theorem 2.2 (Reverse Poincare inequality). There is a constant C > 0 such that for any harmonic function f : G R and every R > 0 we have R 2 f 2 C f 2. B(2R) B(16R) Proof. 3. Finding good scales This section serves as a preparation for the proof of Theorem 1.2. Throughout, let f be a monotone non-decreasing function N R >0. We say that R = {r 1, r 2,...} N is a set of good scales for f if R is infinite and there is a constant C > 0 such that for every i 1 (3.1) f(16r i ) < Cf(r i ). When a constant C is fixed and (3.1) is satisfied we also say that f has the doubling property at scale r = r 1 i. Assume now that there is some d > 0 with (3.2) lim inf r f(r) r d <. We prove as a warm-up the following little lemma. Lemma 3.1. Let f satisfy (3.2). Then there is a set of good scales for f. More precisely, we have f(16r) d f(r) for infinitely many r. 1 For technical reasons, we have a 16 here instead of a 2.
4 4 ROMAN SAUER Proof. Let M = lim inf r f(r) r d M = lim i f(r i) r d i <, and let (r i ) be a monotone sequence with. Let C = d. Suppose there is no infinite sequence (r i ) such that f(16r i ) Cf(r i ). Then there exists j N so large that r d l /f(r l) < 2M 1 and f(r l )/r d l < 2M for l > j and for i > 1 we have f(16 i r j ) > C i f(r j ). Choose i > 0 large enough so that there is k > j with 16 i r j r k < 16 i+1 r j. Then we obtain C i < f(16 i r j )/f(r j ) f(r k )/f(r j ) < 2Mr d k/f(r j ) < 2M16 d(i+1) r d j /f(r j ) < 4 16 d 16 di, which is a contradiction. Now suppose we have two monotone non-decreasing functions f 1, f 2 satisfying (3.2) (with possibly different d s). If we want a set that is simultanously a set of good scales for f 1 and f 2 we simply apply the lemma above to the pointwise product f = f 1 f 2. For the proof of Theorem 1.2, let V H d (G) be an even-dimensional subspace. The goal is to bound the dimension of V by some constants. It turns out be essential in the proof to have a set R of scales such that the growth function and r B(r) u2 for every u V (or, equivalently, for every u in a basis of V ) have the doubling property at scales in R. The problem is that if we apply the lemma to the product of the growth function and all basis elements we will get constants that involve the dimension of V which prevents us from proving that this dimension is finite. That s why Bruce Kleiner applies the lemma to the function 1/ dim U f(r) = V (r)(det Q r ) where Q is the symmetric form with Q r (u, u) = B(r) u2. This provides not quite a set of scales for which all u V have the doubling property but one can show that there is subspace V V with dim V = dim V/2 such that there is a set of scales for which the growth function and all Q r (u), u V, have the doubling property with a constant only depending on d and the growth rate of the group. Actually, Bruce Kleiner needs an even more sophisticated set of scales in the proof. We comment on that in the next section. 4. The proof of Theorem 1.2 Let V be a finite-dimensional subspace of H d (G). We want to bound the dimension of V by a constant only involving d and growth rate m of the group. We have seen in the previous section how to choose appropiate scales at which the growth function and the functions Q r (u) for u V have doubling behaviour with such a constant. For simplicity, we just assume that the growth function and the Q r (u) for every u V have doubling behaviour at all scales. For convenience we assume that V (r )/V (r) < (r /r) m for all r > r. Furthmore, we can pick i 0 such that Q r is positive definite on V for every r > i 0. Now let R 2 > R 1 > i 0. Let x ii I be a maximal R 1 -separated net in B(R 2 ). Let B i = B(x i, R i ). Note that the balls 1 2 B i = B(x i, R i /2) are disjoint, and the balls B i cover B(R 2 ). By the volume doubling property, the multiplicity of 3B i is bounded by a constant not depending on R 1 or R 2.
5 NOTES ON KLEINER S PROOF OF GROMOV S POLYNOMIAL GROWTH THEOREM 5 Consider the linear map φ : V R I, f ( 1 V (R 1 ) B i f ) i I. We show that that φ is injective. Let f ker(φ). It is enough to show that B(R f 2 2) = 0. In the following the constant C > 0 only depends on S and the growth rate of Γ but it may vary from line to line. From the Poincare inequalities of Section 2 and the bounded multiplicity we obtain that f 2 f 2 CR1 2 ( f) 2 CR1 2 ( f) 2 B(R 2) i I B i i I 3B i B(2R 2) C( R 1 R 2 ) 2 C( R 1 R 2 ) 2 f 2 B(16R 2) B(R 2) hence B(R 2) f 2 = 0 follows provided R 1 /R 2 = C 1/2 /2. But then dim V I (R 2 /R 1 ) m = 2 m C m/2 which finishes the proof. 5. The proof of Gromov s polynomial growth theorem Yehuda Shalom introduced the following property (H F D ) of groups [Sha04]. Definition 5.1. A group Γ has property (H F D ) if every unitary Γ-representation H with H 1 (Γ; H ) 0 has a finite dimensional sub-representation. The idea to use property (H F D ) to deduce Gromov s theorem is due to Yehuda Shalom [Sha04]. Bruce Kleiner does not deal with first cohomology and proves Gromov s theorem using harmonic maps instead (which is actually a slightly quicker than the presentation here) but we wanted to highlight the connection to property (H F D ) and the equivalence of the approach with harmonic maps versus the one with first cohomology. Theorem 5.2. Let Γ be a group with weak polynomial growth and property (H F D ). Then Γ is virtually nilpotent. Proof. If Γ is finite, this is trivial. Let Γ be infinite. Since Γ is infinite and amenable, in particular has not property (T ), Theorem 6.4 implies that there exists a unitary Γ-representation H with H 1 (Γ; H ) 0. Since H decomposes as a direct integral of irreducible representations and H 1 (Γ; (Y,ν) H y ) = 0 f 2, H 1 (Γ; H y ) for ν-almost every y Y we may and will assume that H is irreducible. Property (H F D ) implies that H is finite dimensional. Consider a non-zero 1-cocycle in H 1 (Γ; H ) = H 1 (Γ; H ). It corresponds to an affine action on H without fixed points. Thus we obtain a homomorphism φ : Γ G := Aff(H ) into the linear group of affine automorphisms that has infinite image. Finite image would imply that the cocycle had a fixed point.
6 6 ROMAN SAUER From now on the argument is the same as in [Gro81, end of section 4] (see also [vddw84, Lemma 2.1]). By a theorem of Jordan and Tits (see [Sha98] for an easier proof of this consequence), a finitely generated group that is linear over a field of characteristic 0 and amenable is virtually solvable. So, upon replacing Γ by a subgroup of finite index, we can assume that φ(γ) is solvable and infinite. Hence Γ/[Γ, Γ] is infinite, finitely generated, and abelian, and so there is a surjection p : Γ Z. The kernel K = ker(p) is finitely generated. This follows from the fact that Γ has sub-exponential growth (it is false otherwise!). See [Gro81, (b) on p. 61] for the argument. If Γ has growth rate d then K has growth rate d 1: Let γ 0 Γ map to the generator t Z, and let S K = {γ 1,..., γ m } be a finite symmetric generating set of K. Then S Γ = {γ 0, γ0 1 } S K is a finite, symmetric generating set of Γ. For every r > 0 the multiplication map B SK (r) {t r, t r+1,..., t r } B SΓ (2r) is injective which implies that K has growth rate at most d 1. By an inductive assumption we can assume that K is virtually nilpotent. Let K K be a normal nilpotent subgroup of finite index. Let γ 0 Γ be such that p(γ) maps to a generator of Z. Then the subgroup Γ generated by K and γ 0 is solvable: One checks that 1 K Γ p Z 1 is exact. Hence Γ is virtually solvable. By a theorem of Milnor and Wolf, a finitely generated virtually solvable group with polynomial growth is virtually nilpotent, thus the proof is finished. Bruce Kleiner s proof yields that groups with polynomial growth have property (H F D ) using Theorem 1.2. Theorem 5.3. A finitely generated group with polynomial growth has property (H F D ). Proof. Let (H, π) be a linear Γ-representation with H 1 (Γ; H ) 0. By Lemma 6.6 there is an affine Γ-action on H with linear part π and an equivariant, harmonic, non-constant map f : G H. For v H the map is x f(x), v is Lipschitz (but not equivariant anymore!). Consider the following linear map φ : H H 1 (G), v f(?), v R. Since H 1 (G) is finite dimensional by Theorem 1.2, ker(φ) is finite dimensional. By definition, im(f) ker(φ). Choose w im(f). Then the linear span of im(f) w is finite dimensional and invariant under the linear Γ-action. 6. A characterization of property (T) We want to characterize property (T ) in terms of harmonic maps. As in Riemannian geometry we can detect harmonic maps by looking for at critical points of the energy functional. An equivariant, piecewise linear 2 map f : G H is 2 Harmonics maps are linear along an edge according to our definition.
7 NOTES ON KLEINER S PROOF OF GROMOV S POLYNOMIAL GROWTH THEOREM 7 determined by its value at e Γ. Consequently, our energy functional E is a map from G to H : E(x) = s S d 2 (sx, x). One verifies that the derivative in direction v H is given by With convexity of E it follows the DE(x)(v) = 4 s S x sx, v. Lemma 6.1. The following statements are equivalent: a) x H is a critical point of E. b) x is a minimum of E. c) The map f : Γ H, f(γ) = γx extends to an equivariant map f : G H. We briefly review the notion of ultrafilter. Definition 6.2. A non-principal ultrafilter is a finitely additive probability measure ω defined on all subsets of N such that a) ω(s) {0, 1}. b) ω(s) = 1 if S is finite. One can show the existence of non-principal ultrafilters using Zorn s lemma. A non-principal ultrafilter allows one to define a limit lim ω (x k ) for every bounded sequence (x k ) of real numbers: Assume x k [0, 1]. In a first step, if ω(k; x k < 1/2) = 1, pick the interval [0, 1/2]. Otherwise pick [1/2, 1]. Divide the interval you have chose in two halves and proceed in the same way. The sequence of intervals defines a real number which we take as a definition for lim ω (x k ). Lemma 6.3. Let (H k, x k ) be a sequence of pointed Hilbert spaces. Let H ω be the quotient of {(y k ); y k H k, C > 0 : d k (y k, x k ) < C} k H k by the submodule of sequences (y k ) with lim ω d(y k, x k ) = 0. Let x ω = [(x k )] lim ω (H k, x k ). Then (H ω, x ω ) is a natural way a pointed Hilbert space. Theorem 6.4. Let Γ be a finitely generated group and G its Cayley graph. The following statements are equivalent: a) The group Γ has property (T ). b) There exists no isometric Γ-action on a Hilbert space H such that E attains a positive minimum. c) For every isometric action of Γ on a Hilbert space H and every x H there is x B(x, D E(x)) such that E(x ) E(x). Proof. a) b) is obvious. Further, c) a) is easy: One obtains a sequence (x k ) of points in H such that E(x k ) λ k E(x 0 ) 0 and d(x k+1, x k ) Dλ k/2 E(x 0 ) 1/2. The latter implies that (x k ) is Cauchy with limit x satisfying E(x ) = 0. Ad b) c): Assume that c) fails. Then for every k N we can find an isometric action Γ H k and x k H k such that E(y) > (1 1/k)E(x k )
8 8 ROMAN SAUER for every y B(x k, k E(x k )). Rescale the scalar product of H k by 1/E(x k ). With this new scalar product we have E(y) > 1 1/k for all y B(x k, k). Then any ultralimit of the sequence (H k, x k ) of pointed Hilbert spaces with isometric Γ-actions is a pointed Hilbert space (H ω, x ω ) with an isometric Γ-action and E(x ω ) = 1 and E(y) 1 for every y H ω. The following theorem combines work of Korevaar-Schoen, Kleiner, Fisher-Margulis, and Shalom. Theorem 6.5. Let Γ be a finitely generated group and G its Cayley graph. The following statements are equivalent: a) Γ does not have property (T ). b) There exists a non-constant, harmonic, equivariant map G H to a Hilbert space with an isometric Γ-action. c) There exists a unitary Γ-representation such that H 1 (Γ; H ) 0. Proof. The equivalence of a) and b) follows immediately from Lemma 6.1 and Theorem 6.4. The equivalence of b) and c) follows from the following lemma. Lemma 6.6. Let (H, π) be a Γ-representation. Let H(G; π) be the vector space of harmonic functions G H with f(e) = 0 for which there is an affine Γ-action on H such that its linear part is π and f is equivariant. Then there is an isomorphism H 1 (Γ; H ) = H(G; π). Proof. Let X be a contractible Γ-simplicial complex whose 1-skeleton is G. So, X is a model of EΓ. For convenience, we assume that its 2-skeleton is Γ-cocompact. We describe the necessary modifications for the general case in the end. Let C i (X) denote the simplicial chain complex, which is a complex of modules over the group ring ZΓ. Note that for i = 0, 1, 2 the module M i = hom ZΓ (C i (X), H ) is a Hilbert space, and the differential d i : M i M i+1 is a bounded operator. In fact, a finite set S of Γ-representatives of i-simplices defines an isomorphism H i = l 2 (Γ) S. We denote the adjoint by d i. The reduced cohomology of M is H (Γ; H ). Let = d 0 d 0 + d 1d 1 : M 1 M 1 be the combinatorial Laplacian (in degree 1). One verifies that (f) = 0 if and only if d 0(f) = 0 and d 1 (f) = 0. Moreover, the inclusion ker ker d 1 is the orthogonal complement of im d 0. Thus, ker = H 1 (Γ, H ). The cocycles in ker are called harmonic. We obtain a map ker H(G; H ) by integrating: Note that C 1 (X) is the free module over the set of edges of G. A harmonic cocycle f : C 1 (X) H defines an equivariant, harmonic map F : G H by setting F (e) = 0 and F (x) = w γ f(w) where w runs through the edges of a geodesic from e to x. This map is the desired isomorphism. That F is well defined, i.e. independent of the choice of the geodesic, follows from d 1 (f) = 0. That F is harmonics follows from d 0(f) = 0. Although M 2 is no Hilbert space anymore if X has no Γ-finite 2-skeleton the definition of still makes sense and one can run the same argument.
9 NOTES ON KLEINER S PROOF OF GROMOV S POLYNOMIAL GROWTH THEOREM 9 References [Gro81] Mikhael Gromov, Groups of polynomial growth and expanding maps, Inst. Hautes Études Sci. Publ. Math. (1981), no. 53, [Kle07] Bruce Kleiner, A new proof of Gromov s theorem on groups of polynomial growth (2007), preprint. [Sha98] Yehuda Shalom, The growth of linear groups, J. Algebra 199 (1998), no. 1, [Sha04], Harmonic analysis, cohomology, and the large-scale geometry of amenable groups, Acta Math. 192 (2004), no. 2, [vddw84] L. van den Dries and A. J. Wilkie, Gromov s theorem on groups of polynomial growth and elementary logic, J. Algebra 89 (1984), no. 2, University of Chicago, Chicago, USA address: romansauer@member.ams.org
arxiv: v4 [math.gr] 2 Dec 2007
A NEW PROOF OF GROMOV S THEOREM ON GROUPS OF POLYNOMIAL GROWTH arxiv:0710.4593v4 [math.gr] 2 Dec 2007 BRUCE KLEINER Abstract. We give a proof of Gromov s theorem that any finitely generated group of polynomial
More informationA new proof of Gromov s theorem on groups of polynomial growth
A new proof of Gromov s theorem on groups of polynomial growth Bruce Kleiner Courant Institute NYU Groups as geometric objects Let G a group with a finite generating set S G. Assume that S is symmetric:
More informationA NEW PROOF OF GROMOV S THEOREM ON GROUPS OF POLYNOMIAL GROWTH. 1. Introduction
A NEW PROOF OF GROMOV S THEOREM ON GROUPS OF POLYNOMIAL GROWTH BRUCE KLEINER Abstract. We give a new proof of Gromov s theorem that any finitely generated group of polynomial growth has a finite index
More informationOn Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem
On Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem Carlos A. De la Cruz Mengual Geometric Group Theory Seminar, HS 2013, ETH Zürich 13.11.2013 1 Towards the statement of Gromov
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationAmenable groups, Jacques Tits Alternative Theorem
Amenable groups, Jacques Tits Alternative Theorem Cornelia Druţu Oxford TCC Course 2014, Lecture 3 Cornelia Druţu (Oxford) Amenable groups, Alternative Theorem TCC Course 2014, Lecture 3 1 / 21 Last lecture
More information8.8. Codimension one isoperimetric inequalities Distortion of a subgroup in a group 283
Contents Preface xiii Chapter 1. Geometry and topology 1 1.1. Set-theoretic preliminaries 1 1.1.1. General notation 1 1.1.2. Growth rates of functions 2 1.1.3. Jensen s inequality 3 1.2. Measure and integral
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationEXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS
EXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS CLARA LÖH Abstract. By Gromov s mapping theorem for bounded cohomology, the projection of a group to the quotient by an amenable normal subgroup
More informationGroups of polynomial growth
Groups of polynomial growth (after Gromov, Kleiner, and Shalom Tao) Dave Witte Morris University of Lethbridge, Alberta, Canada http://people.uleth.ca/ dave.morris Dave.Morris@uleth.ca Abstract. M. Gromov
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationTHE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS
THE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS AILANA FRASER AND JON WOLFSON Abstract. In this paper we study the topology of compact manifolds of positive isotropic
More informationGroups up to quasi-isometry
OSU November 29, 2007 1 Introduction 2 3 Topological methods in group theory via the fundamental group. group theory topology group Γ, a topological space X with π 1 (X) = Γ. Γ acts on the universal cover
More informationUltralimits and fixed-point properties, after Gromov
Ultralimits and fixed-point properties, after Gromov Yves Stalder Université Blaise Pascal Geneva, August 26, 2008 Yves Stalder (Université Blaise Pascal) Ultralimits and fixed-point properties Geneva,
More informationRandom Walks on Hyperbolic Groups III
Random Walks on Hyperbolic Groups III Steve Lalley University of Chicago January 2014 Hyperbolic Groups Definition, Examples Geometric Boundary Ledrappier-Kaimanovich Formula Martin Boundary of FRRW on
More informationRIEMANN S INEQUALITY AND RIEMANN-ROCH
RIEMANN S INEQUALITY AND RIEMANN-ROCH DONU ARAPURA Fix a compact connected Riemann surface X of genus g. Riemann s inequality gives a sufficient condition to construct meromorphic functions with prescribed
More informationOn lengths on semisimple groups
On lengths on semisimple groups Yves de Cornulier May 21, 2009 Abstract We prove that every length on a simple group over a locally compact field, is either bounded or proper. 1 Introduction Let G be a
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationl 2 -Betti numbers for group theorists
1/7 l 2 -Betti numbers for group theorists A minicourse in 3 parts 2nd lecture Roman Sauer Karlsruhe Institute of Technology Copenhagen, October 2013 The von Neumann dimension dim Γ Finite-dimensional
More informationALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS
ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationNOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.
NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS Contents 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4 1. Introduction These notes establish some basic results about linear algebra over
More informationMath 594. Solutions 5
Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationSuperrigidity of Hyperbolic Buildings
Superrigidity of Hyperbolic Buildings Georgios Daskalopoulos Brown University daskal@math.brown.edu Chikako Mese 1 ohns Hopkins University cmese@math.jhu.edu and Alina Vdovina University of Newcastle Alina.Vdovina@newcastle.ac.uk
More informationCOUNTEREXAMPLES TO THE COARSE BAUM-CONNES CONJECTURE. Nigel Higson. Unpublished Note, 1999
COUNTEREXAMPLES TO THE COARSE BAUM-CONNES CONJECTURE Nigel Higson Unpublished Note, 1999 1. Introduction Let X be a discrete, bounded geometry metric space. 1 Associated to X is a C -algebra C (X) which
More informationFunctional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32
Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationList of topics for the preliminary exam in algebra
List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.
More informationREPRESENTATION THEORY WEEK 9
REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence
More information1 The Heisenberg group does not admit a bi- Lipschitz embedding into L 1
The Heisenberg group does not admit a bi- Lipschitz embedding into L after J. Cheeger and B. Kleiner [CK06, CK09] A summary written by John Mackay Abstract We show that the Heisenberg group, with its Carnot-Caratheodory
More informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationProblem Set 6: Solutions Math 201A: Fall a n x n,
Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series
More informationIf Y and Y 0 satisfy (1-2), then Y = Y 0 a.s.
20 6. CONDITIONAL EXPECTATION Having discussed at length the limit theory for sums of independent random variables we will now move on to deal with dependent random variables. An important tool in this
More informationAnalysis in weighted spaces : preliminary version
Analysis in weighted spaces : preliminary version Frank Pacard To cite this version: Frank Pacard. Analysis in weighted spaces : preliminary version. 3rd cycle. Téhéran (Iran, 2006, pp.75.
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Week 9 November 13 November Deadline to hand in the homeworks: your exercise class on week 16 November 20 November Exercises (1) Show that if T B(X, Y ) and S B(Y, Z)
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationJune 2014 Written Certification Exam. Algebra
June 2014 Written Certification Exam Algebra 1. Let R be a commutative ring. An R-module P is projective if for all R-module homomorphisms v : M N and f : P N with v surjective, there exists an R-module
More information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationThe local geometry of compact homogeneous Lorentz spaces
The local geometry of compact homogeneous Lorentz spaces Felix Günther Abstract In 1995, S. Adams and G. Stuck as well as A. Zeghib independently provided a classification of non-compact Lie groups which
More informationShort note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique
Short note on compact operators - Monday 24 th March, 2014 Sylvester Eriksson-Bique 1 Introduction In this note I will give a short outline about the structure theory of compact operators. I restrict attention
More informationLecture Notes. Functional Analysis in Applied Mathematics and Engineering. by Klaus Engel. University of L Aquila Faculty of Engineering
Lecture Notes Functional Analysis in Applied Mathematics and Engineering by Klaus Engel University of L Aquila Faculty of Engineering 2012-2013 http://univaq.it/~engel ( = %7E) (Preliminary Version of
More informationLecture 5: Hodge theorem
Lecture 5: Hodge theorem Jonathan Evans 4th October 2010 Jonathan Evans () Lecture 5: Hodge theorem 4th October 2010 1 / 15 Jonathan Evans () Lecture 5: Hodge theorem 4th October 2010 2 / 15 The aim of
More informationOn the Baum-Connes conjecture for Gromov monster groups
On the Baum-Connes conjecture for Gromov monster groups Martin Finn-Sell Fakultät für Mathematik, Oskar-Morgenstern-Platz 1, 1090 Wien martin.finn-sell@univie.ac.at June 2015 Abstract We present a geometric
More informationClearly C B, for every C Q. Suppose that we may find v 1, v 2,..., v n
10. Algebraic closure Definition 10.1. Let K be a field. The algebraic closure of K, denoted K, is an algebraic field extension L/K such that every polynomial in K[x] splits in L. We say that K is algebraically
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationSOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS. Roger C. Alperin
SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS Roger C. Alperin An extraordinary theorem of Gromov, [Gv], characterizes the finitely generated groups of polynomial growth; a group has polynomial
More informationASSIGNMENT-1 M.Sc. (Previous) DEGREE EXAMINATION, DEC First Year MATHEMATICS. Algebra. MAXIMUM MARKS:30 Answer ALL Questions
(DM1) ASSIGNMENT-1 Algebra MAXIMUM MARKS:3 Q1) a) If G is an abelian group of order o(g) and p is a prime number such that p α / o(g), p α+ 1 / o(g) then prove that G has a subgroup of order p α. b) State
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationHOMOMORPHISMS TO ACYLINDRICALLY HYPERBOLIC GROUPS I: EQUATIONALLY NOETHERIAN GROUPS AND FAMILIES. Contents
HOMOMORPHISMS TO ACYLINDRICALLY HYPERBOLIC GROUPS I: EQUATIONALLY NOETHERIAN GROUPS AND FAMILIES D. GROVES AND M. HULL Abstract. We study the set of homomorphisms from a fixed finitely generated group
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationand this makes M into an R-module by (1.2). 2
1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together
More informationPCMI LECTURE NOTES ON PROPERTY (T ), EXPANDER GRAPHS AND APPROXIMATE GROUPS (PRELIMINARY VERSION)
PCMI LECTURE NOTES ON PROPERTY (T ), EXPANDER GRAPHS AND APPROXIMATE GROUPS (PRELIMINARY VERSION) EMMANUEL BREUILLARD 1. Lecture 1, Spectral gaps for infinite groups and non-amenability The final aim of
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationSPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS
SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS TSOGTGEREL GANTUMUR Abstract. After establishing discrete spectra for a large class of elliptic operators, we present some fundamental spectral properties
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationChapter 5. Linear Algebra
Chapter 5 Linear Algebra The exalted position held by linear algebra is based upon the subject s ubiquitous utility and ease of application. The basic theory is developed here in full generality, i.e.,
More informationON STABILITY OF NON-DOMINATION UNDER TAKING PRODUCTS
ON STABILITY OF NON-DOMINATION UNDER TAKING PRODUCTS D. KOTSCHICK, C. LÖH, AND C. NEOFYTIDIS ABSTRACT. We show that non-domination results for targets that are not dominated by products are stable under
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationHilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky inequality
(October 29, 2016) Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2016-17/03 hsp.pdf] Hilbert spaces are
More informationCoxeter Groups and Artin Groups
Chapter 1 Coxeter Groups and Artin Groups 1.1 Artin Groups Let M be a Coxeter matrix with index set S. defined by M is given by the presentation: A M := s S sts }{{ } = tst }{{ } m s,t factors m s,t The
More information(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap
The basic objects in the cohomology theory of arithmetic groups Günter Harder This is an exposition of the basic notions and concepts which are needed to build up the cohomology theory of arithmetic groups
More information1 Functional Analysis
1 Functional Analysis 1 1.1 Banach spaces Remark 1.1. In classical mechanics, the state of some physical system is characterized as a point x in phase space (generalized position and momentum coordinates).
More informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
More informationLecture 8, 9: Tarski problems and limit groups
Lecture 8, 9: Tarski problems and limit groups Olga Kharlampovich October 21, 28 1 / 51 Fully residually free groups A group G is residually free if for any non-trivial g G there exists φ Hom(G, F ), where
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationOn the Intrinsic Differentiability Theorem of Gromov-Schoen
On the Intrinsic Differentiability Theorem of Gromov-Schoen Georgios Daskalopoulos Brown University daskal@math.brown.edu Chikako Mese 2 Johns Hopkins University cmese@math.jhu.edu Abstract In this note,
More informationExercise Solutions to Functional Analysis
Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationRigidity result for certain 3-dimensional singular spaces and their fundamental groups.
Rigidity result for certain 3-dimensional singular spaces and their fundamental groups. Jean-Francois Lafont May 5, 2004 Abstract In this paper, we introduce a particularly nice family of CAT ( 1) spaces,
More information1.3 Group Actions. Exercise Prove that a CAT(1) piecewise spherical simplicial complex is metrically flag.
Exercise 1.2.6. Prove that a CAT(1) piecewise spherical simplicial complex is metrically flag. 1.3 Group Actions Definition 1.3.1. Let X be a metric space, and let λ : X X be an isometry. The displacement
More informationModules Over Principal Ideal Domains
Modules Over Principal Ideal Domains Brian Whetter April 24, 2014 This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. To view a copy of this
More informationFREUDENTHAL SUSPENSION THEOREM
FREUDENTHAL SUSPENSION THEOREM TENGREN ZHANG Abstract. In this paper, I will prove the Freudenthal suspension theorem, and use that to explain what stable homotopy groups are. All the results stated in
More informationHILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define
HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationMath 5210, Definitions and Theorems on Metric Spaces
Math 5210, Definitions and Theorems on Metric Spaces Let (X, d) be a metric space. We will use the following definitions (see Rudin, chap 2, particularly 2.18) 1. Let p X and r R, r > 0, The ball of radius
More informationMATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY
MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1-forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationTEST CODE: PMB SYLLABUS
TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationThe Cartan Decomposition of a Complex Semisimple Lie Algebra
The Cartan Decomposition of a Complex Semisimple Lie Algebra Shawn Baland University of Colorado, Boulder November 29, 2007 Definition Let k be a field. A k-algebra is a k-vector space A equipped with
More informationCHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)
More informationThe structure of ideals, point derivations, amenability and weak amenability of extended Lipschitz algebras
Int. J. Nonlinear Anal. Appl. 8 (2017) No. 1, 389-404 ISSN: 2008-6822 (electronic) http://dx.doi.org/10.22075/ijnaa.2016.493 The structure of ideals, point derivations, amenability and weak amenability
More informationReview of Linear Algebra
Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space
More informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
More information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the
More informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
More informationABELIAN SELF-COMMUTATORS IN FINITE FACTORS
ABELIAN SELF-COMMUTATORS IN FINITE FACTORS GABRIEL NAGY Abstract. An abelian self-commutator in a C*-algebra A is an element of the form A = X X XX, with X A, such that X X and XX commute. It is shown
More information3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More informationVOLUME GROWTH AND HOLONOMY IN NONNEGATIVE CURVATURE
VOLUME GROWTH AND HOLONOMY IN NONNEGATIVE CURVATURE KRISTOPHER TAPP Abstract. The volume growth of an open manifold of nonnegative sectional curvature is proven to be bounded above by the difference between
More informationLUCK S THEOREM ALEX WRIGHT
LUCK S THEOREM ALEX WRIGHT Warning: These are the authors personal notes for a talk in a learning seminar (October 2015). There may be incorrect or misleading statements. Corrections welcome. 1. Convergence
More informationLECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)
LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups
More information