2026-07-17 | | Total: 8
A positive integer $m$ is termed a \emph{Hall number} if every finite group $G$ whose order is precisely divisible by $m$ possesses a Hall subgroup of order $m$. Seeking generalizations of Sylow's theorem and Hall's theorem for finite solvable groups, Jiping Zhang asked for a full classification of Hall numbers, a problem recently solved by Guo, Hu and Li. Inspired by Zhang's problem, Guohua Qian put forward an analogous problem on a full classification of Hall complement numbers. Recall that a positive integer $m$ is called a \emph{Hall complement number} provided that every finite group $G$ with $m$ precisely dividing $|G|$ admits a Hall subgroup of order $|G|/m$. In the present paper, we prove that every Hall complement number is either $1$ or of the form $4k+2$ for some non-negative integer $k$, thus answering Qian's problem.
A new kernel method is introduced for isometric actions of groups on real or complex hyperbolic spaces that allows us to classify such representations for $\mathrm{PSL}_2(\R)$ and give sufficient and necessary conditions for two such representations of any group to be conjugated.
For each $n \geq 2$, we construct an ascending chain of irreducible lattices in the product of $n$ homogeneous trees. Moreover, for each pair of integers $m_1, m_2 \geq 1$, we define explicitly a bi-reversible automaton $\mathcal B$ such that the group $G_{\mathcal B}$ defined by the automaton $\mathcal B$ has finiteness length $m_1$ (i.e. it is of type $\mathrm{F}_{m_1}$ but not of type $\mathrm{FP}_{m_1+1}$), and the group $G_{\mathcal B^*}$ defined by the dual automaton has finiteness length $m_2$. Both constructions rely on the consideration of $S$-arithmetic groups in the affine group of a global function field.
In this paper, we study the primitive actions of almost simple groups with socle \(E_7(q)\) or \(E_8(q)\) on an \(s\)-arc-transitive digraph. Our motivation goes back to the question of whether \(s\) is bounded above for finite connected \(G\)-vertex-primitive \(s\)-arc-transitive digraphs that are not directed cycles. The question has been reduced by Giudici and Xia to the case where \(G\) is almost simple. This work succeeds our 2025 paper (Yin and Chen), which addressed \({}^3\!D_4(q)\), \(G_2(q)\), \({}^2\!F_4(q)'\), \(F_4(q)\), \(E_6(q)\), and \({}^2\!E_6(q)\). Together with Chen, Giudici, and Praeger's work on \({}^2\!B_2(q)\) and \({}^2\!G_2(q)\), it answers the question for all exceptional groups.
We prove that, for $n \ge 5$, an interval group associated with a proper quasi-Coxeter element of the Coxeter group of type $D_n$ admits no surjective homomorphism onto the braid group on $n$ strands. In particular, this provides an alternative proof that such a group is not isomorphic to the Artin group of type $D_n$. The proof relies on techniques from the theory of mapping class groups, and a large part of the paper provides an exposition of this theory for non-specialists.
We classify all 141 finite-volume hyperbolic Coxeter five-dimensional polytopes with eight facets, of which 125 are noncompact. Using maximal-cusp density and a noncompact analog of Bogachev-Douba-Raimbault's argument, we construct infinitely many pairwise incommensurable noncompact Coxeter polytopes in dimensions 4, 5, 6, 7, and 9, with the number of commensurability classes growing at least exponentially in volume.
When $X$ is a locally compact Euclidean building, the isometry group of $X$ acts by homeomorphisms on the space of $k$-simplices in the visual boundary of $X$. We consider perturbations of these actions for discrete groups of isometries acting with compact quotient on $X$, showing that all small enough perturbations are semi-conjugate to the original action. This proves in particular that, when $Q$ is any parabolic subgroup in a semisimple $p$-adic Lie group $G$, the induced action of a cocompact lattice in $G$ has a topologically stable action on $G/Q$.
For every $N\ge 2$, we prove that the Bergman metric on the regular locus of a finite ball quotient $\mathbb{B}^N/Γ$, where $Γ\subset \mathrm{U}(N)$ is finite and fixed-point-free, is Kähler-Einstein if and only if $Γ$ is trivial. Consequently, if $Ω$ is an $N$-dimensional normal Stein space with isolated singularities and compact, smooth, strongly pseudoconvex boundary admitting a real-algebraic CR realization, then the Bergman metric on $Ω_{\mathrm{reg}}$ is Kähler-Einstein if and only if $Ω$ is biholomorphic to $\mathbb{B}^N$. This proves an algebraic version of the Cheng-Huang-Xiao conjecture in every complex dimension $N\ge 2$.