Using Cohen’s classification of symplectic reflection groups, we prove that the parabolic subgroups, that is, stabilizer subgroups, of a finite symplectic reflection group, are themselves symplectic reflection groups. This is the symplectic analog of Steinberg’s Theorem for complex reflection groups.

Using computational results required in the proof, we show the nonexistence of symplectic resolutions for symplectic quotient singularities corresponding to three exceptional symplectic reflection groups, thus reducing further the number of cases for which the existence question remains open.

Another immediate consequence of our result is that the singular locus of the symplectic quotient singularity associated to a symplectic reflection group is pure of codimension two.

We improve on and generalize a 1960 result of Maltsev. For a field F, we denote by $H(F)$ the Heisenberg group with entries in F. Maltsev showed that there is a copy of F defined in $H(F)$ , using existential formulas with an arbitrary non-commuting pair of elements as parameters. We show that F is interpreted in $H(F)$ using computable $\Sigma _1$ formulas with no parameters. We give two proofs. The first is an existence proof, relying on a result of Harrison-Trainor, Melnikov, R. Miller, and Montalbán. This proof allows the possibility that the elements of F are represented by tuples in $H(F)$ of no fixed arity. The second proof is direct, giving explicit finitary existential formulas that define the interpretation, with elements of F represented by triples in $H(F)$ . Looking at what was used to arrive at this parameter-free interpretation of F in $H(F)$ , we give general conditions sufficient to eliminate parameters from interpretations.

We develop methods for constructing explicit generators, modulo torsion, of the $K_3$-groups of imaginary quadratic number fields. These methods are based on either tessellations of hyperbolic $3$-space or on direct calculations in suitable pre-Bloch groups and lead to the very first proven examples of explicit generators, modulo torsion, of any infinite $K_3$-group of a number field. As part of this approach, we make several improvements to the theory of Bloch groups for $ K_3 $ of any field, predict the precise power of $2$ that should occur in the Lichtenbaum conjecture at $ -1 $ and prove that this prediction is valid for all abelian number fields.

Let G be a linear group such that for every g ∈ G there is a finite set ${\cal R}(g)$ with the property that for every x ∈ G all sufficiently long commutators [g, x, x, …, x] belong to ${\cal R}(g)$. We prove that G is finite-by-hypercentral.

We deal with aspects of direct and inverse problems in parameterized Picard–Vessiot (PPV) theory. It is known that, for certain fields, a linear differential algebraic group (LDAG) $G$ is a PPV Galois group over these fields if and only if $G$ contains a Kolchin-dense finitely generated group. We show that, for a class of LDAGs $G$, including unipotent groups, $G$ is such a group if and only if it has differential type $0$. We give a procedure to determine if a parameterized linear differential equation has a PPV Galois group in this class and show how one can calculate the PPV Galois group of a parameterized linear differential equation if its Galois group has differential type $0$.

We describe a practical algorithm for primitivity testing of finite nilpotent linear groups over various fields of characteristic zero, including number fields and rational function fields over number fields. For an imprimitive group, a system of imprimitivity can be constructed. An implementation of the algorithm in Magma is publicly available.

Let $G$ be a finite (non-abelian) irreducible linear subgroup over the complex numbers, and let $g$ be an element of $G$ of prime order $p$. Suppose that $g$ does not belong to a proper normal subgroup of $G$. We show that the number of distinct eigenvalues of $g$ can only be $p,p-1,p-2,(p+1)/2$ or $(p-1)/2$. Moreover, we provide a full classification of such groups $G $ provided that $g$ has at most $p-2$ distinct eigenvalues.

A Tits system gives rise to the corresponding pre-Tits system which is the free product of the standard parabolic subgroups of rank 1 amalgamating B. Some properties of this system are investigated.

The projective special linear group PSL(V) is generated by dations. Among all factorizations of p ∈ PSL(V) into dations there will be one (or more) with the least number of factors. We determine this number, i.e. we solve the length problem for the projective special linear group. We solve a similar problem for the projective unimodular group which is generated by harmonic homologies. The projective special linear group and the projective unimodular group are the most important special cases of projective hyperreflection groups. We also solve the length problem for the general case.