arXiv subjects
Publications and source records attributed to Pham Huu Tiep.
We prove an analogue of the classical Erdős-Ko-Rado theorem for intersecting sets of permutations in finite 2-transitive groups. Given a finite group G acting faithfully and 2-transitively on the set X, we show that an intersecting set of maximal size in G has cardinality |G|/|X|. This generalises and gives a unifying proof of some similar recent results in the literature.
Let G be a finite quasisimple group of Lie type. We show that there are regular semisimple elements x,y in G, x of prime order, and |y| is divisible by at most two primes, such that the product of the conjugacy classes of x and y contain all non-central elements of G. In fact in all but four cases, y can be chosen to be of square-free order. Using this result, we prove an effective version of one of the main results of Larsen, Shalev and Tiep by showing that, given any positive integer m, if the order of a finite simple group S is at least f(m) for a specified function f, then every element in S is a product of two mth powers. Furthermore, the verbal width of the mth power word on any finite simple group S is at most g(m) for a specified function g. We also show that, given any two non-trivial words v, w, if G is a finite quasisimple group of large enough order, then v(G)w(G) contains all non-central elements of G.
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.
We prove that non-trivial representations of the alternating group $A_n$ are reducible over a primitive proper subgroup which is isomorphic to some alternating group $A_m$.
Let $p$ be a prime and $G$ a subgroup of $GL_d(p)$. We define $G$ to be $p$-exceptional if it has order divisible by $p$, but all its orbits on vectors have size coprime to $p$. We obtain a classification of $p$-exceptional linear groups. This has consequences for a well known conjecture in representation theory, and also for a longstanding question concerning 1/2-transitive linear groups (i.e. those having all orbits on nonzero vectors of equal length), classifying those of order divisible by $p$.
Let v and w be nontrivial words in two free groups. We prove that, for all sufficiently large finite non-abelian simple groups G, there exist subsets C of v(G) and D of w(G) of size such that every element of G can be realized in at least one way as the product of an element of C and an element of D and the average number of such representations is O(log |G|). In particular, if w is a fixed nontrivial word and G is a sufficiently large finite non-abelian simple group, then w(G) contains a thin base of order 2. This is a non-abelian analogue of a result of Van Vu for the classical Waring problem. Further results concerning thin bases of G of order 2 are established for any finite group and for any compact Lie group G.
We give a characterization of the finite groups having nilpotent or abelian Hall $π$-subgroups which can easily be verified from the character table.
Let $G$ be a finite simple group of Lie type, and let $π_G$ be the permutation representation of $G$ associated with the action of $G$ on itself by conjugation. We prove that every irreducible representation of $G$ is a constituent of $π_G$, unless $G=PSU_n(q)$ and $n$ is coprime to $2(q+1)$, where precisely one irreducible representation fails. Let St be the Steinberg representation of $G$. We prove that a complex irreducible representation of $G$ is a constituent of the tensor square $St\otimes St$, with the same exceptions as in the previous statement.
We prove the Arad-Herzog conjecture for various families of finite simple groups- if A and B are nontrivial conjugacy classes, then AB is not a conjugacy class. We also prove that if G is a finite simple group of Lie type and A and B are nontrivial conjugacy classes, either both semisimple or both unipotent, then AB is not a conjugacy class. We also prove a strong version of the Arad-Herzog conjecture for simple algebraic groups and in particular show that almost always the product of two conjugacy classes in a simple algebraic group consists of infinitely many conjugacy classes. As a consequence we obtain a complete classification of pairs of centralizers in a simple algebraic group which have dense product. In particular, there are no dense double cosets of the centralizer of a noncentral element. This result has been used by Prasad in considering Tits systems for psuedoreductive groups. Our final result is a generalization of the Baer-Suzuki theorem for p-elements with p a prime at least 5.
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.
We classify the irreducible projective representations of symmetric and alternating groups of minimal possible and second minimal possible dimensions, and get a lower bound for the third minimal dimension. On the way we obtain some new results on branching which might be of independent interest.
The classical Waring problem deals with expressing every natural number as a sum of g(k) kth powers. Similar problems for finite simple groups have been studied recently, and in this paper we study them for finite quasisimple groups G. We show that for a fixed non-trivial group word w and large enough G we have w(G)^3=G, namely every element of G is a product of 3 values of w. For various families of finite quasisimple groups, including covers of alternating groups, we obtain a stronger result, namely w(G)^2=G. However, in contrast with the case of simple groups, we show that w(G)^2 need not equal G for all large G. If k>2 then x^k y^k fails to be surjective for infinitely many finite quasisimple groups. The case k=2 turns out to be exceptional. Indeed, our last result shows that every element of a finite quasisimple group is a product of two squares. This can be regarded as a non-commutative analogue of Lagrange's four squares theorem.
Answering a question of I. M. Isaacs, we show that the largest degree of irreducible complex representations of any finite non-abelian simple group can be bounded in terms of the smaller degrees. We also study the asymptotic behavior of this largest degree for finite groups of Lie type. Moreover, we show that for groups of Lie type, the Steinberg character has largest degree among all unipotent characters.
We study the representation growth of alternating and symmetric groups in positive characteristic and restricted representation growth for the finite groups of Lie type. We show that the the number of representations of dimension at most n is bounded by a low degree polynomial in n. As a consequence, we show that the number of conjugacy classes of maximal subgroups of a finite almost simple group G is at most O(log|G|).
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.
We develop cycle index generating functions for orthogonal groups in even characteristic, and give some enumerative applications. A key step is the determination of the values of the complex linear-Weil characters of the finite symplectic group, and their inductions to the general linear group, at unipotent elements. We also define and study several natural probability measures on integer partitions.
We prove that the restriction of any absolutely irreducible representation of Steinberg's triality groups $^3D_4(q)$ in characteristic coprime to q to any proper subgroup is reducible
We prove that the restriction of any nontrivial representation of the Ree groups $^2F_{4}(q), q=2^{2n+1}\geq8$ in odd characteristic to any proper subgroup is reducible. We also determine all triples $(K, V, H)$ such that $K \in \{^2F_4(2), ^2F_4(2)'\}$, $H$ is a proper subgroup of $K$, and $V$ is a representation of $K$ in odd characteristic restricting absolutely irreducibly to $H$.