Hecke character

Last updated

In number theory, a Hecke character is a generalisation of a Dirichlet character, introduced by Erich Hecke to construct a class of L-functions larger than Dirichlet L-functions, and a natural setting for the Dedekind zeta-functions and certain others which have functional equations analogous to that of the Riemann zeta-function.

Contents

Definition

A Hecke character is a character of the idele class group of a number field or global function field. It corresponds uniquely to a character of the idele group which is trivial on principal ideles, via composition with the projection map.

This definition depends on the definition of a character, which varies slightly between authors: It may be defined as a homomorphism to the non-zero complex numbers (also called a "quasicharacter"), or as a homomorphism to the unit circle in C ("unitary"). Any quasicharacter (of the idele class group) can be written uniquely as a unitary character times a real power of the norm, so there is no big difference between the two definitions.

The conductor of a Hecke character χ is the largest ideal m such that χ is a Hecke character mod m. Here we say that χ is a Hecke character mod m if χ (considered as a character on the idele group) is trivial on the group of finite ideles whose every v-adic component lies in 1 + mOv.

Größencharakter

A Größencharakter (often written Grössencharakter, Grossencharacter, etc.), origin of a Hecke character, going back to Hecke, is defined in terms of a character on fractional ideals. For a number field K, let m = mfm be a K-modulus, with mf, the "finite part", being an integral ideal of K and m, the "infinite part", being a (formal) product of real places of K. Let Im denote the group of fractional ideals of K relatively prime to mf and let Pm denote the subgroup of principal fractional ideals (a) where a is near 1 at each place of m in accordance with the multiplicities of its factors: for each finite place v in mf, ordv(a − 1) is at least as large as the exponent for v in mf, and a is positive under each real embedding in m. A Größencharakter with modulus m is a group homomorphism from Im into the nonzero complex numbers such that on ideals (a) in Pm its value is equal to the value at a of a continuous homomorphism to the nonzero complex numbers from the product of the multiplicative groups of all Archimedean completions of K where each local component of the homomorphism has the same real part (in the exponent). (Here we embed a into the product of Archimedean completions of K using embeddings corresponding to the various Archimedean places on K.) Thus a Größencharakter may be defined on the ray class group modulo m, which is the quotient Im/Pm.

Strictly speaking, Hecke made the stipulation about behavior on principal ideals for those admitting a totally positive generator. So, in terms of the definition given above, he really only worked with moduli where all real places appeared. The role of the infinite part m is now subsumed under the notion of an infinity-type.

Relationship between Größencharakter and Hecke character

Both are essentially same notion which has 1 to 1 correspondence. The ideal definition is much more complicated than the idelic one, and Hecke's motivation for his definition was to construct L-functions (sometimes referred to as Hecke L-functions) [1] that extend the notion of a Dirichlet L-function from the rationals to other number fields. For a Größencharakter χ, its L-function is defined to be the Dirichlet series

carried out over integral ideals relatively prime to the modulus m of the Größencharakter. The notation N(I) means the ideal norm. The common real part condition governing the behavior of Größencharakter on the subgroups Pm implies these Dirichlet series are absolutely convergent in some right half-plane. Hecke proved these L-functions have a meromorphic continuation to the whole complex plane, being analytic except for a simple pole of order 1 at s = 1 when the character is trivial. For primitive Größencharakter (defined relative to a modulus in a similar manner to primitive Dirichlet characters), Hecke showed these L-functions satisfy a functional equation relating the values of the L-function of a character and the L-function of its complex conjugate character.

Consider a character ψ of the idele class group, taken to be a map into the unit circle which is 1 on principal ideles and on an exceptional finite set S containing all infinite places. Then ψ generates a character χ of the ideal group IS, the free abelian group on the prime ideals not in S. [2] Take a uniformising element π for each prime p not in S and define a map Π from IS to idele classes by mapping each p to the class of the idele which is π in the p coordinate and 1 everywhere else. Let χ be the composite of Π and ψ. Then χ is well-defined as a character on the ideal group. [3]

In the opposite direction, given an admissible character χ of IS there corresponds a unique idele class character ψ. [4] Here admissible refers to the existence of a modulus m based on the set S such that the character χ is 1 on the ideals which are 1 mod m. [5]

The characters are 'big' in the sense that the infinity-type when present non-trivially means these characters are not of finite order. The finite-order Hecke characters are all, in a sense, accounted for by class field theory: their L-functions are Artin L-functions, as Artin reciprocity shows. But even a field as simple as the Gaussian field has Hecke characters that go beyond finite order in a serious way (see the example below). Later developments in complex multiplication theory indicated that the proper place of the 'big' characters was to provide the Hasse–Weil L-functions for an important class of algebraic varieties (or even motives).

Special cases

Examples

χ((a)) = |a|s(a/|a|)4n
for s imaginary and n an integer, where a is a generator of the ideal (a). The only units are powers of i, so the factor of 4 in the exponent ensures that the character is well defined on ideals.

Tate's thesis

Hecke's original proof of the functional equation for L(s,χ) used an explicit theta-function. John Tate's 1950 Princeton doctoral dissertation, written under the supervision of Emil Artin, applied Pontryagin duality systematically, to remove the need for any special functions. A similar theory was independently developed by Kenkichi Iwasawa which was the subject of his 1950 ICM talk. A later reformulation in a Bourbaki seminar by Weil 1966 showed that parts of Tate's proof could be expressed by distribution theory: the space of distributions (for Schwartz–Bruhat test functions) on the adele group of K transforming under the action of the ideles by a given χ has dimension 1.

Algebraic Hecke characters

An algebraic Hecke character is a Hecke character taking algebraic values: they were introduced by Weil in 1947 under the name type A0. Such characters occur in class field theory and the theory of complex multiplication. [6]

Indeed let E be an elliptic curve defined over a number field F with complex multiplication by the imaginary quadratic field K, and suppose that K is contained in F. Then there is an algebraic Hecke character χ for F, with exceptional set S the set of primes of bad reduction of E together with the infinite places. This character has the property that for a prime ideal p of good reduction, the value χ(p) is a root of the characteristic polynomial of the Frobenius endomorphism. As a consequence, the Hasse–Weil zeta function for E is a product of two Dirichlet series, for χ and its complex conjugate. [7]

Notes

  1. As in Husemöller 2002 , chapter 16
  2. Heilbronn (1967) p.204
  3. Heilbronn (1967) p. 205
  4. Tate (1967) p.169
  5. 1 2 3 Heilbronn (1967) p.207
  6. Husemoller (1987) pp. 299–300; (2002) p.320
  7. Husemoller (1987) pp. 302–303; (2002) pp. 321–322

Related Research Articles

The Riemann hypothesis is one of the most important conjectures in mathematics. It is a statement about the zeros of the Riemann zeta function. Various geometrical and arithmetical objects can be described by so-called global L-functions, which are formally similar to the Riemann zeta-function. One can then ask the same question about the zeros of these L-functions, yielding various generalizations of the Riemann hypothesis. Many mathematicians believe these generalizations of the Riemann hypothesis to be true. The only cases of these conjectures which have been proven occur in the algebraic function field case.

<span class="mw-page-title-main">Algebraic number theory</span> Branch of number theory

Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic objects such as algebraic number fields and their rings of integers, finite fields, and function fields. These properties, such as whether a ring admits unique factorization, the behavior of ideals, and the Galois groups of fields, can resolve questions of primary importance in number theory, like the existence of solutions to Diophantine equations.

In mathematics, class field theory (CFT) is the fundamental branch of algebraic number theory whose goal is to describe all the abelian Galois extensions of local and global fields using objects associated to the ground field.

In mathematics, a Dirichlet L-series is a function of the form

In mathematics, the L-functions of number theory are expected to have several characteristic properties, one of which is that they satisfy certain functional equations. There is an elaborate theory of what these equations should be, much of which is still conjectural.

In mathematics, the Dedekind zeta function of an algebraic number field K, generally denoted ζK(s), is a generalization of the Riemann zeta function (which is obtained in the case where K is the field of rational numbers Q). It can be defined as a Dirichlet series, it has an Euler product expansion, it satisfies a functional equation, it has an analytic continuation to a meromorphic function on the complex plane C with only a simple pole at s = 1, and its values encode arithmetic data of K. The extended Riemann hypothesis states that if ζK(s) = 0 and 0 < Re(s) < 1, then Re(s) = 1/2.

In abstract algebra, an adelic algebraic group is a semitopological group defined by an algebraic group G over a number field K, and the adele ring A = A(K) of K. It consists of the points of G having values in A; the definition of the appropriate topology is straightforward only in case G is a linear algebraic group. In the case of G being an abelian variety, it presents a technical obstacle, though it is known that the concept is potentially useful in connection with Tamagawa numbers. Adelic algebraic groups are widely used in number theory, particularly for the theory of automorphic representations, and the arithmetic of quadratic forms.

The Artin reciprocity law, which was established by Emil Artin in a series of papers, is a general theorem in number theory that forms a central part of global class field theory. The term "reciprocity law" refers to a long line of more concrete number theoretic statements which it generalized, from the quadratic reciprocity law and the reciprocity laws of Eisenstein and Kummer to Hilbert's product formula for the norm symbol. Artin's result provided a partial solution to Hilbert's ninth problem.

In mathematics, an Artin L-function is a type of Dirichlet series associated to a linear representation ρ of a Galois group G. These functions were introduced in 1923 by Emil Artin, in connection with his research into class field theory. Their fundamental properties, in particular the Artin conjecture described below, have turned out to be resistant to easy proof. One of the aims of proposed non-abelian class field theory is to incorporate the complex-analytic nature of Artin L-functions into a larger framework, such as is provided by automorphic forms and the Langlands program. So far, only a small part of such a theory has been put on a firm basis.

In number theory, the class number formula relates many important invariants of an algebraic number field to a special value of its Dedekind zeta function.

In mathematics, a Jacobi sum is a type of character sum formed with Dirichlet characters. Simple examples would be Jacobi sums J(χ, ψ) for Dirichlet characters χ, ψ modulo a prime number p, defined by

In number theory, Tate's thesis is the 1950 PhD thesis of John Tate completed under the supervision of Emil Artin at Princeton University. In it, Tate used a translation invariant integration on the locally compact group of ideles to lift the zeta function twisted by a Hecke character, i.e. a Hecke L-function, of a number field to a zeta integral and study its properties. Using harmonic analysis, more precisely the Poisson summation formula, he proved the functional equation and meromorphic continuation of the zeta integral and the Hecke L-function. He also located the poles of the twisted zeta function. His work can be viewed as an elegant and powerful reformulation of a work of Erich Hecke on the proof of the functional equation of the Hecke L-function. Erich Hecke used a generalized theta series associated to an algebraic number field and a lattice in its ring of integers.

In mathematics, a Witt group of a field, named after Ernst Witt, is an abelian group whose elements are represented by symmetric bilinear forms over the field.

In mathematics, a class formation is a topological group acting on a module satisfying certain conditions. Class formations were introduced by Emil Artin and John Tate to organize the various Galois groups and modules that appear in class field theory.

In algebraic number theory, a Gauss sum or Gaussian sum is a particular kind of finite sum of roots of unity, typically

In mathematics, in the field of algebraic number theory, a modulus is a formal product of places of a global field. It is used to encode ramification data for abelian extensions of a global field.

In algebraic number theory, the conductor of a finite abelian extension of local or global fields provides a quantitative measure of the ramification in the extension. The definition of the conductor is related to the Artin map.

In mathematics, class field theory is the study of abelian extensions of local and global fields.

In number theory, a symbol is any of many different generalizations of the Legendre symbol. This article describes the relations between these various generalizations.

Basic Number Theory is an influential book by André Weil, an exposition of algebraic number theory and class field theory with particular emphasis on valuation-theoretic methods. Based in part on a course taught at Princeton University in 1961–62, it appeared as Volume 144 in Springer's Grundlehren der mathematischen Wissenschaften series. The approach handles all 'A-fields' or global fields, meaning finite algebraic extensions of the field of rational numbers and of the field of rational functions of one variable with a finite field of constants. The theory is developed in a uniform way, starting with topological fields, properties of Haar measure on locally compact fields, the main theorems of adelic and idelic number theory, and class field theory via the theory of simple algebras over local and global fields. The word `basic’ in the title is closer in meaning to `foundational’ rather than `elementary’, and is perhaps best interpreted as meaning that the material developed is foundational for the development of the theories of automorphic forms, representation theory of algebraic groups, and more advanced topics in algebraic number theory. The style is austere, with a narrow concentration on a logically coherent development of the theory required, and essentially no examples.

References