A Hurewicz-type formula for asymptotic-dimension-lowering symmetric quasimorphisms of countable approximate groups

TL;DR

This paper extends a classical Hurewicz-type formula to symmetric unital quasimorphisms of countable approximate groups, relating their asymptotic dimensions and defect sets.

Contribution

It establishes a new asymptotic-dimension-lowering formula for symmetric quasimorphisms of approximate groups, generalizing known results for group homomorphisms.

Findings

Proves an inequality relating asymptotic dimensions of approximate groups and their quasimorphisms.

Introduces a formula involving the defect set of the quasimorphism.

Extends classical dimension formulas to the setting of approximate groups and quasimorphisms.

Abstract

A well-known Hurewicz-type formula for asymptotic-dimension-lowering group homomorphisms, due to A. Dranishnikov and J. Smith, states that if $f:G\to H$ is a group homomorphism, then $\mathrm{asdim} G \leq \mathrm{asdim} H + \mathrm{asdim} (\ker f)$. In this paper we establish a similar formula for certain quasimorphisms of countable approximate groups: if $(\Xi, \Xi^\infty)$ and $(\Lambda, \Lambda^\infty)$ are countable approximate groups and if $f:(\Xi, \Xi^\infty)\to (\Lambda,\Lambda^\infty)$ is a symmetric unital quasimorphism, we show that $\mathrm{asdim} \Xi \leq \mathrm{asdim} \Lambda + \mathrm{asdim} (f^{-1}\!(D(f)))$, where $D(f)$ is the defect set of $f$.