We present a technique to lift some tilings of the discrete hyperbolic plane -- tilings defined by a 1D substitution -- into a zero entropy subshift of finite type (SFT) on non-abelian amenable Baumslag-Solitar groups $BS(1,n)$ for $n\geq2$. For well chosen hyperbolic tilings, this SFT is also aperiodic and minimal. As an application we construct a strongly aperiodic SFT on $BS(1,n)$ with a hierarchical structure, which is an analogue of Robinson's construction on $\mathbb{Z}^2$ or Goodman-Strauss's on $\mathbb{H}_2$.
In our article in MCU'2013 we state the the Domino problem is undecidable for all Baumslag-Solitar groups $BS(m,n)$, and claim that the proof is a direct adaptation of the construction of a weakly aperiodic subshift of finite type for $BS(m,n)$ given in the paper. In this addendum, we clarify this point and give a detailed proof of the undecidability result. We assume the reader is already familiar with the article in MCU'2013.
To an ergodic, essentially free and measure-preserving action of a non-amenable Baumslag-Solitar group on a standard probability space, a flow is associated. The isomorphism class of the flow is shown to be an invariant of such actions of Baumslag-Solitar groups under weak orbit equivalence. Results on groups which are measure equivalent to Baumslag-Solitar groups are also provided.
A measure-preserving action of a discrete countable group on a standard probability space is called stable if the associated equivalence relation is isomorphic to its direct product with the ergodic hyperfinite equivalence relation of type II_1. We show that any Baumslag-Solitar group has such an ergodic, free and stable action. It follows that any Baumslag-Solitar group is measure equivalent to its direct product with any amenable group. The same property is obtained for the inner amenable groups of Vaes.
Call a group action on a topological space \emph{biminimal} if for any points $x,y\in X$ there exists a group element taking $x$ arbitrarily close to $y$ and whose inverse takes $y$ arbitrarily close to $x$. A symbolic encoding of the Thue-Morse dynamical system is given, in terms of $ω$-automata. It is used to prove that the Thue-Morse dynamical system is minimal but not biminimal. The $ω$-automata also establish a link between Nekrashevych's presentation of limit spaces and solenoids with a construction described by Vershik and Solomyak.
We look at constructions of aperiodic SFTs on fundamental groups of graph of groups. In particular we prove that all generalized Baumslag-Solitar groups (GBS) admit a strongly aperiodic SFT. Our proof is based on a structural theorem by Whyte and on two constructions of strongly aperiodic SFTs on $\mathbb{F}_n\times \mathbb{Z}$ and $BS(m,n)$ of our own. Our two constructions rely on a path-folding technique that lifts an SFT on $\mathbb{Z}^2$ inside an SFT on $\mathbb{F}_n\times \mathbb{Z}$ or an SFT on the hyperbolic plane inside an SFT on $BS(m,n)$. In the case of $\mathbb{F}_n\times \mathbb…
Let BS(n_1,m_1) $\curvearrowright$ X_1 and BS(n_2,m_2) $\curvearrowright$ X_2 be two ergodic essentially free probability measure preserving actions of nonamenable Baumslag-Solitar groups whose canonical almost normal abelian subgroups act aperiodically. We prove that an isomorphism between the corresponding crossed product II_1 factors forces BS(n_1,m_1) $\cong$ BS(n_2,m_2) when |n_1| $\neq$ |m_1| and BS(n_1,m_1) $\cong$ BS(n_2,$\pm$m_2) when |n_1| = |m_1|. This improves an orbit equivalence rigidity result obtained by Houdayer and Raum.
Following previous work, where representations of $BS(1,n)$ by planar orientation preserving homeomorphisms with linear diagonalizable conjugating element was studied, we consider the elliptic and parabolic cases. As an application, we prove that there are no faithful representations of $BS(1,n)$ by toral homeomorphisms with conjugating element the Dehn twist map.
Let $BS(1, n)=< a, b | aba^{-1} = b^n >$ be the solvable Baumslag-Solitar group, where $ n\geq 2$. It is known that B(1, n) is isomorphic to the group generated by the two affine maps of the line : $f_0(x) = x + 1$ and $h_0(x) = nx $. The action on $S^1 = \RR \cup {\infty}$ generated by these two affine maps $f_0$ and $h_0 $ is called the standard affine one. We prove that any representation of BS(1,n) into $Diff^1(S^1)$ is (up to a finite index subgroup) semiconjugated to the standard affine action.
Let $BS(1,n)= \langle a,b : a b a ^{-1} = b ^n\rangle$ be the solvable Baumslag-Solitar group for $n \geq 2$. We study representations of $BS(1, n)$ on the plane by orientation preserving homeomorphisms, assuming that $a$ acts as a linear map and $b$ as a map with bounded displacement. We find that the possibilities for a faithful action depend greatly on the Jordan canonical form of the map $h$ defined by the action of $a$. In case $h$ is diagonalizable over $\mathbb R$, we shall give examples or prove rigidity theorems depending on the eigenvalues. We also show some rigidity in the cases whe…
Let $BS(1,n)= <a,b : a b a ^{-1} = b ^n>$ be the solvable Baumslag-Solitar group, where $n \geq 2$. We study representations of $BS(1, n)$ by homeomorphisms of closed surfaces with (pseudo-)Anosov elements. That is, we consider a closed surface $S$, and homeomorphisms $f, h: S \to S$ such that $h f h^{-1} = f^n$, for some $ n\geq 2$. It is known that $f$ (or some power of $f$) must be homotopic to the identity. Suppose that $h$ is pseudo-Anosov with stretch factor $λ>1$. We show that $<f,h>$ is not a faithful representation of $BS(1, n)$ if $λ> n$. Moreover, we show that there are no faithful …
We consider $f, h$ homeomorphims generating a faithful $BS(1,n)$-action on a closed surface $S$, that is, $h f h^{-1} = f^n$, for some $ n\geq 2$. According to \cite{GL}, after replacing $f$ by a suitable iterate if necessary, we can assume that there exists a minimal set $Λ$ of the action, included in $Fix(f)$. Here, we suppose that $f$ and $h$ are $C^1$ in neighbourhood of $Λ$ and any point $x\inΛ$ admits an $h$-unstable manifold $W^u(x)$. Using Bonatti's techniques, we prove that either there exists an integer $N$ such that $W^u(x)$ is included in $Fix(f^N)$ or there is a lower bound for th…
Let $BS(1,n) =< a, b \ | \ aba^{-1} = b^n >$ be the solvable Baumslag-Solitar group, where $ n\geq 2$. It is known that BS(1,n) is isomorphic to the group generated by the two affine maps of the real line: $f_0(x) = x + 1$ and $h_0(x) = nx $. This paper deals with the dynamics of actions of BS(1,n) on closed orientable surfaces. We exhibit a smooth BS(1,n) action without finite orbits on $\TT ^2$, we study the dynamical behavior of it and of its $C^1$-pertubations and we prove that it is not locally rigid. We develop a general dynamical study for faithful topological BS(1,n)-actions on closed …
An analog of the Baumslag-Solitar group BS(1,k) naturally acts on the sphere by conformal transformations. The action is not locally rigid in higher dimension, but exhibits a weak form of local rigidity. More precisely, any perturbation preserves a smooth conformal structure.
