Table of Contents
Fetching ...

Orderable Thompson-like groups arising from Ore categories

Davide Perego, Matteo Tarocchi

TL;DR

The paper addresses the problem of orderability for fundamental groups of Thompson-like categories built as right-Ore indirect products $\mathcal{F}\bowtie\mathcal{G}$. It develops a general method using $\Phi$-discrete orderings on $\mathcal{G}$ compatible with a left- or bi-order on $\mathcal{F}$ to deduce that $\Pi(\mathcal{F}\bowtie\mathcal{G})$ is left- or bi-orderable, respectively. The authors apply this framework to digit rewriting systems, showing that groups of $\mathcal{G}$-fractions are left-orderable while purely braided fractions are bi-orderable, and derive new results such as the left-orderability of braided Houghton groups. The approach recovers known Thompson-like outcomes (Higman–Thompson, Houghton, and topological full groups) and yields new braided generalizations with clear implications for algebraic and dynamical properties of these groups.

Abstract

We give sufficient conditions for left- and bi-orderability of fundamental groups of Ore categories in terms of indirect factors, including Thompson groups and many of their generalizations. Besides recovering known results, we prove that braided groups of fractions of digit rewriting systems (which generalize braided Thompson groups to the wider setting of topological full groups of edge shift) are left-orderable, and that their purely braided counterparts are bi-orderable. In particular, the braided Houghton groups are left-orderable.

Orderable Thompson-like groups arising from Ore categories

TL;DR

The paper addresses the problem of orderability for fundamental groups of Thompson-like categories built as right-Ore indirect products . It develops a general method using -discrete orderings on compatible with a left- or bi-order on to deduce that is left- or bi-orderable, respectively. The authors apply this framework to digit rewriting systems, showing that groups of -fractions are left-orderable while purely braided fractions are bi-orderable, and derive new results such as the left-orderability of braided Houghton groups. The approach recovers known Thompson-like outcomes (Higman–Thompson, Houghton, and topological full groups) and yields new braided generalizations with clear implications for algebraic and dynamical properties of these groups.

Abstract

We give sufficient conditions for left- and bi-orderability of fundamental groups of Ore categories in terms of indirect factors, including Thompson groups and many of their generalizations. Besides recovering known results, we prove that braided groups of fractions of digit rewriting systems (which generalize braided Thompson groups to the wider setting of topological full groups of edge shift) are left-orderable, and that their purely braided counterparts are bi-orderable. In particular, the braided Houghton groups are left-orderable.

Paper Structure

This paper contains 21 sections, 8 theorems, 19 equations, 6 figures.

Key Result

Theorem 1.5

Given a right-Ore indirect product $\mathcal{F}\bowtie\mathcal{G}$, where $\mathcal{G}$ is a groupoid, we have the following.

Figures (6)

  • Figure 1: Diagrams for $\Pi(\mathcal{F}\bowtie\mathcal{P})$, where $\overline{i}$ denotes $\sigma^{-1}(i)$.
  • Figure 2: A morphism of $\mathcal{B}(\textcolor{red}{x}\textcolor{blue}{y}\textcolor{ForestGreen}{z}\textcolor{red}{x}, \textcolor{red}{x}\textcolor{red}{x}\textcolor{blue}{y}\textcolor{ForestGreen}{z})$ (colors for visual aid) and its image in $\mathrm{B}_4$ via the digit-forgetting functor $\Phi$.
  • Figure 3: A composition $g_2 g_1$ between a $g_1 \in \mathcal{B}(\textcolor{red}{x}\textcolor{blue}{y}\textcolor{ForestGreen}{z}\textcolor{red}{x}, \textcolor{red}{x}\textcolor{red}{x}\textcolor{blue}{y}\textcolor{ForestGreen}{z})$ and a $g_2 \in \mathcal{B}( \textcolor{red}{x}\textcolor{red}{x}\textcolor{blue}{y}\textcolor{ForestGreen}{z},\textcolor{red}{x}\textcolor{blue}{y}\textcolor{ForestGreen}{z}\textcolor{red}{x})$. The composition is a pure digital braid.
  • Figure 4: An element of $\Pi(\mathcal{FH}_3\bowtie\mathcal{B}, \textcolor{red}{y_1} \textcolor{blue}{y_2} \textcolor{ForestGreen}{y_3})$.
  • Figure 5: The generators that define $\mathcal{BH}$.
  • ...and 1 more figures

Theorems & Definitions (21)

  • Definition 1.1
  • Definition 1.2
  • Definition 1.3
  • Definition 1.4
  • Theorem 1.5
  • Corollary 1.6
  • Lemma 2.1
  • Remark 2.2
  • Remark 2.3
  • Remark 3.1
  • ...and 11 more