A problem of Kollár and Larsen on finite linear groups and crepant resolutions

Robert Guralnick; Pham Tiep

Displaying similar documents to “A problem of Kollár and Larsen on finite linear groups and crepant resolutions”

Deformation theory and finite simple quotients of triangle groups I

Michael Larsen, Alexander Lubotzky, Claude Marion (2014)

Journal of the European Mathematical Society

Similarity:

Let $2 \leq a \leq b \leq c \in ℕ$ with $μ = 1 / a + 1 / b + 1 / c < 1$ and let $T = T_{a, b, c} = 〈 x, y, z : x^{a} = y^{b} = z^{c} = x y z = 1 〉$ be the corresponding hyperbolic triangle group. Many papers have been dedicated to the following question: what are the finite (simple) groups which appear as quotients of $T$ ? (Classically, for $(a, b, c) = (2, 3, 7)$ and more recently also for general $(a, b, c)$ .) These papers have used either explicit constructive methods or probabilistic ones. The goal of this paper is to present a new approach based on the theory of representation varieties (via deformation theory). As a corollary we essentially...

The density of representation degrees

Martin Liebeck, Dan Segal, Aner Shalev (2012)

Journal of the European Mathematical Society

Similarity:

For a group $G$ and a positive real number $x$ , define $d_{G} (x)$ to be the number of integers less than $x$ which are dimensions of irreducible complex representations of $G$ . We study the asymptotics of $d_{G} (x)$ for algebraic groups, arithmetic groups and finitely generated linear groups. In particular we prove an “alternative” for finitely generated linear groups $G$ in characteristic zero, showing that either there exists $α > 0$ such that $d_{G} (x) > x^{α}$ for all large $x$ , or $G$ is virtually abelian (in which case $d_{G} (x)$ is bounded). ...

Limits of relatively hyperbolic groups and Lyndon’s completions

Olga Kharlampovich, Alexei Myasnikov (2012)

Journal of the European Mathematical Society

Similarity:

We describe finitely generated groups $H$ universally equivalent (with constants from $G$ in the language) to a given torsion-free relatively hyperbolic group $G$ with free abelian parabolics. It turns out that, as in the free group case, the group $H$ embeds into the Lyndon’s completion $G^{ℤ [t]}$ of the group $G$ , or, equivalently, $H$ embeds into a group obtained from $G$ by finitely many extensions of centralizers. Conversely, every subgroup of $G^{ℤ [t]}$ containing $G$ is universally equivalent to $G$ . Since finitely...

Finite groups with two rows which differ in only one entry in character tables

Wenyang Wang, Ni Du (2021)

Czechoslovak Mathematical Journal

Similarity:

Let $G$ be a finite group. If $G$ has two rows which differ in only one entry in the character table, we call $G$ an RD1-group. We investigate the character tables of RD1-groups and get some necessary and sufficient conditions about RD1-groups.

On the Davenport constant and group algebras

Daniel Smertnig (2010)

Colloquium Mathematicae

Similarity:

For a finite abelian group G and a splitting field K of G, let (G,K) denote the largest integer l ∈ ℕ for which there is a sequence $S = g ₁ \cdot . . . \cdot g_{l}$ over G such that $(X^{g ₁} - a ₁) \cdot . . . \cdot (X^{g_{l}} - a_{l}) \neq 0 \in K [G]$ for all $a ₁, . . ., a_{l} \in K^{\times}$ . If (G) denotes the Davenport constant of G, then there is the straightforward inequality (G) - 1 ≤ (G,K). Equality holds for a variety of groups, and a conjecture of W. Gao et al. states that equality holds for all groups. We offer further groups for which equality holds, but we also give the first examples of groups G for...

On unit group of finite semisimple group algebras of non-metabelian groups up to order 72

Gaurav Mittal, Rajendra Kumar Sharma (2021)

Mathematica Bohemica

Similarity:

We characterize the unit group of semisimple group algebras $𝔽_{q} G$ of some non-metabelian groups, where $F_{q}$ is a field with $q = p^{k}$ elements for $p$ prime and a positive integer $k$ . In particular, we consider all 6 non-metabelian groups of order 48, the only non-metabelian group $((C_{3} \times C_{3}) ⋊ C_{3}) ⋊ C_{2}$ of order 54, and 7 non-metabelian groups of order 72. This completes the study of unit groups of semisimple group algebras for groups upto order 72.

Regularity of sets with constant intrinsic normal in a class of Carnot groups

Marco Marchi (2014)

Annales de l’institut Fourier

Similarity:

In this Note, we define a class of stratified Lie groups of arbitrary step (that are called “groups of type $☆$ ” throughout the paper), and we prove that, in these groups, sets with constant intrinsic normal are vertical halfspaces. As a consequence, the reduced boundary of a set of finite intrinsic perimeter in a group of type $☆$ is rectifiable in the intrinsic sense (De Giorgi’s rectifiability theorem). This result extends the previous one proved by Franchi, Serapioni & Serra Cassano...

Groups of given intermediate word growth

Laurent Bartholdi, Anna Erschler (2014)

Annales de l’institut Fourier

Similarity:

We show that there exists a finitely generated group of growth $\sim f$ for all functions $f : ℝ_{+} \to ℝ_{+}$ satisfying $f (2 R) \leq f {(R)}^{2} \leq f (η_{+} R)$ for all $R$ large enough and $η_{+} \approx 2.4675$ the positive root of $X^{3} - X^{2} - 2 X - 4$ . Set $α_{-} = log 2 / log η_{+} \approx 0.7674$ ; then all functions that grow uniformly faster than $exp (R^{α_{-}})$ are realizable as the growth of a group. We also give a family of sum-contracting branched groups of growth $\sim exp (R^{α})$ for a dense set of $α \in [α_{-}, 1]$ .

Coxeter group actions on the complement of hyperplanes and special involutions

Giovanni Felder, A. Veselov (2005)

Journal of the European Mathematical Society

Similarity:

We consider both standard and twisted actions of a (real) Coxeter group $G$ on the complement $ℳ_{G}$ to the complexified reflection hyperplanes by combining the reflections with complex conjugation. We introduce a natural geometric class of special involutions in $G$ and give explicit formulae which describe both actions on the total cohomology $H^{*} (ℳ_{G}, 𝒞)$ in terms of these involutions. As a corollary we prove that the corresponding twisted representation is regular only for the symmetric group $S_{n}$ , the...

The unit groups of semisimple group algebras of some non-metabelian groups of order $144$

Gaurav Mittal, Rajendra K. Sharma (2023)

Mathematica Bohemica

Similarity:

We consider all the non-metabelian groups $G$ of order $144$ that have exponent either $36$ or $72$ and deduce the unit group $U (𝔽_{q} G)$ of semisimple group algebra $𝔽_{q} G$ . Here, $q$ denotes the power of a prime, i.e., $q = p^{r}$ for $p$ prime and a positive integer $r$ . Up to isomorphism, there are $6$ groups of order $144$ that have exponent either $36$ or $72$ . Additionally, we also discuss how to simply obtain the unit groups of the semisimple group algebras of those non-metabelian groups of order $144$ that are a direct product of two...

On the structural theory of ${II}_{1}$ factors of negatively curved groups

Ionut Chifan, Thomas Sinclair (2013)

Annales scientifiques de l'École Normale Supérieure

Similarity:

Ozawa showed in [21] that for any i.c.c. hyperbolic group, the associated group factor $L Γ$ is solid. Developing a new approach that combines some methods of Peterson [29], Ozawa and Popa [27, 28], and Ozawa [25], we strengthen this result by showing that $L Γ$ is strongly solid. Using our methods in cooperation with a cocycle superrigidity result of Ioana [12], we show that profinite actions of lattices in $Sp (n, 1)$ , $n \geq 2$ , are virtually $W^{*}$ -superrigid.

Permutability of centre-by-finite groups

Brunetto Piochi (1989)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Let $G$ be a group and $m$ be an integer greater than or equal to $2$ . $G$ is said to be $m$ -permutable if every product of $m$ elements can be reordered at least in one way. We prove that, if $G$ has a centre of finite index $z$ , then $G$ is $(1+[z/2])$ -permutable. More bounds are given on the least $m$ such that $G$ is $m$ -permutable.

The Bogomolov multiplier of groups of order $p^{7}$ and exponent $p$

Zeinab Araghi Rostami, Mohsen Parvizi, Peyman Niroomand (2024)

Czechoslovak Mathematical Journal

Similarity:

We conduct an in-depth investigation into the structure of the Bogomolov multiplier for groups of order $p^{7}$ $(p > 2)$ and exponent $p$ . We present a comprehensive classification of these groups, identifying those with nontrivial Bogomolov multipliers and distinguishing them from groups with trivial multipliers. Our analysis not only clarifies the conditions under which the Bogomolov multiplier is nontrivial but also refines existing computational methods, enhancing the process of...

Product decompositions of quasirandom groups and a Jordan type theorem

Nikolay Nikolov, László Pyber (2011)

Journal of the European Mathematical Society

Similarity:

We first note that a result of Gowers on product-free sets in groups has an unexpected consequence: If $k$ is the minimal degree of a representation of the finite group $G$ , then for every subset $B$ of $G$ with $| B | > | G | / k^{1 / 3}$ we have $B^{3} = G$ . We use this to obtain improved versions of recent deep theorems of Helfgott and of Shalev concerning product decompositions of finite simple groups, with much simpler proofs. On the other hand, we prove a version of Jordan’s theorem which implies that if $k \geq 2$ , then $G$ has a...

$D_{p} (3)$ (p ≥ 5) can be characterized by its order components

Huaguo Shi, Zhangjia Han, Guiyun Chen (2012)

Colloquium Mathematicae

Similarity:

Let G be a finite group, and $M = D_{p} (3)$ (p ≥ 3). It is proved that G ≅ M if G and M have the same order components.

Finite groups whose all proper subgroups are $𝒞$ -groups

Pengfei Guo, Jianjun Liu (2018)

Czechoslovak Mathematical Journal

Similarity:

A group $G$ is said to be a $𝒞$ -group if for every divisor $d$ of the order of $G$ , there exists a subgroup $H$ of $G$ of order $d$ such that $H$ is normal or abnormal in $G$ . We give a complete classification of those groups which are not $𝒞$ -groups but all of whose proper subgroups are $𝒞$ -groups.

Presentations of finite simple groups: a computational approach

Robert Guralnick, William M. Kantor, Martin Kassabov, Alexander Lubotzky (2011)

Journal of the European Mathematical Society

Similarity:

All finite simple groups of Lie type of rank $n$ over a field of size $q$ , with the possible exception of the Ree groups $^{2} G_{2} (q)$ , have presentations with at most 49 relations and bit-length $O (𝚕𝚘𝚐 n + 𝚕𝚘𝚐 q)$ . Moreover, $A_{n}$ and $S_{n}$ have presentations with 3 generators; 7 relations and bit-length $O (𝚕𝚘𝚐 n)$ , while $𝚂𝙻 (n, q)$ has a presentation with 6 generators, 25 relations and bit-length $O (𝚕𝚘𝚐 n + 𝚕𝚘𝚐 q)$ .

On NIP and invariant measures

Ehud Hrushovski, Anand Pillay (2011)

Journal of the European Mathematical Society

Similarity:

We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of NIP (not the independence property), continuing aspects of the paper [16]. Among key results are (i) if $p = tp (b / A)$ does not fork over $A$ then the Lascar strong type of $b$ over $A$ coincides with the compact strong type of $b$ over $A$ and any global nonforking extension of $p$ is Borel definable over $bdd (A)$ , (ii) analogous statements for Keisler measures and definable groups, including the fact that $G^{000} = G^{00}$ for $G$ ...

Groups Generated by (near) Mutually Engel Periodic Pairs

Piotr Słanina, Witold Tomaszewski (2007)

Bollettino dell'Unione Matematica Italiana

Similarity:

We use notations: $[x,y]=[x_{,1}y]$ and $[x_{,k+1}y]$ e $[[x_{,k}y],y]$ . We consider groups generated by $x$ , $y$ satisfying relations $x=[x_{,n}y],y=[y_{,n}x]$ or $[x,y]=[x_{,n}y]$ , $[y,x]=[y_{,n}x]$ . We call groups of the first type mep-groups and of the second type nmep-groups. We show many properties and examples of mep- and nmep-groups. We prove that if $p$ is a prime then the group $Sl_{2}(p)$ is a nmep-group. We give the necessary and sufficient conditions for metacyclic group to be a nmep-group and we show that nmep-groups with presentation $\langle x,y\mid[x,y]=[x_{,2}y],[y,x]=[y_{,2}x],x^{n},y^{m}\rangle$ are finite.

A duality theorem for Dieudonné displays

Eike Lau (2009)

Annales scientifiques de l'École Normale Supérieure

Similarity:

We show that the Zink equivalence between $p$ -divisible groups and Dieudonné displays over a complete local ring with perfect residue field of characteristic $p$ is compatible with duality. The proof relies on a new explicit formula for the $p$ -divisible group associated to a Dieudonné display.