Search arXivSearch

arXiv · 2007.08819

Commutation of Shintani descent and Jordan decomposition

Abstract

Let ${\mathbf G}^F$ be a finite group of Lie type, where ${\mathbf G}$ is a reductive group defined over ${\overline{\mathbb F}_q}$ and $F$ is a Frobenius root. Lusztig's Jordan decomposition parametrises the irreducible characters in a rational series${\mathcal E}({{\mathbf G}^F},(s)_{{\mathbf G}^{*F^*}})$ where $s\in{{\mathbf G}^{*F^*}}$ by the series ${\mathcal E}(C_{{\mathbf G}^*}(s)^{F^*},1)$.We conjecture that the Shintani twisting preserves the space of class functions generated by the union of the ${\mathcal E}({{\mathbf G}^F},(s')_{{\mathbf G}^{*F^*}})$ where$(s')_{{\mathbf G}^{*F^*}}$ runs over the semi-simple classes of ${{\mathbf G}^{*F^*}}$ geometrically conjugate to $s$;further, extending the Jordan decomposition by linearity to this space, we conjecture that there is a way to fix Jordan decomposition such that it maps the Shintani twisting to the Shintani twisting on disconnected groups defined by Deshpande, which acts on the linear span of $\coprod_{s'}{\mathcal E}(C_{{\mathbf G}^*}(s')^{F^*},1)$. We show a non-trivial case of this conjecture, the case where ${\mathbf G}$ is of type $A_{n-1}$with $n$ prime.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

François Digne, Jean Michel. 2020-10-19. Commutation of Shintani descent and Jordan decomposition. https://arxiv.org/abs/2007.08819

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Homogeneity in Coxeter groups and split crystallographic groups

We prove that affine Coxeter groups, even hyperbolic Coxeter groups and one-ended hyperbolic Coxeter groups are homogeneous in the sense of model theory. More generally, we prove that many (Gromov) hyperbolic groups generated by torsion elements are homogeneous. In contrast, we construct split crystallographic groups that are not homogeneous, and hyperbolic (in fact, virtually free) Coxeter groups that are not homogeneous (or, to be more precise, not $\mathrm{EAE}$-homogeneous). We also prove that, on the other hand, irreducible split crystallographic groups and torsion-generated hyperbolic groups are almost homogeneous. We also prove that finitely generated abelian-by-finite groups are homogeneous if and only if they are profinitely homogeneous, i.e., any tuple of words from the group is profinitely rigid. We use this to deduce that affine Coxeter groups are profinitely homogeneous, a result of independent interest in the profinite context.

math.GR

On real and rational elements in a class of Lie groups

For a class of groups $G$ over a field $\mathbb{F}$, including certain Lie groups, Algebraic groups and finite groups, we provide a general method to determine real and rational elements, thereby unifying earlier group-specific results into a wider framework. As an application, we classify all real and rational elements in the semidirect product ${\rm SL}(2,\mathbb{R}) \ltimes \mathrm{Sym}^n(\mathbb{R}^2)$. Moreover, we study real elements in connected real solvable Lie groups. It is easy to observe that if $G$ is a simply connected solvable real Lie group, then the identity is the only real element of $G$. Conversely, if the identity is the only real element of a connected real Lie group $G$, then $G$ is simply connected, solvable, and exponential, which turns out to be of independent interest.

math.GR

Prime degree irreducible representations of simple algebraic groups and finite simple groups of Lie type

Let $r, p$ be primes and $k$ be a positive integer. We show that if $G$ is a subgroup of $SL_r(p^k)$ lying only in the non-geometric Aschbacher class $\mathscr{C}_9$, then $|G|$ is bounded above by a function of $r$ and $k$, independently of $p$. We also show that, up to conjugacy in $GL_r(p^k)$, the number of such $G$ is bounded above by a function of $r$ that is independent of $p$ and $k$. Apart from being of interest in their own right, these results have an application in a computational version of the strong approximation theorem for finitely generated Zariski-dense subgroups of $SL_r(\mathbb{P})$, where $\mathbb{P}$ is a number field.

math.GR