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 ...

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.
...

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 ...

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 ...

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)$...

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 ...

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},\...

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), ...

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 ...

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 ...

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 ...

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 ...

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 ...

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, ...

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 ...

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 ...

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

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.
...

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 ...

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
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-...

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^{...

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 ...

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. ...

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 ...

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 ...

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)

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), ...

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 $...

Only top scored, non community-wiki answers of a minimum length are eligible

#### Related Tags

hecke-algebras × 142rt.representation-theory × 65

nt.number-theory × 32

modular-forms × 25

coxeter-groups × 17

co.combinatorics × 15

reference-request × 12

automorphic-forms × 11

symmetric-groups × 9

ra.rings-and-algebras × 8

kazhdan-lusztig × 8

reductive-groups × 7

p-adic-groups × 7

knot-theory × 6

galois-representations × 5

quantum-groups × 5

hecke-operators × 5

qa.quantum-algebra × 4

power-series × 4

weyl-group × 4

modular-representation-theory × 4

ag.algebraic-geometry × 3

gr.group-theory × 3

lie-groups × 3

arithmetic-geometry × 3