In 1945–1946, C. L. Siegel proved that an $n$-dimensional lattice $\unicode[STIX]{x1D6EC}$ of determinant $\text{det}(\unicode[STIX]{x1D6EC})$ has at most $m^{n^{2}}$ different sublattices of determinant $m\cdot \text{det}(\unicode[STIX]{x1D6EC})$. In 1997, the exact number of the different sublattices of index $m$ was determined by Baake. We present a systematic treatment for counting the sublattices and derive a formula for the number of the sublattice classes under unimodular equivalence.

It is well known that the pair $(\mathcal {S}_n,\mathcal {S}_{n-1})$ is a Gelfand pair where $\mathcal {S}_n$ is the symmetric group on n elements. In this paper, we prove that if G is a finite group then $(G\wr \mathcal {S}_n, G\wr \mathcal {S}_{n-1}),$ where $G\wr \mathcal {S}_n$ is the wreath product of G by $\mathcal {S}_n,$ is a Gelfand pair if and only if G is abelian.

We completely describe the algebraic part of the rational cohomology of the Torelli groups of the manifolds $\#^{g}S^{n}\times S^{n}$ relative to a disc in a stable range, for $2n\geqslant 6$. Our calculation is also valid for $2n=2$ assuming that the rational cohomology groups of these Torelli groups are finite-dimensional in a stable range.

For a character $\unicode[STIX]{x1D712}$ of a finite group $G$, the co-degree of $\unicode[STIX]{x1D712}$ is $\unicode[STIX]{x1D712}^{c}(1)=[G:\text{ker}\unicode[STIX]{x1D712}]/\unicode[STIX]{x1D712}(1)$. We study finite groups whose co-degrees of nonprincipal (complex) irreducible characters are divisible by a given prime $p$.

We enumerate factorizations of a Coxeter element in a well-generated complex reflection group into arbitrary factors, keeping track of the fixed space dimension of each factor. In the infinite families of generalized permutations, our approach is fully combinatorial. It gives results analogous to those of Jackson in the symmetric group and can be refined to encode a notion of cycle type. As one application of our results, we give a previously overlooked characterization of the poset of W-noncrossing partitions.

We construct total orders on the vertex set of an oriented tree. The orders are based only on up-down counts at the interior vertices and the edges along the unique geodesic from a given vertex to another.

As an application, we provide a short proof (modulo Bass–Serre theory) of Vinogradov’s result that the free product of left-orderable groups is left-orderable.

We study exceptional Jordan algebras and related exceptional group schemes over commutative rings from a geometric point of view, using appropriate torsors to parametrize and explain classical and new constructions, and proving that over rings, they give rise to nonisomorphic structures.

We begin by showing that isotopes of Albert algebras are obtained as twists by a certain $\mathrm F_4$ -torsor with total space a group of type $\mathrm E_6$ and, using this, that Albert algebras over rings in general admit nonisomorphic isotopes even in the split case, as opposed to the situation over fields. We then consider certain $\mathrm D_4$ -torsors constructed from reduced Albert algebras, and show how these give rise to a class of generalised reduced Albert algebras constructed from compositions of quadratic forms. Showing that this torsor is nontrivial, we conclude that the Albert algebra does not uniquely determine the underlying composition, even in the split case. In a similar vein, we show that a given reduced Albert algebra can admit two coordinate algebras which are nonisomorphic and have nonisometric quadratic forms, contrary, in a strong sense, to the case over fields, established by Albert and Jacobson.

We prove in generic situations that the lattice in a tame type induced by the completed cohomology of a $U(3)$-arithmetic manifold is purely local, that is, only depends on the Galois representation at places above $p$. This is a generalization to $\text{GL}_{3}$ of the lattice conjecture of Breuil. In the process, we also prove the geometric Breuil–Mézard conjecture for (tamely) potentially crystalline deformation rings with Hodge–Tate weights $(2,1,0)$ as well as the Serre weight conjectures of Herzig [‘The weight in a Serre-type conjecture for tame $n$-dimensional Galois representations’, Duke Math. J. 149(1) (2009), 37–116] over an unramified field extending the results of Le et al. [‘Potentially crystalline deformation 3985 rings and Serre weight conjectures: shapes and shadows’, Invent. Math. 212(1) (2018), 1–107]. We also prove results in modular representation theory about lattices in Deligne–Lusztig representations for the group $\text{GL}_{3}(\mathbb{F}_{q})$.

We introduce a new kind of action of a relatively hyperbolic group on a $\text{CAT}(0)$ cube complex, called a relatively geometric action. We provide an application to characterize finite-volume Kleinian groups in terms of actions on cube complexes, analogous to the results of Markovic and Haïssinsky in the closed case.

We prove a representation stability result for the codimension-one cohomology of the level-three congruence subgroup of $\mathbf{SL}_{n}(\mathbb{Z})$. This is a special case of a question of Church, Farb, and Putman which we make more precise. Our methods involve proving finiteness properties of the Steinberg module for the group $\mathbf{SL}_{n}(K)$ for $K$ a field. This also lets us give a new proof of Ash, Putman, and Sam’s homological vanishing theorem for the Steinberg module. We also prove an integral refinement of Church and Putman’s homological vanishing theorem for the Steinberg module for the group $\mathbf{SL}_{n}(\mathbb{Z})$.

This paper continues the investigation of the structure of uncountable groups whose large subgroups are normal. Moreover, we describe the behaviour of uncountable groups in which every large subgroup is close to normal with the only obstruction of a finite section.

For a given prime $p$, we investigate the finite groups all of whose 2-minimal $p$-subgroups are complemented.

We define and study cyclotomic quotients of affine Hecke algebras of type B. We establish an isomorphism between direct sums of blocks of these algebras and a generalization, for type B, of cyclotomic quiver Hecke algebras, which are a family of graded algebras closely related to algebras introduced by Varagnolo and Vasserot. Inspired by the work of Brundan and Kleshchev, we first give a family of isomorphisms for the corresponding result in type A which includes their original isomorphism. We then select a particular isomorphism from this family and use it to prove our result.

We prove a combination theorem for hyperbolic groups, in the case of groups acting on complexes displaying combinatorial features reminiscent of non-positive curvature. Such complexes include for instance weakly systolic complexes and C'(1/6) small cancellation polygonal complexes. Our proof involves constructing a potential Gromov boundary for the resulting groups and analyzing the dynamics of the action on the boundary in order to use Bowditch’s characterisation of hyperbolicity. A key ingredient is the introduction of a combinatorial property that implies a weak form of non-positive curvature, and which holds for large classes of complexes.

As an application, we study the hyperbolicity of groups obtained by small cancellation over a graph of hyperbolic groups.

In the present paper, which is a direct sequel of our paper [14] joint with Roozbeh Hazrat, we prove an unrelativized version of the standard commutator formula in the setting of Chevalley groups. Namely, let Φ be a reduced irreducible root system of rank ≥ 2, let R be a commutative ring and let I,J be two ideals of R. We consider subgroups of the Chevalley group G(Φ, R) of type Φ over R. The unrelativized elementary subgroup E(Φ, I) of level I is generated (as a group) by the elementary unipotents xα(ξ), α ∈ Φ, ξ ∈ I, of level I. Obviously, in general, E(Φ, I) has no chance to be normal in E(Φ, R); its normal closure in the absolute elementary subgroup E(Φ, R) is denoted by E(Φ, R, I). The main results of [14] implied that the commutator [E(Φ, I), E(Φ, J)] is in fact normal in E(Φ, R). In the present paper we prove an unexpected result, that in fact [E(Φ, I), E(Φ, J)] = [E(Φ, R, I), E(Φ, R, J)]. It follows that the standard commutator formula also holds in the unrelativized form, namely [E(Φ, I), C(Φ, R, J)] = [E(Φ, I), E(Φ, J)], where C(Φ, R, I) is the full congruence subgroup of level I. In particular, E(Φ, I) is normal in C(Φ, R, I).

If $f:\tilde{\unicode[STIX]{x1D6E4}}\rightarrow \unicode[STIX]{x1D6E4}$ is a covering map between connected graphs, and $H$ is the subgroup of $\unicode[STIX]{x1D70B}_{1}(\unicode[STIX]{x1D6E4},v)$ used to construct the cover, then it is well known that the group of deck transformations of the cover is isomorphic to $N(H)/H$, where $N(H)$ is the normalizer of $H$ in $\unicode[STIX]{x1D70B}_{1}(\unicode[STIX]{x1D6E4},v)$. We show that an entirely analogous result holds for immersions between connected graphs, where the subgroup $H$ is replaced by the closed inverse submonoid of the inverse monoid $L(\unicode[STIX]{x1D6E4},v)$ used to construct the immersion. We observe a relationship between group actions on graphs and deck transformations of graph immersions. We also show that a graph immersion $f:\tilde{\unicode[STIX]{x1D6E4}}\rightarrow \unicode[STIX]{x1D6E4}$ may be extended to a cover $g:\tilde{\unicode[STIX]{x1D6E5}}\rightarrow \unicode[STIX]{x1D6E4}$ in such a way that all deck transformations of $f$ are restrictions of deck transformations of $g$.

Let G be a finite group and σ = {σi| i ∈ I} some partition of the set of all primes $\Bbb{P}$ . Then G is said to be: σ-primary if G is a σi-group for some i; σ-nilpotent if G = G1× … × Gt for some σ-primary groups G1, … , Gt; σ-soluble if every chief factor of G is σ-primary. We use $G^{{\mathfrak{N}}_{\sigma}}$ to denote the σ-nilpotent residual of G, that is, the intersection of all normal subgroups N of G with σ-nilpotent quotient G/N. If G is σ-soluble, then the σ-nilpotent length (denoted by lσ (G)) of G is the length of the shortest normal chain of G with σ-nilpotent factors. Let Nσ (G) be the intersection of the normalizers of the σ-nilpotent residuals of all subgroups of G, that is,

$${N_\sigma }(G) = \bigcap\limits_{H \le G} {{N_G}} ({H^{{_\sigma }}}).$$

Then the subgroup Nσ (G) is called the σ-nilpotent norm of G. We study the relationship of the σ-nilpotent length with the σ-nilpotent norm of G. In particular, we prove that the σ-nilpotent length of a σ-soluble group G is at most r (r > 1) if and only if lσ (G/ Nσ (G)) ≤ r.

This work is concerned with Bielawski’s hyperkähler slices in the cotangent bundles of homogeneous affine varieties. One can associate such a slice with the data of a complex semisimple Lie group $G$, a reductive subgroup $H\subseteq G$, and a Slodowy slice $S\subseteq \mathfrak{g}:=\text{Lie}(G)$, defining it to be the hyperkähler quotient of $T^{\ast }(G/H)\times (G\times S)$ by a maximal compact subgroup of $G$. This hyperkähler slice is empty in some of the most elementary cases (e.g., when $S$ is regular and $(G,H)=(\text{SL}_{n+1},\text{GL}_{n})$, $n\geqslant 3$), prompting us to seek necessary and sufficient conditions for non-emptiness.

We give a spherical-geometric characterization of the non-empty hyperkähler slices that arise when $S=S_{\text{reg}}$ is a regular Slodowy slice, proving that non-emptiness is equivalent to the so-called $\mathfrak{a}$-regularity of $(G,H)$. This $\mathfrak{a}$-regularity condition is formulated in several equivalent ways, one being a concrete condition on the rank and complexity of $G/H$. We also provide a classification of the $\mathfrak{a}$-regular pairs $(G,H)$ in which $H$ is a reductive spherical subgroup. Our arguments make essential use of Knop’s results on moment map images and Losev’s algorithm for computing Cartan spaces.

We enumerate the number of isoclinism classes of semi-extraspecial p-groups with derived subgroup of order p2. To do this, we enumerate GL (2, p)-orbits of sets of irreducible, monic polynomials in 𝔽p[x]. Along the way, we also provide a new construction of an infinite family of semi-extraspecial groups as central quotients of Heisenberg groups over local algebras.

We formulate a $q$-Schur algebra associated with an arbitrary $W$-invariant finite set $X_{\text{f}}$ of integral weights for a complex simple Lie algebra with Weyl group $W$. We establish a $q$-Schur duality between the $q$-Schur algebra and Hecke algebra associated with $W$. We then realize geometrically the $q$-Schur algebra and duality and construct a canonical basis for the $q$-Schur algebra with positivity. With suitable choices of $X_{\text{f}}$ in classical types, we recover the $q$-Schur algebras in the literature. Our $q$-Schur algebras are closely related to the category ${\mathcal{O}}$, where the type $G_{2}$ is studied in detail.