Source author record

Robert Guralnick

Robert Guralnick appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

31works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

31 published item(s)

preprint2021arXiv

Real Constituents of Permutation Characters

We prove a broad generalization of a theorem of W. Burnside on real characters using permutation characters. Under a necessary hypothesis, We can give some control on multiplicities (a result that needs the Classification of Finite Simple Groups). Along the way, we also give a new characterization of the 2-closed finite groups using odd-order real elements of the group. All this can be seen as a contribution to Brauer's Problem 11. We also obtain similar results for 2-Brauer characters. We also classify finite primitive permutation groups in which every real element has a fixed point.

preprint2016arXiv

Enumeration of Commuting Pairs in Lie Algebras over Finite Fields

Feit and Fine derived a generating function for the number of ordered pairs of commuting n by n matrices over the finite field F_q. This has been reproved and studied by Bryan and Morrison from the viewpoint of motivic Donaldson-Thomas theory. In this note we give a new proof of the Feit-Fine result, and generalize it to the Lie algebra of finite unitary groups and to the Lie algebra of odd characteristic finite symplectic groups. We extract some asymptotic information from these generating functions. Finally, we derive generating functions for the number of commuting nilpotent elements for the Lie algebras of the finite general linear and unitary groups, and of odd characteristic symplectic groups.

preprint2015arXiv

Adequate groups of low degree

The notion of adequate subgroups was introduced by Jack Thorne [42]. It is a weakening of the notion of big subgroups used in generalizations of the Taylor-Wiles method for proving the automorphy of certain Galois representations. Using this idea, Thorne was able to strengthen many automorphy lifting theorems. It was shown in [22] that if the dimension is small compared to the characteristic then all absolutely irreducible representations are adequate. Here we extend the result by showing that, in almost all cases, absolutely irreducible kG-modules in characteristic p, whose irreducible G+-summands have dimension less than p (where G+ denotes the subgroup of G generated by all p-elements of G), are adequate.

preprint2015arXiv

Derangements in finite classical groups for actions related to extension field and imprimitive subgroups and the solution of the Boston-Shalev conjecture

This is the fourth paper in a series. We prove a conjecture made independently by Boston et al and Shalev. The conjecture asserts that there is an absolute positive constant delta such that if G is a finite simple group acting transitively on a set of size n > 1, then the proportion of derangements in G is greater than delta. We show that with possibly finitely many exceptions, one can take delta = .016. Indeed, we prove much stronger results showing that for many actions, the proportion of derangements goes to 1 as n increases and prove similar results for families of permutation representations.

preprint2015arXiv

Derangements in Subspace Actions of Finite Classical Groups

This is the third in a series of papers in which we prove a conjecture of Boston and Shalev that the proportion of derangements (fixed point free elements) is bounded away from zero for transitive actions of finite simple groups on a set of size greater than one. This paper treats the case of primitive subspace actions. It is also shown that if the dimension and codimension of the subspace go to infinity, then the proportion of derangements goes to one. Similar results are proved for elements in finite classical groups in cosets of the simple group. The results in this paper have applications to probabilistic generation of finite simple groups and maps between varieties over finite fields.

preprint2015arXiv

Global Oort Groups

We study the Oort groups for a prime p, i.e. finite groups G such that every G-Galois branched cover of smooth curves over an algebraically closed field of characteristic p lifts to a G-cover of curves in characteristic 0. We prove that all Oort groups lie in a particular class of finite groups that we characterize, with equality of classes under a conjecture about local liftings. We prove this equality unconditionally if the order of G is not divisible by 2p^2. We also treat the local lifting problem and relate it to the global problem.

preprint2015arXiv

Simple groups stabilizing polynomials

We study the problem of determining, for a polynomial function $f$ on a vector space $V$, the linear transformations $g$ of $V$ such that $f g = f$. In case $f$ is invariant under a simple algebraic group $G$ acting irreducibly on $V$, we note that the subgroup of $GL(V)$ stabilizing $f$ often has identity component $G$ and we give applications realizing various groups, including the largest exceptional group $E_8$, as automorphism groups of polynomials and algebras. We show that starting with a simple group $G$ and an irreducible representation $V$, one can almost always find an $f$ whose stabilizer has identity component $G$ and that no such $f$ exists in the short list of excluded cases. This relies on our core technical result, the enumeration of inclusions $G < H \le SL(V)$ such that $V/H$ has the same dimension as $V/G$. The main results of this paper are new even in the special case where $k$ is the complex numbers.

preprint2015arXiv

Surjective word maps and Burnsides $p^aq^b$ theorem

We prove surjectivity of certain word maps on finite non-abelian simple groups. More precisely, we prove the following: if N is a product of two prime powers, then the word map sending (x,y) to the product of the Nth powers of x and y is surjective on every finite non-abelian simple group; If is an odd integer, then the word map sending the triple (x,y,z) to the product of the Nth powers is surjective on every finite quasisimple group. These generalize classical theorems of Burnside and Feit-Thompson. We also prove asymptotic results about the surjectivity of the word map sending (x,y) to the product of the Nth powers of x and y that depend on the number of prime factors of the integer N.

preprint2014arXiv

On rational and concise words

A group-word w is called concise if whenever the set of w-values in a group G is finite it always follows that the verbal subgroup w(G) is finite. More generally, a word w is said to be concise in a class of groups X if whenever the set of w-values is finite for a group G in X, it always follows that w(G) is finite. P. Hall asked whether every word is concise. Due to Ivanov the answer to this problem is known to be negative. It is still an open problem whether every word is concise in the class of residually finite groups. A word w is rational if the number of solutions to the equation w=g is the same as the number of solutions to w=g^e for every finite group G and for every e relatively prime to |G|. We observe that any rational word is concise in the class of residually finite groups. Further we give a sufficient condition for rationality of a word. This is used to produce a new family of words that are concise in the class of residually finite groups.

preprint2013arXiv

Products and commutators of classes in algebraic groups

We classify pairs of conjugacy classes in almost simple algebraic groups whose product consists of finitely many classes. This leads to several interesting families of examples which are related to a generalization of the Baer--Suzuki theorem for finite groups. We also answer a question of Pavel Shumyatsky on commutators of pairs of conjugacy classes in simple algebraic groups. It turns out that the resulting examples are exactly those for which the product also consists of only finitely many classes.

preprint2013arXiv

Variations on the Baer--Suzuki Theorem

The Baer--Suzuki theorem says that if $p$ is a prime, $x$ is a $p$-element in a finite group $G$ and $\langle x, x^g \rangle$ is a $p$-group for all $g \in G$, then the normal closure of $x$ in $G$ is a $p$-group. We consider the case where $x^g$ is replaced by $y^g$ for some other $p$-element $y$. While the analog of Baer--Suzuki is not true, we show that some variation is. We also answer a closely related question of Pavel Shumyatsky on commutators of conjugacy classes of $p$-elements.

preprint2012arXiv

On the maximal number of coprime subdegrees in finite primitive permutation groups

The subdegrees of a transitive permutation group are the orbit lengths of a point stabilizer. For a finite primitive permutation group which is not cyclic of prime order, the largest subdegree shares a non-trivial common factor with each non-trivial subdegree. On the other hand it is possible for non-trivial subdegrees of primitive groups to be coprime, a famous example being the rank 5 action of the small Janko group on 266 points which has subdegrees of lengths 11 and 12. We prove that, for every finite primitive group, the maximal size of a set of pairwise coprime non-trivial subdegrees is at most 2.

preprint2012arXiv

The Automorphism Groups of a Family of Maximal Curves

The Hasse Weil bound restricts the number of points of a curve which are defined over a finite field; if the number of points meets this bound, the curve is called maximal. Giulietti and Korchmaros introduced a curve C_3 which is maximal over F_{q^6} and determined its automorphism group. Garcia, Guneri, and Stichtenoth generalized this construction to a family of curves C_n, indexed by an odd integer n greater than or equal to 3, such that C_n is maximal over F_{q^{2n}}. In this paper, we determine the automorphism group Aut(C_n) when n > 3; in contrast with the case n=3, it fixes the point at infinity on C_n. The proof requires a new structural result about automorphism groups of curves in characteristic p such that each Sylow p-subgroup has exactly one fixed point. MSC:11G20, 14H37.

preprint2011arXiv

A new solvability criterion for finite groups

In 1968, John Thompson proved that a finite group G is solvable if and only if every 2-generator subgroup of G is solvable. In this paper, we prove that solvability of a finite group G is guaranteed by a seemingly weaker condition: G is solvable if, for all conjugacy classes C and D of G consisting of elements of prime power order, there exist x in C and y in D with x and y generating a solvable group. We also prove the following property of finite nonabelian simple groups, which is the key tool for our proof of the solvability criterion: if G is a finite nonabelian simple group, then there exist two prime divisors a and b of |G| such that, for all elements x, y in G with |x|=a and |y|=b, the subgroup generated by x and y is not solvable. Further, using a recent result of Guralnick and Malle, we obtain a similar membership criterion for any family of finite groups closed under forming subgroups, quotients and extensions.

preprint2011arXiv

Adequate Subgroups II

The notion of adequate subgroups was introduced by Jack Thorne. It is a weakening of the notion of big subgroup used by Wiles and Taylor in proving automorphy lifting theorems for certain Galois representations. Using this idea, Thorne was able to prove some new lifting theorems. In an appendix to Thorne's article, it was shown in that certain groups were adequate. One of the key aspects was the question of whether the span of the semsimple elements in the group is the full endomorphism ring of an absolutely irreducible module. We show that this is the case in prime characteristic p for p-solvable groups as long the dimension is not divisible by p. We also observe that the condition holds for certain infinite groups. Finally, we present the first examples showing that this condition need not hold and give a negative answer to a question of Richard Taylor.

preprint2011arXiv

Coprime subdegrees for primitive permutation groups and completely reducible linear groups

In this paper we answer a question of Gabriel Navarro about orbit sizes of a finite linear group H acting completely reducibly on a vector space V: if the orbits containing the vectors a and b have coprime lengths m and n, we prove that the orbit containing a+b has length mn. Such groups H are always reducible if n and m are greater than 1. In fact, if H is an irreducible linear group, we show that, for every pair of non-zero vectors, their orbit lengths have a non-trivial common factor. In the more general context of finite primitive permutation groups G, we show that coprime non-identity subdegrees are possible if and only if G is of O'Nan-Scott type AS, PA or TW. In a forthcoming paper we will show that, for a finite primitive permutation group, a set of pairwise coprime subdegrees has size at most 2. Finally, as an application of our results, we prove that a field has at most 2 finite extensions of pairwise coprime indices with the same normal closure.

preprint2011arXiv

Lifting in Frattini Covers and A Characterization of Finite Solvable Groups

We prove a lifting theorem for odd Frattini covers of finite groups. Using this, we characterize solvable groups and more generally p-solvable groups in terms of containing a triple of elements of distinct prime power orders with product 1. This is also related to various questions about Fried's modular tower program and properties of Hurwitz spaces of covers of curves.

preprint2011arXiv

Products of conjugacy classes and fixed point spaces

We prove several results on products of conjugacy classes in finite simple groups. The first result is that there always exists a uniform generating triple. This result and other ideas are used to solve a 1966 conjecture of Peter Neumann about the existence of elements in an irreducible linear group with small fixed space. We also show that there always exist two conjugacy classes in a finite non-abelian simple group whose product contains every nontrivial element of the group. We use this to show that every element in a non-abelian finite simple group can be written as a product of two rth powers for any prime power r (in particular, a product of two squares).

preprint2011arXiv

Simple groups admit Beauville structures

We answer a conjecture of Bauer, Catanese and Grunewald showing that all finite simple groups other than the alternating group of degree 5 admit unmixed Beauville structures. We also consider an analog of the result for simple algebraic groups which depends on some upper bounds for character values of regular semisimple elements in finite groups of Lie type and obtain definitive results about the variety of triples in semisimple regular classes with product 1. Finally, we prove that any finite simple group contains two conjugacy classes C,D such that any pair of elements in C x D generates the group.

preprint2011arXiv

Strongly dense free subgroups of semisimple algebraic groups

We show that (with one possible exception) there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski dense. As a consequence, we get new generating results for finite simple groups of Lie type and a strengthening of a theorem of Borel related to the Hausdorff-Banach-Tarski paradox. In a sequel to this paper, we use this result to also establish uniform expansion properties for random Cayley graphs over finite simple groups of Lie type.

preprint2010arXiv

A problem of Kollar and Larsen on finite linear groups and crepant resolutions

The notion of age of elements of complex linear groups was introduced by M. Reid and is of importance in algebraic geometry, in particular in the study of crepant resolutions and of quotients of Calabi-Yau varieties. In this paper, we solve a problem raised by J. Kollar and M. Larsen on the structure of finite irreducible linear groups generated by elements of age at most 1. More generally, we bound the dimension of finite irreducible linear groups generated by elements of bounded deviation. As a consequence of our main results, we derive some properties of symmetric spaces for the unitayr group having shortest closed geodesics of bounded length, and of quotients of affine space by a finite group having a crepant resolution.

preprint2010arXiv

Low Degree Representations of Simple Lie Groups

We give upper bounds for the number of irreducible representations of dimension at most n for a compact semisimple Lie group. In particular, we prove that there are at most n irreducible representations of dimension at most n for a simple compact Lie group. We use this prove that the number of conjugacy classes of maximal subgroups of a compact simple Lie group is O(r) where r is the Lie rank. We also give a short proof that the dimensions of the weight spaces of a maximal torus are small relative to the dimension of an irreducible module.

preprint2010arXiv

On a subfactor generalization of Wall's conjecture

In this paper we discuss a conjecture on intermediate subfactors which is a generalization of Wall's conjecture from the theory of finite groups. We explore special cases of this conjecture and present supporting evidence. In particular we prove special cases of this conjecture related to some finite dimensional Kac Algebras of Izumi-Kosaki type which include relative version of Wall's conjecture for solvable groups.

preprint2007arXiv

Oort groups and lifting problems

Let k be an algebraically closed field of positive characteristic p. We consider which finite groups G have the property that every faithful action of G on a connected smooth projective curve over k lifts to characteristic zero. Oort conjectured that cyclic groups have this property. We show that if a cyclic-by-p group G has this property, then G must be either cyclic or dihedral, with the exception of A_4 in characteristic 2. This proves one direction of a strong form of the Oort Conjecture.