Cayley Graphs of Finitely Generated Groups
|
|
- Kelly Simon
- 6 years ago
- Views:
Transcription
1 Cayley Graphs of Finitely Generated Groups Simon Thomas Rutgers University 13th May 2014
2 Cayley graphs of finitely generated groups Definition Let G be a f.g. group and let S G { 1 } be a finite generating set. Then the Cayley graph Cay(G, S ) is the graph with vertex set G and edge set E = { {x, y} y = xs for some s S S 1 }. The corresponding word metric is denoted by d S. For example, when G = Z and S = { 1 }, then the corresponding Cayley graph is:
3 But which Cayley graph? However, when G = Z and S = { 2, 3 }, then the corresponding Cayley graph is: Question Does there exist an Borel choice of generators for each f.g. group such that isomorphic groups are assigned isomorphic Cayley graphs?
4 Standard Borel Spaces Definition A standard Borel space is a Polish space X equipped with its σ-algebra of Borel subsets. Some Examples R, [0, 1], 2 N, G fg, G,... If σ is a sentence of L ω1 ω, then is a standard Borel space. Theorem (Kuratowski) Mod(σ) = {M = N, M σ} There exists a unique uncountable standard Borel space up to isomorphism.
5 Borel maps Definition Let X, Y be standard Borel spaces. Then the map ϕ : X Y is Borel iff graph(ϕ) is a Borel subset of X Y. Equivalently, ϕ : X Y is Borel iff ϕ 1 (B) is a Borel set for each Borel set B Y. An Analogue of Church s Thesis EXPLICIT = BOREL
6 Stating the main result... Definition G fg is the space of f.g. groups with underlying set N. Theorem There does not exist a Borel map ψ : G fg N<N such that for all G, H G fg ψ(g) generates G. If G = H, then Cay(G, ψ(g)) = Cay(H, ψ(h)).
7 Equivalently... Definition Let C be the standard Borel space of graphs Γ with underlying set N which satisfy the following conditions: Each vertex v Γ has finite degree. Aut(Γ) acts transitively on Γ. Observation C includes the Cayley graphs of f.g. groups. Proof. If { x, xs } is an edge of the Cayley graph Cay(G, S ) and g G, then g { x, xs } = { gx, gxs }.
8 Equivalently... Theorem There does not exist a Borel map ϕ : G fg C such that for each G, H G fg ϕ(g) is a Cayley graph of G. If G = H, then ϕ(g) = ϕ(h). Question Why is the Theorem obviously true? Answer Because the isomorphism problem for f.g. groups is much harder than that for Cayley graphs.
9 Borel reductions Definition Let E, F be equivalence relations on the standard Borel spaces X, Y. E B F iff there exists a Borel map ϕ : X Y such that x E y ϕ(x) F ϕ(y). In this case, ϕ is called a Borel reduction from E to F. E B F iff both E B F and F B E. E < B F iff both E B F and E B F.
10 Smooth vs Nonsmooth Definition The equivalence relation E on the standard Borel space X is smooth iff there exists a Borel map ϕ : X N N such that Theorem (Folklore) x E y ϕ(x) = ϕ(y). The isomorphism relation on C is smooth. Theorem (S.T.-Velickovic) The classification problem for f.g. groups is not smooth.
11 Borel homomorphisms Definition The Borel map ϕ : ( X, E ) ( Y, F ) is a Borel homomorphism iff x E y = ϕ(x) F ϕ(y). Theorem If ϕ : G fg, = C, = is any Borel homomorphism, then there exist groups G, H G fg such that: ϕ(g) = ϕ(h). G and H don t have isomorphic Cayley graphs. Question But how can we be sure that two f.g. groups do not have isomorphic Cayley graphs with respect to some finite generating sets?
12 The basic idea of geometric group theory Although the Cayley graphs of a f.g. group G with respect to different generating sets S are usually nonisomorphic, they always have the same large scale geometry.
13 The quasi-isometry relation Definition (Gromov) Let G, H be f.g. groups with word metrics d S, d T respectively. Then G, H are said to be quasi-isometric, written G QI H, iff there exist constants λ 1 and C 0, and a map ϕ : G H such that for all x, y G, 1 λ d S(x, y) C d T (ϕ(x), ϕ(y)) λd S (x, y) + C; and for all z H, d T (z, ϕ[g]) C.
14 When C = 0 Definition (Gromov) Let G, H be f.g. groups with word metrics d S, d T respectively. Then G, H are said to be Lipschitz equivalent iff there exist a constant λ 1, and a map ϕ : G H such that for all x, y G, 1 λ d S(x, y) d T (ϕ(x), ϕ(y)) λd S (x, y); and for all z H, d T (z, ϕ[g]) = 0.
15 When C = 0 Definition (Gromov) Let G, H be f.g. groups with word metrics d S, d T respectively. Then G, H are said to be Lipschitz equivalent iff there exist a constant λ 1, and a map ϕ : G H such that for all x, y G, 1 λ d S(x, y) d T (ϕ(x), ϕ(y)) λd S (x, y); and for all z H, d T (z, ϕ[g]) = 0.
16 When C = 0 Definition (Gromov) Let G, H be f.g. groups with word metrics d S, d T respectively. Then G, H are said to be Lipschitz equivalent iff there exist a constant λ 1, and a map ϕ : G H such that for all x, y G, 1 λ d S(x, y) d T (ϕ(x), ϕ(y)) λd S (x, y); and for all z H, d T (z, ϕ[g]) = 0.
17 When C = 0 Definition (Gromov) Let G, H be f.g. groups with word metrics d S, d T respectively. Then G, H are said to be Lipschitz equivalent iff there exist a constant λ 1, and a map ϕ : G H such that for all x, y G, 1 λ d S(x, y) d T (ϕ(x), ϕ(y)) λd S (x, y); and for all z H, d T (z, ϕ[g]) = 0.
18 The quasi-isometry relation Definition (Gromov) Let G, H be f.g. groups with word metrics d S, d T respectively. Then G, H are said to be quasi-isometric, written G QI H, iff there exist constants λ 1 and C 0, and a map ϕ : G H such that for all x, y G, 1 λ d S(x, y) C d T (ϕ(x), ϕ(y)) λd S (x, y) + C; and for all z H, d T (z, ϕ[g]) C.
19 The quasi-isometry relation Definition (Gromov) Let G, H be f.g. groups with word metrics d S, d T respectively. Then G, H are said to be quasi-isometric, written G QI H, iff there exist constants λ 1 and C 0, and a map ϕ : G H such that for all x, y G, 1 λ d S(x, y) C d T (ϕ(x), ϕ(y)) λd S (x, y) + C; and for all z H, d T (z, ϕ[g]) C.
20 The quasi-isometry relation Definition (Gromov) Let G, H be f.g. groups with word metrics d S, d T respectively. Then G, H are said to be quasi-isometric, written G QI H, iff there exist constants λ 1 and C 0, and a map ϕ : G H such that for all x, y G, 1 λ d S(x, y) C d T (ϕ(x), ϕ(y)) λd S (x, y) + C; and for all z H, d T (z, ϕ[g]) C.
21 The quasi-isometry relation Definition (Gromov) Let G, H be f.g. groups with word metrics d S, d T respectively. Then G, H are said to be quasi-isometric, written G QI H, iff there exist constants λ 1 and C 0, and a map ϕ : G H such that for all x, y G, 1 λ d S(x, y) C d T (ϕ(x), ϕ(y)) λd S (x, y) + C; and for all z H, d T (z, ϕ[g]) C.
22 As expected Observation If S, T are finite generating sets for G, then id : G, d S G, d T is a quasi-isometry. Corollary If the f.g. groups G, H have isomorphic Cayley graphs with respect to some finite generating sets, then G, H are quasi-isometric.
23 A topological characterization Theorem (Gromov) If G, H are f.g. groups, then the following are equivalent. G and H are quasi-isometric. There exists a locally compact space X on which G, H have commuting proper actions via homeomorphisms such that X/G and X/H are both compact. Definition The action of the discrete group G on X is proper iff for every compact subset K X, the set {g G g(k ) K } is finite.
24 Obviously quasi-isometric groups Definition Two groups G 1, G 2 are said to be virtually isomorphic iff there exist subgroups N i H i G i such that: [G 1 : H 1 ], [G 2 : H 2 ] <. N 1, N 2 are finite normal subgroups of H 1, H 2 respectively. H 1 /N 1 = H2 /N 2. Proposition (Folklore) If the f.g. groups G 1, G 2 are virtually isomorphic, then G 1, G 2 are quasi-isometric.
25 More quasi-isometric groups Theorem (Erschler) The f.g. groups Alt(5) wr Z and C 60 wr Z are quasi-isometric but not virtually isomorphic. (In fact, they have isomorphic Cayley graphs.) Definition The f.g. group G is quasi-isometrically rigid iff whenever H is quasi-isometric to G, then H is virtually isomorphic to G. Example Z n, F n, SL n (Z),... are quasi-isometrically rigid. Question Do there exist uncountably many quasi-isometrically rigid f.g. groups?
26 Growth rates and quasi-isometric groups Theorem (Grigorchuk Bowditch 1998) There are 2 ℵ 0 f.g. groups up to quasi-isometry. Proof (Grigorchuk). Consider the growth rate of the size of balls of radius n in the Cayley graphs of suitably chosen groups. Proof (Bowditch). Consider the growth rate of the length of taut loops in the Cayley graphs of suitably chosen groups.
27 The complexity of the quasi-isometry relation Question What are the possible complete invariants for the quasi-isometry problem for f.g. groups? Question Is the quasi-isometry problem for f.g. groups strictly harder than the isomorphism problem?
28 Almost there... Theorem If ϕ : G fg, = C, = is any Borel homomorphism, then there exist groups G, H G fg such that: ϕ(g) = ϕ(h). G and H are not quasi-isometric. Remark Of course, in order to prove this, we must actually show that there are many such pairs.
29 A little ergodic theory Definition A measure preserving action of a group Γ on a probability space (X, ν) is ergodic iff whenever Y X is a Γ-invariant Borel subset, then ν(y ) = 0, 1. Example Let µ be the usual product probability measure on 2 Γ and consider the shift action of Γ on 2 Γ = P(Γ). Then µ is Γ-invariant and Γ acts ergodically on (2 Γ, µ).
30 A little ergodic theory Theorem If Γ ( X, µ ) is a probability preserving action, then the following statements are equivalent. (i) Γ acts ergodically on (X, µ). (ii) If Y is a standard Borel space and f : X Y is a Γ-invariant Borel function, then there exists a Γ-invariant Borel subset M X with µ(m) = 1 such that f M is a constant function.
31 Some easy consequences Definition Let E Z be the orbit equivalence relation for the action of Z on 2 Z. Proposition If ψ : 2 Z, E Z N N, = is a Borel homomorphism, then there exists a Borel subset M 2 Z with µ(m) = 1 such that ψ M is a constant function. Corollary If ψ : 2 Z, E Z C, = is a Borel homomorphism, then there exists a Borel subset M 2 Z with µ(m) = 1 such that ψ maps M into a single =-class.
32 The heart of the matter Main Lemma There exists a Borel homomorphism such that the set θ : 2 Z, E Z G fg, = T G T { S, T 2 Z 2 Z G S, G T are not quasi-isometric } has (µ µ)-measure 1.
33 Proof of Theorem Suppose that ϕ : G fg, = C, = is a Borel homomorphism. Consider the composite Borel homomorphism ψ : 2 Z, E Z θ G fg, = ϕ C, =. Then there exists a Borel subset M 2 Z with µ(m) = 1 such that ψ maps M into a single =-class. Since the set { S, T 2 Z 2 Z G S, G T are not quasi-isometric } has (µ µ)-measure 1, there exist S, T M such that G S, G T are not quasi-isometric.
34 A slight variant of Champetier s construction Definition Let F 3 be the free group on { a, b, c } and let g Aut(F 3 ) be the automorphism defined by: g(a) = ab g(b) = ab 2 g(c) = c Lemma If w = (ac) 14, then the presentation a, b, c g n (w) n Z satisfies the C (1/6) cancellation property. Definition Let θ : 2 Z G fg be the Borel map defined by S θ G S = a, b, c R S, where R S = { g s (w) s S }.
35 θ is a Borel homomorphism Lemma If S E Z T, then G S = GT. Proof. Suppose that T = n + S and consider g n Aut(F 3 ). Clearly g n ( { g s (w) s S } ) = { g t (w) t T }. Hence g n induces an isomorphism from G S = a, b, c R S onto G T = a, b, c R T.
36 Combining ideas of Champetier and Bowditch Lemma The taut loops in the Cayley graph of G S = a, b, c R S correspond precisely to the relators R S = { g s (w) s S }. Lemma If G S, G T are quasi-isometric, then { length(g s (w)) s S } { length(g t (w)) t T } Definition If D, E N +, then D E, iff there exists k 1 such that: For every d D, there exists e E such that d/k e kd. For every e E, there exists d D such that e/k d ke.
37 Probability 101 Observation If l 0, then 2 l length(g l (w)) 3 l. Definition For each n 1 and k 0, let D n (k) = {l Z g k (w) /2 n g l (w) 2 n g k (w) }. Lemma There exists k 0 such that D n (k) [ k 2n, k + 2n ] [ k 2n, k + 2n ].
38 Probability 101 With µ-probability 1, if s 2 Z, then for each n 1, there exist infinitely many pairwise disjoint sets of the form D n (k) such that s D n (k) 0. Fix some such s 2 Z. With µ-probability 1, if t 2 Z, then for each n 1, there exist infinitely many pairwise disjoint sets of the form D n (k) such that s D n (k) 0 and t(k) = 1. It follows that G s and G t are not quasi-isometric.
39 The quasi-isometry relation QI is not smooth Suppose that ϕ : G fg N N witnesses that QI is smooth. Let θ : 2 Z, E Z G fg, = be a Borel homomorphism such that { S, T 2 Z 2 Z θ(s) QI θ(t ) } has (µ µ)-measure 1. Then ϕ θ : 2 Z N N is Z-invariant. Hence there exists M 2 Z with µ(m) = 1 such that (ϕ θ) M is a constant map. But then there exists S, T M M such that θ(s) QI θ(t ) and ϕ(θ(s)) = ϕ(θ(t )), which is a contradiction.
40 The complexity of the quasi-isometry relation Conjecture The quasi-isometry relation QI for f.g. groups is strictly more complex than the isomorphism relation = Gfg. Definition The f.g. groups G 1, G 2 are virtually isomorphic, written G 1 VI G 2, if there exist subgroups N i H i G i such that: [G 1 : H 1 ], [G 2 : H 2 ] <. N 1, N 2 are finite normal subgroups of H 1, H 2 respectively. H 1 /N 1 = H2 /N 2. Theorem (S.T.) The virtual isomorphism problem for f.g. groups is strictly harder than the isomorphism problem.
41 K σ equivalence relations Definition The equivalence relation E on the Polish space X is K σ if E is the union of countably many compact subsets of X X. Example The following are K σ equivalence relations on the space G fg of finitely generated groups: the isomorphism relation = the virtual isomorphism relation VI the quasi-isometry relation QI
42 Some universal K σ equivalence relations Theorem (Rosendal) Let E Kσ be the equivalence relation on n 1 { 1,..., n } defined by α E Kσ β N k α(k) β(k) N. Then E Kσ is a universal K σ equivalence relation. Theorem (Rosendal) The Lipschitz equivalence relation on the space of compact separable metric spaces is Borel bireducible with E Kσ.
43 More universal K σ equivalence relations Theorem (S.T.) The following equivalence relations are Borel bireducible with E Kσ the growth rate relation on the space of strictly increasing functions f : N N; the quasi-isometry relation on the space of connected 4-regular graphs. Definition The strictly increasing functions f, g : N N have the same growth rate, written f g, if there exists an integer t 1 such that f (n) g(tn) for all n 1, and g(n) f (tn) for all n 1.
44 The quasi-isometry vs. virtual isomorphism problems The Main Conjecture The quasi-isometry problem for f.g. groups is universal K σ. Theorem (S.T.) The virtual isomorphism problem for f.g. groups is not universal K σ. Corollary The virtual isomorphism problem for f.g. groups is strictly easier than the quasi-isometry relation for connected 4-regular graphs. Conjecture The virtual isomorphism problem for f.g. groups is strictly easier than the quasi-isometry relation for for f.g. groups. The End
A Descriptive View of Combinatorial Group Theory
A Descriptive View of Combinatorial Group Theory Simon Thomas Rutgers University May 12th 2014 Introduction The Basic Theme: Descriptive set theory provides a framework for explaining the inevitable non-uniformity
More informationCOUNTABLE BOREL QUASI-ORDERS
COUNTABLE BOREL QUASI-ORDERS BY JAY WILLIAMS A dissertation submitted to the Graduate School New Brunswick Rutgers, The State University of New Jersey in partial fulfillment of the requirements for the
More informationThe classification of torsion-free abelian groups up to isomorphism and quasi-isomorphism
The classification of torsion-free abelian groups up to isomorphism and quasi-isomorphism Samuel Coskey Rutgers University Joint Meetings, 2008 Torsion-free abelian groups of finite rank A concise and
More informationCOUNTABLE BOREL EQUIVALENCE RELATIONS
COUNTABLE BOREL EQUIVALENCE RELATIONS SCOTT SCHNEIDER AND SIMON THOMAS Introduction. These notes are an account of a day-long lecture workshop presented by Simon Thomas of Rutgers University at the University
More informationEnds of Finitely Generated Groups from a Nonstandard Perspective
of Finitely of Finitely from a University of Illinois at Urbana Champaign McMaster Model Theory Seminar September 23, 2008 Outline of Finitely Outline of Finitely Outline of Finitely Outline of Finitely
More informationCountable Borel Equivalence Relations: The Appendix
Countable Borel Equivalence Relations: The Appendix Simon Thomas Rutgers University 17th November 2007 Popa s Cocycle Superrigidity Theorem In this lecture, we shall sketch the proof of: Theorem (Popa)
More informationFunctional Analysis HW #1
Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X
More informationLecture 10: Limit groups
Lecture 10: Limit groups Olga Kharlampovich November 4 1 / 16 Groups universally equivalent to F Unification Theorem 1 Let G be a finitely generated group and F G. Then the following conditions are equivalent:
More informationMA4H4 - GEOMETRIC GROUP THEORY. Contents of the Lectures
MA4H4 - GEOMETRIC GROUP THEORY Contents of the Lectures 1. Week 1 Introduction, free groups, ping-pong, fundamental group and covering spaces. Lecture 1 - Jan. 6 (1) Introduction (2) List of topics: basics,
More informationSome algebraic properties of. compact topological groups
Some algebraic properties of compact topological groups 1 Compact topological groups: examples connected: S 1, circle group. SO(3, R), rotation group not connected: Every finite group, with the discrete
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
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 informationDefinable Graphs and Dominating Reals
May 13, 2016 Graphs A graph on X is a symmetric, irreflexive G X 2. A graph G on a Polish space X is Borel if it is a Borel subset of X 2 \ {(x, x) : x X }. A X is an anticlique (G-free, independent) if
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 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 informationIRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT
IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT MRINAL KANTI ROYCHOWDHURY Abstract. Two invertible dynamical systems (X, A, µ, T ) and (Y, B, ν, S) where X, Y
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 informationThe complexity of classification problem of nuclear C*-algebras
The complexity of classification problem of nuclear C*-algebras Ilijas Farah (joint work with Andrew Toms and Asger Törnquist) Nottingham, September 6, 2010 C*-algebras H: a complex Hilbert space (B(H),
More informationBorel complexity and automorphisms of C*-algebras
Martino Lupini York University Toronto, Canada January 15th, 2013 Table of Contents 1 Auto-homeomorphisms of compact metrizable spaces 2 Measure preserving automorphisms of probability spaces 3 Automorphisms
More informationDegree of commutativity of infinite groups
Degree of commutativity of infinite groups... or how I learnt about rational growth and ends of groups Motiejus Valiunas University of Southampton Groups St Andrews 2017 11th August 2017 The concept of
More informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More informationThe Fundamental Group and The Van Kampen Theorem
The Fundamental Group and The Van Kampen Theorem Ronald Alberto Zúñiga Rojas Universidade de Coimbra Departamento de Matemática Topologia Algébrica Contents 1 Some Basic Definitions 2 The Fundamental Group
More informationClassification Problems in Mathematics. Greg Hjorth. University of Melbourne
Classification Problems in Mathematics Greg Hjorth greg.hjorth@gmail.com University of Melbourne Tarski Lectures University of California, Berkeley April 7, 2010 1 1 Recall Definition The cardinality of
More information637 Course Notes. Texas A&M University. February 24, 2015
637 Course Notes Zoran Šunić Texas A&M University February 24, 2015 2 Contents 1 Preliminaries 5 1.1 Basic notions and properties of group actions........................... 5 1.1.1 Definition, examples,
More informationMostow Rigidity. W. Dison June 17, (a) semi-simple Lie groups with trivial centre and no compact factors and
Mostow Rigidity W. Dison June 17, 2005 0 Introduction Lie Groups and Symmetric Spaces We will be concerned with (a) semi-simple Lie groups with trivial centre and no compact factors and (b) simply connected,
More informationCoarse Geometry. Phanuel Mariano. Fall S.i.g.m.a. Seminar. Why Coarse Geometry? Coarse Invariants A Coarse Equivalence to R 1
Coarse Geometry 1 1 University of Connecticut Fall 2014 - S.i.g.m.a. Seminar Outline 1 Motivation 2 3 The partition space P ([a, b]). Preliminaries Main Result 4 Outline Basic Problem 1 Motivation 2 3
More informationGroups and Symmetries
Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group
More informationGroup Actions Definition. Let G be a group, and let X be a set. A left action of G on X is a function θ : G X X satisfying:
Group Actions 8-26-202 Definition. Let G be a group, and let X be a set. A left action of G on X is a function θ : G X X satisfying: (a) θ(g,θ(g 2,x)) = θ(g g 2,x) for all g,g 2 G and x X. (b) θ(,x) =
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 informationContinuous and Borel Dynamics of Countable Borel Equivalence Relations
Continuous and Borel Dynamics of Countable Borel Equivalence Relations S. Jackson (joint with S. Gao, E. Krohne, and B. Seward) Department of Mathematics University of North Texas June 9, 2015 BLAST 2015,
More informationVARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES
Bull. Austral. Math. Soc. 78 (2008), 487 495 doi:10.1017/s0004972708000877 VARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES CAROLYN E. MCPHAIL and SIDNEY A. MORRIS (Received 3 March 2008) Abstract
More informationORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS
ORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS SIMON M. SMITH Abstract. If G is a group acting on a set Ω and α, β Ω, the digraph whose vertex set is Ω and whose arc set is the orbit (α, β)
More informationTHREE ZUTOT ELI GLASNER AND BENJAMIN WEISS
THREE ZUTOT ELI GLASNER AND BENJAMIN WEISS Abstract. Three topics in dynamical systems are discussed. In the first two sections we solve some open problems concerning, respectively, Furstenberg entropy
More information1 MONOTONE COMPLETE C*-ALGEBRAS AND GENERIC DYNAMICS
1 MONOTONE COMPLETE C*-ALGEBRAS AND GENERIC DYNAMICS JDM Wright (University of Aberdeen) This talk is on joint work with Kazuyuki SAITÔ. I shall begin by talking about Monotone Complete C*-algebras. Then
More informationQuasi-invariant measures for continuous group actions
Contemporary Mathematics Quasi-invariant measures for continuous group actions Alexander S. Kechris Dedicated to Simon Thomas on his 60th birthday Abstract. The class of ergodic, invariant probability
More informationSmall cancellation theory and Burnside problem.
Small cancellation theory and Burnside problem. Rémi Coulon February 27, 2013 Abstract In these notes we detail the geometrical approach of small cancellation theory used by T. Delzant and M. Gromov to
More informationQuasi-isometry and commensurability classification of certain right-angled Coxeter groups
Quasi-isometry and commensurability classification of certain right-angled Coxeter groups Anne Thomas School of Mathematics and Statistics, University of Sydney Groups acting on CAT(0) spaces MSRI 30 September
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 informationLocally definable groups and lattices
Locally definable groups and lattices Kobi Peterzil (Based on work (with, of) Eleftheriou, work of Berarducci-Edmundo-Mamino) Department of Mathematics University of Haifa Ravello 2013 Kobi Peterzil (University
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 informationSEPARABLE MODELS OF RANDOMIZATIONS
SEPARABLE MODELS OF RANDOMIZATIONS URI ANDREWS AND H. JEROME KEISLER Abstract. Every complete first order theory has a corresponding complete theory in continuous logic, called the randomization theory.
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
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 informationA Crash Course in Topological Groups
A Crash Course in Topological Groups Iian B. Smythe Department of Mathematics Cornell University Olivetti Club November 8, 2011 Iian B. Smythe (Cornell) Topological Groups Nov. 8, 2011 1 / 28 Outline 1
More informationGroups. Contents of the lecture. Sergei Silvestrov. Spring term 2011, Lecture 8
Groups Sergei Silvestrov Spring term 2011, Lecture 8 Contents of the lecture Binary operations and binary structures. Groups - a special important type of binary structures. Isomorphisms of binary structures.
More informationint cl int cl A = int cl A.
BAIRE CATEGORY CHRISTIAN ROSENDAL 1. THE BAIRE CATEGORY THEOREM Theorem 1 (The Baire category theorem. Let (D n n N be a countable family of dense open subsets of a Polish space X. Then n N D n is dense
More informationNote: all spaces are assumed to be path connected and locally path connected.
Homework 2 Note: all spaces are assumed to be path connected and locally path connected. 1: Let X be the figure 8 space. Precisely define a space X and a map p : X X which is the universal cover. Check
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 informationErgodic Theory and Topological Groups
Ergodic Theory and Topological Groups Christopher White November 15, 2012 Throughout this talk (G, B, µ) will denote a measure space. We call the space a probability space if µ(g) = 1. We will also assume
More informationMA441: Algebraic Structures I. Lecture 14
MA441: Algebraic Structures I Lecture 14 22 October 2003 1 Review from Lecture 13: We looked at how the dihedral group D 4 can be viewed as 1. the symmetries of a square, 2. a permutation group, and 3.
More informationMeasure-theoretic unfriendly colorings
Measure-theoretic unfriendly colorings Clinton T. Conley August 26, 2013 Abstract We consider the problem of finding a measurable unfriendly partition of the vertex set of a locally finite Borel graph
More informationTHE SMOOTH IDEAL JOHN D. CLEMENS, CLINTON T. CONLEY, AND BENJAMIN D. MILLER
THE SMOOTH IDEAL JOHN D. CLEMENS, CLINTON T. CONLEY, AND BENJAMIN D. MILLER Abstract. We give a classical proof of the generalization of the characterization of smoothness to quotients of Polish spaces
More informationGeometric Structure and the Local Langlands Conjecture
Geometric Structure and the Local Langlands Conjecture Paul Baum Penn State Representations of Reductive Groups University of Utah, Salt Lake City July 9, 2013 Paul Baum (Penn State) Geometric Structure
More informationERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES. 0. Introduction
Acta Math. Univ. Comenianae Vol. LXXI, 2(2002), pp. 201 210 201 ERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES G. R. GOODSON Abstract. We investigate the question of when an ergodic automorphism
More informationA product of γ-sets which is not Menger.
A product of γ-sets which is not Menger. A. Miller Dec 2009 Theorem. Assume CH. Then there exists γ-sets A 0, A 1 2 ω such that A 0 A 1 is not Menger. We use perfect sets determined by Silver forcing (see
More informationON THE UNIQUENESS OF POLISH GROUP TOPOLOGIES. by Bojana Pejić MA, University of Pittsburgh, 2006 MMath, University of Oxford, 2002
ON THE UNIQUENESS OF POLISH GROUP TOPOLOGIES by Bojana Pejić MA, University of Pittsburgh, 2006 MMath, University of Oxford, 2002 Submitted to the Graduate Faculty of the Department of Mathematics in partial
More informationTopological conjugacy relation. minimal G-subshifts
The topological conjugacy relation for free minimal G-subshifts Toronto, April 2, 2015 A Borel equivalence relation on a standard Borel space is countable if it has countable classes. A Borel equivalence
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationRandom weak limits of self-similar Schreier graphs. Tatiana Nagnibeda
Random weak limits of self-similar Schreier graphs Tatiana Nagnibeda University of Geneva Swiss National Science Foundation Goa, India, August 12, 2010 A problem about invariant measures Suppose G is a
More informationSIMULTANEOUS REDUCIBILITY OF PAIRS OF BOREL EQUIVALENCE RELATIONS
SIMULTANEOUS REDUCIBILITY OF PAIRS OF BOREL EQUIVALENCE RELATIONS SCOTT SCHNEIDER Abstract. Let E F and E F be Borel equivalence relations on the standard Borel spaces X and Y, respectively. The pair (E,
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationLöwenheim-Skolem Theorems, Countable Approximations, and L ω. David W. Kueker (Lecture Notes, Fall 2007)
Löwenheim-Skolem Theorems, Countable Approximations, and L ω 0. Introduction David W. Kueker (Lecture Notes, Fall 2007) In its simplest form the Löwenheim-Skolem Theorem for L ω1 ω states that if σ L ω1
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationExamples of non-shy sets
F U N D A M E N T A MATHEMATICAE 144 (1994) Examples of non-shy sets by Randall D o u g h e r t y (Columbus, Ohio) Abstract. Christensen has defined a generalization of the property of being of Haar measure
More informationIsomorphisms. 0 a 1, 1 a 3, 2 a 9, 3 a 7
Isomorphisms Consider the following Cayley tables for the groups Z 4, U(), R (= the group of symmetries of a nonsquare rhombus, consisting of four elements: the two rotations about the center, R 8, and
More informationTame definable topological dynamics
Tame definable topological dynamics Artem Chernikov (Paris 7) Géométrie et Théorie des Modèles, 4 Oct 2013, ENS, Paris Joint work with Pierre Simon, continues previous work with Anand Pillay and Pierre
More informationElliott s program and descriptive set theory III. Ilijas Farah (joint work with Bradd Hart and David Sherman and with
Happy Bastille Day! Elliott s program and descriptive set theory III Ilijas Farah (joint work with Bradd Hart and David Sherman and with Elliott s program and descriptive set theory III Ilijas Farah (joint
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationIsomorphism of finitely generated solvable groups is weakly universal
Isomorphism of finitely generated solvable groups is weakly universal Jay Williams 1, Department of Mathematics California Institute of Technology Pasadena, CA 91125 Abstract We show that the isomorphism
More informationCHAPTER V DUAL SPACES
CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the
More informationLifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions
Journal of Lie Theory Volume 15 (2005) 447 456 c 2005 Heldermann Verlag Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Marja Kankaanrinta Communicated by J. D. Lawson Abstract. By
More informationThe rise and fall of uncountable models
Chris Laskowski University of Maryland 2 nd Vaught s conjecture conference UC-Berkeley 2 June, 2015 Recall: Every counterexample Φ to Vaught s Conjecture is scattered. Recall: Every counterexample Φ to
More informationA BOOLEAN ACTION OF C(M, U(1)) WITHOUT A SPATIAL MODEL AND A RE-EXAMINATION OF THE CAMERON MARTIN THEOREM
A BOOLEAN ACTION OF C(M, U(1)) WITHOUT A SPATIAL MODEL AND A RE-EXAMINATION OF THE CAMERON MARTIN THEOREM JUSTIN TATCH MOORE AND S LAWOMIR SOLECKI Abstract. We will demonstrate that if M is an uncountable
More informationδ-hyperbolic SPACES SIDDHARTHA GADGIL
δ-hyperbolic SPACES SIDDHARTHA GADGIL Abstract. These are notes for the Chennai TMGT conference on δ-hyperbolic spaces corresponding to chapter III.H in the book of Bridson and Haefliger. When viewed from
More informationAlgebra-I, Fall Solutions to Midterm #1
Algebra-I, Fall 2018. Solutions to Midterm #1 1. Let G be a group, H, K subgroups of G and a, b G. (a) (6 pts) Suppose that ah = bk. Prove that H = K. Solution: (a) Multiplying both sides by b 1 on the
More informationLECTURE 3: SMOOTH FUNCTIONS
LECTURE 3: SMOOTH FUNCTIONS Let M be a smooth manifold. 1. Smooth Functions Definition 1.1. We say a function f : M R is smooth if for any chart {ϕ α, U α, V α } in A that defines the smooth structure
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationTopological properties of Z p and Q p and Euclidean models
Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete
More informationSelçuk Demir WS 2017 Functional Analysis Homework Sheet
Selçuk Demir WS 2017 Functional Analysis Homework Sheet 1. Let M be a metric space. If A M is non-empty, we say that A is bounded iff diam(a) = sup{d(x, y) : x.y A} exists. Show that A is bounded iff there
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 informationAn introduction to random walks on groups
An introduction to random walks on groups Jean-François Quint School on Information and Randomness, Puerto Varas, December 2014 Contents 1 Locally compact groups and Haar measure 2 2 Amenable groups 4
More informationMargulis Superrigidity I & II
Margulis Superrigidity I & II Alastair Litterick 1,2 and Yuri Santos Rego 1 Universität Bielefeld 1 and Ruhr-Universität Bochum 2 Block seminar on arithmetic groups and rigidity Universität Bielefeld 22nd
More informationStone-Čech compactification of Tychonoff spaces
The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological
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 informationASSIGNMENT - 1, DEC M.Sc. (FINAL) SECOND YEAR DEGREE MATHEMATICS. Maximum : 20 MARKS Answer ALL questions. is also a topology on X.
(DM 21) ASSIGNMENT - 1, DEC-2013. PAPER - I : TOPOLOGY AND FUNCTIONAL ANALYSIS Maimum : 20 MARKS 1. (a) Prove that every separable metric space is second countable. Define a topological space. If T 1 and
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 information6. Duals of L p spaces
6 Duals of L p spaces This section deals with the problem if identifying the duals of L p spaces, p [1, ) There are essentially two cases of this problem: (i) p = 1; (ii) 1 < p < The major difference between
More informationMEASURABLE DYNAMICS OF SIMPLE p-adic POLYNOMIALS JOHN BRYK AND CESAR E. SILVA
MEASURABLE DYNAMICS OF SIMPLE p-adic POLYNOMIALS JOHN BRYK AND CESAR E. SILVA 1. INTRODUCTION. The p-adic numbers have many fascinating properties that are different from those of the real numbers. These
More informationA Little Beyond: Linear Algebra
A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two
More informationClasses of Polish spaces under effective Borel isomorphism
Classes of Polish spaces under effective Borel isomorphism Vassilis Gregoriades TU Darmstadt October 203, Vienna The motivation It is essential for the development of effective descriptive set theory to
More informationGaussian automorphisms whose ergodic self-joinings are Gaussian
F U N D A M E N T A MATHEMATICAE 164 (2000) Gaussian automorphisms whose ergodic self-joinings are Gaussian by M. L e m a ńc z y k (Toruń), F. P a r r e a u (Paris) and J.-P. T h o u v e n o t (Paris)
More informationMeasure and Category. Marianna Csörnyei. ucahmcs
Measure and Category Marianna Csörnyei mari@math.ucl.ac.uk http:/www.ucl.ac.uk/ ucahmcs 1 / 96 A (very short) Introduction to Cardinals The cardinality of a set A is equal to the cardinality of a set B,
More informationBredon finiteness properties of groups acting on CAT(0)-spaces
Bredon finiteness properties of groups acting on CAT(0)-spaces Nansen Petrosyan KU Leuven Durham 2013 1 Goal: Discuss finiteness properties for E FIN G and E VC G when G acts isometrically and discretely
More informationMapping Class Groups MSRI, Fall 2007 Day 8, October 25
Mapping Class Groups MSRI, Fall 2007 Day 8, October 25 November 26, 2007 Reducible mapping classes Review terminology: An essential curve γ on S is a simple closed curve γ such that: no component of S
More informationDefinably amenable groups in NIP
Definably amenable groups in NIP Artem Chernikov (Paris 7) Lyon, 21 Nov 2013 Joint work with Pierre Simon. Setting T is a complete first-order theory in a language L, countable for simplicity. M = T a
More informationORTHOGONAL MEASURES AND ERGODICITY. By Clinton T. Conley Cornell University and. By Benjamin D. Miller Universität Münster
Submitted to the Annals of Probability ORTHOGONAL MEASURES AND ERGODICITY By Clinton T. Conley Cornell University and By Benjamin D. Miller Universität Münster We establish a strengthening of the E 0 dichotomy
More informationAlgebraic Structures II
MAS 305 Algebraic Structures II Notes 9 Autumn 2006 Composition series soluble groups Definition A normal subgroup N of a group G is called a maximal normal subgroup of G if (a) N G; (b) whenever N M G
More informationCS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a
Q: What s purple and commutes? A: An abelian grape! Anonymous Group Theory Last lecture, we learned about a combinatorial method for characterizing spaces: using simplicial complexes as triangulations
More informationNonamenable Products are not Treeable
Version of 30 July 1999 Nonamenable Products are not Treeable by Robin Pemantle and Yuval Peres Abstract. Let X and Y be infinite graphs, such that the automorphism group of X is nonamenable, and the automorphism
More information