群论

We show that for a finite, nonempty subset $A$ of a group, the quotient set $A^{-1}A:=\{a_1^{-1}a_2\colon a_1,a_2\in A\}$ has size $|A^{-1}A|\ge\frac53\,|A|$, unless $A$ is densely contained in a coset, or in a union of two cosets of a…

Nicolas Monod showed that the evaluation map $$H^*_m(G\curvearrowright G/P)\longrightarrow H^*_m(G)$$ between the measurable cohomology of the action of a connected semisimple Lie group $G$ on its Furstenberg boundary $G/P$ and the…

This paper looks at the class of groups admitting normal forms for which the right multiplication by a group element is computed in linear time on a multi-tape Turing machine. We show that the groups $\mathbb{Z}_2 \wr \mathbb{Z}^2$,…

We present an introduction to weak amenability for locally compact groups, and a survey of some of the most important results regarding this property.

A finite group $G$ is said to be a $\mathcal{B}_{\psi}$-group if $\psi(H)<|G|$ for any proper subgroup $H$ of $G$, where $\psi(H)$ denotes the sum of element orders of $H$. In this paper, we characterize the $\mathcal{B}_{\psi}$-groups up…

If $A$, $B$, $C$ are subsets in a finite simple group of Lie type $G$ at least two of which are normal with $|A||B||C|$ relatively large, then we establish a stronger conclusion than $ABC = G$. This is related to a theorem of Gowers and is…

We decompose the Lie algebra $\mathfrak{e}_{8(-24)}$ into representations of $\mathfrak{e}_{7(-25)}\oplus\mathfrak{sl}(2,\mathbb{R})$ using our recent description of $\mathfrak{e}_8$ in terms of (generalized) $3\times3$ matrices over pairs…

We construct the well-known decomposition of the Lie algebra $\mathfrak{e}_8$ into representations of $\mathfrak{e}_6\oplus\mathfrak{su}(3)$ using explicit matrix representations over pairs of division algebras. The minimal representation…

A result of Nayak asserts that $\underset{m\to \infty}\lim |A^m|^{1/m}$ exists for each $n\times n$ complex matrix $A$, where $|A| = (A^*A)^{1/2}$, and the limit is given in terms of the spectral decomposition. We extend the result of…

For $k, \ell \in \mathbb{N}$, we introduce the concepts of $k$-ultrahomogeneity and $\ell$-tuple regularity for finite groups. Inspired by analogous concepts in graph theory, these form a natural generalization of homogeneity, which was…

We study the homology of an explicit finite-index subgroup of the automorphism group of a partially commutative group, in the case when its defining graph is a tree. More concretely, we give a lower bound on the first Betti number of this…

We introduce the new notion of quotient-saturation as a measure of the immensity of the quotient structure of a group. We present a sufficient condition for a finitely presented group to be quotient-saturated, and use it to deduce that…

We generalise a theorem of Gersten on surjectivity of the restriction map in $\ell^{\infty}$-cohomology of groups. This leads to applications on subgroups of hyperbolic groups, quasi-isometric distinction of finitely generated groups and…

We introduce the notion of multipass automata as a generalization of pushdown automata and study the classes of languages accepted by such machines. The class of languages accepted by deterministic multipass automata is exactly the Boolean…

The Matrix Waring problem is if we can write every matrix as a sum of $k$-th powers. Here, we look at the same problem for triangular matrix algebra $T_n(\mathbb{F}_q)$ consisting of upper triangular matrices over a finite field. We prove…

This paper concerns the enumeration of simultaneous conjugacy classes of $k$-tuples of commuting matrices in the upper triangular group $GT_n(\mathbf F_q)$ and unitriangular group $UT_m(\mathbf F_q)$ over the finite field $\mathbf F_q$ of…

Let $G$ be a connected reductive group defined over $\mathbb F_q$. Fix an integer $M\geq 2$, and consider the power map $x\mapsto x^M$ on $G$. We denote the image of $G(\mathbb F_q)$ under this map by $G(\mathbb F_q)^M$ and estimate what…

This survey article explores the notion of z-classes in groups. The concept introduced here is related to the notion of orbit types in transformation groups, and types or genus in the representation theory of finite groups of Lie type. Two…

Consider the set of all powers $\text{GL}(n ,q)^M = \{x^M \mid x\in \text{GL}(n, q)\}$ for an integer $M\geq 2$. In this article, we aim to enumerate the regular, regular semisimple and semisimple elements as well as conjugacy classes in…

We define and study root graded groups, that is, groups graded by finite root systems. This notion generalises several existing concepts in the literature, including in particular Jacques Tits' notion of RGD-systems. The most prominent…