An official website of the United States government
CHARACTER LEVELS AND CHARACTER BOUNDS
We develop the concept of character level for the complex irreducible characters of finite, general or special, linear and unitary groups. We give characterizations of the level of a character in terms of its Lusztig label and in terms of its degree. Then we prove explicit upper bounds for character values at elements with not-too-large centralizers and derive upper bounds on the covering number and mixing time of random walks corresponding to these conjugacy classes. We also characterize the level of the character in terms of certain dual pairs and prove explicit exponential character bounds for the character values, provided that the level is not too large. Several further applications are also provided. Related results for other finite classical groups are obtained in the sequel [Guralnick et al. ‘Character levels and character bounds for finite classical groups’]
more »
« less
- Award ID(s):
- 1702152
- PAR ID:
- 10197091
- Date Published:
- Journal Name:
- Forum of mathematics
- Volume:
- 8
- Issue:
- 2020
- ISSN:
- 2050-5086
- Page Range / eLocation ID:
- e2
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
Abstract We prove character ratio bounds for finite exceptional groups $G(q)$ of Lie type. These take the form $$\dfrac{|\chi (g)|}{\chi (1)} \le \dfrac{c}{q^k}$$ for all nontrivial irreducible characters $$\chi$$ and nonidentity elements $$g$$, where $$c$$ is an absolute constant, and $$k$$ is a positive integer. Applications are given to bounding mixing times for random walks on these groups and also diameters of their McKay graphs.more » « less
-
Abstract For every integer k there exists a bound $$B=B(k)$$ B = B ( k ) such that if the characteristic polynomial of $$g\in \textrm{SL}_n(q)$$ g ∈ SL n ( q ) is the product of $$\le k$$ ≤ k pairwise distinct monic irreducible polynomials over $$\mathbb {F}_q$$ F q , then every element x of $$\textrm{SL}_n(q)$$ SL n ( q ) of support at least B is the product of two conjugates of g . We prove this and analogous results for the other classical groups over finite fields; in the orthogonal and symplectic cases, the result is slightly weaker. With finitely many exceptions ( p , q ), in the special case that $$n=p$$ n = p is prime, if g has order $$\frac{q^p-1}{q-1}$$ q p - 1 q - 1 , then every non-scalar element $$x \in \textrm{SL}_p(q)$$ x ∈ SL p ( q ) is the product of two conjugates of g . The proofs use the Frobenius formula together with upper bounds for values of unipotent and quadratic unipotent characters in finite classical groups.more » « less
-
We prove that certain Fuchsian triangle groups are profinitely rigid in the absolute sense, i.e. each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. We also develop a method based on character varieties that can be used to distinguish between the profinite completions of certain groups.more » « less
-
We provide a uniform bound for the index of cohomology classes over semiglobal fields (i.e., over one-variable function fields over a complete discretely valued field K). The bound is given in terms of the analogous data for the residue field of K and its finitely generated extensions of transcendence degree at most one. We also obtain analogous bounds for collections of cohomology classes. Our results provide recursive formulas for function fields over higher rank complete discretely valued fields, and explicit bounds in some cases when the information on the residue field is known. In the process, we prove a splitting result for cohomology classes of degree 3 in the context of surfaces over finite fields. ∗more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1017/fmp.2019.9
