Hecke algebra of a pair

📅 آخر تحديث: ٢٠ يوليو ٢٠٢٦
✍️ نُشر في: ٢٠ يوليو ٢٠٢٦
الموسوعة الحرة

In mathematics, the Hecke algebra of a pair (G, K) of locally compact or reductive Lie groups is an algebra of measures under convolution. It can also be defined for a pair (g, K) of a maximal compact subgroup K of a Lie group with Lie algebrag, in which case the Hecke algebra is an algebra with an approximate identity, whose approximately unital modules are the same as K-finite representations of the pairs (g, K).

The Hecke algebra of a pair is a generalization of the classical Hecke algebra studied by Erich Hecke, which corresponds to the case (GL2(Q), GL2(Z)).

Locally compact group and a compact subgroup

Let (G, K) be a pair consisting of a unimodularlocally compact topological groupG and a closed compact subgroup K of G. Then the space of bi-K-invariant continuous functions of compact support

Cc∞[K\G/K]

can be endowed with a structure of an associative algebra under the operation of convolution.[1] This algebra is often denoted

H(G//K)

and called the Hecke algebra of the pair (G, K).

Properties

If (G, K) is as above, then the Hecke algebra is commutative if and only if (G, K) is a Gelfand pair.

Reductive Lie groups and Lie algebras

In 1979, Daniel Flath gave a similar construction for general reductive Lie groups G.[2] The Hecke algebra of a pair (g, K) of a Lie algebra g with Lie group G and maximal compact subgroup K is the algebra of K-finite distributions on G with support in K, with the product given by convolution.[3][4]

Examples

Finite groups

When G is a finite group and K is any subgroup of G, then the Hecke algebra is spanned by double cosets of K\G/K.

SL(n) over a p-adic field

For the special linear group over the p-adic numbers,

G = SLn(Qp) and K = SLn(Zp),

the representations of the corresponding commutative Hecke ring were studied by Ian G. Macdonald.

GL(2) over the rationals

For the general linear group over the rational numbers,

G = GL2(Q) and K = GL2(Z)

the Hecke algebra of the pair (G, K) is the classical Hecke algebra, which is the commutative ring of Hecke operators in the theory of modular forms.

Iwahori

The case leading to the Iwahori–Hecke algebra of a finite Weyl group is when G is the finite Chevalley group over a finite field with pk elements, and B is its Borel subgroup. Iwahori showed that the Hecke ring

H(G//B)

is obtained from the generic Hecke algebra Hq of the Weyl groupW of G by specializing the indeterminate q of the latter algebra to pk, the cardinality of the finite field. George Lusztig remarked in 1984:[5]

أعتقد أنه من الأنسب تسميته جبر إيواهوري، لكن اسم حلقة هيك (أو الجبر) الذي أطلقه إيواهوري نفسه كان مستخدمًا لما يقرب من 20 عامًا، وربما فات الأوان لتغييره الآن.

درس إيواهوري وماتسوموتو (1965) الحالة التي تكون فيها G مجموعة نقاط من زمرة جبرية اختزالية فوق حقل محلي غير أرخميدسي F ، مثل Q p ، و K هي ما يُسمى الآن بزمرة إيواهوري الفرعية من G. تكون حلقة هيك الناتجة متماثلة مع جبر هيك لزمرة ويل الأفينية لـ G ، أو جبر هيك الأفيني ، حيث تم تخصيص المتغير q ليكون عدد عناصر حقل البقايا لـ F.

ملحوظات

مراجع