Table of Contents
Fetching ...

Expansiveness of vertical subgroups of the Heisenberg group

Michał Prusik

Abstract

In the paper we study expansiveness along distinguished subsets in the case of a continuous action of the discrete Heisenberg group on a compact metric space $(\mathbb X,ρ)$. Transferring the ideas proposed by Boyle and Lind for continuous actions of $\mathbb{Z}^D$, we embed the acting group in the (continuous) $(2D+1)$-dimensional Heisenberg group $\mathcal H$ and define expansive subsets of $\mathcal H$. We focus on the expansiveness of vertical subgroups of the Heisenberg group. In particular, we show that, if only the space $\mathbb X$ is infinite, the center of $\mathcal H$ cannot be expansive, and that there always exists at least one nonexpansive $2D$-dimensional vertical subgroup.

Expansiveness of vertical subgroups of the Heisenberg group

Abstract

In the paper we study expansiveness along distinguished subsets in the case of a continuous action of the discrete Heisenberg group on a compact metric space . Transferring the ideas proposed by Boyle and Lind for continuous actions of , we embed the acting group in the (continuous) -dimensional Heisenberg group and define expansive subsets of . We focus on the expansiveness of vertical subgroups of the Heisenberg group. In particular, we show that, if only the space is infinite, the center of cannot be expansive, and that there always exists at least one nonexpansive -dimensional vertical subgroup.

Paper Structure

This paper contains 5 sections, 32 theorems, 22 equations.

Key Result

Lemma 2.3

Let $A\subset \mathcal{H}$ be such that $A\mathcal{Z} = A$. Then for any $g\in \mathcal{H}$ we have $Ag = gA$. Moreover, for any $g_1,g_2\in \mathcal{H}$ we have $Ag_1g_2 = Ag_2g_1$. $\blacktriangleleft$$\blacktriangleleft$

Theorems & Definitions (73)

  • Definition 2.1
  • Definition 2.2
  • Lemma 2.3
  • proof
  • Lemma 2.4
  • proof
  • Definition 2.5
  • Definition 2.6
  • Proposition 2.7
  • proof
  • ...and 63 more