# Artin conductor

In mathematics, the **Artin conductor** is a number or ideal associated to a character of a Galois group of a local or global field, introduced by Template:Harvs as an expression appearing in the functional equation of an Artin L-function.

## Local Artin conductors

Suppose that *L* is a finite Galois extension of the local field *K*, with Galois group *G*. If χ is a character of *G*, then the Artin conductor of χ is the number

where *G*_{i} is the *i*-th ramification group (in lower numbering), of order *g*_{i}, and χ(*G*_{i}) is the average value of χ on *G*_{i}.^{[1]} By a result of Artin, the local conductor is an integer.^{[2]}^{[3]} If χ is unramified, then its Artin conductor is zero. If *L* is unramified over *K*, then the Artin conductors of all χ are zero.

The *wild invariant*^{[3]} or *Swan conductor*^{[4]} of the character is

in other words, the sum of the higher order terms with *i* > 0.

## Global Artin conductors

The **global Artin conductor** of a representation χ of the Galois group *G* of a finite extension *L*/*K* of global fields is an ideal of *K*, defined to be

where the product is over the primes *p* of *K*, and *f*(χ,*p*) is the local Artin conductor of the restriction of χ to the decomposition group of some prime of *L* lying over *p*.^{[2]} Since the local Artin conductor is zero at unramified primes, the above product only need be taken over primes that ramify in *L*/*K*.

## Artin representation and Artin character

Suppose that *L* is a finite Galois extension of the local field *K*, with Galois group *G*. The **Artin character** *a*_{G} of *G* is the character

and the **Artin representation** *A*_{G} is the complex linear representation of *G* with this character. Template:Harvtxt asked for a direct construction of the Artin representation. Template:Harvs showed that the Artin representation can be realized over the local field **Q**_{l}, for any prime *l* not equal to the residue characteristic *p*. Template:Harvtxt showed that it can be realized over the corresponding ring of Witt vectors. It cannot in general be realized over the rationals or over the local field **Q**_{p}, suggesting that there is no easy way to construct the Artin representation explicitly.^{[5]}

## Swan representation

The Swan character *sw*_{G} is given by

where *r*_{g} is the character of the regular representation and 1 is the character of the trivial representation.^{[6]} The Swan character is the character of a representation of *G*. Template:Harvs showed that there is a unique projective representation of *G* over the *l*-adic integers with character the Swan character.

## Applications

The Artin conductor appears in the conductor-discriminant formula for the discriminant of a global field.^{[5]}

The optimal level in the Serre modularity conjecture is expressed in terms of the Artin conductor.

The Artin conductor appears in the functional equation of the Artin L-function.

The Artin and Swan representations are used to defined the conductor of an elliptic curve or abelian variety.

## Notes

## References

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}