Title: Piecewise hyperdefinable groups and rough approximate subgroups


Abstract: Piecewise hyperdefinable sets are natural generalisations of inter-
pretable sets. A standard example is the quotient of a subgroup generated by
a definable set over a type-definable normal subgroup. On the other hand, ap-
proximate subgroups are subsets of a group similar to subgroups up to a finite
discrete-like error. Rough approximate subgroups generalise approximate sub-
groups by allowing also a no-discrete-like error. The most relevant case of rough
approximate subgroups occurs in metric groups when the no-discrete error is
given by the metric.
Firstly, we will discuss the general structure of piecewise hyperdefinable groups.
Then, we will see an application to rough approximate subgroups and some combinatorial consequences in the particular case of metric groups. All this corresponds to my Ph.D. thesis which is divided into two papers: On piecewise hyperdefin-able groups (arXiv:2011.11669) and On metric approximate subgroups (joint with Hrushovski, soon in arxiv).