Cyclotomic character


In number theory, a cyclotomic character is a character of a Galois group giving the Galois action on a group of roots of unity. As a one-dimensional representation over a ring R, its representation space is generally denoted by R.

''p''-adic cyclotomic character

If p is a prime, and G is the absolute Galois group of the rational numbers, the p-adic cyclotomic character is a group homomorphism
where Zp× is the group of units of the ring of p-adic integers. This homomorphism is defined as follows. Let ζn be a primitive pn root of unity. Every pn root of unity is a power of ζn uniquely defined as an element of the ring of integers modulo pn. Primitive roots of unity correspond to the invertible elements, i.e. to ×. An element g of the Galois group G sends ζn to another primitive pn root of unity
where ag,n ∈ ×. For a given g, as n varies, the ag,n form a comptatible system in the sense that they give an element of the inverse limit of the ×, which is Zp×. Therefore, the p-adic cyclotomic character sends g to the system n, thus encoding the action of g on all p-power roots of unity.
In fact, is a continuous homomorphism.

As a compatible system of ℓ-adic representations

By varying ℓ over all prime numbers, a compatible system of ℓ-adic representations is obtained from the ℓ-adic cyclotomic characters. That is to say, χ = ℓ is a "family" of ℓ-adic representations
satisfying certain compatibilities between different primes. In fact, the χℓ form a strictly compatible system of ℓ-adic representations.

Geometric realizations

The p-adic cyclotomic character is the p-adic Tate module of the multiplicative group scheme Gm,Q over Q. As such, its representation space can be viewed as the inverse limit of the groups of pnth roots of unity in.
In terms of cohomology, the p-adic cyclotomic character is the dual of the first p-adic étale cohomology group of Gm. It can also be found in the étale cohomology of a projective variety, namely the projective line: it is the dual of H2ét.
In terms of motives, the p-adic cyclotomic character is the p-adic realization of the Tate motive Z. As a Grothendieck motive, the Tate motive is the dual of H2.

Properties

The p-adic cyclotomic character satisfies several nice properties.