Hecke algebra of a pair¶

An algebra built from supported double-coset-invariant functions or sums for an admissible group-subgroup pair, with multiplication by convolution.

Version: v1 · 2026-10-17 · History
Domain-specific #: 14180
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Algebraic Representation Theory, Harmonic Analysis on Groups → Mathematics
Aliases: Pair Hecke algebra

Core Idea¶

A Hecke algebra of a pair is an algebra associated with a group and a subgroup under conditions that make a double-coset-invariant product well defined. Its elements are supported functions or sums constant under left and right subgroup action; the multiplication is convolution or its finite group-algebra realization. The pair determines the double cosets, while the coefficient, support and normalization conventions determine the precise algebra.^[1]^[2]

The phrase does not identify a single fixed ring for every group-subgroup pair. Curtis, Iwahori and Kilmoyer define a finite-group algebra as the corner e(kG)e for a characteristic-zero field k; Gross defines a spherical Hecke ring of compactly supported, integer-valued, K-bi-invariant functions on a locally compact p-adic group. Both use subgroup double cosets as a basis, but their coefficients and multiplication descriptions must be read in their own settings.^[1]^[2]

Structural Signature¶

Admissible pair: a group G and subgroup K or P, with hypotheses that support the construction. Without the subgroup, the pair-specific double-coset partition disappears.^[1]^[2]
Double-coset-invariant carrier: elements are built from KgK or PgP classes. In the finite case, characteristic sums of P double cosets form a basis of e(kG)e; in Gross's case, characteristic functions of K double cosets form a Z-basis of the compactly supported function ring.^[1]^[2]
Support and coefficient convention: finite G gives finite sums over a characteristic-zero field; Gross requires locally constant, compactly supported integer-valued functions and Haar measure with vol(K)=1. These conditions make the respective products and units precise.^[1]^[2]
Closed associative product: multiplication uses the finite group-algebra product in e(kG)e or Haar-normalized convolution of functions. Removing that product leaves a double-coset module or set, not the algebra.^[1]^[2]
Recognition test: name the pair, the admissible function or sum class, and the exact multiplication convention. A bare double-coset decomposition does not yet establish a Hecke algebra.

What It Is Not¶

It is not a Hecke character, which is a different object despite the shared name. It is not the whole group algebra: subgroup bi-invariance and double cosets select a pair-specific carrier. Nor is it merely the set of double cosets; multiplication and coefficient rules are part of the identity.^[1]^[2]

Commutativity is not a universal defining role. Gross proves it for his spherical/Gelfand pair, while Curtis and colleagues treat commutativity for their finite parabolic algebras as a question with criteria. A representation-theoretic correspondence is likewise a further theorem under hypotheses, not the definition of every pair algebra.^[1]^[2]

Scope of Application¶

The finite construction applies when G is finite, P is a subgroup, and k is a characteristic-zero field. Curtis and colleagues set e to the normalized sum of elements of P and define H_k(G,P)=e(kG)e; the P-double-coset sums span it. Their main paper studies parabolic subgroups of finite groups with (B,N)-pairs, but the displayed definition allows a finite subgroup P generally.^[1]

Gross's construction is a different, local spherical setting: G=G(F) for a split reductive group over a nonarchimedean local field and K=G(A) hyperspecial compact. The ring consists of locally constant, compactly supported K-bi-invariant functions G→Z; Haar measure is normalized so K has volume one. The unit is the characteristic function of K.^[2]

These two settings establish the common identity without licensing a blanket claim about arbitrary pairs, a universal coefficient field, or a universal Haar convention. The modular-form pair GL₂(Q), GL₂(Z) from the screened seed is not Gross's compact-open p-adic pair and is not used as an example here.

Clarity¶

Separate the pair, the carrier, and the product. A chosen subgroup partitions G into double cosets; admissible functions or sums are then constant on those classes; only after specifying support and multiplication does the construction become an algebra. Changing P or K changes the double-coset structure and can change the multiplication table.^[1]^[2]

The same phrase “convolution” has different concrete bookkeeping in these sources. In the finite case multiplication is inherited from the group algebra corner. In Gross's locally compact case it is an integral against normalized Haar measure. The common structural operation is subgroup-invariant composition; a single unexplained formula would conceal the distinct coefficient and measure assumptions.^[1]^[2]

Manages Complexity¶

Double-coset invariance compresses a group-level calculation into algebra elements indexed by subgroup-relative classes. For finite (G,P), Curtis and colleagues use characteristic sums as a standard basis, making products into structure constants. In Gross's spherical setting, K-double-coset characteristic functions likewise form a basis, and convolution reduces questions about supported invariant functions to algebra multiplication.^[1]^[2]

This compression does not itself prove that the resulting algebra is commutative or classify its modules. Those results use additional properties of the pair. The abstraction helps keep the base construction distinct from special consequences.^[1]^[2]

Abstract Reasoning¶

To test a proposed instance, first verify the admissible pair and decide what “supported” and “coefficient” mean. Next show that the selected elements are bi-invariant and closed under the specified multiplication. Finally identify the unit or explain whether the chosen convention supplies one. These steps prevent a double-coset list or a generic group algebra from being misnamed as the pair Hecke algebra.^[1]^[2]

One can then ask optional questions, such as whether multiplication is commutative or how the algebra acts on representations. Gross answers commutativity for his spherical pair; that result does not transfer merely because another construction has double cosets.^[2]

Knowledge Transfer¶

The construction transfers across the inspected finite and p-adic settings at the level of roles: pair, double-coset-invariant carrier, admissible support/coefficients, and associative product. The proof obligations do not transfer automatically. A finite average idempotent and a normalized Haar integral are different ways to realize those roles.^[1]^[2]

Outside groups and their subgroups, “Hecke algebra” should not be used for any algebra with a convenient basis or a convolution-like operation. The named pair construction remains a formal algebraic type, not a substrate-independent Prime.

Examples¶

Finite group with parabolic subgroup¶

Let G be one of Curtis and colleagues' finite groups with a (B,N)-pair and let P be a parabolic subgroup. Over a characteristic-zero field k, the normalized subgroup sum e is an idempotent and e(kG)e is the Hecke algebra. Characteristic sums over P\G/P double cosets give a basis. Here the pair is (G,P), the carrier is the double-coset span in the group-algebra corner, the support/coefficient rule is finite k-linear combination, and the product is inherited multiplication in kG.^[1]

Spherical p-adic pair¶

Gross takes a split reductive G(F) and its hyperspecial compact K=G(A). The ring's elements are compactly supported, locally constant, integer-valued functions invariant on both sides by K. The characteristic functions of K double cosets form a basis. Its product is convolution with Haar measure normalized by vol(K)=1, and char(K) is the unit. Gross proves this particular ring commutative; that extra result is not imposed on the finite example or every admissible pair.^[2]

Structural Tensions¶

The two sources document different exact constructions, but their difference is not by itself an intrinsic optimization tradeoff. A reviewer should preserve the finite corner's coefficient and idempotent hypotheses and the spherical ring's topology and measure hypotheses instead of inventing a universal opposition between them. The analytical question is which assumptions make the desired pair algebra well defined in the setting at hand.^[1]^[2]

Structural–Framed Character¶

The entry is mixed, leaning framed. Its repeatable algebraic roles are structural within representation theory, yet the group, subgroup, double cosets, coefficients and product are required for literal recognition. Its definition is mathematically descriptive rather than an evaluative judgment; a noncommutative instance is not a failed instance simply because a special spherical example is commutative.

It is constituted by mathematical practice and chosen algebraic conventions, rather than an observer-independent physical process. Its institutional origin lies in group representation and harmonic-analysis research. Its vocabulary travels across finite and p-adic group settings while remaining pinned to group and subgroup operations. Reusing the same four roles in another admissible group setting is literal recognition; calling an unrelated organizational or biological convolution a “Hecke algebra” would import an analogy. The portable skeleton may be an invariant-function algebra under a symmetry action, but whether that deserves a separate Prime is a future-prime question. Its character: a repeatable formal construction whose group-pair conditions keep it domain-framed.

Structural Core vs. Domain Accent¶

The skeletal relation is to select supported elements invariant under two-sided subgroup action and close them under associative multiplication. Its domain-bound mechanism uses actual groups, subgroup double cosets and valid algebraic coefficient or measure assumptions. The finite idempotent corner and Gross's Haar function ring are distinct accents that realize those roles.^[1]^[2]

The named entry does not clear the Prime bar because deleting group-pair and double-coset conditions destroys its diagnostic identity. The more abstract invariant-function-algebra skeleton is a future-prime question, not an asserted live parent.

This entry is a strict kind of Associative Algebra: each admissible construction has a commutative scalar base, an additive module, a bilinear associative internal product and a stated unit convention. The finite corner is a k-algebra, while Gross's integral spherical ring is a Z-algebra. Their group-subgroup pair and supported double-coset-invariant carrier supply the narrower identity.^[1]^[2]

The parent inherits Algebra over a Ring and its Linearity prerequisite in the live hierarchy. Algebraic Structure and Ring are true broader mathematical genera, but direct edges would repeat the same whole-object classification rather than add independent parent axes. The live catalog does not presently connect those broader genera to Associative Algebra; this entry does not claim such a graph path. The locally compact group-algebra neighbor's full signature does not fit both source cases, and the live Convolution Prime specifies a different fixed-kernel filtering signature. Hecke Character is a lexical neighbor with a different mathematical object.

Relationships to Other Abstractions¶

Current abstraction Hecke algebra of a pair Domain-specific

Parents (1) — more general patterns this builds on

Hecke algebra of a pair is a kind of Associative algebra Domain-specific

Every admissible pair Hecke algebra is an associative algebra over its declared commutative coefficient base; the subgroup double-coset construction supplies its narrower identity.

Hierarchy path (1) — routes to 1 parentless root

Hecke algebra of a pair → Associative algebra → Algebra over a Ring → Linearity

Neighborhood in Abstraction Space¶

Hecke algebra of a pair sits in a sparse region of the domain-specific corpus (83^rd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2721 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-17

Not to Be Confused With¶

Hecke character: a quasicharacter and associated analytic object, not the K-double-coset algebra.
Group algebra: a larger algebra of group elements or functions that does not by itself impose subgroup bi-invariance.
Commutative algebra: Gross's spherical pair is commutative, but pair Hecke algebras need not share that property.^[1]^[2]
Set of double cosets: the indexing set alone has not supplied the required supported carrier and associative product.

References¶

[1] Charles W. Curtis, Nagoyashi Iwahori, and Robert Kilmoyer, “Hecke Algebras and Characters of Parabolic Type of Finite Groups with (B,N)-Pairs,” Publications mathématiques de l'I.H.É.S. 40 (1971): 81–116. Introduction and Definition 1.3, printed pp. 81 and 83; archive PDF pp. 2 and 4. https://www.numdam.org/item/PMIHES_1971__40__81_0.pdf registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t

[2] Benedict H. Gross, “On the Satake Isomorphism,” in Galois Representations in Arithmetic Algebraic Geometry, London Mathematical Society Lecture Note Series 254 (1998): 223–238. Author-hosted preprint, section 2, PDF pp. 3–5, especially equations (2.1), (2.5), (2.7) and Proposition 2.10. https://people.math.harvard.edu/~gross/preprints/sat.pdf registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u