Group Colorings and Bernoulli Subflows

254 Pages·2016·2.583 MB·English

by  Su Gao, Steve Jackson, Brandon Seward

MEMOIRS
of the
American Mathematical Society
Volume 241 • Number 1141 (second of 4 numbers) • May 2016
Group Colorings and Bernoulli
Subflows
Su Gao
Steve Jackson
Brandon Seward
ISSN 0065-9266 (print) ISSN 1947-6221 (online)
American Mathematical Society
MEMOIRS
of the
American Mathematical Society
Volume 241 • Number 1141 (second of 4 numbers) • May 2016
Group Colorings and Bernoulli
Subflows
Su Gao
Steve Jackson
Brandon Seward
ISSN 0065-9266 (print) ISSN 1947-6221 (online)
American Mathematical Society
Providence, Rhode Island
Library of Congress Cataloging-in-Publication Data
Names: Gao,Su,1968–—Jackson,Steve,1957–—Seward,Brandon,1987–
Title: GroupcoloringsandBernoullisubflows/SuGao,SteveJackson,BrandonSeward.
Description: Providence,RhodeIsland: AmericanMathematicalSociety,2016. —Series: Mem-
oirsoftheAmericanMathematicalSociety,ISSN0065-9266;volume241,number1141—Includes
bibliographicalreferencesandindex.
Identifiers: LCCN2015051377—ISBN9781470418472(alk. paper)
Subjects: LCSH:Fluidmechanics. —Bernoullinumbers.
Classification: LCC QA901.G372016—DDC512.7–dc23LC recordavailable athttp://lccn.
loc.gov/2015051377
DOI:http://dx.doi.org/10.1090/memo/1141
Memoirs of the American Mathematical Society
Thisjournalisdevotedentirelytoresearchinpureandappliedmathematics.
Subscription information. Beginning with the January 2010 issue, Memoirs is accessible
from www.ams.org/journals. The 2016 subscription begins with volume 239 and consists of six
mailings, each containing one or more numbers. Subscription prices for 2016 are as follows: for
paperdelivery,US$890list,US$712.00institutionalmember;forelectronicdelivery,US$784list,
US$627.20institutional member. Uponrequest, subscribers topaper delivery ofthis journalare
also entitled to receive electronic delivery. If ordering the paper version, add US$10 for delivery
withintheUnitedStates;US$69foroutsidetheUnitedStates. Subscriptionrenewalsaresubject
tolatefees. Seewww.ams.org/help-faqformorejournalsubscriptioninformation. Eachnumber
maybeorderedseparately;please specifynumber whenorderinganindividualnumber.
Back number information. Forbackissuesseewww.ams.org/backvols.
Subscriptions and orders should be addressed to the American Mathematical Society, P.O.
Box 845904, Boston, MA 02284-5904USA. All orders must be accompanied by payment. Other
correspondenceshouldbeaddressedto201CharlesStreet,Providence,RI02904-2294USA.
Copying and reprinting. Individual readers of this publication, and nonprofit libraries
acting for them, are permitted to make fair use of the material, such as to copy select pages for
useinteachingorresearch. Permissionisgrantedtoquotebriefpassagesfromthispublicationin
reviews,providedthecustomaryacknowledgmentofthesourceisgiven.
Republication,systematiccopying,ormultiplereproductionofanymaterialinthispublication
is permitted only under license from the American Mathematical Society. Permissions to reuse
portions of AMS publication content are handled by Copyright Clearance Center’s RightsLink(cid:2)
service. Formoreinformation,pleasevisit: http://www.ams.org/rightslink.
Sendreq[e-mail].
Excludedfromtheseprovisionsismaterialforwhichtheauthorholdscopyright. Insuchcases,
requestsforpermissiontoreuseorreprintmaterialshouldbeaddresseddirectlytotheauthor(s).
Copyrightownershipisindicatedonthecopyrightpage,oronthelowerright-handcornerofthe
firstpageofeacharticlewithinproceedingsvolumes.
MemoirsoftheAmericanMathematicalSociety (ISSN0065-9266(print);1947-6221(online))
ispublishedbimonthly(eachvolumeconsistingusuallyofmorethanonenumber)bytheAmerican
MathematicalSocietyat201CharlesStreet,Providence,RI02904-2294USA.Periodicalspostage
paid at Providence, RI.Postmaster: Send address changes to Memoirs, AmericanMathematical
Society,201CharlesStreet,Providence,RI02904-2294USA.
(cid:2)c 2015bytheAmericanMathematicalSociety. Allrightsreserved.
(cid:2)
ThispublicationisindexedinMathematicalReviewsR,Zentralblatt MATH,ScienceCitation
Index(cid:2)R,ScienceCitation IndexTM-Expanded,ISI Alerting ServicesSM,SciSearch(cid:2)R,Research
(cid:2) (cid:2) (cid:2)
AlertR,CompuMathCitation IndexR,Current ContentsR/Physical, Chemical& Earth
Sciences. ThispublicationisarchivedinPortico andCLOCKSS.
PrintedintheUnitedStatesofAmerica.
(cid:2)∞ Thepaperusedinthisbookisacid-freeandfallswithintheguidelines
establishedtoensurepermanenceanddurability.
VisittheAMShomepageathttp://www.ams.org/
10987654321 201918171615
Contents
Chapter 1. Introduction 1
1.1. Bernoulli flows and subflows 1
1.2. Basic notions 3
1.3. Existence of free subflows 4
1.4. Hyper aperiodic points and k-colorings 6
1.5. Complexity of sets and equivalence relations 9
1.6. Tilings of groups 11
1.7. The almost equality relation 12
1.8. The fundamental method 14
1.9. Brief outline 16
Chapter 2. Preliminaries 19
2.1. Bernoulli flows 19
2.2. 2-colorings 21
2.3. Orthogonality 23
2.4. Minimality 24
2.5. Strengthening and weakening of 2-colorings 27
2.6. Other variations of 2-colorings 30
2.7. Subflows of (2N)G 32
Chapter 3. Basic Constructions of 2-Colorings 35
3.1. 2-Colorings on supergroups of finite index 35
3.2. 2-Colorings on group extensions 39
3.3. 2-Colorings on Z 43
3.4. 2-Colorings on nonabelian free groups 46
3.5. 2-Colorings on solvable groups 48
3.6. 2-Colorings on residually finite groups 51
Chapter 4. Marker Structures and Tilings 53
4.1. Marker structures on groups 53
4.2. 2-Colorings on abelian and FC groups by markers 57
4.3. Some properties of ccc groups 61
4.4. Abelian, nilpotent, and polycyclic groups are ccc 63
4.5. Residually finite and locally finite groups and free products are ccc 70
Chapter 5. Blueprints and Fundamental Functions 77
5.1. Blueprints 77
5.2. Fundamental functions 84
5.3. Existence of blueprints 91
5.4. Growth of blueprints 98
iii
iv CONTENTS
Chapter 6. Basic Applications of the Fundamental Method 103
6.1. The uniform 2-coloring property 103
6.2. Density of 2-colorings 107
6.3. Characterization of the ACP 109
Chapter 7. Further Study of Fundamental Functions 117
7.1. Subflows generated by fundamental functions 117
7.2. Pre-minimality 122
7.3. Δ-minimality 127
7.4. Minimality constructions 131
7.5. Rigidity constructions for topological conjugacy 138
Chapter 8. The Descriptive Complexity of Sets of 2-Colorings 147
8.1. Smallness in measure and category 147
8.2. Σ0-hardness and Π0-completeness 148
2 3
8.3. Flecc groups 151
8.4. Nonflecc groups 156
Chapter 9. The Complexity of the Topological Conjugacy Relation 169
9.1. Introduction to countable Borel equivalence relations 169
9.2. Basic properties of topological conjugacy 170
9.3. Topological conjugacy of minimal free subflows 176
9.4. Topological conjugacy of free subflows 185
Chapter 10. Extending Partial Functions to 2-Colorings 205
10.1. A sufficient condition for extendability 205
10.2. A characterization for extendability 207
10.3. Almost equality and cofinite domains 218
10.4. Automatic extendability 229
Chapter 11. Further Questions 233
11.1. Group structures 233
11.2. 2-colorings 234
11.3. Generalizations 235
11.4. Descriptive complexity 236
Bibliography 237
Index 239
Abstract
InthispaperwestudythedynamicsofBernoulliflowsandtheirsubflows over
general countable groups. One of the main themes of this paper is to establish the
correspondence between the topological and the symbolic perspectives. From the
topological perspective, we are particularly interested in free subflows (subflows in
whicheverypointhastrivialstabilizer), minimal subflows, disjointness ofsubflows,
andtheproblemofclassifyingsubflows uptotopologicalconjugacy. Ourmaintool
to study free subflows will be the notion of hyper aperiodic points; a point is hyper
aperiodic if the closure of its orbit is a free subflow. We show that the notion of
hyper aperiodicity corresponds to a notion of k-coloring on the countable group, a
key notion we study throughout the paper. In fact, for all important topological
notionswestudy,correspondingnotionsingroupcombinatoricswillbeestablished.
Conversely, many variations of the notions in group combinatorics are proved to
be equivalent to some topological notions. In particular, we obtain results about
the differences in dynamical properties between pairs of points which disagree on
finitely many coordinates.
Another main theme of the paper is to study the properties of free subflows
and minimal subflows. Again this is done through studying the properties of the
hyper aperiodic points and minimal points. We prove that the set of all (minimal)
hyper aperiodic points is always dense but meager and null. By employing notions
and ideas from descriptive set theory, we study the complexity of the sets of hyper
aperiodicpoints and of minimal points, and completely determine their descriptive
ReceivedbytheeditorDecember28,2011and,inrevisedform,May19,2014.
ArticleelectronicallypublishedonDecember10,2015.
DOI:http://dx.doi.org/10.1090/memo/1141
2010 Mathematics Subject Classification. Primary37B10,20F99;Secondary 03E15,37B05,
20F65.
Key words and phrases. Colorings, hyper aperiodic points, orthogonal colorings, Bernoulli
flows, Bernoulli shifts, Bernoulli subflows, free subflows, marker structures, tilings, topological
conjugacy.
SuGao’sresearchwassupportedbytheU.S.NSFGrantsDMS-0501039andDMS-0901853.
SteveJackson’sresearchwassupportedbytheU.S.NSFGrantDMS-0901853.
BrandonSeward’sresearchwassupportedbytwoREUsupplementstotheU.S.NSFGrant
DMS-0501039andanNSFGraduateResearchFellowship.
Su Gao is affiliated with the Department of Mathematics, University of North Texas, 1155
UnionCircle#311430,Denton,Texas76203-5017. E-mail: [email protected].
SteveJacksonisaffiliatedwiththeDepartmentofMathematics,UniversityofNorthTexas,
1155UnionCircle#311430,Denton,Texas76203-5017. E-mail: [email protected].
Brandon Seward is affiliated with theDepartment of Mathematics, University of Michigan,
530ChurchStreet,AnnArbor,Michigan48109-1043. E-mail: [email protected].
(cid:2)c2015 American Mathematical Society
v
vi ABSTRACT
complexity. In doing this we introduce a new notion of countable flecc groups and
study their properties. We also obtain the following results for the classification
problem of free subflows up to topological conjugacy. For locally finite groups the
topological conjugacy relation for all (free) subflows is hyperfinite and nonsmooth.
For nonlocally finite groups the relation is Borel bireducible with the universal
countable Borel equivalence relation.
The third, but not the least important, theme of the paper is to develop con-
structive methods for the notions studied. To construct k-colorings on countable
groups, a fundamental method of construction of multi-layer marker structures is
developed with great generality. This allows one to construct an abundance of k-
colorings with specific properties. Variations of the fundamental method are used
in many proofs in the paper, and we expect them to be useful more broadly in
geometric group theory. As a special case of such marker structures, we study
the notion of ccc groups and prove the ccc-ness for countable nilpotent, polycyclic,
residually finite, locally finite groups and for free products.
CHAPTER 1
Introduction
In this paper we study Bernoulli flows over arbitrary countable groups (these
are also known as Bernoulli shifts, Bernoulli systems, and Bernoulli schemes). The
overall focus of this paper is on the development and application of constructive
methods, with a particular emphasis on questions surrounding free subflows. The
topics, methods, and results presented here should be of interest to at least re-
searchers in descriptive set theory, symbolic dynamics, and topological dynamics,
and may be of interest to researchers in C∗-algebras, ergodic theory, geometric
group theory, and percolation theory. In Section 1.1 we remind the reader the def-
initions of Bernoulli flow and subflow and also discuss the importance of Bernoulli
flowstovariousareasofmathematics. InSection1.2weintroducesomebasicnota-
tionandterminologywhichisneededforthischapter. InSection1.3wediscussthe
questionoftheexistenceoffreesubflows. Thisquestionhasbeenrecentlyanswered
and is of importance to this paper. In Sections 1.4, 1.5, 1.6, and 1.7 we discuss
the main results of this paper and at the same time discuss relevance to and mo-
tivation from various areas of mathematics, namely descriptive set theory, ergodic
theory, geometric group theory, symbolic dynamics, and topological dynamics. A
significant aspect of this paper is the invention of some versatile tools which add
structure to arbitrary countable groups and offer significant aid in constructing
points in Bernoulli flows. These tools are developed in great generality and likely
have applications beyondtheir use here. These constructivemethods and their po-
tential utility tovarious areas of mathematics are discussed inSection 1.8. Finally,
inSection1.9wegiveabriefoutlinetothepaperanddiscusschapterdependencies.
We encourage the reader to make use of the detailed index found at the end of the
paper which includes both terminology and notation.
1.1. Bernoulli flows and subflows
Let us first begin by presenting the most general definition of a Bernoulli flow
(also known as Bernoulli shift, Bernoulli system, and Bernoulli scheme). If G is a
countable group and K is a set with the discrete topology and with a probability
measure ν, then the Bernoulli flow over G with alphabet K is defined to be
(cid:2)
KG ={x : G→K}= K
g∈G
together with the product topology, the product measure νG, and the following
action of G: for x∈KG and g ∈G, g·x∈KG is defined by (g·x)(h)=x(g−1h).
ThesetK isalwaysassumedtohaveatleasttwoelementsasotherwiseKG consists
of a single point.
TheactionofGonKG isquiteintuitive. Forexample,ifG=ZandK ={0,1}
thenKG ={0,1}Z canbe viewedasthespace of all bi-infinite sequencesof0’s and
1
2 1. INTRODUCTION
1’s. Z then acts by shifting these sequences left and right (the action of 5 ∈ Z
shifts these sequences 5 units to the right). Similarly, {0,1}Z2 can be visualized as
thespace of{0,1}-labelings of the twodimensional latticeZ2 ⊆R2 withtheaction
of Z2 moving the labels in the obvious fashion. Comprehension of these examples
should lead to an intuitive understanding of the action of G on KG.
Under theproducttopology, thebasic opensetsofKG arethe setsof theform
{x∈KG : ∀1≤i≤n x(h )=k }
i i
where h ,h ,...,h ∈ G, k ,k ,...,k ∈ K, and n ≥ 1. Thus the action of G on
1 2 n 1 2 n
KG is continuous. It is not difficult to see that the basic open sets of KG are both
open and closed (i.e. clopen). Since every point is the intersection of a decreasing
sequence of basic open sets, it follows that KG is totally disconnected (meaning
that the only connected sets are the one point sets). KG is also seen to be perfect
(meaning that there are no isolated points). Furthermore, KG is compact if and
onlyifK isfinite. Thusbyawellknowntheoremoftopology,KG ishomeomorphic
tothe Cantor set wheneverK is finite. Onbasic opensets the measure νG is given
by
(cid:2)
νG({x∈KG : ∀1≤i≤n x(h )=k })= ν(k ).
i i i
1≤i≤n
Therefore the action of G on KG is measure preserving. It may not be so clear,
but this action is in fact ergodic.
InadditiontoBernoulliflows,wearealsoveryinterestedintheirsubflows (also
known as subshifts or subsystems). A subflow of a Bernoulli flow KG is simply a
closed subset of KG which is stable under the action of G. Bernoulli flows and
their subflows show up in many areas of mathematics. One reason is that they
have a rich diversity of dynamical properties which allow them to model many
phenomenon. This “modeling” shows up in many contexts, such as in ergodic
theory, descriptive set theory, percolation theory, topological dynamics, and sym-
bolic dynamics. In ergodic theory and descriptive set theory, the orbit structures
of Bernoulli flows are used to model the orbit structures of measurable group ac-
tions on other measure spaces. More generally, they are used to model countable
Borel equivalence relations as a well known result of Feldman-Moore states that
every countable Borel equivalence relation on a standard Borel space is induced
by a Borel action of a countable group ([FM]). In the site percolation model of
percolation theory, Bernoulli flows of the form {0,1}G are used to model the flow
of liquids through porous materials. In topological dynamics, it is known that if
a group G acts continuously on a compact topological space X and the action is
expansive, then there is a Bernoulli flow KG over G, a subflow S ⊆ KG, and a
continuous surjection φ : S → X which commutes with the action of G (meaning
φ(g·s)=g·φ(s)forallg ∈Gands∈S). Furthermore,ifX istotallydisconnected
then φ can be chosen to be a homeomorphism. Similarly, if X can be partitioned
by a collection of clopen sets, then there is a subflow S of a Bernoulli flow KG and
a continuous surjection φ : X → S which commutes with the action of G. These
typesoffactscanbeusedtostudyBernoulliflowsviatopologicaldynamics(forex-
ample, asin[GU]),butmorefrequentlytopologicaldynamicalsystemsarestudied
viaBernoulliflows. Thislatterapproach ledtotheinvention ofsymbolic dynamics
([MH])anditssubsequentgrowthoverthepastseventyyears. Aclassicalexample
of the use of symbolic dynamics is the modeling of geodesics flows on manifolds by
1.2. BASIC NOTIONS 3
(thesuspension of)subflows of Bernoulli flows overZ. Traditionally only Bernoulli
flows over Z and Zn are studied insymbolic dynamics, but more recently Bernoulli
flows over hyperbolic groups have been used to model the dynamics of hyperbolic
groups acting on their boundary ([CP]).
AkeyaspectoftheimportanceofBernoulliflowsistheirmodelingcapabilities,
but there are several other reasons to study them as well. Indeed, Bernoulli flows
may be considered interesting in and of themselves. This viewpoint can be seen in
at least descriptive set theory, ergodic theory, and symbolic dynamics. Bernoulli
flows serve as very natural examples of orbit equivalence relations, of measure pre-
serving ergodic group actions, and of continuous group actions on compact spaces.
At the same time, Bernoulli flows have very simple definitions yet their dynamical
propertiesareverydifficulttofullyunderstand. Aparticularlyniceandmanytimes
useful aspect of Bernoulli flows is that they are susceptible to combinatorial argu-
ments, something which is typically not seen in other dynamical systems. Indeed,
combinatorial approaches are a predominant feature both in symbolic dynamics
and in this paper. Another source of motivation for studying Bernoulli flows is to
understand the relationship between the algebraic properties of the acting group
and the dynamical properties of the Bernoulli flow (a research program suggested
by Gottschalk in [Go]). There are some known results of this type. For example,
with complete knowledge of the dynamical properties of a Bernoulli flow KG, one
candetermineifGisamenable([CFW]),ifGhasKazhdan’sproperty(T)([GW]),
and the rank of G if G is a nonabelian free group ([Ga]), to name a few. This is
another aspect of Bernoulli flows which appears on several occasions in this paper.
Finally, in topological dynamics Bernoulli flows are also studied in order to reveal
properties of the greatest ambit of G, since it is known that the greatest ambit of
G is the enveloping semigroup of the Bernoulli flow {0,1}G (see [GU]).
In this paper we study the dynamics of Bernoulli flows from the symbolic and
topologicalviewpointsandemployideasfromdescriptivesettheorytogainfurther
understanding. Although we do not study Bernoulli flows from the ergodic theory
perspective, there is a topic we study (tileability properties of groups) which could
be of interest to researchers in ergodic theory and geometric group theory.
1.2. Basic notions
We study Bernoulli flows from the symbolic and topological perspectives. We
therefore only want to consider Bernoulli flows over finite alphabets (these are
precisely the compact Bernoulli flows, as mentioned in the previous section). So
throughout the paper the term “Bernoulli flow” will always mean “Bernoulli flow
over a finite alphabet.” We will also not make use of any measures (aside from
a single lemma). So we will never specify measures on the alphabets or on the
Bernoulli flows. Since the alphabet K is always finite and the particular elements
of K are unimportant, we will always use K = {0,1,...,k−1} for some positive
integer k >1. As is common in logic and descriptive set theory, we let the positive
integerkdenotetheset{0,1,...,k−1}. WethereforewritekG ={0,1,...,k−1}G.
Let G be a countable group and let X be a compact Hausdorff space on which
G acts continuously (such as the Bernoulli flow kG). A closed subset of X which
is stable under the group action is called a subflow of X. We denote the closure of
sets A⊆X by A. If x∈X, then the orbit of x is denoted
[x]={g·x : g ∈G}.