Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generated
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Parabolic affine Hecke algebras and their weight characters

Definition

Let H be the complex affine Hecke algebra of a reduced based root datum with positive real parameters and Bernstein PBW as in General Bernstein PBW and the Iwahori–Matsumoto comparison. To keep the page's dual convention explicit, put L=Y, B=Δ∨⊂L, and write β∨=α∈X when β=α∨∈B. Thus A=C[L] is the Bernstein subalgebra, T=Hom⁡(L,C×), and E=Hom⁡(L,R)=X⊗R. The Weyl group W=W0 acts on all these objects. Index parabolic subsets by P⊆B; they correspond bijectively to subsets of Δ by α↔α∨.

Write WP=⟨sβ:β∈P⟩, and let HP denote the subalgebra of H generated by A and Nsβ for β∈P. In particular H∅=A and HB=H. The notation HP here always retains the full lattice L. For an HP-module V, its parabolic induction is IP(V)=H⊗HPV with H acting on the first factor.

All modules in the classification below are nonzero, unital, complex and finite dimensional. For an A-module V and t∈T, the generalized weight space is

Vt={v∈V:(θℓ−t(ℓ))dim⁡Vv=0 for every ℓ∈L}.

The weight set is Wt⁡(V)={t:Vt≠0}. The logarithmic absolute value λ(t)∈E is λ(t)(ℓ)=log⁡∣t(ℓ)∣. For an irreducible HP-module, the central weight character cc⁡P(V) is its WP-orbit of A-weights; the fact that there is exactly one such orbit is proved in Parabolic induction, central orbit blocks and weight filtrations ↗. This terminology specifies the character of AWP; no equality with a larger center is needed.

Depends on

Used by

Dependency tree · two levels

8 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources