Related papers: Soficity for group actions on sets and application…
In this paper, we construct a semigroup associated to an action of countable discrete group on a compact Hausdorff space, that can be regarded as a higher dimensional generalization of the type semigroup. Using this generalized type…
We use partial actions, as formalized by Exel, to construct various commensurating actions. We use this in the context of groups piecewise preserving a geometric structure, and we interpret the transfixing property of these commensurating…
Let $f:M\to \mathbb{R}$ be a Morse function on a smooth closed surface, $V$ be a connected component of some critical level of $f$, and $\mathcal{E}_V$ be its atom. Let also $\mathcal{S}(f)$ be a stabilizer of the function $f$ under the…
A generalized set theory (GST) is like a standard set theory but also can have non-set structured objects that can contain other structured objects including sets. This paper presents Isabelle/HOL support for GSTs, which are treated as type…
We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable…
We prove several results asserting that the action of a Banach-Lie group on Hilbert spaces of holomorphic sections of a holomorphic Hilbert space bundle over a complex Banach manifold is multiplicity free. These results require the…
A group action is said to be highly-transitive if it is $k$-transitive for every $k \ge 1$. The main result of this thesis is the following: Main Theorem: The fundamental group of a closed, orientable surface of genus > 1 admits a…
We prove a new criterion for the solvability of the finite groups, depending on the function $\psi_k(G)$ which is defined as the sum of $k$-th powers of the element orders of $G$. We show that our result can be used to show the solvability…
In this paper, we show that Cremona groups are sofic. We actually introduce a quantitative notion of soficity, called sofic profile, and show that the group of birational transformations of a d-dimensional variety has sofic profile at most…
In recent years, knapsack problems for (in general non-commutative) groups have attracted attention. In this paper, the knapsack problem for wreath products is studied. It turns out that decidability of knapsack is not preserved under…
The aim of this manuscript is to study some local properties of the topological entropy of a free semigroup action. In order to do that we focus on the set of entropy points of a free semigroup action, show that this set carries the full…
We give the basic definitions of group actions on (algebraic) stacks, and prove the existence of fixed points and quotients as (algebraic) stacks.
We prove that on a metrizable, compact, zero-dimensional space every free action of an amenable group is measurably isomorphic to a minimal $G$-action with the same, i.e. affinely homeomorphic, simplex of measures.
We prove that every face in the simplex of invariant measures on a zero-dimensional dynamical system with free action of an amenable group $G$ can be modeled as the entire simplex of invariant measures on some other zero-dimensional…
In this work the author studies the property close to property of order separability.
This thesis aims to serve as an introduction to the theory of quasitilings for amenable groups. In order to showcase the power of this theory, we focus on the study of the Sofic L\"uck Approximation Conjecture, which can be proven for…
We identify natural conditions for a countable group acting on a countable tree which imply that the orbit equivalence relation of the induced action on the Gromov boundary is Borel hyperfinite. Examples of this condition include…
We study several properties of expansive group actions on metric spaces and obtain relation between expansivity for subgroup and group actions. Through counter examples necessity of hypothesis are justified. We also study expansivity of…
We give a precise definition of ``generic-case complexity'' and show that for a very large class of finitely generated groups the classical decision problems of group theory - the word, conjugacy and membership problems - all have…
Based mainly on examples of interest in mechanics, we define the notion of a polite group action. One may view this as not only trying to give a more general notion than properness of a group action, but also to more fully understand the…