Related papers: Group actions on contractible $2$-complexes II

For a finite group $G$ not of prime power order, Oliver (1996) has answered the question which manifolds occur as the fixed point sets of smooth actions of $G$ on disks (resp., Euclidean spaces). We extend Oliver's result to compact (resp.,…

Let $X$ be a compact smooth manifold, possibly with boundary. Denote by $X_1,\dots,X_r$ the connected components of $X$. Assume that the integral cohomology of $X$ is torsion free and supported in even degrees. We prove that there exists a…

Let $\F_q$ be the finite field with $q$ elements, $p=\Char \F_q$. The group $\GL_2(\F_q)$ acts naturally in the set of irreducible polynomials over $\F_q$ of degree at least $2$. In this paper we are interested in the characterization and…

We prove that for every compactum $X$ and every integer $n \geq 2$ there are a compactum $Z$ of $\dim \leq n+1$ and a surjective $UV^{n-1}$-map $r: Z \lo X$ such that for every abelian group $G$ and every integer $k \geq 2$ such that…

In this paper we classify all finite 2-groups of class 2 for which every automorphism of order 2 leaving the Frattini subgroup elementwise fixed is inner. We prove that every such group G is isomorphic to Q(n; r) = <a, b| a^{2n}= b^{2r}= 1;…

The main theorem is that if K is a finite CW complex with finite fundamental group G and universal cover homotopy equivalent to a product of spheres X, then G acts smoothly and freely on X x S^n for any n greater than or equal to the…

We prove a local-to-global result for fixed points of groups acting on affine buildings (possibly non-discrete) of types $\tilde{A}_2$ or $\tilde{C}_2$. In the discrete case, our theorem establishes the corresponding special cases of a…

We prove that every countable family of countable acylindrically hyperbolic groups has a common finitely generated acylindrically hyperbolic quotient. As an application, we obtain an acylindrically hyperbolic group $Q$ with strong fixed…

Suppose that $\{T_{a}:a\in G\}$ is a group of uniformly $L$-Lipschitzian mappings with bounded orbits $\left\{T_{a}x:a\in G\right\}$ acting on a hyperconvex metric space $M$. We show that if $L<\sqrt{2}$, then the set of common fixed points…

Let $K$ be an algebraically closed field. Let $G$ be a non-trivial connected unipotent group, which acts effectively on an affine variety $X.$ Then every non-empty component $R$ of the set of fixed points of $G$ is a $K$-uniruled variety,…

Every nonabelian finite simple group of rank $n$ over a field of size $q$, with the possible exception of the Ree groups $^2G_2(3^{2e+1})$, has a presentation with a bounded number of generators and relations and total length $O(\log n…

This paper explores a natural action of the group $\mathrm{PGL}_2(\mathbb F_q)$ on the set of monic irreducible polynomials of degree at least two over a finite field $\mathbb F_q$. Our main results deal with the existence and number of…

We investigate the representation of the symmetric group afforded by the action on its conjugacy class of fixed point free involutions, over an algebraically closed field of finite characteristic p. We discuss the general form of the set of…

Consider a finite l-group acting on the affine space of dimension n over a field k, whose characteristic differs from l. We prove the existence of a fixed point, rational over k, in the following cases: --- The field k is p-special for some…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

We prove that if a finite group $G$ acts smoothly on a manifold $M$ so that all the isotropy subgroups are abelian groups with rank $\leq k$, then $G$ acts freely and smoothly on $M \times \bbS^{n_1} \times...\times \bbS^{n_k}$ for some…

The special linear group G=SL_n(Z[x1,...,xk]) (n at least 3 and k finite) is called the universal lattice. Let n be at least 4, p be any real number in (1,\infty). The main result is the following: any finite index subgroup of G has the…

We show that every effectively closed action of a finitely generated group $G$ on a closed subset of $\{0,1\}^{\mathbb{N}}$ can be obtained as a topological factor of the $G$-subaction of a $(G \times H_1 \times H_2)$-subshift of finite…

We study a class of finite groups $G$ which behave similarly to elementary abelian $p$-groups with $p$ prime, that is, there exists a subgroup $N$ such that all elements of $G\setminus N$ are conjugate or inverse-conjugate under $\Aut(G)$.…

We prove the following result. Let q be a power of an odd prime and let Sp(2m,q) denote the symplectic group of degree 2m over F_q. Then if q=1 mod 4, no solvable subgroup of Sp(2m,q) acts transitively on a complete symplectic spread…