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...

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...

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...

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.

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.

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.

Quiver varieties and the character ring of general linear groups over finite fields

Emmanuel Letellier (2013)

Journal of the European Mathematical Society

Similarity:

Given a tuple $(𝒳_{1}, ..., 𝒳_{k})$ of irreducible characters of $G L_{n} (F_{q})$ we define a star-shaped quiver $Γ$ together with a dimension vector $v$ . Assume that $(𝒳_{1}, ..., 𝒳_{k})$ is generic. Our first result is a formula which expresses the multiplicity of the trivial character in the tensor product $𝒳_{1} \otimes \dots \otimes 𝒳_{k}$ as the trace of the action of some Weyl group on the intersection cohomology of some (non-affine) quiver varieties associated to $(Γ, v)$ . The existence of such a quiver variety is subject to some condition. Assuming that this condition is satisfied,...

Obstruction sets and extensions of groups

Francesca Balestrieri (2016)

Acta Arithmetica

Similarity:

Let X be a nice variety over a number field k. We characterise in pure “descent-type” terms some inequivalent obstruction sets refining the inclusion $X {(_{k})}^{é t, B r} \subset X {(_{k})}^{B r ₁}$ . In the first part, we apply ideas from the proof of $X {(_{k})}^{é t, B r} = X {(_{k})}^{_{k}}$ by Skorobogatov and Demarche to new cases, by proving a comparison theorem for obstruction sets. In the second part, we show that if $\subset \subset_{k}$ are such that $\subset E x t (,_{k})$ , then $X {(_{k})}^{} = X {(_{k})}^{}$ . This allows us to conclude, among other things, that $X {(_{k})}^{é t, B r} = X {(_{k})}^{_{k}}$ and $X {(_{k})}^{S o l, B r ₁} = X {(_{k})}^{S o l_{k}}$ .

Groups of simple and multiple antisymmetry of similitude in $E^{2}$

S. V. Jablan (1986)

Matematički Vesnik

Similarity:

Products of conjugacy classes in finite unitary groups $G U (3, q^{2})$ and $S U (3, q^{2})$

S.Yu. Orevkov (2013)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

For the groups $G U (3)$ , $S U (3)$ , $G L (3)$ , $S U (3)$ over a finite field we solve the class product problem, i.e., we give a complete list of $m$ -tuples of conjugacy classes whose product does not contain the identity matrix.

Characterization of the alternating groups by their order and one conjugacy class length

Alireza Khalili Asboei, Reza Mohammadyari (2016)

Czechoslovak Mathematical Journal

Similarity:

Let $G$ be a finite group, and let $N (G)$ be the set of conjugacy class sizes of $G$ . By Thompson’s conjecture, if $L$ is a finite non-abelian simple group, $G$ is a finite group with a trivial center, and $N (G) = N (L)$ , then $L$ and $G$ are isomorphic. Recently, Chen et al. contributed interestingly to Thompson’s conjecture under a weak condition. They only used the group order and one or two special conjugacy class sizes of simple groups and characterized successfully sporadic simple groups (see Li’s PhD dissertation)....

Brauer relations in finite groups

Alex Bartel, Tim Dokchitser (2015)

Journal of the European Mathematical Society

Similarity:

If $G$ is a non-cyclic finite group, non-isomorphic $G$ -sets $X, Y$ may give rise to isomorphic permutation representations $ℂ [X] ≅ ℂ [Y]$ . Equivalently, the map from the Burnside ring to the rational representation ring of $G$ has a kernel. Its elements are called Brauer relations, and the purpose of this paper is to classify them in all finite groups, extending the Tornehave–Bouc classification in the case of $p$ -groups.