Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based...

51
Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro Maass and Samuel Petite Sebasti ´ an Donoso F. The Hebrew University of Jerusalem June 2016 Sebasti ´ an Donoso Fuentes

Transcript of Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based...

Page 1: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Automorphisms, cubes and the Robinson tilingbased on a joint work with Wenbo Sun and on a joint work with

Fabien Durand, Alejandro Maass and Samuel Petite

Sebastian Donoso F.

The Hebrew University of Jerusalem

June 2016

Sebastian Donoso Fuentes

Page 2: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Brief “introduction” to topological dynamics

Sebastian Donoso Fuentes

Page 3: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

A topological dynamical system is a pair (X ,G) where X is acompact metric space and G is a group of homeomorphisms.In this talk, G is Z or Z2.

When T is a homeomorphism of X , we write (X ,T ) to denote Zdynamical system (X ,{T n ∶ n ∈ Z}).

Let G = Z2 and let S,T ∈ G be two generators. We say that(X ,S,T ) is a system with commuting transformations S and T .

In this talk we assume that (X ,S,T ) is a minimal system,meaning that the G-orbit of any point is dense in X . This isequivalent to say that the only closed invariant sets are X and∅.

Sebastian Donoso Fuentes

Page 4: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

A factor map π is a continuous onto map

Y Y

X X

π

g

π

g

π ○ g = g ○ π.

Remark: Even if Y is a subshift, it may be convenient to consider factors which are not

subshifts.

Sebastian Donoso Fuentes

Page 5: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

An equivalent way to think of a factor map of (X ,G) is throughrelations.

Let R ⊆ X ×X be a relation:● closed;● invariant (g × g)R =R for all g ∈ G.● of equivalence.

We can define the canonical projection

X → X/R

Conversely, if π∶X → Y is a factor map, Y can be identified withX/Rπ where Rπ = {(x ,x ′) ∈ X ×X ∶ π(x) = π(x ′)}.

Sebastian Donoso Fuentes

Page 6: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

In general, if R is only a relation, we can considerσ(R) to be the smallest closed, invariant, equivalence relationcontaining R.

Sebastian Donoso Fuentes

Page 7: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Automorphisms in topological dynamics

An automorphism of (X ,G) is an homeomorphism φ∶X → Xsuch that

φ ○ g = g ○ φ. for all g ∈ G

We write

Aut(X ,G) = {φ automorphism of (X ,G)}.

If G is abelian

G ⊂ Z(Aut(X ,G)).

Sebastian Donoso Fuentes

Page 8: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

LemmaLet (X ,G) be a minimal topological dynamical system. ThenAut(X ,G) acts freely on X (elements different from the identityhave no fixed points).

Proof: For φ ∈ Aut(X ,G)

Fix(φ) ∶= {x ∈ X ∶ φx = x}

is closed (φ is continuous) and invariant (φ commutes with G).By minimality Fix(φ) is equal to X or ∅.

Sebastian Donoso Fuentes

Page 9: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Automorphisms through factor maps

A factor map π∶ (X ,G)→ (Y ,G) is compatible with Aut(X ,G) if

π(x) = π(x ′)⇐⇒ π(φ(x)) = π(φ(x ′)) for every φ ∈ Aut(X ,G)

In this case, we can define the projection

π∶Aut(X ,G)→ Aut(Y ,G).

π(φ)π(x) = π(φx).

Sebastian Donoso Fuentes

Page 10: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

In terms of relations, X → X/R is compatible with Aut(X ,G) if

(x ,x ′) ∈R if and only if (φx , φx ′) ∈R

for every φ ∈ Aut(X ,G).

Fact: Many important factors in topological dynamics arecompatible!

Sebastian Donoso Fuentes

Page 11: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

A useful criterion

DefinitionLet π∶ (X ,G)→ (Y ,G) be a factor map. The factor π is almostone-to-one if there exists y ∈ Y such that ∣π−1(y)∣ = 1.

Proposition

Let π∶ (X ,G)→ (Y ,G) be an almost one-to-one extension withπ compatible with Aut(X ,G). Then

π∶Aut(X ,G)→ Aut(Y ,G)

is an injection.

Sebastian Donoso Fuentes

Page 12: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

A useful criterion

DefinitionLet π∶ (X ,G)→ (Y ,G) be a factor map. The factor π is almostone-to-one if there exists y ∈ Y such that ∣π−1(y)∣ = 1.

Proposition

Let π∶ (X ,G)→ (Y ,G) be an almost one-to-one extension withπ compatible with Aut(X ,G). Then

π∶Aut(X ,G)→ Aut(Y ,G)

is an injection.

Sebastian Donoso Fuentes

Page 13: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Proof: It suffices to analyse φ ∈ Ker(π).

Take y ∈ Y with π−1(y) = {x}.

Then φ(x) = x , and since the action is free

φ = id.

Example: If (X , σ) is a Toeplitz subshift, then Aut(X ,G) isabelian.

Sebastian Donoso Fuentes

Page 14: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Proof: It suffices to analyse φ ∈ Ker(π).

Take y ∈ Y with π−1(y) = {x}.

Then φ(x) = x , and since the action is free

φ = id.

Example: If (X , σ) is a Toeplitz subshift, then Aut(X ,G) isabelian.

Sebastian Donoso Fuentes

Page 15: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Proof: It suffices to analyse φ ∈ Ker(π).

Take y ∈ Y with π−1(y) = {x}.

Then φ(x) = x , and since the action is free

φ = id.

Example: If (X , σ) is a Toeplitz subshift, then Aut(X ,G) isabelian.

Sebastian Donoso Fuentes

Page 16: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

How to create compatiblefactors/relations?

Sebastian Donoso Fuentes

Page 17: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Some special relations

Product systems appear a lot in ergodic theory.

Let (Y , σ) and (W , τ) be minimal topological dynamicalsystems. The system

(Y ×W , σ × id, id × τ)

is the the product of (Y , σ) and (W , τ).

In terms of the dynamics, we can think that these systems (andtheir factors) have “simple” behavior.

Sebastian Donoso Fuentes

Page 18: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

A relation:

Definition (A cube for two commuting transformations)

Let (X ,S,T ) be a minimal system with commutingtransformations. We define the set of cubes QS,T to be the set

{(x ,Snx ,T mx ,SnT mx) ∶ x ∈ X ,n,m ∈ Z} ⊆ X 4.

An element in QS,T is called a dynamical cube.

T mx SnT mx

x Snx

Sebastian Donoso Fuentes

Page 19: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Example

Let (Y ×W , σ × id, id × τ) be a minimal product system.

A typical cube has the form

(y , τmw) (σny , τmw)

(y ,w) (σny ,w)

Sebastian Donoso Fuentes

Page 20: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

(y ,w ′) ?

(y ,w) (y ′,w)

Sebastian Donoso Fuentes

Page 21: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

(y ,w ′) (y ′,w ′)

(y ,w) (y ′,w)

Conclusion: The last coordinate of a point in QS,T isdetermined by the other ones.

Sebastian Donoso Fuentes

Page 22: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Theorem (D., Sun (2014))

Let (X ,S,T ) be a minimal system with commutingtransformations. The following are equivalent:

1 (X ,S,T ) is a factor of a product system;2 One can deduce the last coordinate of a dynamical cube.

Sebastian Donoso Fuentes

Page 23: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

“Cubes induce factors”. We define relations using the cubes:

RS = {(x ,y) ∈ X ×X ∶ (x ,y ,a,a) ∈ QS,T for some a ∈ X}

a a

x y

x and y are RS related

Sebastian Donoso Fuentes

Page 24: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

RT = {(x ,y) ∈ X ×X ∶ (x ,b,y ,b) ∈ QS,T for some b ∈ X}

y b

x b

x and y are RT related

Finally we defineRS,T =RS ∩RT .

Sebastian Donoso Fuentes

Page 25: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Example: RS in a product system.

(y ,w ′) (y ′,w ′)

(y ,w) (y ′,w)

Hence (y ,w) = (y ′,w) and

RS = ∆Y×W =RT =RS,T .

Sebastian Donoso Fuentes

Page 26: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Example: RS in a product system.

(y ,w ′) (y ′,w ′)

(y ,w) (y ′,w)

=

Hence (y ,w) = (y ′,w) and

RS = ∆Y×W =RT =RS,T .

Sebastian Donoso Fuentes

Page 27: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Example: RS in a product system.

(y ,w ′) (y ′,w ′)

(y ,w) (y ′,w)

=

Hence (y ,w) = (y ′,w) and

RS = ∆Y×W =RT =RS,T .

Sebastian Donoso Fuentes

Page 28: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

TheoremLet (X ,S,T ) be a minimal system with commutingtransformations. Then (X ,S,T ) has a product extension if andonly if RS,T = ∆X .

Sebastian Donoso Fuentes

Page 29: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Example: Morse

Consider the Morse substitution:

Sebastian Donoso Fuentes

Page 30: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

One can iterate this substitution in a natural way:

first, second and third iteration of the substitution

Sebastian Donoso Fuentes

Page 31: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Example

Iterating the process we get a point in x ∈ {0,1}Z2. We let X

denote orbit closure of x under translations. We have that(X , σ(1,0), σ(0,1)) is a minimal system with commutingtransformations. (From now S = σ(1,0), T = σ(0,1)).

Sebastian Donoso Fuentes

Page 32: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Example

Proposition

We have that RS,T (X) = ∆X . Subsequently (X ,S,T ) has aproduct extension.

In fact, (unsurprisingly) the Theorem gives that the “cover” isthe product of two one dimensional Thue-Morse sequences.

Sebastian Donoso Fuentes

Page 33: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

More generally

Let (X , σX ) and (Y , σY ) be two one dimensional shift spaceswith alphabets AX and AY . Let x = (xi)i∈Z ∈ X , y = (yj)j∈Z ∈ Y .

Consider z = (zi,j)i,j∈Z where zi,j = (xi ,yj) and Z its closure orbitunder the shift transformations.

Let ϕ be a function defined on AX ×AY .

Sebastian Donoso Fuentes

Page 34: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

⋱ ⋮ ⋮ ⋮ ⋰

⋯ (xi−1,yj+1) (xi ,yj+1) (xi+1,yj+1) ⋯

⋯ (xi−1,yj) (xi ,yj) (xi+1,yj) ⋯

⋯ (xi−1,yj−1) (xi ,yj−1) (xi+1,yj−1) ⋯

⋰ ⋮ ⋮ ⋮ ⋱

Sebastian Donoso Fuentes

Page 35: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

⋱ ⋮ ⋮ ⋮ ⋰

⋯ ϕ(xi−1,yj+1) ϕ(xi ,yj+1) ϕ(xi+1,yj+1) ⋯

⋯ ϕ(xi−1,yj) ϕ(xi ,yj) ϕ(xi+1,yj) ⋯

⋯ ϕ(xi−1,yj−1) ϕ(xi ,yj−1) ϕ(xi+1,yj−1) ⋯

⋰ ⋮ ⋮ ⋮ ⋱

Sebastian Donoso Fuentes

Page 36: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Proposition

Any minimal Z2 subshift with a product extension is obtained inthis way.

A comment for some specialists: This can also be characterized in terms of enveloping

semigroups. A system has a product extension if and only if

E(X , ⟨S,T ⟩) = E(X ,S)E(X ,T) and E(X ,S) and E(X ,T) commute

Sebastian Donoso Fuentes

Page 37: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Proposition

Any minimal Z2 subshift with a product extension is obtained inthis way.

A comment for some specialists: This can also be characterized in terms of enveloping

semigroups. A system has a product extension if and only if

E(X , ⟨S,T ⟩) = E(X ,S)E(X ,T) and E(X ,S) and E(X ,T) commute

Sebastian Donoso Fuentes

Page 38: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Example: Robinson tiling

I refer to the work of Galher, Julien and Savinien.Consider the following set of tiles and their rotations andreflections :

Let ARob denote this set of tiles. Then #ARob = 28.

Sebastian Donoso Fuentes

Page 39: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Sebastian Donoso Fuentes

Page 40: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Sebastian Donoso Fuentes

Page 41: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Sebastian Donoso Fuentes

Page 42: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Sebastian Donoso Fuentes

Page 43: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Sebastian Donoso Fuentes

Page 44: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Sebastian Donoso Fuentes

Page 45: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

We can continue this process and we get a point x ∈ AZ2

Rob.

Let X denote the orbit closure of this point under the shifttransformations.

The system (X ,S,T ) is a minimal system with commutingtransformations (it is the unique minimal inside the Robinsontiling).

Sebastian Donoso Fuentes

Page 46: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

After some computations, the RS,T relation on X is “almosttrivial”.

Let π∶X → X/RS,T be the quotient map. Then π is an almostone-to-one extension and compatible.

“Regular” points (the ones with only one infinite order supertile)are no related to other points.

Therefore we can inject Aut(X ,S,T ) in Aut(X/RS,T ,S,T )

Sebastian Donoso Fuentes

Page 47: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Important property: the fiber with maximal cardinality is unique(up to shift).

It consists of the configurations with four infinite ordersupertiles.

Sebastian Donoso Fuentes

Page 48: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

How two four infinite supertiles points are related

Sebastian Donoso Fuentes

Page 49: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Proposition

The group of automorphisms of (X ,S,T ) consists of the shifts.

Proof:Let φ be a automorphism of the Robinson tiling andπ∶X → X/RS,T be the quotient map. Let x with four infiniteorder supertiles. Then there exist n,m ∈ Z with

π(φ)(π(x)) = π(φ(x)) = SnT mπ(x)

Hence π(φ) = SnT m in X/RS,T and (by injectivity)

φ = SnT m in X

.

Sebastian Donoso Fuentes

Page 50: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Proposition

The group of automorphisms of (X ,S,T ) consists of the shifts.

Proof:Let φ be a automorphism of the Robinson tiling andπ∶X → X/RS,T be the quotient map. Let x with four infiniteorder supertiles. Then there exist n,m ∈ Z with

π(φ)(π(x)) = π(φ(x)) = SnT mπ(x)

Hence π(φ) = SnT m in X/RS,T and (by injectivity)

φ = SnT m in X

.

Sebastian Donoso Fuentes

Page 51: Automorphisms, cubes and the Robinson tiling · Automorphisms, cubes and the Robinson tiling based on a joint work with Wenbo Sun and on a joint work with Fabien Durand, Alejandro

Merci pour votre attention.

Sebastian Donoso Fuentes