Maximal Finite Subgroups Research Articles

On the geometry of a Picard modular group

We study geometric properties of the action on the complex hyperbolic plane H^2_\mathbb{C} of the Picard modular group \Gamma=\mathrm{PU}(2,1,\mathcal{O}_7) , where \mathcal{O}_7 denotes the ring of algebraic integers in \mathbb{Q}(i\sqrt{7}) . We list conjugacy classes of maximal finite subgroups in \Gamma and give an explicit description of the Fuchsian subgroups that occur as stabilizers of mirrors of complex reflections in \Gamma . As an application, we describe an explicit torsion-free subgroup of index 336 in \Gamma .

On homotopy groups of EChG24∧A1

Let $A_1$ be any spectrum in a class of finite spectra whose mod $2$ cohomology is isomorphic to a free module of rank one over the subalgebra $\mathcal{A}(1)$ of the Steenrod algebra. Let $E_{C}$ be the second Morava-$E$ theory associated to a universal deformation of the formal completion of the supersingular elliptic curve $(C) : y^{2}+y = x^{3}$ defined over $\mathbb{F}_{4}$ and $G_{24}$ a maximal finite subgroup of automorphism group $\mathbb{S}_{C}$ of the formal completion of $C$. In this paper, we compute the homotopy groups of $E_{C}^{hG_{24}}\wedge A_1$ by means of the homotopy fixed point spectral sequence.

Formal solutions and the first‐order theory of acylindrically hyperbolic groups

We generalise Merzlyakov's theorem about the first-order theory of non-abelian free groups to all acylindrically hyperbolic groups. As a corollary, we deduce that if $G$ is an acylindrically hyperbolic group and $E(G)$ denotes the unique maximal finite normal subgroup of $G$, then $G$ and the HNN extension $G\dot{\ast}_{E(G)}$, which is simply the free product $G\ast\mathbb{Z}$ when $E(G)$ is trivial, have the same $\forall\exists$-theory. As a consequence, we prove the following conjecture, formulated by Casals-Ruiz, Garreta and de la Nuez Gonz\'alez: acylindrically hyperbolic groups have trivial positive theory. In particular, one recovers a result proved by Bestvina, Bromberg and Fujiwara, stating that, with only the obvious exceptions, verbal subgroups of acylindrically hyperbolic groups have infinite width.

On the equivariant K– and KO–homology of some special linear groups

We compute the equivariant $KO$-homology of the classifying space for proper actions of $\textrm{SL}_3(\mathbb{Z})$ and $\textrm{GL}_3(\mathbb{Z})$. We also compute the Bredon homology and equivariant $K$-homology of the classifying spaces for proper actions of $\textrm{PSL}_2(\mathbb{Z}[\frac{1}{p}])$ and $\textrm{SL}_2(\mathbb{Z}[\frac{1}{p}])$ for each prime $p$. Finally, we prove the Unstable Gromov-Lawson-Rosenberg Conjecture for a large class of groups whose maximal finite subgroups are odd order and have periodic cohomology.

ON THE DIMENSION OF GROUPS THAT SATISFY CERTAIN CONDITIONS ON THEIR FINITE SUBGROUPS

AbstractWe say a group G satisfies properties (M) and (NM) if every nontrivial finite subgroup of G is contained in a unique maximal finite subgroup, and every nontrivial finite maximal subgroup is self-normalizing. We prove that the Bredon cohomological dimension and the virtual cohomological dimension coincide for groups that admit a cocompact model for EG and satisfy properties (M) and (NM). Among the examples of groups satisfying these hypothesis are cocompact and arithmetic Fuchsian groups, one-relator groups, the Hilbert modular group, and 3-manifold groups.

Maximal Solvable Subgroups of Size 2 Integer Matrices

Studying the solvable subgroups of 2 × 2 matrix groups over Z, we find a maximal finite order primitive solvable subgroup of GL(2, Z) unique up to conjugacy in GL(2, Z). We describe the maximal primitive solvable subgroups whose maximal abelian normal divisor coincides with the group of units of a quadratic ring extension of Z. We prove that every real quadratic ring R determines h classes of conjugacy in GL(2, Z) of maximal primitive solvable subgroups of GL(2, Z), where h is the number of ideal classes in R.

BMS4 algebra, its stability and deformations

We continue analysis of [1] and study rigidity and stability of the mathfrak{b}mathfrak{m}{mathfrak{s}}_4 algebra and its centrally extended version widehat{mathfrak{bm}{mathfrak{s}}_4} . We construct and classify the family of algebras which appear as deformations of mathfrak{b}mathfrak{m}{mathfrak{s}}_4 and in general find the four-parameter family of algebras mathcal{W} (a, b; overline{a},overline{b} ) as a result of the stabilization analysis, where mathfrak{b}mathfrak{m}{mathfrak{s}}_4 = mathcal{W} (−1/2, −1/2; −1/2, −1/2). We then study the mathcal{W} (a, b; overline{a},overline{b} ) algebra, its maximal finite subgroups and stability for different values of the four parameters. We prove stability of the mathcal{W} (a, b; overline{a},overline{b} ) family of algebras for generic values of the parameters. For special cases of (a, b) = ( overline{a},overline{b} ) = (0, 0) and (a, b) = (0, −1), ( overline{a},overline{b} ) = (0, 0) the algebra can be deformed. In particular we show that centrally extended mathcal{W} (0, −1; 0, 0) algebra can be deformed to an algebra which has three copies of Virasoro as a subalgebra. We briefly discuss these deformed algebras as asymptotic symmetry algebras and the physical meaning of the stabilization and implications of our result.

Random Subgroups of Acylindrically Hyperbolic Groups and Hyperbolic Embeddings

Abstract Let $G$ be an acylindrically hyperbolic group. We consider a random subgroup $H$ in $G$, generated by a finite collection of independent random walks. We show that, with asymptotic probability one, such a random subgroup $H$ of $G$ is a free group, and the semidirect product of $H$ acting on $E(G)$ is hyperbolically embedded in $G$, where $E(G)$ is the unique maximal finite normal subgroup of $G$. Furthermore, with control on the lengths of the generators, we show that $H$ satisfies a small cancellation condition with asymptotic probability one.

Rationality Problem for Algebraic Tori

We give the complete stably rational classification of algebraic tori of dimensions $4$ and $5$ over a field $k$. In particular, the stably rational classification of norm one tori whose Chevalley modules are of rank $4$ and $5$ is given. We show that there exist exactly $487$ (resp. $7$, resp. $216$) stably rational (resp. not stably but retract rational, resp. not retract rational) algebraic tori of dimension $4$, and there exist exactly $3051$ (resp. $25$, resp. $3003$) stably rational (resp. not stably but retract rational, resp. not retract rational) algebraic tori of dimension $5$. We make a procedure to compute a flabby resolution of a $G$-lattice effectively by using the computer algebra system GAP. Some algorithms may determine whether the flabby class of a $G$-lattice is invertible (resp. zero) or not. Using the algorithms, we determine all the flabby and coflabby $G$-lattices of rank up to $6$ and verify that they are stably permutation. We also show that the Krull-Schmidt theorem for $G$-lattices holds when the rank $\leq 4$, and fails when the rank is $5$. Indeed, there exist exactly $11$ (resp. $131$) $G$-lattices of rank $5$ (resp. $6$) which are decomposable into two different ranks. Moreover, when the rank is $6$, there exist exactly $18$ $G$-lattices which are decomposable into the same ranks but the direct summands are not isomorphic. We confirm that $H^1(G,F)=0$ for any Bravais group $G$ of dimension $n\leq 6$ where $F$ is the flabby class of the corresponding $G$-lattice of rank $n$. In particular, $H^1(G,F)=0$ for any maximal finite subgroup $G\leq {\rm GL}(n,\mathbb{Z})$ where $n\leq 6$. As an application of the methods developed, some examples of not retract (stably) rational fields over $k$ are given.

Maximal finite abelian subgroups of E8

The maximal finite abelian subgroups, up to conjugation, of the simple algebraic group of type E8 over an algebraically closed field of characteristic 0 are computed. This is equivalent to the determination of the fine gradings on the simple Lie algebra of type E8 with trivial neutral homogeneous component. The Brauer invariant of the irreducible modules for graded semisimple Lie algebras plays a key role.

SOME INFINITE PERMUTATION GROUPS AND RELATED FINITE LINEAR GROUPS

This article began as a study of the structure of infinite permutation groups $G$ in which point stabilisers are finite and all infinite normal subgroups are transitive. That led to two variations. One is the generalisation in which point stabilisers are merely assumed to satisfy min-n, the minimal condition on normal subgroups. The groups $G$ are then of two kinds. Either they have a maximal finite normal subgroup, modulo which they have either one or two minimal nontrivial normal subgroups, or they have a regular normal subgroup $M$ which is a divisible abelian $p$-group of finite rank. In the latter case the point stabilisers are finite and act irreducibly on a $p$-adic vector space associated with $M$. This leads to our second variation, which is a study of the finite linear groups that can arise.

On the algebraic K-theory of the Hilbert modular group

We give formulas for the Whitehead groups and the rational $K$-theory groups of the (integer group ring of the) Hilbert modular group in terms of its maximal finite subgroups.

Maximal finite subgroups and minimal classes

We apply Voronoi's algorithm to compute representatives of the conjugacy classes of maximal finite subgroups of the unit group of a maximal order in some simple $\QQ $-algebra. This may be used to show in small cases that non-conjugate orders have non-isomorphic unit groups.

Lie-point symmetries of the discrete Liouville equation

The Liouville equation is well known to be linearizable by a point transformation. It has an infinite dimensional Lie point symmetry algebra isomorphic to a direct sum of two Virasoro algebras. We show that it is not possible to discretize the equation keeping the entire symmetry algebra as point symmetries. We do however construct a difference system approximating the Liouville equation that is invariant under the maximal finite subgroup . The invariant scheme is an explicit one and provides a much better approximation of exact solutions than a comparable standard (noninvariant) scheme and also than a scheme invariant under an infinite dimensional group of generalized symmetries.

On the number of finite subgroups of a lattice

We show that the number of conjugacy classes of maximal finite subgroups of a lattice in a semisimple Lie group is linearly bounded by the covolume of the lattice. Moreover, for higher rank groups, we show that this number grows sublinearly with covolume. We obtain similar results for isotropy subgroups in lattices. Geometrically, this yields volume bounds for the number of strata in the natural stratification of a finite-volume locally symmetric orbifold.

Locally parabolic subgroups in Coxeter groups of arbitrary ranks

Despite the significance of the notion of parabolic closures in Coxeter groups of finite ranks, the parabolic closure is not guaranteed to exist as a parabolic subgroup in a general case. In this paper, first we give a concrete example to clarify that the parabolic closure of even an irreducible reflection subgroup of countable rank does not necessarily exist as a parabolic subgroup. Then we propose a generalized notion of “locally parabolic closure” by introducing a notion of “locally parabolic subgroups”, which involves parabolic ones as a special case, and prove that the locally parabolic closure always exists as a locally parabolic subgroup. It is a subgroup of parabolic closure, and we give another example to show that the inclusion may be strict in general. Our result suggests that locally parabolic closure has more natural properties and provides more information than parabolic closure. We also give a result on maximal locally finite, locally parabolic subgroups in Coxeter groups, which generalizes a similar well-known fact on maximal finite parabolic subgroups.

Finite Symplectic Matrix Groups

This paper classifies the maximal finite subgroups of for 1⩽n⩽11 up to conjugacy in .

On the rank of compact p-adic Lie groups

The rank of a profinite group G is the basic invariant \({{\rm rk}(G):={\rm sup}\{d(H) \mid H \leq G\}}\), where H ranges over all closed subgroups of G and d(H) denotes the minimal cardinality of a topological generating set for H. A compact topological group G admits the structure of a p-adic Lie group if and only if it contains an open pro-p subgroup of finite rank. For every compact p-adic Lie group G one has rk(G) ≥ dim(G), where dim(G) denotes the dimension of G as a p-adic manifold. In this paper we consider the converse problem, bounding rk(G) in terms of dim(G). Every profinite group G of finite rank admits a maximal finite normal subgroup, its periodic radical π(G). One of our main results is the following. Let G be a compact p-adic Lie group such that π(G) = 1, and suppose that p is odd. If \(\{g \in G \mid g^{p-1}=1 \}\) is equal to {1}, then rk(G) = dim(G).

Higher real K -theories and topological automorphic forms

Given a maximal finite subgroup G of the nth Morava stabilizer group at a prime p, we address the question: is the associated higher real K-theory EO_n a summand of the K(n)-localization of a TAF-spectrum associated to a unitary similitude group of type U(1,n-1)? We answer this question in the affirmative for p in {2, 3, 5, 7} and n = (p-1)p^{r-1} for a maximal finite subgroup containing an element of order p^r. We answer the question in the negative for all other odd primary cases. In all odd primary cases, we to give an explicit presentation of a global division algebra with involution in which the group G embeds unitarily.

Classification of the virtually cyclic subgroups of the pure braid groups of the projective plane

We classify the (finite and infinite) virtually cyclic subgroups of the pure braid groups $P_{n}(RP^2)$ of the projective plane. The maximal finite subgroups of $P_{n}(RP^2)$ are isomorphic to the quaternion group of order $8$ if $n=3$, and to $\Z_{4}$ if $n\geq 4$. Further, for all $n\geq 3$, up to isomorphism, the following groups are the infinite virtually cyclic subgroups of $P_{n}(RP^2)$: $\Z$, $\Z_{2} \times \Z$ and the amalgamated product $\Z_{4} \ast_{\Z_{2}} \Z_{4}$.