A note on cusp forms and representations of \(\mathrm{SL}_2(\mathbb{F}_\mathrm{p})\) (Q2657653): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Alla S. Detinko / rank | |||
Property / reviewed by | |||
Property / reviewed by: Alla S. Detinko / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3100355786 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1811.00397 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 08:37, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A note on cusp forms and representations of \(\mathrm{SL}_2(\mathbb{F}_\mathrm{p})\) |
scientific article |
Statements
A note on cusp forms and representations of \(\mathrm{SL}_2(\mathbb{F}_\mathrm{p})\) (English)
0 references
14 March 2021
0 references
Let \(p\) be a prime, and \(\Gamma(p) := \operatorname{Ker}(\mathrm{SL}_2(\mathbb{Z}) \rightarrow \mathrm{SL}_2(\mathbb{F}_p))\) be the principal congruence subgroup. The cusp forms of weight \(k\) for \(\Gamma(p)\) constitute a finite dimensional linear space over \(\mathbb{C}\), denoted by \(S_k(\Gamma(p))\). The paper is concerned with the case \(k=2\), when \(S_2(\Gamma(p))\) is acted on by \(\mathrm{SL}_2(\mathbb{F}_p)\) in a natural way. Let \(\overline{S_2(\Gamma(p))}\) be the dual space of \(S_2(\Gamma(p))\). Denote by \(S_{2,p}\) the character of \(S_2(\Gamma(p)) + \overline{S_2(\Gamma(p))}\). In this paper, it is shown that the character \(S_{2,p}\) of \(\mathrm{SL}_2(\mathbb{F}_p)\) is a sum of Deligne-Lusztig characters with coefficients which are linear polynomials in \(p\) and depend only on the residue of \(p\) modulo 12 (Theorem 2.1). Furthermore, these coefficients imply that that the simple space \(S_2(\Gamma(p))\) usually does not admit such a decomposition, and that every non-trivial irreducible character of \(\mathrm{PSL}_2(\mathbb{F}_p))\) is a summand of \(S_{2,p}\) when \(p\) is big enough (Corollary 2.6 and Corollary 2.8).
0 references
cusp forms
0 references
representation of reductive groups
0 references
Steinberg character
0 references
modular form
0 references