Geometric stability theory for $\mu$-structures

TL;DR

This paper develops a geometric stability theory for $$-structures, introducing $$-independence using Haar measure, and explores structural properties of compact groups and profinite examples.

Contribution

It introduces $$-structures and $$-independence, extending stability theory to locally compact group actions with new structural insights.

Findings

Defined $$-structures and $$-independence using Haar measure.

Established structural theorems for compact $$-structures.

Provided examples where $$-independence differs from previous notions.

Abstract

We introduce a notion of $\mu$-structures which are certain locally compact group actions and prove some counterparts of results on Polish structures(introduced by Krupinski in \cite{Kru5}). Using the Haar measure of locally compact groups, we introduce an independence, called $\mu$-independence, in $\mu$-structures having good properties. With this independence notion, we develop geometric stability theory for $\mu$-structures. Then we see some structural theorems for compact groups which are $\mu$-structure. We also give examples of profinite structures where $\mu$-independence is different from $nm$-independence introduced by Krupinski for Polish structures.