# Questions tagged [hecke-algebras]

The hecke-algebras tag has no usage guidance.

127
questions

**3**

votes

**0**answers

53 views

### compactly induction of smooth modules over Hecke algebras

Let $G$ be a locally profinite group and $H$ its closed subgroup. It is well-known that a smooth representation of $G$ is identified with a smooth module over $\mathcal{H}(G)$, where $\mathcal{H}(G)$ ...

**11**

votes

**0**answers

168 views

### Hidden grading on $kS_n$

Brundan and Kleshchev showed that if $k$ is a field of characteristic $p$, then the group ring $kS_n$ of the symmetric group $S_n$ admits an integer grading which is nontrivial in the sense that it is ...

**1**

vote

**0**answers

62 views

### When is an affine Hecke algebra of type A, a quantum Lie algebra?

An affine Hecke algebra of type $A_{k-1}$ is an unital, universal, associative C-algebra generated by the elements $T_1, \dots, T_{k-1}$, $X_1, \dots , X_k$, $X_1^{-1}, \dots , X_k^{-1}$ subject to ...

**10**

votes

**3**answers

267 views

### Positivity of Iwahori–Hecke algebra characters on the Kazhdan-Lusztig basis

$\DeclareMathOperator\tr{tr}$I'm interested in the irreducible characters of a finite Iwahori–Hecke algebra evaluated at the Kazhdan–Lusztig basis. These are Laurent polynomials.
Are the coefficients ...

**6**

votes

**1**answer

146 views

### Positivity of Schur elements in Iwahori-Hecke algebras

I'm interested in finite Iwahori-Hecke algebras.
If $\mathcal{H}$ is such a Hecke algebra, defined over $\mathbb{Z}[q^{\pm 1/2}]$, and $\Lambda$ an irreductible representation, there is the notion of ...

**8**

votes

**3**answers

403 views

### Motivation for the Kazhdan-Lusztig involution

I would like to know about the motivation behind the Kazhdan–Lusztig involution on an Iwahori–Hecke algebra.
I'll borrow the conventions from Libedinsky's Gentle introduction to Soergel bimodules I: ...

**6**

votes

**2**answers

467 views

### Reference of J.L. Waldspurger's paper on Shimura correspondence

I want to find reference of Waldspurger's paper referred at "Sur les coefficients de Fourier des formes modulaires de poids demi-entier" J. Math. Pures Appl. (9) 60 (1981), no. 4, 375–484 (...

**4**

votes

**0**answers

93 views

### Relationship between Hecke algebra and center of universal enveloping algebra (and the Harish-Chandra isomorphism)

Let $G$ be a semisimple Lie group of noncompact type and let $K$ be a maximal compact subgroup. Let $\mathfrak{g} = \mathfrak{p} \oplus \mathfrak{k}$ be the Cartan decomposition coming from some ...

**1**

vote

**0**answers

37 views

### Promoting representation of a subgroup to representation of an action groupoid

Suppose I have a group $G$, a subgroup $K \leq G$, and a representation $(\sigma, V)$ of $K$.
There is a natural left action of $G$ on $X := G/K \times G/K$ given by $g \cdot (g'K,g''K) = (gg'K,gg''K)$...

**4**

votes

**0**answers

110 views

### Kazhdan-Lusztig basis elements appearing in product with distinguished involution

My apologies if the below is too malformed to make sense.
Let $(W,S)$ be the affine Weyl group of a reductive group $G$, and let $\{C_w\}$ be the Kazhdan-Lusztig $C$-basis (an answer in terms of the $...

**7**

votes

**1**answer

222 views

### Structure constants for the double coset algebra of a Young subgroup

Fix a Young subgroup $H_\lambda \subseteq \mathcal S_n$, where $\lambda \vdash n$ is a partition of $n$ with $k$ blocks. Inside the group algebra $\mathbb C[\mathcal S_n]$, consider the idempotent
$$\...

**7**

votes

**1**answer

190 views

### Hecke algebra relation versus $\operatorname{SL}_2$ trace relation

The quadratic relation in the (type $A$) Hecke algebra is $(T-t)(T+t^{-1}) =0$, which can be rewritten as
$$
T-T^{-1} = t-t^{-1}$$
Suppose $A \in \operatorname{SL}_2(\mathbb{Q})$ with eigenvalues $a,...

**1**

vote

**1**answer

169 views

### Algebra of Hecke operators on $M_k(\mathrm{SL}_2\mathbb{Z})$ is an integral domain?

Let $M_k(\mathrm{SL}_2\mathbb{Z})$ be the space of modular forms of (integer) weight for the full modular group. Let $\mathbf{H}$ denote the Algebra generated by the Hecke operators $T_n$. Is $\mathbf{...

**2**

votes

**0**answers

93 views

### Classical Hecke operators and Hecke algebra of type $A_1$

What's the relation between the classical Hecke operators (as defined in J. P. Serre's A course in arithmetic chapter 6) and the Hecke algebra of type $A_1$, i.e. the algebra generated by the vertices ...

**3**

votes

**1**answer

147 views

### Reference request: Finite (multi-parameter) Iwahori-Hecke algebras are pairwise isomorphic

Let $(W,S)$ be a Coxeter system. Let $q=(q_s)_{s\in S} \in \mathbb{R}^{\text{#}S}$ be a tuple of positive real numbers with $q_s=q_t$ whenever $s$ and $t$ are conjugate to each other. Follwing Davis', ...

**9**

votes

**0**answers

209 views

### On the status of some conjectures mentioned/used in Harish Chandra's 1970 lecture notes

In van Dijk's notes of Harish Chandra's lectures on harmonic analysis, several conjectures are mentioned throughout, such as in Part 1, section 4 of van Dijk's notes
Conjecture I : Let $\omega$ be ...

**6**

votes

**1**answer

271 views

### Cusp forms have an orthonormal basis of eigenfunctions for all Hecke operators

I am reading Langlands' pape Euler Products and have a few questions. Let $G$ be a split adjoint semisimple group over $\mathbb Q$. If $p$ is a place of $\mathbb Q$, finite or infinite, let $G_{\...

**13**

votes

**1**answer

353 views

### How does one compute the Hecke algebra acting on modular forms?

I asked this on mathstackexchange, but got no answer.
Let $N\geq1$ be an integer, and let $\mathbb{T}$ be the Hecke algebra acting on the cusp forms of weight k and level $\Gamma_0(N)$.
Then $\...

**4**

votes

**0**answers

121 views

### Homogenous Hermitian form on the KLR algebra

Does there exist a homogenous conjugate-linear automorphism of the KLR algebra? I want to be able to define a homogenous Hermitian form on the (Specht) modules of the (cyclotomic) KLR algebra.

**3**

votes

**0**answers

63 views

### Flag variety over quaternions and its Hecke algebra

Consider cell decomposition of flag variety of $\mathbb{H}^{n}$ into orbits under the action of $B(\mathbb{H})$ - group of upper triangular matrices with coefficients in $\mathbb{H}$. I think cells ...

**4**

votes

**1**answer

140 views

### Volumes of double cosets $KtK$

Let $G$ be the group of rational points of a connected reductive group $\mathbb G$ defined over a non-archimedean local field $F$. For simplicity sake, I assume that $\mathbb G$ is split over $F$. Let ...

**7**

votes

**1**answer

476 views

### Smallest Mazur's good prime

Let $p$ and $\ell$ be primes $\geq 5$ such that $\ell$ divides $p-1$. Following Mazur, we say that a prime $q$ is a $\textit{good prime}$ if $\ell$ does not divide $q-1$ and $q$ is not a $\ell$th ...

**2**

votes

**0**answers

41 views

### Admissible (unitary) spherical representation $sl(2,Q_p)$. Does dimension fixed point vector increase proportional index

I am using terminology of Cartier's Harmonic analysis on trees. Take $\pi$ be one of the irreducible principal or complementary (unitary) spehrical series of $Sl(2, Q_p)$. Let $K$ be the maximal ...

**5**

votes

**2**answers

293 views

### Basic theorem on induction for representations of $p$-adic groups

I know a lot of places where the following is sparsely proved, but I remember there was some paper where I read it in basically the same form I write it, but unfortunately I can't remember where it ...

**1**

vote

**0**answers

28 views

### Decomposition numbers of characteristic 0 Ariki-Koike algebras for q=0 or q generic

Consider a complex Ariki-Koike algebra $H:=H(q;Q_1,\dots, Q_\ell)$ for some invertible elements $q, Q_1,
\dots, Q_\ell$ of $\mathbb{C}$, i.e. an associative $\mathbb{C}$-algebra with generators $T_0, \...

**2**

votes

**0**answers

46 views

### Branching rule for degenerate cyclotomic Hecke algebras

Grojnowski and Vazirani showed that there is a crystal isomorphism between the crystal defined by modular branching of simple modules of Ariki-Koike algebras and that of an integral highest weight ...

**4**

votes

**1**answer

187 views

### Hecke algebra $\mathcal H(\operatorname{GL}_2(\mathbb Q_p)/\operatorname{GL}_2(\mathbb Z_p))$ and Hecke operators

I was reading James Cogdell's notes here on automorphic representations and came to the following claim about the spherical Hecke algebra $\mathcal H(\operatorname{GL}_2(\mathbb Q_p), \operatorname{GL}...

**2**

votes

**1**answer

165 views

### Basis for Annular Skein Algebra

Background/Notation:
Given the Iwahori-Hecke algebra $H_{n}$ (over some ring commutative ring $R$ with identity) with generators $\{T_{1},\ldots T_{n-1}\}$, we know it has basis
$\{T_{w}\}_{w\in S_{...

**4**

votes

**1**answer

263 views

### Examples of non-trivial Kazhdan-Lusztig polynomials

I'm looking for examples of non-trivial Kazhdan-Lusztig polynomials, specifically in the case where the Coxeter system is a Weyl group.
For example, the simplest polynomial with non-trivial $q$-...

**5**

votes

**1**answer

258 views

### Categorifying skein algebras?

We can obtain the Jones polynomial by the Temperly-Lieb algebra and the HOMFLYPT polynomial from the Hecke algebra. Were there attempts to categorify the algebras itself and obtain the Khovanov ...

**3**

votes

**1**answer

198 views

### Understanding the Hecke Algebra via Different Constructions

I'm reading through this paper by Pouchin, and in it he makes a clam that some function space is isomorphic to the Hecke algebra. I'm trying to understand this and could really use some help.
Let $G =...

**1**

vote

**0**answers

39 views

### Why are the definitions of i-good nodes of a multipartition equivalent?

Let $e\geq 2$ and $0\leq i\leq e-1$.
For a multipartition $\lambda\vdash_\ell n$ of $n $ one can define the notion of an $i$-good box of the Young diagram of $\lambda$. But there are seemingly ...

**16**

votes

**2**answers

1k views

### What is the archimedean Hecke algebra?

Let $\mathbf G$ be a connected, reductive group over $\mathbb Q$. For each nonarchimedean place $v$, let $K_v$ be a maximal compact subgroup of $\mathbf G(\mathbb Q_v)$. The space $\mathscr H(\mathbf ...

**3**

votes

**0**answers

239 views

### Iwahori-Hecke algebra of $GL_2$

I had make an old post about this, but since seeing it now shows that I had no idea how to explain my question (because I didn't understand it) I'll try to do it normally here.
So I am studying this ...

**4**

votes

**1**answer

219 views

### Number of pairs of permutation in $S_n$ whose $\mu$-coefficient (of their Kazhdan Lusztig polynomial) is non-zero

I am interested in how many pairs of permutations $(u,w)$ in $S_n$, such that the $\mu$-coefficient of its Kazhdan-Lusztig polynomial $P_{u,w}(q)$ is non-zero? where $\mu_{u,w}=[q^{\frac{l(w)-l(u)-1}{...

**6**

votes

**2**answers

683 views

### Hecke algebra of GL(2,F)

I was studying about the Hecke algebra from Bernstein's notes on p-adic representation theory and various other sources. First a disclaimer: everything below is fairly new to me so please feel free to ...

**6**

votes

**0**answers

121 views

### What is the kernel of the action of the Iwahori-Hecke algebra?

The Iwahori-Hecke algebra $H_n(q)$ acts on the $n$th tensor power of the standard representation of $U_q(\mathfrak{sl}_m)$. What is the kernel of this action? Does anyone know a reference?
I'm happy ...

**5**

votes

**1**answer

456 views

### Relation between Hecke operators and coefficient of L-functions

This question has its seed in this one by Gory, which found an enlightening answer but one of the comments kept me wondering. I am beginning to discover Hecke operators, and there appears to be an ...

**20**

votes

**0**answers

335 views

### A spin extension of a Coxeter group?

Consider a Coxeter group $W$ with simple generators $S$ and Coxeter matrix $\left( m_{s,t}\right) _{\left( s,t\right) \in S\times S}$.
Let $\mathfrak{M}$ be the set of all pairs $\left(s, t\right) ...

**4**

votes

**0**answers

171 views

### Semisimple vs ordinary trace of Frobenius on nearby cycles of affine flag variety

Let $G \rightarrow X$ be a parahoric group scheme over a curve, with parahoric level structure at $x_0$. Gaitsgory essentially showed that the nearby cycles functor $R\Psi$ takes perverse sheaves on ...

**2**

votes

**1**answer

142 views

### Krull dimension of Hecke algebra (level 1) for p = 2, 3

Let $p$ be a prime and consider the ($p$-deprived) Hecke algebra $\mathbb{T}$ which the projective limit of the Hecke $\mathbb{Z}_p$-algebras $\mathbb{T}_k$ which act on modular forms of level $1$ ...

**3**

votes

**0**answers

58 views

### Reference request: Hecke agebra over non-commutative rings

I think the title sums it up quite well: Is it a useful idea to define the Iwahori-Hecke algebra over a non-commutative $k$-algebra? If so, what shape should the relations attain?
Bonus question: ...

**1**

vote

**0**answers

51 views

### symmetric polynomials for Super Hecke Clifford algebra

Fix a natural number $n$. In https://arxiv.org/abs/1107.1039, §3.5, Kang/Kashiwara/Tsuchioka define a (version of a) Hecke Clifford superalgebra. It is the superalgebra with the following generators:
...

**2**

votes

**1**answer

213 views

### Noncommutative cohomology of flag varieties

Consider the Grassmannian $Gr(n, N)$ of $n$-dimensional subspaces of $\mathbf C^N$. Its cohomology ring is isomorphic to $\mathbf C[x_1, \ldots, x_n, \bar x_1, \ldots \bar x_{N-n}]/I_{n,N}$, wherethe ...

**1**

vote

**1**answer

121 views

### About left cell of a permutation

I am reading a paper Cellular algebras by J.J. Graham, G.I. Lehrer. I do not understand the follwing words labelled by yellow.
First, I know Robinson-Schensted correspondence of a permutation in the ...

**12**

votes

**0**answers

271 views

### Modularity of endomorphism algebras

This question is about comparing Hecke algebras and endomorphism algebras.
Let $\mathbf{A}_f$ be the ring of finite adèles of $\mathbf{Q}$ and let $K$ be a compact open subgroup of $\mathrm{GL}_2(\...

**2**

votes

**0**answers

180 views

### Quantum Schur-Weyl duality for quantum affine algebras of other types

In the paper by Chari and Pressley, it is proved that the there is functor from the category $C_m$ of finite dimensional representations of the affine Hecke algebra of $GL(m)$ to the category $D_n$ of ...

**1**

vote

**0**answers

31 views

### Cellular basis of $KW(B_2)$

Take $K$ a field. Let $W(B_2)$ be the coxeter group of type $B_2$ with a set $\{s_0,s_1\}$ of generators. Then $W(B_2)=\{1, s_0,s_1,s_0s_1,s_1s_0,s_0s_1s_0, s_1s_0s_1,s_1s_0s_1s_0\}$. I know that the ...

**3**

votes

**1**answer

279 views

### Does Gorensteinness of $\mathbb{T}_{\mathfrak{m}}$ imply multiplicity one?

Let $N$ be a prime and let $\mathbb{T} \subset \mathrm{End}(J_0(N))$ be the Hecke algebra generated over $\mathbb{Z}$ by $U_N$ and the operators $T_p$ for primes $p \nmid N$. Fix a maximal ideal $\...

**5**

votes

**0**answers

116 views

### How to translate multi-segments to Drinfeld polynomials?

Let $\hat{H}_m=\hat{H}_m(q)$ be the Iwahori-Hecke algebra of $GL_m$, see for example, Section 2. The simple $\hat{H}_m$-modules are parametrized by Zelevinsky's multi-segments, See Section 2.2 of the ...