Related papers: Equivalence Relations and Determinacy

We study properties of C*-algebraic deformations of homogeneous spaces $G/\Gamma$ which are equivariant in the sense that they preserve the natural action of $G$ by left translation. The center is shown to be isomorphic to $C(G/G_\rho^0)$…

We have defined and established a theory of cofinite connectedness of a cofinite graph. Many of the properties of connectedness of topological spaces have analogs for cofinite connectedness. We have seen that if $G$ is a cofinite group and…

A decidability proof for bisimulation equivalence of first-order grammars is given. It is an alternative proof for a result by S\'enizergues (1998, 2005) that subsumes his affirmative solution of the famous decidability question for…

Following methods of Bannon-Marrakchi-Ozawa, we show that for coamenable inclusion $\mathcal{S}\leq \mathcal{R}$ of ergodic, probability measure-preserving relations, we have that $\mathcal{R}$ is strongly ergodic if and only if…

Let $G$ be a connected complex semisimple Lie group, $\Gamma$ be a cocompact, irreducible and torsionless lattice in $G$ and $K$ be a maximal compact subgroup of $G$. Assume $\Gamma$ acts by left multiplication and $K$ acts by right…

We consider equivalence relations among smooth map germs with respect to geometry of G-structures on the target space germ. These equivalence relations are natural generalization of right-left equivalence (i.e., A-equivalence) in the sense…

If $\Gamma$ is a discrete subgroup of $PSL(3,\Bbb{C})$, it is determined the equicontinuity region $Eq(\Gamma)$ of the natural action of $\Gamma$ on $\Bbb{P}^2_\Bbb{C}$. It is also proved that the action restricted to $Eq(\Gamma)$ is…

A locally compact group $G$ is a cocompact envelope of a group $\Gamma$ if $G$ contains a copy of $\Gamma$ as a discrete and cocompact subgroup. We study the problem that takes two finitely generated groups $\Gamma,\Lambda$ having a common…

This paper is a journal counterpart to our FOCS 2021 paper, in which we initiate the study of property testing problems concerning a finite system of relations $E$ between permutations, generalizing the study of stability in permutations.…

For a topological group $G$, amenability can be characterized by the amenability of the convolution Banach algebra $L^1(G)$. Here a Banach algebra $A$ is called amenable if every bounded derivation from $A$ into any dual--type…

We prove undecidability and pinpoint the place in the arithmetical hierarchy for commutative action logic, that is, the equational theory of commutative residuated Kleene lattices (action lattices), and infinitary commutative action logic,…

Let $(M,\tau,\sigma,\Gamma)$ be a (finite) von Neumann dynamical system and let $N$ be a $\Gamma$-invariant unital von Neumann subalgebra of $M$. If $V\subset L^2(M)$ is a right $N$-submodule whose projection $p_V$ has finite trace in $<…

For a graph $G$, the $\gamma$-graph of $G$, $G(\gamma)$, is the graph whose vertices correspond to the minimum dominating sets of $G$, and where two vertices of $G(\gamma)$ are adjacent if and only if their corresponding dominating sets in…

Let Gamma be a finitely generated, amenable group. Using an idea of E Ghys, we prove that if Gamma has a nontrivial, orientation-preserving action on the real line, then Gamma has an infinite, cyclic quotient. (The converse is obvious.)…

The main results in this thesis deal with the representation growth of certain classes of groups. In chapter $1$ we present the required preliminary theory. In chapter $2$ we introduce the Congruence Subgroup Problem for an algebraic group…

We introduce the notion of a strong equivalence between graded algebras and prove that any partially-strongly-graded algebra by a group $G$ is strongly-graded-equivalent to the skew group algebra by a product partial action of $G$. As to a…

The following result is proven. Let $G_1 \cc^{T_1} (X_1,\mu_1)$ and $G_2 \cc^{T_2} (X_2,\mu_2)$ be orbit-equivalent, essentially free, probability measure preserving actions of countable groups $G_1$ and $G_2$. Let $H$ be any countable…

Given a Polish group $G$, let $E(G)$ be the right coset equivalence relation $G^\omega/c(G)$, where $c(G)$ is the group of all convergent sequences in $G$. The connected component of the identity of a Polish group $G$ is denoted by $G_0$.…

We prove a large deviation principle for a sequence of point processes defined by Gibbs probability measures on a Polish space. This is obtained as a consequence of a more general Laplace principle for the non-normalized Gibbs measures. We…

Let $K$ be a field, $\Gamma $ a finite group of field automorphisms of $K$, $F$ the $\Gamma $-fixed field in $K$ and $G\leq $GL$_v(K)$ a finite matrix group. Then the action of $\Gamma $ defines a grading on the symmetric algebra of the…