Artin L-function - Definition

Definition

Given, a representation of on a finite-dimensional complex vector space, where is the Galois group of the finite extension of number fields, the Artin -function: is defined by an Euler product. For each prime ideal in, there is an Euler factor, which is easiest to define in the case where is unramified in (true for almost all ). In that case, the Frobenius element is defined as a conjugacy class in . Therefore the characteristic polynomial of is well-defined. The Euler factor for is a slight modification of the characteristic polynomial, equally well-defined,

 \operatorname{charpoly}(\rho(\mathbf{Frob}(\mathfrak{P})))^{-1} = \operatorname{det} \left ^{-1},

as rational function in t, evaluated at, with a complex variable in the usual Riemann zeta function notation. (Here N is the field norm of an ideal.)

When is ramified, and I is the inertia group which is a subgroup of G, a similar construction is applied, but to the subspace of V fixed (pointwise) by I.

The Artin L-function is then the infinite product over all prime ideals of these factors. As Artin reciprocity shows, when G is an abelian group these L-functions have a second description (as Dirichlet L-functions when K is the rational number field, and as Hecke L-functions in general). Novelty comes in with non-abelian G and their representations.

One application is to give factorisations of Dedekind zeta-functions, for example in the case of a number field that is Galois over the rational numbers. In accordance with the decomposition of the regular representation into irreducible representations, such a zeta-function splits into a product of Artin L-functions, for each irreducible representation of G. For example, the simplest case is when G is the symmetric group on three letters. Since G has an irreducible representation of degree 2, an Artin L-function for such a representation occurs, squared, in the factorisation of the Dedekind zeta-function for such a number field, in a product with the Riemann zeta-function (for the trivial representation) and an L-function of Dirichlet's type for the signature representation.

Read more about this topic:  Artin L-function

Famous quotes containing the word definition:

    ... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.
    Adrienne Rich (b. 1929)

    It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.”
    Jane Adams (20th century)

    Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.
    Walter Pater (1839–1894)