Related papers: Translation-finite sets

We prove that under [CH], finite compactifications of $\omega^* \setminus \{x\}$ are homeomorphic to $\omega^*$. Moreover, in each case, the remainder consists almost exclusively of $P$-points, apart from possibly one point. Similar results…

Consider an abelian variety $A$ defined over a global field $K$ and let $L/K$ be a $\Z_p^d$-extension, unramified outside a finite set of places of $K$, with $\Gal(L/K)=\Gamma$. Let $\Lambda(\Gamma):=\Z_p[[\Gamma]]$ denote the Iwasawa…

Let $\Gamma$ be a finite group acting on a Lie group $G$. We consider a class of group extensions $1 \to G \to \hat{G} \to \Gamma \to 1$ defined by this action and a $2$-cocycle of $\Gamma$ with values in the centre of $G$. We establish and…

In the following text we prove that for finite discrete $X$ with at least two elements and infinite $\Gamma$, the generalized shift transformation semigroup $({\mathcal S},X^\Gamma)$ is equicontinuous (resp. has at least an equicontinuous…

Under a suitable notion of equivalence of integral densities we prove a $\Gamma$-closure theorem for integral functionals: The limit of a sequence of $\Gamma$-convergent families of such functionals is again a $\Gamma$-convergent family.…

The problem of equivariant rigidity is the $\Gamma$-homeomorphism classification of $\Gamma$-actions on manifolds with compact quotient and with contractible fixed sets for all finite subgroups of $\Gamma$. In other words, this is the…

Given a countable abelian group $A$, we construct a row finite directed graph $\Gamma(A)$ such that the $K_{0}$-group of the graph $\textrm{C}^{\ast}$-algebra $\textrm{C}^{\ast}(\Gamma(A))$ is canonically isomorphic to $A$. Moreover, each…

A family $\mathcal L$ of subsets of a set $X$ is called linked if $A\cap B\ne\emptyset$ for any $A,B\in\mathcal L$. A linked family $\mathcal M$ of subsets of $X$ is maximal linked if $\mathcal M$ coincides with each linked family $\mathcal…

We give a practical computer algebra implementation of the Covering Lemma for finite transformation semigroups. The lemma states that given a surjective relational morphism $(X,S)\twoheadrightarrow(Y,T)$, we can establish emulation by a…

An $S_k$-set in a group $\Gamma$ is a set $A\subseteq\Gamma$ such that $\alpha_1\cdots\alpha_k=\beta_1\cdots\beta_k$ with $\alpha_i,\beta_i\in A$ implies $(\alpha_1,\ldots,\alpha_k)=(\beta_1,\ldots,\beta_k)$. An $S_k'$-set is a set such…

We introduce the space of infinite volume ends of a locally compact second countable (lcsc) space that admits a Radon measure. In certain cases, this coincides with the classical space of ends. Consider a discrete subgroup $\Gamma$ of a…

We prove that every finitely generated, residually finite group $G$ embeds into a finitely generated perfect branch group $\Gamma$ such that many properties of $G$ are preserved under this embedding. Among those are the properties of being…

We prove a conjecture of Emerton, Gee and Hellmann concerning the overconvergence of \'etale $(\varphi,\Gamma)$-modules in families parametrized by topologically finite type $\mathbb{Z}_{p}$-algebras. As a consequence, we deduce the…

Let $X$ be an unbounded metric space, $B(x,r) = \{y\in X: d(x,y) \leqslant r\}$ for all $x\in X$ and $r\geqslant 0$. We endow $X$ with the discrete topology and identify the Stone-\v{C}ech compactification $\beta X$ of $X$ with the set of…

Given a finite simplicial graph $\Gamma=(V,E)$ with a vertex-labelling $\varphi:V\rightarrow\left\{\text{non-trivial finitely generated groups}\right\}$, the graph product $G_\Gamma$ is the free product of the vertex groups $\varphi(v)$…

In this paper, we investigate finitely generated groups of isometries of CAT(0) spaces containing some central hyperbolic isometry, and study CAT(0) groups. We show that every CAT(0) group $\Gamma$ has the semi-direct product structure…

Let $\Gamma$ be a Zariski-dense subgroup of a reductive group $\mathbf{G}$ defined over a field $F$. Given a finite collection of finite subgroups $H_i$ ($i \in I$) of $\mathbf{G}(F)$ avoiding the center, we establish a criterion to ensure…

Let $M$ be a topological monoid with homotopy group completion $\Omega BM$. Under a strong homotopy commutativity hypothesis on $M$, we show that $\pi_k (\Omega BM)$ is the quotient of the monoid of free homotopy classes $[S^k, M]$ by its…

Let $\Gamma(S)$ be the pure mapping class group of a connected orientable surface $S$ of negative Euler characteristic. For ${\mathscr C}$ a class of finite groups, let $\hat{\pi}_1(S)^{\mathscr C}$ be the pro-${\mathscr C}$ completion of…

We prove finiteness and base change properties for analytic cohomology of families of $L$-analytic $(\varphi_L,\Gamma_L)$-modules parametrised by affinoid algebras in the sense of Tate. For technical reasons we work over a field $K$…