11
votes
Accepted
How many traces are there on Temperley-Lieb, Fuss-Catalan, Iwahori-Hecke, Birman-Wenzl-Murakami-Kauffman, ... algebras?
Let me work over $\mathbb{C}$ for simplicity. For generic values of the parameter the Temperley-Lieb algebra $TL_n$ is semisimple. A finite-dimensional semisimple algebra over $\mathbb{C}$ is a finite ...
- 112k
11
votes
Accepted
Cusp forms have an orthonormal basis of eigenfunctions for all Hecke operators
These things are not trivial at all, but by the time Langlands was writing "Euler products" they were known, and quite familiar to many people at Princeton and Yale, even if not so many other places.
...
- 22.1k
10
votes
Accepted
Do Iwahori-Hecke algebras come from cohomology classes?
Not in an interesting way. Cohomology classes describe formal deformations (i.e. deformations over an Artinian ring, or more generally complete local rings), and the Iwahori-Hecke algebra is trivial ...
- 42.9k
10
votes
Accepted
Is $(G\rtimes H,H)$ a Gelfand pair iff $G$ is abelian?
No, let $G$ be an arbitrary group and take $H=G$ acting on itself by conjugation. Then $H$ becomes the diagonal in $G\rtimes H\cong G\times G$. This is well known to be a Gelfand pair.
PS: The Hecke ...
- 14.5k
10
votes
Smallest Mazur's good prime
The good primes (not counting $\ell$ itself, if that's allowed to be a good prime) are precisely those that lie both in one of $\ell-2$ reduced residue classes (mod $\ell$) and one of $(p-1)(1-1/\ell)$...
- 12.6k
8
votes
What is the archimedean Hecke algebra?
The terminology is a bit misleading, and the analogy with the non-archimedean situation is a bit forced.
The goal was/is to have a $\mathfrak g,K$-module be a "Hecke algebra module", for some ...
- 22.1k
8
votes
What is the archimedean Hecke algebra?
Here is the picture, as I understand it, for $\mathrm{GL}_n$; this is described in chapter 8 of Godement-Jacquet (and see also the archimedean theory in Jacquet-Langlands).
Let $F \in \{\mathbb{R},\...
- 7,829
8
votes
Accepted
Restriction to the diagonal of Hilbert eigenforms
It is extremely unusual for the restriction of a Hilbert modular form to the diagonal to be an elliptic modular eigenform. It happens occasionally in some small cases (by coincidence, essentially), ...
- 34.4k
8
votes
Positivity of Iwahori–Hecke algebra characters on the Kazhdan-Lusztig basis
This is a really good question. What is known of an answer is somewhat
complicated, and perhaps others have more useful things to say.
As you mention, the Hecke algebra $H$ is categorified by the ...
- 5,672
7
votes
Name for algebra and its tensor products
As requested, I elaborate on my comment.
First of all, let me make a change of variables $a_i=U_i-1$. The relations then become $a_i+1=a_{i-1}a_{i+1}$.
For $n=2,3,4$ I used the Magma online ...
- 15.7k
7
votes
Accepted
Arithmetic points are dense on a Hida family
Hida theory is a vast domain of research. I am assuming that that you are in the simplest and oldest setting: Hida theory for ordinary eigencuspforms for the group $\operatorname{GL}_2$ over $\mathbb ...
- 9,750
7
votes
Accepted
Number of pairs of permutation in $S_n$ whose $\mu$-coefficient (of their Kazhdan Lusztig polynomial) is non-zero
When I calculated these numbers using Marc van Leeuwen and Fokko du Cloux's software atlas, I got
S_3: 8
S_4: 60
S_5: 482
S_6: 4268
S_7: 41934
S_8: 457782
(I could easily have made some silly ...
- 521
7
votes
Examples of non-trivial Kazhdan-Lusztig polynomials
Already in the case of finite symmetric groups, one can find any polynomial with non-negative integral coefficients and constant term 1 as KL polynomial for some pair of group elements. See the ...
- 51.6k
7
votes
Accepted
Reference of J.L. Waldspurger's paper on Shimura correspondence
The full reference is
Jean-Loup Waldspurger, "Sur les coefficients de Fourier des formes modulaires de poids demi-entier", (French) Journal de Mathématiques Pures et Appliquées, IX Séries, ...
- 5,061
6
votes
Accepted
Relation between Hecke operators and coefficient of L-functions
A normalized version of your guess is right. First note that the $T_{p^n}$'s satisfy the relation
$$ T_{p^{n+1}} = T_p T_{p^n} - p T_{p^{n-1}} $$
(e.g., Bump Prop 4.6.4). This gives you a recursion ...
- 5,634
6
votes
Accepted
Reference request for $pro-p$ Iwahori subgroup of $GL_n(F)$
The definition is quite simple. Let $\mathcal O$ be the ring of integers of $F$, which I shall assume is a local field of residual characteristic $p$. The standard pro-$p$-Iwahori is the group of ...
- 25.4k
6
votes
Are there Hamilton paths in Cayley graphs of Coxeter groups?
The answer to both questions is yes. See the paper of Conway, Sloane and Wilks called "Gray codes for reflection groups":
http://link.springer.com/article/10.1007/BF01788686
- 3,661
6
votes
Accepted
Structure constants for the double coset algebra of a Young subgroup
There is a combinatorial rule for the structure constants. It appears in Section 2 of https://arxiv.org/abs/1104.1959, although it is not immediately clear that it is indeed what you are looking for.
...
- 1,146
5
votes
Accepted
The (Hecke) double coset von Neumann algebra
$L(\Gamma,G)$ is the algebra of endomorphisms of the representation $l^2( \Gamma/G)$ (with $\Gamma$ acting by left multiplication). This answer your second optional question. Also, by classical ...
- 37.4k
5
votes
Accepted
Hecke algebra of GL(2,F)
Let $G$ be a reductive $p$-adic group. First fixing a Haar measure on $G$, you can identify the algebra of distributions of $G$ with the ("big") Hecke algebra $H(G)$ of locally constant complex ...
- 5,773
5
votes
Hecke algebra of GL(2,F)
A Hecke algebra, in the most common definition, is associated to a pair of groups $G$ and $K$, and is the convolution algebra of bi-$K$-invariant distributions on $G$.
As far as I know the left-...
- 126k
4
votes
Accepted
Does Gorensteinness of $\mathbb{T}_{\mathfrak{m}}$ imply multiplicity one?
In the ordinary case, the argument is simple so let me recall it here.
The $p$-divisible group $J$ is an extension of an étale $p$-divisible group $J^{et}$ by a multiplicative $p$-divisible group $J^{...
- 9,750
4
votes
Hecke algebra $\mathcal H(\operatorname{GL}_2(\mathbb Q_p)/\operatorname{GL}_2(\mathbb Z_p))$ and Hecke operators
Let us consider the case when the centre acts trivially, for simplicity. Let us call $H_p$ to be the polynomial algebra generated by the classical Hecke operators $\{T_{p^r}\mid r\ge 0\}$. Using the ...
- 1,640
4
votes
Accepted
Basic theorem on induction for representations of $p$-adic groups
The general setting for your question is the theory of types as developped by Bushnell and Kutzko:
Smooth representations of reductive p-adic groups: structure theory via types. Proc. London Math. ...
- 5,773
4
votes
Volumes of double cosets $KtK$
Let $t=\varpi^\lambda$ where $\varpi$ is a uniformizer and $\lambda:\mathbb{G}_m\to T$ is a dominant weight. The assumption that $\lambda$ is dominant is harmless as we may conjugate by an appropriate ...
- 2,219
4
votes
Accepted
Algebra of Hecke operators on $M_k(\mathrm{SL}_2\mathbb{Z})$ is an integral domain?
You mean the (commutative, normal for the Petersson inner product thus diagonalizable) complex algebra $\Bbb{T(C)}$ of endomorphisms of the complex vector space $M_k(SL_2(Z))$ ($k$ even) generated by ...
- 3,275
4
votes
Reference of J.L. Waldspurger's paper on Shimura correspondence
Here is Sur les coefficients de Fourier des formes modulaires de poids demi-entier
and here is Correspondances de Shimura (not the 1980 paper, but a summary of that paper from 1983)
- 163k
3
votes
Accepted
How does one compute the Hecke algebra acting on modular forms?
This isn't quite an answer, but since I cant comment, I'll do it here.
In MAGMA you can ask for HeckeAlgebra of a space of ModularSymbols (or maybe it only works for the cuspidal subspace of such), ...
- 302
3
votes
Hecke algebra relation versus $\operatorname{SL}_2$ trace relation
Interesting observation! Unfortunately, this seems to be a coincidence.
The original, algebraically motivated definition of the Hecke algebra gives the quadratic relation as
$$(T-q)(T+1)=0.$$
For $...
- 181
Only top scored, non community-wiki answers of a minimum length are eligible