Hecke Character¶
A continuous complex quasicharacter of a global field's idèle class group whose local components, conductor, and infinity type generate a Hecke L-function.
Core Idea¶
For a global field \(K\) with idèle group \(\mathbb A_K^\times\), a Hecke character is a continuous homomorphism
equivalently a continuous character of the idèle group trivial on diagonally embedded principal idèles. Some authors reserve “character” for unitary image and call a general \(\mathbb C^\times\)-valued homomorphism a quasicharacter; a norm power converts between the conventions.
The character factors into local components, is unramified away from finitely many places, and has a conductor and archimedean infinity type. Its values on uniformizers generate an Euler product and Hecke L-function, extending Dirichlet L-functions from \(\mathbb Q\) to general number fields. This is the idelic reformulation of Hecke's classical Größencharakter theory.
Scope of Application¶
Hecke characters underlie abelian class field theory, Hecke L-functions, Tate's thesis, theta series, complex multiplication, modular and automorphic forms, and the one-dimensional case of the Langlands correspondence. Algebraic Hecke characters encode arithmetic of CM abelian varieties and motives.
Definitions extend to global function fields, but archimedean places disappear and normalization conventions change. Primitive and imprimitive characters must be distinguished when writing conductors and functional equations.
Clarity¶
Declare the global field, target convention, quotient orientation, modulus/conductor, local components, normalization of absolute values, and infinity type. State whether \(\chi\) is unitary, algebraic, finite order, primitive, or unramified. When moving to ideals, explicitly give the admissibility condition on principal ideals.
Manages Complexity¶
The idelic formulation unifies finite primes, infinite places, units, and nonprincipal ideals in one locally compact quotient. Restricted products permit a global character to decompose into manageable local pieces. The conductor compresses ramification, while the Euler product turns local values into a global analytic object.
Abstract Reasoning¶
- Fix the global field and normalized local absolute values.
- Construct the idèle group and quotient by principal idèles.
- Verify homomorphism and continuity.
- Extract local components and test unramifiedness almost everywhere.
- Determine conductor and infinity type.
- Normalize unitary versus quasicharacter conventions.
- Form local Euler factors and the global L-function.
- Pass between idelic and ideal-theoretic descriptions with admissibility checked.
- Apply functional equations and reciprocity only under their exact hypotheses.
Knowledge Transfer¶
The portable pattern is encode a global arithmetic object as compatible local characters subject to one quotient constraint, then recombine local data analytically. It transfers to local-to-global principles, restricted products, automorphic representations, Euler products, and distributed consistency. The proposed immediate parent is Representation.
Relationships to Other Abstractions¶
Current abstraction Hecke Character Domain-specific
Parents (1) — more general patterns this builds on
-
Hecke Character is a kind of Representation Prime
Representation is the proposed immediate parent.
Hierarchy path (1) — routes to 1 parentless root
- Hecke Character → Representation → Abstraction
Neighborhood in Abstraction Space¶
Hecke Character sits in a sparse region of the domain-specific corpus (80th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (1565 abstractions)
Nearest neighbors
- Cyclic Algebra — 0.83
- Product of Rings — 0.83
- Dedekind zeta function — 0.82
- Local class field theory — 0.82
- Ringed Space — 0.81
Computed from structural-signature embeddings · 2026-09-08